We present a new method of estimating trilinear period for automorphic representations of SL(2,R). The method is based on the uniqueness principle in representation theory.
We show how to separate the exponentially decaying factor in the triple period from the essential automorphic factor which behaves polynomially. We also describe a general method which gives an estimate on the average of the automorphic factor and thus prove a convexity bound for the triple period.
We find estimates for the restriction of automorphic forms on hyperbolic manifolds to compact geodesic cycles. The geodesic cycles we study are themselves hyperbolic manifolds of lower dimension. The restriction of an automorphic form to such a geodesic cycle can be expanded into eigenfunctions of the Laplacian on the geodesic cycle. We prove exponential decay for the coefficients in this expansion.
We prove a sharp bound for the average value of the triple product of modular functions for the Hecke subgroup Γ_0(N). Our result is an extension of the main result in {Bernstein&Reznikov-2004} to a fixed cuspidal representation of the adele group PGL(2,A).
Let G be a connected, real, semisimple Lie group contained in its complexification G_C, and let K be a maximal compact subgroup of G. We construct a K_C-G double coset domain in G_C, and we show that the action of G on the K-finite vectors of any irreducible unitary representation of G has a holomorphic extension to this domain. For the resultant holomorphic extension of K-finite matrix coefficients we obtain estimates of the singularities at the boundary, as well as majorant/minorant estimates along the boundary. We obtain L^\infty bounds on holomorphically extended automorphic functions on G…
In this paper, we extend Ginzburg-Rallis' integral representation for the exterior cube automorphic $L$-function of ${\rm GL}_6\times {\rm GL}_1$ to that of the quasi-split unitary similitude group ${\rm GU}_6$ and establish its analytic properties to determine the poles of this $L$-function. Furthermore, we introduce the automorphic induction for automorphic representations of ${\rm GU}_n$ and then show that the weak Langlands functorial lift for the automorphic induction exists for generic cuspidal automorphic representations. By using this automorphic induction, we give a conjectural criter…
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…
We present a pairing of automorphic distributions that applies in situations where a Lie group acts with an open orbit on a product of generalized flag varieties. The pairing gives meaning to an integral of products of automorphic distributions on these varieties. This generalizes classical integral representations or "Rankin-Selberg integrals" of L-functions, and gives new constructions and analytic continuations of automorphic L-functions. Keywords: Automorphic forms, invariant pairings, automorphic distributions, L-functions, analytic continuation, rapid decay.
These are lectures given at the 2022 Arizona Winter School. It gives an introduction to the rigidity method for constructing automorphic forms for semisimple groups over function fields. The rigidity method leads to explicit constructions of local systems that are Langlands parameters of automorphic forms. The examples of local systems produced in this way have applications to algebraic geometry and number theory.
We consider invariant hyperfunctions associated to automorphic forms on the upper half plane. We give two interpretations of the period function of Maass forms introduced by Lewis. The first interpretation shows that the period function arises from the explicit description of a representative of the hyperfunction associated to the Maass form. Under certain conditions, automorphic forms determine cohomology classes in a cohomology group with values in the hyperfunctions with bounded support on the line. A map from hyperfunctions to holomorphic functions leads to a second, cohomological, interpr…
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 study certain cases of convoluted Fourier coefficients of $GL_n$-automorphic functions. We establish identities that express them in terms of Fourier coefficients related to unipotent orbits. The most general case that is studied is $(n)\circ(k,2^{n-1})$. The conclusions for this case is only up to a conjecture that I state. However there are certain special cases and other examples that are not based on any conjecture.
Properties of analytic vectors in representations of SL(2,R) are used to give new bounds for the triple products recently considered by P. Sarnak. A conjecture of Sarnak about such products is proved. The results of this paper generalize results of A. Good and M. Jutila about special cases, but the techniques are entirely different. One consequence of these results is a new estimate of the magnitude of the Fourier coefficients of cusp forms for non-arithmetic sub-groups of SL(2,R).
This paper describes the lifting of automorphic characters of $\GO(3)(\A)$ to $\SLT(\A)$. It does so by matching the image of this lift with the lift of automorphic characters from $\GO(1)(\A)$ to $\SLT(\A)$. Our matching actually gives a matching of individual automorphic forms, and not just of representation spaces. Let $\V$ be a $3-$ dimensional quadratic vector space and $\U$ a certain $1-$ dimensional quadratic space. To an automorphic form $I_{\V}(χ,ϕ)$ determined by the Schwartz function $ϕ\in \Sc(\V(\A))$ in the lift of the character $χ$ we match an automorphic form $I_{\U}(μ,ϕ_{0})$ d…
We consider periods of automorphic representations of adele groups defined by integrals along Gelfand subgroups. We define natural maps between local components of such periods and construct corresponding global maps using automorphic $L$-functions. This leads to an introduction of a global invariant of an automorphic representation arising from two such periods. We compute this invariant in some cases.
We extend the Fourier expansion of automorphic functions of Piateski-Shapiro and Shalika in a way that the Euclidean algorithm appears nontrivially. Then, we discuss a potential application in the Rankin-Selberg method.
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 …
This paper describes our method of pairing automorphic distributions. This represents a third technique for obtaining the analytic properties of automorphic L-functions, in addition to the existing methods of integral representations (Rankin-Selberg) and Fourier coefficients of Eisenstein series (Langlands-Shahidi). We recently used this technique to establish new cases of the full analytic continuation of the exterior square L-functions. The paper here gives an exposition of our method in two special, yet representative cases: the Rankin-Selberg tensor product L-functions for PGL(2,Z), as wel…
We present a regularization procedure of period integrals of automorphic forms on a group $G$ over an arbitrary reductive subgroup $G' \subset G$. As a consequence we obtain an explicit $G'(\mathbb{A})$-invariant functional on the space of automorphic forms on $G$ whose exponents avoid certain prescribed hyperplanes. We also provide a necessary and sufficient condition for convergence of period integrals of automorphic forms in terms of their exponents.
We consider modular functions (i.e., the Eisenstein series and Hecke-Maass forms) for the group PSL(2,Z). We fix a quadratic number field E. This gives rise to twisted (by a Hecke character of the field E) periods of a modular function along the torus corresponding to E. We prove meromorphic continuation for a Dirichlet series generated by these twisted periods.
We prove a refinement of the global Gan-Gross-Prasad conjecture proposed by Ichino-Ikeda and N. Harris for unitary groups under some local conditions. We need to assume some expected properties of L-packets and some part of the local Gan-Gross-Prasad conjecture.
Automorphic representations can be studied in terms of the embeddings of abstract models of representations into spaces of functions on Lie groups that are invariant under discrete subgroups. In this paper we describe an adelic framework to describe them for the group GL(n,R), and provide a detailed analysis of the automorphic distributions associated to the mirabolic Eisenstein series. We give an explicit functional equation for some distributional pairings involving this mirabolic Eisenstein distribution, and the action of intertwining operators.
We prove a generalization to the totally real field case of the Waldspurger's formula relating the Fourier coefficient of a half integral weight form and the central value of the L-function of an integral weight form. Our proof is based on a new interpretation of Waldspurger's formula in terms of equality between global distributions. As applications we generalize the Kohnen-Zagier formula for holomorphic forms and prove the equivalence of the Ramanujan conjecture for half integral weight forms and a case of the Lindelof hypothesis for integral weight forms. We also study the Kohnen space in t…
Let $G$ be a split semisimple group over a function field. We prove the temperedness at unramified places of automorphic representations of $G$, subject to a local assumption at one place, stronger than supercuspidality, and assuming the existence of cyclic base change with good properties. Our method relies on the geometry of $\operatorname{Bun}_G$. It is independent of the work of Lafforgue on the global Langlands correspondence.
We give a fully explicit description of Lie algebra derivatives (generalizing raising and lowering operators) for representations of SL(3,R) in terms of a basis of Wigner functions. This basis is natural from the point of view of principal series representations, as well as computations in the analytic theory of automorphic forms (e.g., with Whittaker functions). The method is based on the Clebsch-Gordan multiplication rule for Wigner functions, and applies to other Lie groups whose maximal compact subgroup is isogenous to a product of SU(2) and U(1) factors. As an application, we give a compl…
We extract an exact formula relating the number of lattice points in an expanding region of a complex semi-simple symmetric space and the automorphic spectrum from a spectral identity, which is obtained by producing two expressions for the automorphic fundamental solution of the invariant differential operator (Delta - lambda_z)^N. On one hand, we form a Poincare series from the solution to the corresponding differential equation on the free space G/K, which is obtained using the harmonic analysis of bi-K-invariant functions. On the other hand, a suitable global automorphic Sobolev theory, dev…
We give an expository account of the theory of intertwining operators for connected reductive $p$--adic groups, and their connection with automorphic $L$--functions. Our purpose is to illustrate the relation between harmonic analysis and arithmetic. In particular, we describe how the theory of Plancherel measures allows us to compute certain local Langlands $L$--functions. In order to be more self contained, we give a brief introduction to the Langlands program. The theory of $R$--groups and elliptic representations is treated here as well. Finally, we give an example which illustrates how the…
We use results about Fourier coefficients appearing in [T] (and some more obtained here), to obtain information for certain among the integrals of the form $$I=\int_{GL_n(\kkk)Z_n(\A)\s GL_n(\A)}φ(g)ϕ(g)\F(E)(\tj(g))dg$$ where: $\A$ is the adele ring of a number field $\kkk$; $φ$ is a $GL_n(\A)$-cuspidal automorphic form; $ϕ$ is a $GL_n(\A)$-automorphic function (even the trivial for some results); $E$ is a $GL_{N}(\A)$-automorphic form for a multiple $N$ of $n$; $\F(E)$ is a Fourier coefficient of $E$ for certain choices of additive functions $\F$ in a set $\BBnk[N]$ which we defined in $[T];…
We introduce the notion of rigidity for automorphic representations of groups over global function fields. We construct the Langlands parameters of rigid automorphic representations explicitly as local systems over open curves. We expect these local systems to be rigid. Examples of rigid automorphic representations from previous work are reviewed and more examples for $GL_{2}$ are discussed in details.
In the study of automorphic representations over a function field, Hitchin moduli stack and its variants naturally appear and their geometry helps the comparison of trace formulae. We give a survey on applications of this observation to a relative fundamental lemma, the arithmetic fundamental lemma and to the higher Gross-Zagier formula.
It is well-known that there are automorphic eigenfunctions on SL(2,Z)\SL(2,R)/SO(2,R) -- such as the classical $j$-function -- that have exponential growth and have exponentially growing Fourier coefficients (e.g., negative powers of $q=e^{2πi z}$, or an I-Bessel function). We show that this phenomenon does not occur on the quotient SL(3,Z)\SL(3,R)/SO(3,R) and eigenvalues in general position (a removable technical assumption). More precisely, if such an automorphic eigenfunction has at most exponential growth, it cannot have non-decaying Whittaker functions in its Fourier expansion. This confi…
We study Fourier coefficients of $GL_n(\A)$-automorphic functions $ϕ$, for $\A$ being the adele group of a number field $\kkk$. Let FC be an abbreviation for such a Fourier coefficient (and FCs for plural). Roughly speaking, in the present paper we process FCs by iteratively using the operations: Fourier expansions, certain exchanges of Fourier expansions, and conjugations. In Theorem 3.1 we express any FC in terms of---degenerate in many cases---Whittaker FCs. For FCs obtained from the trivial FC by choosing a certain "generic" term in each Fourier expansion involved, we establish a shortcut …
In arXiv:2011.03313, the author has constructed a category of abstractly automorphic representations for $\mathrm{GL}(2)$ over a function field $F$. This is a symmetric monoidal Abelian category, constructed with the goal of having the irreducible automorphic representations as its simple objects. The goal of this paper is to systematically study this category. We will prove several structural theorems about this category. We will show that it admits an adjoint pair $(r^\mathrm{aut},i^\mathrm{aut})$ of automorphic parabolic restriction and induction functors, respectively. This will allow us t…
This paper is the written version of D.Kazhdan's plenary talk at ICM 2022. It is dedicated to an exposition of recent results and (mostly) conjectures attempting to construct an analog of the theory of automorphic functions on moduli spaces of bundles on curves over local fields (both archimedian and non-archimedian). The talk is based on joint works of D.Kazhdan with A.Braverman, P.Etingof, E.Frenkel and A.Polishchuk.
In the first part of this paper we study minimal representations of simply connected simple split groups of type $D_k$ or $E_k$ over local non-archimedian fields. Our main result is an explicit formula for the spherical vectors in these representations. In the case of real and complex groups such a formula was obtained recently in hep-th/0107222. We also use our techniques to study the structure of the space of smooth vectors in the minimal representation recovering some results of Magaard and Savin. In the second part we consider groups as above defined over a global field. In this situation …
The geometric Langlands correspondence for complex algebraic curves differs from the original Langlands correspondence for number fields in that it is formulated in terms of sheaves rather than functions (in the intermediate case of curves over finite fields, both formulations are possible). In a recent preprint, Robert Langlands made a proposal for developing an analytic theory of automorphic forms on the moduli space of $G$-bundles on a complex algebraic curve. Langlands envisioned these forms as eigenfunctions of some analogues of Hecke operators. In these notes I show that if $G$ is an abe…
