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. 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.