title: The Mukai pairing, I: the Hochschild structure

abstract: We study the Hochschild structure of a smooth space or orbifold, emphasizing the importance of a pairing defined on Hochschild homology which generalizes a similar pairing introduced by Mukai on the cohomology of a K3 surface. We discuss those properties of the structure which can be derived without appealing to the Hochschild-Kostant-Rosenberg isomorphism and Kontsevich formality, namely: -- functoriality of homology, commutation of push-forward with the Chern character, and adjointness with respect to the generalized pairing; -- formal Hirzebruch-Riemann-Roch and the Cardy condition from physics; -- invariance of the full Hochschild structure under Fourier-Mukai transforms. Connections with homotopy theory and TQFT's are discussed in an appendix. A separate paper treats consequences of the HKR isomorphism. Applications of these results to the study of a mirror symmetric analogue of Chen-Ruan's orbifold product will be presented in a future paper.


title: The Mukai pairing, II: the Hochschild-Kostant-Rosenberg isomorphism

abstract: We continue the study of the Hochschild structure of a smooth space that we began in our previous paper, examining implications of the Hochschild-Kostant-Rosenberg theorem. The main contributions of the present paper are: -- we introduce a generalization of the usual Mukai pairing on differential forms that applies to arbitrary manifolds; -- we give a proof of the fact that the natural Chern character map $K_0(X) \to HH_0(X)$ becomes, after the HKR isomorphism, the usual one $K_0(X) \to \bigoplus H^i(X, \Omega_X^i)$; and -- we present a conjecture that relates the Hochschild and harmonic structures of a smooth space.


title: Cantorian Tableaux and Permanents

abstract: This article could be called "theme and variations" on Cantor's celebrated diagonal argument. Given a square nxn tableau T=(a_i^j) on a finite alphabet A, let L be the set of its row-words. The permanent Perm(T) is the set of words a_{\pi(1)}^1 a_{\pi(2)}^2 ...a_{\pi(n)}^n, where \pi runs through the set of permutations of n elements. Cantorian tableaux are those for which Perm(T)\cap L=\emptyset. Let s=s(n) be the cardinality of A. We show in particular that for large n, if s(n) <(1-\epsilon) n/log n then most of the tableaux are non-Cantorian, whereas if s(n) >(1+\epsilon) n/log n then most of the tableaux are Cantorian. We conclude our article by the study of infinite tableaux. Consider for example the infinite tableaux whose rows are the binary expansions of the real algebraic numbers in the unit interval. We show that the permanent of this tableau contains exactly the set of binary expansions of all the transcendental numbers in the unit interval.


title: Some remarks about Cauchy integrals

abstract: This article describes some aspects of Cauchy integrals and related geometry of sets and measures in Euclidean spaces, etc.


title: Some remarks about metric spaces

abstract: The first section of this modest survey reviews some basic notions and describes some families of examples, and the second section briefly indicates some general aspects of analysis on metric spaces. The remaining three sections are concerned with some particular situations involving sub-Riemannian geometry, hyperbolic groups, and p-adic numbers.


title: Some remarks about metric spaces, 2

abstract: This short survey has been prepared in connection with the workshop on discrete metric spaces and their applications at Princeton, August, 2003, and tries to convey some of the ways that one might look at functions on metric spaces in harmonic analysis, in terms of behavior at different scales and locations in the space.


title: Prime Decomposition of Knots in Lorenz-like Templates

abstract: R. F. Williams showed that all knots in the Lorenz template are prime. His proof included the cases where any number of positive twists were added to one of the template's branches. However, Williams does give an example of a composite knot in a template with a single negative twist. Below we will show that in all the negative cases composite knots do exist, and give a mechanism for producing many examples.


title: Contributions to the Theory of the Barnes Function

abstract: This paper presents a family of new integral representations and asymptotic series of the multiple gamma function. The numerical schemes for high-precision computation of the Barnes gamma function and Glaisher's constant are also discussed.


title: Almost Alternating Sums

abstract: Writing for a general mathematical audience, we provide elementary upper and lower bounds on the growth (as a function of N) of the sum \sum_{n=1}^N (-1)^{\floor{n x}} for various fixed x. For example, if x is a quadratic irrational, then the sum is O(log N), and if x is 2/(e-1), then the sum is O(log N / log log N). We compute the optimal big-Oh constant for x=\sqrt{2}, 1+\sqrt{5}, 2+\sqrt{10}, ....


title: Hardy Algebras, W*-Correspondences and Interpolation Theory

abstract: Given a von Neumann algebra $M$ and a $W^{\ast}$-correspondence $E$ over $M$, we construct an algebra $H^{\infty}(E)$ that we call the Hardy algebra of $E$. When $M=\mathbb{C}=E$, then $H^{\infty}(E)$ is the classical Hardy space $H^{\infty}(\mathbb{T})$ of bounded analytic functions on the unit disc. We show that given any faithful normal representation $\sigma$ of $M$ on a Hilbert space $H$ there is a natural correspondence $E^{\sigma}$ over the commutant $\sigma(M)^{\prime}$, called the $\sigma$-dual of $E$, and that $H^{\infty}(E)$ can be realized in terms of ($B(H)$-valued) functions on the open unit ball $\mathbb{D}((E^{\sigma})^{\ast})$ in the space of adjoints of elements in $E^{\sigma}$. We prove analogues of the Nevanlinna-Pick theorem in this setting and discover other aspects of the value ``distribution theory'' for elements in $H^{\infty}(E)$. We also analyze the ``boundary behavior'' of elements in $H^{\infty}(E)$ and obtain generalizations of the Sz.-Nagy--Foia\c {s} functional calculus. The correspondence $E^{\sigma}$ has a dual that is naturally isomorphic to $E$ and the commutants of certain, so-called induced representations of $H^{\infty}(E)$ can be viewed as induced representations of $H^{\infty}(E^{\sigma})$. For these induced representations a double commutant theorem is proved.


title: On the Lie's Theorem for Lie Color Algebras

abstract: We show that the Lie's Theorem holds for Lie color algebras with a torsion-free abelian group $G$. We give an example to show that the torsion-free condition is necessary.


title: Estimates for the extinction time for the Ricci flow on certain 3-manifolds and a question of Perelman

abstract: In this note we prove some bounds for the extinction time for the Ricci flow on certain 3-manifolds. Our interest in this comes from a question of Grisha Perelman asked to the first author at a dinner in New York City on April 25th of 2003. His question was ``what happens to the Ricci flow on the 3-sphere when one starts with an arbitrary metric? In particular does the flow become extinct in finite time?'' He then went on to say that one of the difficulties in answering this is that he knew of no good way of constructing minimal surfaces for such a metric in general. However, there is a natural way of constructing such surfaces and that comes from the min--max argument where the minimal of all maximal slices of sweep-outs is a minimal surface; see, for instance, [CD]. The idea is then to look at how the area of this min-max surface changes under the flow. Geometrically the area measures a kind of width of the 3-manifold and as we will see for certain 3-manifolds (those, like the 3-sphere, whose prime decomposition contains no aspherical factors) the area becomes zero in finite time corresponding to that the solution becomes extinct in finite time. Moreover, we will discuss a possible lower bound for how fast the area becomes zero. Very recently Perelman posted a paper (see [Pe1]) answering his original question about finite extinction time. However, even after the appearance of his paper, then we still think that our slightly different approach may be of interest. In part because it is in some ways geometrically more natural, in part because it also indicates that lower bounds should hold, and in part because it avoids using the curve shortening flow that he simultaneously with the Ricci flow needed to invoke and thus our approach is in some respects technically easier.


title: On the Non-Equivalence of Rearranged Walsh and Trigonometric Systems in L_p

abstract: We consider the question whether the trigonometric system can be equivalent to some rearrangement of the Walsh system in L_p for some p<>2. We show that this question is closely related to a combinatorial problem. This enables us to prove non-equivalence for a number of rearrangements. Previously this was known for the Walsh-Paley order only.


title: omega-Periodic graphs

abstract: $\omega$-periodic graphs are introduced and studied. These are graphs which arise as the limits of periodic extensions of the nearest neighbor graph on the integers. We observe that all bounded degree $\omega$-periodic graphs are ameanable. We also provide examples of $\omega$-periodic graphs which have exponential volume growth, non-linear polynomial volume growth and intermediate volume growth.


title: Some estimates for non-microstates free entropy dimension, with applications to $q$-semicircular families

abstract: We give an general estimate for the non-microstates free entropy dimension $\delta ^{*}(X_{1},..., X_{n})$. If $X_{1},..., X_{n}$ generate a diffuse von Neumann algebra, we prove that $\delta ^{*}(X_{1},..., X_{n})\geq 1$. In the case that $X_{1},..., X_{n}$ are $q$-semicircular variables as introduced by Bozejko and Speicher and $q^{2}n<1$, we show that $\delta ^{*}(X_{1},..., X_{n})>1$. We also show that for $|q|<\sqrt{2}-1$, the von Neumann algebras generated by a finite family of $q$-Gaussian random variables satisfy a condition of Ozawa and are therefore solid: the relative commutant of any diffuse subalgebra must be hyperfinite. In particular, when these algebras are factors, they are prime and do not have property $\Gamma $.


title: Steady state coexistence solutions of reaction-diffusion competition models

abstract: This paper explains the uniqueness of positive steady state of general Lotka-Volterra competition model of two species of animals in the same environment.


title: Braided m-Lie Algebras

abstract: Braided m-Lie algebras induced by multiplication are introduced, which generalize Lie algebras, Lie color algebras and quantum Lie algebras. The necessary and sufficient conditions for the braided m-Lie algebras to be strict Jacobi braided Lie algebras are given. Two classes of braided m-Lie algebras are given, which are generalized matrix braided m-Lie algebras and braided m-Lie subalgebras of $End_F M$, where $M$ is a Yetter-Drinfeld module over $B$ with dim $B< \infty $ . In particular, generalized classical braided m-Lie algebras $sl_{q, f}(GM_G(A), F)$ and $osp_{q, t} (GM_G(A), M, F)$ of generalized matrix algebra $GM_G(A)$ are constructed and their connection with special generalized matrix Lie superalgebra $sl_{s, f}(GM_{{\bf Z}_2}(A^s), F)$ and orthosymplectic generalized matrix Lie super algebra $osp_{s, t} (GM_{{\bf Z}_2}(A^s), M^s, F)$ are established. The relationship between representations of braided m-Lie algebras and their associated algebras are established.


title: A characterization of isometries of CAT(0)-space as maps preserving diagonal tube

abstract: We give positive answers for questions by Berestovskii. Namely, we prove that every bijection of locally compact geodesically complete and connected at infinity CAT(0)-space $X$ onto itself preserving some fixed distance or satellite relations is an isometry of this space. The proof of this theorem is based on another result stated by Berestovskii as a problem: the metric of the space $X$ may be recovered from its diagonal tube corresponding to an arbitrary number $r > 0$.


title: Virasoro constraints for target curves

abstract: We prove generalized Virasoro constraints for the relative Gromov-Witten theories of all nonsingular target curves. Descendents of the even cohomology classes are studied first by localization, degeneration, and completed cycle methods. Descendents of the odd cohomology are then controlled by monodromy and geometric vanishing relations. As an outcome of our results, the relative theories of target curves are completely and explicitly determined.


title: Free planes in lattice sphere packings

abstract: We show that for every lattice packing of $n$-dimensional spheres there exists an $(n/\log_2(n))$-dimensional affine plane which does not meet any of the spheres in their interior, provided $n$ is large enough. Such an affine plane is called a free plane and our result improves on former bounds.


title: An Extension of Barta's Theorem and Geometric Applications

abstract: We prove an extension of a theorem of Barta then we make few geometric applications. We extend Cheng's lower eigenvalue estimates of normal geodesic balls. We generalize Cheng-Li-Yau eigenvalue estimates of minimal submanifolds of the space forms. We prove an stability theorem for minimal hypersurfaces of the Euclidean space, giving a converse statement of a result of Schoen. Finally we prove a generalization of a result of Kazdan-Kramer about existence of solutions of certain quasi-linear elliptic equations.


title: Invariant *-products on coadjoint orbits and the Shapovalov pairing

abstract: We give an explicit formula for invariant *-products on a wide class of coadjoint orbits. The answer is expressed in terms of the Shapovalov pairing for generalized Verma modules.


title: A polynomiality property for Littlewood-Richardson coefficients

abstract: We present a polynomiality property of the Littlewood-Richardson coefficients c_{\lambda\mu}^{\nu}. The coefficients are shown to be given by polynomials in \lambda, \mu and \nu on the cones of the chamber complex of a vector partition function. We give bounds on the degree of the polynomials depending on the maximum allowed number of parts of the partitions \lambda, \mu and \nu. We first express the Littlewood-Richardson coefficients as a vector partition function. We then define a hyperplane arrangement from Steinberg's formula, over whose regions the Littlewood-Richardson coefficients are given by polynomials, and relate this arrangement to the chamber complex of the partition function. As an easy consequence, we get a new proof of the fact that c_{N\lambda N\mu}^{N\nu} is given by a polynomial in N, which partially establishes the conjecture of King, Tollu and Toumazet that c_{N\lambda N\mu}^{N\nu} is a polynomial in N with nonnegative rational coefficients.


title: Groebner bases, initial ideals and initial algebras

abstract: We give an introduction to the theory of initial ideals and initial algebras with emphasis on the transfer of structural properties.


title: Specializations of Grothendieck polynomials

abstract: We prove a formula for double Schubert and Grothendieck polynomials specialized to two rearrangements of the same set of variables. Our formula generalizes the usual formulas for Schubert and Grothendieck polynomials in terms of RC-graphs, and it gives immediate proofs of many other important properties of these polynomials.


title: p-Summable Commutators in Dimension d

abstract: We show that many invariant subspaces M for d-shifts (S_1,...,S_d) of finite rank have the property that the projection P onto M almost commutes with the S_k in the sense that the commutators PS_k - S_kP belong to the Schatten-von Neumann class L^p for every p > d. In such cases the d-tuple of operators (T_1,...,T_d) obtained by compressing (S_1,...,S_d) to the orthocomplement of M generates a *-algebra whose commutator ideal is contained in L^p, p > d. It follows that the C*-algebra generated by T_1,...,T_d is commutative modulo compact operators, the associated Dirac operator is Fredholm, and the index formula for the curvature invariant is stable under compact perturbations and homotopy for this restricted class of d-contractions. We conjecture that the latter conclusions persist under much more general circumstances.


title: A note on potentially $K_4-e$ graphical sequences

abstract: A sequence $S$ is potentially $K_4-e$ graphical if it has a realization containing a $K_4-e$ as a subgraph. Let $\sigma(K_4-e, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $\sigma(S)\geq \sigma(K_4-e, n)$ is potentially $K_4-e$ graphical. Gould, Jacobson, Lehel raised the problem of determining the value of $\sigma (K_4-e, n)$. In this paper, we prove that $\sigma (K_4-e, n)=2[(3n-1)/2]$ for $n\geq 7$, and $n=4,5,$ and $\sigma(K_4-e, 6)= 20$.


title: Mathematics Underlying the F-Theory/Heterotic String Duality in Eight Dimensions

abstract: One of the dualities in string theory, the F-theory/heterotic string duality in eight dimensions, predicts an interesting correspondence between two seemingly disparate geometrical objects. On one side of the duality there are elliptically fibered K3 surfaces with section. On the other side, one finds elliptic curves endowed with certain flat connections and complexified Kahler classes. This paper is part of a project aimed at establishing the rigorous mathematical results describing the geometry underlying the classical aspects of this duality. The task involves understanding and comparing the classical moduli spaces on the two sides.


title: A spinorial analogue of Aubin's inequality

abstract: Let $(M,g,\si)$ be a compact Riemannian spin manifold of dimension $\geq 2$. For any metric $\tilde g$ conformal to $g$, we denote by $\tilde\lambda$ the first positive eigenvalue of the Dirac operator on $(M,\tilde g,\si)$. We show that $$\inf_{\tilde{g} \in [g]} \tilde\lambda \Vol(M,\tilde g)^{1/n} \leq (n/2) \Vol(S^n)^{1/n}.$$ This inequality is a spinorial analogue of Aubin's inequality, an important inequality in the solution of the Yamabe problem. The inequality is already known in the case $n \geq 3$ and in the case $n = 2$, $\ker D=\{0\}$. Our proof also works in the remaining case $n=2$, $\ker D\neq \{0\}$. With the same method we also prove that any conformal class on a Riemann surface contains a metric with $2\tilde\lambda^2\leq \tilde\mu$, where $\tilde\mu$ denotes the first positive eigenvalue of the Laplace operator.


title: A non constructive proof of the existence of a maximal irreducibility measure

abstract: We deduce the existence of a maximal irreducibility measure for a Markov chain from Zorn's lemma.


title: Toric Initial Ideals of $\Delta$-Normal Configurations: Cohen-Macaulayness and Degree Bounds

abstract: A normal (respectively, graded normal) vector configuration $A$ defines the toric ideal $I_A$ of a normal (respectively, projectively normal) toric variety. These ideals are Cohen-Macaulay, and when $A$ is normal and graded, $I_A$ is generated in degree at most the dimension of $I_A$. Based on this, Sturmfels asked if these properties extend to initial ideals -- when $A$ is normal, is there an initial ideal of $I_A$ that is Cohen-Macaulay, and when $A$ is normal and graded, does $I_A$ have a Gr\"obner basis generated in degree at most $dim(I_A)$ ? In this paper, we answer both questions positively for $\Delta$-normal configurations. These are normal configurations that admit a regular triangulation $\Delta$ with the property that the subconfiguration in each cell of the triangulation is again normal. Such configurations properly contain among them all vector configurations that admit a regular unimodular triangulation. We construct non-trivial families of both $\Delta$-normal and non-$\Delta$-normal configurations.


title: Sphere packing bounds in the Grassmann and Stiefel manifolds

abstract: Applying the Riemann geometric machinery of volume estimates in terms of curvature, bounds for the minimal distance of packings/codes in the Grassmann and Stiefel manifolds will be derived and analyzed. In the context of space-time block codes this leads to a monotonically increasing minimal distance lower bound as a function of the block length. This advocates large block lengths for the code design.


title: Algebraic and combinatorial codimension-1 transversality

abstract: The Waldhausen construction of Mayer-Vietoris splittings of chain complexes over an injective generalized free product of group rings is extended to a combinatorial construction of Seifert-van Kampen splittings of CW complexes with fundamental group an injective generalized free product.


title: A Particular Bit of Universality: Scaling Limits of Some Dependent Percolation Models

abstract: We study families of dependent site percolation models on the triangular lattice ${\mathbb T}$ and hexagonal lattice ${\mathbb H}$ that arise by applying certain cellular automata to independent percolation configurations. We analyze the scaling limit of such models and show that the distance between macroscopic portions of cluster boundaries of any two percolation models within one of our families goes to zero almost surely in the scaling limit. It follows that each of these cellular automaton generated dependent percolation models has the same scaling limit (in the sense of Aizenman-Burchard [3]) as independent site percolation on ${\mathbb T}$.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Generic Cohen-Macaulay monomial ideals

abstract: Given a simplicial complex, it is easy to construct a generic deformation of its Stanley-Reisner ideal. The main question under investigation in this paper is how to characterize the simplicial complexes such that their Stanley-Reisner ideals have Cohen-Macaulay generic deformations. Algorithms are presented to construct such deformations for matroid complexes, shifted complexes, and tree complexes.


title: Vertex algebras and the Landau-Ginzburg/Calabi-Yau correspondence

abstract: We construct a spectral sequence that converges to the cohomology of the chiral de Rham complex over a Calabi-Yau hypersurface and whose first term is a vertex algebra closely related to the Landau-Ginburg orbifold. As an application, we prove an explicit orbifold formula for the elliptic genus of Calabi-Yau hypersurfaces.


title: Floer homology of families I

abstract: In principle, Floer theory can be extended to define homotopy invariants of families of equivalent objects (e.g. Hamiltonian isotopic symplectomorphisms, 3-manifolds, Legendrian knots, etc.) parametrized by a smooth manifold B. The invariant of a family consists of a filtered chain homotopy type, which gives rise to a spectral sequence whose E^2 term is the homology of B with twisted coefficients in the Floer homology of the fibers. The filtered chain homotopy type also gives rise to a "family Floer homology" to which the spectral sequence converges. For any particular version of Floer theory, some analysis needs to be carried out in order to turn this principle into a theorem. This paper constructs the invariant in detail for the model case of finite dimensional Morse homology, and shows that it recovers the Leray-Serre spectral sequence of a smooth fiber bundle. We also generalize from Morse homology to Novikov homology, which involves some additional subtleties.


title: Asymptotic invariants of base loci

abstract: The purpose of this paper is to define and study systematically some asymptotic invariants associated to base loci of line bundles on smooth projective varieties. We distinguish an open dense subset of the real big cone, called the stable locus, consisting of the set of classes on which the asymptotic base locus is locally constant. The asymptotic invariants define continuous functions on the big cone, whose vanishing characterizes, roughly speaking, the unstable locus. We show that for toric varieties at least, there exists a polyhedral decomposition of the big cone on which these functions are polynomial.


title: Intermediate Wakimoto modules for Affine sl(n+1)

abstract: We construct certain boson type realizations of affine sl(n+1) that depend on a parameter r. When r=0 we get a Fock space realization of Imaginary Verma modules appearing in the work of the first author and when r=n they are the Wakimoto modules described in the work of Feigin and Frenkel.


title: Intrinsic Dynamics of Symplectic Manifolds: Membrane Representation and Phase Product

abstract: On general symplectic manifolds we describe a correspondence between symplectic transformations and their phase functions. On the quantum level, this is a correspondence between unitary operators and phase functions of the WKB-approximation. We represent generic functions via symplectic area of membranes and consider related geometric properties of the noncommutative phase product. An interpretation of the phase product in terms of symplectic groupoids and the groupoid extension of Lagrangian submanifolds are described. The membrane representations of corresponding Lagrangian phase functions are obtained. This paper uses the intrinsic dynamic approach based on the notion of Ether Hamiltonian which is a generalization of the notion of symplectic connection. We demonstrate that this approach works for torsion case as well.


title: Infinitesimal Differential Geometry

abstract: Using standard analysis only, we present an extension ${^\bullet\R}$ of the real field containing nilpotent infinitesimals. On the one hand we want to present a very simple setting to formalize infinitesimal methods in Differential Geometry, Analysis and Physics. On the other hand we want to show that these infinitesimals may be also useful in infinite dimensional Differential Geometry, e.g. to study spaces of mappings. We define a full embedding of the category Man${}^n$ of finite dimensional $\mathcal{C}^n$ manifolds in a cartesian closed category. In it we have a functor ${}^\bullet (-)$ which extends these spaces adding new infinitesimal points and with values in another full cartesian closed embedding of Man${}^n$. We present a first development of Differential Geometry using these infinitesimals.


title: Modular symbols have a normal distribution

abstract: We prove that the modular symbols appropriately normalized and ordered have a Gaussian distribution for all cofinite subgroups of SL_2(R). We use spectral deformations to study the poles and the residues of Eisenstein series twisted by power of modular symbols.


title: Radii of regular polytopes

abstract: This paper deals with the three types of regular polytopes which exist in all dimensions -- regular simplices, cubes and regular cross-polytopes -- and their outer and inner radii. While the inner radii of regular simplices are well studied, only a few cases are solved for the outer radii. We give a lower bound on these radii, and show that this bound is tight in almost 3 out of 4 dimensions. In a further section we complete the results about inner and outer radii of general boxes and cross-polytopes. Finally, because cubes and regular cross-polytopes are radii-minimal projections of simplices, we show that it is possible to deduce the results about their radii from the results about the outer radii of simplices.


title: Continuum Nonsimple Loops and 2D Critical Percolation

abstract: Substantial progress has been made in recent years on the 2D critical percolation scaling limit and its conformal invariance properties. In particular, chordal SLE6 (the Stochastic Loewner Evolution with parameter k=6) was, in the work of Schramm and of Smirnov, identified as the scaling limit of the critical percolation ``exploration process.'' In this paper we use that and other results to construct what we argue is the full scaling limit of the collection of all closed contours surrounding the critical percolation clusters on the 2D triangular lattice. This random process or gas of continuum nonsimple loops in the plane is constructed inductively by repeated use of chordal SLE6. These loops do not cross but do touch each other -- indeed, any two loops are connected by a finite ``path'' of touching loops.


title: Causal Geometry of Einstein-Vacuum Spacetimes with Finite Curvature Flux

abstract: One of the central difficulties of settling the $L^2$-bounded curvature conjecture for the Einstein -Vacuum equations is to be able to control the causal structure of spacetimes with such limited regularity. In this paper we show how to circumvent this difficulty by showing that the geometry of null hypersurfaces of Enstein-Vacuum spacetimes can be controlled in terms of initial data and the total curvature flux through the hypersurface.


title: The Percolation Transition in the Zero-Temperature Domany Model

abstract: We analyze a deterministic cellular automaton $\sigma^{\cdot} = (\sigma^n : n \geq 0)$ corresponding to the zero-temperature case of Domany's stochastic Ising ferromagnet on the hexagonal lattice $\mathbb H$. The state space ${\cal S}_{\mathbb H} = \{-1, +1 \}^{\mathbb H}$ consists of assignments of -1 or +1 to each site of $\mathbb H$ and the initial state $\sigma^0 = \{\sigma_x^0 \}_{x \in {\mathbb H}}$ is chosen randomly with $P(\sigma_x^0 = +1) = p \in [0,1]$. The sites of $\mathbb H$ are partitioned in two sets $\cal A$ and $\cal B$ so that all the neighbors of a site x in $\cal A$ belong to $\cal B$ and vice versa, and the discrete time dynamics is such that the $\sigma^{\cdot}_x$'s with $x \in {\cal A}$ (respectively, $\cal B$) are updated simultaneously at odd (resp., even) times, making $\sigma^{\cdot}_x$ agree with the majority of its three neighbors. In [1] it was proved that there is a percolation transition at p=1/2 in the percolation models defined by $\sigma^n$, for all times $n \in [1, \infty]$. In this paper, we study the nature of that transition and prove that the critical exponents $\beta$, $\nu$ and $\eta$ of the dependent percolation models defined by $\sigma^n, n \in [1, \infty]$, have the same values as for standard two-dimensional independent site percolation (on the triangular lattice).


title: Integral Congruence Two Hyperbolic 5-Manifolds

abstract: In this paper, we classify all the orientable hyperbolic 5-manifolds that arise as a hyperbolic space form $H^5/\Gamma$ where $\Gamma$ is a torsion-free subgroup of minimal index of the congruence two subgroup $\Gamma^5_2$ of the group $\Gamma^5$ of positive units of the Lorentzian quadratic form $x_1^2+...+x_5^2-x_6^2$. We also show that $\Gamma^5_2$ is a reflection group with respect to a 5-dimensional right-angled convex polytope in $H^5$. As an application, we construct a hyperbolic 5-manifold of smallest known volume $7\zeta(3)/4$.


title: Character sheaves on disconnected groups, III

abstract: We continue the attempt to develop a theory of character sheaves on a not necessarily connected reductive algebraic group. In this paper we introduce and study the generalized Green functions.


title: The Automorphism Tower of Groups acting on Rooted Trees

abstract: The group of isometries W of a regular rooted tree, and many of its subgroups with branching structure, have groups of automorphisms induced by conjugation in W. This fact has stimulated the computation of the group of automorphisms of such well-known examples as the group G studied by R. Grigorchuk, and the group H studied by N. Gupta and the second author. In this paper, we pursue the larger theme of towers of automorphisms of groups of tree isometries such as G and H. We describe this tower for all groups acting on the binary rooted tree which decompose as infinitely iterated wreath products. Furthermore, we describe fully the towers of G and H. More precisely, the tower of G is infinite countable, and the terms of the tower are 2-groups. Quotients of successive terms are infinite elementary abelian 2-groups. In contrast, the tower of H has length 2, and its terms are {2,3}-groups. We show that the quotient aut^2(H)/aut(H) is an elementary abelian 3-group of countably infinite rank, while aut^3(H)=aut^2(H).


title: Self-self-dual spaces of polynomials

abstract: A space of polynomials V of dimension 7 is called self-dual if the divided Wronskian of any 6-subspace is in V. A self-dual space V has a natural inner product. The divided Wronskian of any isotropic 3-subspace of V is a square of a polynomial. We call V self-self-dual if the square root of the divided Wronskian of any isotropic 3-subspace is again in V. We show that the self-self-dual spaces have a natural non-degenerate skew-symmetric 3-form defined in terms of Wronskians. We show that the self-self-dual spaces correspond to G_2-populations related to the Bethe Ansatz of the Gaudin model of type G_2 and prove that a G_2-population is isomorphic to the G_2 flag variety.


title: Uniqueness of coexistence state with small perturbation

abstract: In this paper, we study the uniqueness of coexistence state for multiple species of animals in the same environment.


title: The existence, nonexistence and uniqueness of global positive coexistence of a nonlinear elliptic biological interacting model

abstract: In this paper, we give a sufficient condition for the existence, nonexistence and uniqueness of coexistence of positive solutions to a rather general type of elliptic competition system.


title: An analogue of Bratteli-Jorgensen loop group actions for GMRA's

abstract: Several years ago, O. Bratelli and P. Jorgensen developed the concept of m-systems of filters for dilation by a positive integer N>1 on L^2(R). They constructed a loop group action on m-systems. By work of Mallat and Meyer, these m-systems are important in constructing multi-resolution analyses and wavelets associated to dilation by N and translation by Z on L^2(R). In this paper, we discuss an extension of this loop-group construction to generalized filter systems, which we will call ``M-systems,'' associated with generalized multiresolution analyses. In particular, we show that every multiplicity function has an associated generalized loop group which acts freely and transitively on the set of M-systems corresponding to the multiplicity function. The results of Bratteli and Jorgensen correspond to the case where the multiplicity function is identically equal to 1.


title: Projective multiresolution analyses for $L^2(R^2)$

abstract: We define the notion of "projective" multiresolution analyses, for which, by definition, the initial space corresponds to a finitely generated projective module over the algebra $C(\btn)$ of continuous complex-valued functions on an $n$-torus. The case of ordinary multi-wavelets is that in which the projective module is actually free. We discuss the properties of projective multiresolution analyses, including the frames which they provide for $L^2(\brn)$. Then we show how to construct examples for the case of any diagonal $2 \times 2$ dilation matrix with integer entries, with initial module specified to be any fixed finitely generated projective $C(\mathbb T^2)$-module. We compute the isomorphism classes of the corresponding wavelet modules.


title: Classification of irreducible weight modules over higher rank Virasoro algebras

abstract: Let $G$ be a rank $n$ additive subgroup of $\bC$ and $\Vir[G]$ the corresponding Virasoro algebra of rank $n$. In the present paper, irreducible weight modules with finite dimensional weight spaces over $\Vir[G]$ are completely determined. There are two different classes of them. One class consists of simple modules of intermediate series whose weight spaces are all 1-dimensional. The other is constructed by using intermediate series modules over a Virasoro subalgebra of rank $n-1$. The classification of such modules over the classical Virasoro algebra was obtained by O. Mathieu in 1992 using a completely different approach.


title: Contact 3-manifolds with infinitely many Stein fillings

abstract: Infinitely many contact 3-manifolds each admitting infinitely many, pairwise non-diffeomorphic Stein fillings are constructed. We use Lefschetz fibrations in our constructions and compute their first homologies to distinguish the fillings.


title: Lie theory and the Chern-Weil homomorphism

abstract: We introduce a canonical Chern-Weil map for possibly non-commutative g-differential algebras with connection. Our main observation is that the generalized Chern-Weil map is an algebra homomorphism ``up to g-homotopy''. Hence, the induced map from invariant polynomials to the basic cohomology is an algebra homomorphism. As in the standard Chern-Weil theory, this map is independent of the choice of connection. Applications of our results include: a conceptually easy proof of the Duflo theorem for quadratic Lie algebras, a short proof of a conjecture of Vogan on Dirac cohomology, generalized Harish-Chandra projections for quadratic Lie algebras, an extension of Rouviere's theorem for symmetric pairs, and a new construction of universal characteristic forms in the Bott-Shulman complex.


title: Classification of holomorphic vector bundles on noncommutative two-tori

abstract: We prove that every holomorphic vector bundle on a noncommutative two-torus $T$ can be obtained by successive extensions from standard holomorphic bundles considered in math.QA/0211262. This implies that the category of holomorphic bundles on $T$ is equivalent to the heart of certain $t$-structure on the derived category of coherent sheaves on an elliptic curve.


title: Some Remarks on Some Second-Order Elliptic Differential Equations

abstract: We are concerned with the almost automorphic solutions to the second-order elliptic differential equations of type $\ddot u(s) + 2 B \dot u(s) + A u(s) = f(s) (\ast),$ where $A, B$ are densely defined closed linear operators acting in a Hilbert space ${\mathbb H}$ and $f: {\mathbb R} \mapsto {\mathbb H}$ is a vector-valued almost automorphic function. Using invariant subspaces, it will be shown that under appropriate assumptions; every solution to $(\ast)$ is almost automorphic.


title: Positive quaternionic Kaehler manifolds and symmetry rank

abstract: A quaternionic K\"ahler manifold M is called {\it positive} if it has positive scalar curvature. The main purpose of this paper is to prove several connectedness theorems for quaternionic immersions in a quaternionic K\"ahler manifold, e.g. the Barth-Lefschetz type connectedness theorem for quaternionic submanifolds in a positive quaternionic K\"ahler manifold. As applications we prove that, among others, a 4m-dimensional positive quaternionic K\"ahler manifold with symmetry rank at least (m-2) must be either isometric to \Bbb HP^m or Gr_2(\Bbb C^{m+2}), if m\ge 10.


title: Positively curved manifolds with maximal discrete symmetry rank

abstract: Let M be a closed simply connected n-manifold of positive sectional curvature. We determine its homeomorphism or homotopic type if M also admits an isometric elementary p-group action of large rank. Our main results are: There exists a constant p(n)>0 such that (1) If M^{2n} admits an effective isometric \Bbb Z_p^k-action for a prime p\ge p(n), then k\le n and ``='' implies that M^{2n} is homeomorphic to a sphere or a complex projective space. (2) If M^{2n+1} admits an isometric S^1 x \Bbb Z_p^k-action for a prime p\ge p(n), then k\le n and ``='' implies that M is homeomorphic to a sphere. (3) For M in (1) or (2), if n\ge 7 and k\ge [\frac{3n}4]+2, then M is homeomorphic to a sphere or homotopic to a complex projective space.


title: Sturmian words, $\beta$-shifts, and transcendence

abstract: Consider the minimal $\beta$-shift containing the shift space generated by given Sturmian word. In this paper we characterize such $\beta$ and investigate its combinatorial, dynamical and topological properties and prove that such $\beta$ are transcendental numbers.


title: Weight-monodromy conjecture over equal characteristic local fields

abstract: The aim of this paper is to study certain properties of the weight spectral sequences of Rapoport-Zink by a specialization argument. By reducing to the case over finite fields previously treated by Deligne, we prove that the weight filtration and the monodromy filtration defined on the $l$-adic \'etale cohomology coincide, up to shift, for proper smooth varieties over equal characteristic local fields. We also prove that the weight spectral sequences degenerate at $E_2$ in any characteristic without using log geometry. Moreover, as an application, we give a modulo $p>0$ reduction proof of a Hodge analogue previously considered by Steenbrink.


title: Four positive formulae for type A quiver polynomials

abstract: We give four positive formulae for the (equioriented type A) quiver polynomials of Buch and Fulton. All four formulae are combinatorial, in the sense that they are expressed in terms of combinatorial objects of certain types: Zelevinsky permutations, lacing diagrams, Young tableaux, and pipe dreams (also known as rc-graphs). Three of our formulae are multiplicity-free and geometric, meaning that their summands have coefficient 1, and correspond bijectively to components of a torus-invariant scheme. The remaining (presently non-geometric) formula was conjectured for by Buch and Fulton in terms of factor sequences of Young tableaux; our proof of it proceeds by way of a new characterization of the tableaux counted by quiver constants. All four formulae come naturally in ``doubled'' versions, two for `double quiver polynomials', and the other two for their stable versions, the `double quiver functions', where setting half the variables equal to the other half specializes to the ordinary case.


title: The moduli b-divisor of an lc-trivial fibration

abstract: We study positivity properties of the moduli (b-)divisor associated to a relative log pair $(X,B)/Y$ with relatively trivial log canonical class.


title: Oversampling and transmission of hidden information

abstract: The lack of uniqueness arising by oversampling of Fourier coefficients is shown to provide a way of transmitting hidden information. A basic encoding/decoding system, developed on the basis of such a possibility, is discussed. The system is devised with the double purpose of: (a) enabling the transmission of an arbitrary signal and (b) allowing for the transmission of a hidden embedded code.


title: On the multilinear extensions of the concept of absolutely summing operators

abstract: In this paper we investigate the connections between the several different extensions of the concept of absolutely summing operators.


title: Quaternionic Geometry of Matroids

abstract: Building on a recent joint paper with Sturmfels, here we argue that the combinatorics of matroids is intimately related to the geometry and topology of toric hyperkaehler varieties. We show that just like toric varieties occupy a central role in Stanley's proof for the necessity of McMullen's conjecture (or g-inequalities) about the classification of face vectors of simplicial polytopes, the topology of toric hyperkaehler varieties leads to new restrictions on face vectors of matroid complexes. Namely in this paper we give two proofs that the injectivity part of the Hard Lefschetz theorem survives for toric hyperkaehler varieties. We explain how this implies the g-inequalities for rationally representable matroids. We show how the geometrical intuition in the first proof, coupled with results of Chari, leads to a proof of the g-inequalities for general matroid complexes, which is a recent result of Swartz. The geometrical idea in the second proof will show that a pure O-sequence should satisfy the g-inequalities, thus showing that our result is in fact a consequence of a long-standing conjecture of Stanley.


title: Circle packings on surfaces with projective structures and uniformization

abstract: Let \Sigma_g be a closed orientable surface of genus g \geq 2 and \tau a graph on \Sigma_g with one vertex which lifts to a triangulation of the universal cover. We have shown that the cross ratio parameter space \mathcal{C}_\tau associated with \tau, which can be identified with the set of all pairs of a projective structure and a circle packing on it with nerve isotopic to \tau, is homeomorphic to \mathbb{R}^{6g-6}, and moreover that the forgetting map of \mathcal{C}_\tau to the space of projective structures is injective. In this paper, we show that the composition of the forgetting map with the uniformization from \mathcal{C}_\tau to the Teichm\"uller space \mathcal{T}_g is proper.


title: Hyperquasivarieties

abstract: In the paper we consider the notion of hyper-quasi-identities and hyperquasivarieties as a generalization of the concept of quasi-identity and quasivariety invented by A. I. Mal'cev.


title: A Kaehler Einstein structure on the cotangent bundle of a Riemannian manifold

abstract: We use the natural lifts of the fundamental tensor field g to the cotangent bundle T*M of a Riemannian manifold (M,g), in order to construct an almost Hermitian structure (G,J) of diagonal type on T*M. The obtained almost complex structure J on T*M is integrable if and only if the base manifold has constant sectional curvature and the second coefficient, involved in its definition is expressed as a rational function of the first coefficient and its first order derivative. Next one shows that the obtained almost Hermitian structure is almost Kaehlerian. Combining the obtained results we get a family of Kaehlerian structures on T*M, depending on one essential parameter. Next we study the conditions under which the considered Kaehlerian structure is Einstein. In this case (T*M,G,J) has constant holomorphic curvature.


title: Brownian intersection local times: Exponential moments and law of large masses

abstract: Consider p independent Brownian motions in R^d, each running up to its first exit time from an open domain B, and their intersection local time l as a measure on B. We give a sharp criterion for the finiteness of exponential moments, E[exp(\sum_{i=1}^n (int_B f_i(x) l(dx))^{1/p})], where f_1, ...,f_n are nonnegative, bounded functions with compact support in B. We also derive a law of large numbers for intersection local time conditioned to have large total mass.


title: Khovanov's conjecture over Z[c]

abstract: We disprove the conjecture of M. Khovanov (math.QA/9908171) on the functoriality of his link homology with polynomial coefficients. This is in contrast to the case of integer coefficients, where functoriality was proved in math.GT/0206303 .


title: Virasoro Symmetries of the Extended Toda Hierarchy

abstract: We prove that the extended Toda hierarchy of \cite{CDZ} admits nonabelian Lie algebra of infinitesimal symmetries isomorphic to the half of the Virasoro algebra. The generators $L_m$, $m\geq -1$ of the Lie algebra act by linear differential operators onto the tau function of the hierarchy. We also prove that the tau function of a generic solution to the extended Toda hierarchy is annihilated by a combination of the Virasoro operators and the flows of the hierarchy. As an application we show that the validity of the Virasoro constraints for the $CP^1$ Gromov-Witten invariants and their descendents implies that their generating function is the logarithm of a particular tau function of the extended Toda hierarchy.


title: Mathematics and Logic as Information Compression by Multiple Alignment, Unification and Search

abstract: This article introduces the conjecture that "mathematics, logic and related disciplines may usefully be understood as information compression (IC) by 'multiple alignment', 'unification' and 'search' (ICMAUS)". As a preparation for the two main sections of the article, concepts of information and information compression are reviewed. Related areas of research are also described including IC in brains and nervous systems, and IC in relation to inductive inference, Minimum Length Encoding and probabilistic reasoning. The ICMAUS concepts and a computer model in which they are embodied are briefly described. The first of the two main sections describes how many of the commonly-used forms and structures in mathematics, logic and related disciplines (such as theoretical linguistics and computer programming) may be seen as devices for IC. In some cases, these forms and structures may be interpreted in terms of the ICMAUS framework. The second main section describes a selection of examples where processes of calculation and inference in mathematics, logic and related disciplines may be understood as IC. In many cases, these examples may be understood more specifically in terms of the ICMAUS concepts.


title: Limit theorems for one-dimensional transient random walks in Markov environments

abstract: We obtain non-Gaussian limit laws for one-dimensional random walk in a random environment assuming that the environment is a function of a stationary Markov process. This is an extension of the work of Kesten, M. Kozlov and Spitzer for random walks in i.i.d. environments. The basic assumption is that the underlying Markov chain is irreducible and either with a finite state space or with the transition kernel dominated above and below by a probability measure.


title: Thin position in the theory of classical knots

abstract: This is a chapter that is to appear in the "Handbook of Knot Theory", edited by William W. Menasco and Morwen B. Thistlethwaite.


title: Littelmann paths for the basic representation of an affine Lie algebra

abstract: We give a new model for the crystal graphs of an affine Lie algebra g^, combining Littelmann's path model with the Kyoto path model. The vertices of the crystal graph are represented by certain infinitely looping paths which we call skeins. We apply this model to the case when the corresponding finite-dimensional algebra g has a minuscule representation (classical type and E_6, E_7). We prove that the basic level-one representation of g^, when considered as a representation of g, is an infinite tensor product of fundamental representations of g. A similar tensor product phenomenon holds for certain Demazure submodules of the basic representation.


title: On Asymptotics for the Airy Process

abstract: The Airy process A(t), introduced by Pr\"ahofer and Spohn, is the limiting stationary process for a polynuclear growth model. Adler and van Moerbeke found a PDE in the variables s_1, s_2, and t for the probability that A(0)<s_1 and A(t)<s_2. Using this they were able, assuming the truth of a certain conjecture and appropriate uniformity, to obtain the first few terms of an asymptotic expansion for this probability as t->infinity, with fixed s_1 and s_2. We shall show that the expansion can be obtained by using the Fredholm determinant representation for the probability. The main ingredients are formulas obtained by the author and C. A. Tracy in the derivation of the Painlev\'e II representation for the distribution function F_2 plus a few others obtained in the same way.


title: Cohomology of property T groupoids and applications

abstract: We extend the Delorme-Guichardet characterization of Kazhdan property $T$ groups to $r$-discrete measured groupoids. We give several applications, in particular to stability results of Kazhdan property $T$ and to the study of cocycles taking values in a group having the Haagerup property.


title: From Rolle's theorem to the Sturm-Hurwitz theorem

abstract: We present a proof of the Sturm-Hurwitz theorem, using basic calculus.


title: A Class of Strongly Homotopy Lie Algebras with Simplified sh-Lie Structures

abstract: It is known that a single mapping defined on one term of a differential graded vector space extends to a strongly homotopy Lie algebra structure on the graded space when that mapping satisfies two conditions. This strongly homotopy Lie algebra is nontrivial (it is not a Lie algebra); however we show that one can obtain an sh-Lie algebra where the only nonzero mappings defining it are the lower order mappings. This structure applies to a significant class of examples. Moreover in this case the graded space can be replaced by another graded space, with only three nonzero terms, on which the same sh-Lie structure exists.


title: Spectral flow in Fredholm modules, eta invariants and the JLO cocycle

abstract: We give a comprehensive account of an analytic approach to spectral flow along paths of self-adjoint Breuer-Fredholm operators in a type $I_{\infty}$ or $II_\infty$ von Neumann algebra ${\mathcal N}$. The framework is that of {\it odd unbounded} $\theta$-{\it summable} {\it Breuer-Fredholm modules} for a unital Banach *-algebra, $\mathcal A$. In the type $II_{\infty}$ case spectral flow is real-valued, has no topological definition as an intersection number and our formulae encompass all that is known. We borrow Ezra Getzler's idea (suggested by I. M. Singer) of considering spectral flow (and eta invariants) as the integral of a closed one-form on an affine space. Applications in both the type I and type II cases include a general formula for the relative index of two projections, representing truncated eta functions as integrals of one forms and expressing spectral flow in terms of the JLO cocycle to give the pairing of the $K$-homology and $K$-theory of $\mathcal A$.


title: Span, chainability and the continua H* and I_u

abstract: We show that the continua I_u and H* are non-chainable and have span nonzero. Under CH this can be strengthened to surjective symmetric span nonzero. We discuss the logical consequences of this.


title: Intrinsic Dynamics of Manifolds: Quantum Paths, Holonomy, and Trajectory Localization

abstract: We consider an ``integral'' extension of the classical notion of affine connection providing a correspondence between paths in the manifold and diffeomorphisms of the manifold. These path-diffeomorphisms are a generalization of parallel translations along paths via the connection. In this way, one can translate nonanalytic functions and distributions rather than tangent vectors. We describe the integral holonomy and the integral curvature. On the symplectic or quantum level this construction makes up the symplectic or quantum paths, as well quantum connection, quantum curvature and quantum holonomy. The construction of path-diffeomorphisms, being applied to trajectories of a given dynamical system produces a transformation of the system to a new one which has an a priori chosen equilibrium point. In the symplectic (quantum) case, this dynamic localization provides a coherent-type representation of the quantum flow.


title: SLEs as boundaries of clusters of Brownian loops

abstract: In this research announcement, we show that SLE curves can in fact be viewed as boundaries of certain simple Poissonian percolation clusters: Recall that the Brownian loop-soup (introduced in the paper arxiv:math.PR/0304419 with Greg Lawler) with intensity c defines a Poissonian collection of (simple if one focuses only on the outer boundary) loops in a domain. This random family of (possibly intersecting) loops is conformally invariant (and there are almost surely infinitely many small loops in any sample). We show that there exists a critical value a in (0,1] such that if one colors all the interiors of the loops, the obtained clusters are bounded when c<a, whereas when c>a, one single cluster fills the domain. We prove that for small c, the outer boundaries of the clusters are SLE-type curves where $\kappa \le 4$ and $c$ related by the usual relation $c=(3\kappa-8)(6-\kappa)/2\kappa$ (i.e. c corresponds to the central charge of the model). Conjecturally, the critical value a is equal to one and corresponds to SLE4 loops, so that this should give for any c in (0,1] a construction of a natural countable family of random disjoint SLE$_\kappa$ loops (i.e. $\kappa$ should span $(8/3,4]$), that behaves ``nicely'' under perturbation of the domain. A precise relation between chordal SLE and the loop-soup goes as follows: Consider the sample of a certain restriction measure (i.e. a certain union of Brownian excursions) in a domain, attach to it all the above-described clusters that it intersects. The outer boundary of the obtained set is exactly an SLE$_\kappa$, if the restriction measure exponent is equal to the highest-weight of the corresponding representation with central charge c.


title: Massey Products and Ideal Class Groups

abstract: We consider certain Massey products in the cohomology of a Galois extension of fields with coefficients in p-power roots of unity. We prove formulas for these products both in general and in the special case that the Galois extension in question is the maximal extension of a number field unramified outside a set of primes S including those above p and any archimedean places. We then consider those Z_p-Kummer extensions L of the maximal p-cyclotomic extension K of a number field that are unramified outside S. We show that Massey products describe the structure of a certain "decomposition-free" quotient of a graded piece of the maximal unramified abelian pro-p extension of L in which all primes above those in S split completely, with the grading arising from the augmentation filtration on the group ring of the Galois group of L/K. We explicitly describe examples of the maximal unramified abelian pro-p extensions of unramified outside p Kummer extensions of the cyclotomic field of all p-power roots of unity, for irregular primes p.


title: Max-plus convex sets and functions

abstract: We consider convex sets and functions over idempotent semifields, like the max-plus semifield. We show that if $K$ is a conditionally complete idempotent semifield, with completion $\bar{K}$, a convex function $K^n\to\bar{K}$ which is lower semi-continuous in the order topology is the upper hull of supporting functions defined as residuated differences of affine functions. This result is proved using a separation theorem for closed convex subsets of $K^n$, which extends earlier results of Zimmermann, Samborski, and Shpiz.


title: Examples of non $d_{\omega}$-exact locally conformal symplectic forms

abstract: We exhibit two three-parameter families of locally conformal symplectic forms on the solvmanifold $M_{n,k}$ considered in [1], and show, using the Hodge-de Rham theory for the Lichnerowicz cohomology that that they are not $d_{\omega}$ exact, i.e. their Lichnerowicz classes are non-trivial (Theorem 1). This has several important geometric consequences (corollary 2, 3). This also implies that the group of automorphisms of the corresponding locally conformal symplectic structures behaves much like the group of symplectic diffeomorphisms of compact symplectic manifolds. We initiate the classification of the local conformal symplectic forms in each 3-parameter family (Theorem 2, corollary 1). We also show that the first (and) third Lichnerowicz cohomology classes are non-zero (Theorem 3). We observe finally that the manifolds $M_{n,k}$ carry several interesting foliations and Poisson structures.


title: Knot adjacency and satellites

abstract: A knot K is called n-adjacent to the unknot, if K admits a projection containing n generalized crossings such that changing any m (no larger than n) of them yields a projection of the unknot. We show that a non-trivial satellite knot K is n-adjacent to the unknot, for some n>0, if and only if it is n-adjacent to the unknot in any companion solid torus. In particular, every model knot of K is n-adjacent to the unknot. Along the way of proving these results, we also show that 2-bridge knots of the form K_{p/q}, where p/q=[2q_1,2q_2] for some integers q_1,q_2, are precisely those knots that have genus one and are 2-adjacent to the unknot.


title: Applications of operator spaces to abstract harmonic analysis

abstract: We give a survey of how the relatively young theory of operator spaces has led to a deeper understanding of the Fourier algebra of a locally compact group (and of related algebras).


title: Smarandache Linear Algebra

abstract: Generally, in any human field, a Smarandache Structure on a set A means a weak structure W on A such that there exists a proper subset B which is embedded with a stronger structure S. By a proper subset one understands a set included in A, different from the empty set, from the unit element if any, and from A. These types of structures occur in our every day's life, that's why we study them in this book. Thus, as a particular case, we investigate the theory of linear algebra and Smarandache linear algebra.


title: The conjugacy problem for relatively hyperbolic groups

abstract: Solvability of the conjugacy problem for relatively hyperbolic groups was announced by Gromov [Hyperbolic groups, MSRI publications 8 (1987)]. Using the definition of Farb of a relatively hyperbolic group in the strong sense [B Farb, Relatively hyperbolic groups, Geom. Func. Anal. 8 (1998) 810-840], we prove this assertion. We conclude that the conjugacy problem is solvable for fundamental groups of complete, finite-volume, negatively curved manifolds, and for finitely generated fully residually free groups.


title: On the Constancy of the Pontryagin Hamiltonian for Autonomous Problems

abstract: We provide a new, simpler, and more direct proof of the well known fact that for autonomous optimal control problems the Pontryagin extremals evolve on a level surface of the respective Pontryagin Hamiltonian.


title: Lectures on Mirror Symmetry, Derived Categories, and D-branes

abstract: This paper is an introduction to Homological Mirror Symmetry, derived categories, and topological D-branes aimed mainly at a mathematical audience. In the paper we explain the physicists' viewpoint of the Mirror Phenomenon, its relation to derived categories, and the reason why it is necessary to enlarge the Fukaya category with coisotropic A-branes; we discuss how to extend the definition of Floer homology to such objects and describe mirror symmetry for flat tori. The paper consists of four lectures which were given at the Institute for Pure and Applied Mathematics (Los Angeles), March 2003, as part of a program on Symplectic Geometry and Physics.


title: Hofer-Zehnder capacity of standard cotangent bundles

abstract: Let $M$ be a compact manifold with an effective semi-free circle action whose fixed point set has trivial normal bundle. We prove that its cotangent bundle endowed with the canonical symplectic form has bounded Hofer-Zehnder sensitive capacity. We give several examples like the product of any compact manifold with $\S^n$ or a connected sum $\CP^n # ... # \CP^n$.


title: On the noise-induced passage through an unstable periodic orbit I: Two-level model

abstract: We consider the problem of stochastic exit from a planar domain, whose boundary is an unstable periodic orbit, and which contains a stable periodic orbit. This problem arises when investigating the distribution of noise-induced phase slips between synchronized oscillators, or when studying stochastic resonance far from the adiabatic limit. We introduce a simple, piecewise linear model equation, for which the distribution of first-passage times can be precisely computed. In particular, we obtain a quantitative description of the phenomenon of cycling: The distribution of first-passage times rotates around the unstable orbit, periodically in the logarithm of the noise intensity, and thus does not converge in the zero-noise limit. We compute explicitly the cycling profile, which is universal in the sense that in depends only on the product of the period of the unstable orbit with its Lyapunov exponent.


title: Crystal bases and monomials for $U_q(G_2)$-modules

abstract: In this paper, we give a new realization of crystal bases for irreducible highest weight modules over $U_q(G_2)$ in terms of monomials. We also discuss the natural connection between the monomial realization and tableau realization.


title: Generic substitutions

abstract: Up to equivalence, a substitution in propositional logic is an endomorphism of its free algebra. On the dual space, this results in a continuous function, and whenever the space carries a natural measure one may ask about the stochastic properties of the action. In classical logic there is a strong dichotomy: while over finitely many propositional variables everything is trivial, the study of the continuous transformations of the Cantor space is the subject of an extensive literature, and is far from being a completed task. In many-valued logic this dichotomy disappears: already in the finite-variable case many interesting phenomena occur, and the present paper aims at displaying some of these.


title: Full twists factorization formula for double number of strings

abstract: A formula for factorizations of the full twist in the braid group $Br_{2m}$ depending on any four factorizations of the full twist in $Br_{m}$ is given. Applying this formula, a symplectic 4-manifold $X$ and two isotopic generic coverings $f_i :X\to \mathbb C\mathbb P^2$, branched, respectively, along cuspidal Hurwitz curves $\bar H_i\subset \mathbb C\mathbb P^2$ (without negative nodes) having different braid monodromy factorization types, are constructed. The class of the fundamental groups of the complements of the affine plane Hurwitz curves is described in terms of generators and defining relations.


title: An alternative form of the Helmholtz criterion in the inverse problem of calculus of variations

abstract: We give a necessary and sufficient condition for the existence of a local solution of the inverse problem of calculus of variations in terms of the identical vanishing of the variation of a functional on an extended space (with the number of independent variables increased by one), and explain its relation with the classical Helmholtz criterion using the de Rham complex on an infinite-dimensional space of fields.


title: On the integration of Poisson manifolds, Lie algebroids, and coisotropic submanifolds

abstract: In recent years methods for the integration of Poisson manifolds and of Lie algebroids have been proposed, the latter being usually presented as a generalization of the former. In this note it is shown that the latter method is actually related to (and may be derived from) a particular case of the former if one regards dual of Lie algebroids as special Poisson manifolds. The core of the proof is the fact, discussed in the second part of this note, that coisotropic submanifolds of a (twisted) Poisson manifold are in one-to-one correspondence with possibly singular Lagrangian subgroupoids of source-simply-connected (twisted) symplectic groupoids.


title: On Periodic Matrix-Valued Weyl-Titchmarsh Functions

abstract: We consider a certain class of Herglotz-Nevanlinna matrix-valued functions which can be realized as the Weyl-Titchmarsh matrix-valued function of some symmetric operator and its self-adjoint extension. New properties of Weyl -Titchmarsh matrix-valued functions as well as a new version of the functional model in such realizations are presented. In the case of periodic Herglotz-Nevanlinna matrix-valued functions we provide a complete characterization of their realizations in terms of the corresponding functional model. We also obtain properties of a symmetric operator and its self-adjoint extension generating periodic Weyl-Titchmarsh matrix-valued function. We study pairs of operators (a symmetric operator and its self-adjoint extension) with constant Weyl-Titchmarsh matrix-valued functions and establish connections between such pairs of operators and representations of the canonical commutation relations for unitary groups of operators in Weyl's form. As a consequence of such an approach we obtain the Stone-von Neumann theorem for two unitary groups of operators satisfying the commutation relations as well as some extension and refinement of the classical functional model for generators of those groups. Our examples include multiplication operators in weighted spaces, first and second order differential operators, as well as the Schr\"odinger operator with linear potential and its perturbation by bounded periodic potential.


title: Universal torsors and Cox rings

abstract: We study the equations of universal torsors on rational surfaces.


title: Compactness results in Symplectic Field Theory

abstract: This is one in a series of papers devoted to the foundations of Symplectic Field Theory sketched in [Y Eliashberg, A Givental and H Hofer, Introduction to Symplectic Field Theory, Geom. Funct. Anal. Special Volume, Part II (2000) 560--673]. We prove compactness results for moduli spaces of holomorphic curves arising in Symplectic Field Theory. The theorems generalize Gromov's compactness theorem in [M Gromov, Pseudo-holomorphic curves in symplectic manifolds, Invent. Math. 82 (1985) 307--347] as well as compactness theorems in Floer homology theory, [A Floer, The unregularized gradient flow of the symplectic action, Comm. Pure Appl. Math. 41 (1988) 775--813 and Morse theory for Lagrangian intersections, J. Diff. Geom. 28 (1988) 513--547], and in contact geometry, [H Hofer, Pseudo-holomorphic curves and Weinstein conjecture in dimension three, Invent. Math. 114 (1993) 307--347 and H Hofer, K Wysocki and E Zehnder, Foliations of the Tight Three Sphere, Annals of Mathematics, 157 (2003) 125--255].


title: Etale Groupoids, eta invariants and index theory

abstract: Let $\Gamma$ be a discrete finitely generated group. Let $\hat{M}\to T$ be a $\Gamma$-equivariant fibration, with fibers diffeomorphic to a fixed even dimensional manifold with boundary $Z$. We assume that $\Gamma\to \hat{M}\to \hat{M}/\Gamma$ is a Galois covering of a compact manifold with boundary. Let $(D^+ (\theta))_{\theta\in T}$ be a $\Gamma$-equivariant family of Dirac-type operators. Under the assumption that the boundary family is $L^2$-invertible, we define an index class in the K-theory of the cross-product algebra, $K_0 (C^0 (T)\rtimes_r \Gamma)$. If, in addition, $\Gamma$ is of polynomial growth, we define higher indeces by pairing the index class with suitable cyclic cocycles. Our main result is then a formula for these higher indeces: the structure of the formula is as in the seminal work of Atiyah, Patodi and Singer, with an interior geometric contribution and a boundary contribution in the form of a higher eta invariant associated to the boundary family. Under similar assumptions we extend our theorem to any $G$-proper manifold, with $G$ an \'etale groupoid. We employ this generalization in order to establish a higher Atiyah-Patodi-Singer index formula on certain foliations with boundary. Fundamental to our work is a suitable generalization of Melrose $b$-pseudodifferential calculus as well as the superconnection proof of the index theorem on $G$-proper manifolds recently given by Gorokhovsky and Lott.


title: Non-contractible periodic orbits, Gromov invariants, and Floer-theoretic torsions

abstract: In a previous paper, the author introduced a Floer-theoretic torsion invariant I_F, which roughly takes the form of a product of a power series counting perturbed pseudo-holomorphic tori, and the Reidemeister torsion of the symplectic Floer complex. We pointed out the formal resemblance of I_F with a generating function of genus 1 Gromov invariant; furthermore, for heuristic reasons one also expects a relation with the 1-loop generating function in the A-model side of mirror symmetry, which counts genus 1 holomorphic curves. The present article makes this expected relation precise in the simplest cases, in two variants of the I_F defined in the earlier work: the lagrangian intersection version, I_F(L, L'), and an S^1-equivariant version, I_F^{S^1}. As a by-product, we obtain some existence results of noncontractible periodic orbits in symplectic dynamics. For example, the results of Gatien-Lalonde are extended to a much wider class of manifolds. The two versions I_F(L, L') and I_F^{S^1} are only minimally developed in this paper, leaving fuller accounts to future work. The lagrangian intersection version, I_F(L, L'), should be viewed as a simplest example of a rigorous definition of the higher-loop ``open Gromov-Witten invariants'' proposed by physicists.


title: On the Monotone Upper Bound Problem

abstract: The Monotone Upper Bound Problem asks for the maximal number M(d,n) of vertices on a strictly-increasing edge-path on a simple d-polytope with n facets. More specifically, it asks whether the upper bound M(d,n)<=M_{ubt}(d,n) provided by McMullen's (1970) Upper Bound Theorem is tight, where M_{ubt}(d,n) is the number of vertices of a dual-to-cyclic d-polytope with n facets. It was recently shown that the upper bound M(d,n)<=M_{ubt}(d,n) holds with equality for small dimensions (d<=4: Pfeifle, 2003) and for small corank (n<=d+2: G\"artner et al., 2001). Here we prove that it is not tight in general: In dimension d=6 a polytope with n=9 facets can have M_{ubt}(6,9)=30 vertices, but not more than 26 <= M(6,9) <= 29 vertices can lie on a strictly-increasing edge-path. The proof involves classification results about neighborly polytopes, Kalai's (1988) concept of abstract objective functions, the Holt-Klee conditions (1998), explicit enumeration, Welzl's (2001) extended Gale diagrams, randomized generation of instances, as well as non-realizability proofs via a version of the Farkas lemma.


title: From spaces of polygons to spaces of polyhedra following Bavard, Ghys and Thurston

abstract: After work of W. P. Thurston, C. Bavard and \'E. Ghys constructed particular hyperbolic polyhedra from spaces of deformations of Euclidean polygons. We present this construction as a straightforward consequence of the theory of mixed-volumes. The gluing of these polyhedra can be isometrically embedded into complex hyperbolic cone-manifolds constructed by Thurston from spaces of deformations of Euclidean polyhedra. It is then possible to deduce the metric structure of the spaces of polygons embedded in complex hyperbolic orbifolds discovered by P. Deligne and G. D. Mostow.


title: Universal Deformation Formulae for Three-Dimensional Solvable Lie groups

abstract: We apply methods from strict quantization of solvable symmetric spaces to obtain universal deformation formulae for actions of every three-dimensional solvable Lie group. We also study compatible co-products by generalizing the notion of smash product in the context of Hopf algebras. We investigate in particular the dressing action of the `book' group on SU(2).


title: Universal Deformation Formulae, Symplectic Lie groups and Symmetric Spaces

abstract: We apply methods from strict quantization of solvable symmetric spaces to obtain universal deformation formulae for actions of a class of solvable Lie groups. We also study compatible co-products by generalizing the notion of smash product in the context of Hopf algebras.


title: Central limit theorems in Random cluster and Potts Models

abstract: We prove that for q>=1, there exists r(q)<1 such that for p>r(q), the number of points in large boxes which belongs to the infinite cluster has a normal central limit behaviour under the random cluster measure phi_{p,q} on Z^d, d>=2. Particularly, we can take r(q)=p_g^* for d=2, which is commonly conjectured to be equal to p_c. These results are used to prove a q-dimensional central limit theorems relative to the fluctuation of the empirical measures for the ground Gibbs measures of the q-state Potts model at very low temperature and the Gibbs measures which reside in the convex hull of them. A similar central limit theorem is also given in the high temperature regime. Some particular properties of the Ising model are also discussed.


title: Venereau polynomials and related fiber bundles

abstract: The Venereau polynomials v-n:=y+x^n(xz+y(yu+z^2)), n>= 1, on A4 have all fibers isomorphic to the affine space A3. Moreover, for all n>= 1 the map (v-n, x) : A4 -> A2 yields a flat family of affine planes over A2. In the present note we show that over the punctured plane A2\0, this family is a fiber bundle. This bundle is trivial if and only if v-n is a variable of the ring C[x][y,z,u] over C[x]. It is an open question whether v1 and v2 are variables of the polynomial ring C[x,y,z,u]. S. Venereau established that v-n is indeed a variable of C[x][y,z,u] over C[x] for n>= 3. In this note we give an alternative proof of Venereau's result based on the above equivalence. We also discuss some other equivalent properties, as well as the relations to the Abhyankar-Sathaye Embedding Problem and to the Dolgachev-Weisfeiler Conjecture on triviality of flat families with fibers affine spaces.


title: Non-commutative Polynomials of Independent Gaussian Random Matrices. The Real and Symplectic Cases

abstract: In their paper, "A new application of random matrices: Ext(C*_red(F_2)) is not a group", Haagerup and Thorbjornsen prove an extension of Voiculescu's random matrix model for independent complex self-adjoint Gaussian random matrices. We generalize their result to random matrices with real or symplectic entries (the GOE- and the GSE-ensembles) and random matrix ensembles related to these.


title: A central limit theorem for Gibbs measures relative to Brownian motion

abstract: We study a Gibbs measure over Brownian motion with a pair potential which depends only on the increments. Assuming a particular form of this pair potential, we establish that in the infinite volume limit the Gibbs measure can be viewed as Brownian motion moving in a dynamic random environment. Thereby we are in a position to use the technique of Kipnis and Varadhan and to prove a functional central limit theorem.


title: On the congruence ax+by = 1 modulo xy

abstract: We give bounds on the number of solutions to the Diophantine equation (X+1/x)(Y+1/y) = n as n tends to infinity. These bounds are related to the number of solutions to congruences of the form ax+by = 1 modulo xy.


title: Varieties with $P_3(X)=4$ and $q(X)=\dim (X)$

abstract: We classify varieties with $P_3(X)=4$ and $q(X)=\dim (X)$.


title: A Note on Curve Counting Scheme in an Algebraic Family and The Admissible Decomposition Classes

abstract: Mcduff had proposed in 1997 a way to modify the definition of Taubes' version of Gromov invariant when multiple coverings of -1 curves appear. In this paper we generalize Mcduff's proposal to the family case, as is needed in the discussion of family Seiberg-Witten theory. For simplicity, the discussion has been formulated in the algebraic category.


title: Family Switching Formula and the $-n$ Exceptional Rational Curves

abstract: In this paper, we derive the family switching formula of -n two-sphere fiber bundle embedded in a smooth four-manifold fiber bundle. In the smooth category, it is a partial generalization of Fintushel-Stern's argument for four-manifolds. We also derive an algebraic analogue of the family switching formula, allowing the P^1 fibration to carry singular fibers. At the end, we apply the idea of switching to compare the canonical algebraic Kuranishi models of different classes on the so-called "universal family".


title: A derived category approach to generic vanishing

abstract: We prove a Generic Vanishing Theorem for coherent sheaves on an abelian variety over an algebraically closed field $k$. When $k=\CC$ this implies a conjecture of Green and Lazarsfeld.


title: Dynamics of free group automorphisms

abstract: We present a coarse convexity result for the dynamics of free group automorphisms: Given an automorphism $\phi$ of a finitely generated free group $F$, we show that for all $x\in F$ and $0\leq i\leq N$, the length of $\phi^i(x)$ is bounded above by a constant multiple of the sum of the lengths of $x$ and $\phi^N(x)$, with the constant depending only on $\phi$.


title: The global McKay-Ruan correspondence via motivic integration

abstract: The purpose of this paper is to show how the motivic integration methods of Kontsevich, Denef-Loeser and Looijenga can be adapted to prove the McKay-Ruan correspondence, a generalization of the McKay-Reid correspondence to orbifolds that are not necessarily global quotients.


title: On the canonical embeddings of certain homogeneous spaces

abstract: We study equivariant affine embeddings of homogeneous spaces and their equivariant automorphisms. An example of a quasiaffine, but not affine, homogeneous space with finitely many equivariant automorphisms is presented. We prove the solvability of any connected group of equivariant automorphisms for an affine embedding with a fixed point and finitely many orbits. This is applied to studying the orbital decomposition for algebraic monoids and canonical embeddings of quasiaffine homogeneous spaces, i.e., those affine embeddings associated with the coordinate algebras of homogeneous spaces, provided the latter algebras are finitely generated. We pay special attention to the canonical embeddings of quotient spaces of reductive groups modulo the unipotent radicals of parabolic subgroups. For these varieties, we describe the orbital decomposition, compute the modality of the group action, and find out which of them are smooth. We also describe minimal ambient modules for these canonical embeddings provided that the acting group is simply connected.


title: A motivic conjecture of Milne

abstract: Let k be an algebraically closed field of characteristic p>0. Let W(k) be the ring of Witt vectors with coefficients in k. We prove a motivic conjecture of Milne that relates, in the case of abelian schemes, the \'etale cohomology with $\dbZ_p$ coefficients to the crystalline cohomology with integral coefficients, in the more general context of p-divisible groups endowed with {\it arbitrary} families of crystalline tensors over a finite, discrete valuation ring extension of W(k). This extends a result of Faltings in [Fa2]. As a main new tool we construct global deformations of p-divisible groups endowed with crystalline tensors over certain regular, formally smooth schemes over W(k) whose special fibers over k have a Zariski dense set of k-valued points.


title: Positive scalar curvature and minimal hypersurfaces

abstract: We show that the minimal hypersurface method of Schoen and Yau can be used for the ``quantitative'' study of positive scalar curvature. More precisely, we show that if a manifold admits a metric $g$ with $s_g \ge | T |$ or $s_g \ge | W |$, where $s_g$ is the scalar curvature of of $g$, $T$ any 2-tensor on $M$ and $W$ the Weyl tensor of $g$, then any closed orientable stable minimal (totally geodesic in the second case) hypersurface also admits a metric with the corresponding positivity of scalar curvature. A corollary about the topology of such hypersurfaces is proved in a special situation.


title: Regularity and splitting of directed minimal cones

abstract: We show that directed minimal cones in (n+1)-dimensional Euclidean space which have at most one singularity are - besides the trivial cases: empty set, whole space - half spaces. Using blow-up techniques, this result can be used to get C^{1,lambda}-regularity for the measure-theoretic boundary of almost minimal Caccioppoli sets which are representable as subgraphs in R^n, n<=8. This provides a different method to obtain a result due to De Giorgi. We also prove a splitting theorem for general directed minimal cones. Such a cone is the Cartesian product of R^k and C, where C is an undirected minimal cone or a half-line.


title: Syzygies of projective toric varieties

abstract: This paper has been subsumed by math.AG/0502240


title: An optimal matching problem

abstract: Given two measured spaces (X,dx), (Y,dy) and a third space Z, given two functions u(x,z) and v(x,z), we study the problem of finding two maps s from X to Z and t from Y to Z such that the images s(dx) and t(dy) coincide, and the integral of u(x,s(x))dx+v(y,t(y))dy is maximal. We give condition on u and v for which there is a unique solution.


title: Compact Quantum Metric Spaces

abstract: We give a brief survey of many of the high-lights of our present understanding of the young subject of quantum metric spaces, and of quantum Gromov-Hausdorff distance between them. We include examples.


title: Hilbert functions of irreducible arithmetically Gorenstein schemes

abstract: In this paper we compute the Hilbert functions of irreducible (or smooth) and reduced arithmetically Gorenstein schemes that are twisted anti-canonical divisors on arithmetically Cohen-Macaulay schemes. We also prove some folklore results characterizing the Hilbert functions of irreducible standard determinantal schemes, and we use them to produce a new class of functions that occur as Hilbert functions of irreducible (or smooth) and reduced arithmetically Gorenstein schemes in any codimension.


title: Shafarevich's Conjecture for CY Manifolds I

abstract: In this paper we first study the moduli spaces related to Calabi-Yau manifolds. We then apply the results to the following problem. Let $C$ be a fixed Riemann surface with fixed finite number of points on it. Given a CY manifold with fixed topological type, we consider the set of all families of CY manifolds of the fixed topological type over $C$ with degenerate fibres over the fixed points up to isomorphism. This set is called Shafarevich set. The analogue of Shafarevich conjecture for CY manifolds is for which topological types of CY the Shafarevich set is finite. It is well-known that the analogue of Shafarevich conjecture is closely related to the study of the moduli space of polarized CY manifolds and the moduli space of the maps of fixed Riemann surface to the coarse moduli space of the CY manifolds. We prove the existence of the Teichm\"{u}ller space of CY manifolds together with a universal family of marked CY manifolds. From this result we derive the existence of a finite cover of the coarse moduli space which is a non-singular quasi-projective manifold. Over this cover we construct a family of polarized CY manifolds. We study the moduli space of maps of the fixed Riemann with fixed points on it to the moduli space of CY manifolds constructed in the paper such that the maps map the fixed points on the Riemann surface to the discriminant locus. If this moduli space of maps is finite then Shafarevich conjecture holds. We relate the analogue of Shafarevich problem to the non-vanishing of the Yukawa coupling. We give also a counter example of the Shafarevich problem for a class of CY manifolds.


title: Large Radius Limit and SYZ Fibrations of Hyper-Kahler Manifolds

abstract: In this paper the relations between the existence of Lagrangian fibration of Hyper-K\"{a}hler manifolds and the existence of the Large Radius Limit is established. It is proved that if the the rank of the second homology group of a Hyper-K\"{a}hler manifold N of complex dimension $2n\geq4$ is at least 5, then there exists an unipotent element T in the mapping class group $\Gamma $(N) such that its action on the second cohomology group satisfies $(T-id)^{2}\neq0$ and $(T-id)^{3}=0.$ A Theorem of Verbitsky implies that the symmetric power $S^{n}(T)$ acts on $H^{2n}$ and it satisfies $(S^{n}% (T)-id)^{2n}\neq0$ and $(S^{n}(T)-id)^{2n+1}=0.$ This fact established the existence of Large Radius Limit for Hyper-K\"{a}hler manifolds for polarized algebraic Hyper-K\"{a}hler manifolds. Using the theory of vanishing cycles it is proved that if a Hyper-K\"{a}hler manifold admits a Lagrangian fibration then the rank of the second homology group is greater than or equal to five. It is also proved that the fibre of any Lagrangian fibration of a Hyper-K\"{a}hler manifold is homological to a vanishing invariant $2n$ cycle of a maximal unipotent element acting on the middle homology. According to Clemens this vanishing invariant cycle can be realized as a torus. I conjecture that the SYZ conjecture implies finiteness of the topological types of Hyper-K\"{a}hler manifolds of fix dimension.


title: On multidimensional F. Riesz's "Rising Sun" Lemma

abstract: A multidimensional version of the Riesz rising sun lemma is proved by means of a generalized dyadic process.


title: Caract\'erisation de l'espace projectif

abstract: The purpose of this paper is to prove the following theorem. Let $X$ be a projective normal variety defined over an algebraically closed field of characteristic zero and let $\Omega_{X}^{1}\to L$ be a one-dimensional foliation on $X$. If $L\cdot C<0$ for all curves $C\subset X$ then either the foliation is regular or else $X$ is a cone over a normal projective variety. This strengthens Wahl's well-known cohomological characterization of the projective space and gives a geometric proof of his results.


title: There are Salem numbers of every trace

abstract: We show that there are Salem numbers of every trace. The nontrivial part of this result is for Salem numbers of negative trace. The proof has two main ingredients. The first is a novel construction, using pairs of polynomials whose zeros interlace on the unit circle, of polynomials of specified negative trace having one factor a Salem polynomial, with any other factors being cyclotomic. The second is an upper bound for the exponent of a maximal torsion coset of an algebraic torus in a variety defined over the rationals. This second result, which may be of independent interest, enables us to refine our construction to avoid getting cyclotomic factors, giving a Salem polynomial of any specified trace, with a trace-dependent bound for its degree. We show also how our interlacing construction can be easily adapted to produce Pisot polynomials, giving a simpler, and more explicit, construction for Pisot numbers of arbitrary trace than previously known.


title: Bilinear Eigenfunction Estimates and the Nonlinear Schroedinger Equation on Surfaces

abstract: We study the cubic non linear Schr\"odinger equation (NLS) on compact surfaces. On the sphere $\mathbb{S}^2$ and more generally on Zoll surfaces, we prove that, for $s>1/4$, NLS is uniformly well-posed in $H^s$, which is sharp on the sphere. The main ingredient in our proof is a sharp bilinear estimate for Laplace spectral projectors on compact surfaces. On \'etudie l'\'equation de Schr\"odinger non lin\'eaire (NLS) sur une surface compacte.Sur la sph\`ere $\mathbb{S}^2$ et plus g\'en\'eralement sur toute surface de Zoll, on d\'emontre que pour $s>1/4$, NLS est uniform\'ement bien pos\'ee dans $H^s$, ce qui est optimalsur la sph\`ere. Le principal ingr\'edient de notre d\'emonstration est une estimation bilin\'eaire pour les projecteurs spectraux du laplacien sur une surface compacte.


title: Compact Embedded Minimal Surfaces of Positive Genus Without Area Bounds

abstract: Let M be a 3-manifold (possibly with boundary). We show that, for any positive integer g, there exists an open nonempty set of metrics on M for each of which there are stable compact embedded minimal surfaces of genus g with arbitrarily large area. This extends the result of Colding and Minicozzi for g=1.


title: Koszul duality for toric varieties

abstract: We show that certain categories of perverse sheaves on a pair of affine toric varieties defined by dual cones are Koszul dual in the sense of Beilinson, Ginzburg and Soergel. The functor expressing this duality is constructed explicitly using a combinatorial model for mixed sheaves on toric varieties.


title: Affine manifolds, lagrangian manifolds

abstract: Let $(M,\omega)$ be a symplectic manifold endowed with a agrangian foliation ${\cal L}$, it has been shown by Weinstein [16] hat the symplectic structure of $M$ defines on each leaf of ${\cal L}$, connection which curvature and torsion forms vanish identically. uppose that $L_0$ is a compact leaf which Weinstein connection is eodesically complete, Molino and Curras-Bosch [2] have classified erms of such lagrangian foliation around $L_0$. In this paper we xtend this classification without supposing the completness of he compact leaf. The Weinstein connection is dual to the Bott onnection, this enables to relate the conjecture of Auslander nd Markus to transversally properties of these foliations.


title: Hyperpolygon spaces and their cores

abstract: Given an n-tuple of positive real numbers, Konno defines an algebraic variety called a hyperpolygon space, a hyperkahler analogue of the Kahler variety parametrizing spacial polygons with fixed edge lengths. The ordinary polygon space can be interpreted as the moduli space of stable representations of a certain quiver with fixed dimension vector; from this point of view, the hyperpolygon space is the hyperkahler quiver variety defined by Nakajima. A quiver variety admits a natural action of the nonzero complex numbers, and the union of the precompact orbits is called the core. We study the components of the core of the hyperpolygon space, interpreting each one as a moduli space of pairs of spatial polygons with certain properties. Konno gives a presentation of the cohomology ring of the hyperpolygon space; we extend this result by computing the circle-equivariant cohomology ring, as well as the ordinary and equivariant cohomology rings of the core components.


title: Extensional dimension and completion of maps

abstract: We prove that any closed map between metrizable spaces can be extended to a closed map between completely metrizable spaces with the same extensional dimension.


title: Billiards and boundary traces of eigenfunctions

abstract: This is a report for the 2003 Forges Les Eaux PDE conference on recent results with A. Hassell on quantum ergodicity of boundary traces of eigenfunctions on domains with ergodic billiards, and of work in progress with Hassell and Sogge on norms of boundary traces. Related work by Burq, Grieser and Smith-Sogge is also discussed.


title: From Klein to Painleve via Fourier, Laplace and Jimbo

abstract: We will describe a method for constructing explicit algebraic solutions to the sixth Painleve equation, generalising that of Dubrovin-Mazzocco. There are basically two steps: First we explain how to construct finite braid group orbits of triples of elements of SL_2(C) out of triples of generators of three-dimensional complex reflection groups. (This involves the Fourier-Laplace transform for certain irregular connections.) Then we adapt a result of Jimbo to produce the Painleve VI solutions. (In particular this solves a Riemann-Hilbert problem explicitly.) Each step will be illustrated using the complex reflection group associated to Klein's simple group of order 168. This leads to a new algebraic solution with seven branches. We will also prove that, unlike the algebraic solutions of Dubrovin-Mazzocco and Hitchin, this solution is not equivalent to any solution coming from a finite subgroup of SL_2(C). The results of this paper also yield a simple proof of a recent theorem of Inaba-Iwasaki-Saito on the action of Okamoto's affine D4 symmetry group as well as the correct connection formulae for generic Painleve VI equations.


title: A universal ribbon surface in B^4

abstract: We construct an orientable ribbon surface F in B^4, which is universal in the following sense: any compact orientable pl 4-manifold having a handle decomposition with 0-, 1- and 2-handles can be represented as a cover of B^4 branched over F.


title: Ergodic Dynamics in Sigma-Delta Quantization: Tiling Invariant Sets and Spectral Analysis of Error

abstract: This paper has two themes that are intertwined: The first is the dynamics of certain piecewise affine maps on the Euclidean space that arise from a class of analog-to-digital conversion methods called Sigma-Delta quantization. The second is the analysis of reconstruction error associated to each such method. Sigma-Delta quantization generates approximate representations of functions by sequences that lie in a restricted set of discrete values. These are special sequences in that their local averages track the function values closely, thus enabling simple convolutional reconstruction. In this paper, we are concerned with the approximation of constant functions only, a basic case that presents surprisingly complex behavior. An m'th order Sigma-Delta scheme with input x can be translated into a dynamical system that produces a discrete-valued sequence (in particular, a 0-1 sequence) q as its output. When the schemes are stable, we show that the underlying piecewise affine maps possess invariant sets that tile the Euclidean space up to a finite multiplicity. When this multiplicity is one (the single-tile case), the dynamics within the tile is isomorphic to that of a generalized skew translation on the m dimensional torus. The value of x can be approximated using any consecutive M elements in q with increasing accuracy in M. We show that the asymptotical behavior of reconstruction error depends on the regularity of the invariant sets, the order m, and some arithmetic properties of x. We determine the behavior in a number of cases of practical interest and provide good upper bounds in some other cases when exact analysis is not yet available.


title: Holomorphic disc, spin structures and Floer cohomology of the Clifford torus

abstract: We compute the Bott-Morse Floer cohomology of the Clifford torus in $\CP^n$ with all possible spin-structures. Each spin structure is known to determine an orientation of the moduli space of holomorphic discs, and we analyze the change of orientation according to the change of spin structure of the Clifford torus. Also, we classify all holomorphic discs with boundary lying on the Clifford torus by establishing a Maslov index formula for such discs. As a result, we show that in odd dimensions there exist two spin structures which give non-vanishing Floer cohomology of the Clifford torus, and in even dimensions, there is only one such spin structure. When the Floer cohomology is non-vanishing, it is isomorphic to the singular cohomology of the torus (with a Novikov ring as its coefficients). As a corollary, we prove that any Hamiltonian deformation of the Clifford torus intersects with it at least at $2^n$ distinct intersection points, when the intersection is transversal. We also compute the Floer cohomology of the Clifford torus with flat line bundles on it and verify the prediction made by Hori using a mirror symmetry calculation.