Abstract
We show that for any positive integer N, there are only finitely many holomorphic eta quotients of level N, none of which is a product of two holomorphic eta quotients other than 1 and itself. This result is an analog of Zagier’s conjecture/Mersmann’s theorem which states that of any given weight, there are only finitely many irreducible holomorphic eta quotients, none of which is an integral rescaling of another eta quotient. We construct such eta quotients for all cubefree levels. In particular, our construction demonstrates the existence of irreducible holomorphic eta quotients of arbitrarily large weights.
Similar content being viewed by others
Notes
Unlike the general case, irreducibility of a holomorphic eta quotient of weight 1 is rather easy to determine, because a holomorphic eta quotient of weight 1 and level N is irreducible if and only if it is not factorizable on \(\Gamma _0({\text {lcm}}(N,12))\) (see Lemma 1 in [4]). In particular, the irreducibility of the holomorphic eta quotients listed in Appendix A in [7] could be easily verified.
Kronecker product of matrices is not commutative. However, since any given ordering of the primes dividing N induces a lexicographic ordering on \(\mathcal {D}_N\) with which the entries of \(A_N\) are indexed, Equation (3.16) makes sense for all possible orderings of the primes dividing N.
References
Ahlgren, S., Ono, K.: Addition and counting: the arithmetic of partitions. Notices Am. Math. Soc. 48(9), 978–984 (2001)
Barvinok, A.: Lattice points, polyhedra, and complexity. In: Geometric Combinatorics, IAS/Park City, vol. 13, pp. 19–62. American Mathematical Society, Providence, RI (2007)
Berndt, B.C.: Ramanujan’s Notebooks. Part III. Springer, New York (1991). https://doi.org/10.1007/978-1-4612-0965-2
Bhattacharya, S.: Determination of irreducibility of holomorphic eta quotients (preprint). arxiv.org/pdf/1602.03087
Bhattacharya, S.: Holomorphic eta quotients of weight \(1/2\) (preprint). arxiv.org/pdf/1602.02835
Bhattacharya, S.: Infinite families of simple holomorphic eta quotients (preprint). arxiv.org/pdf/1701.00278
Bhattacharya, S.: Factorization of holomorphic eta quotients. PhD thesis, Rheinische Friedrich-Wilhelms-Universität Bonn (2014) http://www.hss.ulb.uni-bonn.de/2014/3711/3711.pdfd
Bhattacharya, S.: Finiteness of simple holomorphic eta quotients of a given weight. Adv. Math. 308, 879–895 (2017). https://doi.org/10.1016/j.aim.2016.12.010
Cohen, H.: Number Theory. Analytic and Modern Tools. Graduate Texts in Mathematics, vol. II, p. 240. Springer, New York (2007). https://doi.org/10.1007/978-0-387-49894-2
Diamond, F., Shurman, J.: A First Course in Modular Forms. Graduate Texts in Mathematics, vol. 228. Springer, New York (2005). https://doi.org/10.1007/b138781
Horn, R.A., Johnson, C.R.: Topics in Matrix Analysis. Cambridge University Press, Cambridge (1994)
Kohler, G.: Eta Products and Theta Series Identities. Springer Monographs in Mathematics. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-16152-0
Kohnen, W., Mason, G.: On generalized modular forms and their applications. Nagoya Math. J 192, 119–136 (2008)
Martin, Y.: Multiplicative \(\eta \)-quotients. Trans. Am. Math. Soc 348(12), 4825–4856 (1996). https://doi.org/10.1090/S0002-9947-96-01743-6
Mersmann, G.: Holomorphe \(\eta \)-produkte und nichtverschwindende ganze modul-formen für \(\Gamma _0(N)\), Diplomarbeit, Rheinische Friedrich-Wilhelms-Universität Bonn (1991). https://sites.google.com/site/soumyabhattacharya/miscellany/Mersmann.pdf
Newman, M.: Construction and application of a class of modular functions. Proc. Lond. Math. Soc. 7(3), 334–350 (1957)
Newman, M.: Construction and application of a class of modular functions. II. Proc. Lond. Math. Soc 9(3), 373–387 (1959)
Rankin, R.A.: Modular Forms and Functions. Cambridge University Press, Cambridge (1977)
Rouse, J., Webb, J.J.: On spaces of modular forms spanned by eta-quotients. Adv. Math. 272, 200–224 (2015). https://doi.org/10.1016/j.aim.2014.12.002
Stein, P.: A note on the volume of a simplex. Am. Math. Mon. 73, 299–301 (1966). https://doi.org/10.2307/2315353
The Normaliz Group, Normaliz version 2.12.02, Osnabrück (2015), normaliz.uni-osnabrueck.de
The PARI Group, PARI/GP version 2.7.0, Bordeaux, (2014), pari.math.u-bordeaux.fr
van der Poorten, A., Williams, K.S.: Values of the Dedekind eta function at quadratic irrationalities. Can. J. Math. 51(1), 176–224 (1999). https://doi.org/10.4153/CJM-1999-011-1
Zagier, D.: Elliptic modular forms and their applications. In: The 1-2-3 of Modular Forms. Universitext, pp. 1–103. Springer, Berlin (2008). https://doi.org/10.1007/978-3-540-74119-0_1
Acknowledgements
I am thankful to Sander Zwegers, who asked during my talk at Cologne whether a Mersmann type finiteness theorem holds if we keep the level of the eta quotients fixed instead of their weight. Corollary 1 is precisely an answer to his question. I would like to thank Don Zagier, Christian Weiß, Danylo Radchenko, Armin Straub, Nadim Rustom, and Christian Kaiser for their comments. I made the computations for the tables using \(\mathtt {PARI/GP}\) [22] and \(\mathtt {Normaliz}\) [21] which I learnt to use from Don and Danylo. I am grateful to them for acquainting me with these very useful computational tools. In particular, Danylo computed \({k_{\max }}(24)\), \({k_{\max }}(28)\) and \({k_{\max }}(30)\) for Table 2. I am grateful to the Max Planck Institute for Mathematics in Bonn and to CIRM : FBK (International Center for Mathematical Research of the Bruno Kessler Foundation) in Trento for providing me with an office space and supporting me with a fellowship during the preparation of this article.
Author information
Authors and Affiliations
Corresponding author
Appendix: Comparison of the weights
Appendix: Comparison of the weights
By \({k_{\max }}(N)/2\), we denote the maximum of the weights of level N which are not factorizable on \(\Gamma _0(N)\). Let p be a prime. From the discussion about holomorphic eta quotients on \(\Gamma _0(p)\) in Sect. 1, it follows that \({k_{\max }}(p)=p-1\). Also, from Theorem 6.4 in [7], we know \({k_{\max }}(p^2)=(p-1)^2\). With the support of a huge amount of experimental data, we make the following conjecture:
Conjecture 2
(a) For each prime number p, we have \({k_{\max }}(p^3)=(p-1)^2\).
(b) For each odd prime p and for all integers \(n>3\), we have
where \(r_n\in \{0,1\}\) is the residue of n modulo 2.
For all odd primes p and for all integers \(n>3\), in [6] we see examples of irreducible holomorphic eta quotients of level \(p^n\) and of the same weight as in (6.1) (see Corollary 1 and (2.1) in [6]). However, the catch of the above problem is to show that any holomorphic eta quotient of level \(p^n\) whose weight is greater than the quantity given in (6.1) must be reducible (see Conjecture 1 in [6] and Theorem 2 in [4]).
In Table 2, we compare \({k_{\max }}(N)\) with \(\kappa (N)\) for several \(N\in \mathbb {N}\), where \(\kappa (N)/2\) is the weight of the eta quotient \(F_N\)which we defined in Theorem 2 (see also 4.2). Since we have already discussed above the cases of odd prime powers as well as those of \(2^n\) for \(n\le 3\), we omit such levels from the following table.
Rights and permissions
About this article
Cite this article
Bhattacharya, S. Finiteness of irreducible holomorphic eta quotients of a given level. Ramanujan J 48, 423–443 (2019). https://doi.org/10.1007/s11139-017-9982-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11139-017-9982-6