Mock modular form

In mathematics, a mock modular form is the holomorphic part of a harmonic weak Maass form, and a mock theta function is essentially a mock modular form of weight ⁠1/2⁠. The first examples of mock theta functions were described by Srinivasa Ramanujan in his last 1920 letter to G. H. Hardy and in his lost notebook. Sander Zwegers discovered that adding certain non-holomorphic functions to them turns them into harmonic weak Maass forms.

History

"Suppose there is a function in the Eulerian form and suppose that all or an infinity of points are exponential singularities, and also suppose that at these points the asymptotic form closes as neatly as in the cases of (A) and (B). The question is: Is the function taken the sum of two functions one of which is an ordinary θ-function and the other a (trivial) function which is O(1) at all the points e^2mπi/n? ... When it is not so, I call the function a Mock θ-function."

Ramanujan's original definition of a mock theta function

Ramanujan's 12 January 1920 letter to Hardy listed 17 examples of functions that he called mock theta functions, and his lost notebook contained several more examples. (Ramanujan used the term "theta function" for what today would be called a modular form.) Ramanujan pointed out that they have an asymptotic expansion at the cusps, similar to that of modular forms of weight ⁠1/2⁠, possibly with poles at cusps, but cannot be expressed in terms of "ordinary" theta functions. He called functions with similar properties "mock theta functions". Zwegers later discovered the connection of the mock theta function with weak Maass forms.

Ramanujan associated an order to his mock theta functions, which was not clearly defined. Before the work of Zwegers, the orders of known mock theta functions included

3, 5, 6, 7, 8, 10.

Ramanujan's notion of order later turned out to correspond to the conductor of the Nebentypus character of the weight ⁠1/2⁠ harmonic Maass forms which admit Ramanujan's mock theta functions as their holomorphic projections.

In the next few decades, Ramanujan's mock theta functions were studied by Watson, Andrews, Selberg, Hickerson, Choi, McIntosh, and others, who proved Ramanujan's statements about them and found several more examples and identities. (Most of the "new" identities and examples were already known to Ramanujan and reappeared in his lost notebook.) In 1936, Watson found that under the action of elements of the modular group, the order 3 mock theta functions almost transform like modular forms of weight ⁠1/2⁠ (multiplied by suitable powers of q), except that there are "error terms" in the functional equations, usually given as explicit integrals. However, for many years there was no good definition of a mock theta function. This changed in 2001 when Zwegers discovered the relation with non-holomorphic modular forms, Lerch sums, and indefinite theta series. Zwegers showed, using the previous work of Watson and Andrews, that the mock theta functions of orders 3, 5, and 7 can be written as the sum of a weak Maass form of weight ⁠1/2⁠ and a function that is bounded along geodesics ending at cusps. The weak Maass form has eigenvalue ⁠3/16⁠ under the hyperbolic Laplacian (the same value as holomorphic modular forms of weight ⁠1/2⁠); however, it increases exponentially fast near cusps, so it does not satisfy the usual growth condition for Maass wave forms. Zwegers proved this result in three different ways, by relating the mock theta functions to Hecke's theta functions of indefinite lattices of dimension 2, and to Appell–Lerch sums, and to meromorphic Jacobi forms.

Zwegers's fundamental result shows that mock theta functions are the "holomorphic parts" of real analytic modular forms of weight ⁠1/2⁠. This allows one to extend many results about modular forms to mock theta functions. In particular, like modular forms, mock theta functions all lie in certain explicit finite-dimensional spaces, which reduces the long and hard proofs of many identities between them to routine linear algebra. For the first time it became possible to produce infinite number of examples of mock theta functions; before this work there were only about 50 examples known (most of which were first found by Ramanujan). As further applications of Zwegers's ideas, Kathrin Bringmann and Ken Ono showed that certain q-series arising from the Rogers–Fine basic hypergeometric series are related to holomorphic parts of weight ⁠3/2⁠ harmonic weak Maass forms and showed that the asymptotic series for coefficients of the order 3 mock theta function f(q) studied by George Andrews and Leila Dragonette converges to the coefficients. In particular Mock theta functions have asymptotic expansions at cusps of the modular group, acting on the upper half-plane, that resemble those of modular forms of weight ⁠1/2⁠ with poles at the cusps.

Definition

A mock modular form will be defined as the "holomorphic part" of a harmonic weak Maass form.

Fix a weight k, usually with 2k integral. Fix a subgroup Γ of SL₂(Z) (or of the metaplectic group if k is half-integral) and a character ρ of Γ. A modular form f for this character and this group Γ transforms under elements of Γ by

$f\left({\frac {a\tau +b}{c\tau +d}}\right)=\rho {\begin{pmatrix}a&b\\c&d\end{pmatrix}}(c\tau +d)^{k}f(\tau )$

A weak Maass form of weight k is a continuous function on the upper half plane that transforms like a modular form of weight k and is an eigenfunction of the weight k Laplacian operator, and is called harmonic if its eigenvalue is (⁠1 − k/2⁠)⁠k/2⁠. This is the eigenvalue of holomorphic weight k modular forms, so these are all examples of harmonic weak Maass forms. (A Maass form is a weak Maass form that decreases rapidly at cusps.) So a harmonic weak Maass form is annihilated by the differential operator

${\frac {\partial }{\partial \tau }}y^{k}{\frac {\partial }{\partial {\overline {\tau }}}}$

If F is any harmonic weak Maass form then the function g given by

$g=y^{k}{\frac {\partial {\overline {F}}}{\partial \tau }}=\sum _{n}b_{n}q^{n}$

is holomorphic and transforms like a modular form of weight k, though it may not be holomorphic at cusps. If we can find any other function g^* with the same image g, then F − g^* will be holomorphic. Such a function is given by inverting the differential operator by integration; for example we can define

$g^{*}(\tau )=\left({\frac {i}{2}}\right)^{k-1}\int _{-{\overline {\tau }}}^{i\infty }(z+\tau )^{-k}{\overline {g(-{\overline {z}})}}\,dz=\sum _{n}n^{k-1}{\overline {b_{n}}}\beta _{k}(4ny)q^{-n+1}$

where

$\displaystyle \beta _{k}(t)=\int _{t}^{\infty }u^{-k}e^{-\pi u}\,du$

is essentially the incomplete gamma function. The integral converges whenever g has a zero at the cusp i∞, and the incomplete gamma function can be extended by analytic continuation, so this formula can be used to define the holomorphic part g^* of F even in the case when g is meromorphic at i∞, though this requires some care if k is 1 or not integral or if n = 0. The inverse of the differential operator is far from unique as we can add any homomorphic function to g^* without affecting its image, and as a result the function g^* need not be invariant under the group Γ. The function h = F − g^* is called the holomorphic part of F.

A mock modular form is defined to be the holomorphic part h of some harmonic weak Maass form F. So there is an isomorphism from the space of mock modular forms h to a subspace of the harmonic weak Maass forms.

The mock modular form h is holomorphic but not quite modular, while h + g^* is modular but not quite holomorphic. The space of mock modular forms of weight k contains the space of nearly modular forms ("modular forms that may be meromorphic at cusps") of weight k as a subspace. The quotient is (antilinearly) isomorphic to the space of holomorphic modular forms of weight 2 − k. The weight-(2 − k) modular form g corresponding to a mock modular form h is called its shadow. It is quite common for different mock theta functions to have the same shadow. For example, the 10 mock theta functions of order 5 found by Ramanujan fall into two groups of 5, where all the functions in each group have the same shadow (up to multiplication by a constant).

Don Zagier defines a mock theta function as a rational power of q = e^2πi𝜏 times a mock modular form of weight ⁠1/2⁠ whose shadow is a theta series of the form

$\sum _{n\in Z}\varepsilon (n)nq^{\kappa n^{2}}$

for a positive rational κ and an odd periodic function ε. (Any such theta series is a modular form of weight ⁠3/2⁠). The rational power of q is a historical accident.

Most mock modular forms and weak Maass forms have rapid growth at cusps. It is common to impose the condition that they grow at most exponentially fast at cusps (which for mock modular forms means they are "meromorphic" at cusps). The space of mock modular forms (of given weight and group) whose growth is bounded by some fixed exponential function at cusps is finite-dimensional.

Appell–Lerch sums

Appell–Lerch sums, a generalization of Lambert series, were first studied by Paul Émile Appell and Mathias Lerch. Watson studied the order 3 mock theta functions by expressing them in terms of Appell–Lerch sums, and Zwegers used them to show that mock theta functions are essentially mock modular forms.

The Appell–Lerch series is

$\mu (u,v;\tau )={\frac {a^{\frac {1}{2}}}{\theta (v;\tau )}}\sum _{n\in Z}{\frac {(-b)^{n}q^{{\frac {1}{2}}n(n+1)}}{1-aq^{n}}}$

where

$\displaystyle q=e^{2\pi i\tau },\quad a=e^{2\pi iu},\quad b=e^{2\pi iv}$

and

$\theta (v,\tau )=\sum _{n\in Z}(-1)^{n}b^{n+{\frac {1}{2}}}q^{{\frac {1}{2}}\left(n+{\frac {1}{2}}\right)^{2}}.$

The modified series

${\hat {\mu }}(u,v;\tau )=\mu (u,v;\tau )-{\frac {1}{2}}R(u-v;\tau )$

where

$R(z;\tau )=\sum _{\nu \in Z+{\frac {1}{2}}}(-1)^{\nu -{\frac {1}{2}}}\left({\rm {sign}}(\nu )-E\left[\left(\nu +{\frac {\Im (z)}{y}}\right){\sqrt {2y}}\right]\right)e^{-2\pi i\nu z}q^{-{\frac {1}{2}}\nu ^{2}}$

and y = Im(𝜏) and

$E(z)=2\int _{0}^{z}e^{-\pi u^{2}}\,du$

satisfies the following transformation properties

${\begin{aligned}{\hat {\mu }}(u+1,v;\tau )&=a^{-1}bq^{-{\frac {1}{2}}}{\hat {\mu }}(u+\tau ,v;\tau )\\&{}=-{\hat {\mu }}(u,v;\tau )\\e^{{\frac {2}{8}}\pi i}{\hat {\mu }}(u,v;\tau +1)&={\hat {\mu }}(u,v;\tau )\\&{}=-\left({\frac {\tau }{i}}\right)^{-{\frac {1}{2}}}e^{{\frac {\pi i}{\tau }}(u-v)^{2}}{\hat {\mu }}\left({\frac {u}{\tau }},{\frac {v}{\tau }};-{\frac {1}{\tau }}\right).\end{aligned}}$

In other words, the modified Appell–Lerch series transforms like a modular form with respect to 𝜏. Since mock theta functions can be expressed in terms of Appell–Lerch series this means that mock theta functions transform like modular forms if they have a certain non-analytic series added to them.

Indefinite theta series

George Andrews showed that several of Ramanujan's fifth order mock theta functions are equal to quotients ⁠Θ(𝜏)/θ(𝜏)⁠ where θ(𝜏) is a modular form of weight ⁠1/2⁠ and Θ(𝜏) is a theta function of an indefinite binary quadratic form, and Dean Hickerson proved similar results for seventh order mock theta functions. Zwegers showed how to complete the indefinite theta functions to produce real analytic modular forms, and used this to give another proof of the relation between mock theta functions and weak Maass wave forms.

Meromorphic Jacobi forms

George Andrews observed that some of Ramanujan's fifth order mock theta functions could be expressed in terms of quotients of Jacobi's theta functions. Zwegers used this idea to express mock theta functions as Fourier coefficients of meromorphic Jacobi forms.

Applications

• Ruth Lawrence and Don Zagier related mock theta functions to quantum invariants of 3-manifolds.
• A. M. Semikhatov, A. Taormina, and I. Yu Tipunin related mock theta functions to infinite-dimensional Lie superalgebras and two-dimensional conformal field theory.
• J. Troost showed that the modular completions of mock modular forms arise as elliptic genera of conformal field theories with continuous spectrum.
• Mock theta functions appear in the theory of umbral moonshine.
• Atish Dabholkar, Sameer Murthy, and Don Zagier showed that mock modular forms are related to the degeneracies of quantum black holes in N=4 string theories.

Examples

• Any modular form of weight k (possibly only meromorphic at cusps) is a mock modular form of weight k with shadow 0.
• The quasimodular Eisenstein series

$\displaystyle E_{2}(\tau )=1-24\sum _{n>0}\sigma _{1}(n)q^{n}$

of weight 2 and level 1 is a mock modular form of weight 2, with shadow a constant. This means that

$\displaystyle E_{2}(\tau )-{\frac {3}{\pi y}}$

transforms like a modular form of weight 2 (where 𝜏 = x + iy).

• The function studied by Don Zagier with Fourier coefficients that are Hurwitz class numbers H(N) of imaginary quadratic fields is a mock modular form of weight ⁠3/2⁠, level 4 and shadow Σ q ⁿ². The corresponding weak Maass wave form is

$F(\tau )=\sum _{N}H(N)q^{n}+y^{-1/2}\sum _{n\in Z}\beta (4\pi n^{2}y)q^{-n^{2}}$

where

$\beta (x)={\frac {1}{16\pi }}\int _{1}^{\infty }u^{-3/2}e^{-xu}du$

and y = Im(𝜏), q = e^2πi𝜏 .

Mock theta functions are mock modular forms of weight ⁠1/2⁠ whose shadow is a unary theta function, multiplied by a rational power of q (for historical reasons). Before the work of Zwegers led to a general method for constructing them, most examples were given as basic hypergeometric functions, but this is largely a historical accident, and most mock theta functions have no known simple expression in terms of such functions.

The "trivial" mock theta functions are the (holomorphic) modular forms of weight ⁠1/2⁠, which were classified by Serre and Stark, who showed that they could all be written in terms of theta functions of 1-dimensional lattices.

The following examples use the q-Pochhammer symbols (a;q)_n which are defined as:

$(a;q)_{n}=\prod _{0\leq j<n}(1-aq^{j})=(1-a)(1-aq)\cdots (1-aq^{n-1}).$

Order 2

Some order 2 mock theta functions were studied by McIntosh.

$A(q)=\sum _{n\geq 0}{\frac {q^{(n+1)^{2}}(-q;q^{2})_{n}}{(q;q^{2})_{n+1}^{2}}}=\sum _{n\geq 0}{\frac {q^{n+1}(-q^{2};q^{2})_{n}}{(q;q^{2})_{n+1}}}$ (sequence A006304 in the OEIS)

$B(q)=\sum _{n\geq 0}{\frac {q^{n(n+1)}(-q^{2};q^{2})_{n}}{(q;q^{2})_{n+1}^{2}}}=\sum _{n\geq 0}{\frac {q^{n}(-q;q^{2})_{n}}{(q;q^{2})_{n+1}}}$ (sequence A153140 in the OEIS)

$\mu (q)=\sum _{n\geq 0}{\frac {(-1)^{n}q^{n^{2}}(q;q^{2})_{n}}{(-q^{2};q^{2})_{n}^{2}}}$ (sequence A006306 in the OEIS)

The function μ was found by Ramanujan in his lost notebook.

These are related to the functions listed in the section on order-8 functions by

$U_{0}(q)-2U_{1}(q)=\mu (q)$

$V_{0}(q)-V_{0}(-q)=4qB(q^{2})$

$V_{1}(q)+V_{1}(-q)=2A(q^{2})$

Order 3

Ramanujan mentioned four order-3 mock theta functions in his letter to Hardy, and listed a further three in his lost notebook, which were rediscovered by G. N. Watson. The latter proved the relations between them stated by Ramanujan and also found their transformations under elements of the modular group by expressing them as Appell–Lerch sums. Dragonette described the asymptotic expansion of their coefficients. Zwegers related them to harmonic weak Maass forms. See also the monograph by Nathan Fine.

The seven order-3 mock theta functions given by Ramanujan are

$f(q)=\sum _{n\geq 0}{\frac {q^{n^{2}}}{(-q;q)_{n}^{2}}}={\frac {2}{\prod _{n>0}(1-q^{n})}}\sum _{n\in \mathbf {Z} }{\frac {(-1)^{n}q^{n(3n+1)/2}}{1+q^{n}}}$, (sequence A000025 in the OEIS).

$\phi (q)=\sum _{n\geq 0}{\frac {q^{n^{2}}}{(-q^{2};q^{2})_{n}}}={\frac {1}{\prod _{n>0}(1-q^{n})}}\sum _{n\in \mathbf {Z} }{\frac {(-1)^{n}(1+q^{n})q^{n(3n+1)/2}}{1+q^{2n}}}$ (sequence A053250 in the OEIS).

$\psi (q)=\sum _{n>0}{\frac {q^{n^{2}}}{(q;q^{2})_{n}}}={\frac {q}{\prod _{n>0}(1-q^{4n})}}\sum _{n\in \mathbf {Z} }{\frac {(-1)^{n}q^{6n(n+1)}}{1-q^{4n+1}}}$ (sequence A053251 in the OEIS).

$\chi (q)=\sum _{n\geq 0}{\frac {q^{n^{2}}}{\prod _{1\leq i\leq n}(1-q^{i}+q^{2i})}}={\frac {1}{2\prod _{n>0}(1-q^{n})}}\sum _{n\in \mathbf {Z} }{\frac {(-1)^{n}(1+q^{n})q^{n(3n+1)/2}}{1-q^{n}+q^{2n}}}$ (sequence A053252 in the OEIS).

$\omega (q)=\sum _{n\geq 0}{\frac {q^{2n(n+1)}}{(q;q^{2})_{n+1}^{2}}}={\frac {1}{\prod _{n>0}(1-q^{2n})}}\sum _{n\geq 0}{(-1)^{n}q^{3n(n+1)}{\frac {1+q^{2n+1}}{1-q^{2n+1}}}}$ (sequence A053253 in the OEIS).

$\nu (q)=\sum _{n\geq 0}{\frac {q^{n(n+1)}}{(-q;q^{2})_{n+1}}}={\frac {1}{\prod _{n>0}(1-q^{n})}}\sum _{n\geq 0}{(-1)^{n}q^{3n(n+1)/2}{\frac {1-q^{2n+1}}{1+q^{2n+1}}}}$ (sequence A053254 in the OEIS).

$\rho (q)=\sum _{n\geq 0}{\frac {q^{2n(n+1)}}{\prod _{0\leq i\leq n}(1+q^{2i+1}+q^{4i+2})}}={\frac {1}{\prod _{n>0}(1-q^{2n})}}\sum _{n\geq 0}{(-1)^{n}q^{3n(n+1)}{\frac {1-q^{4n+2}}{1+q^{2n+1}+q^{4n+2}}}}$ (sequence A053255 in the OEIS).

The first four of these form a group with the same shadow (up to a constant), and so do the last three. More precisely, the functions satisfy the following relations (found by Ramanujan and proved by Watson):

${\begin{aligned}2\phi (-q)-f(q)&=f(q)+4\psi (-q)=\theta _{4}(0,q)\prod _{r>0}\left(1+q^{r}\right)^{-1}\\4\chi (q)-f(q)&=3\theta _{4}^{2}(0,q^{3})\prod _{r>0}\left(1-q^{r}\right)^{-1}\\2\rho (q)+\omega (q)&=3\left({\frac {1}{2}}q^{-{\frac {3}{8}}}\theta _{2}(0,q^{\frac {3}{2}})\right)^{2}\prod _{r>0}\left(1-q^{2r}\right)^{-1}\\\nu (\pm q)\pm q\omega \left(q^{2}\right)&={\frac {1}{2}}q^{-{\frac {1}{4}}}\theta _{2}(0,q)\prod _{r>0}\left(1+q^{2r}\right)\\f\left(q^{8}\right)\pm 2q\omega (\pm q)\pm 2q^{3}\omega \left(-q^{4}\right)&=\theta _{3}(0,\pm q)\theta _{3}^{2}\left(0,q^{2}\right)\prod _{r>0}\left(1-q^{4r}\right)^{-2}\\f(q^{8})+q\omega (q)-q\omega (-q)&=\theta _{3}(0,q^{4})\theta _{3}^{2}(0,q^{2})\prod _{r>0}\left(1-q^{4r}\right)^{-2}\end{aligned}}$

Order 5

Ramanujan wrote down ten mock theta functions of order 5 in his 1920 letter to Hardy, and stated some relations between them that were proved by Watson. In his lost notebook he stated some further identities relating these functions, equivalent to the mock theta conjectures, that were proved by Hickerson. Andrews found representations of many of these functions as the quotient of an indefinite theta series by modular forms of weight ⁠1/2⁠.

$f_{0}(q)=\sum _{n\geq 0}{\frac {q^{n^{2}}}{(-q;q)_{n}}}$ (sequence A053256 in the OEIS)

$f_{1}(q)=\sum _{n\geq 0}{\frac {q^{n^{2}+n}}{(-q;q)_{n}}}$ (sequence A053257 in the OEIS)

$\phi _{0}(q)=\sum _{n\geq 0}{q^{n^{2}}(-q;q^{2})_{n}}$ (sequence A053258 in the OEIS)

$\phi _{1}(q)=\sum _{n\geq 0}{q^{(n+1)^{2}}(-q;q^{2})_{n}}$ (sequence A053259 in the OEIS)

$\psi _{0}(q)=\sum _{n\geq 0}{q^{(n+1)(n+2)/2}(-q;q)_{n}}$ (sequence A053260 in the OEIS)

$\psi _{1}(q)=\sum _{n\geq 0}{q^{n(n+1)/2}(-q;q)_{n}}$ (sequence A053261 in the OEIS)

$\chi _{0}(q)=\sum _{n\geq 0}{\frac {q^{n}}{(q^{n+1};q)_{n}}}=2F_{0}(q)-\phi _{0}(-q)$ (sequence A053262 in the OEIS)

$\chi _{1}(q)=\sum _{n\geq 0}{\frac {q^{n}}{(q^{n+1};q)_{n+1}}}=2F_{1}(q)+q^{-1}\phi _{1}(-q)$ (sequence A053263 in the OEIS)

$F_{0}(q)=\sum _{n\geq 0}{\frac {q^{2n^{2}}}{(q;q^{2})_{n}}}$ (sequence A053264 in the OEIS)

$F_{1}(q)=\sum _{n\geq 0}{\frac {q^{2n^{2}+2n}}{(q;q^{2})_{n+1}}}$ (sequence A053265 in the OEIS)

$\Psi _{0}(q)=-1+\sum _{n\geq 0}{\frac {q^{5n^{2}}}{(1-q)(1-q^{4})(1-q^{6})(1-q^{9})...(1-q^{5n-1})(1-q^{5n+1})}}$ (sequence A053266 in the OEIS)

$\Psi _{1}(q)=-1+\sum _{n\geq 0}{\frac {q^{5n^{2}}}{(1-q^{2})(1-q^{3})(1-q^{7})(1-q^{8})...(1-q^{5n-2})(1-q^{5n+2})}}$ (sequence A053267 in the OEIS)

Order 6

Ramanujan wrote down seven mock theta functions of order 6 in his lost notebook, and stated 11 identities between them, which were proved by Andrews and Hickerson. Two of Ramanujan's identities relate φ and ψ at various arguments, four of them express φ and ψ in terms of Appell–Lerch series, and the last five identities express the remaining five sixth-order mock theta functions in terms of φ and ψ. Berndt and Chan discovered two more sixth-order functions.

The order 6 mock theta functions are:

$\phi (q)=\sum _{n\geq 0}{\frac {(-1)^{n}q^{n^{2}}(q;q^{2})_{n}}{(-q;q)_{2n}}}$ (sequence A053268 in the OEIS)

$\psi (q)=\sum _{n\geq 0}{\frac {(-1)^{n}q^{(n+1)^{2}}(q;q^{2})_{n}}{(-q;q)_{2n+1}}}$ (sequence A053269 in the OEIS)

$\rho (q)=\sum _{n\geq 0}{\frac {q^{n(n+1)/2}(-q;q)_{n}}{(q;q^{2})_{n+1}}}$ (sequence A053270 in the OEIS)

$\sigma (q)=\sum _{n\geq 0}{\frac {q^{(n+1)(n+2)/2}(-q;q)_{n}}{(q;q^{2})_{n+1}}}$ (sequence A053271 in the OEIS)

$\lambda (q)=\sum _{n\geq 0}{\frac {(-1)^{n}q^{n}(q;q^{2})_{n}}{(-q;q)_{n}}}$ (sequence A053272 in the OEIS)

$2\mu (q)=\sum _{n\geq 0}{\frac {(-1)^{n}q^{n+1}(1+q^{n})(q;q^{2})_{n}}{(-q;q)_{n+1}}}$ (sequence A053273 in the OEIS)

$\gamma (q)=\sum _{n\geq 0}{\frac {q^{n^{2}}(q;q)_{n}}{(q^{3};q^{3})_{n}}}$ (sequence A053274 in the OEIS)

$\phi _{-}(q)=\sum _{n\geq 1}{\frac {q^{n}(-q;q)_{2n-1}}{(q;q^{2})_{n}}}$ (sequence A153251 in the OEIS)

$\psi _{-}(q)=\sum _{n\geq 1}{\frac {q^{n}(-q;q)_{2n-2}}{(q;q^{2})_{n}}}$ (sequence A153252 in the OEIS)

Order 7

Ramanujan gave three mock theta functions of order 7 in his 1920 letter to Hardy. They were studied by Selberg, who found asymptotic expansion for their coefficients, and by Andrews. Hickerson found representations of many of these functions as the quotients of indefinite theta series by modular forms of weight ⁠1/2⁠. Zwegers described their modular transformation properties.

• $\displaystyle F_{0}(q)=\sum _{n\geq 0}{\frac {q^{n^{2}}}{(q^{n+1};q)_{n}}}$ (sequence A053275 in the OEIS)
• $\displaystyle F_{1}(q)=\sum _{n\geq 0}{\frac {q^{n^{2}}}{(q^{n};q)_{n}}}$ (sequence A053276 in the OEIS)
• $\displaystyle F_{2}(q)=\sum _{n\geq 0}{\frac {q^{n(n+1)}}{(q^{n+1};q)_{n+1}}}$ (sequence A053277 in the OEIS)

These three mock theta functions have different shadows, so unlike the case of Ramanujan's order-3 and order-5 functions, there are no linear relations between them and ordinary modular forms. The corresponding weak Maass forms are

${\begin{aligned}M_{1}(\tau )&=q^{-1/168}F_{1}(q)+R_{7,1}(\tau )\\[4pt]M_{2}(\tau )&=-q^{-25/168}F_{2}(q)+R_{7,2}(\tau )\\[4pt]M_{3}(\tau )&=q^{47/168}F_{3}(q)+R_{7,3}(\tau )\end{aligned}}$

where

$R_{p,j}(\tau )=\!\!\!\!\sum _{n\equiv j{\bmod {p}}}{\binom {12}{n}}\operatorname {sgn}(n)\beta \left({\frac {n^{2}y}{6p}}\right)q^{-n^{2}/24p}$

and

$\beta (x)=\int _{x}^{\infty }u^{-1/2}e^{-\pi u}\,du$

is more or less the complementary error function. Under the metaplectic group, these three functions transform according to a certain 3-dimensional representation of the metaplectic group as follows

${\begin{aligned}M_{j}\left(-{\frac {1}{\tau }}\right)&={\sqrt {\frac {\tau }{7i}}}\,\sum _{k=1}^{3}2\sin \left({\frac {6\pi jk}{7}}\right)M_{k}(\tau )\\[6pt]M_{1}(\tau +1)&=e^{-2\pi i/168}M_{1}(\tau ),\\[6pt]M_{2}(\tau +1)&=e^{-2\times 25\pi i/168}M_{2}(\tau ),\\[6pt]M_{3}(\tau +1)&=e^{-2\times 121\pi i/168}M_{3}(\tau ).\end{aligned}}$

In other words, they are the components of a level 1 vector-valued harmonic weak Maass form of weight ⁠1/2⁠.

Order 8

Gordon and McIntosh found eight mock theta functions of order 8. They found five linear relations involving them, and expressed four of the functions as Appell–Lerch sums, and described their transformations under the modular group. The two functions V₁ and U₀ were found earlier by Ramanujan in his lost notebook.

$S_{0}(q)=\sum _{n\geq 0}{\frac {q^{n^{2}}(-q;q^{2})_{n}}{(-q^{2};q^{2})_{n}}}$ (sequence A153148 in the OEIS)

$S_{1}(q)=\sum _{n\geq 0}{\frac {q^{n(n+2)}(-q;q^{2})_{n}}{(-q^{2};q^{2})_{n}}}$ (sequence A153149 in the OEIS)

$T_{0}(q)=\sum _{n\geq 0}{\frac {q^{(n+1)(n+2)}(-q^{2};q^{2})_{n}}{(-q;q^{2})_{n+1}}}$ (sequence A153155 in the OEIS)

$T_{1}(q)=\sum _{n\geq 0}{\frac {q^{n(n+1)}(-q^{2};q^{2})_{n}}{(-q;q^{2})_{n+1}}}$ (sequence A153156 in the OEIS)

$U_{0}(q)=\sum _{n\geq 0}{\frac {q^{n^{2}}(-q;q^{2})_{n}}{(-q^{4};q^{4})_{n}}}$ (sequence A153172 in the OEIS)

$U_{1}(q)=\sum _{n\geq 0}{\frac {q^{(n+1)^{2}}(-q;q^{2})_{n}}{(-q^{2};q^{4})_{n+1}}}$ (sequence A153174 in the OEIS)

$V_{0}(q)=-1+2\sum _{n\geq 0}{\frac {q^{n^{2}}(-q;q^{2})_{n}}{(q;q^{2})_{n}}}=-1+2\sum _{n\geq 0}{\frac {q^{2n^{2}}(-q^{2};q^{4})_{n}}{(q;q^{2})_{2n+1}}}$ (sequence A153176 in the OEIS)

$V_{1}(q)=\sum _{n\geq 0}{\frac {q^{(n+1)^{2}}(-q;q^{2})_{n}}{(q;q^{2})_{n+1}}}=\sum _{n\geq 0}{\frac {q^{2n^{2}+2n+1}(-q^{4};q^{4})_{n}}{(q;q^{2})_{2n+2}}}$ (sequence A153178 in the OEIS)

Order 10

Ramanujan listed four order-10 mock theta functions in his lost notebook, and stated some relations between them, which were proved by Choi.

• $\phi (q)=\sum _{n\geq 0}{\frac {q^{n(n+1)/2}}{(q;q^{2})_{n+1}}}$ (sequence A053281 in the OEIS)
• $\psi (q)=\sum _{n\geq 0}{\frac {q^{(n+1)(n+2)/2}}{(q;q^{2})_{n+1}}}$ (sequence A053282 in the OEIS)
• $\mathrm {X} (q)=\sum _{n\geq 0}{\frac {(-1)^{n}q^{n^{2}}}{(-q;q)_{2n}}}$ (sequence A053283 in the OEIS)
• $\chi (q)=\sum _{n\geq 0}{\frac {(-1)^{n}q^{(n+1)^{2}}}{(-q;q)_{2n+1}}}$ (sequence A053284 in the OEIS)

References

• Andrews, George E. (1966), "On the theorems of Watson and Dragonette for Ramanujan's mock theta functions", American Journal of Mathematics, 88 (2): 454–490, doi:10.2307/2373202, ISSN 0002-9327, JSTOR 2373202, MR 0200258
• Andrews, George E. (1986), "The fifth and seventh order mock theta functions", Transactions of the American Mathematical Society, 293 (1): 113–134, doi:10.2307/2000275, ISSN 0002-9947, JSTOR 2000275, MR 0814916
• Andrews, George E. (1988), "Ramanujan's fifth order mock theta functions as constant terms", Ramanujan revisited (Urbana-Champaign, Ill., 1987), Boston, MA: Academic Press, pp. 47–56, MR 0938959
• Andrews, George E. (1989), "Mock theta functions", Theta functions—Bowdoin 1987, Part 2 (Brunswick, ME, 1987), Proc. Sympos. Pure Math., vol. 49, Providence, R.I.: American Mathematical Society, pp. 283–298, MR 1013178
• Andrews, George E.; Garvan, F. G. (1989), "Ramanujan's lost notebook. VI. The mock theta conjectures", Advances in Mathematics, 73 (2): 242–255, doi:10.1016/0001-8708(89)90070-4, ISSN 0001-8708, MR 0987276
• Andrews, George E.; Hickerson, Dean (1991), "Ramanujan's lost notebook. VII. The sixth order mock theta functions", Advances in Mathematics, 89 (1): 60–105, doi:10.1016/0001-8708(91)90083-J, ISSN 0001-8708, MR 1123099
• Appell, P. (1884), "Sur les fonctions doublement périodiques de troisième espèce", Annales Scientifiques de l'École Normale Supérieure, 1: 135–164, doi:10.24033/asens.236
• Berndt, Bruce C.; Chan, Song Heng (2007), "Sixth order mock theta functions", Advances in Mathematics, 216 (2): 771–786, doi:10.1016/j.aim.2007.06.004, ISSN 0001-8708, MR 2351377
• Bringmann, Kathrin; Folsom, Amanda; Ono, Ken (2009), "q-series and weight 3/2 Maass forms" (PDF), Compositio Mathematica, 145 (3): 541–552, doi:10.1112/S0010437X09004072, S2CID 7688222
• Bringmann, Kathrin; Ono, Ken (2006), "The f(q) mock theta function conjecture and partition ranks" (PDF), Inventiones Mathematicae, 165 (2): 243–266, Bibcode:2006InMat.165..243B, doi:10.1007/s00222-005-0493-5, ISSN 0020-9910, MR 2231957, S2CID 120388256
• Bringmann, Kathrin; Ono, Ken (2007), "Lifting cusp forms to Maass forms with an application to partitions", Proceedings of the National Academy of Sciences of the United States of America, 104 (10): 3725–3731, Bibcode:2007PNAS..104.3725B, doi:10.1073/pnas.0611414104, ISSN 0027-8424, MR 2301875, PMC 1820651, PMID 17360420
• Bringmann, Kathrin; Ono, Ken (2010), "Dyson's ranks and Maass forms" (PDF), Annals of Mathematics, 171: 419, doi:10.4007/annals.2010.171.419
• Bruinier, Jan Hendrik; Funke, Jens (2004), "On two geometric theta lifts", Duke Mathematical Journal, 125 (1): 45–90, arXiv:math/0212286, doi:10.1215/S0012-7094-04-12513-8, ISSN 0012-7094, MR 2097357, S2CID 2078210
• Choi, Youn-Seo (1999), "Tenth order mock theta functions in Ramanujan's lost notebook", Inventiones Mathematicae, 136 (3): 497–569, Bibcode:1999InMat.136..497C, doi:10.1007/s002220050318, ISSN 0020-9910, MR 1695205, S2CID 125193659
• Choi, Youn-Seo (2000), "Tenth order mock theta functions in Ramanujan's lost notebook. II", Advances in Mathematics, 156 (2): 180–285, doi:10.1006/aima.2000.1948, ISSN 0001-8708, MR 1808245
• Choi, Youn-Seo (2002), "Tenth order mock theta functions in Ramanujan's lost notebook. IV", Transactions of the American Mathematical Society, 354 (2): 705–733, doi:10.1090/S0002-9947-01-02861-6, ISSN 0002-9947, JSTOR 2693766, MR 1862564
• Choi, Youn-Seo (2007), "Tenth order mock theta functions in Ramanujan's lost notebook. III", Proceedings of the London Mathematical Society, 94 (1): 26–52, doi:10.1112/plms/pdl006, ISSN 0024-6115, MR 2293464, S2CID 122732998
• Dabholkar, Atish; Murthy, Sameer; Zagier, Don (2012), "Quantum Black Holes, Wall Crossing, and Mock Modular Forms", arXiv:1208.4074 [hep-th]{{cite arXiv}}: CS1 maint: overridden setting (link)
• Dragonette, Leila A. (1952), "Some asymptotic formulae for the mock theta series of Ramanujan", Transactions of the American Mathematical Society, 72 (3): 474–500, doi:10.2307/1990714, ISSN 0002-9947, JSTOR 1990714, MR 0049927
• Fine, Nathan J. (1988), Basic hypergeometric series and applications, Mathematical Surveys and Monographs, vol. 27, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-1524-3, MR 0956465
• Garthwaite, Sharon Anne (2008), "The coefficients of the ω(q) mock theta function", International Journal of Number Theory, 4 (6): 1027–1042, doi:10.1142/S1793042108001869, ISSN 1793-0421, MR 2483310
• Gordon, Basil; McIntosh, Richard J. (2000), "Some eighth order mock theta functions", Journal of the London Mathematical Society, 62 (2): 321–335, doi:10.1112/S0024610700008735, ISSN 0024-6107, MR 1783627, S2CID 123182909
• Hickerson, Dean (1988a), "A proof of the mock theta conjectures", Inventiones Mathematicae, 94 (3): 639–660, Bibcode:1988InMat..94..639H, doi:10.1007/BF01394279, ISSN 0020-9910, MR 0969247, S2CID 122492320
• Hickerson, Dean (1988b), "On the seventh order mock theta functions", Inventiones Mathematicae, 94 (3): 661–677, Bibcode:1988InMat..94..661H, doi:10.1007/BF01394280, ISSN 0020-9910, MR 0969247, S2CID 121384412
• Hirzebruch, Friedrich; Zagier, Don (1976), "Intersection numbers of curves on Hilbert modular surfaces and modular forms of Nebentypus", Inventiones Mathematicae, 36: 57–113, Bibcode:1976InMat..36...57H, doi:10.1007/BF01390005, hdl:21.11116/0000-0004-399B-E, ISSN 0020-9910, MR 0453649, S2CID 56568473
• Lawrence, Ruth; Zagier, Don (1999), "Modular forms and quantum invariants of 3-manifolds", The Asian Journal of Mathematics, 3 (1): 93–107, doi:10.4310/AJM.1999.v3.n1.a5, ISSN 1093-6106, MR 1701924
• Lerch, M. (1892), "Bemerkungen zur Theorie der elliptischen Funktionen", Jahrbuch über die Fortschritte der Mathematik, 24: 442–445
• McIntosh, Richard J. (2007), "Second order mock theta functions", Canadian Mathematical Bulletin, 50 (2): 284–290, doi:10.4153/CMB-2007-028-9, ISSN 0008-4395, MR 2317449, S2CID 119499438
• Ramanujan, Srinivasa (1988), The lost notebook and other unpublished papers, Berlin, New York: Springer-Verlag, ISBN 978-3-540-18726-4, MR 0947735
• Ramanujan, Srinivasa (2000), "Collected papers of Srinivasa Ramanujan", Nature, 123 (3104), Providence, R.I.: 631, Bibcode:1929Natur.123..631L, doi:10.1038/123631a0, ISBN 978-0-8218-2076-6, MR 2280843, S2CID 44812911
• Selberg, A. (1938), "Über die Mock-Thetafunktionen siebenter Ordnung. (On the mock theta functions of seventh order)", Archiv for Mathematik og Naturvidenskab, 41: 3–15, reprinted in volume I of his collected works
• Semikhatov, A. M.; Taormina, A.; Tipunin, I. Yu (2005), "Higher-level Appell functions, modular transformations, and characters", Communications in Mathematical Physics, 255 (2): 469–512, arXiv:math/0311314, Bibcode:2005CMaPh.255..469S, doi:10.1007/s00220-004-1280-7, ISSN 0010-3616, MR 2129953, S2CID 14466569
• Serre, Jean-Pierre; Stark, H. M. (1977), "Modular forms of weight 1/2", Modular functions of one variable, VI (Proc. Second Internat. Conf., Univ. Bonn, Bonn, 1976), Lecture Notes in Mathematics, vol. 627, Berlin, New York: Springer-Verlag, pp. 27–67, doi:10.1007/BFb0065296, ISBN 978-3-540-08530-0, MR 0472707
• Troost, J. (2010), "The Non-Compact Elliptic Genus: Mock or Modular", Journal of High Energy Physics, 2010 (6): 104, arXiv:1004.3649, Bibcode:2010JHEP...06..104T, doi:10.1007/JHEP06(2010)104, S2CID 84838021
• Watson, G. N. (1936), "The Final Problem: An Account of the Mock Theta Functions", Journal of the London Mathematical Society, 11: 55–80, doi:10.1112/jlms/s1-11.1.55
• Watson, G. N. (1937), "The Mock Theta Functions (2)", Proceedings of the London Mathematical Society, s2-42: 274–304, doi:10.1112/plms/s2-42.1.274
• Zagier, Don (1975), "Nombres de classes et formes modulaires de poids 3/2", Comptes Rendus de l'Académie des Sciences, Série A et B, 281 (21): Ai, A883–A886, ISSN 0151-0509, MR 0429750
• Zagier, Don (2009) [First published 2007], "Ramanujan's mock theta functions and their applications (after Zwegers and Ono-Bringmann)" (PDF), Séminaire Bourbaki. Exp. 986, Astérisque, 326: 143–164, ISSN 0303-1179, MR 2605321
• Zwegers, S. P. (2001), "Mock θ-functions and real analytic modular forms", q-series with applications to combinatorics, number theory, and physics (Urbana, IL, 2000), Contemp. Math., vol. 291, Providence, R.I.: American Mathematical Society, pp. 269–277, ISBN 978-0-8218-2746-8, MR 1874536
• Zwegers, S. P. (2002), Mock Theta Functions, Utrecht PhD thesis, ISBN 90-393-3155-3

Further reading

• Ono, Ken (2008), "Mock theta functions, ranks and Maass forms", in Alladi, Krishnaswami (ed.), Surveys in Number Theory, Developments in Mathematics, vol. 17, Springer-Verlag, pp. 119–141, ISBN 978-0-387-78509-7, Zbl 1183.11064

External links

• International Conference: Mock theta functions and applications 2009
• Papers on mock theta functions by George Andrews
• Papers on mock theta functions by Kathrin Bringmann
• Papers on mock theta functions by Ken Ono
• Papers on mock theta functions by Sander Zwegers
• Weisstein, Eric W., "Mock Theta Function", MathWorld