We study the growth of the local $L^2$-norms of the unitary Eisenstein series for reductive groups over number fields, in terms of their parameters. We derive a poly-logarithmic bound on an average, for a large class of reductive groups. The method is based on Arthur’s development of the spectral side of the trace formula, and ideas of Finis, Lapid and Müller.

As applications of our method, we prove the optimal lifting property for $\mathrm {SL}_n(\mathbb {Z}/q\mathbb {Z})$ for square-free q, as well as the Sarnak–Xue [52] counting property for the principal congruence subgroup of $\mathrm {SL}_n(\mathbb {Z})$ of square-free level. This makes the recent results of Assing–Blomer [8] unconditional.

Let f be an $L^2$-normalized holomorphic newform of weight k on $\Gamma _0(N) \backslash \mathbb {H}$ with N squarefree or, more generally, on any hyperbolic surface $\Gamma \backslash \mathbb {H}$ attached to an Eichler order of squarefree level in an indefinite quaternion algebra over $\mathbb {Q}$. Denote by V the hyperbolic volume of said surface. We prove the sup-norm estimate

$$\begin{align*}\| \Im(\cdot)^{\frac{k}{2}} f \|_{\infty} \ll_{\varepsilon} (k V)^{\frac{1}{4}+\varepsilon} \end{align*}$$

with absolute implied constant. For a cuspidal Maaß newform $\varphi $ of eigenvalue $\lambda $ on such a surface, we prove that

$$\begin{align*}\|\varphi \|_{\infty} \ll_{\lambda,\varepsilon} V^{\frac{1}{4}+\varepsilon}. \end{align*}$$

We establish analogous estimates in the setting of definite quaternion algebras.

Quaternionic automorphic representations are one attempt to generalize to other groups the special place holomorphic modular forms have among automorphic representations of $\mathrm {GL}_2$. Here, we use ‘hyperendoscopy’ techniques to develop a general trace formula and understand them on an arbitrary group. Then we specialize this general formula to study quaternionic automorphic representations on the exceptional group $G_2$, eventually getting an analog of the Eichler–Selberg trace formula for classical modular forms. We finally use this together with some techniques of Chenevier, Renard and Taïbi to compute dimensions of spaces of level-$1$ quaternionic representations. On the way, we prove a Jacquet–Langlands-style result describing them in terms of classical modular forms and automorphic representations on the compact-at-infinity form $G_2^c$.

The main technical difficulty is that the quaternionic discrete series that quaternionic automorphic representations are defined in terms of do not satisfy a condition of being ‘regular’. A real representation theory argument shows that regularity miraculously does not matter for specifically the case of quaternionic discrete series.

We hope that the techniques and shortcuts highlighted in this project are of interest in other computations about discrete-at-infinity automorphic representations on arbitrary reductive groups instead of just classical ones.

We prove an asymptotic expansion of the second moment of the central values of the $\mathrm {GL}(n)\times \mathrm {GL}(n)$ Rankin–Selberg L-functions $L(1/2,\pi \otimes \pi _0)$ for a fixed cuspidal automorphic representation $\pi _0$ over the family of $\pi $ with analytic conductors bounded by a quantity that is tending to infinity. Our proof uses the integral representations of the L-functions, period with regularised Eisenstein series and the invariance properties of the analytic newvectors.

A new reciprocity formula for Dirichlet L-functions associated to an arbitrary primitive Dirichlet character of prime modulus q is established. We find an identity relating the fourth moment of individual Dirichlet L-functions in the t-aspect to the cubic moment of central L-values of Hecke–Maaß newforms of level at most $q^{2}$ and primitive central character $\psi ^{2}$ averaged over all primitive nonquadratic characters $\psi $ modulo q. Our formula can be thought of as a reverse version of recent work of Petrow–Young. Direct corollaries involve a variant of Iwaniec’s short interval fourth moment bound and the twelfth moment bound for Dirichlet L-functions, which generalise work of Jutila and Heath-Brown, respectively. This work traverses an intersection of classical analytic number theory and automorphic forms.

The purpose of this paper is to extend the explicit geometric evaluation of semisimple orbital integrals for smooth kernels for the Casimir operator obtained by the first author to the case of kernels for arbitrary elements in the center of the enveloping algebra.

We explicate the combinatorial/geometric ingredients of Arthur’s proof of the convergence and polynomiality, in a truncation parameter, of his noninvariant trace formula. Starting with a fan in a real, finite dimensional, vector space and a collection of functions, one for each cone in the fan, we introduce a combinatorial truncated function with respect to a polytope normal to the fan and prove the analogues of Arthur’s results on the convergence and polynomiality of the integral of this truncated function over the vector space. The convergence statements clarify the important role of certain combinatorial subsets that appear in Arthur’s work and provide a crucial partition that amounts to a so-called nearest face partition. The polynomiality statements can be thought of as far reaching extensions of the Ehrhart polynomial. Our proof of polynomiality relies on the Lawrence–Varchenko conical decomposition and readily implies an extension of the well-known combinatorial lemma of Langlands. The Khovanskii–Pukhlikov virtual polytopes are an important ingredient here. Finally, we give some geometric interpretations of our combinatorial truncation on toric varieties as a measure and a Lefschetz number.

We study the limiting behavior of Maass forms on sequences of large-volume compact quotients of $\operatorname {SL}_d({\mathbb R})/\textrm {SO}(d)$, $d\ge 3$, whose spectral parameter stays in a fixed window. We prove a form of quantum ergodicity in this level aspect which extends results of Le Masson and Sahlsten to the higher rank case.

Orthogonality is a fundamental theme in representation theory and Fourier analysis. An orthogonality relation for characters of finite abelian groups (now recognized as an orthogonality relation on $\mathrm {GL}(1)$) was used by Dirichlet to prove infinitely many primes in arithmetic progressions. Orthogonality relations for $\mathrm {GL}(2)$ and $\mathrm {GL}(3)$ have been worked on by many researchers with a broad range of applications to number theory. We present here, for the first time, very explicit orthogonality relations for the real group $\mathrm {GL}(4, \mathbb R)$ with a power savings error term. The proof requires novel techniques in the computation of the geometric side of the Kuznetsov trace formula.

The Zagier L-series encode data of real quadratic fields. We study the average size of these L-series, and prove asymptotic expansions and omega results for the expansion. We then show how the error term in the asymptotic expansion can be used to obtain error terms in the prime geodesic theorem.

Given a closed geodesic on a compact arithmetic hyperbolic surface, we show the existence of a sequence of Laplacian eigenfunctions whose integrals along the geodesic exhibit nontrivial growth. Via Waldspurger’s formula we deduce a lower bound for central values of Rankin-Selberg L-functions of Maass forms times theta series associated to real quadratic fields.

We improve upon the local bound in the depth aspect for sup-norms of newforms on $D^\times$, where $D$ is an indefinite quaternion division algebra over ${\mathbb {Q}}$. Our sup-norm bound implies a depth-aspect subconvexity bound for $L(1/2, f \times \theta _\chi )$, where $f$ is a (varying) newform on $D^\times$ of level $p^n$, and $\theta _\chi$ is an (essentially fixed) automorphic form on $\textrm {GL}_2$ obtained as the theta lift of a Hecke character $\chi$ on a quadratic field. For the proof, we augment the amplification method with a novel filtration argument and a recent counting result proved by the second-named author to reduce to showing strong quantitative decay of matrix coefficients of local newvectors along compact subsets, which we establish via $p$-adic stationary phase analysis. Furthermore, we prove a general upper bound in the level aspect for sup-norms of automorphic forms belonging to any family whose associated matrix coefficients have such a decay property.

Motohashi established an explicit identity between the fourth moment of the Riemann zeta function weighted by some test function and a spectral cubic moment of automorphic $L$-functions. By an entirely different method, we prove a generalization of this formula to a fourth moment of Dirichlet $L$-functions modulo $q$ weighted by a non-archimedean test function. This establishes a new reciprocity formula. As an application, we obtain sharp upper bounds for the fourth moment twisted by the square of a Dirichlet polynomial of length $q^{1/4}$. An auxiliary result of independent interest is a sharp upper bound for a certain sixth moment for automorphic $L$-functions, which we also use to improve the best known subconvexity bounds for automorphic $L$-functions in the level aspect.

Let $G$ be an anisotropic semisimple group over a totally real number field $F$. Suppose that $G$ is compact at all but one infinite place $v_{0}$. In addition, suppose that $G_{v_{0}}$ is $\mathbb{R}$-almost simple, not split, and has a Cartan involution defined over $F$. If $Y$ is a congruence arithmetic manifold of non-positive curvature associated with $G$, we prove that there exists a sequence of Laplace eigenfunctions on $Y$ whose sup norms grow like a power of the eigenvalue.

J.-C. Yoccoz proposed a natural extension of Selberg’s eigenvalue conjecture to moduli spaces of abelian differentials. We prove an approximation to this conjecture. This gives a qualitative generalization of Selberg’s $\frac{3}{16}$ theorem to moduli spaces of abelian differentials on surfaces of genus ${\geqslant}2$.

Nous établissons une variante infinitésimale de la formule des traces de Jacquet-Rallis pour les groupes unitaires. Notre formule s’obtient par intégration d'un noyau tronqué á la Arthur. Elle posséde un côté géométrique qui est une somme de distributions ${{J}_{\mathfrak{o}}}$ indexée par les classes d'éléments de l'algébre de Lie de $U\,\left( n\,+\,1 \right)$ stables par $U\left( n \right)$-conjugaison ainsi qu'un “côté spectral” formé des transformées de Fourier des distributions précédentes. On démontre que les distributions ${{J}_{\mathfrak{o}}}$ sont invariantes et ne dépendent que du choix de la mesure de Haar sur $U\left( n \right)\left( \mathbb{A} \right)$. Pour des classes $\mathfrak{o}$ semi-simples réguliéres, ${{J}_{\mathfrak{o}}}$ est une intégrale orbitale relative de Jacquet-Rallis. Pour les classes $\mathfrak{o}$ dites relativement semi-simples régulières, on exprime ${{J}_{\mathfrak{o}}}$ en terme des intégrales orbitales relatives régularisées á l'aide des fonctions zêta.

We develop a derivative version of the relative trace formula on $\text{PGL}\left( 2 \right)$ studied in our previous work, and derive an asymptotic formula of an average of central values (derivatives) of automorphic $L$-functions for Hilbert cusp forms. As an application, we prove the existence of Hilbert cusp forms with non-vanishing central values (derivatives) such that the absolute degrees of their Hecke fields are arbitrarily large.

We present a ready to compute trace formula for Hecke operators on vector-valued modular forms of integral weight for SL2(ℤ) transforming under the Weil representation. As a corollary, we obtain a ready to compute dimension formula for the corresponding space of vector-valued cusp forms, which is more general than the dimension formulae previously published in the vector-valued setting.

We study the meromorphic continuation and the spectral expansion of the opposite-sign Kloosterman sum zeta function

$$\begin{eqnarray}\displaystyle (2{\it\pi}\sqrt{mn})^{2s-1}\mathop{\sum }_{\ell =1}^{\infty }\frac{S(m,-n,\ell )}{\ell ^{2s}} & & \displaystyle \nonumber\end{eqnarray}$$

$m,n$

$s\in \mathbb{C}$

We use a relative trace formula on $\text{GL}(2)$ to compute a sum of twisted modular $L$-functions anywhere in the critical strip, weighted by a Fourier coefficient and a Hecke eigenvalue. When the weight $k$ or level $N$ is sufficiently large, the sum is nonzero. Specializing to the central point, we show in some cases that the resulting bound for the average is as good as that predicted by the Lindelöf hypothesis in the $k$ and $N$ aspects.