skip to main content


Title: Some Eichler-Selberg Trace Formulas
The Eichler-Selberg trace formulas express the traces of Hecke operators on a spaces of cusp forms in terms of weighted sums of Hurwitz-Kronecker class numbers. For cusp forms on $\text {\rm SL}_2(\mathbb{Z}),$ Zagier proved these formulas by cleverly making use of the weight 3/2 nonholomorphic Eisenstein series he discovered in the 1970s. The holomorphic part of this form, its so-called {\it mock modular form}, is the generating function for these class numbers. In this expository note we revisit Zagier's method, and we show how to obtain such formulas for congruence subgroups, working out the details for $\Gamma_0(2)$ and $\Gamma_0(4).$ The trace formulas fall out naturally from the computation of the Rankin-Cohen brackets of Zagier's mock modular form with specific theta functions.  more » « less
Award ID(s):
2055118
NSF-PAR ID:
10404472
Author(s) / Creator(s):
;
Date Published:
Journal Name:
Hardy-Ramanujan Journal
Volume:
Volume 45 - 2022
ISSN:
2804-7370
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract

    Here, we initiate a program to study relationships between finite groups and arithmetic–geometric invariants in a systematic way. To do this, we first introduce a notion of optimal module for a finite group in the setting of holomorphic mock Jacobi forms. Then, we classify optimal modules for the cyclic groups of prime order, in the special case of weight 2 and index 1, where class numbers of imaginary quadratic fields play an important role. Finally, we exhibit a connection between the classification we establish and the arithmetic geometry of imaginary quadratic twists of modular curves of prime level.

     
    more » « less
  2. For a fairly general family of L L -functions, we survey the known consequences of the existence of asymptotic formulas with power-saving error term for the (twisted) first and second moments of the central values in the family. We then consider in detail the important special case of the family of twists of a fixed cusp form by primitive Dirichlet characters modulo a prime q q , and prove that it satisfies such formulas. We derive arithmetic consequences: a positive proportion of central values L ( f ⊗ χ , 1 / 2 ) L(f\otimes \chi ,1/2) are non-zero, and indeed bounded from below; there exist many characters χ \chi for which the central L L -value is very large; the probability of a large analytic rank decays exponentially fast. We finally show how the second moment estimate establishes a special case of a conjecture of Mazur and Rubin concerning the distribution of modular symbols. 
    more » « less
  3. Abstract False theta functions form a family of functions with intriguing modular properties and connections to mock modular forms. In this paper, we take the first step towards investigating modular transformations of higher rank false theta functions, following the example of higher depth mock modular forms. In particular, we prove that under quite general conditions, a rank two false theta function is determined in terms of iterated, holomorphic, Eichler-type integrals. This provides a new method for examining their modular properties and we apply it in a variety of situations where rank two false theta functions arise. We first consider generic parafermion characters of vertex algebras of type $$A_2$$ A 2 and $$B_2$$ B 2 . This requires a fairly non-trivial analysis of Fourier coefficients of meromorphic Jacobi forms of negative index, which is of independent interest. Then we discuss modularity of rank two false theta functions coming from superconformal Schur indices. Lastly, we analyze $${\hat{Z}}$$ Z ^ -invariants of Gukov, Pei, Putrov, and Vafa for certain plumbing $$\mathtt{H}$$ H -graphs. Along the way, our method clarifies previous results on depth two quantum modularity. 
    more » « less
  4. We show that for primesN,p≥<#comment/>5N, p \geq 5withN≡<#comment/>−<#comment/>1modpN \equiv -1 \bmod p, the class number ofQ(N1/p)\mathbb {Q}(N^{1/p})is divisible bypp. Our methods are via congruences between Eisenstein series and cusp forms. In particular, we show that whenN≡<#comment/>−<#comment/>1modpN \equiv -1 \bmod p, there is always a cusp form of weight22and levelΓ<#comment/>0(N2)\Gamma _0(N^2)whoseℓ<#comment/>\ellth Fourier coefficient is congruent toℓ<#comment/>+1\ell + 1modulo a prime abovepp, for all primesℓ<#comment/>\ell. We use the Galois representation of such a cusp form to explicitly construct an unramified degree-ppextension ofQ(N1/p)\mathbb {Q}(N^{1/p}).

     
    more » « less
  5. Abstract In this paper, we analyze Fourier coefficients of automorphic forms on a finite cover G of an adelic split simply-laced group. Let $\pi $ be a minimal or next-to-minimal automorphic representation of G . We prove that any $\eta \in \pi $ is completely determined by its Whittaker coefficients with respect to (possibly degenerate) characters of the unipotent radical of a fixed Borel subgroup, analogously to the Piatetski-Shapiro–Shalika formula for cusp forms on $\operatorname {GL}_n$ . We also derive explicit formulas expressing the form, as well as all its maximal parabolic Fourier coefficient, in terms of these Whittaker coefficients. A consequence of our results is the nonexistence of cusp forms in the minimal and next-to-minimal automorphic spectrum. We provide detailed examples for G of type $D_5$ and $E_8$ with a view toward applications to scattering amplitudes in string theory. 
    more » « less