A simple trace formula

The Selberg trace formula is of unquestionable value for the study of automorphic forms and related objects. In principal it is a simple and natural formula, generalizing the Poisson summation formula, relating traces of convolution operators with orbital integrals. This paper is motivated by the belief that such a fundamental and natural relation should admit asimple and short proof. This is accomplished here for test functions with a single supercusp-component, and another component which is spherical and “sufficiently-admissible” with respect to the other components. The resulting trace formula is then use to sharpen and extend the metaplectic correspondence, and the simple algebras correspondence, of automorphic representations, to the context of automorphic forms with asingle supercuspidal component, over any global field. It will be interesting to extend these theorems to the context of all automorphic forms by means of a simple proof. Previously a simple form of the trace formula was known for test functions with two supercusp components; this was used to establish these correspondences for automorphic forms with two supercuspidal components. The notion of “sufficiently-admissible” spherical functions has its origins in Drinfeld's study of the reciprocity law for GL(2) over a function field, and our form of the trace formula is analogous to Deligne's conjecture on the fixed point formula in étale cohomology, for a correspondence which is multiplied by by a sufficiently high power of the Frobenius, on a separated scheme of finite type over a finite field. Our trace formula can be used (see [FK′]) to prove the Ramanujan conjecture for automorphic forms with a supercuspidal component on GL(n) over a function field, and to reduce the reciprocity law for such forms to Deligne's conjecture. Similar techniques are used in ['t'F] to establish base change for GL (n) in the context of automorphic forms with a single supercuspidal component. They can be used to give short and simple proofs of rank one lifting theorems forarbitrary automorphic forms; see [″F] for base change for GL(2), [F′] for base change forU(3), and [′F′] for the symmetric square lifting from SL(2) to PGL(3). Partially supported by NSF grants.     

Period relations and p-adic measures

Let (π,σ) be a pair of cuspidal automorphic representations of GL ⁿ × GL ^{n −1} over the adele ring of ℚ having non-vanishing cohomology with constant coefficients. The p-adic distribution interpolating the critical values of the twisted corresponding Rankin–Selberg convolution is shown to be p-adically bounded thus leading to an associated p-adic L-function. Received: 18 October 2000 / Revised version: 27 July 2001     

Critical values of automorphic L-functions for GL(<Emphasis Type="Italic">r</Emphasis>)×GL(<Emphasis Type="Italic">r</Emphasis>)

 We compute, up to an element of a fixed number field, the critical values of the L-function of a pair of automorphic, cuspidal, cohomological representations of any GL(r). The result is expressed as a product of cohomological periods divided by an archimedean integral. The main tool used is the rationality of the cohomology of the three representations involved in the Rankin–Selberg integral. As an intermediate step, we also obtained the rationality of the Eisenstein cohomology. Received: 14 February 2002 / Revised version: 17 September 2002 Published online: 14 February 2003     

Pairings of automorphic distributions

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.     

Fourier–Jacobi periods and the central value of Rankin–Selberg L-functions

In this paper, we propose a conjectural formula, relating the Fourier–Jacobi periods of automorphic forms on U(n)×U(n) and the central value of some Rankin–Selberg L-function. This can be viewed as a refinement of the Gan–Gross–Prasad conjecture for unitary groups. We then use the relative trace formula technique to prove this conjectural formula in some cases. We also have give applications to the conjecture of Ichino–Ikeda and N. Harris on the Bessel period of automorphic forms on unitary groups.     

On the metaplectic analog of Kazhdan’s “endoscopic” lifting

A simple “twisted” form of the Selberg trace formula, due to Kazhdan, is used to prove a metaplectic analog of Kazhdan’s lifting of grossencharakters of a cyclic extension of degreer to automorphic representations of GL(r).     

Computation of the Rankin–Selberg <Emphasis Type="Italic">L</Emphasis>-functions of Maass wave forms

This note outlines a method for numerically computing the Rankin–Selberg convolutions of Maass wave forms L-functions and reports on the computation of zeros of some of them. Bibliography: 11 titles.     

A note on the non-holomorphic Eisenstein series

We give a sufficient condition of bounded growth for the non-holomorphic Eisenstein series on SL ₂(ℤ). The C ^∞-automorphic forms of bounded growth are introduced by Sturm (Duke Math. J. 48(2), 327–350, 1981) in the study of automorphic L-functions. We also give a Laplace-Mellin transform of the Fourier coefficients of the Eisenstein series. The transformation constructs a projection of the Eisenstein series to the space of holomorphic cusp forms.      

On the Exceptional Zeros of Rankin–Selberg L-Functions

The main objects of study in this article are two classes of Rankin–Selberg L-functions, namely L(s,f×g) and L(s, sym²(g)× sym²(g)), where f,g are newforms, holomorphic or of Maass type, on the upper half plane, and sym²(g) denotes the symmetric square lift of g to GL(3). We prove that in general, i.e., when these L-functions are not divisible by L-functions of quadratic characters (such divisibility happening rarely), they do not admit any LandauSiegel zeros. Such zeros, which are real and close to s=1, are highly mysterious and are not expected to occur. There are corollaries of our result, one of them being a strong lower bound for special value at s=1, which is of interest both geometrically and analytically. One also gets this way a good bound onthe norm of sym²(g).     

Zeta functions of prehomogeneous vector spaces with coefficients related to periods of automorphic forms

The theory of zeta functions associated with prehomogeneous vector spaces (p.v. for short) provides us a unified approach to functional equations of a large class of zeta functions. However the general theory does not include zeta functions related to automorphic forms such as the HeckeL-functions and the standardL-functions of automorphic forms on GL(n), even though they can naturally be considered to be associated with p.v.’s. Our aim is to generalize the theory to zeta functions whose coefficients involve periods of automorphic forms, which include the zeta functions mentioned above. In this paper, we generalize the theory to p.v.’s with symmetric structure ofK _ε-type and prove the functional equation of zeta functions attached to automorphic forms with generic infinitesimal character. In another paper, we have studied the case where automorphic forms are given by matrix coefficients of irreducible unitary representations of compact groups. Dedicated to the memory of Professor K G Ramanathan     

The subconvexity problem for Rankin–Selberg L-functions and equidistribution of Heegner points. II

We prove a general subconvex bound in the level aspect for Rankin–Selberg L-functions associated with two primitive holomorphic or Maass cusp forms over Q. We use this bound to establish the equidistribution of incomplete Galois orbits of Heegner points on Shimura curves associated with indefinite quaternion algebras over Q. Mathematics Subject Classification (2000) 11F66, 11F67, 11M41     

Subconvexity for Rankin-Selberg L-Functions of Maass Forms

In this paper we prove a subconvexity bound for Rankin–Selberg L-functions associated with a Maass cusp form f and a fixed cusp form g in the aspect of the Laplace eigenvalue 1/4 + k² of f, on the critical line Re s = 1/2. Using this subconvexity bound, we prove the equidistribution conjecture of Rudnick and Sarnak [RS] on quantum unique ergodicity for dihedral Maass forms, following the work of Sarnak [S2] and Watson [W]. Also proved here is that the generalized Lindelöf hypothesis for the central value of our L-function is true on average.     

A criterion for the Generalized Riemann hypothesis

In this paper, we study the automorphic L-functions attached to the classical automorphic forms on GL（2）, i.e. holomorphic cusp form. And we also give a criterion for the Generalized Riemann Hypothesis （GRH） for the above L-functions.     

Theta lifting from elliptic cusp forms to automorphic forms on <Emphasis Type="Italic">Sp</Emphasis>(1, <Emphasis Type="Italic">q</Emphasis>)

Tsuneo Arakawa formulated a theta lifting from elliptic cusp forms to automorphic forms on Sp(1,q) in his unpublished note, which was inspired by “Kudla lifting”, i.e. a theta lifting from elliptic modular forms to holomorphic automorphic forms on SU(1,q). We prove that the images of Arakawa’s theta lifting belong to the space of bounded automorphic forms generating quaternionic discrete series, which are non-holomorphic forms. In the appendix we provide the construction of Eisenstein series and Poincaré series generating such discrete series. The author was partially supported by JSPS Research Fellowships for Young Scientist for April 2002 to March 2005. The results of this paper were obtained in this period.     

The limiting case of Haglund's (q,t)-Schröder theorem and an involution formula

As a generalization of Haglund's statistic on Dyck paths [Conjectured statistics for the q,t-Catalan numbers, Adv. Math. 175 (2) (2003) 319–334; A positivity result in the theory of Macdonald polynomials, Proc. Nat. Acad. Sci. 98 (2001) 4313–4316], Egge et al. introduced the (q,t)-Schröder polynomial S_n,d(q,t), which evaluates to the Schröder number when q=t=1 [A Schröder generalization of Haglund's statistic on Catalan paths, Electron. J. Combin. 10 (2003) 21pp (Research Paper 16, electronic)]. In their paper, S_n,d(q,t) was conjectured to be equal to the coefficient of a hook shape on the Schur function expansion of the symmetric function e_n, which Haiman [Vanishing theorems and character formulas for the Hilbert scheme of points in the plane, Invent. Math. 149 (2002) 371–407] has shown to have a representation-theoretic interpretation. This conjecture was recently proved by Haglund [A proof of the q,t-Schröder conjecture, Internat. Math. Res. Not. (11) (2004) 525–560]. However, because that proof makes heavy use of symmetric function identities and plethystic machinery, the combinatorics behind it is not understood. Therefore, it is worthwhile to study it combinatorially. This paper investigates the limiting case of the (q,t)-Schröder Theorem and obtains interesting results by looking at some special cases.     

Explicit formulas for the waldspurger and bessel models

This paper studies certain models of irreducible admissible representations of the split special orthogonal group SO(2n+1) over a nonarchimedean local field. Ifn=1, these models were considered by Waldspurger. Ifn=2, they were considered by Novodvorsky and Piatetski-Shapiro, who called them Bessel models. In the works of these authors, uniqueness of the models is established; in this paper functional equations and explicit formulas for them are obtained. As a global application, the Bessel period of the Eisenstein series on SO(2n+1) formed with a cuspidal automorphic representation π on GL(n) is computed—it is shown to be a product of L-series. This generalizes work of Böcherer and Mizumoto forn=2 and base field ?, and puts it in a representation-theoretic context. In an appendix by M. Furusawa, a new Rankin-Selberg integral is given for the standardL-function on SO(2n+1)×GL(n). The local analysis of the integral is carried out using the formulas of the paper.     

Introduction to Actions of Discrete Groups on Pseudo-Riemannian Homogeneous Manifolds

Isometric actions of discrete groups are not always properly discontinuous for pseudo-Riemannian manifolds. This short exposition gives an up-to-date survey of some of the basic questions about discontinuous groups for pseudo-Riemannian homogeneous spaces, on which a rapid development has been made since late 1980s.The first half includes an elementary geometric motivation, the Calabi–Markus phenomenon, the discontinuous dual, and deformation. These topics are rebuilt on a criterion of properly discontinuous actions on homogeneous spaces of reductive groups, obtained by Kobayashi [Math. Ann. 1989] and generalized independently by Benoist [Ann. Math. 1996] and Kobayashi [J. Lie Theory 1996].The second half discusses the existence problem of compact Clifford–Klein forms of pseudo-Riemannian homogeneous spaces, for which many new methods from different areas have been recently employed. We examine these various approaches in some typical cases. We also point out that Zimmer's examples on SL(n)/SL(m) [J. Amer. Math. Soc. 1994] and Shalom's examples on SL(n)/SL(2) [Ann. Math. 2000] are readily obtained as special cases of Kobayashi's criterion [Duke Math. J. 1992], where the former uses ergodic theory and restrictions of unitary representations, respectively, while the latter uses cohomologies of discrete groups.The article also explains some open problems and conjectures.     

Estimates of the $$k{\text {th}}$$ prime under the Riemann hypothesis

We construct an Euler system of generalized Heegner cycles to bound the Selmer group associated to a modular form and an algebraic Hecke character. The main argument is based on Kolyvagin’s method adapted by Bertolini and Darmon (J Reine Angew Math 412:63–74, 1990) and by Neková? (Invent Math 107(1):99–125, 1992), while the key object of the Euler system, the generalized Heegner cycles were first considered by Bertolini et al. (Duke Math J 162(6):1033–1148, 2013).     

On p-adic families of Hilbert cusp forms of finite slope

Let p be a prime number and F a totally real field. In this article, we obtain a p-adic interpolation of spaces of totally definite quaternionic automorphic forms over F of finite slope, and construct p-adic families of automorphic forms parametrized by affinoid Hecke varieties. Further, as an application to the case where [F:Q] is even, we obtain p-adic analytic families of Hilbert eigenforms having fixed finite slope parametrized by weights. This is an analogue of Coleman's analytic families in [R.F. Coleman, p-Adic Banach spaces and families of modular forms, Invent. Math. 127 (1997) 417-479].     

The Local Langlands Correspondence for GL n over p-adic fields

We extend our methods from Scholze (Invent. Math. 2012, doi:10.1007/s00222-012-0419-y) to reprove the Local Langlands Correspondence for GL _n over p-adic fields as well as the existence of ?-adic Galois representations attached to (most) regular algebraic conjugate self-dual cuspidal automorphic representations, for which we prove a local-global compatibility statement as in the book of Harris-Taylor (The Geometry and Cohomology of Some Simple Shimura Varieties, 2001). In contrast to the proofs of the Local Langlands Correspondence given by Henniart (Invent. Math. 139(2), 439–455, 2000), and Harris-Taylor (The Geometry and Cohomology of Some Simple Shimura Varieties, 2001), our proof completely by-passes the numerical Local Langlands Correspondence of Henniart (Ann. Sci. Éc. Norm. Super. 21(4), 497–544, 1988). Instead, we make use of a previous result from Scholze (Invent. Math. 2012, doi:10.1007/s00222-012-0419-y) describing the inertia-invariant nearby cycles in certain regular situations.