Integral p-adic étale cohomology of Drinfeld symmetric spaces
Let \(K\) be a finite extension of \({\mathbb Q}_p\), let \(C\) be the \(p\)-adic completion of an algebraic closure \(\overline{K}\) of \(K\). Write \({\mathcal G}_K=\mathrm{Gal}(\overline{K}/K)\). Drinfeld's symmetric space of dimension \(d\) over \(K\) is the rigid analytic variety \({\mathbb H}_K^d:={\mathbb P}_K^d-\cup_{H\in{\mathcal H}}H\), where \({\mathcal H}\) is the space of \(K\)-rational hyperplanes in \(K^{d+1}\). It is equipped with an action of \(G=\mathrm{GL}_{d+1}(K)\). This article describes the integral \(p\)-adic cohomology groups \(H_{et}^i({\mathbb H}_K^d,{\mathbb Z}_p(i))\) for \(i\ge0\). Let \(\mathrm{Sp}_i({\mathbb Z}_p)\) denote the \(i\)-th generalized Steinberg representation of \(G\) with coefficients in \({\mathbb Z}_p\). Make the similar definitions with \({\mathbb F}_p\) instead of \({\mathbb Z}_p\). {Theorem 1.1} There are compatible topological isomorphisms of \(G\times {\mathcal G}_K\)-modules \[ H_{et}^i({\mathbb H}_K^d,{\mathbb Z}_p(i))\cong \mathrm{Sp}_i({\mathbb Z}_p)^*,\quad H_{et}^i({\mathbb H}_K^d,{\mathbb F}_p(i))\cong\mathrm{Sp}_i({\mathbb F}_p)^*. \] For \(i>d\), these cohomology groups are trivial. The key input for the proof of Theorem 1.1 is the pro-ordinarity of the standard semistable model \({\mathfrak X}_{{\mathcal O}_K}\) of \({\mathbb H}_K^d\) over \({\mathcal O}_K\), a result due to the reviewer; more precisely, he proved that \[ H^i({\mathfrak X}_{{\mathcal O}_K},\Omega^j_{{\mathfrak X}_{{\mathcal O}_K}})=0\text{ for }i\ge0, j\ge0, \] where \(\Omega^{\bullet}_{{\mathfrak X}_{{\mathcal O}_K}}\) is the logarithmic de Rham complex of \({\mathfrak X}_{{\mathcal O}_K}\) over \({\mathcal O}_K\). Further inputs are results of Bhatt, Morrow and Scholze, adapted by Cesnavicius and Koshiwaka, on the \(p\)-adic étale cohomology of proper rigid analytic spaces with semistable reduction, the rigidity (due to the reviewer) of \(G\)-invariant lattices in \(\mathrm{Sp}_i({\mathbb Q}_p)\) and previous work of the authors. However, to have all these inputs acting as desired, a new key actor is needed, \(A_{\mathrm{inf}}\)-cohomology. Here \(A_{\mathrm{inf}}=W({\mathcal O}_C^{\flat})\) is Fontaine's ring associated to \(C\); its construction can be generalized to produce a sheaf \(A\Omega_{\mathfrak X}\) of \(A_{\mathrm{inf}}\)-modules on \(\mathfrak X=\mathfrak X_{\mathcal O_K}\widehat{\otimes}_{\mathcal O_K}\mathcal O_C\). These objects come with a Frobenius endomorphism \(\varphi\), and the relevant technical result then reads: {Theorem 1.4} There is a topological \({\varphi}^{-1}\)-equivariant isomorphism of \(G\times {\mathcal G}_K\)-modules \[ H_{et}^i({\mathfrak X},A\Omega_{\mathfrak X}\{i\})\cong A_{\mathrm{inf}}\widehat{\otimes}_{\mathbb Z_p}\mathrm{Sp}_i({\mathbb Z}_p)^*. \]
- $p$-adic cohomology of the Drinfeld tower: the 1-dimensional case
- p-adic Hodge theory for rigid-analytic varieties
- \(p\)-adic étale cohomology
- Cohomology of \(p\)-adic Stein spaces
- ELLIPTIC MODULES
- Formes différentielles et modules de Tate des variétés abéliennes sur les corps locaux. (Différential forms and Tate modules of abelian varieties over local fields)
- Frobenius and monodromy operators in rigid analysis, and Drinfel’d’s symmetric space
- Integral \(p\)-adic Hodge theory
- Integral structures in the 𝑝-adic holomorphic discrete series
- Logarithmic differential forms on \(p\)-adic symmetric spaces.
- On special representations of \(p\)-adic reductive groups
- Perfectoid spaces: a survey
- Rigid analytic geometry and its applications
- Sheaves of bounded p-adic logarithmic differential forms
- Smooth p-adic analytic spaces are locally contractible
- Specializing varieties and their cohomology from characteristic 0 to characteristic p
- The \(A_{\text{inf}}\)-cohomology in the semistable case
- The cohomology of \(p\)-adic symmetric spaces
- The cohomology of period domains for reductive groups over local fields
- Topological Hochschild homology and integral \(p\)-adic Hodge theory
- The trace formula and Drinfeld's upper halfplane
- Cohomology for Drinfeld doubles of some infinitesimal group schemes
- The cohomology of \(p\)-adic symmetric spaces
- \(p\)-adic étale cohomology of period domains
- The pro-étale cohomology of Drinfeld's upper half space
- Cohomology of \(p\)-adic Stein spaces
- Analytic cohomology of hyperplane arrangements
- On Emerton's \(p\)-adic Banach spaces
- scientific article; zbMATH DE number 5765041 (Why is no real title available?)
- Integral structures in the 𝑝-adic holomorphic discrete series
- On the cohomology of the affine space
- Frobenius and monodromy operators in rigid analysis, and Drinfel’d’s symmetric space
- Syntomic complexes and p-adic étale Tate twists
- Cohomology of Drinfeld symmetric spaces and harmonic cochains
- The Picard group of vertex affinoids in the first Drinfeld covering
- Algebraic geometry in mixed characteristic
- Factorisation de la cohomologie étale p-adique de la tour de Drinfeld
- On the v-Picard group of Stein spaces
This page was built for publication: Integral \(p\)-adic étale cohomology of Drinfeld symmetric spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2037840)
