Let $F$ be a number field and $D$ a quaternion algebra over $F$. Take a cuspidal automorphic representation $π$ of $D_{\mathbb{A}}^\times$ with trivial central character and a cusp form $ϕ$ in $π$. Using the prehomogeneous zeta function, we find an explicit mean value of the toric periods of $ϕ$ with respect to quadratic algebras over $F$. The result can also be written as a mean value formula for the central values of automorphic $L$-functions twisted by quadratic characters.
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 paper, we prove that the arithmetic automorphic periods for $GL_{n}$ over a CM field factorize through the infinite places. This generalizes a conjecture of Shimura in 1983, and is predicted by the Langlands correspondence between automorphic representations and motives.
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 consider certain Dirichlet series of Selberg type, constructed from periods of automorphic forms. We study analytic properties of these Dirichlet series and show that they have analytic continuation to the whole complex plane.
Let $K$ be a quadratic imaginary field. Let $Π$ (resp. $Π'$) be a regular algebraic cuspidal representation of $GL_{n}(K)$ (resp. $GL_{n-1}(K)$) which is moreover cohomological and conjugate self-dual. In \cite{harris97}, M. Harris has defined automorphic periods of such a representation. These periods are automorphic analogues of motivic periods. In this paper, we show that automorphic periods are functorial in the case where $Π$ is a cyclic automorphic induction of a Hecke character $χ$ over a CM field. More precisely, we prove relations between automorphic periods of $Π$ and those of $χ$. A…
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 that sums of length about $q^{3/2}$ of Hecke eigenvalues of automorphic forms on $SL_3(\Zz)$ do not correlate with $q$-periodic functions with bounded Fourier transform. This generalizes the earlier results of Munshi and Holowinsky--Nelson, corresponding to multiplicative Dirichlet characters, and applies in particular to trace functions of small conductor modulo primes.
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 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 introduce an automorphic variant of the Deligne conjecture for tensor product of two motives over a quadratic imaginary field. On one hand, we define some motivic periods and rewrite the Deligne conjecture in terms of these periods. On the other hand, we define the automorphic analogue of these motivic periods and then give a purely automorphic variant of the Deligne conjecture. At last, we introduce some known results of this automorphic variant.
Building on the works of S. Bochner on equivalence of modular relation with functional equation associated to the Dirichlet series, K. Chandrasekharan and R. Narasimhan obtained new equivalences between the functional equation and some arithmetical identities. Sister Ann M. Heath considered the functional equation in the Hawkins and Knopp context and showed its equivalence to two arithmetical identities associated with entire modular cusp integrals involving rational period functions for the full modular group. In this paper we use techniques of Chandrasekharan and Narasimhan and extend the re…
The present paper is devoted to the relations between Deligne's conjecture on critical values of motivic $L$-functions and the multiplicative relations between periods of arithmetically normalized automorphic forms on unitary groups. In the first place, we combine the Ichino--Ikeda--Neal-Harris (IINH) formula -- which is now a theorem -- with an analysis of cup products of coherent cohomological automorphic forms on Shimura varieties to establish relations between certain automorphic periods and critical values of Rankin-Selberg and Asai $L$-functions of ${\rm GL}(n)\times{\rm GL}(m)$ over CM …
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.
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…
We prove a new (conditional) result towards the subconvexity problem for certain automorphic $L$-functions for $\mathrm{GL}_2 \times \mathrm{GL}_3$. This follows from the computation of new $\mathrm{SL}_2$-period integrals associated with newforms $f$ and $g$ of even weight and odd squarefree level. The same computations also lead to a central value formula for degree $6$ complex $L$-series of the form $L(f \otimes \mathrm{Ad}(g), s)$, extending previous work in arXiv:1804.02352.
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 a new omega result for toric periods of Hecke-Maass forms on compact locally symmetric spaces associated to forms of PGL(3). This is motivated by conjectures on the maximal growth of L-functions as well as by questions about the size of automorphic periods. We also prove a mean square asymptotic result for maximal flat periods on more general locally symmetric spaces of non-compact type, which takes as main input bounds for real relative orbital integrals.
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.
This paper is the first in a series of two dedicated to the study of period relations of the type $$ L(\frac{1}{2}+k,Π)\;\in\;(2πi)^{d\cdot k}Ω_{(-1)^k}{\mathbb Q}(Π),\quad \frac{1}{2}+k\;\text{critical}, $$ for certain automorphic representations $Π$ of a reductive group $G.$ In this paper we discuss the case $G={\mathrm{GL}}(n+1)\times{\mathrm{GL}}(n).$ The case $G={\mathrm{GL}}(2n)$ is discussed in part two. Our method is representation-theoretic and relies on the author's recent results on global rational structures on automorphic representations. We show that the above period relations ar…
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.
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…
Let $D$ be a definite quaternion algebra over $\mathbb{Q}$ and $\mathcal{O}$ an Eichler order in $D$ of square-free level. We study distribution of the toric periods of algebraic modular forms of level $\mathcal{O}$. We focus on two problems: non-vanishing and sign changes. Firstly, under certain conditions on $\mathcal{O}$, we prove the non-vanishing of the toric periods for positive proportion of imaginary quadratic fields. This improves the known lower bounds toward Goldfeld's conjecture in some cases and provides evidence for similar non-vanishing conjectures for central values of twisted …
The space of toroidal automorphic forms was introduced by Zagier in the 1970s: a GL_2-automorphic form is toroidal if it has vanishing constant Fourier coefficients along all embedded non-split tori. The interest in this space stems (amongst others) from the fact that an Eisenstein series of weight s is toroidal for a given torus precisely if s is a non-trivial zero of the zeta function of the quadratic field corresponding to the torus. In this paper, we study the structure of the space of toroidal automorphic forms for an arbitrary number field F. We prove that it decomposes into a space span…
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…
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 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 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}$.
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 give a new and representation theoretic construction of $p$-adic interpolation series for central values of self-dual Rankin-Selberg $L$-functions for $\operatorname{GL}_2$ in dihedral towers of CM fields, using expressions of these central values as automorphic periods. The main novelty of this construction, apart from the level of generality in which it works, is that it is completely local. We give the construction here for a cuspidal automorphic representation of $\operatorname{GL}_2$ over a totally real field corresponding to a $\mathfrak{p}$-ordinary Hilbert modular forms of parallel …
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 upper bounds for geodesic periods of automorphic forms over general rank one locally symmetric spaces. Such periods are integrals of automorphic forms restricted to special totally geodesic cycles of the ambient manifold and twisted with automorphic forms on the cycles. The upper bounds are in terms of the Laplace eigenvalues of the two automorphic forms, and they generalize previous results for real hyperbolic manifolds to the context of all rank one locally symmetric spaces.
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.
We introduce a ``geometric'' method to bound periods of automorphic forms. The key features of this method are the use of equidistribution results in place of mean value theorems, and the systematic use of mixing and the spectral gap. Applications are given to equidistribution of sparse subsets of horocycles and to equidistribution of CM points; to subconvexity of the triple product period in the level aspect over number fields, which implies subconvexity for certain standard and Rankin-Selberg $L$-functions; and to bounding Fourier coefficients of automorphic forms.
The embedding of a torus into an inner form of PGL(2) defines an adelic toric period. A general version of Duke's theorem states that this period equidistributes as the discriminant of the splitting field tends to infinity. In this paper we consider a torus embedded diagonally into two distinct inner forms of PGL(2). Assuming the Generalized Riemann Hypothesis (and some additional technical assumptions), we show simultaneous equidistribution as the discriminant tends to infinity, with an effective logarithmic rate. Our proof is based on a probabilistic approach to estimating fractional moments…
We apply some ideas of Bombieri and Garrett to construct natural self-adjoint operators on spaces of automorphic forms whose only possible discrete spectrum is $λ_{s}$ for $s$ in a subset of on-line zeros of an $L$-function, appearing as a compact period of cuspidal-data Eisenstein series on $GL_{4}$. These ideas have their origins in results of Hejhal and Colin de Verdiére. In parallel with the $GL(2)$ case, the corresponding pair-correlation and triple-correlation results limit the fraction of on-the-line zeros that can appear in this fashion.
Waldspurger's formula gives an identity between the norm of a torus period and an L-function of the twist of an automorphic representation on GL(2). For any two Hecke characters of a fixed quadratic extension, one can consider the two torus periods coming from integrating one character against the automorphic induction of the other. Because the corresponding L-functions agree, (the norms of) these periods---which occur on different quaternion algebras---are closely related. In this paper, we give a direct proof of an explicit identity between the torus periods themselves.
In this paper, we prove Deligne's conjecture for symmetric sixth $L$-functions of Hilbert modular forms. We extend the result of Morimoto based on a different approach. We define automorphic periods associated to globally generic $C$-algebraic cuspidal automorphic representations of ${\rm GSp}_4$ over totally real number fields whose archimedean components are (limits of) discrete series representations. We show that the algebraicity of critical $L$-values for ${\rm GSp}_4 \times {\rm GL}_2$ can be expressed in terms of these periods. In the case of Kim-Ramakrishnan-Shahidi lifts of ${\rm GL}_…
A cuspidal automorphic representation πof a group G is said to to be distinguished with respect to a subgroup H if the integral of f along H is nonzero for a cusp form f in the space of π. Such period integrals are related to (non)vanishing of interesting L-values and also to Langlands functoriality. This article discusses a general principle, labelled arithmeticity, which roughly states that "πis H-distinguished if and only if any Galois conjugate of πis H-distinguished." We study this principle via several examples; starting with GL(2) and leading up to more complicated situations where the …
In this article, we compute the Gan-Gross-Prasad period integral of Klingen Eisenstein series over the unitary group $\mathrm{U}(m+1, n+1)$ with a cuspidal automorphic form over $\mathrm{U}(m+1, n)$, and show that it is related to certain special Rankin-Selberg $L$-values. We $p$-adically interpolate these Gan-Gross-Prasad period integrals as the Klingen Eisenstein series and the cuspidal automorphic form vary in Hida families. As a byproduct, we obtain a $p$-adic $L$-function of Rankin-Selberg type over $\mathrm{U}(m,n) \times \mathrm{U}(m+1, n)$. The ultimate motivation is to show the $p$-pr…
In this paper, we consider the $\SL(2)$ analogue of two well-known theorems about period integrals of automorphic forms on $\GL(2)$: one due to Harder-Langlands-Rapoport, and the other due to Waldspurger.
In this article, we study the co-period integral attached to an automorphic form on $\GL(2)$ and two exceptional theta series on the cubic Kazhdan-Patterson cover of $\GL(2)$. In the local aspect, we show the $\Hom$-space is always of one dimension and conduct the unramified calculations. In the global aspect, we give the Euler decomposition for the co-period integrals of Eisenstein series and propose an Ichino-Ikeda type conjecture relating the co-period integrals of cuspidal forms to the central critical value of symmetric cube $L$-functions. We also deduce from the local multiplicity one re…
Given a maximal even-integral lattice $\cL$ of signature $(m+, 2-)$ with an odd $m\geq 3$, we consider the holomorphic cusp forms $F$ of weight $l$ on the bounded symmetric domain of type IV of dimension $m$ with respect to the discriminant subgroup of the orthogonal group $O(\cL)$ defined by $\cL$. Under a non-negativity assumption on the central $L$-values, we prove an equidistribution result of Satake parameters in an ensemble constructed from the central values of standard $L$-functions and the square of the Whittaker-Bessel periods.
Given $\mathbf{F}$ a number field with ring of integers $\mathcal{O}_{\mathbf{F}}$ and $\mathfrak{p},\mathfrak{q}$ two squarefree and coprime ideals of $\mathcal{O}_{\mathbf{F}}$, we prove a reciprocity relation for the first moment of the triple product $L$-functions $L(π\otimesπ_1\otimesπ_2,\frac{1}{2})$ twisted by $λ_π(\mathfrak{p})$, where $π_1$ and $π_2$ are a fixed unitary automorphic representation of $\mathrm{PGL}_2(\mathbb{A}_{\mathbf{F}})$ with $π_1$ cuspidal and $π$ runs through unitary automorphic representations of conductor dividing $\mathfrak{q}$. The method uses adelic integral…
Let $F/\mathbb{Q}$ be a totally real field and $A$ a modular $\GL_2$-type abelian variety over $F$. Let $K/F$ be a CM quadratic extension. Let $χ$ be a class group character over $K$ such that the Rankin-Selberg convolution $L(s,A,χ)$ is self-dual with root number $-1$. We show that the number of class group characters $χ$ with bounded ramification such that $L'(1, A, χ) \neq 0$ increases with the absolute value of the discriminant of $K$. We also consider a rather general rank zero situation. Let $π$ be a cuspidal cohomological automorphic representation over $\GL_{2}(\BA_{F})$. Let $χ$ be a …
In this paper, we study the period map of a certain one-parameter family of quartic K3 surfaces with an S5-action. We construct automorphic forms on the period domain as the pull-backs of theta constants of genus 2 by a modular embedding. Using these automorphic forms, we give an explicit presentation of the inverse period map.
