Compactified Picard stacks over the moduli stack of stable curves with marked points

In this paper we give a construction of algebraic (Artin) stacks endowed with a modular map onto the moduli stack of stable curves of genus g with n marked points. The stacks we construct are smooth, irreducible and have dimension 4g−3+n, yielding a geometrically meaningful compactification of the universal Picard stack parametrizing n-pointed smooth curves together with a line bundle.     

The Chen–Ruan cohomology of moduli of curves of genus 2 with marked points

In this work we describe the Chen–Ruan cohomology of the moduli stack of smooth and stable genus 2 curves with marked points. In the first half of the paper we compute the additive structure of the Chen–Ruan cohomology ring for the moduli stack of stable n-pointed genus 2 curves, describing it as a rationally graded vector space. In the second part we give generators for the even Chen–Ruan cohomology ring as an algebra on the ordinary cohomology.     

Analytic functions over a field of power series

 We extend the notion of absolute convergence for real series in several variables to a notion of convergence for series in a power series field ℝ((t ^Γ)) with coefficients in ℝ. Subsequently, we define a natural notion of analytic function at a point of ℝ((t ^Γ))^m. Then, given a real function f analytic on a open box I of ℝ ^m , we extend f to a function f ^★ which is analytic on a subset of ℝ((t ^Γ)) ^m containing I. We prove that the functions f ^★ share with real analytic functions certain basic properties: they are , they have usual Taylor development, they satisfy the inverse function theorem and the implicit function theorem. Received: 5 October 2000 / Revised version: 19 June 2001 / Published online: 12 July 2002     

Graph homology of the moduli space of pointed real curves of genus zero

The moduli space parameterizes the isomorphism classes of S-pointed stable real curves of genus zero which are invariant under relabeling by the involution σ. This moduli space is stratified according to the degeneration types of σ-invariant curves. The degeneration types of σ-invariant curves are encoded by their dual trees with additional decorations. We construct a combinatorial graph complex generated by the fundamental classes of strata of . We show that the homology of is isomorphic to the homology of our graph complex. We also give a presentation of the fundamental group of .      

Affinely equivalent complete flat manifolds

Let E _Aff(Γ,G, m) be the set of affine equivalence classes of m-dimensional complete flat manifolds with a fixed fundamental group Γ and a fixed holonomy group G. Let n be the dimension of a closed flat manifold whose fundamental group is isomorphic to Γ. We describe E _Aff(Γ,G, m) in terms of equivalence classes of pairs (ε, ρ), consisting of epimorphisms of Γ onto G and representations of G in ℝ ^m-n . As an application we give some estimates of card E _Aff(Γ,G, m).     

Square-tiled surfaces and rigid curves on moduli spaces

We study the algebro-geometric aspects of Teichmüller curves parameterizing square-tiled surfaces with two applications.(a) There exist infinitely many rigid curves on the moduli space of hyperelliptic curves. They span the same extremal ray of the cone of moving curves. Their union is a Zariski dense subset. Hence they yield infinitely many rigid curves with the same properties on the moduli space of stable n-pointed rational curves for even n.(b) The limit of slopes of Teichmüller curves and the sum of Lyapunov exponents for the Teichmüller geodesic flow determine each other, which yields information about the cone of effective divisors on the moduli space of curves.     

$\Omega$-admissible theory II. Deligne pairings over moduli spaces of punctured Riemann surfaces

In Part I, Deligne-Riemann-Roch isometry is generalized for punctured Riemann surfaces equipped with quasi-hyperbolic metrics. This is achieved by proving the Mean Value Lemmas, which explicitly explain how metrized Deligne pairings for -admissible metrized line bundles depend on . In Part II, we first introduce several line bundles over Knudsen-Deligne-Mumford compactification of the moduli space (or rather the algebraic stack) of stable N-pointed algebraic curves of genus g, which are rather natural and include Weil-Petersson, Takhtajan-Zograf and logarithmic Mumford line bundles. Then we use Deligne-Riemann-Roch isomorphism and its metrized version (proved in Part I) to establish some fundamental relations among these line bundles. Finally, we compute first Chern forms of the metrized Weil-Petersson, Takhtajan-Zograf and logarithmic Mumford line bundles by using results of Wolpert and Takhtajan-Zograf, and show that the so-called Takhtajan-Zograf metric on the moduli space is algebraic. Received February 14, 2000 / Accepted August 18, 2000 / Published online February 5, 2001     

Generalized Poincaré series for models¶of the braid arrangements

Let be the complexified Coxeter arrangement of hyperplanes of type A _{n −1} (n≥ 3). It is well known that the “minimal” projective De Concini–Procesi model of is isomorphic to the moduli space of stable n plus;1-pointed curves of genus 0. In this paper we study, from the point of view of models of arrangements, the action of the symmetric group Σ _n on the integer cohomology ring of . In fact we find a formula for the generalized Poincaré series which encodes all the information about this representation of Σ _n . This formula, which is obtained by using the elementary combinatorial properties of a ℤ-basis of and turns out to be very direct, should be compared with a more general result due to Getzler (see [5]). Received: 24 November 1997 / Revised version: 23 April 1998     

A Family of Non-quasiprimitive Graphs Constructed From PSU3（q） Where q Is Odd

Let Г be a simple connected graph and let G be a group of automorphisms of Г. Г is said to be （G, 2）-arc transitive if G is transitive on the 2-arcs of Г. It has been shown that there exists a family of non-quasiprimitive （PSU3（q）, 2）-arc transitive graphs where q = 2^3m with m an odd integer. In this paper we investigate the case where q is an odd prime power.     

Murphy’s law in algebraic geometry: Badly-behaved deformation spaces

We consider the question: “How bad can the deformation space of an object be?” The answer seems to be: “Unless there is some a priori reason otherwise, the deformation space may be as bad as possible.” We show this for a number of important moduli spaces. More precisely, every singularity of finite type over ? (up to smooth parameters) appears on: the Hilbert scheme of curves in projective space; and the moduli spaces of smooth projective general-type surfaces (or higher-dimensional varieties), plane curves with nodes and cusps, stable sheaves, isolated threefold singularities, and more. The objects themselves are not pathological, and are in fact as nice as can be: the curves are smooth, the surfaces are automorphism-free and have very ample canonical bundle, the stable sheaves are torsion-free of rank 1, the singularities are normal and Cohen-Macaulay, etc. This justifies Mumford’s philosophy that even moduli spaces of well-behaved objects should be arbitrarily bad unless there is an a priori reason otherwise. Thus one can construct a smooth curve in projective space whose deformation space has any given number of components, each with any given singularity type, with any given non-reduced behavior. Similarly one can give a surface over $\mathbb{F}_{p}We consider the question: “How bad can the deformation space of an object be?” The answer seems to be: “Unless there is some a priori reason otherwise, the deformation space may be as bad as possible.” We show this for a number of important moduli spaces. More precisely, every singularity of finite type over ℤ (up to smooth parameters) appears on: the Hilbert scheme of curves in projective space; and the moduli spaces of smooth projective general-type surfaces (or higher-dimensional varieties), plane curves with nodes and cusps, stable sheaves, isolated threefold singularities, and more. The objects themselves are not pathological, and are in fact as nice as can be: the curves are smooth, the surfaces are automorphism-free and have very ample canonical bundle, the stable sheaves are torsion-free of rank 1, the singularities are normal and Cohen-Macaulay, etc. This justifies Mumford’s philosophy that even moduli spaces of well-behaved objects should be arbitrarily bad unless there is an a priori reason otherwise. Thus one can construct a smooth curve in projective space whose deformation space has any given number of components, each with any given singularity type, with any given non-reduced behavior. Similarly one can give a surface over that lifts to ℤ/p⁷ but not ℤ/p⁸. (Of course the results hold in the holomorphic category as well.) It is usually difficult to compute deformation spaces directly from obstruction theories. We circumvent this by relating them to more tractable deformation spaces via smooth morphisms. The essential starting point is Mn?v’s universality theorem. Mathematics Subject Classification (2000) 14B12, 14C05, 14J10, 14H50, 14B07, 14N20, 14D22, 14B05     

Pontrjagin–Thom maps and the homology of the moduli stack of stable curves

We study the singular homology (with field coefficients) of the moduli stack [`(\mathfrakM)]<sub>g, n</sub>{\overline{\mathfrak{M}}_{g, n}} of stable n-pointed complex curves of genus g. Each irreducible boundary component of [`(\mathfrakM)]_{g, n}{\overline{\mathfrak{M}}_{g, n}} determines via the Pontrjagin–Thom construction a map from [`(\mathfrakM)]<sub>g, n</sub>{\overline{\mathfrak{M}}_{g, n}} to a certain infinite loop space whose homology is well understood. We show that these maps are surjective on homology in a range of degrees proportional to the genus. This detects many new torsion classes in the homology of [`(\mathfrakM)]_{g, n}{\overline{\mathfrak{M}}_{g, n}}.     

Area density and regularity for soap film-like surfaces spanning graphs

For a given boundary Γ in Rⁿ consisting of arcs and vertices, with two or more arcs meeting at each vertex, we treat the problem of estimating the area density of a soap film-like surface Σ spanning Γ. Σ is assumed locally to minimize area, or more generally, to be strongly stationary for area with respect to Γ. We introduce a notion of total curvature (Γ) for such graphs, or nets, Γ. We show that 2π times the area density of Σ at any point is less than or equal to (Γ). For n=3, these density estimates imply, for example, that if (Γ)≤3.649π, then the only possible singularities of a piecewise smooth (M,0,δ)-minimizing set Σ are curves, along which three smooth sheets of Σ meet with equal angles of 120^°. Second author supported in part by NSF grant 00-71862.     

Isospectral deformations on Riemannian manifolds which are diffeomorphic to compact Heisenberg manifolds

It is known that ifH _m is the classical (2m+1)-dimensional Heisenberg group, Γ a cocompact discrete subgroup ofH _m andg a left invariant metric, then (Γ/H _{m, g}) is infinitesimally spectrally rigid within the family of left invariant metrics. The purpose of this paper is to show that for everym≥2 and for a certain choice of Γ andg, there is a deformation (Γ/H _{m, g α}) withg=g ₁ such that for every α≠1, (Γ/H _{m, g α})does admit a nontrivial isospectral deformation. For α≠1 the metricsg _α will not beH _m-left invariant, and the (Γ/H _m, gx_α) will not be nilmanifolds, but still solvmanifolds.     

On the Classification of Twisting Maps Between Kn and Km

We define the notion of admissible pair for an algebra A, consisting on a couple (Γ, R), where Γ is a quiver and R a unital, splitted and factorizable representation of Γ, and prove that the set of admissible pairs for A is in one to one correspondence with the points of the variety of twisting maps T_Aⁿ:=T(Kⁿ,A)\mathcal{T}_A^n:=\mathcal{T}(K^n,A). We describe all these representations in the case A = K ^m .     

A construction of an infinite family of 2-arc transitive polygonal graphs of arbitrary even girth

A near-polygonal graph is a graph Γ which has a set C\mathcal{C} of m-cycles for some positive integer m such that each 2-path of Γ is contained in exactly one cycle in C\mathcal{C}. If m is the girth of Γ, then the graph is called polygonal. We provide a construction of an infinite family of polygonal graphs of arbitrary even girth with 2-arc transitive automorphism groups, showing that there are infinitely many 2-arc transitive polygonal graphs of every girth.     

A note on groups paralyzing a subgroup series

We consider groups Γ of automorphisms of a groupG acting by means of power automorphisms on the factors of a normal series inG with lengthm. We show that [G, Γ] is nilpotent with class at mostm and that this bound is best possible. Moreover, such a Γ is parasoluble with paraheight at most 1/2m(m+3)+1, provided Γ′ is periodic. We give best possible bound in the case where the series is a central one.     

Anosov representations: domains of discontinuity and applications

The notion of Anosov representations has been introduced by Labourie in his study of the Hitchin component for SL(n,R). Subsequently, Anosov representations have been studied mainly for surface groups, in particular in the context of higher Teichmüller spaces, and for lattices in SO(1,n). In this article we extend the notion of Anosov representations to representations of arbitrary word hyperbolic groups and start the systematic study of their geometric properties. In particular, given an Anosov representation Γ→G we explicitly construct open subsets of compact G-spaces, on which Γ acts properly discontinuously and with compact quotient.