Article contents
The essential dimension of congruence covers
Published online by Cambridge University Press: 27 October 2021
Abstract
Consider the algebraic function $\Phi _{g,n}$ that assigns to a general
$g$-dimensional abelian variety an
$n$-torsion point. A question first posed by Klein asks: What is the minimal
$d$ such that, after a rational change of variables, the function
$\Phi _{g,n}$ can be written as an algebraic function of
$d$ variables? Using techniques from the deformation theory of
$p$-divisible groups and finite flat group schemes, we answer this question by computing the essential dimension and
$p$-dimension of congruence covers of the moduli space of principally polarized abelian varieties. We apply this result to compute the essential
$p$-dimension of congruence covers of the moduli space of genus
$g$ curves, as well as its hyperelliptic locus, and of certain locally symmetric varieties. These results include cases where the locally symmetric variety
$M$ is proper. As far as we know, these are the first examples of nontrivial lower bounds on the essential dimension of an unramified, nonabelian covering of a proper algebraic variety.
MSC classification
- Type
- Research Article
- Information
- Copyright
- © 2021 The Author(s). The publishing rights in this article are licensed to Foundation Compositio Mathematica under an exclusive licence
Footnotes
The authors are partially supported by NSF grants DMS-1811772 (BF), DMS-1601054 (MK) and DMS-1811846 (JW).
References
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20211124021055468-0063:S0010437X21007594:S0010437X21007594_inline2002.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20211124021055468-0063:S0010437X21007594:S0010437X21007594_inline2003.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20211124021055468-0063:S0010437X21007594:S0010437X21007594_inline2004.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20211124021055468-0063:S0010437X21007594:S0010437X21007594_inline2005.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20211124021055468-0063:S0010437X21007594:S0010437X21007594_inline2006.png?pub-status=live)
- 3
- Cited by