Drinfeld's lemma for perfectoid spaces and overconvergence of multivariate (, )-modules

DOI10.25537/DM.2021V26.1329-1393MaRDI QIDQ2232380zbMATH OpenOpenAlexFDO

Authors Annie Carter, Kiran S. Kedlaya, Gergely Zábrádi

Publication date 5 October 2021

Published in Documenta Mathematica (Search for Journal in Brave)

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

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

\((\varphi, \Gamma)\)-modulesperfectoid spaces

Mathematics Subject Classification ID

Langlands-Weil conjectures, nonabelian class field theory (11S37)

Abstract: Let $p$ be a prime, let $K$ be a finite extension of $mathbb{Q}_p$, and let $n$ be a positive integer. We construct equivalences of categories between continuous $p$-adic representations of the $n$-fold product of the absolute Galois group $G_K$ and $(varphi,Gamma)$-modules over one of several rings of $n$-variable power series. The case $n=1$ recovers the original construction of Fontaine and the subsequent refinement by Cherbonnier--Colmez; for general $n$, the case $K=mathbb{Q}_p$ had been previously treated by the third author. To handle general $K$ uniformly, we use a form of Drinfeld's lemma on profinite fundamental groups of products of spaces in characteristic $p$, but for perfectoid spaces instead of schemes. We also construct the multivariate analogue of the Herr complex to compute Galois cohomology; the case $K=mathbb{Q}_p$ had been previously treated by Pal and the third author, and we reduce to this case using a form of Shapiro's lemma.

Review text

Summary: Let \(p\) be a prime, let \(K\) be a finite extension of \(\mathbb{Q}_p\), and let \(n\) be a positive integer. We construct equivalences of categories between continuous \(p\)-adic representations of the \(n\)-fold product of the absolute Galois group \(G_K\) and \((\varphi, \Gamma)\)-modules over one of several rings of \(n\)-variable power series. The case \(n=1\) recovers the original construction of Fontaine and the subsequent refinement by Cherbonnier-Colmez; for general \(n\), the case \(K = \mathbb{Q}_p\) had been previously treated by the third author. To handle general \(K\) uniformly, we use a form of Drinfeld's lemma on the profinite fundamental groups of products of spaces in characteristic \(p\), but for perfectoid spaces instead of schemes. We also construct the multivariate analogue of the Herr complex to compute Galois cohomology; the case \(K = \mathbb{Q}_p\) had been previously treated by Pal and the third author, and we reduce to this case using a form of Shapiro's lemma.

Recommendations

• Cohomology and overconvergence for representations of powers of Galois groups
• Multivariable ( ,)-modules and locally analytic vectors
• Multivariable ( , )-modules and representations of products of Galois groups: the case of the imperfect residue field
• Multivariable \((\phi, \Gamma)\)-modules and products of Galois groups
• On categories of (,)-modules

Cites work

• \(\mathrm{Gal}(\overline{\mathbb Q}/\mathbb Q_p)\) as a geometric fundamental group
• p-adic differential equations and filtered (, N)-modules
• p-adic Hodge theory for rigid-analytic varieties
• \(p\)-adic representations and differential equations
• A new approach to Tate's local duality
• Abhyankar's perfectoid lemma
• Berkeley lectures on p-adic geometry
• Cohomology and Duality for (φ, Γ)-modules over the Robba Ring
• Cohomology and overconvergence for representations of powers of Galois groups
• Cohomology of arithmetic families of ( ,)-modules
• Curves and vectorial fibers in p-adic Hodge theory. With a preface by Pierre Colmez
• Frobenius modules and de Jong's theorem
• From étale P_+-representations to G-equivariant sheaves on G/P
• Galois representations and (, )-modules
• scientific article; zbMATH DE number 1673451 (Why is no real title available?)
• scientific article; zbMATH DE number 981434 (Why is no real title available?)
• scientific article; zbMATH DE number 2128071 (Why is no real title available?)
• scientific article; zbMATH DE number 5765033 (Why is no real title available?)
• scientific article; zbMATH DE number 4067081 (Why is no real title available?)
• scientific article; zbMATH DE number 3693404 (Why is no real title available?)
• scientific article; zbMATH DE number 3745320 (Why is no real title available?)
• scientific article; zbMATH DE number 16093 (Why is no real title available?)
• scientific article; zbMATH DE number 3625519 (Why is no real title available?)
• scientific article; zbMATH DE number 1117105 (Why is no real title available?)
• scientific article; zbMATH DE number 814543 (Why is no real title available?)
• scientific article; zbMATH DE number 7134219 (Why is no real title available?)
• scientific article; zbMATH DE number 2199834 (Why is no real title available?)
• Integral \(p\)-adic Hodge theory
• Maximal fields with valuations
• Multivariable \((\phi, \Gamma)\)-modules and products of Galois groups
• Multivariable \((\varphi ,\Gamma )\)-modules and smooth \(o\)-torsion representations
• Multivariable ( ,)-modules and locally analytic vectors
• Multivariable Lubin-Tate (\(\varphi, \Gamma\))-modules and filtered \(\varphi-\)modules
• New methods for (, )-modules
• On categories of (,)-modules
• On the p-adic cohomology of the Lubin-Tate tower
• On the direct summand conjecture and its derived variant
• On torsion in the cohomology of locally symmetric varieties
• Overconvergent \(p\)-adic representations
• Relative \(p\)-adic Hodge theory: foundations
• Sheaves, stacks, and shtukas
• Shutkas for reductive groups and global Langlands parametrization
• Sur la cohomologie galoisienne des corps p-adiques
• The direct factor conjecture

Cited in

(7)

• Simple connectivity of Fargues-Fontaine curves
• Locally analytic vectors and overconvergent \((\varphi, \tau)\)-modules
• Cohomology and overconvergence for representations of powers of Galois groups
• Multivariable ( , )-modules and representations of products of Galois groups: the case of the imperfect residue field
• Tate Duality in Positive Dimension over Function Fields
• Drinfeld's lemma for F-isocrystals, II: Tannakian approach
• Perfecting the nearly perfect

This page was built for publication: Drinfeld's lemma for perfectoid spaces and overconvergence of multivariate \((\varphi, \Gamma)\)-modules

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