On Weierstrass mock modular forms and a dimension formula for certain vertex operator algebras

Using techniques from the theory of mock modular forms and harmonic Maass forms, especially Weierstrass mock modular forms, we establish several dimension formulas for certain strongly rational, holomorphic vertex operator algebras, complementing previous work by van Ekeren, M\"oller, and Scheithauer.


Introduction and statement of results
Much of the motivation to study vertex operator algebras (VOAs) originates from work explaining observations originally made by McKay and Thompson [57,58] on apparent relations between the representation theory of the Fischer-Griess Monster M, the largest of the sporadic simple groups, and the modular J-function. Conway and Norton [17] later extended the original observations to the famous Monstrous moonshine conjecture. Frenkel, Lepowsky, and Meurman [33,34,35] were the first to construct a vertex operator algebra V ♮ whose graded dimension function is the J-function and on which M acts as automorphisms. Borcherds [6] later confirmed that the graded characters of V ♮ coincide with certain Hauptmoduln identified by Conway and Norton [17]. Since then, VOAs and related structures have played a central role in various other instances of moonshine. The most illustrious cases of this include Norton's generalized moonshine [50,51], which has been proven in general by Carnahan [12]. A first special case of this, now called Baby Monster moonshine was established earlier by Höhn [40]. Other instances of moonshine related to VOAs include Conway moonshine [25] and various instances of umbral moonshine [3,15,28,24].
In recent new developments of moonshine, new connections to the arithmetic of elliptic curves have been discovered [4,26,27]. In [27] for instance, the existence of a representation for the sporadic O'Nan group has been established, which controls ranks and p-torsion in Selmer groups or Tate-Shafarevich groups of quadratic twists of certain elliptic curves (for a precise statement, see [27,Theorems 1.3 and 1.4]. See also [23,Theorem 7.1].). Similar connections have been established for example in [4] using quasimodular forms of weight 2, along with a construction of the corresponding module as a VOA. In this work, we continue the mantra of connecting VOAs and arithmetic, but in a somewhat different vein.
In the context of classifying holomorphic, strongly rational VOAs of central charge 24 (see Section 2.1 for definitions of these terms) and proving the "completeness" of a list of 71 Lie algebras devised by Schellekens [54], which is now known to contain every possible V 1 -space of such a VOA by work of various people (see for instance the introduction of [30] for references), van Ekeren, Möller, and Scheithauer [30] find a dimension formula for orbifold VOAs of central charge 24. A special case of their formula had previously been established by Möller in his thesis [48] and for the sake of simplicity, we only give this special case here.
Theorem. Let V be a holomorphic, strongly rational VOA additionally satisfying the positivity assumption (see Section 2.1 for definitions) and let G = g be a cyclic group of automorphisms of V of order N with g of type N{0}. Denote by V G the fixed point VOA of V under the action of G and let V orb(g) be the orbifold vertex operator algebra (see Section 2.1). Furthermore, assume that V has central charge c = 24. Then for N = 2, 3, 5, 7, 13, we have the dimension formula where σ(m) = d|m d denotes the usual divisor sum function.
The proof of this result and of the extension of the result in [30] for all N such that the modular curve X 0 (N) has genus 0, i.e. N ∈ {2, ..., 10,12,13,16,18, 25}, is essentially obtained by writing the character ch V G explicitly in terms of the Hauptmodul for the group Γ 0 (N).
Our main result is an extension of the dimension formula in [30] to levels N where there is no Hauptmodul, but rather where the modular curve X 0 (N) has genus 1. In those cases, the modular curve is an elliptic curve E of conductor N defined over Q, which (over C) is isomorphic to the torus C/Λ E for a full lattice Λ E ⊂ C called the period lattice of E. Denote by ζ(Λ E ; z) the associated completed Weierstrass zeta function (see Section 2.4 for the precise definition). For simplicity, we state the theorem just for the prime levels in question. The analogous statement for square-free composite levels is given in Theorem 3.3. Theorem 1.1. Let V be a holomorphic, strongly rational vertex operator algebra of central charge 24. Let G = g be a cyclic group of automorphisms of V of order p ∈ {11, 17, 19} such that g is of type p{0}. Further let E = X 0 (p) be the Γ 0 (p)optimal elliptic curve of conductor p. Then with the assumptions and notations in Section 2.1, we have the following dimension formula: where we set In particular, this dimension formula relates invariants of the underlying modular curve to the theory of VOAs. We can now exploit knowledge about arithmetic properties of these invariants to derive a simpler dimension formula in the following way.
To the best of the authors' knowledge it is not known, whether the value ζ (Λ E ; L(E, 1)) is rational or not. It is known due to a classical result of Schneider [55, Chapter II, §4, Satz 15] that the value of the uncompleted zeta function ζ (Λ E ; L(E, 1)) is indeed transcendental. Since all the other quantities in the above dimension formula are clearly rational, we obtain the following immediate corollary.

Corollary 1.2. Assume the notations as in Theorem 1.1. If we have
for some VOA V as in Theorem 1.1, then the value ζ (Λ E ; L(E, 1)) is rational.
In a very recent preprint [49], Möller, and Scheithauer independently find a completely general dimension formula like the one in Theorem 1.1 with no restriction on the order of the cyclic group G using expansions of vector-valued Eisenstein series. In particular, their general result simplifies to the statement of the Theorem from [48] quoted above for all primes p.
In the proof of Theorem 4.12 of loc. cit., Möller and Scheithauer show that the order of the automorphism group G is any prime p one obtains the upper bound As Möller and Scheithauer informed us, they have produced, using both computer calculations and theoretical considerations based on work by Chenevier and Lannes [13,14] on p-neighbours of Niemeier lattices, explicit examples of suitable VOAs for which the above inequality is strict, wherefore according to Corollary 1.2 the values ζ (Λ E ; L(E, 1)) are indeed rational. In fact, comparing to the (extended) version of Möller's result and using the examples Möller and Scheithauer have constructed, we find the stronger statement that we have indeed the identity for the constant C E from Theorem 1.1, From the proof of Theorem 1.1 we can infer the following dimension formula as well, which looks similar to that in Corollary 1.2. The proof relies on the so-called Bruinier-Funke pairing (see Proposition 2.5). Theorem 1.3. Assume the hypotheses and notation from Theorem 1.1, except that p may now denote any prime number, and let f (τ ) = ∞ n=1 a(n)e 2πinτ ∈ S 2 (p) be a newform with Atkin-Lehner eigenvalue ε ∈ {±1}. Then we have Essentially, the formula in Theorem 1.3 also appears on [49, p. 24], but was proven using a different kind of pairing. We note that loosely speaking, one may interpret Theorem 1.1 in view of Theorem 1.3 as the case where one replaces the newform f by the weight 2 Eisenstein series in M 2 (p).
Our proof of Theorem 1.1 relies on the following result which states that one can express any harmonic Maaß form (in the given levels) essentially in terms of Weierstrass mock modular forms and Hecke operators (see Sections 2.3 and 2.4 for details). Then any harmonic Maaß form of weight 0 for Γ 0 (N) is is a linear combination of images of the completed Weierstrass mock modular form Z E associated to the Γ 0 (N)optimal elliptic curve E -i.e. in the cases considered E is a model for the modular curve X 0 (N) -under the Hecke operators T m and Atkin-Lehner involutions , or in other words: Remark 1.5. It is essential in Theorem 1.4 that the elliptic curves under consideration are indeed models for the modular curve X 0 (N), where N is the respective conductor.
In particular, the genus of X 0 (N) must be equal to 1. There are six further levels N with this property, namely N ∈ {20, 24, 27, 32, 36, 49}, but our proof does not work in these cases for reasons we explain in Sections 2.3 and 3.1. Remark 1.6. As our proof will show, the statement of Theorem 1.4 remains valid for all square-free levels N if one replaces Z E by the Maaß-Poincaré series for Γ 0 (N) which has exactly one simple pole at the cusp ∞. In particular, one may immediately generalize Theorem 1.1 to arbitrary primes p and Theorem 3.3 to arbitrary squarefree numbers N in this fashion. However, it is not known to the authors if the constant term of these series in general has a meaningful interpretation in terms of arithmetic.
The rest of this paper is organized as follows. In Section 2 we recall some background material on orbifold constructions of VOAs, Weierstrass mock modular forms, and operators on modular forms. Section 3 contains the proofs of Theorem 1.1, Theorem 1.3, and Theorem 1.4 as well as a more general version of Theorem 1.1 and its proof.

Preliminaries
2.1. Orbifold VOAs. The construction of the moonshine module V ♮ [33,34,35] has greatly motivated the study of vertex operator algebras (VOAs). The problem of orbifolding a conformal field theory with respect to an automorphism rose to prominence contemporaneously in physics [18,19]. The construction of V ♮ was subsequently interpreted as the first example of an orbifold model that is not equivalent to a torus model [35]. For G a group of automorphisms of V , the study of the fixed point sub-VOA V G and its representation theory is referred to as orbifold theory. We refer the reader to [29,45,53] for details on cyclic orbifold theory for holomorphic VOAs and give a short summary below.
We first recall some basic definitions and properties of VOAs and their twisted modules. We refer the reader to [31] [35] and [43] for more details.
A VOA V is a complex vector space equipped with two distinguished vectors 1 and ω called the vacuum element and the conformal vector, respectively. Further, for each vector v ∈ V there is a map Y (·, z) : V → End(V ) z, z −1 assigning a formal power series Y (v, z) := n∈Z v(n)z −n−2 (which we call a vertex operator) to v. The tuple (V, 1, ω, Y ) must satisfy several axioms (see Section 8.10 of [35]). In particular, the coefficients of the vertex operator attached to the conformal vector generate a copy of the Virasoro algebra of central charge c. In other words, if Y (ω, z) := n∈Z L(n)z −n−1 then [L(m), L(n)] = (m − n)L(m + n) + 1 12 (m 3 − m)δ m+n,0 c, and we refer to c as the central charge of V . VOAs admit a Z-grading (bounded from below) so that V = n∈Z V n . This grading on V comes from the eigenspaces of the L(0) operator, by which we mean that V n := {v ∈ V | L(0)v = nv}. The smallest n for which V n = 0 is called the conformal weight of V and is denoted ρ(V ). We say V is of CFT-type if ρ(V ) = 0 and V 0 = C1.
A V -module is a vector space M equipped with an operation Y M : V → EndM z ±1 which assigns to each v ∈ V subject to several axioms (see section 5.1 of [31]). A module M whose only submodules are 0 and itself is called simple or irreducible. A VOA V for which every V -module decomposes into a direct sum of irreducibles is called rational and we say that V is holomorphic if it is rational and has a unique irreducible module (which must necessarily be V itself). Given a V -module W with a grading, it is possible to define a V -module W ′ , that is (as a vector space) the graded dual space of W (for a definition of the dual module we refer to Section 5.2 of [32]). We say a vertex algebra V is self-dual if the module V is isomorphic to its dual V ′ (as a V -module). In [59], Zhu introduced a finiteness condition on a VOA V , For G a finite group of automorphisms of V and g ∈ G, one can define a g-twisted module V (g) of V (see Section 3 of [20]). By [20], for V a C 2 -cofinite holomorphic VOA and G = g a cyclic group of automorphisms of V , V posesses a unique simple g i -twisted V -module, which we call V (g i ), for each i ∈ Z/NZ for N the order of g. By Proposition 4.2.3 of [48] there is a representation The fixed point sub-VOA V G = W (0,0) of V is defined to be the vectors in V which are fixed pointwise under the action of G.
The main theorem of orbifold theory (Theorem 4.1.5 [48], see also [11,46,22]) is that if V is strongly rational and G is a finite, solvable group of automorphisms of V , then the fixed-point VOA V G is strongly rational as well.
For all i, j ∈ Z/NZ, the W (i,j) are irreducible V G -modules [47] and further, by the classification of irreducible modules in [48], there are exactly n 2 irreducible V Gmodules (namely, the W (i,j) ). We make the additional assumption that g has type N{0} (Definition 4.7.4 of [48]), which gives us that the conformal weights obey ρ(V (g)) ∈ (1/N)Z. This enables us to choose representations φ i such that the conformal weights of For V with central charge divisible by 24, the characters of the irreducible V Gmodules ch W (i,j) (τ ) = tr W (i,j) q L(0)−c/24 are holomorphic on the upper half-plane and modular of weight 0 for Γ 0 (N) (Theorem 5.1 [29]).
We also assume that V G satisfies the positivity assumption, which states that for a simple VOA V , the conformal weights of any irreducible V -module W = V are positive and the conformal weight of V is zero.
If V G satisfies the positivity assumption, the orbifold VOA of V with respect to g is defined to be Note that if V is strongly rational, then V orb(g) has the structure of a holomorphic, strongly rational VOA of the same central charge as V . We refer to work by Zhu [59], Dong-Li-Mason [20], and Dong-Lin-Ng [21] for details on the modular invariance of irreducible (twisted) modules for C 2 -cofinite VOAs. We recall the following results from [29,30].
From equation (7) of [30], we have the following transformation property.
For a cusp a of Γ 0 (N), van Ekeren, Möller, and Scheithauer [30] define the function In [30,Proposition 3.6], they give the following general identity for this function F a which is essential in establishing the dimension formulas.
where the sum over a runs over a set of representatives of cusps of Γ 0 (N) and ϕ(n) := #(Z/nZ) * denotes Euler's totient function.

2.2.
Mock modular forms and harmonic Maaß forms. In this section, we briefly recall some basic definitions and facts about mock modular forms and harmonic Maaß forms. For more detailed information as well as references to original works, the reader may consult for example the book [7].
A harmonic Maaß form of weight k ∈ Z for the group Γ 0 (N) is a smooth function f : H → C satisfying the following three conditions: (1) f is invariant under the weight k slash operator, (2) f is annihilated by the weight k hyperbolic Laplacian (τ = x + iy), (3) f has at most linear exponential growth at the cusps, i.e. there exists a polynomial H ∈ C[X] such that f − H(q −1 ) has exponential decay towards infinity and analogous conditions hold at all other cusps. The space of these forms is denoted by denote the spaces of cusp forms, modular forms, and weakly holomorphic modular forms. It is sometimes convenient to relax the conditions to allow poles in the upper half-plane, in which case we speak of polar harmonic Maaß forms.
These functions naturally split into a holomorphic and a non-holomorphic part [7,Lemma 4.3], f = f + + f − . The holomorphic part of a harmonic Maaß form is called a mock modular form. If f is a polar harmonic Maaß form we call f + a polar mock modular form. Vice versa, given a mock modular form f , we refer to the harmonic Maaß form f having it as its holomorphic part as the (modular) completion of f .
The non-holomorphic part of a harmonic Maaß form is related to a cusp form called the shadow of the corresponding mock modular form [7,Theorem 5.10].
An important tool obtained from the ξ-operator is the so-called Bruinier-Funke pairing, defined by as the classical Petersson scalar product. With this we have the following important result (see [7, Proposition 5.10]), which follows essentially from an application of Stokes's Theorem.

Then we have
An easy and well-known consequence of this is the following corollary.
where we extend the action of the weight k slash operator to matrices with positive discriminant in the usual way by We usually omit the indication of the level of the Hecke operator if it is clear from context or not relevant for the action. These operators form a commutative algebra and they are multiplicative, i.e. one has T m T n = T mn for any coprime m, n. Their action on Fourier expansions is particularly easy to describe when m = p is prime. Then we have where for f (τ ) = n∈Z a f (n, y)q n we set where x, y, z, t ∈ Z are chosen so that det W Q = 1. In the following proposition, we collect several well-known properties of these operators which will become important in the proof of Theorem 1.4. These can be found for instance in [16, Lemma 6.6.4, Proposition 13.2.6].
Proposition 2.8. Let m ∈ N and Q, Q ′ exact divisors of N and let f : H → C be a function transforming like a modular form of weight k ∈ 2Z for Γ 0 (N). Then the following are true.
2.4. Weierstrass mock modular forms. In this section, we briefly recall the construction of Weierstrass mock modular forms. The idea for this construction is due to Guerzhoy [38,37] and was developed further by Alfes, Griffin, Ono, and Rolen [1]. Let E be an elliptic curve defined over Q of conductor N defined by the Weierstrass equation As mentioned in the introduction, this curve (considered over C) is isomorphic to a flat torus C/Λ E , where Λ E ⊂ C is a 2-dimensional Z-lattice. This isomorphism is given by denotes the Weierstrass ℘-function and O ∈ E denotes the point at infinity. Recall that ℘(Λ E ; z + ω) = ℘(Λ E ; z) for all ω ∈ Λ E and in fact the field of all elliptic functions, i.e. meromorphic functions with this exact periodicity property, is given by C(℘)[℘ ′ ], where ℘ satisfies the differential equation The ℘-function has poles of order 2 with residue 0 at all lattice points by construction. Its Laurent expansion around 0 is given by where for integers k > 2, G 2n (Λ E ) = ω∈Λ E \{0} ω −k denotes the weight k Eisenstein series of Λ E , which is of course 0 if k is odd. The negative antiderivative of the Weierstrass ℘-function, called the Weierstrass ζ-function, therefore has simple poles at all lattice points and nowhere else and is given by However, by Liouville's famous theorems on elliptic functions, there cannot be an elliptic function with simple poles only at lattice points and nowhere else, so ζ(Λ E ; z) is not quite an elliptic function. It was first observed by Eisenstein (in a special case) that there is a canonical way to complete the Weierstrass ζ-function to a function which has the periodicity behaviour of an elliptic function at the expense of no longer being holomorphic. In order to define Eisenstein's completed Weierstrass ζ-function let denote the completed 1 Eisenstein series of weight 2. By the famous modularity theorem, there is a newform f E ∈ S 2 (N) with integer Fourier coefficients associated to E such that the L-functions of E and f E agree, which by Eichler-Shimura theory yields a polynomial map φ E : X 0 (N) → C/Λ E , the modular parametrization of E. Then the non-holomorphic function where · denotes the Petersson norm, satisfies ζ( the Eichler integral of f E , one finds the following result [1, Theorem 1.1].
Theorem 2.9. The function , called the Weierstrass mock modular form is a polar mock modular form of weight 0 for the group Γ 0 (N). To be more precise, there exists a meromorphic modular function M E for Γ 0 (N) such that the function is a harmonic Maaß form of weight 0 for Γ 0 (N).
It is immediately clear from the definition that the function Z E has poles precisely where the value of the Eichler integral E E (τ ) lies in the period lattice Λ E . It is an open problem to classify those points τ in the complex upper half-plane H this occurs, but the following lemma, whose proof can be found for example in [2], allows us to rule out poles in the situation where E and the modular curve X 0 (N) are actually isomorphic, so where the degree of φ E is 1. For the purpose of this paper, it is important to consider the behaviour of both the (completed) Weierstrass mock modular form at other cusps than infinity. For this, we need the following slight generalization of [1, Theorem 1.2].
Proposition 2.11. Let ν ∈ N(Γ 0 (N)), the normalizer of Γ 0 (N) in SL 2 (R), which commutes with all Hecke operators T p with prime p ∤ N. Then we have where Proof. In [1, Theorem 1.2], the result is stated for ν an Atkin-Lehner involution.
The exact same proof goes through, only applying Lemma 2.7 in the substitutions. In fact, the computation goes through even for any elliptic curve E/Q and matrix σ ∈ SL 2 (R) such that σΓ 0 (N)σ −1 ∩ Γ 0 (N) has finite index in Γ 0 (N): One finds (2.4) The claim then follows immediately using Lemma 2.7.
Remark. In the case of interest to us, the space S 2 (N) is one-dimensional. Since N(Γ 0 (N)) acts on the space of cusp forms, a cusp form in those levels must be an eigenfunction under any element of the normalizer, so the proof goes through here without the appeal to the Multiplicity-one theorem and Lemma 2.7. Proof. For the given N, the normalizer N(Γ 0 (N)) acts transitively on the cusps of Γ 0 (N). Note that for the square-free levels, it is well-known that the Atkin-Lehner operators already act transitively on the cusps. By computing the relevant periods Ω ν (f E ) explicitly 2 , we see that none of them are in Λ E and the claim follows.

Remark.
For the remaining level 49, the normalizer does not act transitively on cusps. However, one can use the fact that 1 2πi where g 49 (τ ) = q + q 2 − q 4 − 3q 8 − 3q 9 + O(q 11 ) denotes the unique newform in S 2 (49) and G 49 (τ ) = −q +q 3 −q 4 −q 5 −q 6 +49/10q 7 +5q 8 +q 9 −6q 10 +7q 11 +O(q 12 ) ∈ S 4 (49), is a weakly holomorphic modular form of weight 2. The fact that the derivative of Z E is a weakly holomorphic modular form is a general consequence of Bol's identity and for the identification one notices that by (2.4), the function Z E and therefore its derivative can have at most a simple pole at any cusp, so that 1 2πi ∂ ∂τ Z E · g 49 is a holomorphic modular form of level 49. Due to this identity, it can be checked that its only pole is at infinity (in fact, it vanishes at all other cusps), wherefore, since differentiation commutes with the action of SL 2 (R) in weight 0 and doesn't introduce or add any poles, Corollary 2.12 is also true for N = 49. The same argument would of course also work in the cases covered by Corollary 2.12. If the defining series converges absolutely, this defines a function which transforms like a modular form of weight k under Γ (see for instance [52,Lemma 8.2] and the references therein). Restricting to the case of Γ = Γ 0 (N), one can compute their Fourier expansions fairly explicitly, especially in the most important cases for our purposes, where the seed function is either the exponential function ϕ(τ ) = exp(2πimτ ), m ∈ Z, or a modified version of the Whittaker function (see [52,Section 8] for details) yielding harmonic Maaß forms. In those cases, the Fourier coefficients of the mth Poincaré take the general form where C k is some constant depending on the weight k, J k is a suitable test function 3 so that the sum converges absolutely, and K(m, n, c) denotes the Kloosterman sum This identity was first noted without proof by Selberg [56]. The first published proof was found by Kuznetsov [42] using his famous summation formula, and an elementary proof was found by Matthes [44]. Using this, we can show the following general result. Proposition 3.1. Let k ≤ 0, and N, ν ∈ N. Further denote the νth Maaß-Poincaré series of weight k and level N normalized so that its principal part at ∞ is given by

τ ). Then we have that
Proof. The action of Hecke operators in level N may be solely defined on the space of one-periodic holomorphic functions together with a weight k slash action of SL 2 (R) via their actions on Fourier expansions: For a function f (τ ) = n∈Z a(n)q n , we have (see for instance [16,Proposition 10.2.5] Since a harmonic Maaß form is uniquely determined by its holomorphic part, we restrict our attention to the holomorphic part of the right-hand side of (3.4). Using (3.5), this is given by The principal part of the holomorphic part is easily see to equal q −ν as desired, since the only term then surviving in the sum is the one with d = gcd(N, ν) and t = ν/d. The nth coefficient for n > 0 is given by Plugging in the definition of the coefficient a We may and do assume without loss of generality that the defining series for the coefficient a N,k 1 is absolutely convergent, since in the cases of interest to us, this can be achieved essentially by a Hecke-trick-like argument and analytic continuation (see for instance [10, Chapter 1] for details). Noticing further that every common divisor of Nc, ν, n can be uniquely factored into a common divisor d of N, ν, n and a common divisor t of c, ν/d, n/d which is coprime to N/d, we may rearrange the above sum to obtain the expression Nc .
By the Selberg identity (3.3) we see by comparing to (3.1) that this is exactly the coefficient a (N,k) ν (n). The constant terms may be compared through a similar but easier argument, which we refrain from carrying out here, therefore completing the proof.
For levels N ∈ {1, ..., 10, 12, 13, 16, 18, 25}, where the modular surface X 0 (N) has genus 0, and weight k = 0, the above result has been shown using ad hoc methods in [5,Lemma 2.11], the result for general levels in weight 0 is stated for gcd(N, ν) = 1 and (incorrectly) for ν | N in [9, Theorem 1.1] (see also [8]). In [41, Theorem 1.1], Jeon, Kang, and Kim give a slightly different proof of Proposition 3.1 for the case of weight 0, which is not an important restriction, and use it to prove congruences for the Fourier coefficients of modular functions for genus 1 levels (see loc. cit., Theorem 1.6). The analogous statement for cuspidal Poincaré series may also be obtained from the Petersson coefficient formula together with the fact that Hecke operators are Hermitian with respect to the Petersson inner product on the space of cusp forms, see [16,Proposition 10.3.19] for the case N = 1, but which is easily generalized to higher levels.
Proof of Theorem 1.4. According to Corollary 2.12, the Weierstrass mock modular is (up to a possible additive constant which is of no importance here) the first Maaß-Poincaré series in the respective level with its only pole at the cusp ∞. Proposition 3.1 shows how to obtain harmonic Maaß forms with arbitrarily high pole orders at infinity by the application of Hecke operators, provided that we are able to express the lower-level Poincaré series needed in (3.4) in terms of functions of the form Z E |W Q |T m |B d , as required in the theorem.
We therefore need to show first that we can generate the Poincaré series P viewed as a harmonic Maaß form for Γ 0 (N), so the two functions can only differ by a constant by Corollary 2.6. Since N is square-free by assumption, we can repeat this process to obtain all Poincaré series P d,0 1 in this fashion, keeping in mind the commutation rules for Hecke and Atkin-Lehner operators in Proposition 2.8.
Since the Atkin-Lehner operators act transitively on the cusps of Γ 0 (N), we have shown now that any harmonic Maaß form of level N for the given N can be written as a linear combination of functions of the form P where we set f |T 0 := 1 for any function for convenience, and d | N. In order to complete the proof, we need to show that the application of W Q ′ may be avoided. The harmonic Maaß form in H 0 (N) which has a pole of order m at the cusp W p ∞ for a prime p | N and nowhere else is given by which is an immediate consequence of Proposition 2.8 (i) and (vi). By induction on r this shows that we may write P For a common divisor d of m and N which is divisible by p, we note that we can γ for a suitable γ ∈ Γ 0 (N/p). Therefore we have that , so that also these summands are of the desired form. In summary, this proves the theorem for all square-free levels N, since the Atkin-Lehner involutions W p , p | N generate the group of all Atkin-Lehner involutions, which act transitively on the cusps.
Remark. It is essential in the above proof of Theorem 1.4 that the Atkin-Lehner involutions W Q commute with all Hecke operators T m with gcd(Q, m) = 1. One could try to extend the the above proof to levels where the full normalizer N(Γ 0 (N)) acts transitively on the cusps (which is true in addition for levels 20, 24, 27, 32, 36, but not 49, where X 0 (N) has genus 1. For levels 20 and 24 it is even true that the normalizer commutes with all Hecke operators T m with gcd(m, N) = 1. Unfortunately, the behaviour with respect to the U-operator (see (3.6)) is not such that the above proof immediately generalizes. We point out however that the first part of the proof that one can express all the Poincaré series P (d,k) 1 for d | N using only elements in the normalizer and Hecke operators together with B-operators, works for levels 20 and 24.

3.2.
Proof of the dimension formulas. We now proceed to the proof of Theorem 1.1 and indicate the extension for composite levels.
Proof of Theorem 1.1. Let N = p be a prime number such that E := X 0 (p) has genus 1, i.e. p ∈ {11, 17, 19}. From Proposition 2.1 we know that ch V G is a modular function for Γ 0 (p) without poles in H and furthermore the transformation behaviour Using this together with Theorem 1.4, we can express ch V G solely in terms of Weierstrass mock modular forms, the Fricke involution W p , and Hecke operators, more precisely we find, using that dim V 0 = 1, where c E (0) = −a E (2)/2 and c E,Wp (0) = ζ(Λ E ; L(E, 1)) denote the constant terms of Z E and Z E |W p respectively, see Section 2.4. Therefore we find, using the relation S = W p B −1 p and the fact that both p Z E |U p + Z E |W p and Z E + p Z E |W p |U p transform like modular forms of level 1 by Proposition 2.8 (vi) and hence are invariant under S, for F a as in (2.1). By definition we have F ∞ = ch V G , so its constant term equals dim V G 1 . The constant term of F 0 equals p times that of ch V G |S, since we can write F 0 = p−1 j=0 ch V G |(ST j ) and all summands have the same constant term. Therefore by comparing constant terms we obtain after some simplification Plugging in the definitions of c E (0) and c E,Wp (0), we arrive at the dimension formula stated in Theorem 1.1 We now proceed to the proof of Theorem 1.3.
Proof of Theorem 1.3. Since ch V G is a modular function, its image under the ξoperator (see Proposition 2.4) must be 0. Hence, applying the Bruinier-Funke pairing with the newform f must yield zero as well. Since we have ch V G (τ ) = q −1 + O (1) and the expansion at the cusp 0 as given in (3.7) together with (f E |W p )(τ ) = εf (τ ) with ε ∈ {±1}, we can apply Proposition 2.5 and obtain Since a(1) = 1, the formula claimed in Theorem 1.3 follows.
To conclude, we formulate the dimension formula for the square-free composite levels N such that the modular curve X 0 (N) has genus 1, i.e. N ∈ {14, 15, 21}.
In what follows, we always write N = p 1 p 2 where p 1 and p 2 are primes. In view of Remark 1.6, we point out that it is not essential that N has exactly two prime factors and in principle, the method of proof would go through for arbitrary squarefree numbers N. However, for the sake of simplicity of the exposition and since all the cases under consideration here are of this form, we restrict to the situation of precisely two distinct prime factors. Before stating the result, we record the following lemma about expansions at other cusps, which is essentially the same as [5, Corollary 2.7] and also follows easily from (3.6).
We now state the dimension formula for composite N.
Note that in the formula for ch V G |γ p ℓ only those summands survive where m is divisible by p ℓ .
Using Corollary 2.12, Proposition 3.1, and Lemma 3.2 we can express the unique (up to additive constants) harmonic Maaß form in H 0 (N) having a pole of order m = p a 1 p b 2 m ′ , gcd(N, m ′ ) = 1, at ∞ and nowhere else as for some suitable α > 0 and c E (0) and c E,Q (0) denoting the constant terms of Z E and Z E |W Q , respectively. For reference, we also give the following expansions which are needed in order to express ch V G in terms of Weierstrass mock modular forms, Hence we may write  As in the proof of Theorem 1.1, we compute also the expansions of ch V G at all other cusps, which is fairly straightforward from the expression in (3.16) using once more the known commutation relations among Hecke and Atkin-Lehner operators in Proposition 2.8, so we refrain from giving these expansions explicitly for the sake of brevity.
By Proposition 2.3, we have that a F a (τ ) = ch V orb(g) (τ ) + ch V orb(g p 1 ) (τ ) + ch V orb(g p 2 ) (τ ) + ch V (τ ), where the sum runs over a complete set of representatives of cusps of Γ 0 (N), which we may and do fix as {1/N(≡ ∞), 1/p 1 , 1/p 2 , 1(≡ 0)}. It is easy to see that the constant term of F a is precisely the constant term of ch V G |W N a multiplied by the width of the cusp, which in this case is Na. Using this observation, we obtain the dimension formula stated in the theorem after some simplification steps.