$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.
The aim of this paper is to give an application of p-adic Hodge theory to stringy Hodge numbers introduced by V. Batyrev for a mathematical formulation of mirror symmetry. Since the stringy Hodge numbers of an algebraic variety are defined by choosing a resolution of singularities, the well-definedness is not clear from the definition. We give a proof of the well-definedness based on arithmetic results such as p-adic integration and p-adic Hodge theory. Note that another proof of the well-definedness was already obtained by V. Batyrev himself by motivic integration. This is a generalization of…
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.
We prove a Hodge-type decomposition for the de-Rham cohomology of $ p$-adically uniformized varieties by the product of Drinfeld's symmetric spaces. It is based on work of Schneider, Stuhler, Iovita and Spiess on the cohomology of Drinfeld's symmetric space.
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…
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…
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…
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.
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$.
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…
We prove, following Deligne and André, that the Hodge classes on abelian varieties of CM-type can be expressed in terms of divisor classes and split Weil classes, and we describe some consequences. In particular, we show that Grothendieck's standard conjecture of Lefschetz type implies the Hodge conjecture for abelian varieties (Abdulali, André, ...).
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.
We prove a conjecture of Milne pertaining to the existence of integral canonical models of Shimura varieties of abelian type in arbitrary unramified mixed characteristic $(0,p)$. As an application we prove for $p=2$ a motivic conjecture of Milne pertaining to integral canonical models of Shimura varieties of Hodge type.
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.
This is a survey of the three main methods developed in the last 15 years to prove the existence of integral canonical models of Shimura varieties of Hodge type. The only new part is formed by corrections to results of Kisin.
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…
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 give a simple proof that Kottwitz's PEL type integral models of Shimura varieties admit closed embeddings into Siegel integral models. We also show that Rapoport's and Kottwitz's integral models agree with Kisin's integral models for relevant Shimura data.
We prove formulas for the p-adic logarithm of quaternionic Darmon points on p-adic tori and modular abelian varieties over Q having purely multiplicative reduction at p. These formulas are amenable to explicit computations and are the first to treat Stark-Heegner type points on higher-dimensional abelian varieties.
We construct projective toroidal compactifications for integral models of Shimura varieties of Hodge type. We also construct integral models of the minimal (Satake-Baily-Borel) compactification. Our results essentially reduce the problem to understanding the integral models themselves. As such, they cover all previously known cases of PEL type, as well as all cases of Hodge type involving parahoric level structures. At primes where the level is hyperspecial, we show that our compactifications are canonical in a precise sense. We also provide a new proof of Y. Morita's conjecture on the everywh…
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.
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 prove that for abelian varieties with semistable ordinary reduction the p-adic Mazur-Tate height pairing is induced by the unit root splitting of the Hodge filtration on the first deRham cohomology.
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…
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 consider the p-adic Galois representation associated to a Hilbert modular form. We show the compatibility with the local Langlands correspondence at a place divising p under a certain assumption. We also prove the monodromy-weight conjecture. The prime-to-p case is established by Carayol.
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…
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 show how non-vanishing of p-adic L functions controls the dimensions of Selmer varieties associated to the complement of the origin in an elliptic curve with CM. As a corollary, one obtains a π_1-proof of the theorem of Siegel for such curves.
We recall some basic constructions from p-adic Hodge theory, then describe some recent results in the subject. We chiefly discuss the notion of B-pairs, introduced recently by Berger, which provides a natural enlargement of the category of p-adic Galois representations. (This enlargement, in a different form, figures in recent work of Colmez, Bellaiche, and Chenevier on trianguline representations.) We also discuss results of Liu that indicate that the formalism of Galois cohomology, including Tate local duality, extends to B-pairs.
In this paper we generalize Cherednik's method and prove that certain Shimura varieties corresponding to groups of unitary similitudes and automorphic vector bundles over them have p-adic uniformization. This is proved for Shimura varieties, uniformized by the complex unit ball, when the central simple algebra over a CM-field defining the group of unitary similitudes has Brauer invariant 1/d at p. In this case, Shimura varieties can be uniformized by Drinfeld's covers of p-adic upper half-spaces.
Let X be a proper smooth variety over the complex numbers. We consider the generalized Albanese variety Alb(X,Y) of X of modulus Y, which is a higher dimensional analogue of the generalized Jacobian variety with modulus of Rosenlicht-Serre. Note that the divisor Y can have multiplicity, so the algebraic group Alb(X,Y) can have an additive part. The purpose of this paper is to give Hodge theoretic presentations of Alb(X,Y).
For several Hodge-type Shimura varieties of good reduction in characteristic $p$, we show that the cone of weights of automorphic forms is encoded by the stack of $G$-zips of Pink-Wedhorn-Ziegler. This establishes several instances of a general conjecture formulated in previous papers by the authors. Furthermore, we prove in these cases that any mod $p$ automorphic form whose weight lies in a specific region of the weight space is divisible by a partial Hasse invariant. This generalizes to other Shimura varieties previous results of Diamond--Kassaei on Hilbert modular forms.
We compute, in a stable range, the arithmetic p-adic etale cohomology of smooth rigid analytic and dagger varieties (without any assumption on the existence of a nice integral model) in terms of differential forms using syntomic methods. The main technical input is a construction of a Hyodo-Kato cohomology and a Hyodo-Kato isomorphism with de Rham cohomology.
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…
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…
Beilinson conjectured that all rational cycles of type (q,q) on the qth cohomology of a smooth complex algebraic variety should come from motivic cohomology. The purpose of this note is to prove this when the variety is a semiabelian variety or a product of curves. The proof is based on the study of invariants under the Mumford-Tate group.
Let k be a perfect field of characteristic p>0. We prove the existence of ascending and descending slope filtrations for Shimura p-divisible objects over k. We use them to classify rationally these objects over \bar k. Among geometric applications, we mention two. First we formulate Manin problems for Shimura varieties of Hodge type. We solve them if either p\Ge 3 or p=2 and two mild conditions hold. Second we formulate integral Manin problems. We solve them for certain Shimura varieties of PEL type.
