The essential dimension of congruence covers

DOI10.1112/S0010437X21007594MaRDI QIDQ5014255zbMATH OpenOpenAlexFDO

Authors Benson Farb, Mark Kisin, Jesse Wolfson

Publication date 1 December 2021

Published in Compositio Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1901.09013

zbMATH Keywords

essential dimensionShimura varietiesfinite flat group schemes

Mathematics Subject Classification ID

Modular and Shimura varieties (14G35) Arithmetic aspects of modular and Shimura varieties (11G18)

Abstract: Consider the algebraic function $Ph{i}_{g,n}$ that assigns to a general $g$-dimensional abelian variety an $n$-torsion point. A question first posed by Kronecker and Klein asks: What is the minimal $d$ such that, after a rational change of variables, the function $Ph{i}_{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.

Recommendations

• Essential dimension of moduli of curves and other algebraic stacks
• The essential dimension of a \(g\)-dimensional complex abelian variety is \(2g\)
• Essential dimension of abelian varieties over number fields
• Finite groups scheme actions and incompressibility of Galois covers: beyond the ordinary case
• Coverings over tori and topological approach to Klein's resolvent problem

Cites work

• scientific article; zbMATH DE number 3681911 (Why is no real title available?)
• scientific article; zbMATH DE number 3693432 (Why is no real title available?)
• scientific article; zbMATH DE number 3749171 (Why is no real title available?)
• scientific article; zbMATH DE number 3598578 (Why is no real title available?)
• scientific article; zbMATH DE number 464655 (Why is no real title available?)
• scientific article; zbMATH DE number 1040513 (Why is no real title available?)
• scientific article; zbMATH DE number 894183 (Why is no real title available?)
• scientific article; zbMATH DE number 3257058 (Why is no real title available?)
• scientific article; zbMATH DE number 3337370 (Why is no real title available?)
• scientific article; zbMATH DE number 3337377 (Why is no real title available?)
• 2-adic integral canonical models
• Braid groups and Hodge theory
• Complete subvarieties of moduli spaces and the Prym map
• Critères de platitude et de projectivité. Techniques de platification d'un module. (Criterial of flatness and projectivity. Technics of flatification of a module.)
• Die Probleme der modernen Galoisschen Theorie
• Essential Dimensions of Algebraic Groups and a Resolution Theorem for G-Varieties
• Essential dimension
• Exponent and index of nonramified central simple algebras (with an appendix by Ofer Gabber).
• Generic Galois extensions and problems in field theory
• Hyperelliptic curves with prescribed \(p\)-torsion
• Integral models for Shimura varieties of abelian type
• On a Theorem of Torelli
• Stable trace formula: Elliptic singular terms
• The Torelli map restricted to the hyperelliptic locus
• The essential dimension of the normalizer of a maximal torus in the projective linear group
• The irreducibility of the space of curves of a given genus
• Varieties without extra automorphisms. II: Hyperelliptic curves

Cited in

(7)

• The behavior of essential dimension under specialization. II
• Algebraic groups. Abstracts from the workshop held April 18--24, 2021 (hybrid meeting)
• Finite groups scheme actions and incompressibility of Galois covers: beyond the ordinary case
• Modular functions and resolvent problems (with an appendix by Nate Harman)
• On the u^∞-torsion submodule of prismatic cohomology
• Fixed points, local monodromy, and incompressibility of congruence covers
• Essential dimension via prismatic cohomology

This page was built for publication: The essential dimension of congruence covers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5014255)