Abstract
Over an algebraically closed field of characteristic p, there are three group schemes of order p, namely the ordinary cyclic group ℤ/p, the multiplicative group \(\mu_{p}\subset\mathbb{G}_{m}\), and the additive group αp ⊂ \(\mathbb{G}_{a}\). The Tate-Oort group scheme \(\mathbb{TO}_p\) puts these into one happy family, together with the cyclic group of order p in characteristic zero. This paper studies a simplified form of \(\mathbb{TO}_p\), focusing on its representation theory and basic applications in geometry. A final section describes more substantial applications to varieties having p-torsion in Picτ, notably the 5-torsion Godeaux surfaces and Calabi-Yau threefolds obtained from \(\mathbb{TO}_5\)-invariant quintics.
Similar content being viewed by others
References
E. Bombieri and D. Mumford, “Enriques’ classification of surfaces in char. p. III,” Invent. Math. 35, 197–232 (1976).
W. Bosma, J. Cannon, and C. Playoust, “The Magma algebra system. I: The user language,” J. Symb. Comput. 24 (3–4), 235–265 (1997).
P. Deligne and M. Rapoport, “Les schémas de modules de courbes elliptiques,” in Modular Functions of One Variable II: Proc. Int. Summer Sch., Antwerp, 1972 (Springer, Berlin, 1973), Lect. Notes Math. 349, pp. 143–316.
N. Jacobson, Lectures in Abstract Algebra, Vol. III: Theory of Fields and Galois Theory (D. Van Nostrand, Princeton, NJ, 1964).
S. Kim, “Numerical Godeaux surfaces with an involution in positive characteristic,” Proc. Japan Acad., Ser. A 90 (8), 113–118 (2014).
C. Liedtke, “Arithmetic moduli and lifting of Enriques surfaces,” J. Reine Angew. Math. 706, 35–65 (2015).
“Magma calculator,” http://magma.maths.usyd.edu.au/calc/
P. M. Nanninga, “Cauchy-Mirimanoff and related polynomials,” J. Aust. Math. Soc. 92 (2), 269–280 (2012).
P. M. Nanninga, “On Cauchy-Mirimanoff and related polynomials,” PhD Thesis (Aust. Natl. Univ., Canberra, 2013).
M. Reid, “The Tate-Oort group scheme \(\mathbb{TO}_p\) and Godeaux surfaces,” https://www.warwick.ac.uk/staff/Miles.Reid/TOp
A. N. Rudakov and I. R. Šafarevič, “Inseparable morphisms of algebraic surfaces,” Math. USSR, Izv. 10 (6), 1205–1237 (1976) [transl. from Izv. Akad. Nauk SSSR, Ser. Mat. 40 (6), 1269–1307 (1976)].
J. Tate, “Finite flat group schemes,” in Modular Forms and Fermat’s Last Theorem: Papers from a Conf., Boston, 1995 (Springer, New York, 1997), pp. 121–154.
J. Tate and F. Oort, “Group schemes of prime order,” Ann. Sci. Éc. Norm. Supér., Sér. 4, 3, 1–21 (1970).
Acknowledgments
The context for this work includes p-closed vector fields and inseparable covers, much of which I learned from Shafarevich while he was working on his paper on K3 surfaces [11] with Rudakov. It is a pleasure to acknowledge this debt by dedicating the paper to his memory.
My involvement with group schemes of order p started during a visiting professorship at Sogang University, Seoul, on a Korean government grant, in connection with Soonyoung Kim’s 2014 PhD thesis [5] on Godeaux surfaces. I am extremely grateful to Yongnam Lee for his work setting up and administering the grant, for his generous hospitality, and for setting the thesis problem. Different aspects of my work benefited from extended stays at Sogang University and at KIAS over many years.
Funding
The bulk of this paper was written during a spring 2019 residence at MSRI, Berkeley, California, supported by NSF grant no. 1440140.
Author information
Authors and Affiliations
Corresponding author
Additional information
In memory of Igor Rostislavovich Shafarevich, from whom we have all learned so much
Published in Russian in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2019, Vol. 307, pp. 267–290.
Rights and permissions
About this article
Cite this article
Reid, M. The Tate-Oort Group Scheme \(\mathbb{TO}_p\). Proc. Steklov Inst. Math. 307, 245–266 (2019). https://doi.org/10.1134/S0081543819060154
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0081543819060154