The aim of this paper is to classify two dimensional split trianguline representations of $p$-adic fields. This is a generalization of a result of Colmez who classified two dimensional split trianguline representations of $\mathrm{Gal}(\bar{\mathbb{Q}}_p/\mathbb{Q}_p)$ by using $(ϕ,Γ)$-modules over Robba ring. In this paper, we classify two dimensional split trianguline representations of $\mathrm{Gal}(\bar{K}/K)$ for general $p$-adic field $K$ by using $B$-pairs defined by Berger.
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 case of K=Q_p, where they used (phi,Gamma)-modules over Robba ring instead of using B-pairs. The main theorem, the author hopes, will play crucial roles in some problems of Zariski density of modular points or of crystalline points in deformation spaces of global or local p-a…
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.
We apply the theory of families of (phi,Gamma)-modules to trianguline families as defined by Chenevier. This yields a new definition of Kisin's finite slope subspace as well as higher dimensional analogues. Especially we show that these finite slope spaces contain eigenvarieties for unitary groups as closed subspaces. This implies that the representations arising from overconvergent p-adic automorphic forms on certain unitary groups are trianguline when restricted to the local Galois group.
Using the overconvergent cohomology modules introduced by Ash and Stevens, we construct eigenvarieties associated with reductive groups and establish some basic geometric properties of these spaces, building on work of Ash-Stevens, Urban, and others. We also formulate a precise modularity conjecture linking trianguline Galois representations with overconvergent cohomology classes. In the course of giving evidence for this conjecture, we establish several new instances of \emph{p-}adic Langlands functoriality. Our main technical innovations are a family of universal coefficients spectral sequen…
We show that if V and V' are two p-adic representations of Gal(Qp^alg/Qp) whose tensor product is trianguline, then V and V' are both potentially trianguline.
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 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…
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.
In this article, we prove (many parts of) the rank two case of the Kato's local epsilon-conjecture using the Colmez's p-adic local Langlands correspondence for GL_2(Q_p). We show that a Colmez's pairing defined in his study of locally algebraic vectors gives us the conjectural epsilon-isomorphisms for (almost) all the families of p-adic representations of Gal(overline{Q}_p/Q_p) of rank two, which satisfy the desired interpolation property for the de Rham and trianguline case. For the de Rham and non trianguline case, we also show this interpolation property for the "critical" range of Hodge-Ta…
Given a central isogeny $π\colon G\to H$ of connected reductive $\overline{\mathbb Q}_p$-groups, and a local Galois representation $ρ$ valued in $H(\overline{\mathbb Q}_p)$ that is trianguline in the sense of Daruvar, we study whether a lift of $ρ$ along $π$ is still trianguline. We give a positive answer under weak conditions on the Hodge--Tate--Sen weights of $ρ$, and the assumption that the trianguline parameter of $ρ$ can be lifted along $π$. This is an analogue of the results proved by Wintenberger, Conrad, Patrikis, and Hoang Duc for $p$-adic Hodge-theoretic properties of $ρ$. We describ…
The two main results of this note are on the one hand that if V is a 2-dimensional potentially trianguline representation of G_Qp then V satisfies at least one of the following properties (1) V is split trianguline (2) V is a direct sum of characters or an induced representation (3) V is a twist of a de Rham representation, and on the other hand that there exists some 2-dimensional representations of G_Qp which are not potentially trianguline.
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.
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…
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.
Let D be a quaternion division algebra over a totally real number field F which splits exactly at one infinite place. We assume that there is a p-adic place where D doesn't split. Then the associated Shimura curve has a Cherednik unifomization by the p-adic upper half plane. We define an integral model of the Shimura curve an over the integers O of this p-adic place. We prove an uniformization theorem for the completion of the model over the formal spectrum Spf O.
We establish arithmetic duality theorems for short complexes associated to reductive groups over $p$-adic function fields. Using dualities, we deduce obstructions to weak approximation for certain reductive groups (especially quasi-split ones) and relate this obstruction to an unramified Galois cohomology group.
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…
Let n be a positive integer and let p be a prime. We calculate the probability that a random monic polynomial of degree n with coefficients in the ring Z_p of p-adic integers splits over Z_p into linear factors.
We prove that the density of polynomials $P(x)=\sum_{i=0}^n a_n x^n$ over a local field $K$ generating an étale extension with specified splitting type is a rational function in terms of the size of the residue field of $K$ in the case where the splitting type is tame. Moreover, we give a computable recursive formula for these densities and compute the asymptotics of this density as the size of the residue field tends to infinity.
We give a classification of irreducible admissible modulo $p$ representations of a split $p$-adic reductive group in terms of supersingular representations. This is a generalization of a theorem of Herzig.
We prove that the canonical dimension of an admissible Banach space or a locally analytic representation of an arbitrary semisimple p-adic Lie group is either zero or at least half the dimension of a non-zero coadjoint orbit. This extends the results of Ardakov-Wadsley and Schmidt in the split semisimple case.
We study the reducibility of parabolically induced representations of non-split inner forms of quasi-split classical groups. The isomorphism of Arthur R-groups, endoscopic R-groups and Knapp-Stein R-groups is established, as well as showing these R-groups are isomorphic to the corresponding ones for the quasi-split form. This shows R-groups are an invariant of the L-packets. The results are applied to classify the elliptic spectrum.
Let $f$ be a modular form which is non-ordinary at $p$. Kim and Loeffler have recently constructed two-variable $p$-adic $L$-functions associated to $f$. In the case where $a_p=0$, they showed that, as in the one-variable case, Pollack's plus and minus splitting applies to these new objects. In this short note, we show that such a splitting can be generalised to the case where $a_p\ne0$ using Sprung's logarithmic matrix.
We compute the versal deformation ring of a split generic $2$-dimensional representation $χ_1\oplus χ_2$ of the absolute Galois group of $\mathbb{Q}_p$. As an application, we show that the Breuil--Mézard conjecture for both non-split extensions of $χ_1$ by $χ_2$ and $χ_2$ by $χ_1$ implies the Breuil--Mézard conjecture for $χ_1\oplus χ_2$. The result is new for $p=2$, the proof works for all primes.
We determine the Galois representations inside the $l$-adic cohomology of some unitary Shimura varieties at split places where they admit uniformization by finite products of Drinfeld upper half spaces. Our main results confirm Langlands-Kottwitz's description of the cohomology of Shimura varieties in new cases.
Let $J$ be an abelian variety over a number field such that the center of its endomorphism ring is equal to the ring of integers. If the endomorphism ring splits at a prime number $l$, then the $l$-adic representation is defined by the minuscule weights (microweights) of simple classical Lie algebras.
A difference formula of $p$-adic height pairings via the Bloch-Kato logarithm map
Joint Graduate School of Mathematics for Innovation, Kyushu University（九州大学数学创新联合研究生院）；Institute of Mathematics for Industry, Kyushu University（九州大学产业数学研究所）；Graduate School for Mathematics, Kyushu University（九州大学数学研究院）
Let $f$ be a newform of even weight $2κ$ for $D^\times$, where $D$ is a possibly split indefinite quaternion algebra over $\mathbb{Q}$. Let $K$ be a quadratic imaginary field splitting $D$ and $p$ an odd prime split in $K$. We extend our theory of $p$-adic measures attached to the power series expansions of $f$ around the Galois orbit of the CM point corresponding to an embedding $K\hookrightarrow D$ to forms with any nebentypus and to $p$ dividing the level of $f$. For the latter we restrict our considerations to CM points corresponding to test objects endowed with an arithmetic $p$-level str…
The purpose of this article is to give an overview of the series of papers [BK1], [BK2] concerning the $p$-adic Beilinson conjecture of motives associated to Hecke characters of an imaginary quadratic field $K$, for a prime $p$ which splits in $K$.
Period and index of a curve $X/K$ over a $p$-adic local field $K$ such that the fundamental group $π_1(X/K)$ admits a splitting are shown to be powers of $p$. As a consequence, examples of curves over number fields are constructed where having sections is obstructed locally at a $p$-adic place. Hence the section conjecture holds for these curves as there are neither sections nor rational points.
Let $D$ be the non-split quaternion algebra over $\mathbb{Q}_p$. We prove that a class of admissible unitary Banach space representations of $D^{\times}$ of global origin are topologically of finite length.
We prove that the centre of the category of smooth mod $p$ representations with fixed central character of a split semisimple $p$-adic group is a local ring.
Let G be a connected simple adjoint p-adic group not isomorphic to a projective linear group PGL(m,D) of a division algebra D, or an adjoint ramified unitary group of a split hermitian form in 3 variables. We prove that G admits an irreducible admissible supercuspidal (i.e. supersingular) representation over any field of characteristic p.
We study the theory of finite-order p-adic functions and distributions on ray class groups of number fields, and apply this to the construction of (possibly unbounded) p-adic L-functions for automorphic forms on GL(2) which may be non-ordinary at the primes above p. As a consequence, we obtain a "plus-minus" decomposition of the p-adic L-functions of automorphic forms for GL(2) over an imaginary quadratic field with p split and Hecke eigenvalues 0 at the primes above p, confirming a conjecture of B.D. Kim.
In this note we relate the property of a semisimple l-adic Galois representation being "F-split" for a number field F to its having abelian image. By F-split we mean that the characteristic polynomials of Frobenii all split in F.
We give a new definition of a $p$-adic $L$-function for a mixed signature character of a real quadratic field and for a nontrivial ray class character of an imaginary quadratic field. We then state a $p$-adic Stark conjecture for this $p$-adic $L$-function. We prove our conjecture in the case when $p$ is split in the imaginary quadratic field by relating our construction to Katz's $p$-adic $L$-function. We also provide numerical evidence for our conjecture in three examples.
For an algebraic number field K such that prime l splits completely in K we define a regulator R(K) that characterize the subgroup of universal norms from the cyclotomic extension of K in the completed group of S-units of K, where S consists of all prime divisors of l. We prove that inequality R(K) not equals 0 follows from the l-adic Schanuel conjecture and holds true for some Abelian extensions of imaginary quadratic fields.
Let F be a finite extension of Q_p. Using the mod p Satake transform, we define what it means for an irreducible admissible smooth representation of an F-split p-adic reductive group over \bar F_p to be supersingular. We then give the classification of irreducible admissible smooth GL_n(F)-representations over \bar F_p in terms of supersingular representations. As a consequence we deduce that supersingular is the same as supercuspidal. These results generalise the work of Barthel-Livne for n = 2. For general split reductive groups we obtain similar results under stronger hypotheses.
Bombieri and Zannier gave an effective construction of algebraic numbers of small height inside the maximal Galois extension of the rationals which is totally split at a given finite set of prime numbers. They proved, in particular, an explicit upper bound for the lim inf of the height of elements in such fields. We generalize their result in an effective way to maximal Galois extensions of number fields with given local behaviour at finitely many places.
Let k be a totally real number field ant let k$\infty$ be its cyclotomic Zp-extension for a prime p\textgreater{}2. We give (Theorem 3.2) a sufficient condition of nullity of the Iwasawa invariants lambda, mu, when p totally splits in k, and we obtain important tables of quadratic fields and p for which we can conclude that lambda = mu=0.We show that the number of ambiguous p-classes of kn (nth stage in k$\infty$) is equal to the order of the torsion group T, of the Galois group of the maximal Abelian p-ramified pro-p-extension of k (Theorem 4.2), for all n \textgreater{}\textgreater{} e, wher…
This paper proves the local Langlands conjecture for the non quasi-split inner form Sp(1,1) of Sp(4) over a p-adic field of characteristic 0, by studying the restriction of representations from the non quasi-split inner form GSp(1,1) of GSp(4) to Sp(1,1). The L-packets for Sp(1,1) are constructed based on the earlier work on the local Langlands correspondence for GSp(1,1) by Gan and Tantono. To parameterize them in terms of so-called S-groups, we establish and utilize the local Langlands correspondence for reductive dual groups which participate in the theta correspondence with Sp(1,1) and GSp…
Let $L/F$ be a quadratic extension of totally real number fields. For any prime $p$ unramified in $L$, we construct a $p$-adic $L$-function interpolating the central values of the twisted triple product $L$-functions attached to a $p$-nearly ordinary family of unitary cuspidal automorphic representations of $\text{Res}_{L\times F/F}(\text{GL}_{2})$. Furthermore, when $L/\mathbb{Q}$ is a real quadratic number field and $p$ is a split prime, we prove a $p$-adic Gross-Zagier formula relating the value of the $p$-adic $L$-function outside the range of interpolation to the syntomic Abel-Jacobi imag…
Let F be a number field, p a prime number. We construct the (multi-variable) p-adic L-function of an automorphic representation of $GL_2(A_F)$ (with certain conditions at places above p and $\infty$), which interpolates the complex L-function at the central critical point. We use this construction to prove that the p-adic L-function of a modular elliptic curve E over F has vanishing order greater or equal to the number of primes above p at which E has split multiplicative reduction, as predicted by the exceptional zero conjecture. This is a generalization of analogous results by Spieß (arXiv:1…
