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 study the behaviour of automorphic L-Invariants associated to cuspidal representations of GL(2) of cohomological weight 0 under abelian base change and Jacquet-Langlands lifts to totally definite quaternion algebras. Under a standard non-vanishing hypothesis on automorphic L-functions and some technical restrictions on the automorphic representation and the base field we get a simple proof of the equality of automorphic and arithmetic L-invariants. This together with Spiess' results on p-adic L-functions yields a new proof of the exceptional zero conjecture for modular elliptic curves - at …
Michael HARRIS defined the arithmetic automorphic periods for certain cuspidal representations of $GL_{n}$ over quadratic imaginary fields in his Crelle paper 1997. He also showed that critical values of automorphic L-functions for $GL_{n}\times GL_{1}$ can be interpreted in terms of these arithmetic automorphic periods. In the thesis, we generalize his results in two ways. Firstly, the arithmetic automorphic periods have been defined over general CM fields. We also prove that these periods factorize as products of local periods over infinity places. Secondly, we show that critical values of a…
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…
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…
There has been a recent coming together of the Converse Theorem for $\gln$ and the Langlands-Shahidi method of controlling the analytic properties of automorphic $L$-functions which has allowed us to establish a number of new cases of functoriality, or the lifting of automorphic forms. In this article we would like to present the current state of the Converse Theorem and outline the method one uses to apply the Converse Theorem to obtain liftings. We will then turn to an exposition of the new liftings and some of their applications.
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 the functorial transfer of generic, automorphic representations from the quasi-split general spin groups to general linear groups over arbitrary number fields, completing an earlier project. Our results are definitive and, in particular, we determine the image of this transfer completely and give a number of applications.
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' 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 prove three main results: all Langlands-Shahidi automorphic $L$-functions over function fields are rational; after twists by highly ramified characters our automorphic $L$-functions become polynomials; and, if $π$ is a globally generic cuspidal automorphic representation of a split classical group or a unitary group ${\bf G}_n$ and $τ$ a cuspidal (unitary) automorphic representation of a general linear group, then $L(s,π\times τ)$ is holomorphic for $\Re(s) > 1$ and has at most a simple pole at $s=1$. We also prove the holomorphy and non-vanishing of automorphic exterior square, symmetric s…
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…
The object of this work is the spinor L-function of degree 3 and certain degeneration related to the functoriality principle. We study liftings of automorphic forms on the pair of symplectic groups $(\text{GSp}(2),\text{GSp}(4))$ to $\text{GSp}(6)$. We prove cuspidality and demonstrate the compatibility with conjectures of Andrianov, Panchishkin, Deligne and Yoshida. This is done on a motivic and analytic level. We discuss an underlying torus and L-group homomorphism and put our results in the context of the Langlands program.
This is a survey of recent work on values of Rankin-Selberg $L$-functions of pairs of cohomological automorphic representations that are {\it critical} in Deligne's sense. The base field is assumed to be a CM field. Deligne's conjecture is stated in the language of motives over $\QQ$, and express the critical values, up to rational factors, as determinants of certain periods of algebraic differentials on a projective algebraic variety over homology classes. The results that can be proved by automorphic methods express certain critical values as (twisted) period integrals of automorphic forms. …
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.
In his paper "Beyond Endoscopy," Langlands tries to understand functoriality via poles of L-functions. The following paper further investigates the analytic continuation of a L-function associated to a $GL_2$ automorphic form through the trace formula. Though the usual way to obtain the analytic continuation of an L-function is through its functional equation, this paper shows that by simply assuming the trace formula, the functional equation of the L-function may be recovered. This paper is a step towards understanding the analytic continuation of the L-function at the same time as capturing …
We outline an approach to proving functoriality of automorphic representations using trace formula. More specifically, we construct a family of integral operators on the space of automorphic forms whose eigenvalues are expressed in terms of the L-functions of automorphic representations and begin the analysis of their traces using the orbital side of the stable trace formula. We show that the most interesting part, corresponding to regular conjugacy classes, is nothing but a sum over a finite-dimensional vector space over the global field, which we call the Steinberg-Hitchin base. Therefore it…
We consider certain families of automorphic representations over number fields arising from the principle of functoriality of Langlands. Let $G$ be a reductive group over a number field $F$ which admits discrete series representations at infinity. Let $^{L}G=\hat G \rtimes \mathrm{Gal}(\bar F/F)$ be the associated $L$-group and $r:{}^L G\to \mathrm{GL}(d,\mathbb{C})$ a continuous homomorphism which is irreducible and does not factor through $\mathrm{Gal}(\bar F/F)$. The families under consideration consist of discrete automorphic representations of $G(\mathbb{A}_F)$ of given weight and level a…
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).
We study the number $N_{\mathrm{sd}}^K(λ)$ of self-dual cuspidal automorphic representations of $GL_N(\mathbb{A_Q})$ which are $K$-spherical with respect to a fixed compact subgroup $K$ and whose Laplacian eigenvalue is $\leq λ$. We prove Weak Weyl's Law for $N_{\mathrm{sd}}^K(λ)$ in the form that there are positive constants $c_1, c_2$ (depending on $K$) and $d$ such that $c_1λ^{d/2}\leq N_{\mathrm{sd}}^K(λ)\leq c_2λ^{d/2}$ for all sufficiently large $λ$. When $N=2n$ is even and $K$ is a maximal compact subgroup at all places, we prove Weyl's Law for the number of self-dual representations, i…
Let q be an integral quadratic form of signature (2,m+2). We will show that the Siegel theta functions attached to q satisfies certain symmetries. As an application, we prove the symmetries for automorphic forms on the orthogonal group of q closely related to Heegener divisors (Borcherds lifts and automorphic Green functions).
We prove Siegel-Walfisz type theorems (over long and short intervals) for the Fourier coefficients of certain automorphic $L$-functions and Rankin-Selberg $L$-functions over number fields.
Marvin Knopp developed the theory of automorphic integrals, which generalize automorphic forms; each automorphic integral has an additional period function in its automorphic relation. The period functions satisfy relations that arise from the underlying group relations. Knopp showed that entire automorphic integrals with rational period functions satisfy a Hecke correspondence theorem, provided the rational period functions have poles only at 0 or infinity. For other automorphic integrals each corresponding Dirichlet series has a functional equation with a remainder term that arises from the …
We prove that the complete $L$-function associated to any cuspidal automorphic representation of $GL_2(\mathbb{A}_{\mathbb Q})$ has infinitely many simple zeros.
In this paper, we study the value-distributions of $L$-functions of holomorphic primitive cusp forms in the level aspect. We associate such automorphic $L$-functions with probabilistic models called the random Euler products. First, we prove the existence of probability density functions attached to the random Euler products. Then various mean values of automorphic $L$-functions are expressed as integrals involving the density functions. Moreover, we estimate the discrepancies between the distributions of values of automorphic $L$-functions and those of the random Euler products.
In this paper we prove a version of Deligne's conjecture for potentially automorphic motives, twisted by certain algebraic Hecke characters. The Hecke characters are chosen in such a way that we can use automorphic methods in the context of totally definite unitary groups.
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…
In this paper, we consider the $L$-functions $L(s, f)$ where $f$ is an eigenform for the congruence subgroup $Γ_1(q)$. We prove an asymptotic formula for the sixth moment of this family of automorphic $L$-functions.
In this paper, we give an asymptotic formula for the second moment of Dirichlet twists of an automorphic $L$-function $L(s, π)$ on the critical line averaged over characters and conductors, where $π$ denotes an irreducible tempered cuspidal automorphic representation of $\textrm{GL}_{4}$ with unitary central character. We give some hybrid bound for the error term with respect to the size of conductors of Dirichlet characters and that of the automorphic representation.
We improve the error term in the asymptotic formula for the twisted fourth moment of automorphic L functions of prime level and weight two proved by Kowalski, Michel and Vanderkam. As a consequence, we obtain a new subconvexity bound in the level aspect and improve the lower bound on proportion of simultaneous non-vanishing.
We introduce a class of multiplicative functions in which each function satisfies some statistic conditions, and then prove that above functions are not correlated with finite degree polynomial nilsequences. Besides, we give two applications of this result. One is that the twisting of coefficients of automorphic $L$-function on $GL_m (m \geq 2)$ and polynomial nilsequences has logarithmic decay; the other is that the mean value of the Möbius function, coefficients of automorphic $L$-function and polynomial nilsequences also has logarithmic decay.
Let $\mathbb{A}$ be the adele ring of a totally real algebraic number field $F$. We push forward an explicit computation of a relative trace formula for periods of automorphic forms along a split torus in $GL(2)$ from a square free level case done by Masao Tsuzuki, to an arbitrary level case. By using a relative trace formula, we study central values of automorphic $L$-functions for cuspidal automorphic representations of $GL(2, \mathbb{A})$ corresponding to Maass forms with arbitrary level.
From a spectral identity we obtain asymptotics with error term for the second integral moments of families of automorphic L-functions for GL(2) over an arbitrary number field according to twists by idele characters with arbitrary ramification at a fixed finite place. The power-saving in the error term breaks convexity at this non-archimedean place.
We propose a relationship between the cohomology of arithmetic groups, and the motivic cohomology of certain (Langlands-)attached motives. The motivic cohomology group in question is that related, by Beilinson's conjecture, to the adjoint $L$-function at $s=1$. We present evidence for the conjecture using the theory of periods of automorphic forms, and using analytic torsion.
We define two-parameter generalizations of Andrews' $(k+1)$-marked odd Durfee symbols and $2k$th symmetrized odd rank moments, and study the automorphic properties of some of their generating functions. When $k=0$ we obtain families of modular forms and mock modular forms. When $k \geq 1$, we find quasimodular forms and quasimock modular forms.
We prove the asymptotic formula for the fourth moment of automorphic $L$-functions of level $p^ν$, where $p$ is a fixed prime number and $ν\rightarrow \infty$. This paper is a continuation of work by Rouymi, who computed asymptotics of the first three moments at prime power level, and a generalization of results obtained for prime level by Duke, Friedlander & Iwaniec and Kowalski, Michel & Vanderkam.
We prove Deligne's conjecture for central critical values of certain automorphic $L$-functions for ${\rm GL}(3)\times {\rm GL}(2)$. The proof is base on rationality results for central critical values of triple product $L$-functions, which follow from establishing explicit Ichino's formulae for trilinear period integrals for Hilbert cusp forms on totally real etale cubic algebras over $\mathbb{Q}$.
If C is a smooth projective curve over a number field k, then, under fair hypotheses, its L-function admits meromorphic continuation and satisfies the anticipated functional equation if and only if a related function is X-mean-periodic for some appropriate functional space X. Building on the work of Masatoshi Suzuki for modular elliptic curves, we will explore the dual relationship of this result to the widely believed conjecture that such L-functions should be automorphic. More precisely, we will directly show the orthogonality of the matrix coefficients of GL_{2g}-automorphic representations…
We investigate the sixth moment of the family of $L$-functions associated to holomorphic modular forms on $GL_2$ with respect to a congruence subgroup $Γ_1(q)$. We improve on previous work and obtain an unconditional upper bound of the correct order of magnitude.
We study Hecke algebras for pairs $({\mathfrak g},K)$ over arbitrary fields $E$ of characteristic $0$, define the Bernstein functor and give another definition of the Zuckerman functor over $E$. Building on this and the author's previous work on rational structures on automorphic representations, we show that hard duality remains valid over $E$ and apply this result to the study of rationality properties of Sun's cohomologically induced functionals. Our main application are period relations for the special values of standard $L$-functions of automorphic representations of $\mathrm{GL}(2n)$ adm…
In this paper we explore some properties of periods attached to automorphic representations of unitary groups over CM fields and the critical values of their $L$-functions. We prove a formula expressing the critical values in the range of absolute convergence in terms of Petersson norms of holomorphic automorphic forms. On the other hand, we express the Deligne period of a related motive as a product of quadratic periods and compare the two expressions by means of Deligne's conjecture.
We prove an integrality result for the value at s=1 of the adjoint L-function associated to a cohomological cuspidal automorphic representation on GL(n) over any number field. We then show that primes (outside an exceptional set) dividing this special value give rise to congruences between automorphic forms. We also prove a non-vanishing property at infinity for the relevant Rankin-Selberg L-functions on GL(n) x GL(n).
We establish "higher depth" analogues of regularized determinants due to Milnor for zeros of cuspidal automorphic L-functions of GL_d over a general number field. This is a generalization of the result of Deninger about the regularized determinant for zeros of the Riemann zeta function.
We generalize the first part of A. Connes paper (math/9811068) on the zeroes of the Riemann zeta function from a number field $k$ to any simple algebra $M$ over $k$. To a given automorphic representation $π$ of the reductive group $M^\times$ of invertible elements of $M$ we find a Hilbert space $H_π$ and an operator $D_π$ (Polya-Hilbert operator), which is the infinitesimal generator of a canonical flow such that the spectrum of $D_π$ coincides with the purely imaginary zeroes of the function $L(π,\rez{2} +z)$. As a byproduct we get holomorphicity of all automorphic $L$-functions, not only the…
We prove for L-function attached to an automorphic cusp form for the Hecke congruence group $Γ_0(D)$, which is also an eigenfunction of all the Hecke operators, that a positive proportion of its non-trivial zeros lie on the critical line. This result extends the work of J.L. Hafner of 1983 where the case of the full modular group is considered.
We prove a log-free zero density estimate for automorphic $L$-functions defined over a number field $k$. This work generalizes and sharpens the method of pseudo-characters and the large sieve used earlier by Kowalski and Michel. As applications, we demonstrate for a particular family of number fields of degree $n$ over $k$ (for any $n$) that an effective Chebotarev density theorem and a bound on $\ell$-torsion in class groups hold for almost all fields in the family.
Let $f$ be a holomorphic cusp form of even weight $k$ for the modular group $SL(2,\mathbb{Z})$, which is assumed to be a common eigenfunction for all Hecke operators. For positive integer $n$, let $\text{Sym}^n(f)$ be the symmetric nth power lifting of $f$ , which was shown by Newton and Thorne to be automorphic and cuspidal. In this paper, we construct certain auxiliary $L$-functions to show that Siegel zeros of $\text{Sym}^n(f)$ do not exist, for each given $n$, utilizing the above functoriality result. As an application, we give a lower bound of those symmetric power $L$-functions at $s=1$ …