Transcendence of the Hodge–Tate filtration

Howe, Sean

Journal de théorie des nombres de Bordeaux, Tome 30 (2018) no. 2, pp. 671-680.

Soit $C$ une extension algébriquement close et complète de ${\mathbb{Q}}_p$. Nous démontrons qu’un groupe $p$-divisible $G/{𝒪}_C$ de dimension $1$ est défini sur un sous-corps $L\subset C$ complet pour une valuation discrète et contenant les ratios entre les périodes de Hodge–Tate si et seulement si $G$ est de type CM et si et seulement si les ratios entre les périodes engendrent une extension de ${\mathbb{Q}}_p$ de degré égal à la hauteur de la composante connexe neutre de $G$. C’est un analogue $p$-adique du résultat classique de transcendance de Schneider qui dit que, pour $\tau$ dans le demi-plan complexe supérieur, $\tau$ et $j\left(\tau \right)$ sont tous les deux algèbriques sur $\mathbb{Q}$ si et seulement si $\tau$ appartient à une extension quadratique de $\mathbb{Q}$. Nous discutons aussi brièvement d’une conjecture qui généralise ce résultat aux shtukas à une patte.

For $C$ a complete algebraically closed extension of ${\mathbb{Q}}_p$, we show that a one-dimensional $p$-divisible group $G/{𝒪}_C$ can be defined over a complete discretely valued subfield $L\subset C$ with Hodge–Tate period ratios contained in $L$ if and only if $G$ has CM, if and only if the period ratios generate an extension of ${\mathbb{Q}}_p$ of degree equal to the height of the connected part of $G$. This is a $p$-adic analog of a classical transcendence result of Schneider which states that for $\tau$ in the complex upper half plane, $\tau$ and $j\left(\tau \right)$ are simultaneously algebraic over $\mathbb{Q}$ if and only if $\tau$ is contained in a quadratic extension of $\mathbb{Q}$. We also briefly discuss a conjectural generalization to shtukas with one paw.

Classification : 14L05, 14G22
Mots clés : Hodge–Tate filtration, p-divisible groups, formal groups, $j$-invariant, transcendence, transcendentals, Lubin–Tate tower, Hodge–Tate period map, Gross–Hopkins period map

[1] Cohen, Paula Beazley Humbert surfaces and transcendence properties of automorphic functions, Rocky Mt. J. Math., Volume 26 (1996) no. 3, pp. 987-1001 | MR | Zbl

[2] Fargues, Laurent Groupes analytiques rigides $p$-divisibles (to appear in Math. Ann.) | MR | Zbl

[3] Gross, Benedict H. On canonical and quasicanonical liftings, Invent. Math., Volume 84 (1986), pp. 321-326 | DOI | MR | Zbl

[4] Hopkins, Michael J.; Gross, Benedict H. Equivariant vector bundles on the Lubin-Tate moduli space, Topology and representation theory (Evanston, 1992) (Contemporary Mathematics), Volume 158, American Mathematical Society, 1994, pp. 23-88 | DOI | MR | Zbl

[5] Milne, James Stuart Algebraic Geometry (http://www.jmilne.org/math/CourseNotes/ag.html)

[6] Schneider, Theodor Arithmetische Untersuchungen elliptischer Integrale, Math. Ann., Volume 113 (1937), pp. 1-13 | DOI | MR | Zbl

[7] Scholze, Peter; Weinstein, Jared Moduli of $p$-divisible groups, Camb. J. Math., Volume 1 (2013) no. 2, pp. 145-237 | DOI | MR | Zbl

[8] Shiga, Hironori; Wolfart, Jürgen Criteria for complex multiplication and transcendence properties of automorphic functions, J. Reine Angew. Math., Volume 463 (1995), pp. 1-25 | MR | Zbl

[9] Tate, John Torrence $p$-divisible groups, Proceedings of a conference on local fields (Driebergen, 1966), Springer, 1967, pp. 158-183 | DOI | Zbl

[10] Weinstein, Jared Peter Scholze’s lectures on $p$-adic geometry (http://math.bu.edu/people/jsweinst/Math274/ScholzeLectures.pdf)

[11] Weinstein, Jared Semistable models for modular curves of arbitrary level, Invent. Math., Volume 205 (2016) no. 2, pp. 459-526 | DOI | MR | Zbl

[12] Yu, Jiu-Kang On the moduli of quasi-canonical liftings, Compos. Math., Volume 96 (1995) no. 3, pp. 293-321 | Numdam | MR | Zbl