arXiv subjects
Publications and source records attributed to Aaron Landesman.
Let $d \geq 4$ and let $U_d$ denote the locus of smooth curves in the Hilbert scheme of degree $d$ plane curves. If the members of $U_d$ have genus $g$, let $\mathscr{M}_g$ denote the moduli stack of genus $g$ curves. We show that the natural map $[U_d/\operatorname{PGL}_3] \to \mathscr{M}_g$ is a locally closed embedding.
We prove a version of the Bhargava-Kane-Lenstra-Poonen-Rains heuristics for Selmer groups of quadratic twist families of abelian varieties over global function fields. As a consequence, we derive a result towards the "minimalist conjecture" on Selmer ranks of abelian varieties in such families. More precisely, we show that the probabilities predicted in these two conjectures are correct to within an error term in the size of the constant field, $q$, which goes to $0$ as $q$ grows. Two key inputs are a new homological stability theorem for a generalized version of Hurwitz spaces parameterizing covers of punctured Riemann surfaces of arbitrary genus, and an expression of average sizes of Selmer groups in terms of the number of rational points on these Hurwitz spaces over finite fields.
Let $Σ_{g'}\to Σ_g$ be a cover of an orientable surface of genus g by an orientable surface of genus g', branched at n points, with Galois group H. Such a cover induces a virtual action of the mapping class group $\text{Mod}_{g,n+1}$ of a genus g surface with n+1 marked points on $H^1(Σ_{g'}, \mathbb{C})$. When g is large in terms of the group H, we calculate precisely the connected monodromy group of this action. The methods are Hodge-theoretic and rely on a "generic Torelli theorem with coefficients."
For $2 \leq d \leq 5$, we show that the class of the Hurwitz space of smooth degree $d$, genus $g$ covers of $\mathbb P^1$ stabilizes in the Grothendieck ring of stacks as $g \to \infty$, and we give a formula for the limit. We also verify this stabilization when one imposes ramification conditions on the covers, and obtain a particularly simple answer for this limit when one restricts to simply branched covers.
We show that the homology of modules for Hurwitz spaces stabilizes and compute its stable value. As one consequence, we compute the moments of Selmer groups in quadratic twist families of abelian varieties over suitably large function fields. As a second consequence, we deduce a version of Bhargava's conjecture, counting the number of $S_d$ degree $d$ extensions of $\mathbb F_q(t)$, for suitably large $q$. As a third consequence, we deduce that the homology of Hurwitz spaces associated to racks with a single component satisfy representation stability.
We compute the average number of surjections from class groups of quadratic function fields over $\mathbb F_q(t)$ onto finite odd order groups $H$, once $q$ is sufficiently large. These yield the first known moments of these class groups, as predicted by the Cohen--Lenstra heuristics, apart from the case $H = \mathbb Z/3\mathbb Z$. The key input to this result is a topological one, where we compute the stable rational homology groups of Hurwitz spaces associated to non-splitting conjugacy classes.
We show the homology of the Hurwitz space associated to an arbitrary finite rack stabilizes integrally in a suitable sense. We also compute the dominant part of its stable homology after inverting finitely many primes. This proves a conjecture of Ellenberg--Venkatesh--Westerland and improves upon our previous results for non-splitting racks. We obtain applications to Malle's conjecture, the Picard rank conjecture, and the Cohen--Lenstra--Martinet heuristics.
Let $Σ_{g,n}$ be an orientable surface of genus $g$ with $n$ punctures. We study actions of the mapping class group of $Σ_{g,n}$ via Hodge-theoretic and arithmetic techniques. We show that if $$ρ: π_1(Σ_{g,n})\to GL_r(\mathbb{C})$$ is a representation whose conjugacy class has finite orbit under the mapping class group, and $r<\sqrt{g+1}$, then $ρ$ has finite image. This answers questions of Junho Peter Whang and Mark Kisin. We give applications of our methods to the Putman-Wieland conjecture, the Fontaine-Mazur conjecture, and a question of Esnault-Kerz. The proofs rely on non-abelian Hodge theory, our earlier work on semistability of isomonodromic deformations, and recent work of Esnault-Groechenig and Klevdal-Patrikis on Simpson's integrality conjecture for cohomologically rigid local systems.
We show that the minimum rank of a non-isotrivial local system of geometric origin, on a suitably general $n$-pointed curve of genus $g$, is at least $2\sqrt{g+1}$. We apply this result to resolve conjectures of Esnault-Kerz and Budur-Wang. The main input is an analysis of stability properties of flat vector bundles under isomonodromic deformation, which additionally answers questions of Biswas, Heu, and Hurtubise.
We solve Prill's problem, originally posed by David Prill in the late 1970s and popularized in ACGH's "Geometry of Algebraic Curves." That is, for any curve $Y$ of genus $2$, we produce a finite étale degree $36$ connected cover $f: X \to Y$ where, for every point $y \in Y$, $f^{-1}(y)$ moves in a pencil.
We give algebraic and geometric perspectives on our prior results toward the Putman-Wieland conjecture. This leads to interesting new constructions of families of "origami" curves whose Jacobians have high-dimensional isotrivial isogeny factors. We also explain how a hyperelliptic analogue of the Putman-Wieland conjecture fails, following work of Marković.
We give an different proof of our result computing the stable homology of dihedral group Hurwitz spaces. This proof employs more elementary methods, instead of higher algebra.
We show that the tame étale fundamental group of a connected normal finite type separated scheme remains invariant upon base change between algebraically closed fields of characteristic $p \geq 0$.
We give two applications of our prior work toward the Putman-Wieland conjecture. First, we deduce a strengthening of a result of Marković-Tošić on virtual mapping class group actions on the homology of covers. Second, let $g\geq 2$ and let $Σ_{g',n'}\to Σ_{g, n}$ be a finite $H$-cover of topological surfaces. We show the virtual action of the mapping class group of $Σ_{g,n+1}$ on an $H$-isotypic component of $H^1(Σ_{g'})$ has non-unitary image.
Let X be a 2-sphere with n punctures. We classify all conjugacy classes of Zariski-dense representations $$ρ: π_1(X)\to SL_2(\mathbb{C})$$ with finite orbit under the mapping class group of X, such that the local monodromy at one or more punctures has infinite order. We show that all such representations are "of pullback type" or arise via middle convolution from finite complex reflection groups. In particular, we classify all rank 2 local systems of geometric origin on the projective line with n generic punctures, and with local monodromy of infinite order about at least one puncture.
We give a new geometric description of when an element of the class group of a quadratic field, thought of as a quadratic form $q$, is $n$-torsion. We show that $q$ corresponds to an $n$-torsion element if and only if there exists a degree $n$ polynomial whose resultant with $q$ is $\pm 1$. This is motivated by a more precise geometric parameterization which directly connects torsion in class groups of quadratic fields to Selmer groups of singular genus $1$ curves.
We prove that for every smooth projective integral curve $X$ of genus at least $2$ over $\mathbb C$, there exists $x \in X(\mathbb C)$ such that no connected finite étale cover of $X-\{x\}$ admits a nonconstant morphism to $\mathbb G_m$. This has implications for the applicability of Baker's method to determining integral points on curves.
We show there are no stacky heights on the moduli stack of stable elliptic curves in characteristic $3$ which induce the usual Faltings height, negatively answering a question of Ellenberg, Satriano, and Zureick-Brown.