No Arabic abstract
We develop techniques for studying fundamental groups and integral singular homology of symmetric Delta-complexes, and apply these techniques to study moduli spaces of stable tropical curves of unit volume, with and without marked points. As one application, we show that Delta_g and Delta_{g,n} are simply connected, for positive g. We also show that Delta_3 is homotopy equivalent to the 5-sphere, and that Delta_4 has 3-torsion in H_5.
We study a space of genus $g$ stable, $n$-marked tropical curves with total edge length $1$. Its rational homology is identified both with top-weight cohomology of the complex moduli space $M_{g,n}$ and with the homology of a marked version of Kontsevichs graph complex, up to a shift in degrees. We prove a contractibility criterion that applies to various large subspaces. From this we derive a description of the homotopy type of the tropical moduli space for $g = 1$, the top weight cohomology of $M_{1,n}$ as an $S_n$-representation, and additional calculations for small $(g,n)$. We also deduce a vanishing theorem for homology of marked graph complexes from vanishing of cohomology of $M_{g,n}$ in appropriate degrees, and comment on stability phenomena, or lack thereof.
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 study the embedding of the moduli of tropical honeycomb curves into the moduli of all tropical $K_4$-curves.
Let $X$ be a smooth projective curve of genus $g geq 2$ and $M$ be the moduli space of rank 2 stable vector bundles on $X$ whose determinants are isomorphic to a fixed odd degree line bundle $L$. There has been a lot of works studying the moduli and recently the bounded derived category of coherent sheaves on $M$ draws lots of attentions. It was proved that the derived category of $X$ can be embedded into the derived category of $M$ by the second named author and Fonarev-Kuznetsov. In this paper we prove that the derived category of the second symmetric product of $X$ can be embedded into derived category of $M$ when $X$ is non-hyperelliptic and $g geq 16$.
We use recent results by Bainbridge-Chen-Gendron-Grushevsky-Moeller on compactifications of strata of abelian differentials to give a comprehensive solution to the realizability problem for effective tropical canonical divisors in equicharacteristic zero. Given a pair $(Gamma, D)$ consisting of a stable tropical curve $Gamma$ and a divisor $D$ in the canonical linear system on $Gamma$, we give a purely combinatorial condition to decide whether there is a smooth curve $X$ over a non-Archimedean field whose stable reduction has $Gamma$ as its dual tropical curve together with a effective canonical divisor $K_X$ that specializes to $D$. Along the way, we develop a moduli-theoretic framework to understand Bakers specialization of divisors from algebraic to tropical curves as a natural toroidal tropicalization map in the sense of Abramovich-Caporaso-Payne.
In this paper we prove several lifting theorems for morphisms of tropical curves. We interpret the obstruction to lifting a finite harmonic morphism of augmented metric graphs to a morphism of algebraic curves as the non-vanishing of certain Hurwitz numbers, and we give various conditions under which this obstruction does vanish. In particular we show that any finite harmonic morphism of (non-augmented) metric graphs lifts. We also give various applications of these results. For example, we show that linear equivalence of divisors on a tropical curve C coincides with the equivalence relation generated by declaring that the fibers of every finite harmonic morphism from C to the tropical projective line are equivalent. We study liftability of metrized complexes equipped with a finite group action, and use this to classify all augmented metric graphs arising as the tropicalization of a hyperelliptic curve. We prove that there exists a d-gonal tropical curve that does not lift to a d-gonal algebraic curve. This article is the second in a series of two.