The purpose of this note is to give a direct proof of the fact that if one applies Colmez' functor to a two dimensional irreducible F_p^bar-representation of Gal(Q_p^bar/Q_p), one gets the restriction to the Borel subgroup of GL_2(Q_p) of a supersingular representation.
Let C be a supersingular genus-2 curve over an algebraically closed field of characteristic 3. We show that if C is not isomorphic to the curve y^2 = x^5 + 1 then up to isomorphism there are exactly 20 degree-3 maps phi from C to the elliptic curve E with j-invariant 0. We study the coarse moduli space of triples (C,E,phi), paying particular attention to questions of rationality. The results we obtain allow us to determine, for every finite field k of characteristic 3, the polynomials that occur as Weil polynomials of supersingular genus-2 curves over k.
The goal of this article is to construct explicitly a p-adic family of representations (which are dihedral representations), to construct their associated (phi,Gamma)-modules by writing down explicit matrices for phi and for the action of Gamma, and finally to determine which of these are trianguline.
The aim of this article is to generalize Kato's (commutative) p-adic local epsilon-conjecture [Ka93b] for families of (phi,Gamma)-modules over the Robba ring. In particular, we prove the generalized local epsilon-conjecture for rank one (phi,Gamma)-modules, which is a generalization of Kato's theorem [Ka93b] for rank one Galois representations. The key ingredients are the recent results of Kedlaya-Pottharst-Xiao [KPX12] on the finiteness of cohomology of (phi,Gamma)-modules and the theory of Bloch-Kato's exponential map for (phi,Gamma)-modules developed in [Na13].
Let K be a finite unramified extension of Q_p. We parametrize the (phi, Gamma)-modules corresponding to reducible two-dimensional mod p representations of G_K and characterize those which have reducible crystalline lifts with certain Hodge-Tate weights.
We investigate the relation between p-adic Galois representations and overconvergent (phi,Gamma)-modules in families. Especially we construct a natural open subspace of a family of (phi,Gamma)-modules, over which it is induced by a family of Galois-representations.
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.
Given a p-adic representation of the Galois group of a local field, we show that its Galois cohomology can be computed using the associated etale (phi,Gamma)-module over the Robba ring; this is a variant of a result of Herr. We then establish analogues, for not necessarily etale (phi,Gamma)-modules over the Robba ring, of the Euler-Poincare characteristic formula and Tate local duality for p-adic representations. These results are expected to intervene in the duality theory for Selmer groups associated to de Rham representations.
Colmez has given a recipe to associate a smooth modular representation Omega(W) of the Borel subgroup of GL_2(Q_p) to a F_p^bar-representation W of Gal(Qp^bar/Qp) by using Fontaine's theory of (phi,Gamma)-modules. We compute Omega(W) explicitly and we prove that if W is irreducible and dim(W)=2, then Omega(W) is the restriction to the Borel subgroup of GL_2(Q_p) of the supersingular representation associated to W in Breuil's correspondence.
In this paper, given a smooth proper scheme X over a p-adic dvr and a p-power torsion etale local system L on it, we study a family of sheaves associated to the cohomology of local relative (Phi-Gamma)-modules of L and their cohomology. As applications we derive descriptions of the etale cohomology groups on the geometric generic fiber of X with values in L, as well as of their classical (Phi-Gamma)-modules, in terms of cohomology of the above mentioned sheaves.
We prove the finiteness and compatibility with base change of the (phi,Gamma)-cohomology and the Iwasawa cohomology of arithmetic families of (phi,Gamma)-modules. Using this finiteness theorem, we show that a family of Galois representations that is densely pointwise refined in the sense of Mazur is actually trianguline as a family over a large subspace. In the case of the Coleman-Mazur eigencurve, we determine the behavior at all points.
Berger and Colmez introduced a theory of families of overconvergent étale (Phi,Gamma)-modules associated to families of p-adic Galois representations over p-adic Banach algebras. However, in contrast with the classical theory of (Phi,Gamma)-modules, the functor they obtain is not an equivalence of categories. In this paper, we prove that when the base is an affinoid space, every family of (overconvergent) étale (Phi,Gamma)-modules can locally be converted into a family of p-adic representations in a unique manner, providing the "local" equivalence. There is a global mod p obstruction related t…
This survey article is based on 10 lectures that we gave at the September 2019 Hausdorff School in Bonn on "the Emerton--Gee stack and related topics", and the sections correspond to the original lectures. We have retained the somewhat informal style of some of these lectures, but have filled them out with further details.
Main change from v1 : theorem C has been modified, see remark 3.1.7 (2). We study the category of B-pairs (W_e,W_dR^+) where W_e is a free B_cris^{phi=1}-module with a semilinear and continuous action of G_K and where W_dR^+ is a G_K-stable B_dR^+ -lattice in B_dR \otimes W_e. This category contains the category of p-adic representations and is naturally equivalent to the category of all (phi,Gamma)-modules over the Robba ring.
This is is a survey of applications of Fontaine's theory of p-adic representations of local fields (Phi-Gamma-modules) to Galois cohomology of local fields and explicit formulas for the Hilbert symbol in relation with two-dimensional local objects.
The goal of this article is to show that the following two categories are equivalent (1) the category of filtered (phi,N,G_K)-modules (2) the category of (phi,Gamma_K)-modules over the Robba ring such that the Lie algebra of Gamma_K acts locally trivially. Furthermore, we show that under this equivalence, the admissible filtered (phi,N,G_K)-modules correspond to the etale (phi,Gamma_K)-modules, which gives a new proof of Colmez-Fontaine's theorem.
We construct stacks which algebraize Mazur's formal deformation rings of local Galois representations. More precisely, we construct Noetherian formal algebraic stacks over Spf Zp which parameterize étale (phi,Gamma)-modules; the formal completions of these stacks at points in their special fibres recover the universal deformation rings of local Galois representations. We use these stacks to show that all mod p representations of the absolute Galois group of a p-adic local field lift to characteristic zero, and indeed admit crystalline lifts. We also discuss the relationship between the geometr…
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…
In a previous paper, we constructed a category of (phi, Gamma)-modules associated to any adic space over Q_p with the property that the etale (phi, Gamma)-modules correspond to etale Q_p-local systems; these involve sheaves of period rings for Scholze's pro-etale topology. In this paper, we first extend Kiehl's theory of coherent sheaves on rigid analytic spaces to a theory of pseudocoherent sheaves on adic spaces, then construct a corresponding theory of pseudocoherent (phi, Gamma)-modules. We then relate these objects to a more explicit construction in case the space comes equipped with a su…
Let K be a complete discretely valued field of mixed characteristics (0, p) with perfect residue field. One of the central objects of study in p-adic Hodge theory is the category of continuous representations of the absolute Galois group of K on finite-dimensional Qp-vector spaces. In recent years, it has become clear that this category can be studied more effectively by embedding it into the larger category of (phi, Gamma)-modules; this larger category plays a role analogous to that played by the category of vector bundles on a compact Riemann surface in the Narasimhan-Seshadri theorem on uni…
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…
Trianguline representations are a certain class of p-adic representations of Gal(Qp^alg/Qp) like the crystalline, semistable and de Rham representations of Fontaine. Their definition involves the theory of (phi,Gamma)-modules. In this survey, we explain the theory of (phi,Gamma)-modules and the definition and properties of trianguline representations. After that, we give some examples of their occurrence in arithmetic geometry.
Let p be an odd prime number and K be a p-adic field. In this paper, we develop an analogue of Fontaine's theory of (phi,Gamma)-modules replacing the p-cyclotomic extension by the extension K_infty obtained by adding to K a compatible system of p^n-th roots of a fixed uniformizer pi of K. As a result, we obtain a new classification of p-adic representations of G_K = Gal(Kbar/K) by some (phi, τ)-modules. We then make a link between the theory of (phi,tau)-modules discussed above and the so-called theory of (phi,N_nabla)$-modules developped by Kisin. As a corollary, we answer a question of Tong …