title: Topological Deformation of Higher Dimensional Automata

abstract: A local po-space is a gluing of topological spaces which are equipped with a closed partial ordering representing the time flow. They are used as a formalization of higher dimensional automata which model concurrent systems in computer science. It is known that there are two distinct notions of deformation of higher dimensional automata, ``spatial'' and ``temporal'', leaving invariant computer scientific properties like presence or absence of deadlocks. Unfortunately, the formalization of these notions is still unknown in the general case of local po-spaces. We introduce here a particular kind of local po-space, the ``globular CW-complexes'', for which we formalize these notions of deformations and which are sufficient to formalize higher dimensional automata. After localizing the category of globular CW-complexes by spatial and temporal deformations, we get a category (the category of dihomotopy types) whose objects up to isomorphism represent exactly the higher dimensional automata up to deformation. Thus globular CW-complexes provide a rigorous mathematical foundation to study from an algebraic topology point of view higher dimensional automata and concurrent computations.


title: Continuity of the measure of the spectrum for discrete quasiperiodic operators

abstract: We study discrete Schroedinger operators $(H_{\alpha,\theta}\psi)(n)= \psi(n-1)+\psi(n+1)+f(\alpha n+\theta)\psi(n)$ on $l^2(Z)$, where $f(x)$ is a real analytic periodic function of period 1. We prove a general theorem relating the measure of the spectrum of $H_{\alpha,\theta}$ to the measures of the spectra of its canonical rational approximants under the condition that the Lyapunov exponents of $H_{\alpha,\theta}$ are positive. For the almost Mathieu operator ($f(x)=2\lambda\cos 2\pi x$) it follows that the measure of the spectrum is equal to $4|1-|\lambda||$ for all real $\theta$, $\lambda\ne\pm 1$, and all irrational $\alpha$.


title: Convex Multivariable Trace Functions

abstract: For any densely defined, lower semi-continuous trace \tau on a C*-algebra A with mutually commuting C*-subalgebras A_1, A_2, ... A_n, and a convex function f of n variables, we give a short proof of the fact that the function (x_1, x_2, ..., x_n) --> \tau (f(x_1, x_2, ..., x_n)) is convex on the space \bigoplus_{i=1}^n (A_i)_{self-adjoint}. If furthermore the function f is log-convex or root-convex, so is the corresponding trace function. We also introduce a generalization of log-convexity and root-convexity called \ell-convexity, show how it applies to traces, and give a few examples. In particular we show that the trace of an operator mean is always dominated by the corresponding mean of the trace values.


title: The Plancherel decomposition for a reductive symmetric space I. Spherical functions

abstract: We prove the Plancherel formula for spherical Schwartz functions on a reductive symmetric space. Our starting point is an inversion formula for spherical smooth compactly supported functions. The latter formula was earlier obtained from the most continuous part of the Plancherel formula by means of a residue calculus. In the course of the present paper we also obtain new proofs of the uniform tempered estimates for normalized Eisenstein integrals and of the Maass-Selberg relations satisfied by the associated C-functions.


title: Hopf algebra actions on strongly separable extensions of depth two

abstract: We bring together ideas in analysis of Hopf *-algebra actions on II_1 subfactors of finite Jones index and algebraic characterizations of Frobenius, Galois and cleft Hopf extensions to prove a non-commutative algebraic analogue of the classical theorem: a finite field extension is Galois iff it is separable and normal. Suppose N < M is a separable Frobenius extension of k-algebras split as N-bimodules with a trivial centralizer C_M(N). Let M_1 := End(M)_N and M_2 := End(M_1)_M be the endomorphism algebras in the Jones tower N < M < M_1 < M_2. We show that under depth 2 conditions on the second centralizers A := C_{M_1}(N) and B : = C_{M_2}(M) the algebras A and B are semisimple Hopf algebras dual to one another and such that M_1 is a smash product of M and A, and that M is a B-Galois extension of N.


title: Sobolev Trace Inequalities

abstract: The existence of extremal functions for the Sobolev trace inequalities is studied using the concentration compactness theorem. The conjectured extremal, the function of conformal factor, is considered and is proved to be an actual extremal function with extra symmetry condition on functions. One of the limiting cases of the Sobolev trace inequalities is investigated and the best constant for this case is computed.


title: Latin transversals of rectangular arrays

abstract: Let m and n be integers, $2 \leq m \leq n$. An m by n array consists of mn cells, arranged in m rows and n columns, and each cell contains exactly one symbol. A transversal of an array consists of m cells, one from each row and no two from the same column. A latin transversal is a transversal in which no symbol appears more than once. We will establish a sufficient condition that a 3 by n array has a latin transversal.


title: Information, complexity and entropy: a new approach to theory and measurement methods

abstract: In this paper, we present some results on information, complexity and entropy as defined below and we discuss their relations with the Kolmogorov-Sinai entropy which is the most important invariant of a dynamical system. These results have the following features and motivations: -we give a new computable definition of information and complexity which allows to give a computable characterization of the K-S entropy; -these definitions make sense even for a single orbit and can be measured by suitable data compression algorithms; hence they can be used in simulations and in the analysis of experimental data; -the asymptotic behavior of these quantities allows to compute not only the Kolmogorov-Sinai entropy but also other quantities which give a measure of the chaotic behavior of a dynamical system even in the case of null entropy.


title: Random Electrical Networks on Complete Graphs II: Proofs

abstract: This paper contains the proofs of Theorems 2 and 3 of the article entitled Random Electrical Networks on Complete Graphs, written by the same authors and published in the Journal of the London Mathematical Society, vol. 30 (1984), pp. 171-192. The current paper was written in 1983 but was not published in a journal, although its existence was announced in the LMS paper. This TeX version was created on 9 July 2001. It incorporates minor improvements to formatting and punctuation, but no change has been made to the mathematics. We study the effective electrical resistance of the complete graph $K_{n+2}$ when each edge is allocated a random resistance. These resistances are assumed independent with distribution $P(R=\infty)=1-n^{-1}\gamma(n)$, $P(R\le x) = n^{-1}\gamma(n)F(x)$ for $0\le x < \infty$, where $F$ is a fixed distribution function and $\gamma(n)\to\gamma\ge 0$ as $n\to\infty$. The asymptotic effective resistance between two chosen vertices is identified in the two cases $\gamma\le 1$ and $\gamma>1$, and the case $\gamma=\infty$ is considered. The analysis proceeds via detailed estimates based on the theory of branching processes.


title: Characterizing the projective space after Cho, Miyaoka and Shepherd-Barron

abstract: In this paper we give a short and elementary proof of a characterization of the projective space in terms of rational curves which was conjectured by Mori and Mukai. A proof was first given in a preprint by K. Cho, Y. Miyaoka and N. Shepherd-Barron. While our proof here is shorter and involves substantial technical simplifications, the essential ideas are taken from that preprint.


title: Noncommutative finite-dimensional manifolds. I. Spherical manifolds and related examples

abstract: We exhibit large classes of examples of noncommutative finite-dimensional manifolds which are (non-formal) deformations of classical manifolds. The main result of this paper is a complete description of noncommutative three-dimensional spherical manifolds, a noncommutative version of the sphere $S^3$ defined by basic K-theoretic equations. We find a 3-parameter family of deformations $S^3_{\mathbf{u}}$ of the standard 3-sphere $S^3$ and a corresponding 3-parameter deformation of the 4-dimensional Euclidean space $\mathbb R^4$. For generic values of the deformation parameters we show that the obtained algebras of polynomials on the deformed $\mathbb R^4_{\mathbf{u}}$ only depend on two parameters and are isomorphic to the algebras introduced by Sklyanin in connection with the Yang-Baxter equation. It follows that different $S^3_{\mathbf{u}}$ can span the same $\mathbb R^4_{\mathbf{u}}$. This equivalence generates a foliation of the parameter space $\Sigma $. This foliation admits singular leaves reduced to a point. These critical points are either isolated or fall in two 1-parameter families $ C_{\pm}\subset \Sigma $. Up to the simple operation of taking the fixed algebra by an involution, these two families are identical and we concentrate here on $ C_{+}$. For $u \in C_{+}$ the above isomorphism with the Sklyanin algebra breaks down and the corresponding algebras are special cases of $\theta$-deformations, a notion which we generalize in any dimension and various contexts, and study in some details. Here, and this point is crucial, the dimension is not an artifact, i.e. the dimension of the classical model, but is the Hochschild dimension of the corresponding algebra which remains constant during the deformation....


title: The Fine Structure of the Kasparov Groups II: topologizing the UCT

abstract: The Kasparov groups KK_*(A, B) have a natural structure as pseudopolonais groups. In this paper we analyze how this topology interacts with the terms of the Universal Coefficient Theorem (UCT) and the splittings of the UCT constructed by J. Rosenberg and the author, as well as its canonical three term decomposition which exists under bootstrap hypotheses. We show that the various topologies on Ext_{\Bbb Z}^1(K_*(A), K_*(B)) and other related groups mostly coincide. Then we focus attention on the Milnor sequence and the fine structure subgroup of KK_*(A, B). An important consequence of our work is that under bootstrap hypotheses the closure of zero of KK_*(A, B) is isomorphic to the group Pext_{\Bbb Z}^1(K_*(A), K_*(B)). Finally, we introduce new splitting obstructions for the Milnor and Jensen sequences and prove that these sequences split if K_*(A) or K_*(B) is torsion free.


title: The Strong Macdonald Conjecture

abstract: This paper presents our proof of the "strong Macdonald constant term conjecture" of P. Hanlon and B. Feigin.


title: Analogues of Complex Geometry

abstract: We prove that there are no pseudoholomorphic theories of anything other than curves, even if one allows more general spaces than almost complex manifolds. The proof is elementary, except for theories of pseudoholomorphic hypersurfaces, where topological techniques are needed. Surprisingly, hypersurface theories exist ``microlocally'' (in great abundance) to all orders perturbatively, but not ``locally.''


title: Approximation Properties for Crossed Products by Actions and Coactions

abstract: We investigate approximation properties for $C^*$-algebras and their crossed products by actions and coactions by locally compact groups. We show that Haagerup's approximation constant is preserved for crossed products by arbitrary amenable groups, and we show why this is not always true in the non-amenable case. We also examine similar questions for other forms of the approximation property.


title: Strongly Singular Masas in Type $II_1$ Factors

abstract: In this paper we introduce and study strongly singular maximal abelian self-adjoint subalgebras of type $II_1$ factors. We show that certain elements of free groups and of non-elementary hyperbolic groups generate such masas, and these also give new examples of masas for which Popa's invariant delta is 1. We also explore the connection between Popa's invariant and strong singularity.


title: The Laplacian Masa in a Free Group Factor

abstract: The Laplacian (or radial) masa in a free group factor is generated by the sum of the generators and their inverses. We show that such a masa B is strongly singular and has Popa invariant delta(B) = 1. This is achieved by proving that the conditional expectation onto B is an asymptotic homomorphism. We also obtain similar results for the free product of discrete groups, each of which contains an element of infinite order.


title: Diagonals in Tensor Products of Operator Algebras

abstract: In this paper we give a short, direct proof, using only properties of the Haagerup tensor product, that if an operator algebra A possesses a diagonal in the Haagerup tensor product of A with itself, then A must be isomorphic to a finite dimensional $C^*$-algebra. Consequently, for operator algebras, the first Hochschild cohomology group, $H^1(A,X) = 0$ for every bounded, Banach A-bimodule X, if and only if A is isomorphic to a finite dimensional $C^*$-algebra.


title: Hochschild Cohomology of Factors with Property $\Gamma$

abstract: The main result of this paper is that the k^{\rm th} continuous Hochschild cohomology groups H^k(\cl M,\cl M) and H^k(\cl M,B(H)) of a von Neumann factor ${\cl M}\subseteq B(H) of type {\rm II}_1 with property Gamma are zero for all positive integers k. The method of proof involves the construction of hyperfinite subfactors with special properties and a new inequality of Grothendieck type for multilinear maps. We prove joint continuity in the $\|\cdot\|_2$-norm of separately ultraweakly continuous multilinear maps, and combine these results to reduce to the case of completely bounded cohomology which is already solved.


title: Riemann-Hilbert problems for last passage percolation

abstract: Last three years have seen new developments in the theory of last passage percolation, which has variety applications to random permutations, random growth and random vicious walks. It turns out that a few class of models have determinant formulas for the probability distribution, which can be analyzed asymptotically. One of the tools for the asymptotic analysis has been the Riemann-Hilbert method. In this paper, we survey the use of Riemann-Hilbert method in the last passage percolation problems.


title: Nonlinear Sequence Transformations: Computational Tools for the Acceleration of Convergence and the Summation of Divergent Series

abstract: Convergence problems occur abundantly in all branches of mathematics or in the mathematical treatment of the sciences. Sequence transformations are principal tools to overcome convergence problems of the kind. They accomplish this by converting a slowly converging or diverging input sequence $\{s_n \}_{n=0}^{\infty}$ into another sequence $\{s^{\prime}_n \}_{n=0}^{\infty}$ with hopefully better numerical properties. Pad\'{e} approximants, which convert the partial sums of a power series to a doubly indexed sequence of rational functions, are the best known sequence transformations, but the emphasis of the review will be on alternative sequence transformations which for some problems provide better results than Pad\'{e} approximants.


title: Variational principle and almost quasilocality for some renormalized measures

abstract: We restore part of the thermodynamic formalism for some renormalized measures that are known to be non-Gibbsian. We first point out that a recent theory due to Pfister implies that for block-transformed measures free energies and relative entropy densities exist and are conjugate convex functionals. We then determine a necessary and sufficient condition for consistency with a specification that is quasilocal in a fixed direction. As corollaries we obtain consistency results for models with FKG monotonicity and for models with appropriate "continuity rates". For (noisy) decimations or projections of the Ising model, these results imply almost quasilocality of the decimated "+" and "-" measures.


title: On some integrals involving the Hurwitz zeta function: part 2

abstract: We establish a series of indefinite integral formulae involving the Hurwitz zeta function and other elementary and special functions related to it, such as the Bernoulli polynomials, ln sin (\pi q), ln Gamma(q) and the polygamma functions. Many of the results are most conveniently formulated in terms of a family of functions A_k(q):=k zeta'(1-k,q), where k is a natural number, and a family of polygamma functions of negative order, whose properties we study in some detail.


title: On surfaces with prescribed shape operator

abstract: The problem of immersing a simply connected surface with a prescribed shape operator is discussed. From classical and more recent work, it is known that, aside from some special degenerate cases, such as when the shape operator can be realized by a surface with one family of principal curves being geodesic, the space of such realizations is a convex set in an affine space of dimension at most 3. The cases where this maximum dimension of realizability is achieved have been classified and it is known that there are two such families of shape operators, one depending essentially on three arbitrary functions of one variable (called Type I in this article) and another depending essentially on two arbitrary functions of one variable (called Type II in this article). In this article, these classification results are rederived, with an emphasis on explicit computability of the space of solutions. It is shown that, for operators of either type, their realizations by immersions can be computed by quadrature. Moreover, explicit normal forms for each can be computed by quadrature together with, in the case of Type I, by solving a single linear second order ODE in one variable. (Even this last step can be avoided in most Type I cases.) The space of realizations is discussed in each case, along with some of their remarkable geometric properties. Several explicit examples are constructed (mostly already in the literature) and used to illustrate various features of the problem.


title: On the trace of Hecke operators for Maass forms for congruence subgroups II

abstract: Let E_lambda be the Hilbert space spanned by the eigenfunctions of the non-Euclidean Laplacian associated with a positive discrete eigenvalue lambda. In this paper, the trace of Hecke operators T_n acting on the space E_lambda is computed for Hecke congruence subgroups Gamma_0(N) of non-square free level. This extends the computation of Conrey-Li [2], where only Hecke congruence subgroups Gamma_0(N) of square free level N were considered.


title: Groups of homeomorphisms of one-manifolds, I: actions of nonlinear groups

abstract: This self-contained paper is part of a series \cite{FF2,FF3} on actions by diffeomorphisms of infinite groups on compact manifolds. The two main results presented here are: 1) Any homomorphism of (almost any) mapping class group or automorphism group of a free group into $\Diff_+^r(S^1), r\geq 2$ is trivial. For r=0 Nielsen showed that in many cases nontrivial (even faithful) representations exist. Somewhat weaker results are proven for finite index subgroups. 2) We construct a finitely-presented group of real-analytic diffeomorphisms of $\R$ which is not residually finite.


title: An Equivariant Liapunov Stability Test and the Energy-Momentum-Casimir Method

abstract: We present an equivariant Liapunov stability criterion for dynamical systems with symmetry. This result yields a simple proof of the energy-momentum-Casimir stability analysis of relative equilibria of equivariant Hamiltonian systems.


title: Long Range Scattering and Modified Wave Operators for the Wave-Schr"odinger system

abstract: We study the theory of scattering for the system consisting of a Schr"odinger equation and a wave equation with a Yukawa type coupling,in space dimension 3.We prove in particular the existence of modified wave operators for that system with no size restriction on the data and we determine the asymptotic behaviour in time of solutions in the range of the wave operators.The method consists in solving the wave equation, substituting the result into the Schr"odinger equation,which then becomes both nonlinear and nonlocal in time,and treating the latter by the method previously used for a family of generalized Hartree equations with long range interactions.


title: Log--Sobolev Inequalities and Regions with Exterior Exponential Cusps

abstract: We begin by studying semigroup estimates that are more singular than those implied by a Sobolev embedding theorem but which are equivalent to certain logarithmic Sobolev inequalities. We then give a method for showing such log--Sobolev inequalities hold for Euclidean regions that satisfy a certain Hardy-type inequality. Our main application is to show that domains with exterior exponential cusps, and hence no Sobolev embedding theorem, satisfy such heat kernel bounds provided the cusp is not too sharp. Finally we consider a rotationally invariant domain with an exponentially sharp cusp and show that ultracontractivity does break down after a certain point.


title: Semiinfinite symmetric powers

abstract: We develop a theory of measures, differential forms and Fourier tramsforms on some infinite-dimensional real vector spaces by generalizing the following two constructions: (a) The construction of the semiinfinite wedge power of a Tate vector space V. Recall that it is obtained as a certain double inductive limit of the exterior algebras of finite-dimensional subquotients of V. (b) The construction of the space of measures on a nonarchimedean local field K with maximal ideal M as a double projective limit of the spaces of measures (=functions) on finite subquotients M^i/M^j of K.


title: The Fine Structure of the Kasparov Groups III: Relative Quasidiagonality

abstract: In this paper we identify QD(A,B), the quasidiagonal classes in KK_1(A,B), in terms of K_*(A) and K_*(B), and we use these results in various applications. Here is our central result. Theorem: Suppose that A is in the category of separable nuclear C^*-algebras which satisfy the UCT and A is quasidiagonal relative to B. Then there is a natural isomorphism QD(A,B) = Pext (K_*(A), K_*(B))_0 . Thus quasidiagonality of KK-classes is indeed a topological invariant. We give several applications. Finally, we establish a converse to a theorem of Davidson, Herrero, and Salinas, giving conditions under which the quasidiagonality of A/K implies the quasidiagonality of the associated representation of A.


title: Asymptotic Spectral Measures, Quantum Mechanics, and E-theory

abstract: We study the relationship between POV-measures in quantum theory and asymptotic morphisms in the operator algebra E-theory of Connes-Higson. This is done by introducing the theory of "asymptotic" PV-measures and their integral correspondence with positive asymptotic morphisms on locally compact spaces. Examples and applications involving various aspects of quantum physics, including quantum noise models, semiclassical limits, strong deformation quantizations, and pure half-spin particles, are also discussed.

categories: math.OA math-ph math.KT math.MP math.QA quant-ph


title: Seiberg-Witten invariants, orbifolds, and circle actions

abstract: The main result of this paper is a formula for calculating the Seiberg-Witten invariants of 4-manifolds with fixed-point free circle actions. This is done by showing under suitable conditions the existence of a diffeomorphism between the moduli space of the 4-manifold and the moduli space of the quotient 3-orbifold. Two corollaries include b_+>1 4-manifolds with fixed-point free circle actions are simple type and a new proof that the four dimensional invariants of $Y \times S^1$ are equal to the the three dimensional invariants of $Y$. An infinite number of b_+=1 4-manifolds where the Seiberg-Witten invariants are still diffeomorphism invariants are constructed and studied.


title: A class of complete embedded minimal submanifolds in noncompact symmetric spaces

abstract: We show that a totally geodesic submanifold of a symmetric space satisfying certain conditions admits an extension to a minimal submanifold of dimension one higher, and we apply this result to construct new examples of complete embedded minimal submanifolds in simply connected noncompact globally symmetric spaces.


title: Right orderable residually finite p-groups and a Kourovka notebook problem

abstract: A. H. Rhemtulla proved that if a group is a residually finite p-group for infinitely many primes p, then it is two-sided orderable. In problem 10.30 of the Kourovka notebook 14th. edition, N. Ya. Medvedev asked if there is a non-right-orderable group which is a residually finite p-group for at least two different primes p. Using a result of Dave Witte, we will show that many subgroups of finite index in GL_3(Z) give examples of such groups. On the other hand we will show that no such example can exist among solvable by finite groups.


title: Ribbon Tilings and Multidimensional Height Functions

abstract: We fix $n$ and say a square in the two-dimensional grid indexed by $(x,y)$ has color $c$ if $x+y \equiv c \pmod{n}$. A {\it ribbon tile} of order $n$ is a connected polyomino containing exactly one square of each color. We show that the set of order-$n$ ribbon tilings of a simply connected region $R$ is in one-to-one correspondence with a set of {\it height functions} from the vertices of $R$ to $\mathbb Z^{n}$ satisfying certain difference restrictions. It is also in one-to-one correspondence with the set of acyclic orientations of a certain partially oriented graph. Using these facts, we describe a linear (in the area of $R$) algorithm for determining whether $R$ can be tiled with ribbon tiles of order $n$ and producing such a tiling when one exists. We also resolve a conjecture of Pak by showing that any pair of order-$n$ ribbon tilings of $R$ can be connected by a sequence of local replacement moves. Some of our results are generalizations of known results for order-2 ribbon tilings (a.k.a. domino tilings). We also discuss applications of multidimensional height functions to a broader class of polyomino tiling problems.


title: A percolation formula

abstract: Let $A$ be an arc on the boundary of the unit disk $U$. We prove an asymptotic formula for the probability that there is a percolation cluster $K$ for critical site percolation on the triangular grid in $U$ which intersects $A$ and such that 0 is surrounded by $K\cup A$.


title: Cofree coalgebras over operads

abstract: This paper explicitely constructs cofree coalgebras over operads in the category of DG-modules. Special cases are considered in which the general expression simplifies (such as the pointed, irreducible case). It is shown that the existence of an operad-action on a coalgebra implies a ``generalized coassociativity'' that facilitates the construction. Some areas of application are discussed.


title: On the center of the small quantum group

abstract: Using the quantum Fourier transform F, we describe the block decomposition and multiplicative structure of a subalgebra Z + F(Z) in the center of the small quantum group u_l at a root of unity. It contains the previously known subalgebra Z, which is isomorphic to the algebra of characters of finite dimensional modules over u_l. We prove that the intersection $Z \cap F(Z)$ coincides with the annihilator of the radical of Z. The whole center of u_l coincides with the obtained subalgebra Z + F(Z) in case of sl_2, and is bigger than that in general.


title: Moduli of contact circles

abstract: We continue the study of linear families of contact forms on 3-manifolds begun in our paper `Contact geometry and complex surfaces'. The present paper introduces Teichmuller and moduli spaces for so-called taut contact circles. By constructing a developing map for taut contact circles, we show that these geometrically defined deformation spaces are equivalent to certain spaces of representations of the fundamental group in appropriate Lie groups. Furthermore, we relate these deformation spaces to `classical' Teichmuller theory of Riemann surfaces and orbifolds.


title: The classification of double planes of general type with $K^2=8$ and $p_g=0$

abstract: We study minimal {\em double planes} of general type with $K^2=8$ and $p_g=0$, namely pairs $(S,\sigma)$, where $S$ is a minimal complex algebraic surface of general type with $K^2=8$ and $p_g=0$ and $\sigma$ is an automorphism of $S$ of order 2 such that the quotient $S/\sigma$ is a rational surface. We prove that $S$ is a free quotient $(F\times C)/G$, where $C$ is a curve, $F$ is an hyperelliptic curve, $G$ is a finite group that acts faithfully on $F$ and $C$, and $\sigma$ is induced by the automorphism $\tau\times Id$ of $F\times C$, $\tau$ being the hyperelliptic involution of $F$. We describe all the $F$, $C$ and $G$ that occur: in this way we obtain 5 families of surfaces with $p_g=0$ and $K^2=8$, of which we believe only one was previously known. Using our classification we are able to give an alternative description of these surfaces as double covers of the plane, thus recovering a construction proposed by Du Val. In addition we study the geometry of the subset of the moduli space of surfaces of general type with $p_g=0$ and $K^2=8$ that admit a double plane structure.


title: Stable forms and special metrics

abstract: We show how certain diffeomorphism-invariant functionals on differential forms in dimensions 6,7 and 8 generate in a natural way special geometrical structures in these dimensions: metrics of holonomy G2 and Spin(7), metrics with weak holonomy SU(3) and G2, and a new and unexplored example in dimension 8. The general formalism becomes a practical tool for calculating homogeneous or cohomogeneity one examples, and we illustrate this with some newly discovered cases of Spin(7) and G2 metrics.


title: Representation of Infinitely Differentiable Functions by Dirichlet Series

abstract: The problem of representation of elements of weighted space of infinitely differentiable functions on real line by exponential series is considered.


title: Representations of the fundamental group of a surface in PU(p,q) and holomorphic triples

abstract: We count the connected components in the moduli space of PU(p,q)-representations of the fundamental group for a closed oriented surface. The components are labelled by pairs of integers which arise as topological invariants of the flat bundles associated to the representations. Our results show that for each allowed value of these invariants, which are bounded by a Milnor-Wood type inequality, there is a unique non-empty connected component. Interpreting the moduli space of representations as a moduli space of Higgs bundles, we take a Morse theoretic approach using a certain smooth proper function on the Higgs moduli space. A key step is the identification of the function's local minima as moduli spaces of holomorphic triples. We prove that these moduli spaces of triples are non-empty and irreducible.


title: Extensions and Pullbacks in QB-rings

abstract: We prove a new extension result for $QB-$rings that allows us to examine extensions of rings where the ideal is purely infinite and simple. We then use this result to explore various constructions that provide new examples of $QB-$rings. More concretely, we show that a surjective pullback of two $QB-$rings is usually again a $QB-$ring. Specializing to the case of an extension of a semi-prime ideal $I$ of a unital ring $R$, the pullback setting leads naturally to the study of rings whose multiplier rings are $QB-$rings. For a wide class of regular rings, we give necessary and sufficient conditions for their multiplier rings to be $QB-$rings. Our analysis is based on the study of extensions and the use of non-stable $K-$theoretical techniques.


title: On a noncommutative deformation of the Connes-Kreimer algebra

abstract: We study a noncommutative deformation of the commutative Hopf algebra of rooted trees which was shown by Connes and Kreimer to be related to the mathematical structure of renormalization in quantum field theories. The requirement of the existence of an antipode for the noncommutative deformation leads to a natural extension of the algebra. Noncommutative deformations of the Connes-Kreimer algebra might be relevant for renormalization of field theories on noncommutative spaces and there are indications that in this case the extension of the algebra might be linked to a mixing of infrared and ultraviolet divergences. We give also an argument that for a certain class of noncommutative quantum field theories renormalization should be linked to a noncommutative and noncocommutative self-dual Hopf algebra which can be seen as a noncommutative counterpart of the Grothendieck- Teichmueller group.


title: Kirillov theory, Treves strata, Schrodinger equations and analytic hypoellipticity of sums of squares

abstract: We attach representations to non-symplectic stratum in the characteristic set of real vector fields. This leads to Schrodinger operators. The analysis of the solutions of these Schrodinger equations allows us to construct smooth, non-analytic solutions of the sub-elliptic operator formed by taking sums of squares of the real vector fields.


title: Pointwise Green's function bounds and stability of relaxation shocks

abstract: We establish sharp pointwise Green's function bounds and consequent linearized and nonlinear stability for smooth traveling front solutions, or relaxation shocks, of general hyperbolic relaxation systems of dissipative type, under the necessary assumptions ([G,Z.1,Z.4]) of spectral stability, i.e., stable point spectrum of the linearized operator about the wave, and hyperbolic stability of the corresponding ideal shock of the associated equilibrium system. This yields, in particular, nonlinear stability of weak relaxation shocks of the discrete kinetic Jin--Xin and Broadwell models. The techniques of this paper should have further application in the closely related case of traveling waves of systems with partial viscosity, for example in compressible gas dynamics or MHD.


title: A Torelli theorem for the moduli space of Higgs bundles on a curve

abstract: Let X be a smooth projective complex curve, and let M be the moduli space of stable Higgs bundles on X (with genus g>1), with rank n and fixed determinant \xi, with n and deg(\xi) coprime. Let X' and \xi' be another such curve and line bundle, and M' the corresponding moduli space. We prove that if M and M' are isomorphic as algebraic varieties, then X and X' are isomorphic.


title: Reduced power operations in motivic cohomology

abstract: In this paper we construct an analog of Steenrod operations in motivic cohomology and prove their basic properties including the Cartan formula, the Adem relations and the realtions to characteristic classes.


title: On 2-torsion in motivic cohomology

abstract: In this paper we prove the 2-local part of the Beilinson-Lichtenbaum conjectures on tosion in motivic cohomology. In particular we prove the Milnor conjecture relating Milnor's K-theory and the Galois cohomology with Z/2-coefficients. This paper is a new version of the previously distributed preprint "The Milnor Conjecture".


title: Spin Manifolds, Einstein Metrics, and Differential Topology

abstract: We show that there exist smooth, simply connected, four-dimensional spin manifolds which do not admit Einstein metrics, but nonetheless satisfy the strict Hitchin-Thorpe inequality. Our construction makes use of the Bauer/Furuta cohomotopy refinement of the Seiberg-Witten invariant, in conjunction with curvature estimates previously proved by the second author. These methods also easily allow one to construct examples of topological 4-manifolds which admit an Einstein metric for one smooth structure, but which have infinitely many other smooth structures for which no Einstein metric can exist.


title: On the Representation Theory of Deformation Quantization

abstract: In this contribution to the proceedings of the 68eme Rencontre entre Physiciens Theoriciens et Mathematiciens on Deformation Quantization I shall report on some recent joint work with Henrique Bursztyn on the representation theory of *-algebras arising from deformation quantization as I presented this in my talk.


title: On linear operators with p-nuclear adjoints

abstract: If $p\in [1,+\infty]$ and $T$ is a linear operator with $p$-nuclear adjoint from a Banach space $ X$ to a Banach space $Y$ then if one of the spaces $X^*$ or $Y^{***}$ has the approximation property, then $T$ belongs to the ideal $N^p$ of operators which can be factored through diagonal oparators $l_{p'}\to l_1.$ On the other hand, there is a Banach space $W$ such that $W^{**}$ has a basis and such that for each $p\in [1,+\infty], p\neq 2,$ there exists an operator $T: W^{**}\to W$ with $p$-nuclear adjoint that is not in the ideal $N^p,$ as an operator from $W^{**}$ to $ W.$


title: Canonical Geometrically Ruled Surfaces

abstract: We prove the existence of canonical scrolls; that is, scrolls playing the role of canonical curves. First of all, they provide the geometrical version of Riemann Roch Teorem: any special scroll is the projection of a canonical scroll and they allow to understand the classification of special scrolls in P3. Canonical scrolls correspond to the projective model of canonical geometrically ruled surfaces over a smooth curve. We also prove that the generic canonical scroll is projectively normal except in the hyperelliptic case and for very particular cases in the nonhyperelliptic situation.


title: A note on a theorem of Bowditch

abstract: Bowditch showed that a one-ended hyperbolic group which is not a triangle group splits over a two-ended group if and only if its boundary has a local cut point. As a corollary one obtains that splittings of hyperbolic groups over two-ended groups are preserved under quasi-isometries. In this note we give a more direct proof of this corollary.


title: Small Covers of the Dodecahedron and the 120-cell

abstract: Let P be the right-angled dodecahedron or 120-cell in hyperbolic space, and let W be the group generated by reflections across codimension-one faces of P. We prove that if Gamma is a torsion-free subgroup of minimal index in W, then the corresponding hyperbolic manifold H^n/Gamma is determined up to homeomorphism by Gamma (modulo symmetries of P).


title: Lifting Braids

abstract: In this paper we study the homeomorphisms of the disk that are liftable with respect to a simple branched covering. Since any such homeomorphism maps the branch set of the covering onto itself and liftability is invariant up to isotopy fixing the branch set, we are dealing in fact with liftable braids. We prove that the group of liftable braids is finitely generated by liftable powers of half-twists around arcs joining branch points. A set of such generators is explicitly determined for the special case of branched coverings from the disk to the disk. As a preliminary result we also obtain the classification of all the simple branched coverings of the disk.


title: On the limit of some Toeplitz-like determinants

abstract: In this article we derive, using standard methods of Toeplitz theory, an asymptotic formula for certain large minors of Toeplitz matrices. D. Bump and P. Diaconis obtained the same asymptotics using representation theory, with an answer having a different form.


title: Periods of Strebel Differentials and Algebraic Curves Defined over the Field of Algebraic Numbers

abstract: In \cite{MP} we have shown that if a compact Riemann surface admits a Strebel differential with rational periods, then the Riemann surface is the complex model of an algebraic curve defined over the field of algebraic numbers. We will show in this article that even if all geometric data are defined over $\overline{\mathbb{Q}}$, the Strebel differential can still have a transcendental period. We construct a Strebel differential $q$ on an arbitrary complete nonsingular algebraic curve $C$ defined over $\overline{\mathbb{Q}}$ such that (i) all poles of $q$ are $\overline{\mathbb{Q}}$-rational points of $C$; (ii) the residue of $\sqrt{q}$ at each pole is a positive integer; and (iii) $q$ has a transcendental period.


title: An Extension to the Tangent Sequence Martingale Inequality

abstract: For each 1 < p < infinity, there exists a positive constant c_p, depending only on p, such that the following holds. Let (d_k), (e_k) be real-valued martingale difference sequences. If for for all bounded nonnegative predictable sequences (s_k) and all positive integers k we have E[s_k vee |e_k|] le E[s_k vee |d_k|] then for all positive integers n we have || sum_{k=1}^n e_k ||_p le c_p || \sum_{k=1}^n d_k ||_p .


title: Filtrations of random processes in the light of classification theory. I. A topological zero-one law

abstract: Filtered probability spaces (called "filtrations" for short) are shown to satisfy such a topological zero-one law: for every property of filtrations, either the property holds for almost all filtrations, or its negation does. In particular, almost all filtrations are conditionally nonatomic. An accurate formulation is given in terms of orbit equivalence relations on Polish G-spaces. The set of all isomorphic classes of filtrations may be identified with the orbit space X/G for a special Polish G-space X. A "property of filtrations" means a G-invariant subset of X having the Baire property. "Almost all filtrations" means a comeager subset of X (the Baire category approach). The zero-one law is a kind of ergodicity of X. It holds for filtrations both in discrete and continuous time. The interplay between probability theory and descriptive set theory could be interesting for both parties.


title: Surfaces in 3-space possessing nontrivial deformations which preserve the shape operator

abstract: The class of surfaces in 3-space possessing nontrivial deformations which preserve principal directions and principal curvatures (or, equivalently, the shape operator) was investigated by Finikov and Gambier as far back as in 1933. We review some of the known examples and results, demonstrate the integrability of the corresponding Gauss-Codazzi equations and draw parallels between this geometrical problem and the theory of compatible Poisson brackets of hydrodynamic type. It turns out that coordinate hypersurfaces of the n-orthogonal systems arising in the theory of compatible Poisson brackets of hydrodynamic type must necessarily possess deformations preserving the shape operator.


title: On generating a diminimal set of polyhedral maps on the torus

abstract: We develop a method to find a set of diminimal polyhedral maps on the torus from which all other polyhedral maps on the torus may be generated by face splitting and vertex splitting. We employ this method, though not to its completion, to find 53 diminimal polyhedral maps on the Torus.


title: Approximation properties $AP_s$ and p-nuclear operators (the case where $0<s\le 1$)

abstract: Among other things, it is shown that there exist Banach spaces $Z$ and $W$ such that $Z^{**}$ and $W$ have bases, and for every $p\in[1,2)$ there is an operator $T:W\to Z$ that is not $p$-nuclear but $T^{**}$ is $p$-nuclear.


title: The Spectrum of a linearized 2D Euler operator

abstract: We study the spectral properties of the linearized Euler operator obtained by linearizing the equations of incompressible two dimensional fluid at a steady state with the vorticity that contains only two nonzero complex conjugate Fourier modes. We prove that the essential spectrum coincides with the imaginary axis, and give an estimate from above for the number of isolated nonimaginary eigenvalues. In addition, we prove that the spectral mapping theorem holds for the group generated by the linearized 2D Euler operator.


title: On the evaluation formula for Jack polynomials with prescribed symmetry

abstract: The Jack polynomials with prescribed symmetry are obtained from the nonsymmetric polynomials via the operations of symmetrization, antisymmetrization and normalization. After dividing out the corresponding antisymmetric polynomial of smallest degree, a symmetric polynomial results. Of interest in applications is the value of the latter polynomial when all the variables are set equal. Dunkl has obtained this evaluation, making use of a certain skew symmetric operator. We introduce a simpler operator for this purpose, thereby obtaining a new derivation of the evaluation formula. An expansion formula of a certain product in terms of Jack polynomials with prescribed symmetry implied by the evaluation formula is used to derive a generalization of a constant term identity due to Macdonald, Kadell and Kaneko. Although we don't give the details in this work, the operator introduced here can be defined for any reduced crystallographic root system, and used to provide an evaluation formula for the corresponding Heckman-Opdam polynomials with prescribed symmetry.


title: Generalized Longo-Rehren subfactors and alpha-induction

abstract: We study the recent construction of subfactors by Rehren which generalizes the Longo-Rehren subfactors. We prove that if we apply this construction to a non-degenerately braided subfactor N subset M and alpha-induction, then the resulting subfactor is dual to the Longo-Rehren subfactor M tensor M^opp subset R arising from the entire system of irreducible endomorphisms of M resulting from alpha-induction. As a corollary, we solve a problem on existence of braiding raised by Rehren negatively. Furthermore, we generalize our previous study with Longo and Muger on multi-interval subfactors arising from a completely rational conformal net of factors on S^1 to a net of subfactors and show that the (generalized) Longo-Rehren subfactors and alpha-induction naturally appear in this context.


title: Random walks and random fixed-point free involutions

abstract: A bijection is given between fixed point free involutions of $\{1,2,...,2N\}$ with maximum decreasing subsequence size $2p$ and two classes of vicious (non-intersecting) random walker configurations confined to the half line lattice points $l \ge 1$. In one class of walker configurations the maximum displacement of the right most walker is $p$. Because the scaled distribution of the maximum decreasing subsequence size is known to be in the soft edge GOE (random real symmetric matrices) universality class, the same holds true for the scaled distribution of the maximum displacement of the right most walker.


title: Schematic homotopy types and non-abelian Hodge theory

abstract: In this work we use Hodge theoretic methods to study homotopy types of complex projective manifolds with arbitrary fundamental groups. The main tool we use is the \textit{schematization functor} $X \mapsto (X\otimes \mathbb{C})^{sch}$, introduced by the third author as a substitute for the rationalization functor in homotopy theory in the case of non-simply connected spaces. Our main result is the construction of a \textit{Hodge decomposition} on $(X\otimes\mathbb{C})^{sch}$. This Hodge decomposition is encoded in an action of the discrete group $\mathbb{C}^{\times \delta}$ on the object $(X\otimes \mathbb{C})^{sch}$ and is shown to recover the usual Hodge decomposition on cohomology, the Hodge filtration on the pro-algebraic fundamental group as defined by C.Simpson, and in the simply connected case, the Hodge decomposition on the complexified homotopy groups as defined by J.Morgan and R. Hain. This Hodge decomposition is shown to satisfy a purity property with respect to a weight filtration, generalizing the fact that the higher homotopy groups of a simply connected projective manifold have natural mixed Hodge structures. As a first application we construct a new family of examples of homotopy types which are not realizable as complex projective manifolds. Our second application is a formality theorem for the schematization of a complex projective manifold. Finally, we present conditions on a complex projective manifold $X$ under which the image of the Hurewitz morphism of $\pi_{i}(X) \to H_{i}(X)$ is a sub-Hodge structure.


title: Subsequence containment by involutions

abstract: Inspired by work of McKay, Morse, and Wilf, we give an exact count of the involutions in S_n which contain a given permutation \tau in S_k as a subsequence; this number depends on the patterns of the first j values of \tau for 1<=j<=k. We then use this to define a partition of S_k, analogous to Wilf-classes in the study of pattern avoidance, and examine properties of this equivalence. In the process, we show that a permutation \tau_1...\tau_k is layered iff, for 1<=j<=k, the pattern of \tau_1...\tau_j is an involution. We also obtain a result of Sagan and Stanley counting the standard Young tableaux of size $n$ which contain a fixed tableau of size $k$ as a subtableau.


title: The equivariant cohomology of Hamiltonian $G$-spaces From Residual $S^1$ Actions

abstract: We show that for a Hamiltonian action of a compact torus $G$ on a compact, connected symplectic manifold $M$, the $G$-equivariant cohomology is determined by the residual $S^1$ action on the submanifolds of $M$ fixed by codimension-1 tori. This theorem allows us to compute the equivariant cohomology of certain manifolds, which have pieces that are four-dimensional or smaller. We give several examples of the computations that this allows.


title: Narrow operators and the Daugavet property for ultraproducts

abstract: We show that if $T$ is a narrow operator on $X=X_{1}\oplus_{1} X_{2}$ or $X=X_{1}\oplus_{\infty} X_{2}$, then the restrictions to $X_{1}$ and $X_{2}$ are narrow and conversely. We also characterise by a version of the Daugavet property for positive operators on Banach lattices which unconditional sums of Banach spaces inherit the Daugavet property, and we study the Daugavet property for ultraproducts.


title: Poisson geometry with a 3-form background

abstract: We study a modification of Poisson geometry by a closed 3-form. Just as for ordinary Poisson structures, these "twisted" Poisson structures are conveniently described as Dirac structures in suitable Courant algebroids. The additive group of 2-forms acts on twisted Poisson structures and permits them to be seen as glued from ordinary Poisson structures defined on local patches. We conclude with remarks on deformation quantization and twisted symplectic groupoids.


title: Motivic integration on smooth rigid varieties and invariants of degenerations

abstract: We construct a theory of motivic integration for smooth rigid varieties. As an application new invariants of degenerations are obtained.


title: Nonparametric Volatility Density Estimation

abstract: We consider two kinds of stochastic volatility models. Both kinds of models contain a stationary volatility process, the density of which, at a fixed instant in time, we aim to estimate. We discuss discrete time models where for instance a log price process is modeled as the product of a volatility process and i.i.d. noise. We also consider samples of certain continuous time diffusion processes. The sampled time instants will be be equidistant with vanishing distance. A Fourier type deconvolution kernel density estimator based on the logarithm of the squared processes is proposed to estimate the volatility density. Expansions of the bias and bounds on the variances are derived.


title: A counterpart of the Verlinde algebra for the small quantum group

abstract: Let $\bar{Pr}$ denote the ideal spanned by the characters of projective modules in the Grothendieck ring of the category of finite dimensional modules over the small quantum group $u_l$. We show that $\bar{Pr}$ admits a description completely parallel to that of the Verlinde algebra of the fusion category, restricted over $u_l$, with the character of the Steinberg module playing the role of the identity.


title: Caracteres sur l'algebre de diagrammes trivalents Lambda

abstract: The theory of Vassiliev invariants deals with many modules of diagrams on which the algebra Lambda defined by Pierre Vogel acts. By specifying a quadratic simple Lie superalgebra, one obtains a character on Lambda. We show the coherence of these characters by building a map of graded algebras beetwen Lambda and a quotient of a ring of polynomials in three variables; all the characters induced by simple Lie superalgebras factor through this map. In particular, we show that the characters for the Lie superalgebra f(4) with dimension 40 and for sl(3) are the same. Resume: De nombreux modules de diagrammes sont utilises dans la theorie des invariants de Vassiliev. Pierre Vogel a definit une algebre Lambda qui agit sur ces espaces. Les superalgebres de Lie simples quadratiques fournissent des caracteres sur Lambda. On montre leur coherence en construisant un morphisme d'algebre graduee, entre Lambda et un quotient d'un anneau de polyneme en trois variables, qui factorise tous ces caracteres. En particulier, on montre que le caractere associe a la superalgebre de Lie f(4) de dimension 40 coincide avec celui associe a sl(3).


title: Invariant d'entrelacs associ\'e \`a la repr\'esentation des spineurs de so(7)

abstract: Pulling back the weight system associated with the spinor representation of the Lie algebra so(7) by the universal Vassiliev-Kontsevich invariant yields a numerical link invariant with values in formal power series. Computing some skein relations satisfied by this invariant, I derive a recursive algorithm for its evaluation. The values of this invariant belong to the ring Z[W,W^{-1}] of Laurent polynomials in one variable.


title: Stability of the cohomology rings of Hilbert schemes of points on surfaces

abstract: We establish some remarkable properties of the cohomology rings of the Hilbert schemes of n points on a projective surface X, from which one sees to what extent these cohomology rings are (in)dependent of X and n.


title: Geometry of the Uniform Spanning Forest: Transitions in Dimensions 4, 8, 12

abstract: The uniform spanning forest (USF) in Z^d is the weak limit of random, uniformly chosen, spanning trees in [-n,n]^d. Pemantle proved that the USF consists a.s. of a single tree if and only if d <= 4. We prove that any two components of the USF in Z^d are adjacent a.s. if 5 <= d <= 8, but not if d >= 9. More generally, let N(x,y) be the minimum number of edges outside the USF in a path joining x and y in Z^d. Then a.s. max{N(x,y) : x,y in Z^d} is the integer part of (d-1)/4. The notion of stochastic dimension for random relations in the lattice is introduced and used in the proof.


title: The concordance genus of knots

abstract: In knot concordance three genera arise naturally, g(K), g_4(K), and g_c(K): these are the classical genus, the 4-ball genus, and the concordance genus, defined to be the minimum genus among all knots concordant to K. Clearly 0 <= g_4(K) <= g_c(K) <= g(K). Casson and Nakanishi gave examples to show that g_4(K) need not equal g_c(K). We begin by reviewing and extending their results. For knots representing elements in A, the concordance group of algebraically slice knots, the relationships between these genera are less clear. Casson and Gordon's result that A is nontrivial implies that g_4(K) can be nonzero for knots in A. Gilmer proved that g_4(K) can be arbitrarily large for knots in A. We will prove that there are knots K in A with g_4(K) = 1 and g_c(K) arbitrarily large. Finally, we tabulate g_c for all prime knots with 10 crossings and, with two exceptions, all prime knots with fewer than 10 crossings. This requires the description of previously unnoticed concordances.


title: Elliptic subfields and automorphisms of genus 2 function fields

abstract: We study genus 2 function fields with elliptic subfields of degree 2. The locus $\L_2$ of these fields is a 2-dimensional subvariety of the moduli space $\mathcal M_2$ of genus 2 fields. An equation for $\L_2$ is already in the work of Clebsch and Bolza. We use a birational parameterization of $\L_2$ by affine 2-space to study the relation between the j-invariants of the degree 2 elliptic subfields. This extends work of Geyer, Gaudry, Stichtenoth and others. We find a 1-dimensional family of genus 2 curves having exactly two isomorphic elliptic subfields of degree 2; this family is parameterized by the j-invariant of these subfields.


title: Vertex algebras and the formal loop space

abstract: We introduce an algebro-geometric version of the free loop space for any scheme X of finite type. This is an ind-scheme of ind-infinite type containing the scheme of formal germs of curves on X. Then, we give a direct geometric construction, for smooth X, of the chiral de Rham complex of X (introduced by Malikov, Schechtman and Vaintrob).


title: On hidden Markov chains and finite stochastic systems

abstract: In this paper we study various properties of finite stochastic systems or hidden Markov chains as they are alternatively called. We discuss their construction following different approaches and we also derive recursive filtering formulas for the different systems that we consider. The key tool is a simple lemma on conditional expectations.


title: The spectral measure of certain elements of the complex group ring of a wreath product

abstract: We use elementary methods to compute the L2-dimension of the eigenspaces of the Markov operator on the lamplighter group and of generalizations of this operator on other groups. In particular, we give a transparent explanation of the spectral measure of the Markov operator on the lamplighter group found by Grigorchuk-Zuk. The latter result was used by Grigorchuk-Linnell-Schick-Zuk to produce a counterexample to a strong version of the Atiyah conjecture about the range of L2-Betti numbers. We use our results to construct manifolds with certain L2-Betti numbers (given as convergent infinite sums of rational numbers) which are not obviously rational, but we have been unable to determine whether any of them are irrational.


title: Almost Parallel Structures

abstract: A discussion of torsion of Riemannian G-structures leads to a survey of contributions of Alfred Gray and others on almost Hermitian manifolds, G_2-manifolds, curvature identities, volume expansions, plotting geodesics, and the geometry of nilmanifolds. The paper concludes with a new example of a compact 8-manifold with a quaternionic 4-form that is closed but not parallel.


title: Serre's conjecture over F_9

abstract: In this paper, we show that an odd Galois representation rhobar: Gal(Qbar/Q) --> GL_2(F_9) satisfying certain local conditions at 3 and 5 is modular. Our main tool is an idea of Taylor, which reduces the problem to that of exhibiting points on a Hilbert modular surface which are defined over a solvable extension of Q, and which satisfy certain reduction properties. As a corollary, we show that Hilbert-Blumenthal abelian surfaces over Q with good ordinary reduction at 3 and 5 are modular.


title: On gradings of matrix algebras and descent theory

abstract: We classify gradings on matrix algebras by a finite abelian group. A grading is called good if all elementary matrices are homogeneous. For cyclic groups, all gradings on a matrix algebra over an algebraically closed field are good. We can count the number of good gradings by a cyclic group. Using descent theory, we classify non-good gradings on a matrix algebra that become good after a base extension.


title: Weak Laws in Geometric Probability

abstract: Using a coupling argument, we establish a general weak law of large numbers for functionals of binomial point processes in d-dimensional space, with a limit that depends explicitly on the (possibly non-uniform) density of the point process. The general result is applied to the minimal spanning tree, the k-nearest neighbors graph, the Voronoi graph, and the sphere of influence graph. Functionals of interest include total edge length with arbitrary weighting, number of vertices of specifed degree, and number of components. We also obtain weak laws for functionals of marked point processes, including statistics of Boolean models.


title: A Weil-Barsotti formula for Drinfeld modules

abstract: We study the group of extensions in the category of Drinfeld modules and Anderson's t-modules, and we show in certain cases that this group can itself be given the structure of a t-module. Our main result is a Drinfeld module analogue of the Weil-Barsotti formula for abelian varieties. Extensions of general t-modules are also considered, in particular extensions of tensor powers of the Carlitz module. We motivate these results from various directions and compare to the situation of elliptic curves.


title: The mod 2 cohomology of fixed point sets of anti-symplectic involutions

abstract: Let $M$ be a compact, connected symplectic manifold with a Hamiltonian action of a compact $n$-dimensional torus $G=T^n$. Suppose that $\sigma$ is an anti-symplectic involution compatible with the $G$-action. The real locus of $M$ is $X$, the fixed point set of $\sigma$. Duistermaat uses Morse theory to give a description of the ordinary cohomology of $X$ in terms of the cohomology of $M$. There is a residual $\G=(\Zt)^n$ action on $X$, and we can use Duistermaat's result, as well as some general facts about equivariant cohomology, to prove an equivariant analogue to Duistermaat's theorem. In some cases, we can also extend theorems of Goresky-Kottwitz-MacPherson and Goldin-Holm to the real locus.


title: Orbifold Hodge Numbers of Calabi-Yau Hypersurfaces

abstract: We identify the twisted sectors of a compact simplicial toric variety. We do the same for a generic nondegenerate Calabi-Yau hypersurface of an $n$-dimensional simplicial Fano toric variety and then explicitly compute $h^{1,1}_{orb}$ and $h^{n-2,1}_{orb}$ for the hypersurface. We give applications to the orbifold string theory conjecture and orbifold mirror symmetry.


title: On factorization of operators through the spaces $l^p.$

abstract: We give conditions on a pair of Banach spaces $X$ and $Y,$ under which each operator from $X$ to $Y,$ whose second adjoint factors compactly through the space $l^p,$ $1\le p\le+\infty$, itself compactly factors through $l^p.$ The conditions are as follows: either the space $X^*,$ or the space $Y^{***}$ possesses the Grothendieck approximation property. Leaving the corresponding question for parameters $p>1, p\neq 2,$ still open, we show that for $p=1$ the conditions are essential.


title: Distribution Functions for Random Variables for Ensembles of positive Hermitian Matrices

abstract: Distribution functions for random variables that depend on a parameter are computed asymptotically for ensembles of positive Hermitian matrices. The inverse Fourier transform of the distribution is shown to be a Fredholm determinant of a certain operator that is an analogue of a Wiener-Hopf operator. The asymptotic formula shows that up to the terms of order $o(1)$, the distributions are Gaussian.


title: Vanishing ideals of Lattice Diagram determinants

abstract: A lattice diagram is a finite set $L=\{(p_1,q_1),... ,(p_n,q_n)\}$ of lattice cells in the positive quadrant. The corresponding lattice diagram determinant is $\Delta_L(\X;\Y)=\det \| x_i^{p_j}y_i^{q_j} \|$. The space $M_L$ is the space spanned by all partial derivatives of $\Delta_L(\X;\Y)$. We denote by $M_L^0$ the $Y$-free component of $M_L$. For $\mu$ a partition of $n+1$, we denote by $\mu/ij$ the diagram obtained by removing the cell $(i,j)$ from the Ferrers diagram of $\mu$. Using homogeneous partially symmetric polynomials, we give here a dual description of the vanishing ideal of the space $M_\mu^0$ and we give the first known description of the vanishing ideal of $M_{\mu/ij}^0$.


title: Hausdorff Measure for a Stable-Like Process over an Infinite Extension of a Local Field

abstract: We consider an infinite extension $K$ of a local field of zero characteristic which is a union of an increasing sequence of finite extensions. $K$ is equipped with an inductive limit topology; its conjugate $\bar{K}$ is a completion of $K$ with respect to a topology given by certain explicitly written seminorms. The semigroup of measures, which defines a stable-like process $X(t)$ on $\bar{K}$, is concentrated on a compact subgroup $S\subset \bar{K}$. We study properties of the process $X_S(t)$, a part of $X(t)$ in $S$. It is shown that the Hausdorff and packing dimensions of the image of an interval equal 0 almost surely. In the case of tamely ramified extensions a correct Hausdorff measure for this set is found.


title: Z-Analytic TAF Algebras and Partial Dynamical Systems

abstract: Connections between partial dynamcial systems, a generalized notion of partial dynamical systems defined by nested sequences of partial homeomorphisms, and triangular AF algebras which admit an integer-valued cocycle are established.


title: A compactification of the moduli scheme of abelian varieties

abstract: We construct a canonical compactification $SQ^{toric}_{g,K}$ of the moduli of abelian varieties over $Z[\zeta_N, 1/N]$ where $\zeta_N$ is a primitive $N$-th root of unity. This is very similar to, but slightly diferent from the compactification constructed by the author in Inventiones vol. 136 (1999). Any degenerate abelian scheme on the boundary of $SQ^{toric}_{g,K}$ is reduced and singular and it is one of the stable quasi-abelian varieties introduced by Alexeev and the author (Tohoku J. 1999).


title: A new bound on the size of the largest critical set in a Latin square

abstract: A critical set in an n x n array is a set C of given entries, such that there exists a unique extension of C to an n x n Latin square and no proper subset of C has this property. The cardinality of the largest critical set in any Latin square of order n is denoted by lcs(n). In 1978 Curran and van Rees proved that lcs(n) <= n^2 - n. Here we show that lcs(n) <= n^2-3n+3.


title: On algebraic fiber spaces

abstract: We construct a cohomological mixed Hodge complex on a fiber of a weakly semistable fibration using logarithmic de Rham complex.


title: Simpson Jacobians of generalized tree-like curves

abstract: The compactified Jacobian of any projective curve $X$ is defined as the Simpson moduli space of torsion free rank one degree $d$ sheaves that are semistable with respect to a fixed polarization $H$ on $X$. In this paper we give explicitly the structure of this compactified Simpson Jacobian in the case where $X$ is a generalized tree-like curve, i.e., a projective, reduced and connected curve such that the intersection points of its irreducible components are disconnecting ordinary double points. We prove that it is isomorphic to the product of the compactified Jacobians of a certain degree $d_i$ of its components $C_i$, where the degrees $d_i$ depend on $d$, $H$ and on the particular structure of the curve. We find also necessary and sufficient conditions for the existence of stable points which allow us to study the variation of these Simpson Jacobians as the polarization $H$ changes.


title: Arithmetic properties of the adjacency matrix of quadriculated disks

abstract: Let $\Delta$ be a bicolored quadriculated disk with black-to-white matrix $B_\Delta$. We show how to factor $B_\Delta = L\tilde DU$, where $L$ and $U$ are lower and upper triangular matrices, $\tilde D$ is obtained from a larger identity matrix by removing rows and columns and all entries of $L$, $\tilde D$ and $U$ are equal to 0, 1 or -1.


title: Orbifolding Frobenius Algebras

abstract: We study the general theory of Frobenius algebras with group actions. These structures arise when one is studying the algebraic structures associated to a geometry stemming from a physical theory with a global finite gauge group, i.e. orbifold theories. In this context, we introduce and axiomatize these algebras. Furthermore, we define a geometric cobordism categories whose functors to the category of vector spaces are parameterized by these algebras. The theory is also extended to the graded and super-graded cases. As an application, we consider Frobenius algebras having some additional properties making them more tractable. These properties are present in Frobenius algebras arising as quotients of Jacobian ideal, such as those having their origin in quasi-homogeneous singularities and their symmetries.


title: Yamabe metrics on cylindrical manifolds

abstract: We study a particular class of open manifolds. In the category of Riemannian manifolds these are complete manifolds with cylindrical ends. We give a natural setting for the conformal geometry on such manifolds including an appropriate notion of the cylindrical Yamabe constant/invariant. This leads to a corresponding version of the Yamabe problem on cylindrical manifolds. We affirmatively solve this Yamabe problem: we prove the existence of minimizing metrics and analyze their singularities near infinity. These singularities turn out to be of very particular type: either almost conical or almost cusp singularities. We describe the supremum case, i.e. when the cylindrical Yamabe constant is equal to the Yamabe invariant of the sphere. We prove that in this case such a cylindrical manifold coincides conformally with the standard sphere punctured at a finite number of points. In the course of studying the supremum case, we establish a Positive Mass Theorem for specific asymptotically flat manifolds with two almost conical singularities. As a by-product, we revisit known results on surgery and the Yamabe invariant. Key words: manifolds with cylindrical ends, Yamabe constant/invariant, Yamabe problem, conical metric singularities, cusp metric singularities, Positive Mass Theorem, surgery and Yamabe invariant.

categories: math.DG math-ph math.AP math.AT math.GT math.MP


title: On a theorem of Banach and Kuratowski and K-Lusin sets

abstract: In a paper of 1929, Banach and Kuratowski proved, assuming the continuum hypothesis, a combinatorial theorem which implies that there is no non-vanishing sigma-additive finite measure on the real line which is defined for every set of reals. It will be shown that the combinatorial theorem is equivalent to the existence of a K-Lusin set of size the continuum and that the existence of such sets is independent of ZFC plus non CH.


title: Cyclic Cohomology of Crossed Coproduct Coalgebras

abstract: We extend our work in~\cite{rm01} to the case of Hopf comodule coalgebras. We introduce the cocylindrical module $C \natural^{} \mathcal{H}$, where $\mathcal{H}$ is a Hopf algebra with bijective antipode and $C$ is a Hopf comodule coalgebra over $\mathcal{H}$. We show that there exists an isomorphism between the cocyclic module of the crossed coproduct coalgebra $C > \blacktriangleleft \mathcal{H} $ and $\Delta(C \natural^{}\mathcal{H}) $, the cocyclic module related to the diagonal of $C \natural^{} \mathcal{H}$. We approximate $HC^{\bullet}(C > \blacktriangleleft \mathcal{H}) $ by a spectral sequence and we give an interpretation for $ \mathsf{E}^0, \mathsf{E}^1$ and $\mathsf{E}^2 $ terms of this spectral sequence.


title: On twisting of finite-dimensional Hopf algebras

abstract: In this paper we study the properties of Drinfeld's twisting for finite-dimensional Hopf algebras. We determine how the integral of the dual to a unimodular Hopf algebra $H$ changes under twisting of $H$. We show that the classes of cosemisimple unimodular, cosemisimple involutive, cosemisimple quasitriangular finite-dimensional Hopf algebras are stable under twisting. We also prove the cosemisimplicity of a coalgebra obtained by twisting of a cosemisimple unimodular Hopf algebra by two different twists on two sides (such twists are closely related to biGalois extensions), and describe the representation theory of its dual. Next, we define the notion of a non-degenerate twist for a Hopf algebra $H$, and set up a bijection between such twists for $H$ and $H^*$. This bijection is based on Miyashita-Ulbrich actions of Hopf algebras on simple algebras. It generalizes to the non-commutative case the procedure of inverting a non-degenerate skew-symmetric bilinear form on a vector space. Finally, we apply these results to classification of twists in group algebras and of cosemisimple triangular finite-dimensional Hopf algebras in positive characteristic, generalizing the previously known classification in characteristic zero.


title: Twisted Orbifold K-Theory

abstract: We use equivariant methods to establish basic properties of orbifold K-theory. We introduce the notion of twisted orbifold K-theory in the presence of discrete torsion, and show how it can be explicitly computed for global quotients.


title: Harmonic maps M^3 --> S^1 and 2-cycles, realizing the Thurston norm

abstract: Let $M^3$ be an oriented 3-manifold. We investigate when one of the fibers or a combination of fiber components, $F_{best}$, of a \emph{harmonic} map $f: M^3 \to S^1$ with Morse-type singularities delivers the Thurston norm $\chi_-([F_{best}])$ of its homology class $[F_{best}] \in H_2(M^3; \Z)$. In particular, for a map $f$ with connected fibers and any well-positioned oriented surface $\Sigma \subset M$ in the homology class of a fiber, we show that the Thurston number $\chi_-(\Sigma)$ satisfies an inequality $$\chi_-(\Sigma) \geq \chi_-(F_{best}) - \rho^\circ(\Sigma, f)\cdot Var_{\chi_-}(f).$$ Here the variation $Var_{\chi_-}(f)$ is can be expressed in terms of the $\chi_-$-invariants of the fiber components, and the twist $\rho^\circ(\Sigma, f)$ measures the complexity of the intersection of $\Sigma$ with a particular set $F_R$ of "bad" fiber components. This complexity is tightly linked with the optimal "$\tilde f$-height" of $\Sigma$, being lifted to the $f$-induced cyclic cover $\tilde M^3 \to M^3$. Based on these invariants, for any Morse map $f$, we introduce the notion of its \emph{twist} $\rho_{\chi_-}(f)$. We prove that, for a harmonic $f$, $\chi_-([F_{best}]) = \chi_-(F_{best})$, if and only if, $\rho_{\chi_-}(f) = 0$.


title: A hypersurface in \C^2 whose stability group is not determined by 2-jets

abstract: We give an example of a hypersurface in \C^2 through 0 whose stability group at 0 is determined by 3-jets, but not by jets of any lesser order. We also examine some of the properties which the stability group of this infinite type hypersurface shares with the 3-sphere in \C^2.


title: Quasisymmetric parametrizations of two-dimensional metric spheres

abstract: We study metric spaces homeomorphic to the 2-sphere, and find conditions under which they are quasisymmetrically homeomorphic to the standard 2-sphere. As an application of our main theorem we show that an Ahlfors 2-regular, linearly locally contractible metric 2-sphere is quasisymmetrically homeomorphic to the standard 2-sphere, answering a question of Heinonen and Semmes.


title: Geometric structures on orbifolds and holonomy representations

abstract: An orbifold is a topological space modeled on quotient spaces of a finite group actions. We can define the universal cover of an orbifold and the fundamental group as the deck transformation group. Let $G$ be a Lie group acting on a space $X$. We show that the space of isotopy-equivalence classes of $(G,X)$-structures on a compact orbifold $\Sigma$ is locally homeomorphic to the space of representations of the orbifold fundamental group of $\Sigma$ to $G$ following the work of Thurston, Morgan, and Lok. This implies that the deformation space of $(G, X)$-structures on $\Sigma$ is locally homeomorphic to the space of representations of the orbifold fundamental group to $G$ when restricted to the region of proper conjugation action by $G$.


abstract: Using a general result of Lusztig, we give explicit formulas for the dimensions of K^F-invariants in irreducible representations of G^F, when G=GL_n, F:G->G is a Frobenius map, and K is an F-stable subgroup of finite index in G^theta for some involution theta:G->G commuting with F. The proofs use some combinatorial facts about characters of symmetric groups.


title: Higher algebraic K-theory for actions of diagonalizable groups

abstract: We study the K-theory of actions of diagonalizable group schemes on noetherian regular separated algebraic spaces: our main result shows how to reconstruct the K-theory ring of such an action from the K-theory rings of the loci where the stabilizers have constant dimension. We apply this to the calculation of the equivariant K-theory of toric varieties, and give conditions under which the Merkurjev spectral sequence degenerates, so that the equivariant K-theory ring determines the ordinary K-theory ring. We also prove a very refined localization theorem for actions of this type.


title: Connections and curvings on lifting bundle gerbes

abstract: We construct a connection and a curving on a bundle gerbe associated with lifting a structure group of a principal bundle to a central extension. The construction is based on certain structures on the bundle, i.e. connections and splittings. The Deligne cohomology class of the lifting bundle gerbe with the connection and with the curving coincides with the obstruction class of the lifting problem with these structures.


title: On quantum shuffle and quantum affine algebras

abstract: A construction of the quantum affine algebra $U_q(g)$ is given in two steps. We explain how to obtain the algebra from its positive Borel subalgebra $U_q(b^+)$, using a construction similar to Drinfeld's quantum double. Then we show how the positive Borel subalgebra can be constructed with quantum shuffles.


title: Canonical bases and quiver varieties

abstract: We prove the existence of canonical bases in the K-theory of quiver varieties. This existence was conjectured by Lusztig.


title: Classes of wiring diagrams and their invariants

abstract: Wiring diagrams usually serve as a tool in the study of arrangements of lines and pseudolines. In this paper we go in the opposite direction, using known properties of line arrangements to motivate certain equivalence relations and actions on sets of wiring diagrams, which preserve the incidence lattice and the fundamental groups of the affine and projective complements of the diagrams. These actions are used in [GTV] to classify real arrangements of up to 8 lines and show that in this case, the incidence lattice determines both the affine and the projective fundamental groups.


title: Enumerative Real Algebraic Geometry

abstract: Enumerative Geometry is concerned with the number of solutions to a structured system of polynomial equations, when the structure comes from geometry. Enumerative real algebraic geometry studies real solutions to such systems, particularly a priori information on their number. Recent results in this area have, often as not, uncovered new and unexpected phenomena, and it is far from clear what to expect in general. Nevertheless, some themes are emerging. This comprehensive article describe the current state of knowledge, indicating these themes, and suggests lines of future research. In particular, it compares the state of knowledge in Enumerative Real Algebraic Geometry with what is known about real solutions to systems of sparse polynomials.


title: The relationship between skew group algebras and orbifold theory

abstract: Let V be a simple vertex operator algebra and let G be a finite automorphism group of V. In [DY], it was shown that any irreducible V-module is a completely reducible V^G-module where V^G is the G-invariant sub-vertex operator algebra of V. In this paper, we give an alternative proof of this fact using the theory of skew group algebras. We also extend this result to any irreducible g-twisted V-module when g is in the center of G and V is a g-rational vertex operator algebra.


title: Macaulay Style Formulas for Sparse Resultants

abstract: We present formulas for computing the resultant of sparse polynomials as a quotient of two determinants, the denominator being a minor of the numerator. These formulas extend the original formulation given by Macaulay for homogeneous polynomials.


title: Hyperholomorpic connections on coherent sheaves and stability

abstract: Let $M$ be a hyperkaehler manifold, and $F$ a torsion-free and reflexive coherent sheaf on $M$. Assume that $F$ (outside of its singularities) admits a connection with a curvature which is invariant under the standard SU(2)-action on 2-forms. If the curvature is square-integrable, then $F$ is stable and its singularities are hyperkaehler subvarieties in $M$. Such sheaves (called hyperholomorphic sheaves) are well understood. In the present paper, we study sheaves admitting a connection with SU(2)-invariant curvature which is not necessarily square-integrable. This situation arises often, for instance, when one deals with higher direct images of holomorphic bundles. We show that such sheaves are stable.


title: Edge of the Wedge Theory in Hypo-Analytic Manifolds

abstract: This paper studies microlocal regularity properties of the distributions f on a strongly noncharacteristic submanifold E of a hypo-analytic manifold M that arise as the boundary values of solutions on wedges in M with edge E. The hypo-analytic wave-front set of f in the sense of Baouendi-Chang-Treves is constrained as a consequence of the fact that f extends as a solution to a wedge.


title: Existence of Gibbs measures relative to Brownian motion

abstract: We prove existence of infinite volume Gibbs measures relative to Brownian motion. We require the pair potential W to fulfill a uniform integrability condition, but otherwise our restrictions on the potentials are relatively weak. In particular, our results are applicable to the massless Nelson model. We also prove an upper bound for path fluctuations under the infinite volume Gibbs measures.


title: Interpolation of characteristic classes of singular hypersurfaces

abstract: We show that the Chern-Schwartz-MacPherson class of a hypersurface X in a nonsingular variety M `interpolates' between two other notions of characteristic classes for singular varieties, provided that the singular locus of X is smooth and that certain numerical invariants of X are constant along this locus. This allows us to define a lift of the Chern-Schwartz-MacPherson class of such `nice' hypersurfaces to intersection homology. As another application, the interpolation result leads to an explicit formula for the Chern-Schwartz-MacPherson class of X in terms of its polar classes.


title: Theta-functions on noncommutative tori

abstract: Ordinary theta-functions can be considered as holomorphic sections of line bundles over tori. We show that one can define generalized theta-functions as holomorphic elements of projective modules over noncommutative tori (theta-vectors). The theory of these new objects is not only more general, but also much simpler than the theory of ordinary theta-functions. It seems that the theory of theta-vectors should be closely related to Manin's theory of quantized theta-functions, but we don't analyze this relation.


title: A homotopy theoretic realization of string topology

abstract: Let $M$ be a closed, oriented manifold of dimension $d$. Let $LM$ be the space of smooth loops in $M$. Chas and Sullivan recently defined a product on the homology $H_*(LM)$ of degree $-d$. They then investigated other structure that this product induces, including a Batalin -Vilkovisky structure, and a Lie algebra structure on the $S^1$ equivariant homology $H_*^{S^1}(LM)$. These algebraic structures, as well as others, came under the general heading of the "string topology" of $M$. In this paper we will describe a realization of the Chas - Sullivan loop product in terms of a ring spectrum structure on the Thom spectrum of a certain virtual bundle over the loop space. We also show that an operad action on the homology of the loop space discovered by Voronov, has a homotopy theoretic realization on the level of Thom spectra. This is Voronov's "cactus operad", which is equivalent to the operad of framed disks in $R^2$. This operad action realizes the Chas - Sullivan BV structure on $H_*(LM)$. We then describe a cosimplicial model of this ring spectrum, and by applying the singular cochain functor to this cosimplicial spectrum we show that this ring structure can be interpreted as the cup product in the Hochschild cohomology.


title: A Survey of Definitions of n-Category

abstract: Many people have proposed definitions of `weak n-category'. Ten of them are presented here. Each definition is given in two pages, with a further two pages on what happens when n = 0, 1, or 2. The definitions can be read independently. Chatty bibliography follows.


title: Local Zeta Function for Curves, Non Degeneracy Conditions and Newton Polygons

abstract: This paper is dedicated to the description of the poles of the Igusa local zeta functions $Z(s,f,v)$ when $f(x,y)$ satisfies a new non degeneracy condition, that we have called arithmetic non degeneracy. More precisely, we attach to each polynomial $f(x,y)$, a collection of convex sets $\Gamma ^{A}$ called the arithmetic Newton polygon of $f(x,y)$, and introduce the notion of arithmetic non degeneracy with respect to $\Gamma ^{A}(f)$. The set of degenerate polynomials, with respect to a fixed geometric Newton polygon, contains an open subset, for the Zariski topology, formed by non degenerate polynomials with respect to some arithmetic Newton polygon.If $L$ is a number field, our main result asserts that for almost all non-archimedean valuations $v$ of $L$, the poles of $Z(s,f,v),$ with $f(x,y)\in L[x,y]$, can be described explicitly in terms of the equations of the straight segments that conform the boundaries of the convex sets that belong to $\Gamma ^{A}(f)$. Moreover, our proof gives an effective procedure to compute $Z(s,f,v)$.


title: Remarks on small sets of reals

abstract: We show that the Dual Borel Conjecture implies that ${\mathfrak d}> \aleph_1$ and find some topological characterizations of perfectly meager and universally meager sets.


title: Cover Times for Brownian Motion and Random Walks in Two Dimensions

abstract: Let T(x,r) denote the first hitting time of the disc of radius r centered at x for Brownian motion on the two dimensional torus. We prove that sup_{x} T(x,r)/|log r|^2 --> 2/pi as r --> 0. The same applies to Brownian motion on any smooth, compact connected, two-dimensional, Riemannian manifold with unit area and no boundary. As a consequence, we prove a conjecture, due to Aldous (1989), that the number of steps it takes a simple random walk to cover all points of the lattice torus Z_n^2 is asymptotic to (2n log n)^2/pi. Determining these asymptotics is an essential step toward analyzing the fractal structure of the set of uncovered sites before coverage is complete; so far, this structure was only studied non-rigorously in the physics literature. We also establish a conjecture, due to Kesten and Revesz, that describes the asymptotics for the number of steps needed by simple random walk in Z^2 to cover the disc of radius n.


title: $\pi_1$-classification of real arrangements with up to eight lines

abstract: One of the open questions in the geometry of line arrangements is to what extent does the incidence lattice of an arrangement determine its fundamental group. Line arrangements of up to 6 lines were recently classified by K.M. Fan, and it turns out that the incidence lattice of such arrangements determines the projective fundamental group. We use actions on the set of wiring diagrams, introduced in [GTV] (math.AG/0107178), to classify real arrangements of up to 8 lines. In particular, we show that the incidence lattice of such arrangements determines both the affine and the projective fundamental groups.


title: The deformation spaces of convex RP^2-structures on 2-orbifolds

abstract: We determine that the deformation space of convex real projective structures, that is, projectively flat torsion-free connections with the geodesic convexity property on a compact 2-orbifold of negative Euler characteristic is homeomorphic to a cell of certain dimension. The basic techniques are from Thurston's lecture notes on hyperbolic 2-orbifolds, and the previous work of Goldman on convex real projective structures on surfaces.


title: Triple Massey products on curves, Fay's trisecant identity and tangents to the canonical embedding

abstract: We show that Fay's trisecant identity follows from the A_{infinity}-constraint between certain triple Massey products in the derived category of coherent sheaves on a curve. We also deduce the matrix analogue of this identity that can be conveniently formulated using quasideterminants of matrices with non-commuting entries. On the other hand, looking at more special triple Massey products we derive a formula for the tangent line to a canonically embedded curve at a given point.


title: The Manneville map: topological, metric and algorithmic entropy

abstract: We study the Manneville map f(x)=x+x^z (mod 1), with z>1, from a computational point of view, studying the behaviour of the Algorithmic Information Content. In particular, we consider a family of piecewise linear maps that gives examples of algorithmic behaviour ranging from the fully to the mildly chaotic, and show that the Manneville map is a member of this family.


title: Projective bundles over hyperkaehler manifolds and stability of Fourier-Mukai transform

abstract: Paper withdrawn due to errors (superseded by math.AG/0604303). Proposition 11.4 is false, Section 12 is false, and the main statement is true only for bundles $B$ with $c_1(B)$ SU(2)-invariant.


title: Results on infinite dimensional topology and applications to the structure of the critical set of nonlinear Sturm-Liouville operators

abstract: We consider the nonlinear Sturm-Liouville differential operator $F(u) = -u'' + f(u)$ for $u \in H^2_D([0, \pi])$, a Sobolev space of functions satisfying Dirichlet boundary conditions. For a generic nonlinearity $f: \RR \to \RR$ we show that there is a diffeomorphism in the domain of $F$ converting the critical set $C$ of $F$ into a union of isolated parallel hyperplanes. For the proof, we show that the homotopy groups of connected components of $C$ are trivial and prove results which permit to replace homotopy equivalences of systems of infinite dimensional Hilbert manifolds by diffeomorphisms.


title: New Lower Bound Formulas for Multicolored Ramsey Numbers

abstract: We give two lower bound formulas for multicolored Ramsey numbers. These formulas improve the bounds for several small multicolored Ramsey numbers.


title: The effect of additive noise on dynamical hysteresis

abstract: We investigate the properties of hysteresis cycles produced by a one-dimensional, periodically forced Langevin equation. We show that depending on amplitude and frequency of the forcing and on noise intensity, there are three qualitatively different types of hysteresis cycles. Below a critical noise intensity, the random area enclosed by hysteresis cycles is concentrated near the deterministic area, which is different for small and large driving amplitude. Above this threshold, the area of typical hysteresis cycles depends, to leading order, only on the noise intensity. In all three regimes, we derive mathematically rigorous estimates for expectation, variance, and the probability of deviations of the hysteresis area from its typical value.


title: Cohomology of trivial extensions of Frobenius algebras

abstract: We obtain a decomposition for the Hochschild cochain complex of a split algebra and we study some properties of the cohomology of each term of this decomposition. Then, we consider the case of trivial extensions, specially of Frobenius algebras. In particular, we determine completely the cohomology of the trivial extension of a finite dimensional Hopf algebra. Finally, as an application, we obtain a result about the Hochschild cohomology of Frobenius algebras.


title: Contact toric manifolds

abstract: We complete the classification of compact connected contact toric manifolds initiated by Banyaga and Molino and by Galicki and Boyer. As an application we prove the conjectures of Toth and Zelditch on toric integrable systems on the n-torus and the 2-sphere.


title: Direct proof of the quantum Monk's formula

abstract: We give a direct geometric proof of the quantum Monk's formula which relies only on classical Schubert calculus.


title: Diophantine Quadruples and Cayley's Hyperdeterminant

abstract: A famous problem posed by Diophantus was to find sets of distinct positive rational numbers such that the product of any two is one less than a rational square. Such Diophantine sets have been used to construct high rank elliptic curves. Here I demonstrate a link with Cayley's hyperdeterminants which provides a fruitful generalisation of Diophantine quadruples.


title: Billiards in rectangles with barriers

abstract: We use Ratner's theorem to compute the asymptotics of the number of (cylinders of) periodic trajectories in a rectangle with a barrier, assuming that the location p/q of the barrier is rational. We also show that as q tends to infinity, the constant in the asymptotic formula tends to the constant for the generic genus 2 flat surface.


title: Hyperbolicity of semigroups and Fourier multipliers

abstract: We present a characterization of hyperbolicity for strongly continuous semigroups on Banach spaces in terms of Fourier multiplier properties of the resolvent of the generator. Hyperbolicity with respect to classical solutions is also considered. Our approach unifies and simplifies the M. Kaashoek-- S. Verduyn Lunel theory and multiplier-type results previously obtained by S. Clark, M. Hieber, S. Montgomery-Smith, F. R\"{a}biger, T. Randolph, and L. Weis.


title: Functional Equations for Lexicographic Products

abstract: We generalize the main result of math.RA/9608214 concerning the convex embeddings of a chain Gamma in a lexicographic power Delta^Gamma. For a fixed nonempty chain Delta, we derive necessary and sufficient conditions for the existence of nonempty solutions Gamma to each of the lexicographic functional equations (Delta^Gamma)^{<=0} simeq Gamma, (Delta^Gamma) simeq Gamma, and (Delta^Gamma)^{<0} simeq Gamma.


title: Weak Diamond

abstract: Under some cardinal arithmetic assumptions, we prove that every stationary subset of lambda of a right cofinality has the weak diamond. This is a strong negation of uniformization. We then deal with a weaker version of the weak diamond- colouring restrictions. We then deal with semi- saturated (normal) filters.


title: Some ugly aleph_1-free abelian groups

abstract: Given an aleph_1-free abelian group G we characterize the class C_G of all torsion abelian groups T satisfying Ext(G,T)=0 assuming the continuum hypothesis CH. Moreover, in Godel's constructable universe we prove that this characterizes C_G for arbitrary torsion-free abelian G. It follows that there exist some ugly aleph_1-free abelian groups.


title: On Independent Representation

abstract: The paper has been withdrawn.


title: Analogies between group actions on 3-manifolds and number fields

abstract: Mazur, Kapranov, Reznikov, and others developed ``Arithmetic Topology,'' a theory describing some surprising analogies between 3-dimensional topology and number theory, which can be summarized by saying that knots are like prime numbers. We extend their work by proving several formulas concerning branched coverings of 3-manifolds and extensions of number fields and observe that these formulas are almost identical, via the dictionary of arithmetic topology. Until now there is no satisfactory explanation for the coincidences between our formulas. The proofs of topological results use equivariant cohomology and the Leray-Serre spectral sequence. The number theoretic proofs are based on an approach to class field theory via idele groups.


title: Family Seiberg-Witten invariants and wall crossing formulas

abstract: In this paper we set up the family Seiberg-Witten theory. It can be applied to the counting of nodal pseudo-holomorphic curves in a symplectic 4-manifold (especially a Kahler surface). A new feature in this theory is that the chamber structure plays a more prominent role. We derive some wall crossing formulas measuring how the family Seiberg-Witten invariants change from one chamber to another.


title: A note on Newtonian, Lagrangian and Hamiltonian dynamical systems in Riemannian manifolds

abstract: Newtonian, Lagrangian, and Hamiltonian dynamical systems are well formalized mathematically. They give rise to geometric structures describing motion of a point in smooth manifolds. Riemannian metric is a different geometric structure formalizing concepts of length and angle. The interplay of Riemannian metric and its metric connection with mechanical structures produces some features which are absent in the case of general (non-Riemannian) manifolds. The aim of present paper is to discuss these features and develop special language for describing Newtonian, Lagrangian, and Hamiltonian dynamical systems in Riemannian manifolds.


title: Representations of reflection algebras

abstract: We study a class of algebras B(n,l) associated with integrable models with boundaries. These algebras can be identified with coideal subalgebras in the Yangian for gl(n). We construct an analog of the quantum determinant and show that its coefficients generate the center of B(n,l). We develop an analog of Drinfeld's highest weight theory for these algebras and give a complete description of their finite-dimensional irreducible representations.


title: q-Supernomial coefficients: From riggings to ribbons

abstract: q-Supernomial coefficients are generalizations of the q-binomial coefficients. They can be defined as the coefficients of the Hall-Littlewood symmetric function in a product of the complete symmetric functions or the elementary symmetric functions. Hatayama et al. give explicit expressions for these q-supernomial coefficients. A combinatorial expression as the generating function of ribbon tableaux with (co)spin statistic follows from the work of Lascoux, Leclerc and Thibon. In this paper we interpret the formulas by Hatayama et al. in terms of rigged configurations and provide an explicit statistic preserving bijection between rigged configurations and ribbon tableaux thereby establishing a new direct link between these combinatorial objects.