We study the functors $\D_{\B_\ast}(V)$, where $\B_\ast$ is one of Fontaine's period rings and $V$ is a family of Galois representations with coefficients in an affinoid algebra $A$. We show that $\D_{\HT}(V)=\oplus_{i\in\Z}(\D_{\Sen}(V)\cdot t^i)^{Γ_K}$, $\D_{\dR}(V)=\D_{\dif}(V)^{Γ_K}$, and $\D_{\cris}(V)=\D_{\rig}(V)[1/t]^{Γ_K}$, generalizing results of Sen, Fontaine, and Berger. The modules $\D_{\HT}(V)$ and $\D_{\dR}(V)$ are coherent sheaves on $\Sp(A)$, and $\Sp(A)$ is stratified by the ranks of submodules $\D_{\HT}^{[a,b]}(V)$ and $\D_{\dR}^{[a,b]}(V)$ of "periods with Hodge-Tate weights in the interval $[a,b]$". Finally, we construct functorial $\B_\ast$-admissible loci in $\Sp(A)$, generalizing a result of Berger-Colmez to the case where $A$ is not necessarily reduced.
Using the theory of $(ϕ,Γ)$-modules and the formalism of Selmer complexes we construct the p-adic height for p-adic representations with coefficients in an affinoid algebra over $Q_p$.
As an example of relative p-adic Hodge theory, we sketch the construction of the universal admissible filtration of an isocrystal (ϕ$-module) over the completion of the maximal unramified extension of Q_p, together with the associated universal crystalline local system.
We study G-valued semi-stable Galois deformation rings where G is a reductive group. We develop a theory of Kisin modules with G-structure and use this to identify the connected components of crystalline deformation rings of minuscule p-adic Hodge type with the connected components of moduli of "finite flat models with G-structure." The main ingredients are a construction in integral p-adic Hodge theory using Liu's theory of $(φ, \widehat{G})$-modules and the local models constructed by Pappas and Zhu.
The first part of the paper is a survey of recent results about the cohomology of $(ϕ,Γ)$-modules and its applications to the theory of Selmer complexes. In the second part we formulate a version of the Main Conjecture for $p$-adic representations which are semistable at $p$ and discuss some related topics.
We construct the $Λ$-adic crystalline and Dieudonné analogues of Hida's ordinary $Λ$-adic étale cohomology, and employ integral $p$-adic Hodge theory to prove $Λ$-adic comparison isomorphisms between these cohomologies and the $Λ$-adic de Rham cohomology studied in the prequel to this paper as well as Hida's $Λ$-adic étale cohomology. As applications of our work, we provide a "cohomological" construction of the family of $(φ,Γ)$-modules attached to Hida's ordinary $Λ$-adic étale cohomology by the work of Dee, and we give a new and purely geometric proof of Hida's finitenes and control theorems…
We prove that if $W$ and $W'$ are two $B$-pairs whose tensor product is crystalline (or semi-stable or de Rham or Hodge-Tate), then there exists a character $μ$ such that $W(μ^{-1})$ and $W'(μ)$ are crystalline (or semi-stable or de Rham or Hodge-Tate). We also prove that if $W$ is a $B$-pair and $F$ is a Schur functor (for example $\Sym^n(-)$ or $Λ^n(-)$) such that $F(W)$ is crystalline (or semi-stable or de Rham or Hodge-Tate) and if the rank of $W$ is sufficiently large, then there is a character $μ$ such that $W(μ^{-1})$ is crystalline (or semi-stable or de Rham or Hodge-Tate). In particul…
We generalize some of the results of Andreatta, Iovita, and Pilloni and the author to Hodge type Shimura varieties having non-empty ordinary locus. For any $p$-adic weight $κ$, we give a geometric definition of the space of overconvergent modular forms of weight $κ$ in terms of sections of a sheaf. We show that our sheaves live in analytic families, interpolating the classical sheaves for integral weights. We define an action of the Hecke algebra, including a completely continuous operator at $p$. In some simple cases, we also build the eigenvariety.
$p$-adic Hodge Theory is one of the most powerful tools in modern Arithmetic Geometry. In this survey, we will review $p$-adic Hodge Theory for algebraic varieties, present current developments in $p$-adic Hodge Theory for analytic varieties, and discuss some of its applications to problems in Number Theory. This is an extended version of a talk at the Jubilee Congress for the 100th anniversary of the Polish Mathematical Society, Kraków, 2019.
We show that the mod p cohomology of a smooth projective variety with semistable reduction over K, a finite extension of Qp, embeds into the reduction modulo p of a semistable Galois representation with Hodge-Tate weights in the expected range (at least after semisimplifying, in the case of the cohomological degree > 1). We prove refinements with descent data, and we apply these results to the cohomology of unitary Shimura varieties, deducing vanishing results and applications to the weight part of Serre's conjecture.
We present a detailed overview of the construction of the A_inf-cohomology theory from the preprint "Integral p-adic Hodge theory", joint with B. Bhatt and P. Scholze. We focus particularly on the p-adic analogue of the Cartier isomorphism via relative de Rham--Witt complexes.
Let $K$ be a mixed characteristic complete discrete valuation field with residue field admitting a finite $p$-basis, and let $G_K$ be the Galois group. We first classify semi-stable representations of $G_K$ by weakly admissible filtered $(φ,N)$-modules with connections. We then construct a fully faithful functor from the category of \emph{integral} semi-stable representations of $G_K$ to the category of Breuil-Kisin $G_K$-modules. Using the integral theory, we classify $p$-divisible groups over the ring of integers of $K$ by minuscule Breuil-Kisin modules with connections.
Given an integral p-adic variety, we observe that if the integral Hodge--de Rham spectral sequence behaves nicely, then the special fiber knows the Hodge numbers of the generic fiber. Applying recent advancements of integral p-adic Hodge theory, we show that such a nice behavior is guaranteed if the p-adic variety can be lifted to an analogue of second Witt vectors and satisfies some bound on dimension and ramification index. This is a (ramified) mixed characteristic analogue of results due to Deligne--Illusie and Fontaine--Messing. Lastly, we discuss an example illustrating the necessity of t…
Let $K$ be a discrete valuation field with perfect residue field, we study the functor from weakly admissible filtered $(φ,N,G_K)$-modules over $K$ to the isogeny category of Breuil-Kisin-Fargues $G_K$-modules. This functor is the composition of a functor defined by Fargues-Fontaine from weakly admissible filtered $(φ,N,G_K)$-modules to $G_K$-equivariant modifications of vector bundles over the Fargues-Fontaine curve $X_{FF}$, with the functor of Fargues-Scholze that between the category of admissible modifications of vector bundles over $X_{FF}$ and the isogeny category of Breuil-Kisin-Fargue…
Faltings initiated in 2005 a p-adic analogue of the (complex) Simpson correspondence whose construction has been taken up by various authors, according to several approaches. Following the one we initiated previously, we present an overview of a new monograph developing new features of the p-adic Simpson correspondence, inspired by our construction of the relative Hodge-Tate spectral sequence. First, we address the connection to Hodge-Tate local systems. Second, we establish the functoriality of the p-adic Simpson correspondence by proper direct image. Along the way, we expand the scope of our…
We give a construction of a new $p$-adic Maass-Shimura operator defined on an affinoid subdomain of the preperfectoid $p$-adic universal cover $\mathcal{Y}$ of a modular curve $Y$. We define a new notion of $p$-adic modular forms as sections of a certain sheaf $\mathcal{O}_Δ$ of "nearly rigid functions" which transform under the action of subgroups of the Galois group $\mathrm{Gal}(\mathcal{Y}/Y)$ by $\mathcal{O}_Δ^{\times}$-valued weight characters. This extends Katz's notion of $p$-adic modular forms as functions on the Igusa tower $Y^{\mathrm{Ig}}$; indeed we may recover Katz's theory by re…
We describe a new approach to relative p-adic Hodge theory based on systematic use of Witt vector constructions and nonarchimedean analytic geometry in the style of both Berkovich and Huber. We give a thorough development of phi-modules over a relative Robba ring associated to a perfect Banach ring of characteristic p, including the relationship between these objects and etale Z_p-local systems and Q_p-local systems on the algebraic and analytic spaces associated to the base ring, and the relationship between etale cohomology and phi-cohomology. We also make a critical link to mixed characteri…
Sen attached to each p-adic Galois representation of a p-adic field a multiset of numbers called generalized Hodge-Tate weights. In this paper, we discuss a rigidity of these numbers in a geometric family. More precisely, we consider a p-adic local system on a rigid analytic variety over a p-adic field and show that the multiset of generalized Hodge-Tate weights of the local system is constant. The proof uses the p-adic Riemann-Hilbert correspondence by Liu and Zhu, a Sen-Fontaine decompletion theory in the relative setting, and the theory of formal connections. We also discuss basic propertie…
Building on foundations introduced in a previous paper, we give several p-adic analytic descriptions of the categories of etale Zp-local systems and etale Qp-local systems on an affinoid algebra over a finite extension of Qp (or more generally, over the fraction field of the Witt vectors of a perfect field of characteristic p). These include generalizations of Fontaine's theory of (phi, Gamma)-modules, the refinement of Fontaine's construction introduced by Cherbonnier and Colmez, and a recent description by Fargues and Fontaine in terms of semistable vector bundles on a certain scheme. Our de…
We p-adically interpolate the relative de Rham cohomology of the universal elliptic curve over strict neighbourhoods of the ordinary locus of modular curves, together with the Hodge filtration and Gauss-Manin connection. Sections of these sheaves provide the so called nearly overconvergent modular forms. This extends previous work of Andreatta, Iovita and Pilloni where we p-adically interpolate powers of the Hodge bundle and in that case the sections coincide with Coleman overconvergent modular forms. We also show that, under suitable assumptions, one can p-adically interpolate the Gauss-Manin…
We give proofs of de Rham comparison isomorphisms for rigid-analytic varieties, with coefficients and in families. This relies on the theory of perfectoid spaces. Another new ingredient is the pro-etale site, which makes all constructions completely functorial.
We relate various approaches to coefficient systems in relative integral $p$-adic Hodge theory, working in the geometric context over the ring of integers of a perfectoid field. These include small generalised representations over $A_{\text{inf}}$ inspired by Faltings, modules with q-connection in the sense of q-de Rham cohomology, crystals on the prismatic site of Bhatt--Scholze, and q-deformations of Higgs bundles.
We construct Λ-adic de Rham and crystalline analogues of Hida's ordinary Λ-adic etale cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic extension of \Q_p, we prove appropriate finiteness and control theorems in each case. We then employ integral p-adic Hodge theory to prove Λ-adic comparison isomorphisms between our cohomologies and Hida's etale cohomology. As applications of our work, we provide a "cohomological" construction of the family of (ϕ,Γ)-modules attached to Hida's ordinary Λ-adic etale cohomology by Dee, and we give a new and purely…
Given a proper, smooth (formal) scheme over the ring of integers of $\mathbb C_p$, we prove that if the crystalline cohomology of its special fibre is torsion-free then the $p$-adic étale cohomology of its generic fibre is also torsion-free. In this announcement we sketch the proof, which relies on the construction of a new cohomology theory interpolating between crystalline and étale cohomology. Further details and results, including a comparison isomorphism, will be presented in the full forthcoming article.
The Hodge-Tate spectral sequence for a proper smooth variety over a p-adic field provides a framework for us to revisit Faltings' approach to p-adic Hodge theory and to fill in many details. The spectral sequence is obtained from the Cartan-Leray spectral sequence for the canonical projection from the Faltings topos to the étale topos of an integral model of the variety. Its abutment is computed by Faltings' main comparison theorem from which derive all comparison theorems between p-adic étale cohomology and other p-adic cohomologies, and its initial term is related to the sheaf of differentia…
Let $(\mathsf{G},\mathsf{X})$ be a Shimura datum of Hodge type. Let $p$ be an odd prime such that $\mathsf{G}_{\mathbb{Q}_p}$ splits after a tamely ramified extension and $p\nmid |π_1(\mathsf{G}^{\rm der})|$. Under some mild additional assumptions that are satisfied if the associated Shimura variety is proper and $\mathsf{G}_{\mathbb{Q}_p}$ is either unramified or residually split, we prove the generalisation of Mantovan's formula for the $l$-adic cohomology of the associated Shimura variety. On the way we derive some new results about the geometry of the Newton stratification of the reduction…
This work is devoted to the study of integral $p$-adic Hodge theory in the context of Artin stacks. For a Hodge-proper stack, using the formalism of prismatic cohomology, we establish a version of $p$-adic Hodge theory with the étale cohomology of the Raynaud generic fiber as an input. In particular, we show that the corresponding Galois representation is crystalline and that the associated Breuil-Kisin module is given by the prismatic cohomology. An interesting new feature of the stacky setting is that the natural map between étale cohomology of the algebraic and the Raynaud generic fibers is…
We prove that for any proper smooth formal scheme $\frak X$ over $\mathcal O_K$, where $\mathcal O_K$ is the ring of integers in a complete discretely valued nonarchimedean extension $K$ of $\mathbb Q_p$ with perfect residue field $k$ and ramification degree $e$, the $i$-th Breuil-Kisin cohomology group and its Hodge-Tate specialization admit nice decompositions when $ie<p-1$. Thanks to the comparison theorems in the recent works of Bhatt, Morrow and Scholze, we can then get an integral comparison theorem for formal schemes when the cohomological degree $i$ satisfies $ie<p-1$, which generalize…
We construct the $Λ$-adic de Rham analogue of Hida's ordinary $Λ$-adic étale cohomology and of Ohta's $Λ$-adic Hodge cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic extension of $\mathbf{Q}_p$, we give a purely geometric proof of the expected finiteness, control, and $Λ$-adic duality theorems. Following Ohta, we then prove that our $Λ$-adic module of differentials is canonically isomorphic to the space of ordinary $Λ$-adic cuspforms. In the sequel to this paper, we construct the crystalline counterpart to Hida's ordinary $Λ$-adic étale cohomo…
We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of Breuil-Kisin modules. Notably, this cohomology theory specializes to all other known p-adic cohomology theories, such as crystalline, de Rham and etale cohomology, which allows us to prove strong integral comparison theorems. The construction of the cohomology theory relies on Faltings's almost purity theorem, along with a certain functor $Lη$ on the derived cate…
We provide new proofs of two key results of p-adic Hodge theory: the Fontaine-Wintenberger isomorphism between Galois groups in characteristic 0 and characteristic p, and the Cherbonnier-Colmez theorem on decompletion of (phi, Gamma)-modules. These proofs are derived from joint work with Liu on relative p-adic Hodge theory, and are closely related to Scholze's study of perfectoid algebras and spaces.
We prove several related results on the low-degree Hodge numbers of proper smooth rigid analytic varieties over non-archimedean fields. Our arguments rely on known structure theorems for the relevant Picard varieties, together with recent advances in p-adic Hodge theory. We also define a rigid analytic Albanese naturally associated with any smooth proper rigid space.
Constructing families of abelian varieties of $\text{GL}_2$-type over $4$-punctured complex projective line via $p$-adic Hodge theory and Langlands correspondence and application to algebraic solutions of Painleve VI equation
We construct examples of smooth proper rigid-analytic varieties admitting formal model with projective special fiber and violating Hodge symmetry for cohomology in degrees $\geq 3$. This answers negatively a question raised by Hansen and Li.
In this follow-up paper we show that smooth Hodge-proper stacks over $\mathcal O_K$ are $\mathbb Q_p$-locally acyclic: namely the natural map between étale $\mathbb Q_p$-cohomology of the algebraic and Raynaud generic fibers is an equivalence. This establishes the $\mathbb Q_p$-case of general conjectures made in our previous work. As a corollary, we get that if a smooth Artin stack over $K$ has a smooth Hodge-proper model over $\mathcal O_K$, its $\mathbb Q_p$-étale cohomology is a crystalline Galois representation. We then also establish a truncated version of the above results in more gener…
