Selberg Trace Formula Research Articles

A Selberg Trace Formula for GL3(Fp)∖GL3(Fq)/K

In this paper, we prove a discrete analog of the Selberg Trace Formula for the group GL3(Fq). By considering a cubic extension of the finite field Fq, we define an analog of the upper half-space and an action of GL3(Fq) on it. To compute the orbital sums, we explicitly identify the double coset spaces and fundamental domains in our upper half space. To understand the spectral side of the trace formula, we decompose the induced representation ρ=IndΓG1 for G=GL3(Fq) and Γ=GL3(Fp).

On the geometric trace of a generalized Selberg trace formula

Abstract A certain generalization of the Selberg trace formula was proved by the first named author in 1999. In this generalization instead of considering the integral of K ⁢ ( z , z ) {K(z,z)} (where K ⁢ ( z , w ) {K(z,w)} is an automorphic kernel function) over the fundamental domain, one considers the integral of K ⁢ ( z , z ) ⁢ u ⁢ ( z ) {K(z,z)u(z)} , where u ⁢ ( z ) {u(z)} is a fixed automorphic eigenfunction of the Laplace operator. This formula was proved for discrete subgroups of PSL ⁢ ( 2 , ℝ ) {\mathrm{PSL}(2,\mathbb{R})} , and just as in the case of the classical Selberg trace formula it was obtained by evaluating in two different ways (“geometrically” and “spectrally”) the integral of K ⁢ ( z , z ) ⁢ u ⁢ ( z ) {K(z,z)u(z)} . In the present paper we work out the geometric side of a further generalization of this generalized trace formula: we consider the case of discrete subgroups of PSL ⁢ ( 2 , ℝ ) n {\mathrm{PSL}(2,\mathbb{R})^{n}} where n > 1 {n>1} . Many new difficulties arise in the case of these groups due to the fact that the classification of conjugacy classes is much more complicated for n > 1 {n>1} than in the case n = 1 {n=1} .

COUNTING DISCRETE, LEVEL- $1$ , QUATERNIONIC AUTOMORPHIC REPRESENTATIONS ON $G_2$

AbstractQuaternionic 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.

The twisted Selberg trace formula and the twisted Selberg zeta function for compact orbifolds

We propose a version of the Selberg trace formula for compact hyperbolic orbifolds Gamma backslash {mathbb {H}}^{2n+1} for non-unitary representations of Gamma and establish that the associated Selberg zeta function admits a meromorphic continuation to {mathbb {C}}.

A Selberg zeta function for warped AdS3 black holes

The Selberg zeta function and trace formula are powerful tools used to calculate kinetic operator spectra and quasinormal modes on hyperbolic quotient spacetimes. In this article, we extend this formalism to non-hyperbolic quotients by constructing a Selberg zeta function for warped AdS3 black holes. We also consider the so-called self-dual solutions, which are of interest in connection to near-horizon extremal Kerr. We establish a map between the zeta function zeroes and the quasinormal modes on warped AdS3 black hole backgrounds. In the process, we use a method involving conformal coordinates and the symmetry structure of the scalar Laplacian to construct a warped version of the hyperbolic half-space metric, which to our knowledge is new and may have interesting applications of its own, which we describe. We end by discussing several future directions for this work, such as computing 1-loop determinants (which govern quantum corrections) on the quotient spacetimes we consider, as well as adapting the formalism presented here to more generic orbifolds.

Rigorous computation of Maass cusp forms of squarefree level

We derive an algorithm to rigorously compute and verify Maass cusp forms of squarefree level and trivial character. The main tool we use is an explicit version of the Selberg trace formula with Hecke operators due to Strömbergsson. We use this algorithm to compute several thousand Maass forms for a range of levels and use this data to obtain numerical evidence towards various conjectures.

Selberg trace formula in hyperbolic band theory.

We apply Selberg's trace formula to solve problems in hyperbolic band theory, a recently developed extension of Bloch theory to model band structures on experimentally realized hyperbolic lattices. For this purpose we incorporate the higher-dimensional crystal momentum into the trace formula and evaluate the summation for periodic orbits on the Bolza surface of genus two. We apply the technique to compute partition functions on the Bolza surface and propose an approximate relation between the lowest bands on the Bolza surface and on the {8,3} hyperbolic lattice. We discuss the role of automorphism symmetry and its manifestation in the trace formula.

Kissing numbers of closed hyperbolic manifolds

We prove an upper bound for the number of shortest closed geodesics in a closed hyperbolic manifold of any dimension in terms of its volume and systole, generalizing a theorem of Parlier for surfaces. We also obtain bounds on the number of primitive closed geodesics with length in a given interval that are uniform for all closed hyperbolic manifolds with bounded geometry. The proofs rely on the Selberg trace formula.

Benjamini–Schramm convergence and spectra of random hyperbolic surfaces of high genus

We study geometric and spectral properties of typical hyperbolic surfaces of high genus, excluding a set of small measure for the Weil-Petersson probability measure. We first prove Benjamini-Schramm convergence to the hyperbolic plane H as the genus g goes to infinity. An estimate for the number of eigenvalues in an interval [a,b] in terms of a, b and g is then proven using the Selberg trace formula. It implies the convergence of spectral measures to the spectral measure of H as g $\rightarrow$+$\infty$, and a uniform Weyl law as b $\rightarrow$+$\infty$. We deduce a bound on the number of small eigenvalues, and the multiplicity of any eigenvalue.

The Shintani double zeta functions

Abstract In this paper, we give an explicit formula for the Shintani double zeta functions with any ramification in the most general setting of adeles over an arbitrary number field. Three applications of the explicit formula are given. First, we obtain a functional equation satisfied by the Shintani double zeta functions in addition to Shintani’s functional equations. Second, we establish the holomorphicity of a certain Dirichlet series generalizing a result by Ibukiyama and Saito. This Dirichlet series occurs in the study of unipotent contributions of the geometric side of the Arthur–Selberg trace formula of the symplectic group. Third, we prove an asymptotic formula of the weighted average of the central values of quadratic Dirichlet L-functions.

The Seiberg-Witten equations and the length spectrum of hyperbolic three-manifolds

We exhibit the first examples of hyperbolic three-manifolds for which the Seiberg-Witten equations do not admit any irreducible solution. Our approach relies on hyperbolic geometry in an essential way; it combines an explicit upper bound for the first eigenvalue on coexact $1$-forms $\lambda_1^*$ on rational homology spheres which admit irreducible solutions together with a version of the Selberg trace formula relating the spectrum of the Laplacian on coexact $1$-forms with the volume and complex length spectrum of a hyperbolic three-manifold. Using these relationships, we also provide precise numerical bounds on $\lambda_1^*$ for several hyperbolic rational homology spheres.

Analytic Torsion for Surfaces with Cusps I: Compact Perturbation Theorem and Anomaly Formula

Let $\overline{M}$ be a compact Riemann surface and let $g^{TM}$ be a metric over $\overline{M} \setminus D_M$, where $D_M \subset \overline{M}$ is a finite set of points. We suppose that $g^{TM}$ is equal to the Poincar\'e metric over a punctured disks around the points of $D_M$. The metric $g^{TM}$ endows the twisted canonical line bundle $\omega_M(D)$ with the induced Hermitian norm $\|\cdot\|_M$ over $\overline{M} \setminus D_M$. Let $(\xi, h^{\xi})$ be a holomorphic Hermitian vector bundle over $\overline{M}$. In this article we define the analytic torsion $T(g^{TM}, h^{\xi} \otimes \|\cdot\|_M^{2n})$ associated with $(M, g^{TM})$ and $(\xi \otimes \omega_M(D)^n, h^{\xi} \otimes \|\cdot\|_M^{2n})$ for $n \leq 0$. We prove that $T(g^{TM}, h^{\xi} \otimes \|\cdot\|_M^{2n})$ is related to the analytic torsion of non-cusped surfaces. Then we prove the anomaly formula for the associated Quillen norm. The results of this paper will be used in the sequel to study the regularity of the Quillen norm and its asymptotics in a degenerating family of Riemann surfaces with cusps and to prove the curvature theorem. We also prove that our definition of the analytic torsion for hyperbolic surfaces is compatible with the one obtained through Selberg trace formula by Takhtajan-Zograf.

Twist‐minimal trace formulas and the Selberg eigenvalue conjecture

We derive a fully explicit version of the Selberg trace formula for twist-minimal Maass forms of weight 0 and arbitrary conductor and nebentypus character, and apply it to prove two theorems. First, conditional on Artin's conjecture, we classify the even 2-dimensional Artin representations of small conductor; in particular, we show that the even icosahedral representation of smallest conductor is the one found by Doud and Moore, of conductor 1951. Second, we verify the Selberg eigenvalue conjecture for groups of small level, improving on a result of Huxley from 1985.

Adinkras, Dessins, Origami, and Supersymmetry Spectral Triples

We investigate the spectral geometry and spectral action functionals associated to 1D Supersymmetry Algebras, using the classification of these superalgebras in terms of Adinkra graphs and the construction of associated dessin d'enfant and origami curves. The resulting spectral action functionals are computed in terms of the Selberg (super) trace formula.

Deducing Selberg trace formula via Rankin–Selberg method for 𝐺𝐿₂

In the 1980s, Zagier and Jacquet and Zagier tried to derive the Selberg trace formula by applying the Rankin–Selberg method to the automorphic kernel function. Their derivation was incomplete due to a puzzle of the computation of a residue. We solve this puzzle and complete the derivation. The main input is an extension of the theory of regularized integrals invented by Zagier, which is of independent interest.

Trace formula for the magnetic Laplacian

The Guillemin–Uribe trace formula is a semiclassical version of the Selberg trace formula and the more general Duistermaat–Guillemin formula for elliptic operators on compact manifolds, which reflects the dynamics of magnetic geodesic flows in terms of eigenvalues of a natural differential operator (the magnetic Laplacian) associated with the magnetic field. This paper gives a survey of basic notions and results related to the Guillemin–Uribe trace formula and provides concrete examples of its computation for two-dimensional constant curvature surfaces with constant magnetic fields and for the Katok example. Bibliography: 53 titles.

An elementary proof of the Eichler–Selberg trace formula

Abstract We give a purely algebraic proof of the trace formula for Hecke operators on modular forms for the full modular group SL 2 ⁢ ( ℤ ) {\mathrm{SL}_{2}(\mathbb{Z})} , using the action of Hecke operators on the space of period polynomials. This approach, which can also be applied for congruence subgroups, is more elementary than the classical ones using kernel functions, and avoids the analytic difficulties inherent in the latter (especially in weight two). Our main result is an algebraic property of a special Hecke element that involves neither period polynomials nor modular forms, yet immediately implies both the trace formula and the classical Kronecker–Hurwitz class number relation. This key property can be seen as providing a bridge between the conjugacy classes and the right cosets contained in a given double coset of the modular group.

BEYOND ENDOSCOPY VIA THE TRACE FORMULA – III THE STANDARD REPRESENTATION

We finalize the analysis of the trace formula initiated in S. A. Altuğ [Beyond endoscopy via the trace formula-I: Poisson summation and isolation of special representations, Compos. Math.151(10) (2015), 1791–1820] and developed in S. A. Altuğ [Beyond endoscopy via the trace formula-II: asymptotic expansions of Fourier transforms and bounds toward the Ramanujan conjecture. Submitted, preprint, 2015, Available at: arXiv:1506.08911.pdf], and calculate the asymptotic expansion of the beyond endoscopic averages for the standard $L$-functions attached to weight $k\geqslant 3$ cusp forms on $\mathit{GL}(2)$ (cf. Theorem 1.1). This, in particular, constitutes the first example of beyond endoscopy executed via the Arthur–Selberg trace formula, as originally proposed in R. P. Langlands [Beyond endoscopy, in Contributions to Automorphic Forms, Geometry, and Number Theory, pp. 611–698 (The Johns Hopkins University Press, Baltimore, MD, 2004), chapter 22]. As an application we also give a new proof of the analytic continuation of the $L$-function attached to Ramanujan’s $\unicode[STIX]{x1D6E5}$-function.

Density theorems for exceptional eigenvalues for congruence subgroups

Using the Kuznetsov formula, we prove several density theorems for exceptional Hecke and Laplacian eigenvalues of Maass cusp forms of weight 0 or 1 for the congruence subgroups $\Gamma_0(q)$, $\Gamma_1(q)$, and $\Gamma(q)$. These improve and extend upon results of Sarnak and Huxley, who prove similar but slightly weaker results via the Selberg trace formula.

A transfer-operator-based relation between Laplace eigenfunctions and zeros of Selberg zeta functions

Over the last few years Pohl (partly jointly with coauthors) has developed dual ‘slow/fast’ transfer operator approaches to automorphic functions, resonances, and Selberg zeta functions for a certain class of hyperbolic surfaces$\unicode[STIX]{x1D6E4}\backslash \mathbb{H}$with cusps and all finite-dimensional unitary representations$\unicode[STIX]{x1D712}$of$\unicode[STIX]{x1D6E4}$. The eigenfunctions with eigenvalue 1 of the fast transfer operators determine the zeros of the Selberg zeta function for$(\unicode[STIX]{x1D6E4},\unicode[STIX]{x1D712})$. Further, if$\unicode[STIX]{x1D6E4}$is cofinite and$\unicode[STIX]{x1D712}$is the trivial one-dimensional representation then highly regular eigenfunctions with eigenvalue 1 of the slow transfer operators characterize Maass cusp forms for$\unicode[STIX]{x1D6E4}$. Conjecturally, this characterization extends to more general automorphic functions as well as to residues at resonances. In this article we study, without relying on Selberg theory, the relation between the eigenspaces of these two types of transfer operators for any Hecke triangle surface$\unicode[STIX]{x1D6E4}\backslash \mathbb{H}$of finite or infinite area and any finite-dimensional unitary representation$\unicode[STIX]{x1D712}$of the Hecke triangle group $\unicode[STIX]{x1D6E4}$. In particular, we provide explicit isomorphisms between relevant subspaces. This solves a conjecture by Möller and Pohl, characterizes some of the zeros of the Selberg zeta functions independently of the Selberg trace formula, and supports the previously mentioned conjectures.