A quotient of the Lubin-Tate tower. II

DOI10.1007/S00208-020-02104-3MaRDI QIDQ2035570zbMATH OpenOpenAlexFDO

Authors Christian Johansson, Judith Ludwig, David Hansen

Publication date 25 June 2021

Published in Mathematische Annalen (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

diamondsLubin-Tate towerperfectoids

Mathematics Subject Classification ID

Automorphic forms and their relations with perfectoid spaces (11F77) Langlands-Weil conjectures, nonabelian class field theory (11S37) Rigid analytic geometry (14G22) Perfectoid spaces and mixed characteristic (14G45)

Abstract: In this article we construct the quotient M_1/P(K) of the infinite-level Lubin-Tate space M_1 by the parabolic subgroup P(K) of GL(n,K) of block form (n-1,1) as a perfectoid space, generalizing results of one of the authors (JL) to arbitrary n and K/Q_p finite. For this we prove some perfectoidness results for certain Harris-Taylor Shimura varieties at infinite level. As an application of the quotient construction we show a vanishing theorem for Scholze's candidate for the mod p Jacquet-Langlands and the mod p local Langlands correspondence. An appendix by David Hansen gives a local proof of perfectoidness of M_1/P(K) when n = 2, and shows that M_1/Q(K) is not perfectoid for maximal parabolics Q not conjugate to P.

Review text

The article at hand is a generalization of [\textit{J. Ludwig}, Forum Math. Sigma 5, Paper No. e17, 41 p. (2017; Zbl 1434.11110)] following the same overall strategy. The main theorem proves that the quotient of the Lubin-Tate space at infinite level by the \((n-1,1)\)-block parabolic in \(\mathrm{GL}_n(K)\) is a perfectoid space for any \(n\) and any finite extension \(K\) over \(\mathbb{Q}_p\), while [loc. cit.] dealt with the case of \(n=2\), \(K=\mathbb{Q}_p\). It relies on two main ingredients: a) on the \(\mu\)-ordinary Hasse invariant in the case of unitary Shimura varieties à la Harris-Taylor (as sketched by T. Itō circa 2005); and b) the strategy of \textit{P. Scholze}'s paper [Ann. Math. (2) 182, No. 3, 945--1066 (2015; Zbl 1345.14031)] to prove that the overconvergent anticanonical tower of certain Shimura varieties is perfectoid. Detailed presentations tailored to this precise case are given for both. An application is given to Scholze's candidate for mod \(p\) local Langlands (resp. Jacquet-Langlands) correspondence in the guise of a vanishing theorem, as in [\textit{J. Ludwig}, Forum Math. Sigma 5, Paper No. e17, 41 p. (2017; Zbl 1434.11110)], generalized with a different proof. The appendix by D. Hansen gives a purely local, explicit proof in the context of diamonds for the simpler case \(n=2\), and it shows in particular that the perfectoidness statement for quotient of the Lubin-Tate tower by the \((n-1,1)\)-block parabolic, does not extend to other maximal parabolic of block \((n-d,d)\) for \(d > 1\).

Recommendations

• On non-abelian Lubin–Tate theory for
• Supercuspidal part of the \(\mod l\) cohomology of \(\mathrm{GU}(1,n-1)\)-Shimura varieties
• Perfectoid Shimura varieties
• A quotient of the Lubin-Tate tower
• On non-abelian Lubin-Tate theory and analytic cohomology
• Affinoids in the Lubin-Tate perfectoid space and simple supercuspidal representations. II: Wild case
• Perfectoid Shimura varieties
• The cohomology of Lubin-Tate spaces is free
• Affinoids in the Lubin-Tate perfectoid space and simple supercuspidal representations. I: Tame case
• Affinoids in the Lubin-Tate perfectoid space and special cases of the local Langlands correspondence in positive characteristic (announcement)

Cites work

• \(\mathrm{Gal}(\overline{\mathbb Q}/\mathbb Q_p)\) as a geometric fundamental group
• -ordinary Hasse invariants
• p-adic Hodge theory for rigid-analytic varieties
• \(p\)-divisible groups with Pappas-Rapoport condition and Hasse invariants
• A generalization of formal schemes and rigid analytic varieties
• A quotient of the Lubin-Tate tower
• Berkeley lectures on p-adic geometry
• Complexe cotangent et déformations. II
• Crystalline Dieudonné module theory via formal and rigid geometry
• Curves and vectorial fibers in p-adic Hodge theory. With a preface by Pierre Colmez
• Generalized -ordinary Hasse invariants
• scientific article; zbMATH DE number 554826 (Why is no real title available?)
• scientific article; zbMATH DE number 915648 (Why is no real title available?)
• scientific article; zbMATH DE number 5681393 (Why is no real title available?)
• scientific article; zbMATH DE number 3252949 (Why is no real title available?)
• Moduli of \(p\)-divisible groups
• Noetherian properties of Fargues-Fontaine curves
• On the p-adic cohomology of the Lubin-Tate tower
• On the generic part of the cohomology of compact unitary Shimura varieties
• On torsion in the cohomology of locally symmetric varieties
• Period Spaces for "p"-divisible Groups (AM-141)
• Quasi-augmented simplicial spaces, with an application to cohomological dimension
• Ramification in p-adic Lie extensions
• Relative \(p\)-adic Hodge theory: foundations
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Shimura varieties at level \(\Gamma_1(p^{\infty})\) and Galois representations
• Smooth duality in natural characteristic
• Strata Hasse invariants, Hecke algebras and Galois representations
• The -ordinary Hasse invariant of unitary Shimura varieties
• The geometry and cohomology of some simple Shimura varieties. With an appendix by Vladimir G. Berkovich
• Vanishing theorems for torsion automorphic sheaves on compact PEL-type Shimura varieties

Cited in

(6)

• Non-Archimedean geometry and applications. Abstracts from the workshop held January 30 -- February 5, 2022
• A quotient of the Lubin-Tate tower
• The cohomology of Shimura varieties with torsion coefficients
• On some \(p\)-adic and mod \(p\) representations of quaternion algebra over \(\mathbb{Q}_p\)
• On some mod \(p\) representations of quaternion algebra over \(\mathbb{Q}_p\)
• p-adic sheaves on classifying stacks, and the p-adic Jacquet-Langlands correspondence

This page was built for publication: A quotient of the Lubin-Tate tower. II

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