arXiv research

We construct a triangulation of a compactification of the Moduli space of a surface with at least one puncture that is closely related to the Deligne-Mumford compactification. Specifically, there is a surjective map from the compactification we construct to the Deligne-Mumford compactification so that the inverse image…

We develop a universal framework to study smooth higher orbifolds on the one hand and higher Deligne-Mumford stacks (as well as their derived and spectral variants) on the other, and use this framework to obtain a completely categorical description of which stacks arise as the functor of points of such objects. We choo…

Let $S$ be a closed, oriented surface with a finite (possibly empty) set of points removed. In this paper we relate two important but disparate topics in the study of the moduli space $\M(S)$ of Riemann surfaces: Teichmüller geometry and the Deligne-Mumford compactification. We reconstruct the Deligne-Mumford compactif…

The systole function has a universal index gap on moduli spaces.

In 1969, P. Deligne and D. Mumford compactified the moduli space of curves. Their compactification is a projective algebraic variety, and as such, it has an underlying analytic structure. Alternatively, the quotient of the augmented Teichmueller space by the action of the mapping class group gives a compactification of…

New homotopy theory reveals the structure of stable curves.

This paper begins the study of Morse theory for orbifolds, or more precisely for differentiable Deligne-Mumford stacks. The main result is an analogue of the Morse inequalities that relates the orbifold Betti numbers of an almost-complex orbifold to the critical points of a Morse function on the orbifold. We also show …

This work characterizes global quotient stacks---smooth stacks associated to a finite group acting a manifold---among smooth quotient stacks $[M/G]$, where $M$ is a smooth manifold equipped with a smooth proper action by a Lie group $G$. The characterization is described in terms of the action of the connected componen…

Study rational homology of moduli space via Morse functions, proving stability phenomena.

In the moduli space M_g of genus g Riemann surfaces, consider the locus RM_O of Riemann surfaces whose Jacobians have real multiplication by the order O in a totally real number field F of degree g. If g = 2 or 3, we compute the closure of RM_O in the Deligne-Mumford compactification of M_g and the closure of the locus…

Study the boundary of Riemann surfaces with abelian automorphisms.

Computes infinitesimal automorphisms for $L$-valued Higgs bundles, leading to DM stacks.

For G a complex reductive group and X a smooth projective or convex quasi-projective polarized G-variety we construct a formal map in quantum K-theory from the equivariant quantum K-theory $QK^G(X)$ to the quantum K-theory of the git quotient $QK(X//G)$ assuming the quotient $X//G$ is a smooth Deligne-Mumford stack wit…

The paper provides a uniform lower bound for intersection numbers of psi-classes on moduli spaces.

This note is devoted to the definition of moduli spaces of rational tropical curves with n marked points. We show that this space has a structure of a smooth tropical variety of dimension n-3. We define the Deligne-Mumford compactification of this space and tropical $ψ$-class divisors.

Using the the theory of FS^op modules, we study the asymptotic behavior of the homology of $\overline M_{g,n}$, the Deligne--Mumford compactification of the moduli space of curves, for $n >> 0$. An FS^op module is a contravariant functor from the category of finite sets and surjections to vector spaces. Via maps that g…

We prove that a certain series defines a constant function using Wolpert's formula for the variation of the length of a geodesic along a Fenchel Nielsen twist. Subsequently we determine the value viewing it as function on the the Deligne Mumford compactification and evaluating it at the stable curve at infinity.

We consider the Riemann moduli space $\mathcal M_γ$ of conformal structures on a compact surface of genus $γ>1$ together with its Weil-Petersson metric $g_{\mathrm{WP}}$. Our main result is that $g_{\mathrm{WP}}$ admits a complete polyhomogeneous expansion in powers of the lengths of the short geodesics up to the singu…

Constructs a family to handle unstable fibers on complex surfaces.

For a gerbe $\Y$ over a smooth proper Deligne-Mumford stack $\B$ banded by a finite group $G$, we prove a structure result on the Gromov-Witten theory of $\Y$, expressing Gromov-Witten invariants of $\Y$ in terms of Gromov-Witten invariants of $\B$ twisted by various flat $U(1)$-gerbes on $\B$. This is interpreted as a…

We prove that K-polystable degenerations of Q-Fano varieties are unique. Furthermore, we show that the moduli stack of K-stable Q-Fano varieties is separated. Together with [Jia17,BL18], the latter result yields a separated Deligne-Mumford stack parametrizing all uniformly K-stable Q-Fano varieties of fixed dimension a…

The classical Brody's theorem asserts the equivalence between two notions of hyperbolicity for compact complex spaces, one named after Kobayashi and one expressed in terms of lack of non constant holomorphic entire functions (compactness is only used to prove the harder implication). We extend this theorem to Deligne-M…

We study framed translation surfaces corresponding to meromorphic differentials on compact Riemann surfaces, for which a horizontal separatrix is marked for each pole or zero. Such geometric structures naturally appear when studying flat geometry surfaces "near" the Deligne-Mumford boundary.We compute the number of con…

New method proves achiral Lefschetz fibrations exist using Riemannian geometry.

We show that the orthogonal separation coordinates on the sphere $S^n$ are naturally parametrised by the real version of the Deligne-Mumford-Knudsen moduli space $\bar M_{0,n+2}(R)$ of stable curves of genus zero with $n+2$ marked points. We use the combinatorics of Stasheff polytopes tessellating $\bar M_{0,n+2}(R)$ t…

The seminal work of Eskin-Masur-Zorich described the principal boundary of moduli spaces of abelian differentials that parameterizes flat surfaces with a prescribed generic configuration of short parallel saddle connections. In this paper we describe the principal boundary for each configuration in terms of twisted dif…

We describe the closure of the strata of abelian differentials with prescribed type of zeros and poles, in the projectivized Hodge bundle over the Deligne-Mumford moduli space of stable curves with marked points. We provide an explicit characterization of pointed stable differentials in the boundary of the closure, bot…

Fixing a closed hyperbolic surface S, we define a moduli space AI(S) of unmarked hyperbolic 3-manifolds homotopy equivalent to S. This 3-dimensional analogue of the moduli space M(S) of unmarked hyperbolic surfaces homeomorphic to S has bizarre local topology, possessing many points that are not closed. There is, howev…

Let S be a closed oriented surface of genus at least two. Labourie and the author have independently used the theory of hyperbolic affine spheres to find a natural correspondence between convex RP^2 structures on S and pairs (Σ,U) consisting of a conformal structure Σon S and a holomorphic cubic differential U over Σ. …

The main goal of this paper is to prove the polystability of the logarithmic tangent sheaf $\mathscr T_X(-D)$ of a log canonical pair $(X,D)$ whose canonical bundle $K_X+D$ is ample, generalizing in a significant way a theorem of Enoki. We apply this result and the techniques involved in its proof to get a version of t…

Paper relates new compactification to classical moduli space.

Using stable log maps, we introduce log twisted differentials extending the notion of abelian differentials to the Deligne-Mumford boundary of stable curves. The moduli stack of log twisted differentials provides a compactification of the strata of abelian differentials. The open strata can have up to three connected c…

In this paper, we formulate and prove a general compactness theorem for harmonic maps using Deligne-Mumford moduli space and families of curves. The main theorem shows that given a sequence of harmonic maps over a sequence of complex curves, there is a family of curves and a subsequence such that both the domains and t…

The Kalinin effectivity is studied and applied to compactifications and Hilbert squares.

The main goal of this work is to construct and study a reasonable compactification of the strata of the moduli space of Abelian differentials. This allows us to compute the Kodaira dimension of some strata of the moduli space of Abelian differentials. The main ingredients to study the compactifications of the strata ar…

We use Morse theory to prove that the Lefschetz Hyperplane Theorem holds for compact smooth Deligne-Mumford stacks over the site of complex manifolds. For $Z \subset X$ a hyperplane section, $X$ can be obtained from $Z$ by a sequence of deformation retracts and attachments of high-dimensional finite disc quotients. We …

The first goal of this survey paper is to argue that if orbifolds are groupoids, then the collection of orbifolds and their maps has to be thought of as a 2-category. Compare this with the classical definition of Satake and Thurston of orbifolds as a 1-category of sets with extra structure and/or with the "modern" defi…

Modular operads are a special type of operad: in fact, they bear the same relationship to operads that graphs do to trees (i.e. simply connected graphs). One of the basic examples of a modular operad is the collection of Deligne-Mumford-Knudsen moduli spaces $\bar{M}_{g,n}$ of stable pointed algebraic curves; hence the…

We show that the complex hyperbolic metrics defined by Deligne-Mostow and Thurston on ${\mathcal{M}}_{0,n}$ are singular Kähler-Einstein metrics when ${\mathcal{M}}_{0,n}$ is embedded in the Deligne-Mumford-Knudsen compactification $\overline{\mathcal{M}}_{0,n}$. As a consequence, we obtain a formula computing the volu…

Study on lengths of random multicurves on hyperbolic surfaces.

The paper examines the behavior of Weierstrass measures on stable curves as they approach a nodal stable curve.

This is a survey of the author's paper arXiv:1001.0023 on "Algebraic Geometry over C-infinity rings". If X is a smooth manifold then the R-algebra C^\infty(X) of smooth functions c : X --> R is a "C-infinity ring". That is, for each smooth function f : R^n --> R there is an n-fold operation Φ_f : C^\infty(X)^n --> C^\i…

Totally geodesic subvarieties in moduli spaces are studied.

Let S be an orientable, finite type surface with negative Euler characteristic. The augmented moduli space of convex real projective structures on S was first defined and topologized by the first author. In this article, we give an explicit description of this topology using explicit coordinates. More precisely, given …

We construct a compactification of the moduli spaces of abelian differentials on Riemann surfaces with prescribed zeroes and poles. This compactification, called the moduli space of multi-scale differentials, is a complex orbifold with normal crossing boundary. Locally, our compactification can be described as the norm…

The Weil-Petersson and Takhtajan-Zograf metrics on the Riemann moduli spaces of complex structures for an $n$-fold punctured oriented surface of genus $g,$ in the stable range $g+2n>2,$ are shown here to have complete asymptotic expansions in terms of Fenchel-Nielsen coordinates at the exceptional divisors of the Knuds…

In this paper, certain natural and elementary polygonal objects in Euclidean space, {\it the stable polygons}, are introduced, and the novel moduli spaces ${\bfmit M}_{{\bf r}, ε}$ of stable polygons are constructed as complex analytic spaces. Quite unexpectedly, these new moduli spaces are shown to be projective and i…

Calculates volumes of linear subvarieties in moduli spaces of Abelian differentials.