Searcharxiv⌕ Search

arXiv subjects

Ruochuan Liu

Publications and source records attributed to Ruochuan Liu.

26 records · Page 2Linked to original sources

Triangulation of refined families

We prove the global triangulation conjecture for families of refined p-adic representations under a mild condition. That is, for a refined family, the associated family of (phi, Gamma)-modules admits a global triangulation on a Zariski open and dense subspace of the base that contains all regular non-critical points. We also determine a large class of points which belongs to the locus of global triangulation. Furthermore, we prove that all the specializations of a refined family are trianguline. In the case of the Coleman-Mazur eigencurve, our results provide the key ingredient for showing its properness in a subsequent work.

math.NT↗

Relative p-adic Hodge theory: Foundations

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 characteristic by exhibiting an equivalence of tensor categories between the finite etale algebras over an arbitrary perfect Banach algebra over a nontrivially normed complete field of characteristic p and the finite etale algebras over a corresponding Banach Q_p-algebra. This recovers the homeomorphism between the absolute Galois groups of F_p((pi)) and Q_p(mu_{p^infty}) given by the field of norms construction of Fontaine and Wintenberger, as well as generalizations considered by Andreatta, Brinon, Faltings, Gabber, Ramero, Scholl, and most recently Scholze. Using Huber's formalism of adic spaces and Scholze's formalism of perfectoid spaces, we globalize the constructions to give several descriptions of the etale local systems on analytic spaces over p-adic fields. One of these descriptions uses a relative version of the Fargues-Fontaine curve.

math.NT↗

Slope filtrations in families

This paper concerns arithmetic families of $φ$-modules over reduced affinoid spaces. For such a family, we first prove that the slope polygons is lower semicontinuous around any rigid point. If the slope polygons are locally constant around a rigid point, we further prove that around this point, the family has a global slope filtration after base change to some extended Robba ring.

math.AG↗

Locally analytic vectors of unitary principal series of GL_2(Qp)

The p-adic local Langlands correspondence for GL2(Qp) attaches to any 2-dimensional irreducible p-adic representation V of the absolute Galois groups of Qp an admissible unitary representation Pi(V) of GL2(Qp). The unitary principal series of GL2(Qp) are those Pi(V) corresponding to trianguline representations. In this article, for p>2, using the machinery of Colmez, we determine the space of locally analytic vectors for all non-exceptional unitary principal series of GL2(Qp) by proving a conjecture of Emerton.

math.NT↗

On Families of (Phi,Gamma)-modules

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 to the moduli of residual representations.

math.NT↗

Locally analytic vectors of some crystabelian representations of GL_2(Qp)

For V a 2-dimensional p-adic representation of G_Qp, we denote by B(V) the admissible unitary representation of GL_2(Qp) attached to V under the p-adic local Langlands correspondence of GL_2(Qp) initiated by Breuil. In this article, building on the works of Berger-Breuil and Colmez, we determine the locally analytic vectors B(V)an of B(V) when V is irreducible, crystabelian and Frobenius semi-simple with Hodge-Tate weights (0,k-1) for some integer k>=2; this proves a conjecture of Breuil. Using this result, we verify Emerton's conjecture that dim Ref^{η\otimesψ}(V)=dim Exp^{η|\cdot|\otimes xψ}(B(V)an\otimes(x|\cdot|\circ\det)) for those V which are irreducible, crystabelian and not exceptional.

math.NT↗

Cohomology and Duality for (phi,Gamma)-modules over the Robba ring

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.

math.NT↗