Dimension formulas for modular form spaces of rational weights, the classification of eta-quotient characters and an extension of Martin’s theorem
Abstract.
We give an explicit formula for dimensions of spaces of rational-weight modular forms whose multiplier systems are induced by eta-quotients of fractional exponents. As the first application, we give series expressions of Fourier coefficients of the -th root of certain infinite -products. As the second application, we extend Yves Martin’s list of multiplicative holomorphic eta-quotients of integral weights by first extending the meaning of multiplicativity, then identifying one-dimensional spaces, and finally applying Wohlfahrt’s extension of Hecke operators. A table containing of such eta-quotients is presented. As a related result, we completely classify the multiplier systems induced by eta-quotients of integral exponents. For instance, there are totally such multiplier systems on for any fixed weight. We also provide SageMath programs on checking the theorems and generating the tables.
Key words and phrases:
modular form, dimension formula, rational weight, Dedekind eta function, Hecke operator, multiplicative eta-quotient2020 Mathematics Subject Classification:
Primary 11F12; Secondary 11F20, 11F25, 11F30, 11L05, 30F101. Introduction
1.1. Dimension formulas
A holomorphic function defined on the upper half plane is called a modular form if it satisfies two conditions: first for all in some discrete matrix group , being an integer or half integer, called the weight, and being a multiplier system of ; second is holomorphic at all cusps of , the meaning of which will be clarified in Definition 2.1. Let the space of all modular forms with given , and be denoted by .
Modular forms, spaces of modular forms and their variants play important roles in mathematics. In the study of these topics, having an explicit formula for the dimension of the complex vector space is crucial to some applications. For instance, would imply that any function in is an eigenfunction for a family of operators called the Hecke operators and hence we obtain nontrivial relations among the Fourier coefficients of .
A natural and elegant way for computing is to use the Riemann-Roch theorem and the Riemann-Hurwitz formula. Petersson [1, p. 194] applied this method and gave a dimension formula which he called the generalized Riemann-Roch theorem. Petersson’s formula concerns arbitrary Fuchsian group of the first kind, arbitrary complex weight and arbitrary multiplier system while this formula is not so explicit in the sense one can not directly compute the dimension using elementary operations and numerical information about and . To our best knowledge, Shimura [2, Section 2.4] gave explicit formulas for arbitrary, being an integer and trivial first. Another way for computing is to use the Eichler-Selberg trace formula for Hecke operators; c.f. [3, 4] for the case being the full modular group, trivial and [5] for the case and induced by a Dirichlet character modulo , both dealing with integral weights. See also [6]. For the half-integral weights, Cohen and Oesterlé [7] gave an explicit dimension formula for the case , being the product of the multiplier system of the theta series and that of a Dirichlet character modulo . Since then, there appear many excellent works on computing for certain special or special , or computing the dimensions of certain subspaces; c.f. [8], [9], [10] and [11].
Modular forms of rational weights are less attractive to mathematicians than those of integral or half-integral weights. We know little about them. For instance, it seems no Hecke theory has been attempted. (Maybe there is no such theory.) However, there actually exist many such forms and more importantly, there are interesting applications, e.g., to noncongruence modular forms. Explicit dimension formulas for spaces of rational weights have been obtained by Ibukiyama [12, Lemma 1.7], [13, p. 5] in some special cases, using essentially the method of Petersson [1], but no proof is given.
As our main result, we give explicit formulas for where is any rational number, is the multiplier system of any level eta-quotient of fractional exponents . See Definition 2.1 for the exact meaning of and (6) for that of . The proof is based on Petersson’s method [1] and we provide the full details. The following theorem is a special case of Theorem 4.2, which is our main theorem.
A special case of the Main Theorem.
In particular, if , then (1) always holds. For any rational with , there are also infinitely many pairs such that can be computed using (1). See Section 7 for complete lists of such pairs for and being integers. The dimensions for and in the case and is the product of the multiplier system of the theta series and that of a Dirichlet character modulo are previously known: Serre and Starks [14] gave explicit bases of the spaces of weight ; Cohen and Oesterlé [7] established relations between spaces of weight and those of weight . The important and interesting problem of computing dimensions in weight is difficult and the most complete result about this was obtained by Deligne and Serre [15]. Using their theory, one can compute for any and induced by any Dirichlet character modulo although there is no explicit formula.
The difference between our formulas for with and others’ is that we deal with those induced by eta-quotients while the existing formulas are about those induced by Dirichlet characters or the multiplier system of . Moreover, when , our formulas include the one in [12, Lemma 1.7] and [13, p. 5] as special cases.
After preparing, stating and proving the main theorem and establishing some related tools (Proposition 5.1, Theorem 6.8, Tables 1, LABEL:table:wt1 and Section 7.3), we will give mainly two applications, both of which are based on identifying one-dimensional spaces. The first application concerns rational-weight modular forms and the second concerns ordinary eta-quotients whose exponents are all integers.
1.2. Application I
We give a series expression of the Fourier coefficients of the -th root of certain infinite -products. See Corollary 8.8 for the details. To avoid overlapping with the main text, here we give a randomly chosen example which is different from Examples 8.9 and 8.10.
Proposition 1.1.
We have
where throughout the paper, and
Corollary 8.8 contains infinitely many such identities of level , extending a previous result of the author [16, Theorem 7.1] which concerns levels and . For the outline of the proof, say of Proposition 1.1, let the infinite product be , which is an eta-quotient of fractional exponents. Then where is the multiplier system of . There is as well an Eisenstein series in ; c.f. Definition 8.3. Now we apply Theorem 4.2 and find that . Hence and are proportional. The identity thus follows by figuring out the Fourier coefficients of .
1.3. Application II
This is the major application. In 1996, Martin [17] obtained the complete list111There is a misprint in [17, p. 4853]. The entry should be corrected to . of integral-weight holomorphic eta-quotients (with integral exponents) satisfying that
-
(a)
the multiplier system of is induced by some Dirichlet character,
-
(b)
if we write , then for any coprime positive integers.
We will discard condition (a) and seek for arbitrary holomorphic eta-quotients (with integral exponents) satisfying a multiplicativity property similar to the one in condition (b). We will also give many interesting new identities involving Fourier coefficients of these eta-quotients. Let us first present some randomly chosen examples. For the basic knowledge about Dedekind eta function and eta-quotients, see the second half of Section 2.
Example.
Example.
Let . Then whenever are square-free positive integers with . See Example 9.29 for details.
Example.
Let . Then
where is square-free. Note that refers to the Kronecker-Jacobi symbol. See Example 9.23 for details.
Martin [17] proved his results using Hecke operators in the sense of [18] while we prove our results using Wohlfahrt’s extension of Hecke operators [19]. See also [20, Section 3] for a theory of the double coset version of these operators. These operators are denoted by , where runs through a multiplicative submonoid of the positive integers; c.f. Corollary 9.13. As a prerequisite, we give an explicit formula for the action on Fourier coefficients; c.f. Theorem 9.15. Then we aim to find holomorphic eta-quotient such that with . At this point Theorem 4.2 enters into play. If , whose level is and character is , lies in a one-dimensional space or , the subspace of cusp forms, then we will have for all . ( depends on .) This fact, which is stated in Theorem 9.19, is the main theorem of this application.
It seems that there are more than 10000 eta-quotients that are Hecke eigenforms (in the sense of (83)) for infinitely many . We list 2277 of them in Table LABEL:table:admissibleTypeI. They are what we call admissible eta-quotients of type I with levels
For the meaning of admissible eta-quotients of type I, see the beginning part of Section 9. For other levels, either there is no admissible eta-quotient of type I, or there are too many so it is not appropriate to list them in the paper. One can find the SageMath code that generates admissible eta-quotients of type I or II with any given level in Appendix A.
1.4. Other results, structure of the paper and notations
As a related result, we give the complete classification of linear characters that are induced by eta-quotients with on the double cover of . See Corollary 6.9 for the conclusion and Examples 6.10, 6.11, 6.12, 6.13, 6.14 for examples. For instance, for each , there are totally linear characters of the double cover of that are induced by of weight . As a comparison, there are only two characters of that are induced by Dirichlet characters modulo and these two characters are also contained in the above characters with any fixed .
The structure of the paper is as follows. We review some elements of rational-weight modular forms in Section 2. The second half of this section contains elements of Dedekind eta function and eta-quotients of fractional exponents. In Section 3 we associate a divisor on certain compact Riemann surface with any rational-weight meromorphic modular form and in addition, we give a detailed proof of the valence formula in the case of rational weights. In Section 4 we state and prove the main theorem via Petersson’s method [1]. The following three sections contain some tools which are needed by the following two applications: Section 5 contains a formula that relates the orders at cusps and the exponents (or the character) of an eta-quotient. This formula is due to Bhattacharya (cf. [21, eq. (5.13)]). Here we give more details on the proof. In Section 6 we classify all linear characters that are induced by eta-quotients with on the double cover of , as is described in the last paragraph. Section 7, which is subdivided into three subsections, contains tables of dimensions of modular form spaces of weight , and that can be computed by our main theorem. In Sections 8 and 9 we carry out the first and second applications, which has been described in Sections 1.2 and 1.3, respectively. Section 10 contains some comments, open problems and conjectures. Finally, many formulas in this paper have been verified and many tables are generated by SageMath [22] programs. Appendix A contains the usage of the code.
We collect some notations. For a set , the symbols and both denote its cardinality. The notation denotes the -vector space of functions from into . A multiset is defined to be the ordinary set . Its underlying (ordinary) set is still denoted by . If is a function, then is its restriction to where is a subset of . If are functions then is their composition: . For a family of sets , , the notation denotes the union and only when the family are disjoint can one use this notation.
For a group , denotes the subgroup generated by where is a subset of . If is a subgroup of then is the index. If acts on the left (right resp.) on a set , then ( resp.) denotes the set of orbits ( resp.) where . If X is itself a group, is a subgroup of and the action is the group operation, then ( resp.) is called the left coset space (right coset space resp.) For , denotes the stabilizer, that is, the subgroup of such that (or ). A character of is a complex linear character, that is, a group homomorphism from to , the multiplicative group of nonzero complex numbers. If for all , then is called unitary. If is another group and is a group surjection, then we say the character descends to a character on if there is a character of such that .
The symbol refers to the Euler totient function. For integers , the notation denotes the greatest common divisor and denotes the value of at . Let ; the summation range of is implicitly understood to be the positive divisors of . Let be a prime and ; then means but . The -adic exponential valuation, , is the largest such that . An empty sum is understood to be and an empty product be . For a real number , the notation means the largest integer not exceeding and . The functions and are the usual Euler Gamma function and Riemann zeta function respectively.
Let ; the Kronecker-Jacobi symbol is defined as follows:
-
•
is the usual Legendre symbol if is an odd prime.
-
•
equals if , and equals if .
-
•
equals if , and equals otherwise.
-
•
by convention.
-
•
is defined to make it a complete multiplicative function of .
-
•
if , and .
We shall freely use the following properties, especially in the proof of Theorem 9.15.
-
•
. When , it is required that .
-
•
. When , it is required that either , or one of , is and the other is nonnegative.
-
•
where are coprime odd integers, if and otherwise.
-
•
and where is odd.
-
•
The function is -periodic if ; it is -periodic if .
-
•
The function is -periodic if is odd and positive.
For the proofs, see [23, Section 2.2.2].
2. Modular forms of rational weight
In this section, we review some elements of the theory of modular forms of rational weight (cf. [16, 13, 24, 25, 12, 1]). The concept of modular forms of rational weight is a special case of that of generalized modular forms which was initiated by Knopp and Mason [25]. The multiplier system of a generalized modular form is not required to be unitary or to have finite order, while in this paper, the multiplier systems of all modular forms that occur are unitary and have finite orders. In addition, it seems that the modular forms of rational weights that occur in this paper can only be regarded as modular forms on non-congruence subgroups of with trivial character. As a comparison, Freitag and Hill [26] have recently constructed modular forms of weight on whose levels are certain congruence subgroups of . Furthermore, see [27, Section 2] for harmonic weak Maass forms of real weight and their relations with weakly holomorphic modular forms.
First some notations. Let be the group of all real matrices with positive determinants and be the subgroup of whose elements have determinant . Let be a positive integer. Then we define the -cover of by
where is the matrix in proportional to and means a function of . The notation is sometimes abbreviated to when is understood. The composition is given by
It can be verified straightforwardly that with this composition is a group. One should note that different choices of holomorphic branches of lead to different -covers. We choose the following branch throughout:
It is possible to make a topological covering of and hence becomes a Lie group whose smooth structure is transposed from using the above covering map (cf. [28]). The motivation for using -covers is that when dealing with modular forms of weight , the multiplier systems become group characters on -covers.
Let be a subgroup of ; then by we understand the preimage of under the natural projection , . For , let denote . (The cover index should be inferred from the context.) In addition, we set , which is a subgroup of .
The group is the set of integral matrices of determinant and is known as the full modular group. We also need the congruence subgroup
where is a positive integer called the level. It is well known that the index where denotes a prime (cf. [29, Coro. 6.2.13]). The matrices , , and are denoted by , , , respectively.
Let denote the field of meromorphic functions on the upper half plane and . Define the slash operator of weight by
where , and . It is immediate that acts on on the right via the slash operator of weight . Let be a subgroup of and be a character222A character always means a unitary linear character, that is, a group homomorphism to the group of complex numbers of absolute value . on . We say transforms like a modular form of weight and with multiplier system (or with character) if for any . If this is the case, and and has finite order for any , then for we have
where and provided that there is (depending on ) such that has no poles on . Moreover, the series converges normally on . To see this, note that there exists such that and hence . Therefore, the desired expansion follows from Fourier’s theorem or Laurent’s theorem. Define the order to be the least such that . If the expansion does not exist (that is, has a nonisolated singularity at infinity) then the order is undefined; if the expansion holds but for any there exists such that then define ; if is identically zero then define .
Definition 2.1.
Let and . Let be a subgroup of of finite index and be a character of finite order333If is not of finite order as considered by Knopp and Mason [25], this definition also makes sense. (that is, has finite order for any ). Let . Then we say is a meromorphic modular form of weight for with character if for any and for any . Suppose this is the case. Then we say is a weakly holomorphic modular form if it has no poles on ; it is a modular function if the weight ; it is a modular form (cusp form respectively) if it is weakly holomorphic and ( respectively) for any . The vector spaces (over ) of modular forms and of cusp forms are denoted by and respectively. When is trivial (which means and always takes the value ), we let and .
Note that the cover index can be recovered from the domain of and is also denoted by when needed.
Remark 2.2.
Suppose there exists a nonzero meromorphic modular form of weight for with character . Then we have the following facts:
-
•
.
-
•
If , then .
-
•
If is another positive integer with and , then descends to a character on , i.e., can be factored as where is the natural projection and is a character on (which is unique).
The proof is straightforward by considering slash operators acting on of which we omit the details. Motivated by the first two facts, we call a character on with the properties and if a multiplier system for of weight of cover index . Note that if , then the second property implies the first one. Finally, note that the third fact still holds when we require that is a multiplier system for of weight of cover index even if we can not find a nonzero form .
Remark 2.3.
If is a meromorphic modular form of weight for with character , and is a meromorphic modular form of weight for with character with , then it is immediate that is a meromorphic modular form of weight for with character . Moreover, if and are both modular forms (cusp forms respectively), then so is .
One of the aims of this paper is to give explicit formulas concerning and where and is a character on of some kind which we explain now.
We need the Dedekind eta function and its logarithm, which are defined by
(2) |
where is the real logarithm. The transformation equations of under are obtained by Dedekind (cf. [30, Equation (12), Section 3.4]):
(3) |
where with and is the Dedekind sum
(4) |
In the above definition, if and if . Set
(5) | ||||
Fix a positive integer . Then the transformation equations of follow from that of and can be expressed as , where is the multiplier system for of weight of cover index defined by
The fact that (when we give (5) this is tacitly assumed) follows from the above formula with , the fact is generated by and and the fact .
Let . By an eta-quotient of level and cover index we understand a product with such that for any . Thus an eta-quotient of cover index is just an ordinary eta-quotient whose exponents are integers. The fractional powers are defined by (cf. (2)). Since has no poles on , the eta-quotient is a weakly holomorphic modular form of weight for with character
(6) | ||||
The above formula can be proved using (3), Remark 2.3 and the fact . Note that has no zeros on according to its infinite product expansion. Therefore any eta-quotient has no zeros or poles on . For the order at infinity, we have (cf. [16, Lemma 4.2])
(7) |
We recommend the reader to see [31, Section 2] or [21, Section 5] for more details on ordinary eta-quotients. If (7) are always nonnegative for all , we say is a holomorphic eta-quotient.
We will investigate the dimensions and where and is the character of an eta-quotient of weight , level and cover index in the next three sections.
Remark 2.4.
The reader should be warned that when dealing with half-integral weights, our notation may differ from other authors’, e.g. from the notation encountered in [32] and [14]. Let be a Dirichlet character modulo and let . The space in Serre and Stark’s notation is the same thing as in our notation where is the character of and is the character that maps to . The character is hidden in many authors’ notation of spaces and it sometimes appears in their definitions of slash operators or modular transformations or automorphic factors.
3. Divisors of modular forms
Our method relies on the classical Riemann-Roch theorem, so we recall some elements here. By a compact Riemann surface , we understand a compact connected Hausdorff topological space equipped with a maximal atlas (i.e., each is open in and is a homeomorphism from onto an open set in ) such that when and overlap, the transition map is holomorphic. It can be shown that is second-countable (cf. [33, p. 88]). Therefore, according to the well known classification of compact connected topological surfaces (cf. eg. [34, Theorem 10.22]) and the fact that Riemann surfaces are oriented, is homeomorphic to the -sphere or to the connected sum of copies of the real projective plane with . The number is called the genus of . (If is a sphere, then its genus is defined to be .)
A meromorphic differential on is by definition a holomorphic differential on where is a finite subset of such that if is any chart of , then is of the form on this chart where is a meromorphic function on whose poles are exactly . The basic feature of a meromorphic differential is the transformation equation between different charts: if is another chart that overlaps and on , then we have
The set of all meromorphic differentials on is denoted by which is obviously a complex vector space. Let denote the complex vector space of all meromorphic functions on as in Section 2. If there exists a nonzero , then the map that sends to is a -linear isomorphism. Such actually exists according to a fundamental result in the theory of Riemann surfaces (cf. [33, Theorem 1.10, Chapter IV]). As a consequence, nonzero meromorphic functions always exist on any compact Riemann surface.
By a (-valued) divisor on , we understand a function with finite support. We often write a divisor as a formal sum where . The term “divisor” traditionally refers to a -valued divisor but in this paper to a -valued divisor. The sets of all -valued divisors and of all -valued divisors are denoted by and respectively. Equipped with the pointwise addition, they are abelian groups. We define the degree of by , which is well-defined since the sum is actually a finite sum. Moreover, define the floor function as follows: for , set , where is the greatest integer that does not exceed . Finally, for two divisors and , we say if far any , and we say if but .
Generally speaking, with any meromorphic section of a holomorphic line bundle over one can associate a -valued divisor. Specifically, if , then define with being the least exponent in the Laurent expansion of at in any chart. For we define in a similar manner.
The compact Riemann surfaces we need are the modular curves where is a finite index subgroup of which we describe now. Let where is the projective line over which can be identified with together with a point . The group acts on on the left via . We endow with the topology generated by the usual topology of and the sets
where . It is immediate that with this topology is a Hausdorff space444The space is not locally compact and hence can not be a topological manifold., is an open subset of and acts on (on the left) by homeomorphisms. Let be the orbit space (endowed with the quotient topology) and be the quotient map. It can be shown that is Hausdorff (cf. eg. [35, Lemma 1.7.7]) and when is compact (cf. eg. [33, Proposition 14.6, Chapter IV]). Hereafter we always assume that . Write , a disjoint union. Then is open in and is a finite set since acts transitively on and hence . The orbits in are called cusps of and by abuse of language, the points in are also called cusps. The width of a cusp is defined by which is independent of the choice of the representative . We have (cf. [29, Proposition 6.3.8(b)])
We also need the notion of elliptic points. It is well known that the stabilizer of each point in under the action of is a cyclic group of order , the stabilizer of each point in is a cyclic group of order where and the stabilizer of any other point in is trivial. Thus for , , or since divides . If ( respectively) then we call an elliptic point for of period ( respectively). By abuse of language, we also call the number an elliptic point if is.
The description and verification of the atlas on that turns it into a compact Riemann surface are rather technical and tedious but it is basic and well known (cf. eg. [35, Section 1.8]). Let denote the resulting compact Riemann surface. We will mainly use hereafter so set for simplicity. Let be the genus of . Then by applying the Riemann-Hurwitz ramification formula to the holomorphic map , , noticing that the degree of this map equals and the genus of is , we obtain (cf. e.g. [36, Theorem 3.1.1] for the case is a congruence subgroup)
(8) |
where and are the numbers of elliptic points of of period and respectively and is the number of cusps of . More formally,
For , it is known that
(9) | ||||
(10) | ||||
(11) | ||||
(12) |
where denotes a prime, , and is the Euler function. For proofs, see [29, Corollary 6.2.13, Corollary 6.3.24(b)] and [36, Corollary 3.7.2].
Now let us associate a -valued divisor to any meromorphic modular form of rational weight. For integral or half-integral weights, this association is the same as the ordinary one555But it is different from the one described in [33, p. 299] (cf. [36, eq. (3.2) and (3.3)]). Our treatment has the feature that one need not distinguish between regular and irregular cusps.
Definition 3.1.
Let be a subgroup of of finite index, and . Let be a multiplier system for of weight of cover index (not assumed to be of finite order). Let be a nonzero meromorphic modular form of weight for with character . We define its divisor as follows:
-
(a)
If , then set where is the integer such that , .
-
(b)
If and satisfying , then set .
One can verify that is well-defined, which is not totally trivial but straightforward. The usefulness of this notion relies on the following two simple facts:
-
•
If is another nonzero meromorphic modular form of weight for with character , then we have in (cf. Remark 2.3).
-
•
If and is the trivial character, then descends to a meromorphic function on . We have where is the usual divisor of a meromorphic function.
Note that the factors and in Definition 3.1 are chosen to let the latter fact hold (to see this one must dive into the atlas of which we have omitted). Also note that the former fact holds because the factors and remain unchanged for all .
Similarly, we have and in particular .
A fundamental theorem on modular forms of rational weight is the following one, which in cases of integral or half-integral weights is sometimes called the valence formula.
Theorem 3.2.
Let us use the notation of Definition 3.1 and set . Then we have
Proof.
Suppose that is a disjoint union where and . Set . Then for any where . Since is not identically zero, the map is a linear character on . According to a presentation of (cf. [16, Lemma 5.2]) the order of this character divides and hence transforms like a modular form of weight for with trivial character. Since is meromorphic at cusps, so is . Therefore is a meromorphic modular form of weight for with trivial character. Applying the usual valence formula for even weights (cf. [29, Theorem 5.6.1]) we obtain . It remains to prove that , which is equivalent to . We now prove a stronger assertion, i.e.
(13) |
for any , where is the natural projection . In the case that , we write and set (similar to the notion of the width of a cusp in the group-theoretical aspect). Notice that where is the integer such that is nonzero. Thus we have
The underlying set of the multiset equals and the multiplicity of each element equals . It follows that
i.e., the desired assertion (13) holds. In the other case , we have and its width is . Therefore
The underlying set of the multiset equals and the multiplicity of each element equals . It follows that
i.e., the desired assertion (13) holds. This concludes the proof. ∎
Remark 3.3.
The above theorem holds even when is non-unitary and the proof remains unchanged. For instance, one can apply it to the generalized modular forms constructed in [25].
In the rest we need to know information about the divisor of an eta-quotient times a product of Eisenstein series on . We let
where . It is well known that and .
Proposition 3.4.
Proof.
The fact that is a nonzero meromorphic modular form follows from Remark 2.3. It remains to compute . The divisors of and on are known (cf. eg. [29, Proposition 5.6.5]) as follows:
where or , and if ; if . On the other hand, if we set , then for since has no poles or zeros on . For , we can find such that . It is known that (cf. [29, Corollary 6.3.24(a)]). It follows from this and (7) that
(14) |
Therefore
(15) |
where the three sums in the right-hand side are denoted by , and respectively hereafter. To compute , let be a disjoint union666Since , this is equivalent to , and as well to both of which are disjoint unions.. Then the underlying set of the multiset equals and the multiplicity of each element equals . Hence we have
Similarly, . For , we need a complete set of representatives of , i.e., the set of where and for each such that with , is chosen to satisfy and (cf. [29, Corollary 6.3.23]). It follows from this and (14) that
Inserting the expressions for , and into (15) gives the desired formula. ∎
4. The main theorem: Dimension formulas for rational weights
We recall the Riemann-Roch theorem here for proving the main theorem. Let be a compact Riemann surface of genus and . Then the Riemann-Roch space is defined by with the convention that . It is immediate that is a complex vector space and that . Similarly we define . Then the Riemann-Roch theorem states that
(16) |
provided that is integral, i.e., . Note that it is tacitly understood that . For a proof based on the existence theorems for harmonic functions on Riemann surfaces, see [33, p. 249]. Set ; we find that , that is, the dimension of the space of all holomorphic differentials is . Let be any nonzero meromorphic differential (necessarily exists) and . Then , is a -linear isomorphism. Now set in (16); we find that . Finally, if and , then and hence since the degree of a nonzero meromorphic function is . It follows that
(17) |
Our proof of the main theorem rests on the following general lemma, which is the key point for using the Riemann-Roch theorem.
Lemma 4.1.
Let be a subgroup of of finite index, , and be a character. Let be the natural projection. Suppose there exists a nonzero meromorphic modular form of weight for group with character . Then the map
is a -linear isomorphism. Moreover, let
(18) |
Then the map
is also a -linear isomorphism.
Proof.
Let be arbitrary. Since is holomorphic, is a modular function for group with trivial character. Thus is a meromorphic modular form of weight for group with character by Remark 2.3. Now assume and let be arbitrary. Since we have . It follows that
Hence . It is obvious that the considered map is a -linear injection. To prove the surjectivity, let be arbitrary, then by Remark 2.3 is a modular function for group with trivial character and hence it descends to some nonzero . For any we have
Therefore and the image of is from which the surjectivity follows.
The assertion on the second map can be proved in a similar manner and the only thing that need to explain is that if and only if . If and , then
On the other hand, if then and hence
It follows that . The converse can be proved similarly. ∎
Now we state and prove the main theorem.
Theorem 4.2.
Proof.
Set
According to Proposition 3.4 is a nonzero meromorphic modular form of weight for group with character . Hence by Lemma 4.1. Using Proposition 3.4 again we find that
(23) |
We now prove either (20) or (21) implies that where is the genus of (cf. (8)). First suppose (20) holds. If , then , and hence
If , set
We have
for . Since we have and hence . Therefore as a function of is increasing which means we need only to prove
This is actually equivalent to (20) according to (8) and (12). Thereby we have shown that (20) implies . Next suppose (21) holds, which is equivalent to
(24) |
Applying Theorem 3.2 and (14) to (noting here) and using the complete set of representatives of described in the proof of Proposition 3.4 we find that
(25) |
Inserting this into (24) we obtain as required.
Remark 4.3.
If neither (20) nor (21) holds, then the difference between the left-hand side and the right-hand side of equals according to (16). It follows that in all cases we have
where the right-hand side is always an integer. We can derive an upper bound777This upper bound is still valid if is replaced by any subgroup of finite index in . for as well. Suppose that . (When by Theorem 3.2.) Then
for if with , then by linear algebra we can find a nontrivial linear combination such that where is not an elliptic point. If then applying Theorem 3.2 to we reach a contradiction. Hence which means are linearly dependent.
Remark 4.4.
We can derive a formula for as well, using the second map in Lemma 4.1. However, it may happen that for certain and (22) holds while the corresponding formula for is not applicable. This happens precisely when but . Besides, when , we always have which is a well known fact when is integral and is induced by a Dirichlet character. In the rational weight and arbitrary multiplier system case, this holds as well since the Petersson inner product can also be defined. The details are omitted here.
5. Order-character relations
Let us assume (21) holds and consider Theorem 4.2. The sequence occurs in the formula for and is determined by the sequence via (19). Note that represents an eta-quotient (or its character) and represents the orders of this eta-quotient at cusps (or its divisor). Therefore (19) can be regarded as a map that sends the character represented by to the orders at cusps . In some potential applications, the sequence of orders is first given, e.g., when one want to known for fixed and , and then one works out via (19). Motivated by this, we need an inverse formula of (19). This formula is an enhancement of a statement in [37, p. 129] and is equivalent to [21, eq. (5.13)].
Let us fix some notations in linear algebra. For , denotes the set of positive divisors of and . Let be a -vector space of dimension , then a -indexed basis of is a sequence so that is a basis of . Let be a -vector space of dimension with a -indexed basis where is another positive integer and let be a linear map. The matrix of with respect to the pair is the -indexed sequence with the property . All linear algebra machinery works for such kind of matrices. The difference is just the underlying index sets: we use and the ordinary one is . We call the matrix a -indexed matrix and when a -indexed matrix.
Let such that and let , be -indexed and -indexed matrices respectively. Define
It is immediate that this is a well defined -bilinear map from to . Moreover it is universal among all bilinear maps on and hence is a tensor product. We call it the Kronecker product.
Proposition 5.1.
Let , and be in . Then the following two relations are equivalent:
(26) | ||||
(27) |
where denotes a prime, is the integer such that and
Proof.
Suppose such that . Then and are both invertible if and only if is and in this case by basic properties of the Kronecker product. Therefore it is sufficient to prove that
where is a prime, and . This is equivalent to
(28) | |||
(29) |
Note that
Now we begin to prove (28). In the case , we have
as required. In the case , we have
as required. In the case we have
as required. In the remaining case we have
which concludes the proof of (28). We can prove (29) in a similar manner which is tedious (there are so many cases) so we omit the details. ∎
Remark 5.2.
There is another useful formula concerning the matrix :
In another words, the Euclidean inner product of each column of and is equal to . This can be proved by applying Theorem 3.2 to . As a consequence, .
Example 5.3.
We present some examples concerning dimensions of spaces of weight for infinite many unitary characters. Suppose that is square-free for simplicity. Let such that . Then (20) with holds since in the current case. Thus (22) holds. According to the above remark we have and hence . Therefore (22) is equivalent to
(30) |
where is the genus of . The multiplier system is the character (6) where is determined by via (27) which in the current case is
(31) |
More generally, if is not divisible by and has no odd square factor except , then we have for any as well and hence (30) is still valid. However in this case, (31) should be modified slightly at the prime factor .
Now we try to find out one-dimensional spaces among the above spaces. Note that
so it is necessary or and . When , since is not divisible by and has no odd square factor except , then . For such if satisfies
When , we have . For such , if satisfies
Let us look at a very simple case . Since , if and only if (of course ). We have so is the multiplier system of which descends to a unitary character on . If , then . There are two completely different subcases in this case: and . If , then is trivial and the formula reads which is well known (cf. [29, Corollary 7.4.3]). Otherwise, if then , which implies that is the character of an eta-quotient of rational exponents. To our best knowledge, the dimension formulas in such situation are new. Moreover, it seems that is a noncongruence subgroup of so that our formulas may be applied to the theory of noncongruence modular forms.
6. The classification of characters induced by eta-quotients
In this section we give a complete classification of the characters of eta-quotients of level and cover index for any . The motivation is that, with this classification in hand, we can know exactly the set of for which can be calculated using Theorem 4.2. Since we only deal with the cover index , set in this section.
Now we establish some notations. Each represents an eta-quotient of level and cover index bijectively and with represents an eta-quotient of weight . Thus, set
and . Then which is a disjoint union. In fact, is a submodule of and each is a coset in . The element in is customary to be written as where is the standard basis of . Moreover, the character (6) with is denoted by to emphasize its dependence upon .
Two different vectors , in may correspond to the same character . The following lemma of Newman [38] tells us precisely when this happens.
Lemma 6.1.
Let , . Let and be vectors in . Then if and only if
Proof.
This is a special case of the last assertion of [20, Theorem 3.9]. Setting in that assertion and noting that if and only if they are -compatible give the desired equivalence. ∎
Remark 6.2.
It seems that this method does not work in the case since we can not find any generalized double coset operator (cf. [20, Definition 1]) between characters of eta-quotients of cover index .
As a corollary, for , is trivial if and only if , and is a perfect square. The set of all such is denoted by which is a subgroup of . We define
and . Thus , which is a disjoint union. Note that elements of are in one-to-one correspondence with characters of eta-quotients of level , cover index and weight according to Lemma 6.1, so to classify such characters we need only to obtain a complete system of representatives of . Moreover, the map that sends to is a bijection. Therefore, we have reduced our task to the study of . (For the result, see Theorem 6.8.)
Remark 6.3.
The sets given in the following definition are subsets of that occur in the complete system of representatives of .
Definition 6.4.
Let be a positive integer and be a prime divisor of . If then define . For , we define
For , we define
Finally, set . Note that .
We introduce a useful notation which will be used in the proofs below: if , then , or simply , means . This is an equivalence relation compatible with the addition of .
Lemma 6.5.
Let with and .
-
•
For any , and with , there exist such that
(32) -
•
For any , and , there exist and such that
(33) -
•
For any , , there exist such that
(34)
Proof.
First we prove (32). If or then (32) is immediate. Thus assume that . By the definition of , a solution of the system
(35) |
is also a solution of (32). Moreover, a solution of the system
(36) |
is a solution of (35). Since we have and . Thus the first equation of (36) is equivalent to the second one. Therefore let be arbitrary and set ; we obtain a solution of (36) and hence of (32).
Lemma 6.6.
Any element in can be represented as
(37) |
where and for any .
As a consequence, is a finite group and .
Proof.
Let be arbitrary. According to Lemma 6.5 we can assume that unless is a prime power or . Therefore there exist such that . (Explicitly, let for and .) It remains to find such that
(38) |
and for each . If then (38) is equivalent to
Since , the solution of this system is . If and , then (38) is equivalent to
By considering the subcases , and separately and splitting the congruences modulo to congruences modulo and , one can verify that this system is solvable. We omit the proof of the case , . If and , then (38) is equivalent to
As in the above case, by considering the subcases and separately and splitting the congruences modulo to congruences modulo and , one can verify that this system is solvable. The case , is obvious. Thereby we have shown (38) which concludes the proof. ∎
To state the main theorem of this section, let us introduce the system of congruences
(39) |
Then the element (37) is the zero in if and only if satisfies (39) according to the definition of .
Definition 6.7.
Let . For any ordering of (which means and for ), we define a sequence of positive integers as follows:
Note that is well defined since the set in the right-hand side always contains . In addition, be careful that the definition does not imply unless .
Theorem 6.8.
With the notation of Definition 6.7, a complete system of representatives of is given by
(40) |
Proof.
Let be arbitrary. According to Lemma 6.6 we can assume that with . By the definition of , there exists with . Hence subtracting a multiple of from we may assume that . Inductively, suppose we have adjusted such that for . Let with () and . This exists by the definition of . Subtracting a multiple of from we can assume that for . Therefore by induction takes the form of (40) modulo . We have proved that each coset in can be represented by an element in (40).
Corollary 6.9.
Let and . Then the characters (6) of eta-quotients of level , weight and cover index are in one-to-one correspondence with the vectors
Proof.
In the remainder of this section, we give examples of concrete sequences () for some special .
Example 6.10.
Let where is a prime and . Then and the sequence () contains a single element . The system of congruences (39) is equivalent to and in this case. Thus, and a complete system of representatives of is given by
As a consequence, for any there are exactly characters of eta-quotients of level , weight and cover index . It should be noted that, the character of an eta-quotient, say, of cover index may also be regarded as a character on (cf. the third fact of Remark 2.2). For instance, the character of descends to a character on . Such characters are not in the list above.
Example 6.11.
Let with . Then which is arranged in the increasing order. We need to calculate the sequence . The system of congruences (39) is equivalent to
One can verify directly that
Therefore, a complete system of representatives of with is given by
where and , if ; , if . As a consequence, for any there are exactly characters of eta-quotients of level , weight and cover index when . In addition, it is immediate that for we have and and for we have and . Thus, there are exactly ( respectively) characters of eta-quotients of level ( respectively), cover index and any fixed weight .
Example 6.12.
Let with . Then which is arranged in the increasing order. We need to calculate the sequence . The system of congruences (39) is equivalent to
One can verify directly that
Therefore, a complete system of representatives of with is given by
where , if ; , if . As a consequence, for any there are exactly characters of eta-quotients of level , weight and cover index when . In addition, it is direct that for we have and . Thus, there are exactly characters of eta-quotients of level , cover index and any fixed weight .
Example 6.13.
Let where is a prime and . Then which is arranged in the increasing order. We need to calculate the sequence . The system of congruences (39) is equivalent to
Using elementary number theory one can show that
Therefore, a complete system of representatives of with and is given by
with
As a consequence, for any there are exactly characters of eta-quotients of level , weight and cover index when and .
Example 6.14.
Let where are distinct primes and . Then . We need to calculate the sequence . The system of congruences (39) is equivalent to
Using elementary number theory one can show that
The expression for seems to be complicated but it actually depends only on and . For instance, if , then is simplified to . A complete system of representatives of is given by
with
As a consequence, for any there are exactly characters of eta-quotients of level , weight and cover index when are distinct primes and .
7. Dimension formulas for weights , , and small levels
In this section, we give values of all that can be calculated by Theorem 4.2 (throughout this section, in this theorem always takes the value ) for , and , and being the character of an eta-quotient of level , weight and cover index . There are only finitely many such formulas since the right-hand side of (21) tends to when and the set of is finite for each and (cf. Corollary 6.9). The following lemma gives an upper bound of that should be considered.
Lemma 7.1.
For , a stronger estimate888This is the best estimate if we want it to hold for all since it becomes equality when is a square. is with which we will prove below.
Proof.
Suppose where are primes, and . Note that for , we have
Thereby, according to [29, Corollary 6.3.24(b)]
(41) |
Now we begin to prove the inequalities for and , so suppose . If , then , . If , we consider two subcases: and . If , obviously . If , then and hence or for . If , then , and for . Therefore
If , then , and for . Therefore
This proves the inequality for . To prove the inequality for when , we consider the subcases and separately and proceed as in the proof for .
The algorithm for presenting all described above is as follows:
-
(a)
Let range over and let range over the positive integers . We do not miss anything according to Lemma 7.1.
-
(b)
Given , we arrange in any order and calculate the sequence (cf. Definition 6.7).
-
(c)
Let range over the vectors described in Corollary 6.9. According to this corollary, the corresponding ranges over exactly all characters of eta-quotients of level , weight and cover index .
-
(d)
Given and , we calculate via (19).
- (e)
Remark 7.2.
For a fixed , one can shrink the range of by picking out those such that . Hence, for , need only to range over ; for , need only to range over ; for , need only to range over a subset of .
All the above steps can be easily implemented in any computer algebra system. We program them using SageMath. See Appendix A for the usage of the code.
7.1. The weight
The dimensions obtained by the above algorithm are summarized in Table 1.
Example 7.3.
Let us consider the case . We have and as one can verify directly. Thus, there are totally characters of eta-quotients of level , weight and cover index . They are exactly the characters on of the following eta-quotients:
Among the characters, for precisely the four characters given by
(42) |
one can compute using Theorem 4.2 (that is, (21) holds with ) and the four dimensions all equal . For the other characters our method only gives that (cf. Remark 4.3). Let denote respectively the characters given by (42). Then according to (14) and Lemma 6.1 we have
Finding explicit generators of seems to be a bit harder since is only a weakly holomorphic modular form. However, we have module which can be verified by (39). It follows that
Finally note that for , while the Eisenstein subspace of is nontrivial for .
Example 7.4.
We consider another example in which there are totally characters. They have been described in Example 6.13 with , . We have and . Therefore the characters are exactly those on of the following eta-quotients:
Among the characters, for precisely the six characters given by
(43) |
one can compute using Theorem 4.2 and the six dimensions all equal . For the other characters our method only gives that (cf. Remark 4.3). Let denote respectively the characters given by (43). One can verify using (14) and Lemma 6.1 that
Remark 7.5.
There are totally nonzero spaces whose dimensions can be computed by Theorem 4.2 according to Table 1. Note that we restrict ourselves to the characters of eta-quotients of cover index , so the dimension formulas summarized in Table 1 are not direct consequences of the well known theorem of Serre and Stark [14] that gives an explicit basis of where , is the character of Euler theta function and is the character induced by any even Dirichlet character . For instance, when , there are two even Dirichlet characters and hence the theorem of Serre and Stark gives explicit bases of two spaces . As a comparison, there are totally characters of eta-quotients of weight , level and cover index among which the dimensions of spaces can be computed by Theorem 4.2— spaces are zero-dimensional and spaces are one-dimensional.
Remark 7.6.
Zagier observed that there are exactly primitive (which means the greatest common divisor of all the with is equal to ) eta-quotients of integral exponents that are modular forms of weight . This and the similar conjectures on higher weights were proved by Mersmann in his Master’s thesis. See [21] for a simpler proof. It seems that all the generators of the nonzero spaces whose dimensions can be computed by Theorem 4.2 (cf. Table 1) take the form where is one of the primitive eta-quotients and is a suitable positive integer. This is verified by the SageMath program for . See Appendix A for how to find the code doing this.
7.2. The weight
The dimensions obtained by the algorithm described above are summarized in Table LABEL:table:wt1. See Appendix A for the SageMath code that generates this kind of tables. Note that the characters are originally defined on since we are considering eta-quotients of cover index but they actually descend to characters on the matrix groups since the weight is .
We focus on the level in the rest of this subsection. According to Table LABEL:table:wt1, there are totally characters of eta-quotients of weight , level and cover index . They correspond to independent spaces among which the dimension of exactly one space can be computed by Theorem 4.2, namely, the space where is the character of . For this we have . One can show that by, for instance, a result of Gordon, Hughes and Newman (cf. [39, Theorem 1.64]) or by checking directly for being in a set of generators of . Thus, an explicit basis can be given using Eisenstein series constructed by Weisinger [40]. See also [29, Theorem 8.5.23]. This shows there is no cusp form in , which can also be proved using the tools developed in [15].
One may ask: is the space generated by holomorphic eta-quotients? The answer is no. According to (14), the functions
are holomorphic eta-quotients of level . Using Lemma 6.1 the characters of these four modular forms are equal to and hence they belong to . By their -coefficients these four functions are linearly independent. However there are no other holomorphic eta-quotients of cover index in so this space can not be generated by a set consisting of all eta-quotients. This can be seen as follows. Let be in with . Then for any where is given by (19). According to Theorem 3.2 (applied to ), (14) and the complete set of representatives of described in the proof of Proposition 3.4 we have of which there are only finitely many solutions . For each solution, we obtain via (27) and then check whether and the character corresponding to is the same as using Lemma 6.1. In this way we find that there are exactly four holomorphic eta-quotients of cover index in (totally holomorphic eta-quotients, of which are primitive).
7.3. The weight
There are totally spaces whose dimensions can be calculated using Theorem 4.2. Among these spaces, the largest level is and the largest dimension is . See Appendix A for the usage of SageMath code that gives these data. The following observation will be used later: the dimensions of these spaces are all greater than when .
8. Application: one-dimensional spaces and Eisenstein series of rational weights
In [16, Section 7], the author gives infinitely many identities whose left-hand sides are Eisenstein series and right-hand sides are eta-quotients of rational weights for the levels and . Using Theorem 4.2 (with ), we find new identities of this kind for the level in this section.
First let us rewrite Theorem 4.2 more explicitly for . We have , . Let , , be rational numbers and set . Let
(44) |
Our aim is to find an Eisenstein series of weight equal to . We only consider the Eisenstein series defined at the cusp , so assume which means does not vanish at the cusp . Since must be a holomorphic eta-quotient, we assume . Therefore,
Now the first inequality in (21) becomes , which holds since . Consequently, (22) with is applicable. We summarize:
Proposition 8.1.
Let and be rational numbers satisfying and . Let such that . Then we have
where is the character of and .
Proof.
We have shown that (22) with holds. A simplification gives the desired formula. ∎
Corollary 8.2.
Let the notation and assumptions be as in Proposition 8.1. Then if and only if
Moreover, suppose ; then if and only if .
Note that when , then . Hence if contains an Eisenstein series, then an identity that relates the eta-quotient and the Eisenstein series follows. In the rest we only consider the case in which nonholomorphic Eisenstein series are avoided. Similar identities can also be derived in the cases , which we will do in the future work.
Recall the definition of Eisenstein series of rational weights greater than :
Definition 8.3 (Definition 3.1, [16]).
Let be positive integers, and let that is greater than . Let be a finite index character such that . Let and such that . If , then we define the Eisenstein series on the group , of weight , with character and at cusp as
In the above definition, is the width (c.f. Section 3). If where are coprime integers, then . The basic properties of these are collected in [16, Section 3].
Now let and let be as in Proposition 8.1. Since the Eisenstein series is well-defined provided that , that is, . The main result of this section is the following:
Theorem 8.4.
Let and be rational numbers satisfying
(45) |
Let be a positive integer such that . Let be the character of . Set and
Then we have
(46) |
Proof.
In the rest of this section we will write out the Fourier expansion of which will give us a more explicit form of the identity (46).
Lemma 8.5.
For any rational numbers with we have
where
(47) |
with being any integers such that .
Proof.
Proposition 8.6.
With the notation being as above, we have
where
Proof.
For , set
Thus, since if and , where is the Riemann zeta function and is the Möbius function. Note that . This fact, together with the Lipschitz summation formula
implies that
Therefore,
(48) |
By the definition of we find that
Inserting this into (48) gives the desired formula. ∎
Remark 8.7.
The reader may compare the above proposition with [16, Theorem 6.2].
We can now give an equivalent statement of Theorem 8.4 in a form that gives Fourier coefficients of certain infinite -products:
Corollary 8.8.
Proof.
Example 8.9.
Example 8.10.
Corollary 8.8 contains as well some identities involving ordinary eta-quotients, that is, eta-quotients with integral exponents. For instance, set , and hence and . For this setting, (45) holds. The identity reads
where
We will return to this function, i.e., in the next section (c.f. Section 9.4.1) and show that it is, among others, a Hecke eigenform in a generalized sense. (In [20, Section 4], the authors obtained some Hecke eigenforms in the generalized sense. However, for , only Hecke eigenforms of weight , , are obtained. The current example gives a Hecke eigenform of weight which can not be achieved using methods in [20].)
9. Application: an extension of Martin’s list of multiplicative eta-quotients
In 1996 Martin [17] obtained the complete list of integral-weight holomorphic eta-quotients that are eigenforms for all Hecke operators. This generalized a previous result of Dummit, Kisilevsky and McKay [41]. The term “eta-quotient” in [17] refers to one whose multiplier system is induced by a Dirichlet character (necessarily real) and the Hecke operators are in the sense of [18].
In this section, we provide an algorithm for finding out all holomorphic eta-quotients of integral exponents (integral or half-integral weights) and of arbitrary multiplier systems such that either of the following conditions holds:
-
(a)
can be computed using Theorem 4.2 (with ) and is equal to ,
- (b)
where is the weight, is the least common multiple of all with (when for all , let ) and is the character of . (Note that throughout this section as in Section 6.)
If satisfies either of the above conditions, we say it is admissible. If satisfies the condition (a) then we say it is admissible of type I; if it satisfies (b) then we say it is admissible of type II. Moreover, if satisfies either of the conditions
-
(a’)
,
-
(b’)
but and is a cusp form,
we say is weakly admissible. Thus an admissible eta-quotient must be a weakly admissible eta-quotient. Similarly, we can define the concept of weakly admissible eta-quotients of type I and type II. For each weakly admissible , we will show that it is a Hecke eigenform in the sense of Wohlfahrt [19]; c.f. Theorem 9.19. Therefore, our list of admissible eta-quotients can be considered as an extension of Martin’s list.
9.1. The algorithm for finding admissible eta-quotients
Throughout this subsection, let be a holomorphic eta-quotient where are integers and are equal to for all but finitely many . Let be the weight and , the level999The reader should notice that this usage of “eta quotient of level ” is different from that in the second half of Section 2. In the usage here any eta-quotient has a uniquely determined level while in the usage before, an eta-quotient, say , may be regarded as of level , or of level , etc., be the least common multiple of (with the convention if for all ). Let be the character of (c.f. (6) with ). Since is holomorphic at all cusps we have for all ( are defined in (19)). By Remark 4.3 we have
Lemma 9.1.
If , then is not admissible. As a consequence, there are only finitely many admissible eta-quotients.
Proof.
Assume by contradiction that is admissible. If the condition (a) holds, then
(49) |
By (41) we have . This, together with (49) and (9), implies that which contradicts the assumption. On the other hand, if the condition (b) holds. Since , there are totally101010These functions, in the rational weight () situation, constitute a basis of the Eisenstein space which, as in the integral weight case, is defined as the orthogonal complement of the space of cusp forms under the Petersson inner product. In addition, one can prove that where is (18) with arbitrarily chosen. Eisenstein series in , where
(50) |
( is the width; c.f. Section 3, is any matrix in such that ) and these functions are -linearly independent. See [16, Theorem 3.3]. By condition (b) we have . Since in the current case is a cusp form, these Eisenstein series and together constitute a basis of and . Hence
(51) |
This inequality, together with (41), (9) and the fact , implies that which contradicts the assumption. Therefore, we have shown that both of conditions (a) and (b) lead to contradictions, so is not admissible.
Now we begin to prove that there are only finitely many admissible eta-quotients. Since is a holomorphic eta-quotient of integral exponents, . For , we must have . For and , we have shown in Remark 7.2 that there are only finitely many such that can be calculated using Theorem 4.2. For each pair , the holomorphic eta-quotients of level and weight constitute a finite set since the cardinality of this set does not exceed the cardinality of the solution set of , (c.f. Proposition 5.1 and Remark 5.2) which is finite. This proves that there are only finitely many admissible eta-quotients of weights , and . For each weight , there exists an such that when we have . Thus, the level of an admissible eta-quotient of weight does not exceed and hence there are finitely many of them. Finally, if and , we have
and if , , then the left-hand side still . It follows that if the weight of is greater than or equal to , then is not admissible. Therefore, there are only finitely many admissible eta-quotients. ∎
Corollary 9.2.
If , then is not admissible. Moreover, if , then is not admissible of type I.
Proof.
Suppose ; we have . If , or , then by Tables 1, LABEL:table:wt1 and Section 7.3, can not be calculated using Theorem 4.2 with (that is, the first inequality in (21) does not hold) for any . Thus, is not admissible111111Although is possibly weakly admissible.. Otherwise, if , then obviously . It follows from this and Lemma 9.1 that is not admissible.
Now we begin to prove the latter assertion; suppose . Certainly . According to Table 1, Table LABEL:table:wt1 and Subsection 7.3, if , or , then provided it can be calculated using Theorem 4.2 (with ). Hence is not admissible of type I. If , then for but we have
See Appendix A for the SageMath code verifying this. If , then (c.f. (11)), and hence
Therefore is not admissible of type I for , . ∎
According to the above corollary and Lemma 9.1, the following algorithm can be used to present all admissible nonconstant eta-quotients.
-
(a)
Let range over .
-
(b)
For a fixed , set , where is defined in (9).
-
(c)
Let be fixed as above. For any , let range over nonnegative integers such that .
- (d)
-
(e)
If are not all integers, or they are all integers but is not the least common multiple of , then we continue to the next value of in Step (d) since in these cases either is not an eta-quotient of integral exponents or has been considered in a previous step.
-
(f)
We check whether (21) with holds. If it does not hold, is not admissible so we go to Step (d) and consider the next value of .
-
(g)
We check whether via (22). If this is the case, then we find an admissible . We record it, go to Step (d) and consider the next value of .
-
(h)
We check whether , is a cusp form (equivalent to for all ) and where is given in (50). If this is the case, then is admissible which we record; otherwise is not admissible. We have completely determined whether this is admissible or not so we go to Step (d) and consider the next value of .
-
(i)
Since for each there are only finitely many values of , this algorithm halts in finitely many steps.
Proposition 9.3.
The above algorithm gives all admissible nonconstant eta-quotients with no repetition.
Proof.
First, it is immediate that the functions recorded in Steps (g) or (h) are admissible nonconstant eta-quotients. Second, suppose and are functions recorded in Steps (g) or (h) corresponding to different pairs and . If , then the exponents of are different from those of since their least common multiples are different. Hence . Otherwise but their is some such that . Thus the sequences of exponents of and are different by Proposition 5.1, and hence as well. Finally, let be any admissible nonconstant eta-quotient whose level is and weight is . By Corollary 9.2 we have ; by Lemma 9.1 we have . Define by (19) (with and replaced by ). It is immediate that . Moreover, since is holomorphic at all cusps. We have (c.f. Remark 5.2) and hence where . It follows that in Steps (a) and (c) the variable can actually take the value and can take the value . The corresponding in Step (d) is equal to according to Proposition 5.1. Therefore, is recorded in some step of the algorithm which concludes the proof. ∎
Remark 9.4.
If Step (h) is removed, then the remaining part of the algorithm gives all admissible nonconstant eta-quotients of type I. If this is the task, then we can shrink the set that ranges over in Step (a) to by the latter assertion of Corollary 9.2. In the following subsections, we will only consider such eta-quotients because finding those of type II need more effort and the program takes rather long time121212We have provided the SageMath code that can produce admissible eta-quotients of type II. See Appendix A for the usage. which we will do in a future paper. The simplest example of type II is since it is a cusp form, and there is an Eisenstein series in . As a comparison, is an admissible eta-quotient of type I for since . See [20, Section 5].
9.2. The table of admissible eta-quotients of type I
For the SageMath program realizing the algorithm for finding admissible eta-quotients of type I in the last subsection, see Appendix A. Here (Table LABEL:table:admissibleTypeI below) we present all such eta-quotients for levels and where , are distinct primes.
where | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
, | |||||
Remark 9.5.
Each entry in Table LABEL:table:admissibleTypeI is different from others. For instance, although the eta-quotient , when considered as , generates the one-dimensional space where is the character of , we list only in the group , not to avoid repetition. As a comparison, Tables 2 and 3 of [20], whose entries constitute a subset of Table LABEL:table:admissibleTypeI above, contain repeated eta-quotients. For example, is listed both in the groups corresponding to and there.
Remark 9.6.
One should notice, e.g., that the formal product which represents is in Table LABEL:table:admissibleTypeI but is not. This is because can not be computed using Theorem 4.2 (with ) for any but can with being the character of as one may directly see by comparing both sides of the first inequality of (21). See also Table 1 and Table LABEL:table:wt1. Nevertheless, we can prove that is weakly admissible, as the following proposition shows.
Proposition 9.7.
Let be an eta-quotient (of integral exponents). If there is a positive integer such that is weakly admissible, then is weakly admissible. As a consequence, The -th root, where , of an eta-quotient in Table LABEL:table:admissibleTypeI is weakly admissible provided that for all .
Proof.
Let , be the level and weight of respectively. Let be the character of . Then is the character131313Here means the character on that sends to where and . of . First suppose is weakly admissible of type I, which means is holomorphic at all cusps and . Then obviously is holomorphic at all cusps so . To prove , let be arbitrary. Then and hence for some . It follows that where is an -th root of since is connected and is holomorphic on . This proves that is weakly admissible of type I. The case of type II is proved in a similar manner with spaces such as replaced by . ∎
Remark 9.8.
It should be noted that if is weakly admissible of type II, then we can only assert that is weakly admissible; we can say nothing about whether is of type I or II. For instance, consider , .
9.3. Generalized double coset operators
We recall the theory of generalized double coset operators developed in [20, Section 3]. This is a generalization of Wohlfahrt’s extension of Hecke operators; c.f. [19]. Let , be positive integers. Let be the character (6) where and are integers. Let be another sequence of integers such that and let be the character (6) with replaced by (again ). We define a formal expression (c.f. [20, eq. (28) and (30)])
(52) |
where , and are any integers (depending on , and ) such that and . If the dependence on , , and is important, then we also denote by or .
Theorem 9.9.
For being a meromorphic modular form of weight for the group with character , is well-defined (i.e., independent of the choices of ) and is a meromorphic modular form of the same weight for the same group with character provided that the following three conditions hold:
(53) | |||
(54) | |||
(55) |
where . Moreover, if the above conditions hold, then maps into and into respectively.
Proof.
Theorem 9.10.
Proof.
An immediate consequence of Theorem 9.9. ∎
Remark 9.11.
This theorem is still valid in the following two cases:
-
•
is weakly admissible of type II and is weakly admissible of type I,
-
•
is a cusp form that is weakly admissible of type I and is weakly admissible of type II.
Remark 9.12.
We are mainly interested in the case in Theorem 9.10.
Corollary 9.13.
Let be a weakly admissible eta-quotient (e.g., a function listed in Table LABEL:table:admissibleTypeI) of weight and level . We define a submonoid of the multiplicative monoid of positive integers as follows:
where
Then for any we have for some .
Proof.
Remark 9.14.
The monoid and the integer actually depend only on , so we sometimes write and instead.
In another words, any weakly admissible eta-quotient is an eigenform for the operators indexed by the infinite monoid . When and the character of is induced by some Dirichlet character, then by a result of Gordon, Hughes and Newman (cf. [39, Theorem 1.64]) we have and hence . Moreover, in this case, is proportional to the usual Hecke operator of index . Consequently, the functions in Table LABEL:table:admissibleTypeI are all Hecke eigenforms for appropriate infinite operator monoids in a generalized sense.
The identities become interesting only when we can express (52) in a more explicit form, at least one where do not appear. The following theorem gives such a formula which is key to the current topic. The reader may compare this with a previous result of Wohlfahrt [19, eq. (73) and (103)].
Theorem 9.15.
Let . For each , let be an integer and set
(56) |
Let be the character of , i.e. (6). Let be a meromorphic modular form on of weight with character and let . Then
-
(a)
we have the expansions (on )
where is some nonnegative number, are uniquely determined and is the operator defined in (52) with ;
-
(b)
for we have
(57) where
with ( respectively) if takes the form ( respectively), , if , , , and otherwise.
A few words of caution are in order. Note that and refer to Kronecker-Jacobi symbols; they are not fractions. Also note that in (57) we have set if . In addition, can be replaced by in the definition of and if is the eta-quotient itself, which is the case we will use below, then . Finally, if is holomorphic on .
Remark 9.16.
Proof of Theorem 9.15 and Remark 9.16.
We begin with the proof of (58). Set
in (52). (Theorem 9.9 and the assumption ensure that is well-defined.) Since and
(59) |
we have
To derive (58) from (52), we need only to prove
(60) |
for which we need the Petersson’s formula of :
(61) |
For a proof of (61) see [42]. Since we have
(62) |
The strategy141414The case has been successfully worked out in the proof of [20, Lemma 5.2]. The strategy here is essentially the one there. is to insert (61) into (62) and then eliminate using properties of Kronecker-Jacobi symbols. Inserting (61) into (62) gives
(63) |
where we have used the fact
(64) |
which are consequences of the assumption . Now the proof splits into three cases.
The case . We must have for any . Therefore
(65) |
Note that if then is an odd square and hence
Inserting this into (65) we find that
(66) |
If , the above expression is still valid. By (59) if we have
(67) |
For the last equality, see [20, p. 567, line -3]. If , then trivially . For the calculation of , we set
(68) |
There are four cases to consider. For the first case, , we have
(69) |
The third equality above follows from
since by (59) we have and . Moreover, we have
(70) |
(When , and , (70) does not necessarily hold, but we can always choose such that for which (70) holds. We always make such a choice.) Inserting (67), (69) and (70) into (66) and replacing by we obtain (60) as required. For the other three cases , and , we proceed similarly and obtain (60) likewise. However, if there is an extra difficulty: a factor appears and we should prove it equals . This is immediate if since implies . Now suppose . Assume by contradiction that ; we have . By the first relation of (64) we have from which . Since we have
which contradicts . Therefore, and hence .
The case , . By (59) if then and if then we can choose such that . (If is a solution to (59) with , then is another solution with .) We always make such a choice. Thus (63) becomes
Since we have . By the definition of (c.f. Remark 9.14) we have
(71) |
It follows that and
(72) |
Note that
where the last equality follows from the fact is odd and positive. Inserting this and into (72) we obtain
where the last equality follows just as in the deduction of (69). We thus have arrived at (60).
The case , . As in the last case, we have and . Moreover, must be odd by (59). For any with , that is, with , we have
Choosing a solution to (59) with and inserting the above identity into (63), we find that
We deal with the factor as in previous cases and thus simplify the expression for as
(73) |
There are six subcases: (c.f. (68) for )
-
(a)
, , and .
-
(b)
, , and .
-
(c)
, , and .
-
(d)
, , and . (Only in this subcase we have .)
-
(e)
, and . (We must have in this subcase.)
-
(f)
, and . (We must have in this subcase.)
We will only give the proof of the more difficult subcases (b) and (d) and omit the other four since the strategies are the same. For (b), we first prove . Assume by contradiction that ; then . It follows that
On the other hand, (71) still holds in this case, and hence
Therefore , that is, , which contradicts the assumption in (b). Hence . Note that both and are odd and positive, from which we deduce that
(74) |
The last equality holds since by (59) and we have and hence
An argument similar to the above deduction shows that
Inserting this and (74) into (73) and noting that is odd, we obtain (60) in the subcase (b). For the subcase (d), is a square. Since and we have and hence . Thus if we let then
Combining this and
we find that
(75) |
The calculation of is similar to that in above cases (e.g. (69) or (74)) and the result is
(76) |
For the factor in (73), note that , and hence
Inserting this equality, (75) and (76) into (73) we obtain
(77) |
Now we simplify the factor in above. By (59) and the facts , we find that . This, together with , implies . It follows that
(78) |
Since is a square, and we have
(79) |
In addition, since , and ,
(80) |
Inserting (79) and (80) into (78), then combining (77) and noting that , we arrive at (60) as required. This concludes the proof of (58).
Finally, we begin to prove Theorem 9.15. For Theorem 9.15(a), elementary Fourier analysis shows that
which converge on for some since and . By modularity and . In terms of Fourier coefficients,
It follows that unless and so is . Theorem 9.15(b), that is, (57), follows immediately from (58) whose details are omitted. ∎
In the important case we have and unless . Therefore, (57) becomes
(81) |
for . From this some elegant formulas for special cases follow:
Corollary 9.17.
We keep the notations and assumptions of Theorem 9.15 and assume that . Then
Moreover, if for any prime not dividing we have (e.g. is square-free or ), then
(82) |
Finally, if where is a prime not dividing and , then
Remark 9.18.
The sum over in the above formulas, (81) or (57) is either a partial sum of a geometric sequence or a Gauss sum according to whether is integral or half-integral. It is not hard to derive an explicit formula for this sum but we exclude this task here. For the case the reader may consult [20, eq. (58)] and [20, Lemma 5.6] for such formulas.
9.4. Identities involving Fourier coefficients of weakly admissible eta-quotients
The main theorem of Section 9 is the following:
Theorem 9.19.
Let be a weakly admissible eta-quotient (e.g., a function listed in Table LABEL:table:admissibleTypeI) where is the level. We keep the notations in (56) with . Then for any (c.f. Corollary 9.13) there exists a unique such that
(83) |
holds for any . Moreover, the number is equal to the left-hand side of the above identity with replaced by .
Proof.
The identities (83) have been verified numerically for , and being any function listed in Table LABEL:table:admissibleTypeI by a SageMath program. See Appendix A for the code. The rest of this section is devoted to useful consequences of Theorem 9.19 and concrete examples.
9.4.1. Closed formulas for Fourier coefficients of eta-quotients.
Let be a weakly admissible eta-quotient (e.g., a function listed in Table LABEL:table:admissibleTypeI) where is the level. We keep the notations in (56) with . Here let us consider the situation where we have
We have given a series expression of involving Dedekind sums for , , , in Example 8.10. This example is of course also listed in Table LABEL:table:admissibleTypeI. In fact, there exist very simple closed formulas for only involving Kronecker-Jacobi symbols at least for square-free—thanks to Theorem 9.19.
Theorem 9.20.
Let the notations and assumptions be as above. Let (c.f. Corollary 9.13) satisfy
(84) |
(e.g. is square-free or .) We require that at least one of and is odd. Then
where , and ( respectively) if takes the form ( respectively). In particular, if , then .
Proof.
Remark 9.21.
The formulas for in the above theorem seem like coefficients of Eisenstein series. This is actually the case since implies is not a cusp form. Since is weakly admissible, then it must be of type I, that is, . Therefore is in the Eisenstein space.
Remark 9.22.
In the case of half-integral weights, Theorem 9.20 can be used only for those with . However, there is no half-integral weight eta-quotient in Table LABEL:table:admissibleTypeI such that () can be computed using Theorem 9.20. Nevertheless, it is still worthwhile to include the case of half-integral weights in Theorem 9.20 since there may exist weakly admissible eta-quotients not listed in Table LABEL:table:admissibleTypeI whose coefficients can be computed using this theorem.
Example 9.23.
Let us consider an example of level which is not listed in Table LABEL:table:admissibleTypeI. The reader may use SageMath programs described in Appendix A to produce this eta-quotient and check the assertions given here. Set
Let be as in Proposition 5.1. Hence for and coprime to ; c.f. (14). We have
from which we see that is a holomorphic eta-quotient. Moreover, is admissible of type I. Thus Theorem 9.20 can be applied to . Note that in Corollary 9.13 is equal to and hence
Therefore for any where . Moreover,
It follows from Theorem 9.20 that
where is square-free. Consequently, for such , is either zero or a power of . Moreover, for any there exist infinitely many such that .
9.4.2. Multiplicativity of weakly admissible eta-quotients.
The Fourier coefficients of an eta-quotient in Martin’s list [17, Table I] satisfy whenever , are coprime positive integers. This is the reason they are called multiplicative eta-quotients. The proper generalization to weakly admissible eta-quotients is stated in the following theorem.
Theorem 9.24.
Let us keep the notations and assumptions of Theorem 9.19. Then the map that sends to is a multiplicative function, that is, we have for any with151515The gcd is the usual greatest common divisor in the monoid of positive integers, not in the monoid . These two concepts are different. For instance in the monoid , in the usual sense, but the unique common divisor of and in is . .
This theorem is an immediate consequence of the following general fact which in the special case is due to Wohlfahrt [19].
Proposition 9.25.
Let and , , be complex linear characters on the double cover . Let such that and are -compatible, and are -compatible. Then and are -compatible. Moreover, if then
(86) |
for any meromorphic modular form on of weight and with character .
For the concept of compatibility of multiplier systems, see [20, Lemma 3.1] for details. We say and are -compatible if for any we have .
Proof of Proposition 9.25 and Theorem 9.24.
First let us prove and are -compatible. Let be arbitrary. We have
In the second equality we have used the assumption and are -compatible and in the third equality the assumption and are -compatible. This proves the -compatibility of and .
Assume that . To prove (86) we need an equivalent definition of via double coset actions. For the proof of this equivalence see [20, eq. (28) and (30)]. Write
for . Then
where if we write with . The compatibility ensures that is well-defined. Therefore
(87) |
By [20, eq. (25)] with we can choose the following :
(88) |
It follows from the assumption and elementary number theory that if and . Therefore the map
is well-defined. By the theory of classical Hecke algebras, or more precisely, by Theorem 2.8.1(2) and Eq. (2.7.2) of [35], is a surjection and each inverse image has the same cardinality. Since is a singleton, is a bijection which means the range of summation in the right-hand side of (87) is essentially a set of representatives of the coset space . Now we can define a map, which is key to the proof,
where is the uniquely determined pair in such that . It is not hard to see that
(89) |
and that
(90) |
Since the map also satisfies (89), we have . Inserting this and (90) into (87) gives
Since is a bijection, we obtain (86) from the above equalities.
Before looking at examples, let us simplify some notations. Set and
Then according to Theorem 9.19 we have
We recall that here and below must be a weakly admissible eta-quotient.
Example 9.26.
Example 9.27.
Proposition 9.28.
Let be a weakly admissible eta-quotient (e.g., a function listed in Table LABEL:table:admissibleTypeI or Example 9.23) where is the level. We keep the notations in (56) with . Assume that and . Let satisfy , and . We require (84) holds for and . Moreover, if and , then we require . (See Theorem 9.15(b) for the definition of .) Then
where with
Proof.
If , then the above proposition holds trivially. We believe there are many weakly admissible eta-quotients with to which we can apply the above proposition. The most well-known example is the discriminant function , which in our terminology is an admissible eta-quotient of type II. The only example in Table LABEL:table:admissibleTypeI is the one presented below.
Example 9.29.
Example 9.30.
Let us give an example of admissible eta-quotient of type II. Set
We have
Since
we have and hence . By Theorem 4.2, where is the character of . (Of course this descends to a character of the matrix group since .) Recall that the number of Eisenstein series in is denoted by in (50). Since if and only if where and , among the four cusps in there is only one Eisenstein series which is defined at the cusp . Therefore . Since is a cusp form, we find that it is admissible of type II. It follows from Proposition 9.28 (applied to this ) that whenever are square-free positive integers with . It is worthwhile to notice that for other pair , the multiplicativity does not necessarily hold. For instance, , but .
9.4.3. An example of half-integral weight
The examples presented above are all of integral weights. To conclude this section we supplement an example of half-integral weight where we show how the Gauss sum in (81) can be simplified. Let
(93) |
The statistics of are
Thus . By Theorem 4.2 we have where is the character of and by Definition 8.3 the Eisenstein series can only be given at the cusp . Thus, is admissible of type II and Theorems 9.19, 9.24 can be applied.
Now we calculate for (c.f. Theorem 9.19). We have, by definition,
(94) |
Note that unless , that is, unless since are odd. It follows that for such we have ,
is an integer (depending on and ) and
(95) |
is, up to a simple factor, a Gauss sum associated with the character . To express the values of these Gauss sums, we let, for any odd positive integer ,
where denotes a prime. By [20, Lemma 5.6], if then ; if then
(96) |
where , are Jacobi symbols and ( respectively) if ( respectively). Inserting (96) and (95) into (94) and noting that , we obtain the following formula.
Proposition 9.31.
For and we have
where . In particular, if is square-free, then
Remark 9.32.
Since and , we have .
According to Theorem 9.24 (applied to (93)) we have whenever are coprime odd integers. In the special case and are square-free, this identity reads
(97) |
From this we find the genuine multiplicativity property of (93) as stated below. The reader may compare this to the integral-weight counterpart—Proposition 9.28.
Proposition 9.33.
Let . Let be coprime odd square-free integers. Then
Proof.
First suppose and are primes. By (97) we have
(98) |
It is not hard to prove, by the periodicity and multiplicativity of Jacobi symbols, that
Inserting these into (98) gives the desired identity in the case and are primes.
Second, suppose is a prime and is arbitrary. Again by (97) we have
(99) |
Since for ,
we obtain from (99) that
(100) |
The desired identities for prime and arbitrary now follows from (100), the already proven case and the induction on the number of prime divisors of .
Finally, if and are arbitrary, then, by the already proven cases, both sides of the desired identity are equal to and hence the identity holds which concludes the proof. ∎
We have discussed consequences of Theorem 9.24 applied to (93). The above exploration is also valid for any admissible eta-quotient of half-integral weight. (Of course the integral weight case is simpler to deal with.) In addition, for (93) or any admissible eta-quotient of half-integral weight, we can as well simplify the left-hand side of (83) as we have just done for . This will give more interesting identities about . We will not include more details about this due to the length of the paper.
10. Miscellaneous observations and open questions
More general multiplier systems. The dimension formulas stated in Theorem 4.2 concern multiplier systems induced by eta-quotients of fractional exponents. As a comparison, most of the formulas that have appeared in the literature concern multiplier systems induced by Dirichlet characters (in the case of integral weights) or Dirichlet characters times the multiplier system of a power of (in the case of half-integral weights). It is meaningful to deduce an explicit formula for where , is induced by an eta-quotient of fractional exponents and by a Dirichlet character.
Do generalized double coset operators exist for rational weights? Theorem 9.9 let us know for what numbers does the expression make sense. The multiplier systems involved are required to be induced by eta-quotients of integral exponents. The question is: if the multiplier systems are induced by eta-quotients of fractional exponents, is there any nontrivial (i.e. )? All identities presented in Section 9.4 are based on Theorem 9.9. Thus if we can find any with in the case of fractional exponents, then, taking into account of Theorem 4.2, we would obtain identities involving for infinitely many eta-quotients of fractional exponents. However, no such operator has been found up to now.
-functions and Euler products. According to Theorem 9.24, it is natural to associate an -function with a weakly admissible eta-quotient . This association is different from the usual one . The identities presented in Section 9.4 can be rephrased as properties of this . For instance, it has an Euler product. It is interesting to investigate , e.g., the functional equations, the corresponding Weil’s theorem, etc.
Appendix A Usage of SageMath code
The SageMath code can be obtained from the repository [43]. It is an ipynb file which should be opened in a Sage Jupyter notebook. The code in the first two cells should be run after the file is opened. The first cell, which actually is the one in [44], contains Python/Sage functions dealing with eta-quotients among which we need those concerning the characters and Fourier coefficients of eta-quotients of fractional exponents. The second cell then contains Python/Sage functions on computing dimensions, on order-character relations, on checking identities and on generating tables in this paper.
References
-
[1]
H. Petersson, Zur analytischen
Theorie der Grenzkreisgruppen, Math. Ann. 115 (1) (1938) 175–204.
doi:10.1007/BF01448938.
URL https://doi.org/10.1007/BF01448938 - [2] G. Shimura, Introduction to the arithmetic theory of automorphic functions, Vol. No. 1 of Kanô Memorial Lectures, Iwanami Shoten Publishers, Tokyo; Princeton University Press, Princeton, NJ, 1971, publications of the Mathematical Society of Japan, No. 11.
- [3] D. Zagier, Traces des opérateurs de Hecke, in: Séminaire Delange-Pisot-Poitou, 17e année: 1975/76, Théorie des nombres: Fasc. 2, Secrétariat Math., Paris, 1977, pp. Exp. No. 23, 12.
- [4] D. Zagier, Correction to: “The Eichler-Selberg trace formula on ” (introduction to modular forms, Appendix, pp. 44–54, Springer, Berlin, 1976) by S. Lang, in: Modular functions of one variable, VI (Proc. Second Internat. Conf., Univ. Bonn, Bonn, 1976), Vol. Vol. 627 of Lecture Notes in Math., Springer, Berlin-New York, 1977, pp. 171–173.
- [5] H. Cohen, Trace des opérateurs de Hecke sur , in: Séminaire de Théorie des Nombres (1976–1977), Centre National de Recherche Scientifique, Laboratoire de Théorie des Nombres, Talence, 1977, pp. Exp. No. 4, 9.
-
[6]
H. Hijikata, Explicit formula of
the traces of Hecke operators for , J. Math. Soc.
Japan 26 (1974) 56–82.
doi:10.2969/jmsj/02610056.
URL https://doi.org/10.2969/jmsj/02610056 - [7] H. Cohen, J. Oesterlé, Dimensions des espaces de formes modulaires, in: Modular functions of one variable, VI (Proc. Second Internat. Conf., Univ. Bonn, Bonn, 1976), Vol. Vol. 627 of Lecture Notes in Math., Springer, Berlin-New York, 1977, pp. 69–78.
-
[8]
G. Martin, Dimensions of the
spaces of cusp forms and newforms on and , J.
Number Theory 112 (2) (2005) 298–331.
doi:10.1016/j.jnt.2004.10.009.
URL https://doi.org/10.1016/j.jnt.2004.10.009 -
[9]
J. Quer, Dimensions of spaces of
modular forms for , Acta Arith. 145 (4) (2010) 373–395.
doi:10.4064/aa145-4-4.
URL https://doi.org/10.4064/aa145-4-4 -
[10]
K. Martin, Refined dimensions
of cusp forms, and equidistribution and bias of signs, J. Number Theory 188
(2018) 1–17.
doi:10.1016/j.jnt.2018.01.015.
URL https://doi.org/10.1016/j.jnt.2018.01.015 -
[11]
Y. Zhang, Y. Zhou, Dimension
formulas for modular form spaces with character for Fricke groups, Acta
Arith. 206 (4) (2022) 291–311.
doi:10.4064/aa211126-17-11.
URL https://doi.org/10.4064/aa211126-17-11 -
[12]
T. Ibukiyama, Modular forms of
rational weights and modular varieties, Abh. Math. Sem. Univ. Hamburg 70
(2000) 315–339.
doi:10.1007/BF02940923.
URL https://doi.org/10.1007/BF02940923 -
[13]
T. Ibukiyama, Graded rings of
modular forms of rational weights, Res. Number Theory 6 (1) (2020) Paper No.
8, 13.
doi:10.1007/s40993-019-0183-9.
URL https://doi.org/10.1007/s40993-019-0183-9 - [14] J.-P. Serre, H. M. Stark, Modular forms of weight , in: Modular functions of one variable, VI (Proc. Second Internat. Conf., Univ. Bonn, Bonn, 1976), Vol. Vol. 627 of Lecture Notes in Math., Springer, Berlin-New York, 1977, pp. 27–67.
-
[15]
P. Deligne, J.-P. Serre,
Formes modulaires
de poids , Ann. Sci. École Norm. Sup. (4) 7 (1974) 507–530.
URL http://www.numdam.org/item?id=ASENS_1974_4_7_4_507_0 -
[16]
X.-J. Zhu, Holomorphic Eisenstein
series of rational weights and special values of gamma function, Acta Arith.
210 (2023) 279–305.
doi:10.4064/aa221110-1-4.
URL https://doi.org/10.4064/aa221110-1-4 -
[17]
Y. Martin, Multiplicative
-quotients, Trans. Amer. Math. Soc. 348 (12) (1996) 4825–4856.
doi:10.1090/S0002-9947-96-01743-6.
URL https://doi.org/10.1090/S0002-9947-96-01743-6 -
[18]
A. O. L. Atkin, J. Lehner, Hecke
operators on , Math. Ann. 185 (1970) 134–160.
doi:10.1007/BF01359701.
URL https://doi.org/10.1007/BF01359701 -
[19]
K. Wohlfahrt, Über
Operatoren Heckescher Art bei Modulformen reeller Dimension, Math.
Nachr. 16 (1957) 233–256.
doi:10.1002/mana.19570160307.
URL https://doi.org/10.1002/mana.19570160307 -
[20]
H.-G. Zhou, X.-J. Zhu, Double
coset operators and eta-quotients, J. Number Theory 249 (2023) 537–601.
doi:10.1016/j.jnt.2023.02.017.
URL https://doi.org/10.1016/j.jnt.2023.02.017 -
[21]
S. Bhattacharya, Holomorphic
eta quotients of weight 1/2, Adv. Math. 320 (2017) 1185–1200.
doi:10.1016/j.aim.2017.09.017.
URL https://doi.org/10.1016/j.aim.2017.09.017 -
[22]
SageMath, The Sage mathematics software
system (version 9.2), The Sage Developers (2021).
URL https://www.sagemath.org - [23] H. Cohen, Number theory. Vol. I. Tools and Diophantine equations, Vol. 239 of Graduate Texts in Mathematics, Springer, New York, 2007.
-
[24]
M. Knopp, G. Mason, Revisions
to “Parabolic generalized modular forms and their characters”
[mr2553511], Int. J. Number Theory 8 (4) (2012) 859–864.
doi:10.1142/S1793042112500509.
URL https://doi.org/10.1142/S1793042112500509 -
[25]
M. Knopp, G. Mason,
Generalized modular
forms, J. Number Theory 99 (1) (2003) 1–28.
doi:10.1016/S0022-314X(02)00065-3.
URL https://doi.org/10.1016/S0022-314X(02)00065-3 -
[26]
E. Freitag, R. M. Hill,
Modular forms on with weight , Res. Number Theory 9 (2) (2023)
Paper No. 26, 20.
doi:10.1007/s40993-022-00361-6.
URL https://doi.org/10.1007/s40993-022-00361-6 -
[27]
Y. Lee, S. Lim, Zagier duality for
real weights, Acta Arith. 207 (3) (2023) 235–249.
doi:10.4064/aa220614-13-1.
URL https://doi.org/10.4064/aa220614-13-1 -
[28]
T. Kubota, Topological covering of
over a local field, J. Math. Soc. Japan 19 (1967) 114–121.
doi:10.2969/jmsj/01910114.
URL https://doi.org/10.2969/jmsj/01910114 -
[29]
H. Cohen, F. Strömberg, Modular
forms, Vol. 179 of Graduate Studies in Mathematics, American Mathematical
Society, Providence, RI, 2017, a classical approach.
doi:10.1090/gsm/179.
URL https://doi.org/10.1090/gsm/179 -
[30]
T. M. Apostol, Modular
functions and Dirichlet series in number theory, 2nd Edition, Vol. 41 of
Graduate Texts in Mathematics, Springer-Verlag, New York, 1990.
URL https://doi.org/10.1007/978-1-4612-0999-7 -
[31]
S. Bhattacharya, Special
factors of holomorphic eta quotients, Adv. Math. 392 (2021) Paper No.
108019, 24.
doi:10.1016/j.aim.2021.108019.
URL https://doi.org/10.1016/j.aim.2021.108019 -
[32]
G. Shimura, On modular forms of half
integral weight, Ann. of Math. (2) 97 (1973) 440–481.
doi:10.2307/1970831.
URL https://doi.org/10.2307/1970831 -
[33]
E. Freitag, Complex analysis.
2, Universitext, Springer, Heidelberg, 2011, riemann surfaces, several
complex variables, abelian functions, higher modular functions.
doi:10.1007/978-3-642-20554-5.
URL https://doi.org/10.1007/978-3-642-20554-5 -
[34]
J. M. Lee, Introduction to
topological manifolds, 2nd Edition, Vol. 202 of Graduate Texts in
Mathematics, Springer, New York, 2011.
doi:10.1007/978-1-4419-7940-7.
URL https://doi.org/10.1007/978-1-4419-7940-7 - [35] T. Miyake, Modular forms, english Edition, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2006, translated from the 1976 Japanese original by Yoshitaka Maeda.
- [36] F. Diamond, J. Shurman, A first course in modular forms, Vol. 228 of Graduate Texts in Mathematics, Springer-Verlag, New York, 2005.
-
[37]
W. Kohnen, G. Mason, On
generalized modular forms and their applications, Nagoya Math. J. 192 (2008)
119–136.
doi:10.1017/S0027763000026003.
URL https://doi.org/10.1017/S0027763000026003 -
[38]
M. Newman, Construction and
application of a class of modular functions. II, Proc. London Math. Soc.
(3) 9 (1959) 373–387.
doi:10.1112/plms/s3-9.3.373.
URL https://doi.org/10.1112/plms/s3-9.3.373 - [39] K. Ono, The web of modularity: arithmetic of the coefficients of modular forms and -series, Vol. 102 of CBMS Regional Conference Series in Mathematics, Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2004.
-
[40]
J. Weisinger,
SOME
RESULTS ON CLASSICAL EISENSTEIN SERIES AND MODULAR FORMS
OVER FUNCTION FIELDS, ProQuest LLC, Ann Arbor, MI, 1977, thesis
(Ph.D.)–Harvard University.
URL http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:0322309 -
[41]
D. Dummit, H. Kisilevsky, J. McKay,
Multiplicative products of
-functions, in: Finite groups—coming of age (Montreal, Que.,
1982), Vol. 45 of Contemp. Math., Amer. Math. Soc., Providence, RI, 1985, pp.
89–98.
doi:10.1090/conm/045/822235.
URL https://doi.org/10.1090/conm/045/822235 - [42] M. I. Knopp, Modular functions in analytic number theory, Markham Publishing Co., Chicago, Ill., 1970.
-
[43]
X.-J. Zhu,
SageMath
code for the paper Dimension formulas for modular form spaces of rational
weights, the classification of eta-quotient characters and an extension of
Martin’s theorem (2024).
URL https://github.com/Xiao-Jie-Zhu/Dimension-formulas-for-modular-form-spaces-of-rational-weights -
[44]
X.-J. Zhu,
Code
for Double coset operators and eta-quotients (2023).
URL https://github.com/Xiao-Jie-Zhu/double_coset_operators_and_eta_quotients