Every $BT_1$ group scheme appears in a Jacobian
Number Theory
2021-01-21 v1 Algebraic Geometry
Abstract
Let be a prime number and let be an algebraically closed field of characteristic . A group scheme over is a finite commutative group scheme which arises as the kernel of on a -divisible (Barsotti--Tate) group. Our main result is that every scheme group over occurs as a direct factor of the -torsion group scheme of the Jacobian of an explicit curve defined over . We also treat a variant with polarizations. Our main tools are the Kraft classification of group schemes, a theorem of Oda, and a combinatorial description of the de Rham cohomology of Fermat curves.
Cite
@article{arxiv.2101.07946,
title = {Every $BT_1$ group scheme appears in a Jacobian},
author = {Rachel Pries and Douglas Ulmer},
journal= {arXiv preprint arXiv:2101.07946},
year = {2021}
}
Comments
13 pages. This paper is derived from arxiv:2010.15160 which has been divided and streamlined