Cais and Liu extended the theory of Kisin modules and crystalline representations to allow more general coefficient fields and lifts of Frobenius. Based on their theory, we classify lattices in crystalline representations by Kisin modules with additional structures under a Cais-Liu's setting. Furthermore, we give a geometric interpretation of Kisin modules of height one in terms of Dieudonné crystals of $p$-divisible groups, and show a full faithfulness theorem for a restriction functor on torsion crystalline representations.
We determine rational Kisin modules associated with two-dimensional, irreducible, crystalline representations of $\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)$ of Hodge-Tate weights $0, k-1$. If the slope is larger than $\lfloor \frac{k-1}{p} \rfloor$, we further identify an integral Kisin module, which we use to calculate the semisimple reduction of the Galois representation. In that range, we find that the reduction is constant, thereby improving on a theorem of Berger, Li, and Zhu.
Mark Kisin proved that a certain restriction functor on crystalline p-adic representations is fully faithful. In this paper, we prove the torsion analogue of Kisin's theorem.
Let $p>2$ be a prime. Let $K$ be a tamely ramified finite extension over $\mathbb Q_p$ with ramification index $e$, and let $G_K$ be the Galois group. We study Kisin modules attached to crystalline representations of $G_K$ whose labeled Hodge-Tate weights are relatively small (a sort of "$er\le p$" condition where $r$ is the maximal Hodge-Tate weight). In particular, we show that these Kisin modules admit "adapted bases". We then apply these results in the special case $e=2$ to study reductions and liftings of certain crystalline representations. As a consequence, we establish some new cases o…
For a perfect field $k$ of characteristic $p>0$ and a smooth and proper formal scheme $\mathscr{X}$ over the ring of integers of a finite and totally ramified extension $K$ of $W(k)[1/p]$, we propose a cohomological construction of the Breuil-Kisin modules attached to the $p$-adic étale cohomology $H^i_{\mathrm{ét}}(\mathscr{X}_{\overline{K}},\mathbf{Z}_p)$. We then prove that our proposal works when $p>2$, $i < p-1$, and the crystalline cohomology of the special fiber of $\mathscr{X}$ is torsion-free in degrees $i$ and $i+1$.
We extend the theory of Kisin modules and crystalline representations to allow more general coefficient fields and lifts of Frobenius. In particular, for a finite and totally ramified extension $F/\mathbb Q_p$, and an arbitrary finite extension $K/F$, we construct a general class of infinite and totally wildly ramified extensions $K_\infty/K$ so that the functor $V\mapsto V|_{G_{K_\infty}}$ is fully-faithfull on the category of $F$-crystalline representations $V$. We also establish a new classification of $F$-Barsotti-Tate groups via Kisin modules of height 1 which allows more general lifts of…
Fontaine's $D_{\mathrm{cris}}$ functor allow us to associate an isocrystal to any crystalline representation. For a reductive group $G$, we study the reduction of lattices inside a germ of crystalline representations with $G$-structure $V$ to lattices (which are crystals) with $G$-structure inside $D_{\mathrm{cris}}(V)$. Using Kisin modules theory, we give a description of this reduction in terms of $G$, in the case when the representation $V$ is ($G$-)ordinary. In order to do that, first we need to generalize Fargues' construction of the Harder-Narasimhan filtration for $p$-divisible groups t…
Let p be a prime and T a lattice inside a semi-stable representation V. We prove that Kisin modules associated to T by selecting different uniformizers are isomorphic after tensoring a subring in W(R). As consequences, we show that several lattices inside the filtered (phi, N)-module of V constructed from Kisin modules are independent on the choice of uniformizers. Finally we use a similar strategy to show that the Wach module can be recovered from the (φ, \hat G)-module associated to T when V is crystalline and the base field is unramified.
We adapt a technique of Kisin to construct and study crystalline deformation rings of $G_K$ for a finite extension $K/\mathbb{Q}_p$. This is done by considering a moduli space of Breuil--Kisin modules, satisfying an additional Galois condition, over the universal deformation ring. For $K$ unramified over $\mathbb{Q}_p$ and Hodge--Tate weights in $[0,p]$, we study the geometry of this space. As a consequence we prove that, under a mild cyclotomic-freeness assumption, all crystalline representations of an unramified extension of $\mathbb{Q}_p$, with Hodge--Tate weights in $[0,p]$, are potentiall…
The aim of this article is to prove Zariski density of crystalline representations in the rigid analytic space associated to the universal deformation ring of a d-dimensional mod p representation of Gal(\bar{K}/K) for any d and for any p-adic field K. This is a generalization of the results of Colmez, Kisin (d=2, K=Q_p), of the author (d=2, any K), of Chenevier (any d, K=Q_p). A key ingredient for the proof is to construct a p-adic family of trianguline representations. In this article, we construct (an approximation of) this family by generalizing Kisin's theory of finite slope subspace X_{fs…
We construct a moduli space $Y^{μ, τ}$ of Kisin modules with tame descent datum $τ$ and with fixed $p$-adic Hodge type $\leq μ$, for some finite extension $K/\mathbb{Q}_p$. We show that this space is smoothly equivalent to the local model for $\mathrm{Res}_{K/\mathbb{Q}_p} \mathrm{GL}_n$, cocharacter $\{ μ\}$, and parahoric level structure. We use this to construct the analogue of Kottwitz-Rapoport strata on the special fiber $Y^{μ, τ}$ indexed by the $μ$-admissible set. We also relate $Y^{μ, τ}$ to potentially crystalline Galois deformation rings.
Let $p$ be a prime, $K$ a finite extension of $\mathbb Q_p$, and let $G_K$ be the absolute Galois group of $K$. The category of étale $(φ, τ)$-modules is equivalent to the category of $p$-adic Galois representations of $G_K$. In this paper, we show that all étale $(φ, τ)$-modules are overconvergent; this answers a question of Caruso. Our result is an analogy of the classical overconvergence result of Cherbonnier and Colmez in the setting of étale $(φ, Γ)$-modules. However, our method is completely different from theirs. Indeed, we first show that all $p$-power-torsion representations admit loo…
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.
Let $K$ be an unramified extension of $\mathbb{Q}_p$ and $ρ\colon G_K \rightarrow \operatorname{GL}_n(\overline{\mathbb{Z}}_p)$ a crystalline representation. If the Hodge--Tate weights of $ρ$ differ by at most $p$ then we show that these weights are contained in a natural collection of weights depending only on the restriction to inertia of $\overlineρ = ρ\otimes_{\overline{\mathbb{Z}}_p} \overline{\mathbb{F}}_p$. Our methods involve the study of a full subcategory of $p$-torsion Breuil--Kisin modules which we view as extending Fontaine--Laffaille theory to filtrations of length $p$.
The aim of this article is to study deformation theory of trianguline B-pairs for any p-adic field. For benign B-pairs, a special good class of trianguline B-pairs, we prove a main theorem concerning tangent spaces of these deformation spaces. These are generalizations of Bellaiche-Chenevier's and Chenevier's works in the Q_p case, where they used (ϕ,Γ)-modules over the Robba ring instead of using B-pairs. As an application of this theory, in the final chapter, we prove a theorem concerning Zariski density of two dimensional crystalline representations for any p-adic field, which is a generali…
Let $k$ be a perfect field of characteristic $p>2$ and $K$ an extension of $F=\mathrm{Frac} W(k)$ contained in some $F(μ_{p^r})$. Using crystalline Dieudonné theory, we provide a classification of $p$-divisible groups over $\mathscr{O}_K$ in terms of finite height $(φ,Γ)$-modules over $\mathfrak{S}:=W(k)[[u]]$. Although such a classification is a consequence of (a special case of) the theory of Kisin--Ren, our construction gives an independent proof and allows us to recover the Dieudonné crystal of a $p$-divisible group from the Wach module associated to its Tate module by Berger--Breuil or by…
We prove the local epsilon-isomorphism conjecture of Fukaya and Kato [FK06] for certain crystalline families of G_Qp-representations. This conjecture can be regarded as a local analogue of the Iwasawa main conjecture for families. Our work extends earlier work of Kato for rank-1 modules (cf. [Ven13]), of Benois and Berger for crystalline G_Qp-representations with respect to the cyclotomic extension (cf. [BB08]), as well as of Loeffler, Venjakob, and Zerbes (cf. [LVZ13]) for crystalline G_Qp- representations with respect to abelian p-adic Lie extensions of Qp. Nakamura [Nak13, Nak14] has also f…
We show finiteness results on torsion points of commutative algebraic groups over a $p$-adic field $K$ with values in various algebraic extensions $L/K$ of infinite degree. We mainly study the following cases: (1) $L$ is an abelian extension which is a splitting field of a crystalline character (such as a Lubin-Tate extension). (2) $L$ is a certain iterate extension of $K$ associated with Lubin-Tate formal groups, which is familiar with Kummer theory.
Let X_d be the p-adic analytic space classifying the d-dimensional (semisimple) p-adic Galois representations of the absolute Galois group of Q_p. We show that the crystalline representations are Zarski-dense in many irreducible components of X_d, including the components made of residually irreducible representations. This extends to any dimension d previous results of Colmez and Kisin for d = 2. For this we construct an analogue of the infinite fern of Gouvêa-Mazur in this context, based on a study of analytic families of trianguline (phi,Gamma)-modules over the Robba ring. We show in partic…
