Topology of tropical moduli of weighted stable curves
Authors:
Alois Cerbu,
Steffen Marcus,
Luke Peilen,
Dhruv Ranganathan,
Andrew Salmon
Abstract:
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 vec…
▽ More
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 $Δ_{0,w}$ has torsion. In the latter case, the universal cover is shown to have a natural modular interpretation. This places the weighted variant of the space in stark contrast to the heavy/light cases studied previously by Vogtmann and Cavalieri-Hampe-Markwig-Ranganathan. Finally, we prove a structural result relating the spaces of weighted stable curves in genus $0$ and $1$, and leverage this to extend several of our genus $0$ results to the spaces $Δ_{1,w}$.
△ Less
Submitted 1 April, 2019; v1 submitted 18 August, 2017;
originally announced August 2017.
The cycle structure of a Markoff automorphism over finite fields
Authors:
Alois Cerbu,
Elijah Gunther,
Michael Magee,
Luke Peilen
Abstract:
We begin an investigation of the action of pseudo-Anosov elements of $\mathrm{Out}(\mathbf{F}_{2})$ on the Markoff-type varieties \[ \mathbb{X}_κ:\:x^{2}+y^{2}+z^{2}=xyz+2+κ\] over finite fields $\mathbb{F}_{p}$ with $p$ prime. We first make a precise conjecture about the permutation group generated by $\mathrm{Out}(\mathbf{F}_{2})$ on $\mathbb{X}_{-2}(\mathbb{F}_{p})$ that shows there is no obstr…
▽ More
We begin an investigation of the action of pseudo-Anosov elements of $\mathrm{Out}(\mathbf{F}_{2})$ on the Markoff-type varieties \[ \mathbb{X}_κ:\:x^{2}+y^{2}+z^{2}=xyz+2+κ\] over finite fields $\mathbb{F}_{p}$ with $p$ prime. We first make a precise conjecture about the permutation group generated by $\mathrm{Out}(\mathbf{F}_{2})$ on $\mathbb{X}_{-2}(\mathbb{F}_{p})$ that shows there is no obstruction at the level of the permutation group to a pseudo-Anosov acting `generically'. We prove that this conjecture is sharp. We show that for a fixed pseudo-Anosov $g\in\mathrm{Out}(\mathbf{F}_{2})$, there is always an orbit of $g$ of length $\geq C\log p+O(1)$ on $\mathbb{X}_κ(\mathbb{F}_{p})$ where $C>0$ is given in terms of the eigenvalues of $g$ viewed as an element of $\mathrm{GL}_{2}(\mathbf{Z})$. This improves on a result of Silverman (2007) that applies to general morphisms of quasi-projective varieties. We have discovered that the asymptotic $(p\to\infty)$ behavior of the longest orbit of a fixed pseudo-Anosov $g$ acting on $\mathbb{X}_{-2}(\mathbb{F}_{p})$ is dictated by a dichotomy that we describe both in combinatorial terms and in algebraic terms related to Gauss's ambiguous binary quadratic forms, following Sarnak. This dichotomy is illustrated with numerics, based on which we formulate a precise conjecture.
△ Less
Submitted 15 March, 2018; v1 submitted 22 October, 2016;
originally announced October 2016.
