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
Integral representations of rank two false theta functions and their modularity properties
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
- Award ID(s):
- 2101844
- NSF-PAR ID:
- 10350001
- Date Published:
- Journal Name:
- Research in the Mathematical Sciences
- Volume:
- 8
- Issue:
- 4
- ISSN:
- 2522-0144
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
This article is in commemoration of Ramanujan's election as Fellow of The Royal Society 100 years ago, as celebrated at the October 2018 scientific meeting at the Royal Society in London. Ramanujan's last letter to Hardy, written shortly after his election, surrounds his mock theta functions. While these functions have been of great importance and interest in the decades following Ramanujan's death in 1920, it was unclear how exactly they fit into the theory of modular forms—Dyson called this ‘a challenge for the future’ at another centenary conference in Illinois in 1987, honouring the 100th anniversary of Ramanujan's birth. In the early 2000s, Zwegers finally recognized that Ramanujan had discovered glimpses of special families of non-holomorphic modular forms, which we now know to be Bruinier and Funke's harmonic Maass forms from 2004, the holomorphic parts of which are called mock modular forms. As of a few years ago, a fundamental question from Ramanujan's last letter remained, on a certain asymptotic relationship between mock theta functions and ordinary modular forms. The author, with Ono and Rhoades, revisited Ramanujan's asymptotic claim, and established a connection between mock theta functions and quantum modular forms, which were not defined until 90 years later in 2010 by Zagier. Here, we bring together past and present, and study the relationships between mock modular forms and quantum modular forms, with Ramanujan's mock theta functions as motivation. In particular, we highlight recent work of Bringmann–Rolen, Choi–Lim–Rhoades and Griffin–Ono–Rolen in our discussion. This article is largely expository, but not exclusively: we also establish a new interpretation of Ramanujan's radial asymptotic limits in the subject of topology. This article is part of a discussion meeting issue ‘Srinivasa Ramanujan: in celebration of the centenary of his election as FRS’.more » « less
-
null (Ed.)Abstract We present measurements of cosmic shear two-point correlation functions (TPCFs) from Hyper Suprime-Cam Subaru Strategic Program (HSC) first-year data, and derive cosmological constraints based on a blind analysis. The HSC first-year shape catalog is divided into four tomographic redshift bins ranging from $z=0.3$ to 1.5 with equal widths of $\Delta z =0.3$. The unweighted galaxy number densities in each tomographic bin are 5.9, 5.9, 4.3, and $2.4\:$arcmin$^{-2}$ from the lowest to highest redshifts, respectively. We adopt the standard TPCF estimators, $\xi _\pm$, for our cosmological analysis, given that we find no evidence of significant B-mode shear. The TPCFs are detected at high significance for all 10 combinations of auto- and cross-tomographic bins over a wide angular range, yielding a total signal-to-noise ratio of 19 in the angular ranges adopted in the cosmological analysis, $7^{\prime }<\theta <56^{\prime }$ for $\xi _+$ and $28^{\prime }<\theta <178^{\prime }$ for $\xi _-$. We perform the standard Bayesian likelihood analysis for cosmological inference from the measured cosmic shear TPCFs, including contributions from intrinsic alignment of galaxies as well as systematic effects from PSF model errors, shear calibration uncertainty, and source redshift distribution errors. We adopt a covariance matrix derived from realistic mock catalogs constructed from full-sky gravitational lensing simulations that fully account for survey geometry and measurement noise. For a flat $\Lambda$ cold dark matter model, we find $S\,_8 \equiv \sigma _8\sqrt{\Omega _{\rm m}/0.3}=0.804_{-0.029}^{+0.032}$, and $\Omega _{\rm m}=0.346_{-0.100}^{+0.052}$. We carefully check the robustness of the cosmological results against astrophysical modeling uncertainties and systematic uncertainties in measurements, and find that none of them has a significant impact on the cosmological constraints.more » « less
-
Abstract We consider spaces of modular forms attached to definite orthogonal groups of low even rank and nontrivial level, equipped with Hecke operators defined by Kneser neighbours. After reviewing algorithms to compute with these spaces, we investigate endoscopy using theta series and a theorem of Rallis. Along the way, we exhibit many examples and pose several conjectures. As a first application, we express counts of Kneser neighbours in terms of coefficients of classical or Siegel modular forms, complementing work of Chenevier–Lannes. As a second application, we prove new instances of Eisenstein congruences of Ramanujan and Kurokawa–Mizumoto type.more » « less
-
null (Ed.)We derive a holomorphic anomaly equation for the Vafa-Wittenpartition function for twisted four-dimensional \mathcal{N} =4 𝒩 = 4 super Yang-Mills theory on \mathbb{CP}^{2} ℂ ℙ 2 for the gauge group SO(3) S O ( 3 ) from the path integral of the effective theory on the Coulomb branch.The holomorphic kernel of this equation, which receives contributionsonly from the instantons, is not modular but ‘mock modular’. Thepartition function has correct modular properties expected from S S -dualityonly after including the anomalous nonholomorphic boundary contributionsfrom anti-instantons. Using M-theory duality, we relate this phenomenonto the holomorphic anomaly of the elliptic genus of a two-dimensionalnoncompact sigma model and compute it independently in two dimensions.The anomaly both in four and in two dimensions can be traced to atopological term in the effective action of six-dimensional (2,0) ( 2 , 0 ) theory on the tensor branch. We consider generalizations to othermanifolds and other gauge groups to show that mock modularity is genericand essential for exhibiting duality when the relevant field space isnoncompact.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1007/s40687-021-00284-1
