×

Application of the Hodge-Tate dual of a Lubin-Tate group, Bruhat-Tits building of the linear group and ramification filtrations. (Application de Hodge-Tate duale d’un groupe de Lubin-Tate, immeuble de Bruhat-Tits du groupe linéaire et filtrations de ramification.) (French) Zbl 1136.14013

Let \(F\) be a finite extension of \(\mathbb Q_p\). Consider the following two moduli spaces of formal groups. Both are rigid analytic spaces. The Drinfeld moduli space \(\Omega\) parametrizes formal groups of dimension \(n\) and height \(n^2\) with an action of the integers of the division algebra \(D\) over \(F\) with invariant \(1/n\), and its \(\mathbb C_p\)-valued points are the complement of all rational hyperplanes in \(\mathbb P^{n-1} (\mathbb C_p)\). The Lubin-Tate space parametrizes formal groups of dimension \(1\) and height \(n\), and it is an open \(p\)-adic ball \({^{\circ}{\mathbb B}}^{n-1}\) in the sense of Berkovich. By adding level structures to the moduli problems in question, both moduli problems can be extended to infinite towers.
G. Faltings [in: Algebraic number theory and algebraic geometry. Papers dedicated to A. N. Parshin on the occasion of his sixtieth birthday. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 300, 115–129 (2002; Zbl 1062.14059)] has proved that, in a suitable sence, the limit objects of both towers are isomorphic in an equivariant way for the action of \(\mathrm{GL}_n(F)\times D^\times\). In particular, the associated Berkovich spaces are homeomorphic. In [L. Fargues, A. Genestier and V. Lafforgue, “The isomorphism between Lubin-Tate and Drinfeld towers.” Progr. Math. 262 (Base)l: Birkhäuser. 1–325 (2008; Zbl 1136.14001)], the author has worked out a detailed proof of this theorem.
After passing to the quotient by \(\mathrm{GL}_n(\mathcal O_F)\times \mathcal O_D^\times\), one gets a map \(\mathcal O_D^\times \backslash | {^{\circ}{\mathbb B}}^{n-1} | \rightarrow \mathrm{GL}_n(\mathcal O_F)\backslash | \Omega |\). In the paper at hand, this map is investigated at the level of the “skeletons” of the two sides. The skeleton in the Drinfeld case is the quotient of the Bruhat-Tits building of \(\mathrm{PGL}_n\) by the action of \(\mathrm{GL}_n(\mathcal O_F)\). In the Lubin-Tate case, the skeleton is the space \((0,\infty]^{n-1}\), with the simplicial structure induced from “Newton polygons”. In both cases, there are natural retractions from the space in question to its skeleton, and it is proved that the isomorphism above induces a map between the skeletons which gives an isomorphism after a small correction.
Along the way, the ramification filtrations and the Hodge-Tate map of a one-dimensional formal group are studied. The simplicial structure one obtains on the Lubin-Tate space in this way is very useful, and in the paper applications to the study of canonical subgroups, the description of Hecke orbits, fundamental domains for Hecke correspondences, and the period mapping are given. In the final section, the results are transferred to the Iwahori case.

MSC:

14G35 Modular and Shimura varieties
14L05 Formal groups, \(p\)-divisible groups
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] A. Abbes et A. Mokrane, Sous-groupes canoniques et cycles évanescents \(p\)-adiques pour les variétés abéliennes , Publ. Math. Inst. Hautes Études Sci. 99 (2004), 117–162. · Zbl 1062.14057 · doi:10.1007/s10240-004-0022-x
[2] A. Abbes et T. Saito, Ramification of local fields with imperfect residue fields , Amer. J. Math. 124 (2002), 879–920. · Zbl 1084.11064 · doi:10.1353/ajm.2002.0026
[3] -, Ramification of local fields with imperfect residue fields, II , Doc. Math. 2003 , extra vol., 51–72. · Zbl 1127.11349
[4] F. Bruhat et J. Tits, Groupes réductifs sur un corps local , Inst. Hautes Études Sci. Publ. Math. 41 (1972), 5–251. · Zbl 0254.14017 · doi:10.1007/BF02715544
[5] P. Deligne et D. HusemöLler, “Survey of Drinfel’d modules” dans Current Trends in Arithmetical Algebraic Geometry (Arcata, Calif., 1985) , Contemp. Math. 67 , Amer. Math. Soc., Providence, 1987, 25–91. · Zbl 0627.14026
[6] V. G. Drinfel’D [Drinfeld], Elliptic modules (en russe), Mat. Sb. (N.S.) 94 (1974), 594–627.; traduction anglaise en Math. USSR-Sb. 23 , no. 4 (1974), 561–592.
[7] G. Faltings, “A relation between two moduli spaces studied by V. G. Drinfeld” dans Algebraic Number Theory and Algebraic Geometry , Contemp. Math. 300 , Amer. Math. Soc., Providence, 2002, 115–129. · Zbl 1062.14059
[8] -, Group schemes with strict \(\mathcalO\)-action , Mosc. Math. J. 2 , no. 2 (2002), 249–279. · Zbl 1013.11079
[9] L. Fargues, L’isomorphisme entre les tours de Lubin-Tate et de Drinfeld au niveau des points , prépublication, \arxivmath/0604063v1[math.NT]
[10] -, L’isomorphisme entre les tours de Lubin-Tate et de Drinfeld : Décomposition cellulaire de la tour de Lubin-Tate , prépublication, \arxivmath/0603618v1[math.NT]
[11] -, L’isomorphisme entre les tours de Lubin-Tate et de Drinfeld et application cohomologique , to appear in Progr. Math., prépublication, 2007.
[12] M. J. Hopkins et B. H. Gross, “Equivariant vector bundles on the Lubin-Tate moduli space” dans Topology and Representation Theory (Evanston, Ill., 1992) , Contemp. Math. 158 , Amer. Math. Soc., Providence, 1994, 23–88. · Zbl 0807.14037
[13] M. Raynaud, Schémas en groupes de type \((p,\dots, p)\) , Bull. Soc. Math. France 102 (1974), 241–280. · Zbl 0325.14020
[14] J.-P. Serre, Corps locaux , 2ème éd., Publ. Math. Inst. Math. Univ. Nancago 8 , Hermann, Paris, 1968.
[15] J. Tate et F. Oort, Group schemes of prime order , Ann. Sci. École Norm. Sup. (4) 3 (1970), 1–21. · Zbl 0195.50801
[16] J.-K. Yu, On the moduli of quasi-canonical liftings , Compositio Math. 96 (1995), 293–321. · Zbl 0866.14029
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.