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 Maaß forms, especially Weierstrass mock modular forms, we establish several dimension formulas for certain holomorphic, strongly rational vertex operator algebras, complementing previous work by van Ekeren, Möller, 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 [53,54] 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 [16] later extended the original observations to the famous Monstrous moonshine conjecture. Frenkel, Lepowsky, and Meurman [30][31][32] were the first to construct a vertex operator algebra V whose character 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 [16]. 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 [46,47], which has been proven in general by Carnahan [11]. A first special case of this, now called Baby Monster moonshine was established earlier by Höhn [37]. Other instances of moonshine related to VOAs include Conway moonshine [27] and various instances of umbral moonshine [3,14,26,28].
In recent new developments of moonshine, new connections to the arithmetic of elliptic curves have been discovered [4,23,24]. In [23] 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 [23,Theorems 1.3 and 1.4]. See also [25,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 Sect. 2.1 for definitions of these terms) and proving the "completeness" of a list of 71 Lie algebras devised by Schellekens [49], which is now known to contain every possible V 1space of such a VOA by work of various people (see for instance the introduction of [56] for references), van Ekeren, Möller, and Scheithauer [56] 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 [45] and for the sake of simplicity, we only give this special case here. The reader is referred to Sect. 2.1 and the references given there for the relevant definitions.
Theorem Let V be a holomorphic, strongly rational VOA additionally satisfying the positivity assumption 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. 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 [56] 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 [56] 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 Sect. 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 Sect. 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 the question of the rationality of the value ζ ( E ; L(E, 1)) has not been investigated so far. It is known due to a classical result of Schneider [50,Chapter II,§4,Satz 15] that the value of the uncompleted zeta function ζ ( E ; L(E, 1)) is in fact 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
for some VOA V as in Theorem 1.1, then the value ζ ( E ; L(E, 1)) is rational.
In a very recent preprint [44], 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 [45] quoted above for all primes p.
In the proof of Theorem 4.12 of loc. cit., Möller and Scheithauer show that if the order of the automorphism group G is any prime p such that the genus of X 0 ( p) is greater than zero, one obtains the lower 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] 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, one finds the stronger statement that we have indeed the following identity for the constant C E from Theorem 1.1, Atkin-Lehner eigenvalue ε ∈ {±1}. Then we have Essentially, the formula in Theorem 1.3 also appears on [44, p. 24], but was proven using a different kind of pairing. We note that loosely speaking, one may interpret Theorem 1.
where the operators B d are defined in Proposition 2.8.

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 Sects. 2.3 and 3.1.

Remark 1.6
As our proof will show, the statement of Theorem 1.4 remains valid for all squarefree 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 square-free numbers N in this fashion. This way, one may obtain rationality results for the constant terms of these series in analogy to Corollary 1.2. It is however not known to the authors whether these constant terms are directly related to special values of interesting functions like the Weierstrass zeta function.
The rest of this paper is organized as follows. In Sect. 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 Theorems 1.1, 1.3, and 1.4 as well as a more general version of Theorem 1.1 and its proof.

Orbifold VOAs
The construction of the moonshine module V [30][31][32] 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 [17,18]. The construction of V was subsequently interpreted as the first example of an orbifold model that is not equivalent to a lattice vertex operator algebra [32]. 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 [19,45,55] 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 [29,32,40] 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 must satisfy several axioms (see Sect. 8.10 of [32]). In particular, the coefficients of the vertex operator attached to the conformal vector generate a copy of the Virasoro algebra of δ 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 [29]). A module M whose only submodules are 0 and itself is called simple or irreducible. A VOA V for which every admissible V -module decomposes into a direct sum of (ordinary) 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 Sect. 5.2 of [33]). We say a vertex algebra V is self-dual if the module V is isomorphic to its dual V (as a V -module). In [57], Zhu introduced a finiteness condition on a VOA V , we say For G a finite group of automorphisms of V and g ∈ G, one can define a g-twisted module V (g) of V (see Sect. 3 of [21]). By [21], 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/N Z for N the order of g. By Proposition 4.2.3 of [45] (see also [21]) there is a representation The main theorem of orbifold theory [12,20,42] 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/N Z, the W (i, j) are irreducible V G -modules [43] and further, by the classification of irreducible modules in [45], there are exactly n 2 irreducible V G -modules (namely, the W (i, j) ). We make the additional assumption that g has type N {0} (a certain condition on the conformal weights of the g-twisted modules, see Definition 4.7.4 of [45]), 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 G -modules 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 .
From equation (7) of [56], we have the following transformation property.

Proposition 2.2
The character ch V G (τ ) is a modular function for 0 (N ) and moreover, for a For a cusp a of 0 (N ), van Ekeren, Möller, and Scheithauer [56] define the function In [56, 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.

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 [8].
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: 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 An easy and well-known consequence of this is the following corollary.

Corollary 2.6 A harmonic Maaß form in H 2−k (N )
with no pole at any cusp is a holomorphic modular form.

Operators on modular forms
Hecke operators are certainly the most important operators on modular forms. We first review their definition and some basic properties. For this, consider for any N , m ∈ N the set 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 Another important set of operators is given by the Atkin-Lehner involutions. For any exact divisor Q of N , i.e. Q | N and gcd(Q, N /Q) = 1, we define the Atkin-Lehner operator via the matrix 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 [15, 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.
(i) As matrices, we have W Q = B −1 Q γ = γ B Q for γ, γ ∈ 0 (N /Q) and where we set (vi) If Q = p is prime, then f |U p + p k/2−1 f |W p transforms like a modular form for 0 (N / p).

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 [34,35] and was developed further by Alfes et al. [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 2 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 the modular parametrization of E. Then the non-holomorphic function where · denotes the Petersson norm, satisfies ζ ( E ; z + ω) = ζ ( E ; z) for all z ∈ C \ E and ω ∈ E .
The newform f E has a Fourier expansion f E (τ ) = ∞ n=1 a E (n)q n with q = e 2πiτ . Denoting by 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 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 where 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 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 for some α > 0.
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 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 ).

Corollary 2.12
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, 3 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 + O(q 11 ) ∈ 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.

Proof of Theorem 1.4
Before proceeding to the proof of Theorem 1.4, we require a general result on the action of Hecke operators on Poincaré series. Recall that one may formally define a Poincaré series of weight k for the group ≤ SL 2 (Z) by averaging a suitably periodic seed function ϕ : H → C over the coset representatives ∞ \ where ∞ = Stab (∞) denotes the stabilizer of the cusp ∞, i.e.
If the defining series converges absolutely, this defines a function which transforms like a modular form of weight k under (see for instance [48,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 [48,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 4 so that the sum converges absolutely, and K (m, n, c) denotes the Kloosterman sum where the sum runs over all d modulo c with gcd(c, d) = 1 and dd ≡ 1 (mod c). Kloosterman sums satisfy the so-called Selberg identity, This identity was first noted without proof by Selberg [51]. The first published proof was found by Kuznetsov [39] using his famous summation formula, and an elementary proof was found by Matthes [41]. Using this, we can show the following general result.
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 seen 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 N c, ν, 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 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 [7]). In [38, 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 [15,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 form 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)  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   (N / p)), 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- (3.10) Now Proposition 2.3 implies that 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,W p (0), we arrive at the dimension formula stated in Theorem 1.1 We now proceed to the proof of Theorem 1.3. Since a(1) = 1, the formula claimed in Theorem 1.3 follows.

Proof of Theorem 1.3 Since ch
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 square-free 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). 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 N a. Using this observation, we obtain the dimension formula stated in the theorem after some simplification steps.