We compute the automorphism group $\mathrm{Aut}(Δ_{g, n})$ for all $g, n \geq 0$ such that $3g - 3 + n > 0$, where $Δ_{g, n} \subset M_{g, n}^\mathrm{trop}$ is the moduli space of stable $n$-marked tropical curves of genus $g$ and volume one. In particular, we show that $\mathrm{Aut}(Δ_{g})$ is trivial for $g \geq 2$, while $\mathrm{Aut}(Δ_{g, n}) \cong S_n$ when $n \geq 1$ and $(g, n) \neq (0, 4), (1, 2)$. The space $Δ_{g, n}$ is a symmetric $Δ$-complex in the sense of Chan, Galatius, and Payne, and is identified with the dual intersection complex of the boundary divisor in the Deligne-Mumford-Knudsen moduli space $\overline{\mathcal{M}}_{g, n}$ of stable curves. After the work of Massarenti, who has shown that $\mathrm{Aut}(\overline{\mathcal{M}}_g)$ is trivial for $g \geq 2$ while $\mathrm{Aut}(\overline{\mathcal{M}}_{g, n}) \cong S_n$ when $n \geq 1$ and $2g - 2 + n \geq 3$, our result implies that the tropical moduli space $Δ_{g, n}$ faithfully reflects the symmetries of the algebraic moduli space for general $g$ and $n$.
In this paper we study the moduli space of the tropicalizations of Riemann surfaces. We first tropicalize a smooth pointed Riemann surface by a graph defined by its (hyperbolic) pair of pants decomposition. Then we can construct the moduli space of tropicalizations based on a fixed regular tropicalization, and compactify it by adding strata parametrizing weighted contractions. We show that this compact moduli space is also Hausdorff. In the end, we compare this moduli space with the moduli space of Riemann surfaces, establishing a partial order-preserving correspondence between the stratificat…
We study moduli spaces of rational graphically stable tropical curves and a refinement given by radial alignment. Given a complete multipartite graph $Γ$, the moduli space of radially aligned $Γ$-stable tropical curves can be given the structure of a balanced fan. This fan structure coincides with the Bergman fan of the cycle matroid of $Γ$.
We define the tropical moduli space of covers of a tropical line in the plane as weighted abstract polyhedral complex, and the tropical branch map recording the images of the simple ramifications. Our main result is the invariance of the degree of the branch map, which enables us to give a tropical intersection-theoretic definition of tropical triple Hurwitz numbers. We show that our intersection-theoretic definition coincides with the one given by Bertrand, Brugallé and Mikhalkin in the article "Tropical Open Hurwitz numbers" where a Correspondence Theorem for Hurwitz numbers is proved. Thus …
We investigate geometric embeddings among several classes of stacky fans and algorithms, e.g., to compute their homology. Interesting cases arise from moduli spaces of tropical curves. Specifically, we show that the tropical honeycomb curves form a contractible sub-locus in the moduli of all tropical $K_4$-curves.
We compute the $S_n$-equivariant rational homology of the tropical moduli spaces $Δ_{2,n}$ for $n\leq 8$ using a cellular chain complex for symmetric $Δ$-complexes in Sage.
We study moduli spaces of rational weighted stable tropical curves, and their connections with the classical Hassett spaces. Given a vector w of weights, the moduli space of tropical w-stable curves can be given the structure of a balanced fan if and only if w has only heavy and light entries. In this case, we can express the moduli space as the Bergman fan of a graphic matroid. Furthermore, we realize the tropical moduli space as a geometric tropicalization, and as a Berkovich skeleton, of the classical moduli space. This builds on previous work of Tevelev, Gibney--Maclagan, and Abramovich--C…
We study the moduli space of $d$-dimensional linear subspaces contained in a fixed $(d+1)$-dimensional linear variety $X$, and its tropicalization. We prove that these moduli spaces are linear subspaces themselves, and thus their tropicalization is completely determined by their associated (valuated) matroids. We show that these matroids can be interpreted as the matroid of lines of the hyperplane arrangement corresponding to $X$, and generically are equal to a Dilworth truncation of the free matroid. In this way, we can describe combinatorially tropicalized Fano schemes and tropicalizations o…
We study the moduli space of metric graphs that arise from tropical plane curves. There are far fewer such graphs than tropicalizations of classical plane curves. For fixed genus $g$, our moduli space is a stacky fan whose cones are indexed by regular unimodular triangulations of Newton polygons with $g$ interior lattice points. It has dimension $2g+1$ unless $g \leq 3$ or $g = 7$. We compute these spaces explicitly for $g \leq 5$.
We prove the following "linkage" theorem: two p-regular graphs of the same genus can be obtained from one another by a finite alternating sequence of one-edge-contractions; moreover this preserves 3-edge-connectivity. We use the linkage theorem to prove that various moduli spaces of tropical curves are connected through codimension one.
We study the topology of the link $M^{\mathrm{trop}}_{g,n}[1]$ of the tropical moduli spaces of curves when g=2. Tropical moduli spaces can be identified with boundary complexes for $\mathcal{M}_{g,n}$, as shown by Abramovich-Caporaso-Payne, so their reduced rational homology encodes top-weight rational cohomology of the complex moduli spaces $\mathcal{M}_{g,n}$. We prove that $M^{\mathrm{trop}}_{2,n}[1]$ is an $n$-connected topological space whose reduced integral homology is supported in the top two degrees only. We compute the reduced Euler characteristic of $M^{\mathrm{trop}}_{g,n}[1]$ for…
We study how changing the weight datum $\mathcal{A}=(a_1,...,a_n)\in(\mathbb{Q}\cap(0,1])^n$ affects the topology of tropical moduli spaces $M_{g,\mathcal{A}}^{trop}$, $\overline{M}_{g,\mathcal{A}}^{trop}$ and $Δ_{g,\mathcal{A}}$ and the homology of the latter one. We show that for fixed $g$ and $n$, there are particular filtrations of these topological spaces which we can use to compute the reduced rational homology of $Δ_{g,\mathcal{A}}$ and the top weight cohomology of the moduli space $\mathcal{M}_{g,\mathcal{A}}$ of smooth $(g,\mathcal{A})$-stable algebraic curves.
In the first part of this paper, we discuss the notion of irreducibility of cycles in the moduli spaces of n-marked rational tropical curves. We prove that Psi-classes and vital divisors are irreducible, and that locally irreducible divisors are also globally irreducible for n \leq 6. In the second part of the paper, we show that the locus of point configurations in (\R^2)^n in special position for counting rational plane curves (defined in two different ways) can be given the structure a tropical cycle of codimension 1. In addition, we compute explicitly the weights of this cycle.
We study the relationship between tropical and classical Hurwitz moduli spaces. Following recent work of Abramovich, Caporaso and Payne, we outline a tropicalization for the moduli space of generalized Hurwitz covers of an arbitrary genus curve. Our approach is to appeal to the geometry of admissible covers, which compactify the Hurwitz scheme. We define and construct a moduli space of tropical admissible covers, and study its relationship with the skeleton of the Berkovich analytification of the classical space of admissible covers. We use techniques from non-archimedean geometry to show that…
This paper is a combinatorial and computational study of the moduli space of tropical curves of genus g, the moduli space of principally polarized tropical abelian varieties, and the tropical Torelli map. These objects were introduced recently by Brannetti, Melo, and Viviani. Here, we give a new definition of the category of stacky fans, of which the aforementioned moduli spaces are objects and the Torelli map is a morphism. We compute the poset of cells of tropical M_g and of the tropical Schottky locus for genus at most 5. We show that tropical A_g is Hausdorff, and we also construct a finit…
The image of the complement of a hyperplane arrangement under a monomial map can be tropicalized combinatorially using matroid theory. We apply this to classical moduli spaces that are associated with complex reflection arrangements. Starting from modular curves, we visit the Segre cubic, the Igusa quartic, and moduli of marked del Pezzo surfaces of degrees 2 and 3. Our primary example is the Burkhardt quartic, whose tropicalization is a 3-dimensional fan in 39-dimensional space. This effectuates a synthesis of concrete and abstract approaches to tropical moduli of genus 2 curves.
Given integers $g \geq 0$, $n \geq 1$, and a vector $w \in (\mathbb{Q} \cap (0, 1])^n$ such that ${2g - 2 + \sum w_i > 0}$, we study the topology of the moduli space $Δ_{g, w}$ of $w$-stable tropical curves of genus $g$ with volume 1. The space $Δ_{g, w}$ is the dual complex of the divisor of singular curves in Hassett's moduli space of $w$-stable genus $g$ curves $\overline{\mathcal{M}}_{g, w}$. When $g \geq 1$, we show that $Δ_{g, w}$ is simply connected for all values of $w$. We also give a formula for the Euler characteristic of $Δ_{g, w}$ in terms of the combinatorics of $w$.
We apply the tropical intersection theory developed by L. Allermann and J. Rau to compute intersection products of tropical Psi-classes on the moduli space of rational tropical curves. We show that in the case of zero-dimensional (stable) intersections, the resulting numbers agree with the intersection numbers of Psi-classes on the moduli space of n-marked rational curves computed in algebraic geometry.
We construct the moduli spaces of tropical curves and tropical principally polarized abelian varieties, working in the category of (what we call) stacky fans. We define the tropical Torelli map between these two moduli spaces and we study the fibers (tropical Torelli theorem) and the image of this map (tropical Schottky problem). Finally we determine the image of the planar tropical curves via the tropical Torelli map and we use it to give a positive answer to a question raised by Namikawa on the compactified classical Torelli map.
We compactify the classical moduli variety of compact Riemann surfaces by attaching moduli of (metrized) graphs as boundary. The compactifications do not admit the structure of varieties and patch together to form a big connected moduli space in which $\sqcup_{g} M_{g}$ is open dense. The metrized graphs, which are often studied as "tropical curves", are obtained as Gromov-Hausdorff collapse by fixing diameters of the hyperbolic metrics of the Riemann surfaces. This phenomenon can be also seen as an archemidean analogue of the tropicalization of Berkovich analytification of $M_{g}$ (cf., [ACP]…
We study the topology of the tropical moduli space parametrizing stable tropical curves of genus g with n marked points in which the bounded edges have total length 1, and prove that it is highly connected. Using the identification of this space with the dual complex of the boundary in the moduli space of stable algebraic curves, we give a simple expression for the top weight cohomology of M_{1,n} as a representation of the symmetric group and describe an explicit dual basis in homology consisting of abelian cycles for the pure mapping class group.
We introduce a tropical geometric framework that allows us to define $ψ$ classes for moduli spaces of tropical curves of arbitrary genus. We prove correspondence theorems between algebraic and tropical $ψ$ classes for some one-dimensional families of genus-one tropical curves.
We use tropical and nonarchimedean geometry to study the moduli space of genus $0$ stable maps to $\mathbb{P}^1$ relative to two points. This space is exhibited as a tropical compactification in a toric variety. Moreover, the fan of this toric variety may be interpreted as a moduli space for tropical relative stable maps with the same discrete data. As a consequence, we confirm an expectation of Bertram and the first two authors, that the tropical Hurwitz cycles are tropicalizations of classical Hurwitz cycles. As a second application, we obtain a full descendant correspondence for genus $0$ r…
Mustafin varieties are flat degenerations of projective spaces, induced by a choice of an $n-$tuple of lattices in a vector space over a non-archimedean field. They were introduced by Mustafin in the 70s in order to generalise Mumford's groundbreaking work on the unformisation of curves to higher dimension. These varieties have a rich combinatorial structure as can be seen in pioneering work of Cartwright, Häbich, Sturmfels and Werner. In this paper, we introduce a new approach to Mustafin varieties in terms of images of rational maps, which were studied by Li. Applying tropical intersection t…
We exploit three classical characterizations of smooth genus two curves to study their tropical and analytic counterparts. First, we provide a combinatorial rule to determine the dual graph of each algebraic curve and the metric structure on the associated minimal Berkovich skeleton. Our main tool is the description of genus two curves via hyperelliptic covers of P^1 with six branch points. Given the valuations of these six points and their differences, our algorithm provides an explicit harmonic 2-to-1 map to a metric tree on six leaves. Second, we use tropical modifications to produce a fait…
We study the intersection of tropical psi-classes on tropical heavy/light Hassett spaces, generalising a result of Kerber--Markwig for tropical moduli spaces of rational stable curves with distinct marked points. Our computation reveals that the weight of a maximal cone in an intersection has a combinatorial intepretation in terms of the underlying tropical curve and it is always nonnegative. In particular, our result specialises to that, in top dimension, the tropical intersection product coincides with its classical counterpart.
We introduce and study polystable divisors on a tropical curve, which are the tropical analogue of polystable torsion-free rank-1 sheaves on a nodal curve. We construct a universal tropical Jacobian over the moduli space of tropical curves of genus $g$. This space parametrizes equivalence classes of tropical curves of genus $g$ together with a $μ$-polystable divisor, and can be seen as a tropical counterpart of Caporaso universal Picard scheme. We describe polyhedral decompositions of the Jacobian of a tropical curve via polystable divisors, relating them with other known polyhedral decomposit…
In this paper, we present a unified study of the moduli space of tropical curves and Outer space which we link via period maps to the moduli space of tropical abelian varieties and the space of positive definite quadratic forms. Our work is a first step towards exhibiting Outer space and the space of positive definite quadratic forms as analogues of Teichmüller space and Siegel space, respectively, in tropical geometry. All these spaces and the maps among them are described within the category of ideal stacky fans, which we describe in detail.
We define tropical Psi-classes on the moduli space of rational tropical curves in R^2 and consider intersection products of Psi-classes and pull-backs of evaluations on this space. We show a certain WDVV equation which is sufficient to prove that tropical numbers of curves satisfying certain Psi- and evaluation conditions are equal to the corresponding classical numbers. We present an algorithm that generalizes Mikhalkin's lattice path algorithm and counts rational plane tropical curves satisfying certain Psi- and evaluation conditions.
The present paper is a sequel to our work on hybrid geometry of curves and their moduli spaces. We introduce a notion of hybrid Laplacian, formulate a hybrid Poisson equation, and give a mathematical meaning to the convergence both of the Laplace operator and the solutions to the Poisson equation on Riemann surfaces. As the main theorem of this paper, we then obtain a layered description of the asymptotics of Arakelov Green functions on Riemann surfaces close to the boundary of their moduli spaces. This is done in terms of a suitable notion of hybrid Green functions. As a byproduct of our appr…
The moduli space $Δ_{g,w}$ of tropical $w$-weighted stable curves of volume $1$ is naturally identified with the dual complex of the divisor of singular curves in Hassett's spaces of $w$-weighted stable curves. If at least two of the weights are $1$, we prove that $Δ_{0,w}$ is homotopic to a wedge sum of spheres, possibly of varying dimensions. Under additional natural hypotheses on the weight vector, we establish explicit formulas for the Betti numbers of the spaces. We exhibit infinite families of weights for which the space $Δ_{0,w}$ is disconnected and for which the fundamental group of $Δ…
We introduce the notion of tropical area of a tropical curve defined in an open subset of $\mathbb R^n$. We prove that the number of vertices of a tropical curve is bounded by the area of the curve. The approach is totally elementary yet tricky. Our proof employs ideas from intersection theory in algebraic geometry. The result can be interpreted as the fact that the moduli space of tropical curves with bounded area is of finite type.
In this article, we present a massively parallel framework for computing tropicalizations of algebraic varieties which can make use of finite symmetries. We compute the tropical Grassmannian TGr$_0(3,8)$, and show that it refines the $15$-dimensional skeleton of the Dressian Dr$(3,8)$ with the exception of $23$ special cones for which we construct explicit obstructions to the realizability of their tropical linear spaces. Moreover, we propose algorithms for identifying maximal-dimensional tropical cones which belong to the positive tropicalization. These algorithms exploit symmetries of the tr…
We introduce a moduli functor for varieties whose tropicalization realizes a given weighted fan and show that this functor is an algebraic space in general, and is represented by a scheme of finite type when the associated toric variety is quasiprojective. We study the geometry of these tropical realization spaces for the matroid fans studied by Ardila and Klivans, and show that the tropical realization space of a matroid fan is a torus torsor over the realization space of the matroid. As a consequence, we deduce that these tropical realization spaces satisfy Murphy's Law.
Brodsky, Joswig, Morrison and Sturmfels showed that not all abstract tropical curves of genus $3$ can be realized as a tropicalization of a quartic in the euclidean plane. In this article, we focus on the interior of the maximal cones in the moduli space and classify all curves which can be realized as a faithful tropicalization in a tropical plane. Reflecting the algebro-geometric world, we show that these are exactly those which are not realizably hyperelliptic. Our approach is constructive: For any not realizably hyperelliptic curve, we explicitly construct a realizable model of the tropica…
We study the locus of tropical hyperelliptic curves inside the moduli space of tropical curves of genus g. We define a harmonic morphism of metric graphs and prove that a metric graph is hyperelliptic if and only if it admits a harmonic morphism of degree 2 to a metric tree. This generalizes the work of Baker and Norine on combinatorial graphs to the metric case. We then prove that the locus of 2-edge-connected genus g tropical hyperelliptic curves is a (2g-1)-dimensional stacky polyhedral fan whose maximal cells are in bijection with trees on g-1 vertices with maximum valence 3. Finally, we s…
The space T_{d,n} of n tropically collinear points in a fixed tropical projective space TP^{d-1} is equivalent to the tropicalization of the determinantal variety of matrices of rank at most 2, which consists of real d x n matrices of tropical or Kapranov rank at most 2, modulo projective equivalence of columns. We show that it is equal to the image of the moduli space M_{0,n}(TP^{d-1},1) of n-marked tropical lines in TP^{d-1} under the evaluation map. Thus we derive a natural simplicial fan structure for T_{d,n} using a simplicial fan structure of M_{0,n}(TP^{d-1},1) which coincides with that…
We study the behavior of phylogenetic tree shapes in the tropical geometric interpretation of tree space. Tree shapes are formally referred to as tree topologies; a tree topology can also be thought of as a tree combinatorial type, which is given by the tree's branching configuration and leaf labeling. We use the tropical line segment as a framework to define notions of variance as well as invariance of tree topologies: we provide a combinatorial search theorem that describes all tree topologies occurring along a tropical line segment, as well as a setting under which tree topologies do not ch…
Given a lattice polygon $P$ with $g$ interior lattice points, we associate to it the moduli space of tropical curves of genus $g$ with Newton polygon $P$. We completely classify the possible dimensions such a moduli space can have. For non-hyperelliptic polygons the dimension must be between $g$ and $2g+1$, and can take on any integer value in this range, with exceptions only in the cases of genus $3$, $4$, and $7$. We provide a similar result for hyperelliptic polygons, for which the range of dimensions is from $g$ to $2g-1$. In the case of non-hyperelliptic polygons, our results also hold fo…
Beijing Institute of Mathematical Sciences and Applications（北京数学与应用数学研究所）；Massachusetts Institute of Technology（麻省理工学院）；Yau Mathematical Sciences Center, Tsinghua University（清华大学丘成桐数学科学中心）
