Let $G$ be a split semi-simple group over a global function field $K$. Given a cuspidal automorphic representation $Π$ of $G$ satisfying a technical hypothesis, we prove that for almost all primes $\ell$, there is a cyclic base change lifting of $Π$ along any $\mathbb{Z}/\ell\mathbb{Z}$-extension of $K$. Our proof does not rely on any trace formulas; instead it is based on modularity lifting theorems, together with a Smith theory argument to obtain base change for residual representations. As an application, we also prove that for any split semisimple group $G$ over a local function field $F$, and almost all primes $\ell$, any irreducible admissible representation of $G(F)$ admits a base change along any $\mathbb{Z}/\ell\mathbb{Z}$-extension of $F$. Finally, we characterize local base change more explicitly for a class of representations called toral supercuspidal representations.
Given a self-dual cuspidal automorphic representation for GL(2) over a number field, we establish the existence of an infinite number of Hecke eigenvalues that are greater than an explicit positive constant, and an infinite number of Hecke eigenvalues that are less than an explicit negative constant. This provides an answer to a question of Serre. We also consider analogous problems for cuspidal automorphic representations that are not self-dual.
In this article, we establish an asymptotic lower bound estimate on the contribution of cuspidal automorphic representations of ${\rm GL}_4(\mathbb A_{\mathbb Q})$ to cuspidal cohomology of the ${\rm GL}_4$ which are obtained from automorphic tensor product of two automorphic representations of ${\rm GL}_2(\mathbb A_{\mathbb Q})$ of given weights and with varying level structure. In the end, we also prove that the symmetric cube of a representation of ${\rm GL}_2$ and the automorphic tensor product of two representations of ${\rm GL}_2$ can not be equal (up to a twist by a character of ${\rm G…
In this paper we describe several new aspects of the foundations of the representation theory of the space of smooth-automorphic forms (i.e., not necessarily $K_\infty$-finite automorphic forms) for general connected reductive groups over number fields. Our role model for this space of smooth-automorphic forms is a ''smooth version'' of the space of automorphic forms, whose internal structure was the topic of a famous paper of Franke. We prove that the important decomposition along the parabolic support, and the even finer - and structurally more important - decomposition along the cuspidal su…
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 give constraints on the existence of $(χ,b)$-factors in the global $A$-parameter of a genuine cuspidal automorphic representation $σ$ of a metaplectic group in terms of the invariant, lowest occurrence index, of theta lifts to odd orthogonal groups. We also give a refined result that relates the invariant, first occurrence index, to non-vanishing of period integrals of residues of Eisenstein series associated to the cuspidal datum $χ\otimesσ$. This complements our previous results for symplectic groups.
We find the number $s_k(p,Ω)$ of cuspidal automorphic representations of $\mathrm{GSp}(4,\mathbb{A}_{\mathbb{Q}})$ with trivial central character such that the archimedean component is a holomorphic discrete series representation of weight $k\ge 3$, and the non-archimedean component at $p$ is an Iwahori-spherical representation of type $Ω$ and unramified otherwise. Using the automorphic Plancherel density theorem, we show how a limit version of our formula for $s_k(p,Ω)$ generalizes to the vector-valued case and a finite number of ramified places.
Let $F$ be a global field. Let $G$ and $H$ be two connected reductive group defined over $F$ endowed with an $F$-morphism $f: H\rightarrow G$ such that the induced morphism $H_{der}\rightarrow G_{der}$ on the derived groups is a central isogeny. Our main results yield in particular the following theorem: Given any irreducible cuspidal representation $π$ of $G(\mathbb A_F)$ its restriction to $H(\mathbb A_F)$ contains a cuspidal representation $σ$ of $H(\mathbb A_F)$. Conversely, assuming moreover that $f$ is an injection, any irreducible cuspidal representation $σ$ of $H(\mathbb A_F)$ appears …
In this paper, we introduce a new family of period integrals attached to irreducible cuspidal automorphic representations $σ$ of symplectic groups $\mathrm{Sp}_{2n}(\mathbb{A})$, which detects the right-most pole of the $L$-function $L(s,σ\timesχ)$ for some character $χ$ of $F^\times\backslash\mathbb{A}^\times$ of order at most $2$, and hence the occurrence of a simple global Arthur parameter $(χ,b)$ in the global Arthur parameter $ψ$ attached to $σ$. We also give a characterisation of first occurrences of theta correspondence by (regularised) period integrals of residues of certain Eisenstein…
Following the idea of [GJS09] for orthogonal groups, we introduce a new family of period integrals for cuspidal automorphic representations $σ$ of unitary groups and investigate their relation with the occurrence of a simple global Arthur parameter $(χ,b)$ in the global Arthur parameter $ψ_σ$ associated to $σ$, by the endoscopic classification of Arthur ([Art13], [Mok13], [KMSW14]). The argument uses the theory of theta correspondence. This can be viewed as a part of the $(χ,b)$-theory outlined in [Jia14] and can be regarded as a refinement of the theory of theta correspondences and poles of c…
We extend some results of Gun, Murty, and Rath on elliptic modular forms. We take ANY Fuchsian triangle group with a cusp and look at power series expansions in a natural parameter around that cusp. Consider the automorphic forms for such a triangle group whose power series expansions in the natural parameter have algebraic coefficients. We show that the zeros of such forms are either transcendental or are "CM." By "CM," we mean they correspond to abelian varieties with complex multiplication. This result is the first of its kind in the case of non-arithmetic groups.
Let Π be a cuspidal automorphic representation for GL(4) over a number field F. We obtain unconditional lower bounds on the number of places at which the Satake parameters are not "too large". In the case of self-dual Π with non-trivial central character, our results imply that the set of places at which Π is tempered has an explicit positive lower Dirichlet density. Our methods extend those of Ramakrishnan by careful analysis of the hypothetical possibilities for the structure of the Langlands conjugacy classes, as well as their behaviour under functorial lifts. We then discuss the analogous …
Given a cuspidal automorphic representation $π$ for GL(3) over a number field and a positive integer $k$, assume that the symmetric $m$th power lifts of $π$ are isobaric automorphic for $m \leq k$, cuspidal for $m \leq k-1$, and that certain associated Rankin-Selberg products are isobaric automorphic. Then the number of cuspidal isobaric summands in the $k$th symmetric power lift is bounded above by 3 when $k \geq 7$, and bounded above by 2 when $k \geq 19$ with $k \equiv 1 \pmod 3$. We then investigate the analogous problem for GL(4).
We prove the compatibility of local and global Langlands correspondences for $GL_n$ up to semisimplification for the Galois representations constructed by Harris-Lan-Taylor-Thorne and Scholze. More precisely, let $r_p(π)$ denote an $n$-dimensional $p$-adic representation of the Galois group of a CM field $F$ attached to a regular algebraic cuspidal automorphic representation $π$ of $GL_n(\mathbb{A}_F)$. We show that the restriction of $r_p(π)$ to the decomposition group of a place $v\nmid p$ of $F$ corresponds up to semisimplification to $rec(π_v)$, the image of $π_v$ under the local Langlands…
In this paper, we consider automorphic forms on $\mathrm{Sp}_4(\mathbb{A}_\mathbb{Q})$ which generate large discrete series representations of $\mathrm{Sp}_4(\mathbb{R})$ as $(\mathfrak{sp}_4(\mathbb{R}),K_\infty)$-modules. We determine the cuspidal components and the structure of the space of such automorphic forms.
The endoscopic classification via the stable trace formula comparison provides certain character relations between irreducible cuspidal automorphic representations of classical groups and their global Arthur parameters, which are certain automorphic representations of general linear groups. It is a question of J. Arthur and W. Schmid that asks: How to construct concrete modules for irreducible cuspidal automorphic representations of classical groups in term of their global Arthur parameters? In this paper, we formulate a general construction of concrete modules, using Bessel periods, for cuspi…
In this paper we construct smooth cuspidal automorphic forms related to integrable discrete series of a connected semisimple Lie group with finite center for classical and adelic situation as an application of the theory of Schwartz spaces for automorphic forms developed by Casselman. In the classical situation, smooth cuspidal automorphic forms are constructed via an explicit continuous map from the Frech\' et space of smooth vectors of a Banach realization inside $L^1(G)$ of an integrable discrete series into the space of smooth vectors of a strong topological dual of an appropriate Schwartz…
For a cuspidal automorphic representation Πof GL(4,A), H. Kim proved that the exterior square transfer \wedge^2Πis an isobaric automorphic representation of GL(6,A). In this paper we characterize those representations Πfor which \wedge^2Πis cuspidal.
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 fully describe the cuspidal and the Eisenstein cohomology of the group $G=GL_2$ over a definite quaternion algebra $D/\Q$. Functoriality is used to show the existence of residual and cuspidal automorphic forms, having cohomology in degree 1. The latter ones turn out to be CAP-representations, though $G$ satisfies Strong Multiplicity One. A non-vanishing result on intertwining operators of induced representations will serve as a starting point for further investigations concerning rationality of critical $L$-values.
For $m\ge 2$, let $π$ be an irreducible cuspidal automorphic representation of $GL_m(\mathbb{A}_{\mathbb{Q}})$ with unitary central character. Let $a_π(n)$ be the $n^{th}$ coefficient of the $L$-function attached to $π$. Goldfeld and Sengupta have recently obtained a bound for $\sum_{n\le x} a_π(n)$ as $x \rightarrow \infty$. For $m\ge 3$ and $π$ not a symmetric power of a $GL_2(\mathbb{A}_{\mathbb{Q}})$-cuspidal automorphic representation with not all finite primes unramified for $π$, their bound is better than all previous bounds. In this paper, we further improve the bound of Golfeld and Se…
We establish the existence of congruences between a fixed endoscopic cuspidal automorphic representation $Π$ of $\mathrm{GSp}(4)$ of square-free conductor and stable cuspidal automorphic representations of the same level and weight modulo certain prime factors of the value at $1$ of the adjoint $L$-function of $Π$ normalized by a suitable period.
In [Ar13], Arthur classifies the automorphic discrete spectrum of symplectic groups up to global Arthur packets, based on the theory of endoscopy. It is an interesting and basic question to ask: which global Arthur packets contain no cuspidal automorphic representations? The investigation on this question can be regarded as a further development of the topics originated from the classical theory of singular automorphic forms. The results obtained yield a better understanding of global Arthur packets and of the structure of local unramified components of the cuspidal spectrum, and hence are clo…
Many important analytic statements about automorphic forms, such as the analytic continuation of certain L-functions, rely on the well-known rapid decay of K-finite cusp forms on Siegel sets. We extend this here to prove a more general decay statement along sets much larger than Siegel sets, and furthermore state and prove the decay for smooth but not necessarily K-finite cusp forms. We also state a general theorem about the convergence of Rankin-Selberg integrals involving unipotent periods, closing a gap in the literature on L-functions. These properties serve as the analytic basis of a new …
We prove a power saving over the trivial bound for the number of cohomological cuspidal automorphic representations of fixed level and growing weight on $GL_3/\mathbb{Q}$, by adapting the methods of our earlier paper on $GL_2$.
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…
Isolating cuspidal automorphic representations from the whole automorphic spectrum is a basic problem in the trace formula approach. For example, matrix coefficients of supercupidal representations can be used as test functions for this, which kills the continuous spectrum, but also a large class of cuspidal automorphic representations. For the case of number fields, multipliers of the Schwartz algebra is used in the recent work [3] to isolate all cuspidal spectrum which provide enough test functions and suitable for the comparison of orbital integrals. These multipliers are then applied to th…
Let $\mathbb{E}$ be a quadratic extension of a number field $\mathbb{F}$. Let $E(g, s)$ be an Eisenstein series on $GL_2(\mathbb{E})$, and let $F$ be a cuspidal automorphic form on $GL_2(\mathbb{F})$. We will consider in this paper the following automorphic integral: $$\int_{Z_{A}GL_{2}(\mathbb{F})\backslash GL_{2}(\mathbb{A}_{\mathbb{F}})} F(g)E(g,s) dg.$$ This is in some sense the complementary case to the well-known Rankin-Selberg integral and the triple product formula. We will approach this integral by Waldspurger's formula. We will discuss when the integral is automatically zero, and oth…
Two dimensional adelic objects were introduced by I. Fesenko in his study of the Hasse zeta function associated to a regular model $\mathcal E$ of the elliptic curve $E$. The Hasse-Weil $L$-function $L(E,s)$ of $E$ appears in the denominator of the Hasse zeta function of $\mathcal E$. The two dimensional adelic analysis predicts that the integrand $h$ of the boundary term of the two dimensional zeta integral attached to $\mathcal E$ is mean-periodic. The mean-periodicity of $h$ implies the meromorphic continuation and the functional equation of $L(E,s)$. On the other hand, if $E$ is modular, s…
Additive twists are important invariants associated to holomorphic cusp forms; they encode the Eichler--Shimura isomorphism and contain information about automorphic $L$-functions. In this paper we prove that central values of additive twists of the $L$-function associated to a holomorphic cusp form $f$ of even weight $k$ are asymptotically normally distributed. This generalizes (to $k\geq 4$) a recent breakthrough of Petridis and Risager concerning the arithmetic distribution of modular symbols. Furthermore we give as an application an asymptotic formula for the averages of certain 'wide' fam…
Let $ρ$ be the $p$-adic Galois representation attached to a cuspidal, regular algebraic, polarizable automorphic representation of $GL_n$. Assuming only that $ρ$ satisfies an irreducibility condition, we prove the vanishing of the adjoint Bloch--Kato Selmer group attached to $ρ$. This generalizes previous work of the author and James Newton.
Based on Furusawa's theory, we present an integral representation for the L-function L(s,π\times τ), where πis a cuspidal automorphic representation on GSp(4) related to a holomorphic Siegel modular form, and where τis an arbitrary cuspidal automorphic representation on GL(2). As an application, a special value result for this L-function in the spirit of Deligne's conjecture is proved.
Let $F$ be a number field, let $\mathbb{A}_F$ be its ring of adeles, and let $g_1,g_2,h_1,h_2 \in \mathrm{GL}_2(\mathbb{A}_F)$. Previously the author provided an absolutely convergent geometric expression for the four variable kernel function $$ \sum_π K_π(g_1,g_2)K_{π^{\vee}}(h_1,h_2)L(s,(π\times π^{\vee})^S), $$ where the sum is over isomorphism classes of cuspidal automorphic representations $π$ of $\mathrm{GL}_2(\mathbb{A}_F)$. Here $K_π$ is the typical kernel function representing the action of a test function on the space of the cuspidal automorphic representation $π$. In this paper we s…
In this paper we generalize the work of Harris-Soudry-Taylor and construct the compatible systems of two-dimensional Galois representations attached to cuspidal automorphic representations of cohomological type on GL_2 over a CM field with a suitable condition on their central characters. We also prove a local-global compatibility statement, up to semisimplification.
Given a pair of distinct unitary cuspidal automorphic representations for GL(n) over a number field, let S denote the set of finite places at which the automorphic representations are unramified and their associated Hecke eigenvalues differ. In this note, we demonstrate how conjectures on the automorphy and possible cuspidality of adjoint lifts and Rankin-Selberg products imply lower bounds on the size of S. We also obtain further results for GL(3).
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.
Let $G$ be a connected split reductive group over a finite field ${\mathbb F}_q$ and $X$ a smooth projective geometrically connected curve over ${\mathbb F}_q$. The $\ell$-adic cohomology of stacks of $G$-shtukas is a generalization of the space of automorphic forms with compact support over the function field of $X$. In this paper, we construct a constant term morphism on the cohomology of stacks of shtukas which is a generalization of the constant term morphism for automorphic forms. We also define the cuspidal cohomology which generalizes the space of cuspidal automorphic forms. Then we sho…
Let $π$ be a unitary automorphic cuspidal representation of $GL_2(\mathbb{Q}_\mathbb{A})$ with Fourier coefficients $λ_π(n)$. Asymptotic expansions of certain sums of $λ_π(n)$ are proved using known functorial liftings from $GL_2$, including symmetric powers, isobaric sums, exterior square from $GL_4$ and base change. These asymptotic expansions are manifestation of the underlying functoriality and reflect value distribution of $λ_π(n)$ on integers, squares, cubes and fourth powers.
In this paper we discuss the existence of certain classes of cuspidal automorphic representations having non-zero Fourier coefficients for general semisimple algebraic group $G$ defined over a number field $k$ such that its Archimedean group $G_\infty$ is not compact. When $G$ is quasi--split over $k$, we obtain a result on existence of generic cuspidal automorphic representations which generalize a result of Vign\' eras, Henniart, and Shahidi. We also discuss the existence of cuspidal automorphic forms with non--zero Fourier coefficients for congruence of subgroups of $G_\infty$.
We obtain a sharp refinement of the strong multiplicity one theorem for the case of unitary non-dihedral cuspidal automorphic representations for GL(2). Given two unitary cuspidal automorphic representations for GL(2) that are not twist-equivalent, we also find sharp lower bounds for the number of places where the Hecke eigenvalues are not equal, for both the general and non-dihedral cases. We then construct examples to demonstrate that these results are sharp.
This paper proves the existence of cuspidal automorphic forms for a reductive group, invariant under an automorphism of finite order. The techniques used are a local analysis of orbital integrals and the Arthur-Selberg trace formula.
Let $F$ be a CM field with totally real subfield $F^+$ and let $π$ be a $C$-algebraic cuspidal automorphic automorphic representation of $\mathrm{U}(a,b)(\mathbf{A}_{F^+})$ whose archimedean components lie in the (non-degenerate limit of) discrete series. We attach to $π$ a Galois representation $R_π:\mathrm{Gal}(\overline F/ F^+)\to{}^C\mathrm{U}(a,b)(\overline{\mathbf Q}_\ell)$ such that, for any complex conjugation element $c$, $R_π(c)$ is as predicted by the Buzzard--Gee conjecture. As a corollary, we deduce that the Galois representations attached to certain irregular, $C$-algebraic (esse…
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 …
Let $π$ be an irreducible unitary cuspidal representation for $GL_m({\Bbb A}_{\Bbb Q})$, and let $L(s, π)$ be the automorphic $L$-function attached to $π$, which has a Dirichlet series expression in the half-plane $\mbox{Re} s>1$. When $π$ is self-contragredient, all the coefficients in the Dirichlet series expression are real. In this paper we give non-trivial lower bounds for the number of positive and negative coefficients, respectively.
Generalising the recent method of Andreatta, Iovita, and Pilloni for cuspidal forms, we construct an eigenvariety for symplectic and unitary groups that parametrises systems of eigenvalues of overconvergent and locally analytic $p$-adic automorphic forms. This is achieved by gluing some intermediates eigenvarieties of a fixed 'degree of cuspidality'. The dimension of these eigenvarieties is explicit and depends on the degree of cuspidality, it is maximal for cuspidal forms and it is $1$ for forms that are 'not cuspidal at all'. Under mild assumption, we are able to prove a conjecture of Urban …
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.
We show that for any integer $N$, there are only finitely many cuspidal algebraic automorphic representations of ${\rm GL}_n$ over $\mathbb{Q}$, with $n$ varying, whose conductor is $N$ and whose weights are in the interval $\{0,1,...,23\}$. More generally, we define a simple sequence $(r(w))_{w \geq 0}$ such that for any integer $w$, any number field $E$ whose root-discriminant is less than $r(w)$, and any ideal $N$ in the ring of integers of $E$, there are only finitely many cuspidal algebraic automorphic representations of general linear groups over $E$ whose conductor is $N$ and whose weig…
Let pi be a cuspidal, automorphic representation of GSp(4) attached to a Siegel modular form of degree 2. We refine the method of Furusawa to obtain an integral representation for the degree-8 L-function L(s,pi x tau), where tau runs through certain cuspidal, automorphic representation of GL(2). Our calculations include the case of square-free level for the p-adic components of tau, and a wide class of archimedean types including Maass forms. As an application we obtain a special value result for L(s,pi x tau).
The zeros and poles of standard automorphic $L$-functions attached to representations of classical groups are linked to the nonvanishing of lifts in the theory of the theta correspondence. The results of this paper show that when a cuspidal representation $σ$ of a symplectic group $G$ lifts to a cuspidal representation $π= θ_ψ(σ)$ of an orthogonal group $H$ attached to a quadratic space $V$ of dimension $m$, the Fourier coefficients of automorphic forms in $σ$ are linked to periods of automorphic forms in $π$. Consequently, when our results are combined with the Rallis inner product formula in…
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 show that an irreducible cuspidal automorphic representation of the group GSp(4,A), which is not CAP and whose infinite component belongs to the discrete series, is weakly equivalent to an irreducible generic automorphic cuspidal representation, whose infinite component belongs to the same archimedean local L-packet.
