Abstract
The levels of the factors of a holomorphic eta quotient f are bounded above with respect to the weight and the level of f. Unfortunately, this bound remains implicit due to the ineffectiveness of Mersmann’s finiteness theorem. On the other hand, for checking whether f is irreducible, it is essential to know at least an explicit upper bound for the minimum \(m_f\) among the levels of the proper factors of f. In the case where the level of f is a prime power, the least upper bound for \(m_f\) has been recently determined via construction of a special factor. However, this construction does not generalize unconditionally to arbitrary levels. Here, we provide an explicit upper bound \(M_N\) for the minimum of the levels of the proper factors of a holomorphic eta quotient f of level N.
Similar content being viewed by others
Notes
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, Eq. (3.12) makes sense for all possible orderings of the primes dividing N.
Otherwise, the claim is trivial.
Kronecker product of matrices is not commutative. However, since any given ordering of the primes dividing M induces a lexicographic ordering on \(\mathcal {D}_{M}\) and \(\mathcal {D}_N\) with which the entries of \(P_{M,N}\) are indexed, Equation (7.3) makes sense for all possible orderings of the primes dividing M.
i. e. which are not products of other holomorphic eta quotients.
References
Berndt, B.C.: Ramanujan’s Notebooks. Part III. Springer, New York (1991). https://doi.org/10.1007/978-1-4612-0965-2
Bhattacharya, S.: Special factors of holomorphic eta quotients. Preprint, https://sites.google.com/site/soumyabhattacharya/specialfactors/Spfactor.pdf
Bhattacharya, S.: Factorization of holomorphic eta quotients. Ph.D thesis, Rheinische Friedrich-Wilhelms-Universität Bonn (2014). https://bonndoc.ulb.uni-bonn.de/xmlui/bitstream/handle/20.500.11811/6149/3711.pdf
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
Bhattacharya, S.: Holomorphic eta quotients of weight \(1/2\). Adv. Math. 320, 1185–1200 (2017). https://doi.org/10.1016/j.aim.2017.09.017
Bhattacharya, S.: Finiteness of irreducible holomorphic eta quotients of a given level. Ramanujan J. (2018). https://doi.org/10.1007/s11139-017-9982-6
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
Hardy, G., Wright, E.: An Introduction to the Theory of Numbers, 6th edn. Oxford University Press, Oxford (2008)
Ibukiyama, T.: Modular forms of rational weights and modular varieties. Abh. Math. Sem. Univ. Hamburg 70, 315–339 (2000). https://doi.org/10.1007/BF02940923
Köhler, G.: Eta Products and Theta Series Identities, ser. Springer Monographs in Mathematics. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-16152-0
Lemke Oliver, R.J.: Eta-quotients and theta functions. Adv. Math. 241, 1–17 (2013). https://doi.org/10.1016/j.aim.2013.03.019
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. 3(7), 334–350 (1957)
Newman, M.: Construction and application of a class of modular functions. II. Proc. Lond. Math. Soc. 3(9), 373–387 (1959)
Ono, K.: The web of modularity: arithmetic of the coefficients of modular forms and q-series, ser. CBMS Regional Conference Series in Mathematics. Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, vol. 102 (2004)
Rademacher, H.: Topics in Analytic Number Theory. Springer, New York (1973)
Rankin, R.A.: Modular Forms and Functions. Cambridge University Press, Cambridge (1977)
Robin, G.: Estimation de la fonction de Tchebychef \(\theta \) sur le \(k\)-iéme nombre premier et grandes valeurs de la fonction \((n)\) nombre de diviseurs premiers de \(n\). Acta Arithmetica 42, 367–389 (1983). https://doi.org/10.4064/aa-42-4-367-389
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
Rustom, N.: Generators and relations of the graded algebra of modular forms. Ramanujan J. 39(2), 315–338 (2016). https://doi.org/10.1007/s11139-015-9674-z
Wigert, S.: Sur l‘ordre grandeur du nombre de diviseurs d’un entier. Ark. Mat. 3(18), 1–9 (1907)
Zagier, D.: Elliptic modular forms and their applications. In: The 1-2-3 of Modular Forms, ser. Universitext, pp. 1–103. Springer, Berlin (2008). https://doi.org/10.1007/978-3-540-74119-0_1
Acknowledgements
I am very thankful to the Institute of Analysis and Number Theory of Graz University of Technology and in particular, Prof. Christoph Aistleitner for his kind support and hospitality during the composition of this paper. Also, I am grateful to the Indian Institute of Science Education and Research Kolkata for granting me an extraordinary leave for my academic visit to Graz, which led to the completion of this project. I would also like to thank the anonymous referees for their helpful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was supported by the Austrian Science Fund (FWF), project F-5512.
Appendices
Appendix: Irreducibility and factorizability of modular forms
The notions of irreducibility and factorizability make sense also for modular forms in general. For all \(k\in 2\mathbb {N}\), by \(E_k\) we denote the normalized Eisenstein series of weight k:
where \(B_k\) denotes the kth Bernoulli number and the function \(\sigma _{r}:\mathbb {N}\rightarrow \mathbb {N}\) is given by
For each even integer \(k>2\), \(E_k\) is a modular form of weight k on \({\text {SL}}_2(\mathbb {Z})\) (see [23]). In [6], we see that every modular form with the trivial multiplier system on \({\text {SL}}_2(\mathbb {Z})\) has a unique factorization of the form:
for some \(C_0\in \mathbb {C}\) and some nonnegative integers \(a,b,c_t\), where \(c_t\) is zero for all but finitely many t. From [6], we also know that none of \(E_4\), \(E_6\) or \(E_4^3-tE_6^2\) for all \(t\in \mathbb {C}^*\) is factorizable on \({\text {SL}}_2(\mathbb {Z})\), whereas each of them has proper factors on \(\Gamma _0(4)\). So, the analog of Conjecture 1 fails for modular forms in general. In the following, we provide examples of modular forms with the trivial multiplier system on \(\Gamma _0(N)\) which are not factorizable on \(\Gamma _0(N)\) for an arbitrary integer \(N>1\).
By \(X_0(N)\), we denote the compact modular curve \(\Gamma _0(N)\backslash (\mathfrak {H}\cup \mathbb {P}^1(\mathbb {Q}))\). Since for a modular form g on \(\Gamma _0(N)\), the order of vanishing of g at any two \(\Gamma _0(N)\)-equivalent elements of \(\mathfrak {H}\cup \mathbb {P}^1(\mathbb {Q})\) are the same (see [7, 18]), the order of vanishing of g at a point in \( X_0(N)\) makes sense. Given \(x_0\in X_0(N)\), if there exists a modular form \(f_{x_0,N}\) on \(\Gamma _0(N)\) which vanishes nowhere on \(X_0(N)\) except at \(x_0\) such that \(f_{x_0,N}\) has the least order of vanishing among all the modular forms on \(\Gamma _0(N)\) which vanishes only at \(x_0\), then clearly, \(f_{x_0,N}\) is not factorizable on \(\Gamma _0(N)\). In particular, from the invertibility of the order matrix (see (3.9)), it follows that both \(f_{0,N}\) and \(f_{\infty ,N}\) are given by eta quotients for all \(N\in \mathbb {N}\). More precisely, \(f_{0,N}\) (resp. \(f_{\infty ,N}\)) is the least positive integer power of \(\eta ^{A^{-1}_N(\underline{},1)}\) (resp. \(\eta ^{A^{-1}_N(\underline{}, N)}\)) that yields an eta quotient with integer exponents which satisfies Newman’s criteria (see [14, 15] or [20]). Proceeding thus or by an easy generalization a result from [21], we obtain that for all \(n\in \mathbb {N}\) and for all primes \(p\ge 5\), we have
In particular, for each prime \(p\ge 5\), the modular form \(({\eta ^p}/{\eta _p})^2\) of weight \(p-1\) is not factorizable on \(\Gamma _0(p^n)\) for all \(n\in \mathbb {N}\). For \(N\in \mathbb {N}\), by \(B_N\in \mathbb {Z}^{\mathcal {D}_N}\times \mathbb {Z}^{\mathcal {D}_N}\), we denote the matrix whose every column is the least possible integer multiple of the corresponding column of \(A^{-1}_N\in \mathbb {Q}^{\mathcal {D}_N}\times \mathbb {Q}^{\mathcal {D}_N}\) (see Section 4 in [6]). Let \(\mu \) denote the Möbius function. It follows by a similar argument as above that for all \(N\in \mathbb {N}\) which have at least two distinct odd prime divisors and for \(B_N\) as defined above, the modular form
has trivial multiplier system on \(\Gamma _0(N)\) and it is not factorizable on \(\Gamma _0(M)\) for any multiple M of N, whose set of prime divisors is the same as that of N. However, the lack of an analogous holomorphy preserving homomorphism (as in Lemma 2: From the graded ring of weakly holomorphic modular forms of level M to that of level N, where \(N\Vert M\)) prevents us from concluding that the above modular form is irreducible.
Since the least possible weight of which nonzero modular forms with the trivial multiplier system exist is 2, any modular form of weight 2 (e.g. \(NE_2(Nz)-E_2(z)\) on \(\Gamma _0(N)\) for all \(N>1\)) is irreducible. Instances of occurrence of irreducible modular forms of higher weights are not known. Indeed, their existence is questionable:
Open question 1
Are there irreducible modular forms with the trivial multiplier system and of weights greater than two?
In contrast, we note that it follows from Theorem 3 in [6] that there exist irreducible holomorphic eta quotientsFootnote 4 of arbitrarily large weights.
A conjecture
For hundred randomly chosen levels N which have at most three distinct prime divisiors and which divide
we checked using Theorem A (see Sect. 1) and Zagier’s list (see Theorem 1 in [5]) that each reducible holomorphic eta quotient of weight 1 and of level N is a product of weight half holomorphic eta quotients whose levels divide N. With this numerical evidence, we speculate the following:
Conjecture 1
Let \(N>1\) be an integer and let f be a reducible holomorphic eta quotient of level N. Let M be the least positive integer such that f is factorizable on \(\Gamma _0(M)\). Then \(M=N\).
In [2], we see that the above conjecture holds in the case where N is a prime power.
Rights and permissions
About this article
Cite this article
Bhattacharya, S. The minimum of the levels of the proper factors of a holomorphic eta quotient. Res Math Sci 8, 33 (2021). https://doi.org/10.1007/s40687-021-00267-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40687-021-00267-2