 NSFPAR ID:
 10330092
 Date Published:
 Journal Name:
 Compositio Mathematica
 Volume:
 157
 Issue:
 11
 ISSN:
 0010437X
 Page Range / eLocation ID:
 2407 to 2432
 Format(s):
 Medium: X
 Sponsoring Org:
 National Science Foundation
More Like this

The link between modular functions and algebraic functions was a driving force behind the 19th century study of both. Examples include the solutions by Hermite and Klein of the quintic via elliptic modular functions and the general sextic via level 2 hyperelliptic functions. This paper aims to apply modern arithmetic techniques to the circle of “resolvent problems” formulated and pursued by Klein, Hilbert and others. As one example, we prove that the essential dimension at 𝑝=2 for the symmetric groups 𝑆𝑛 is equal to the essential dimension at 2 of certain 𝑆𝑛coverings defined using moduli spaces of principally polarized abelian varieties. Our proofs use the deformation theory of abelian varieties in characteristic p, specifically SerreTate theory, as well as a family of remarkable mod 2 symplectic 𝑆𝑛representations constructed by Jordan. As shown in an appendix by Nate Harman, the properties we need for such representations exist only in the 𝑝=2 case. In the second half of this paper we introduce the notion of ℰversality as a kind of generalization of Kummer theory, and we prove that many congruence covers are ℰversal. We use these ℰversality result to deduce the equivalence of Hilbert’s 13th Problem (and related conjectures) with problems about congruence covers.more » « less

Abstract For
and$g\ge 2$ , let$n\ge 0$ denote the complex moduli stack of$\mathcal {H}_{g,n}\subset \mathcal {M}_{g,n}$ n marked smooth hyperelliptic curves of genusg . A normal crossings compactification of this space is provided by the theory of pointed admissible covers. We explicitly determine the resulting dual complex, and we use this to define a graph complex which computes the weight zero compactly supported cohomology of$\mathbb {Z}/2\mathbb {Z}$ . Using this graph complex, we give a sumovergraphs formula for the$\mathcal {H}_{g, n}$ equivariant weight zero compactly supported Euler characteristic of$S_n$ . This formula allows for the computeraided calculation, for each$\mathcal {H}_{g, n}$ , of the generating function$g\le 7$ for these equivariant Euler characteristics for all$\mathsf {h}_g$ n . More generally, we determine the dual complex of the boundary in any moduli space of pointed admissibleG covers of genus zero curves, whenG is abelian, as a symmetric complex. We use these complexes to generalize our formula for$\Delta $ to moduli spaces of$\mathsf {h}_g$ n pointed smooth abelian covers of genus zero curves. 
Abstract We define a notion of height for rational points with respect to a vector bundle on a proper algebraic stack with finite diagonal over a global field, which generalizes the usual notion for rational points on projective varieties. We explain how to compute this height for various stacks of interest (for instance: classifying stacks of finite groups, symmetric products of varieties, moduli stacks of abelian varieties, weighted projective spaces). In many cases, our uniform definition reproduces ways already in use for measuring the complexity of rational points, while in others it is something new. Finally, we formulate a conjecture about the number of rational points of bounded height (in our sense) on a stack $\mathcal {X}$ , which specializes to the Batyrev–Manin conjecture when $\mathcal {X}$ is a scheme and to Malle’s conjecture when $\mathcal {X}$ is the classifying stack of a finite group.more » « less

Let $V_1, V_2, V_3, \dots $ be a sequence of $\mathbb {Q}$vector spaces where $V_n$ carries an action of $\mathfrak{S}_n$. Representation stability and multiplicity stability are two related notions of when the sequence $V_n$ has a limit. An important source of stability phenomena arises when $V_n$ is the $d^{th}$ homology group (for fixed $d$) of the configuration space of $n$ distinct points in some fixed topological space $X$. We replace these configuration spaces with moduli spaces of tuples $(W_1, \dots, W_n)$ of subspaces of a fixed complex vector space $\mathbb {C}^N$ such that $W_1 + \cdots + W_n = \mathbb {C}^N$. These include the varieties of spanning line configurations which are tied to the Delta Conjecture of symmetric function theory.more » « less

We enumerate factorizations of a Coxeter element into arbitrary factors in the complex reflection groups G(d, 1, n) (the wreath product of the symmetric group with a cyclic group) and its subgroup G(d, d, n), applying combinatorial and algebraic methods, respectively. After a change of basis, the coefficients that appear are the same as those that appear in the corresponding enumeration in the symmetric group.more » « less