By the theory of Colmez and Fontaine, a de Rham representation of the Galois group of a local field roughly corresponds to a representation of the Weil-Deligne group equipped with an admissible filtration on the underlying vector space. Using a modification of the classical local Langlands correspondence, we associate with any pair consisting of a Weil-Deligne group representation and a type of a filtration (admissible or not) a specific locally algebraic representation of a general linear group. We advertise the conjecture that this pair comes from a de Rham representation if and only if the corresponding locally algebraic representation carries an invariant norm. In the crystalline case, the Weil-Deligne group representation is unramified and the associated locally algebraic representation can be studied using the classical Satake isomorphism. By extending the latter to a specific norm completion of the Hecke algebra, we show that the existence of an invariant norm implies that our pair, indeed, comes from a crystalline representation. We also show, by using the formalism of Tannakian categories, that this latter fact is compatible with classical unramified Langlands functoriality and therefore generalizes to arbitrary split reductive groups.
We formalise a notion of $p$-adic Langlands functoriality for the definite unitary group. This extends the classical notion of Langlands functoriality to the setting of eigenvarieties. We apply some results of Chenevier to obtain some cases of $p$-adic Langlands functoriality by interpolating known cases of classical Langlands functoriality.
Functoriality conjecture is one of the central subjects of the present-day mathematics. Functoriality is the profound problem formulated by Robert Langlands in the late 1960s in order to establish nonabelian class field theory. In this expository paper, we describe the Langlands-Shahidi method, the local and global Langlands conjectures and the converse theorems which are powerful tools for the establishment of functoriality of some important cases, and survey the interesting results related to functoriality conjecture.
We generalize a beautiful method of Blasius and Ramakrishnan, that in order to exhibit particular instances of the Langlands functorial correspondence, it is enough to show that the correspondence holds in the semistable case, provided the arithmetic data we are considering is closed with respect to cyclic base change and descent.
This is a survey lecture note on the applications of Langlands functoriality which were obtained recently by some people at the Langalnds school. This lecture was delivered at the Department of Mathematics, Kyoto University, Japan on June 30 (Tuesday), 2009.
In this article, we are concerned with the Langlands functoriality conjecture. Cogdell, Kim, Piatetski-Shapiro and Shahidi proved functioriality conjecture in the case of a globally generic cuspidal automorphic representation for the split classical groups, unitary groups or even quasi-split special orthogonal groups in characteristic zero. Lomelí extends this result to split classical groups and unitary groups in positive characteristic. Thus, in this article we prove the Langlands functoriality conjecture for the even quasi-split non-split special orthogonal groups in positive characteristic…
Bernstein blocks of complex representations of p-adic reductive groups have been computed in a large amount of examples, in part thanks to the theory of types a la Bushnell and Kutzko. The output of these purely representation-theoretic computations is that many of these blocks are equivalent. The motto of this paper is that most of these coincidences are explained, and many more can be predicted, by a functoriality principle involving dual groups. We prove a precise statement for groups related to GL n , and then state conjectural generalizations in two directions : more general reductive gro…
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 study the basic geometry of a class of analytic adic spaces that arise in the study of the extended (or adic) eigenvarieties constructed by Andreatta--Iovita--Pilloni, Gulotta and the authors. We apply this to prove a general interpolation theorem for Langlands functoriality, which works for extended eigenvarieties and improves upon existing results in characteristic 0. As an application, we show that the characteristic p locus of the extended eigenvariety for GL(2)/F, where F is a cyclic extension of the rational numbers Q, contains non-ordinary components of dimension at least [F:Q].
We discuss generalizations of the Langlands program, from reductive groups to the local and automorphic spectra of spherical varieties, and to more general representations arising as "quantizations" of suitable Hamiltonian spaces. To a spherical $G$-variety $X$, one associates a dual group ${^LG_X}$ and an $L$-value (encoded in a representation of ${^LG_X}$), which conjecturally describe the local and automorphic spectra of the variety. This sets up a problem of functoriality, for any morphism ${^LG_X}\to {^LG_Y}$ of dual groups. We review, and generalize, Langlands' "beyond endoscopy" approac…
This is a report on the global aspects of the Langlands-Shahidi method which in conjunction with converse theorems of Cogdell and Piatetski-Shapiro has recently been instrumental in establishing a significant number of new and surprising cases of Langlands Functoriality Conjecture over number fields. They have led to striking new estimates towards Ramanujan and Selberg conjectures.
We prove p-adic functoriality for inner forms of unitary groups in three variables by establishing the existence of morphisms between eigenvarieties that extend the classical Langlands functoriality.
This is a semi-expository article concerning Langlands functoriality and Deligne's conjecture on the special values of $L$-functions. The emphasis is on symmetric power $L$-functions associated to a holomorphic cusp form, while appealing to a recent work of Mahnkopf on the special values of automorphic $L$-functions.
These are expanded notes of some lectures given by the author for a workshop held at the Indian Statistical Institute, Bangalore in June, 2010, giving an exposition on the modular representations of finite groups of Lie type and $p$-adic groups, and the modular Langlands correspondence. These notes give an overview of the subject with several examples.
Inspired by Emerton's work for GL(2), we study the completed cohomology of the tower of finite sets associated with a definite unitary group in two variables. When p splits (and other technical assumptions are fulfilled), we show that the p-adic local Langlands correspondence for GL(2) (over Q_p) occurs in the cohomology. We give an application to the Fontaine-Mazur conjecture over CM fields.
The p-adic local Langlands correspondence for GL_2(Q_p) is given by an exact functor from unitary Banach representations of GL_2(Q_p) to representations of the absolute Galois group G_{Q_p} of Q_p. We prove, using characteristic 0 methods, that this correspondence induces a bijection between absolutely irreducible non-ordinary representations of GL_2(Q_p) and absolutely irreducible 2-dimensional representations of G_{Q_p}. This had already been proved, by characteristic p methods, but only for p\geq 5.
The Langlands Program relates Galois representations and automorphic representations of reductive algebraic groups. The trace formula is a powerful tool in the study of this connection and the Langlands Functoriality Conjecture. After giving an introduction to the Langlands Program and its geometric version, which applies to curves over finite fields and over the complex field, I give a survey of my recent joint work with Robert Langlands and Ngo Bao Chau (arXiv:1003.4578 and arXiv:1004.5323) on a new approach to proving the Functoriality Conjecture using the trace formulas, and on the geometr…
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…
We describe two candidates for a local p-adic Jacquet-Langlands correspondence and using patching we show that they are in fact isomorphic. We then study locally algebraic vectors of the given correspondence.
We extend the Jacquet-Langlands'correspondence between the Hecke-modules of usual and quaternionic modular forms, to overconvergent p-adic forms of finite slope. We show that this correspondence respects p-adic families and is induced by an isomorphism between some associated eigencurves.
Let $\mathbf{B}(V)$ be the admissible unitary $GL_2(\mathbb{Q}_p)$-representation associated to two dimensional crystalline Galois representation $V$ by $p$-adic Langlands constructed by Breuil. Berger and Breuil conjectured an explicit description of the locally analytic vectors $\mathbf{B}(V)_{\mathrm{la}}$ of $\mathbf{B}(V)$ which is now proved by Liu. Emerton recently studied $p$-adic representations from the viewpoint of rigid analytic geometry. In this article, we consider certain rigid analytic subgroups of $GL(2)$ and give an explicit description of the rigid analytic vectors in $\math…
Langlands' functoriality principle predicts deep relations between the local and automorphic spectra of different reductive groups. This has been generalized by the relative Langlands program to include spherical varieties, among which reductive groups are special cases. In the philosophy of Langlands' "beyond endoscopy" program, these relations should be expressed as comparisons between different trace formulas, with the insertion of appropriate $L$-functions. The insertion of $L$-functions calls for one more goal to be achieved: the study of their functional equations via trace formulas. The…
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…
After observing that some constructions and results in the $p$-adic Langlands programme are somehow independent from $p$, we formulate the hypothesis that this astonishing uniformity could be explained by a 1-adic Langlands correspondence.
We reprove the Local Langlands Correspondence for $\GL_n$ over $p$-adic fields as well as the existence of $\ell$-adic Galois representations attached to (most) regular algebraic conjugate self-dual cuspidal automorphic representations, for which we prove a local-global compatibility statement as in the book of Harris-Taylor. In contrast to the proofs of the Local Langlands Correspondence given by Henniart and Harris-Taylor our proof completely by-passes the numerical Local Langlands Correspondence of Henniart. Instead, we make use of a previous result describing the inertia-invariant nearby c…
A Jacquet-Langlands functor for $p$-adic locally analytic representations
Université de Clermont-Auvergne（克莱蒙奥弗涅大学）；Institute of Mathematics ”Simion Stoilow” of the Romanian Academy（罗马尼亚科学院西米恩·斯托伊洛瓦数学研究所）；Max Planck Institute for Mathematics（马克斯·普朗克数学研究所）
We study some tempered endoscopic cases of Langlands functoriality on the $n$-variable unitary groups via the simple stable trace formula. This extends previous work of Rogawski and Clozel-Harris-Labesse. Ramakrishnan and Kim-Shahidi have proved the existence of the automorphic tensor product for $GL_2 \times GL_2$ and $GL_2 \times GL_3$. We apply our endoscopic results to, in a sense, "lift" these theorems and deduce the existence of the automorphic tensor product for the quasi-split unitary groups $U^*_2 \times U^*_2$ and $U^*_2 \times U^*_3$. We then formulate the notion of overconvergent L…
We consider a novel version of the classical Jacquet-Langlands {correspondence}, explore a $p$-adic extension of the Jacquet-Langlands correspondence, and as an explicit example we find an overconvergent automorphic form of weight~1 which corresponds to a classical modular form of weight~1, using both experimental and theoretical methods.
We prove that certain Galois-isotypic parts of the completed cohomology group for U(2) can be written as a completed tensor product of a representation coming from the p-adic Langlands correspondence for $GL_2(\mathbb{Q}_p)$ and a representation arising via the local Langlands correspondence in famillies of Emerton and Helm.
Let F be a p-adic field and n a positive integer. The local Langlands conjecture asserts the existence of a bijection between irreducible admissible representations of GL(n,F) and n-dimensional admissible representations of the Weil-Deligne group of F. This bijection is required to satisfy certain natural compatibilities, of which the most important is compatibility with local functional equations (preservation of L and epsilon factors of pairs). It is enough to construct a bijection with these properties between supercuspidal representations of GL(n,F) and n-dimensional irreducible representa…
Let V be a two-dimensional absolutely irreducible p-adic Galois representation and let Pi be the p-adic Banach space representation associated to V via Colmez's p-adic Langlands correspondence. We establish a link between the infinitesimal action of GL_2(Q_p) on the locally analytic vectors of Pi, the differential equation associated to V via the theory of Fontaine and Berger, and the Sen polynomial of V. This answers a question of Harris and gives a new proof of a theorem of Colmez: Pi has nonzero locally algebraic vectors if and only if V is potentially semi-stable with distinct Hodge-Tate w…
Langlands' beyond endoscopy proposal for establishing functoriality motivates interesting and concrete problems in the representation theory of algebraic groups. We study these problems in a setting related to the Langlands $L$-functions $L(s,π,\,\otimes^3),$ where $π$ is a cuspidal automorphic representation of $\mathrm{GL}_n(\mathbb{A}_F)$ where $F$ is a global field.
We construct a Langlands parameterization of supercuspidal representations of $G_2$ over a $p$-adic field. More precisely, for any finite extension $K / \QQ_p$ we will construct a bijection \[ \CL_g : \CA^0_g(G_2,K) \rightarrow \CG^0(G_2,K) \] from the set of generic supercuspidal representations of $G_2(K)$ to the set of irreducible continuous homomorphisms $ρ: W_K \to G_2(\CC)$ with $W_K$ the Weil group of $K$. The construction of the map is simply a matter of assembling arguments that are already in the literature, together with a previously unpublished theorem of G. Savin on exceptional th…
We extend the results by R.P. Langlands on representations of (connected) abelian algebraic groups. This is done by considering characters into any divisible abelian topological group. With this we can then prove what is known as the abelian case of the $p$-adic Langlands program.
We give a proof of the Breuil-Schneider conjecture in a large number of cases, which complement the indecomposable case, which we dealt with earlier in [Sor]. In some sense, only the Steinberg representation lies at the intersection of the two approaches. In this paper, we view the conjecture from a broader global perspective. If $U_{/F}$ is any definite unitary group, which is an inner form of $\GL(n)$ over $\K$, we point out how the eigenvariety $\X(K^p)$ parametrizes a global $p$-adic Langlands correspondence between certain $n$-dimensional $p$-adic semisimple representations $ρ$ of $\Gal(\…
We establish several new properties of the $p$-adic Jacquet-Langlands functor defined by Scholze in terms of the cohomology of the Lubin-Tate tower. In particular, we reprove Scholze's basic finiteness theorems, prove a duality theorem, and show a kind of partial Künneth formula. Using these results, we deduce bounds on Gelfand-Kirillov dimension, together with some new vanishing and nonvanishing results. Our key new tool is the six functor formalism with solid almost $\mathcal{O}^+/p$-coefficients developed recently by the second author [Man22]. One major point of this paper is to extend the …
We study indefinite quaternion algebras over totally real fields F, and give an example of a cohomological construction of p-adic Jacquet-Langlands functoriality using completed cohomology. We also study the (tame) levels of p-adic automorphic forms on these quaternion algebras and give an analogue of Mazur's `level lowering' principle.
We use the patching method of Taylor--Wiles and Kisin to construct a candidate for the p-adic local Langlands correspondence for GL_n(F), F a finite extension of Q_p. We use our construction to prove many new cases of the Breuil--Schneider conjecture.
We prove Langlands functoriality for the generic spectrum of general spin groups (both odd and even). Contrary to other recent instances of functoriality, our resulting automorphic representations on the general linear group will not be self-dual. Together with cases of classical groups, this completes the list of cases of split reductive groups whose L-groups have classical derived groups. The important transfer from GSp(4) to GL(4) follows from our result as a special case.
Let F be a non-Archimedean local field of residual characteristic p, and {\ell} be a prime number different from p. We consider the local Jacquet-Langlands correspondence between {\ell}-adic discrete series of GL(n,F) and an inner form GL(m,D). We show that it respects the relationship of congruence modulo {\ell}. More precisely, we show that two integral {\ell}-adic discrete series of GL(m,D) are congruent modulo {\ell} if and only if the same holds for their Jacquet-Langlands transfers to GL(m,D).
Pontificia Universidad Católica de Valparaíso（天主教瓦莱帕索大学）
We establish the Langlands-Shahidi method over a global field of characteristic p. We then focus on the unitary groups and prove global and local Langlands functoriality to general linear groups for generic representations. Main applications are to the Ramanujan Conjecture and Riemann Hypothesis.
We prove a p-adic Labesse-Langlands transfer from the group of units in a definite quaternion algebra to its subgroup of norm one elements. More precisely, given an eigenvariety for the first group, we show that there exists an eigenvariety for the second group and a morphism between them that extends the classical Langlands transfer. In order to find a suitable target eigenvariety for the transfer we formalise a notion of Langlands compatibility of tame levels. Proving the existence of Langlands compatible tame levels is the key to pass from the classical transfer on the level of L-packets to…
We present a new construction of the p-adic local Langlands correspondence for GL(2, Q_p) via the patching method of Taylor--Wiles and Kisin. This construction sheds light on the relationship between the various other approaches to both the local and global aspects of the p-adic Langlands program; in particular, it gives a new proof of many cases of the second author's local-global compatibility theorem, and relaxes a hypothesis on the local mod p representation in that theorem.
We study the geometry and the cohomology of the tamely ramified cover of Drinfeld's $p$-adic symmetric space. For this tame level, we prove, in a purely local way, most of a conjecture of Harris on the form of the $\ell$-adic cohomologies, as well as the torsion freeness of the integral cohomology. During the study, we obtain some results of independent interest on the coefficient systems over the Bruhat-Tits building associated to $GL_d(K).$
