The Selberg Trace Formula for PSL(2,ℝ)

Type: Book
Publication Date: 1983-01-01
Citations: 858
DOI: https://doi.org/10.1007/bfb0061302

Locations

  • Lecture notes in mathematics
  • Library Union Catalog of Bavaria, Berlin and Brandenburg (B3Kat Repository)

Ask a Question About This Paper

Summary

This book by Dennis A. Hejhal, “The Selberg Trace Formula for PSL(2,ℝ),” Volume 2, published in 1983, is a detailed treatment of the Selberg trace formula, focusing primarily on Fuchsian groups with at least one cusp. It builds upon the foundations laid in Selberg’s earlier work and the author’s own Volume 1.

Significance:
The Selberg trace formula is a central result in the theory of automorphic forms, connecting spectral data (eigenvalues of the Laplacian) with geometric data (lengths of closed geodesics) on locally symmetric spaces. It is a non-commutative analogue of the Poisson summation formula and the Riemann explicit formula. This formula has far-reaching consequences in number theory, representation theory, and mathematical physics, enabling connections between seemingly disparate areas of mathematics. This volume represents an important effort to provide a clear and accessible exposition of this complex and powerful tool, along with numerous applications.

Key Innovations and Contributions:

  • Systematic Elaboration: The book offers a systematic and detailed exposition of Selberg’s ideas, particularly his Göttingen notes from 1954, making them more accessible to a wider audience.
  • Treatment of Real Weight: It carefully develops the trace formula for automorphic forms of arbitrary real weight, which is a crucial extension.
  • Alternative Derivation: An alternate (and earlier) approach of Selberg for continuing the Eisenstein series and deriving the trace formula is published for the first time.
  • Applications: It explores applications of the trace formula to various problems, including the dimension of spaces of holomorphic automorphic forms, concrete examples for classical Fuchsian groups and numerical computations of eigenvalues.
  • Appendices: Includes appendices covering supplementary materials such as Kloosterman sums and a detailed exposition of Selberg’s third method for analytically continuing Eisenstein series.

Main Prior Ingredients Needed:

  1. Basic Knowledge of Fuchsian Groups: Understanding of the theory of Fuchsian groups, including their fundamental regions, hyperbolic geometry, and group actions on the upper half-plane is essential.
  2. Spectral Theory of the Laplacian: Familiarity with the spectral theory of the Laplacian operator on hyperbolic spaces, including eigenvalues, eigenfunctions, and the resolvent kernel.
  3. Theory of Automorphic Forms: A solid grounding in the theory of automorphic forms, including Eisenstein series, cusp forms, and their properties, is necessary.
  4. Selberg’s Earlier Work: Prior knowledge of Selberg’s earlier work on trace formulas and zeta functions is highly beneficial, particularly his Göttingen notes and Volume 1.
  5. Functional Analysis and Complex Analysis: Strong background in functional analysis and complex analysis, especially the theory of meromorphic continuation, is needed to understand the analytical aspects of the trace formula.

In essence, Hejhal’s Volume 2 serves as a comprehensive and detailed guide to the Selberg trace formula for PSL(2,ℝ), bridging the gap between Selberg’s original work and the broader mathematical community.

By Dennis A. Hejhal: pp. 806. DM.89–; US$35.40. (Springer-Verlag, Berlin, 1983.) By Dennis A. Hejhal: pp. 806. DM.89–; US$35.40. (Springer-Verlag, Berlin, 1983.)
Introduction to the trace formula (Lecture I) Arthur's modified kernels. I: The geometric terms (Lecture II) Arthur's modified kernels. II: The spectral terms (Lecture III) More explicit forms of the … Introduction to the trace formula (Lecture I) Arthur's modified kernels. I: The geometric terms (Lecture II) Arthur's modified kernels. II: The spectral terms (Lecture III) More explicit forms of the trace formula (Lecture IV) Simple forms of the trace formula (Lecture V) Applications of the trace formula (Lecture VI) $(G,M)$-families and the spectral $J_{\chi}$(f) (Lecture VII) Jacquet's relative trace formula (Lecture VIII) Applications of Paley-Wiener, and concluding remarks (Lecture IX) References.
These are Notes prepared for nine lectures given at the Mathematical Sciences Research Institute, MSRI, Berkeley during the period January--March 1995. It is a pleasant duty to record here my … These are Notes prepared for nine lectures given at the Mathematical Sciences Research Institute, MSRI, Berkeley during the period January--March 1995. It is a pleasant duty to record here my gratitude to MSRI, and its staff, for making possible this 1994--95 Special Year in Automorphic Forms, and for providing such a setting for work. The purpose of these Notes is to describe the contents of Arthur's earlier, foundational papers on the trace formula. In keeping with the introductory nature of the lectures, we have sometimes illustrated the ideas of Arthur's general theory by applying them in detail to the case of GL$(2)$; we have also included a few lectures on the ``simple trace formula'' (and its applications), and on Jacquet's relative trace formula.
The purpose of this paper is to isolate the contribution from the continuous spectrum to the Selberg trace formula. The purpose of this paper is to isolate the contribution from the continuous spectrum to the Selberg trace formula.
This thesis presents a connection between Spectral Theory (in particular, the spectrum of the Laplace-Beltrami operator) and Riemannian geometry (in particular, the geometry of a symmetric three-dimensional space of constant … This thesis presents a connection between Spectral Theory (in particular, the spectrum of the Laplace-Beltrami operator) and Riemannian geometry (in particular, the geometry of a symmetric three-dimensional space of constant negative curvature: the Hyperbolic space H).
We explore an idea of Conrey and Li of expressing the Selberg trace formula as a Dirichlet series. We describe two applications, including an interpretation of the Selberg eigenvalue conjecture … We explore an idea of Conrey and Li of expressing the Selberg trace formula as a Dirichlet series. We describe two applications, including an interpretation of the Selberg eigenvalue conjecture in terms of quadratic twists of certain Dirichlet series, and a formula for an arithmetically weighted sum of the complete symmetric square L-functions associated to cuspidal Maass newforms of squarefree level N>1.
The bounded gaps property of the prime numbers, as proven by Yitang Zhang, is considered for sequences of lengths of closed geodesics, which by the theory of Selberg zeta functions … The bounded gaps property of the prime numbers, as proven by Yitang Zhang, is considered for sequences of lengths of closed geodesics, which by the theory of Selberg zeta functions are the geometric analogue of the prime numbers. It turns out that the property holds for congruence subgroups and is false for a dense set in Teichm\uller space.
In this paper, we study the mean square of the logarithmic derivative of the Selberg zeta function for cocompact discrete subgroups. Our results are analogues of the results on the … In this paper, we study the mean square of the logarithmic derivative of the Selberg zeta function for cocompact discrete subgroups. Our results are analogues of the results on the mean square of the logarithmic derivative of the Riemann zeta function by Goldston, Gonek,and Montgomery (J. Reine Angew. Math. 537 (2001), 105-126). We obtain an asymptotic formula for the mean square of the logarithmic derivative of the Selberg zeta function,including a term on the pair correlation of the zeros of the Selberg zeta function. In addition,we introduce an integral related to the prime geodesic theorem in short intervals and prove that the integral is bounded by the mean square of the logarithmic derivative of the Selberg zeta function. The upper bound for the integral is improved in the case of the Selberg zeta function for arithmetic cocompact groups by proving an asymptotic formula for the mean square near the left side of the vertical line whose real part is one.
We consider families $(Y_n)$ of degenerating hyperbolic surfaces. The surfaces are geometrically finite of fixed topological type. Let $Z_n$ be the Selberg Zeta function of $Y_n$, and let $Z^d_n$ be … We consider families $(Y_n)$ of degenerating hyperbolic surfaces. The surfaces are geometrically finite of fixed topological type. Let $Z_n$ be the Selberg Zeta function of $Y_n$, and let $Z^d_n$ be the contribution of the pinched geodesics to $Z_n$. Extending a result of Wolpert's, we prove that $Z_n(s)/Z^d_n(s)$ converges to the Zeta function of the limit surface for all $s$ with $\mathrm{Re}(s)>1/2$. The technique is an examination of resolvent of the Laplacian, which is composed from that for elementary surfaces via meromorphic Fredholm theory. The resolvent $(\Delta_n-t)^{-1}$ is shown to converge for all $totin[1/4,\infty)$. We also use this property to define approximate Eisenstein functions and scattering matrices.
Abstract In this paper we consider a generalized length spectrum in the case of compact symmetric spaces generated as quotients of the special linear group of order four over real … Abstract In this paper we consider a generalized length spectrum in the case of compact symmetric spaces generated as quotients of the special linear group of order four over real numbers. While the classical length spectrum is given as an estimate for a yes function counting prime geodesics of appropriate length, its generalized form is usually represented by a higher order counting function of Chebyshev type. Our goal is to prove that the error term that appears in the classical case in this setting can be significantly improved when derived via analogous, generalized apparatus.
Let <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper H"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">H</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {H}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> be the homogeneous space associated to the group <inline-formula … Let <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper H"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">H</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {H}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> be the homogeneous space associated to the group <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="PGL Subscript 3 Baseline left-parenthesis bold upper R right-parenthesis"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mtext>PGL</mml:mtext> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mn>3</mml:mn> </mml:mrow> </mml:msub> <mml:mo stretchy="false">(</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="bold">R</mml:mi> </mml:mrow> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">\text {PGL}_{3}(\mathbf {R})</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. Let <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper X equals normal upper Gamma negative script upper H"> <mml:semantics> <mml:mrow> <mml:mi>X</mml:mi> <mml:mo>=</mml:mo> <mml:mi mathvariant="normal">Γ</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-variant" mathvariant="normal">∖</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">H</mml:mi> </mml:mrow> </mml:mrow> </mml:mrow> <mml:annotation encoding="application/x-tex">X = \Gamma {\backslash \mathcal {H}}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> where <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="normal upper Gamma equals SL Subscript 3 Baseline left-parenthesis bold upper Z right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi mathvariant="normal">Γ</mml:mi> <mml:mo>=</mml:mo> <mml:msub> <mml:mtext>SL</mml:mtext> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mn>3</mml:mn> </mml:mrow> </mml:msub> <mml:mo stretchy="false">(</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="bold">Z</mml:mi> </mml:mrow> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">\Gamma = \text {SL}_{3}(\mathbf {Z})</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and consider the first nontrivial eigenvalue <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="lamda 1"> <mml:semantics> <mml:msub> <mml:mi>λ</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:annotation encoding="application/x-tex">\lambda _{1}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> of the Laplacian on <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper L squared left-parenthesis upper X right-parenthesis"> <mml:semantics> <mml:mrow> <mml:msup> <mml:mi>L</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mn>2</mml:mn> </mml:mrow> </mml:msup> <mml:mo stretchy="false">(</mml:mo> <mml:mi>X</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">L^{2}(X)</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. Using geometric considerations, we prove the inequality <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="lamda 1 greater-than 3 pi squared slash 10"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mi>λ</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:mo>&gt;</mml:mo> <mml:mn>3</mml:mn> <mml:msup> <mml:mi>π</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mn>2</mml:mn> </mml:mrow> </mml:msup> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mo>/</mml:mo> </mml:mrow> <mml:mn>10</mml:mn> </mml:mrow> <mml:annotation encoding="application/x-tex">\lambda _{1} &gt; 3\pi ^{2}/10</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. Since the continuous spectrum is represented by the band <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="left-bracket 1 comma normal infinity right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mo stretchy="false">[</mml:mo> <mml:mn>1</mml:mn> <mml:mo>,</mml:mo> <mml:mi mathvariant="normal">∞</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">[1,\infty )</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, our bound on <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="lamda 1"> <mml:semantics> <mml:msub> <mml:mi>λ</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:annotation encoding="application/x-tex">\lambda _{1}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> can be viewed as an analogue of Selberg’s eigenvalue conjecture for quotients of the hyperbolic half space.
Based on the notion of the resolvent and on the Hilbert identities, this paper presents a number of classical results in the theory of differential operators and some of their … Based on the notion of the resolvent and on the Hilbert identities, this paper presents a number of classical results in the theory of differential operators and some of their applications to the theory of automorphic functions and number theory from a unified point of view. For instance, for the Sturm-Liouville operator there is a derivation of the Gelfand-Levitan trace formula, and for the one-dimensional Schroedinger operator a derivation of Faddeev's formula for the characteristic determinant and the Zakharov-Faddeev trace identities. Recent results on the spectral theory of a certain functional-difference operator arising in conformal field theory are then presented. The last section of the survey is devoted to the Laplace operator on a fundamental domain of a Fuchsian group of the first kind on the Lobachevsky plane. An algebraic scheme is given for proving analytic continuation of the integral kernel of the resolvent of the Laplace operator and the Eisenstein-Maass series. In conclusion, there is a discussion of the relation between the values of the Eisenstein-Maass series at Heegner points and Dedekind zeta-functions of imaginary quadratic fields, and it is explained why pseudo-cuspforms for the case of the modular group do not provide any information about the zeros of the Riemann zeta-function.
We generalise a result of Bykovskii to the Gaussian integers and prove an asymptotic formula for the prime geodesic theorem in short intervals on the Picard manifold. Previous works show … We generalise a result of Bykovskii to the Gaussian integers and prove an asymptotic formula for the prime geodesic theorem in short intervals on the Picard manifold. Previous works show that individually the remainder is bounded by $O(X^{13/8+\epsilon})$ and $O(X^{3/2+\theta+\epsilon})$, where $\theta$ is the subconvexity exponent for quadratic Dirichlet $L$-functions over $\mathbb{Q}(i)$. By combining arithmetic methods with estimates for a spectral exponential sum and a smooth explicit formula, we obtain an improvement for both of these exponents. Moreover, by assuming two standard conjectures on $L$-functions, we show that it is possible to reduce the exponent below the barrier $3/2$ and get $O(X^{34/23+\epsilon})$ conditionally. We also demonstrate a dependence of the remainder in the short interval estimate on the classical Gauss circle problem for shifted centres.
We obtain a Weyl law with power savings for the universal families of cuspidal automorphic representations, ordered by analytic conductor, of $\mathrm{GL}_2$ over $\mathbb{Q}$, as well as for Hecke characters … We obtain a Weyl law with power savings for the universal families of cuspidal automorphic representations, ordered by analytic conductor, of $\mathrm{GL}_2$ over $\mathbb{Q}$, as well as for Hecke characters over any number field. The method proceeds by establishing the requisite analytic properties of the underlying conductor zeta function.
In this paper we study the asymptotic distribution of the cuspidal spectrum of arithmetic quotients of the symmetric space S=SL(n,R)/SO(n). In particular, we obtain Weyl's law with an estimation on … In this paper we study the asymptotic distribution of the cuspidal spectrum of arithmetic quotients of the symmetric space S=SL(n,R)/SO(n). In particular, we obtain Weyl's law with an estimation on the remainder term. This extends results of Duistermaat-Kolk-Varadarajan on spectral asymptotics for compact locally symmetric spaces to this non-compact setting.
The article reviews the interrelationship of periodic orbit theory and the Selberg trace formula. Examples from recent work on quantization of chaos are surveyed. The review emphasizes the development in … The article reviews the interrelationship of periodic orbit theory and the Selberg trace formula. Examples from recent work on quantization of chaos are surveyed. The review emphasizes the development in terms of Lie group representation theory and differential geometry. Finally, the formal connections to string theory are discussed.
In this paper, we study generalizations of Poincaré series arising from quadratic forms, which naturally occur as outputs of theta lifts. Integrating against them yields evaluations of higher Green’s functions. … In this paper, we study generalizations of Poincaré series arising from quadratic forms, which naturally occur as outputs of theta lifts. Integrating against them yields evaluations of higher Green’s functions. For this we require a new regularized inner product, which is of independent interest.
We prove a dynamical wave trace formula for asymptotically hyperbolic (n + 1)-dimensional manifolds with negative (but not necessarily constant) sectional curvatures; the formula equates the renormalized wave trace to … We prove a dynamical wave trace formula for asymptotically hyperbolic (n + 1)-dimensional manifolds with negative (but not necessarily constant) sectional curvatures; the formula equates the renormalized wave trace to the lengths of closed geodesics.This result generalizes the classical theorem of Duistermaat and Guillemin for compact manifolds and the results of Guillopé and Zworski, Perry, and Guillarmou and Naud for hyperbolic manifolds with infinite volume.A corollary of this dynamical trace formula is a dynamical resonance-wave trace formula for compact perturbations of convex cocompact hyperbolic manifolds.We define a dynamical zeta function and prove its analyticity in a half plane.In our main result, we produce a prime orbit theorem for the geodesic flow.This is the first such result for manifolds that have neither constant curvature nor finite volume.As a corollary to the prime orbit theorem, using our dynamical resonance-wave trace formula, we show that the existence of pure point spectrum for the Laplacian on negatively curved compact perturbations of convex cocompact hyperbolic manifolds is related to the dynamics of the geodesic flow.
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content. A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
We show that for PSL(2, R) and its congruence subgroup, the Selberg zeta function with its gamma factors is expressed as the determinant of the Laplacian.All the gamma factors are … We show that for PSL(2, R) and its congruence subgroup, the Selberg zeta function with its gamma factors is expressed as the determinant of the Laplacian.All the gamma factors are calculated explicitly.We also give an explicit computation to the contribution of the continuous spectrum to the determinant of the Laplacian.
In a recent important paper, Hoffstein and Hulse [Multiple Dirichlet series and shifted convolutions, arXiv:1110.4868v2] generalized the notion of Rankin–Selberg convolution -functions by defining shifted convolution-functions. We investigate symmetrized versions … In a recent important paper, Hoffstein and Hulse [Multiple Dirichlet series and shifted convolutions, arXiv:1110.4868v2] generalized the notion of Rankin–Selberg convolution -functions by defining shifted convolution-functions. We investigate symmetrized versions of their functions, and we prove that the generating functions of certain special values are linear combinations of weakly holomorphic quasimodular forms and “mixed mock modular” forms.
By a transfer operator approach to Maass cusp forms and the Selberg zeta function for cofinite Hecke triangle groups, Möller and the present author found a factorization of the Selberg … By a transfer operator approach to Maass cusp forms and the Selberg zeta function for cofinite Hecke triangle groups, Möller and the present author found a factorization of the Selberg zeta function into a product of Fredholm determinants of transfer-operator-like families: $$\begin{eqnarray}Z(s)=\det (1-{\mathcal{L}}_{s}^{+})\det (1-{\mathcal{L}}_{s}^{-}).\end{eqnarray}$$ In this article we show that the operator families ${\mathcal{L}}_{s}^{\pm }$ arise as families of transfer operators for the triangle groups underlying the Hecke triangle groups, and that for $s\in \mathbb{C}$ , $\text{Re}s={\textstyle \frac{1}{2}}$ , the operator ${\mathcal{L}}_{s}^{+}$ (respectively ${\mathcal{L}}_{s}^{-}$ ) has a 1-eigenfunction if and only if there exists an even (respectively odd) Maass cusp form with eigenvalue $s(1-s)$ . For non-arithmetic Hecke triangle groups, this result provides a new formulation of the Phillips–Sarnak conjecture on non-existence of even Maass cusp forms.
The result in the title is proven, using the Selberg estimate on the leading eigenvalue of the non-Euclidean Laplacian, and the method of conformal volumes of Li and Yau. The result in the title is proven, using the Selberg estimate on the leading eigenvalue of the non-Euclidean Laplacian, and the method of conformal volumes of Li and Yau.
This dissertation answers some of the questions raised in Borcherds' papers on Moonshine and Lorentzian reflection groups. We prove (assuming an open conjecture of Burger, Li and Sarnak) that a … This dissertation answers some of the questions raised in Borcherds' papers on Moonshine and Lorentzian reflection groups. We prove (assuming an open conjecture of Burger, Li and Sarnak) that a Lorentzian reflection group with Weyl vector is associated to a vector-valued modular form. This result allows us to establish a folklore conjecture that the maximal dimension of a Lorentzian reflection group with Weyl vector is 26. In the case of elementary lattices, we show that these vector-valued forms can be obtained by inducing scalar-valued forms. This allows us to explain the critical signatures which occur in Borcherds' work. Many of the structures which occur at these critical signatures are especially beautiful and have appeared independently throughout the literature. We investigate Borcherds-Kac-Moody (BKM) algebras with denominator formulas that are singular weight automorphic forms. The results of these investigations suggest that all such BKM algebras are related to orbifold constructions of vertex algebras and elements of the Monster sporadic group. Finally, we show how work in this dissertation combined with results of Bruinier gives a new insight into the arithmetic mirror symmetry conjecture of Gritsenko and Nikulin.
We strengthen the recent result of Cherubini and Guerreiro on the square mean of the error term in the prime geodesic theorem for $\mathrm{PSL}_2(\mathbb{Z})$. We also develop a short interval … We strengthen the recent result of Cherubini and Guerreiro on the square mean of the error term in the prime geodesic theorem for $\mathrm{PSL}_2(\mathbb{Z})$. We also develop a short interval version of this result.
Let be a finite-volume Fuchsian group. The hyperbolic circle problem is the estimation of the number of elements of the -orbit of in a hyperbolic circle around of radius , … Let be a finite-volume Fuchsian group. The hyperbolic circle problem is the estimation of the number of elements of the -orbit of in a hyperbolic circle around of radius , where and are given points of the upper half plane and is a large number. An estimate with error term is known, and this has not been improved for any group. Recently, Risager and Petridis proved that in the special case taking and averaging over in a certain way the error term can be improved to . Here we show such an improvement for a general ; our error term is (which is better than but weaker than the estimate of Risager and Petridis in the case ). Our main tool is our generalization of the Selberg trace formula proved earlier.
The explicit formula of Weil [21] connects quite general sums over primes with corresponding sums over the critical zeros of the Riemann zeta function (or more general L-functions). In the … The explicit formula of Weil [21] connects quite general sums over primes with corresponding sums over the critical zeros of the Riemann zeta function (or more general L-functions). In the earlier version of Guinand [8], there is on the Riemann hypothesis1) a kind of Fourier duality between the differentials of the remainder terms in the prime number theorem (suitable renormalized) and in the formula counting critical zeros of the Riemann zeta function.
The elliptic genera of the K3 surfaces, both compact and non-compact cases, are studied by using the theory of mock theta functions. We decompose the elliptic genus in terms of … The elliptic genera of the K3 surfaces, both compact and non-compact cases, are studied by using the theory of mock theta functions. We decompose the elliptic genus in terms of the N=4 superconformal characters at level-1, and present an exact formula for the coefficients of the massive (non-BPS) representations using the Poincare-Maass series.