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.
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.
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 …
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…
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…
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].
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 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 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.
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…
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 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 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.
This is a survey of the proof of the global Jacquet-Langlands correspondence between GL_n and general inner forms, in characteristic zero. The proof is given after a long introduction recalling in some detail the objects and results involved. The paper is based on the notes of the lectures I gave at the doctoral school in CIRM 2016 (Jean-Morlet Chair) organized by Dipendra Prasad, Volker Heiermann and Fiona Murnaghan. It appeared in 2018 in the volume Relative Aspects in Representation Theory, Langlands Functoriality and Automorphic Forms (LNM 2221).
By making use of Langlands functoriality between GSp(4) and GL(4), we show that the images of the Galois representations attached to "genuine" globally generic automorphic representations of GSp(4) are "large" for almost every prime. Moreover, by using the notion of (n,p)-groups (introduced by Khare, Larsen and Savin) and generic Langlands functoriality from SO(5) to GL(4) we construct automorphic representations of GSp(4) such that the compatible system attached to them has large image for all primes.
We establish Langlands functoriality for the generic spectrum of GSp(4) and describe its transfer on GL(4). We apply this to prove results toward the generalized Ramanujan conjecture for generic representations of GSp(4).
In this paper we propose a new way to realize cyclic base change (a special case of Langlands functoriality) for prime degree extensions of characteristic zero local fields. Let $F / E$ be a prime degree $l$ extension of local fields of residue characteristic $p \neq l$. Let $π$ be an irreducible cuspidal $l$-adic representation of $\mathrm{GL}_n(E)$ and $ρ$ be an irreducible cuspidal $l$-adic representation of $\mathrm{GL}_n(F)$ which is Galois-invariant. Under some minor technical conditions on $π$ and $ρ$ (for instance, we assume that both are level zero) we prove that the $\bmod l$-reducti…
In this paper we prove two new cases of Langlands functoriality. The first is a functorial product for cusp forms on $GL_2\times GL_3$ as automorphic forms on $GL_6$, from which we obtain our second case, the long awaited functorial symmetric cube map for cusp forms on $GL_2$. We prove these by applying a recent version of converse theorems of Cogdell and Piatetski-Shapiro to analytic properties of certain $L$-functions obtained from the method of Eisenstein series (Langlands-Shahidi method). As a consequence, we prove the bound 5/34 for Hecke eigenvalues of Maass forms over any number field a…
We strengthen the local-global compatibility of Langlands correspondences for $GL_{n}$ in the case when $n$ is even and $l\not=p$. Let $L$ be a CM field and $Π$ be a cuspidal automorphic representation of $GL_{n}(\mathbb{A}_{L})$ which is conjugate self-dual. Assume that $Π_{\infty}$ is cohomological and not "slightly regular", as defined by Shin. In this case, Chenevier and Harris constructed an $l$-adic Galois representation $R_{l}(Π)$ and proved the local-global compatibility up to semisimplification at primes $v$ not dividing $l$. We extend this compatibility by showing that the Frobenius …
Using $p$-adic local Langlands correspondence for $\operatorname{GL}_2(\mathbb{Q}_p)$, we prove that the support of patched modules constructed by Caraiani, Emerton, Gee, Geraghty, Paskunas, and Shin meet every irreducible component of the potentially semistable deformation ring. This gives a new proof of the Breuil-Mézard conjecture for 2-dimensional representations of the absolute Galois group of $\mathbb{Q}_p$ when $p > 2$, which is new in the case $p = 3$ and $\bar{r}$ a twist of an extension of the trivial character by the mod p cyclotomic character. As a consequence, a local restriction …