skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Asymptotics and Ramanujan's mock theta functions: then and now
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
Award ID(s):
1901791
PAR ID:
10156296
Author(s) / Creator(s):
Date Published:
Journal Name:
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Volume:
378
Issue:
2163
ISSN:
1364-503X
Page Range / eLocation ID:
20180448
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
    In 1920, Ramanujan studied the asymptotic differences between his mock theta functions and modular theta functions, as [Formula: see text] tends towards roots of unity singularities radially from within the unit disk. In 2013, the bounded asymptotic differences predicted by Ramanujan with respect to his mock theta function [Formula: see text] were established by Ono, Rhoades, and the author, as a special case of a more general result, in which they were realized as special values of a quantum modular form. Our results here are threefold: we realize these radial limit differences as special values of a partial theta function, provide full asymptotic expansions for the partial theta function as [Formula: see text] tends towards roots of unity radially, and explicitly evaluate the partial theta function at roots of unity as simple finite sums of roots of unity. 
    more » « less
  2. Ramanujan graphs are graphs whose spectrum is bounded optimally. Such graphs have found numerous applications in combinatorics and computer science. In recent years, a high-dimensional theory has emerged. In this paper, these developments are surveyed. After explaining their connection to the Ramanujan conjecture, we will present some old and new results with an emphasis on random walks on these discrete objects and on the Euclidean spheres. The latter lead to ‘golden gates’ which are of importance in quantum computation. This article is part of a discussion meeting issue ‘Srinivasa Ramanujan: in celebration of the centenary of his election as FRS’. 
    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. 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
  5. 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