Forum of Mathematics, Pi (Jan 2013)
MOCK THETA FUNCTIONS AND QUANTUM MODULAR FORMS
Abstract
Ramanujan’s last letter to Hardy concerns the asymptotic properties of modular forms and his ‘mock theta functions’. For the mock theta function $f(q)$, Ramanujan claims that as $q$ approaches an even-order $2k$ root of unity, we have $$\begin{eqnarray*}f(q)- (- 1)^{k} (1- q)(1- {q}^{3} )(1- {q}^{5} )\cdots (1- 2q+ 2{q}^{4} - \cdots )= O(1).\end{eqnarray*}$$ We prove Ramanujan’s claim as a special case of a more general result. The implied constants in Ramanujan’s claim are not mysterious. They arise in Zagier’s theory of ‘quantum modular forms’. We provide explicit closed expressions for these ‘radial limits’ as values of a ‘quantum’ $q$-hypergeometric function which underlies a new relationship between Dyson’s rank mock theta function and the Andrews–Garvan crank modular form. Along these lines, we show that the Rogers–Fine false $\vartheta $-functions, functions which have not been well understood within the theory of modular forms, specialize to quantum modular forms.
Keywords