Primitive elements for p-divisible groups

DOI10.1007/S40993-017-0084-8MaRDI QIDQ2409030zbMATH OpenOpenAlexFDO

Authors Robert Kottwitz, Preston Wake

Publication date 10 October 2017

Published in Research in Number Theory (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

full level structuresprimitive elements

Mathematics Subject Classification ID

Formal groups, (p)-divisible groups (14L05)

Abstract: We introduce the notion of primitive elements in arbitrary truncated $p$-divisible groups. By design, the scheme of primitive elements is finite and locally free over the base. Primitive elements generalize the "points of exact order $N$," developed by Drinfeld and Katz-Mazur for elliptic curves.

Review text

Let \(\mathcal G\) be a finite flat group scheme. Using Raynaud's theory of Haar measures of [\textit{M. Raynaud}, Bull. Soc. Math. Fr. 102, 241--280 (1974; Zbl 0325.14020)], the authors define a closed subscheme \(\mathcal G^\times\hookrightarrow\mathcal G\) by decreeing its ideal to be the line bundle of invariant measures on the Cartier dual of \(\mathcal G\). Moreover, if \(\mathcal G\) is a Barsotti-Tate group of level \(n\) for a prime number \(p\), the authors define the closed subscheme \(\mathcal G^{prim}\hookrightarrow\mathcal G\) of ``primitive elements to be the inverse image of \(\mathcal G[p]^\times\) under the canonical epimorphism \(\mathcal G\twoheadrightarrow\mathcal G[p]\). This concept paves the way for a new approach to integral models \(\mathfrak X\) of Shimura varieties with level \(\Gamma_1(p^n)\)-structure, simply by looking at the scheme \(\mathcal A[p^n]^{prim}\) where \(\mathcal A\) is the universal abelian \(g\)-fold (possibly with additional structure). These schemes are not necessarily normal, but they are still interesting counterweights to the more classical concept of moduli spaces of points ``with exact order \(p^n\), which seems to be limited to settings in which one can work with one-dimensional formal groups, as in [\textit{V. G. Drinfel'd}, Math. USSR, Sb. 23, 561--592 (1976; Zbl 0321.14014); translation from Mat. Sb., n. Ser. 94(136), 594--627 (1974)] or [\textit{N. M. Katz} and \textit{B. Mazur}, Arithmetic moduli of elliptic curves. Princeton, NJ: Princeton University Press (1985; Zbl 0576.14026)].

Recommendations

• Minimal \(p\)-divisible groups
• scientific article; zbMATH DE number 25943
• TRUNCATED BARSOTTI–TATE GROUPS AND DISPLAYS
• scientific article; zbMATH DE number 3973053
• Primary elements in formal modules

Cites work

• Arithmetic Moduli of Elliptic Curves. (AM-108)
• Bad Reduction of the Siegel Moduli Scheme of Genus Two with Γ o (p)-Level Structure
• ELLIPTIC MODULES
• Full level structures revisited: pairs of roots of unity
• Group schemes of prime order
• scientific article; zbMATH DE number 3957303 (Why is no real title available?)
• scientific article; zbMATH DE number 1098986 (Why is no real title available?)
• scientific article; zbMATH DE number 813698 (Why is no real title available?)
• scientific article; zbMATH DE number 1391023 (Why is no real title available?)
• Les Schémas de Modules de Courbes Elliptiques
• Schémas en groupes de type (p,\ldots,p)
• Shimura varieties with $\Gamma_1(p)$-level via Hecke algebra isomorphisms: the Drinfeld case

Cited in

(5)

• Full level structure on some group schemes
• scientific article; zbMATH DE number 22911 (Why is no real title available?)
• scientific article; zbMATH DE number 3194583 (Why is no real title available?)
• Kodaira-Spencer isomorphisms and degeneracy maps on Iwahori-level Hilbert modular varieties: the saving trace
• Collineation groups whose order is divisible by a p-primitive divisor

This page was built for publication: Primitive elements for \(p\)-divisible groups

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