Abstract
For the full modular group, Kaneko gave a modular form solution of fractional weights for a holomorphic modular differential equation of second order. In this paper, we give modular form solutions of fractional weights for a modular differential equation on the Fricke group of levels 2 and 3.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and preliminaries
In [4], Kaneko–Koike studied various solutions for the so-called Kaneko–Zagier equation:
where \(\prime =(2\pi i)^{-1}d/d\tau =qd/dq\), \(q=e^{2\pi i\tau }\), \(\tau \) a variable in the Poincaré upper-half plane, \(k\) a fixed rational number, and \(E_2(\tau )\) is the (quasimodular) Eisenstein series of weight \(2\) for \(\mathrm {SL}_2(\mathbb {Z})\) defined by
They gave modular forms expressed in terms of hypergeometric polynomials and quasimodular forms as its solution for weight \(k\), where \(k\) is integer or half-integer. In particular, Kaneko studied in [3] the modular form as its solution for weight one-fifth, which is closely related to certain models in conformal field theory.
From [5, 6] and [11], we know that the Kaneko–Zagier equation for \(\varGamma _0^*(N) (N=2,3)\)
also has modular/quasimodular solutions similar to the case for \(\mathrm {SL}_2(\mathbb {Z})\), where the Fricke group of level \(N\) \((N=2,3)\) is defined by
and \(E_{NA}(\tau )\), the (quasimodular) Eisenstein series of weight \(2\) for \(\varGamma _0^*(N)\), is defined by
In this paper, we give modular forms of a fractional weight as a solution of the Kaneko–Zagier equation for \(\varGamma _0^*(N) (N=2,3)\). Hereafter, \(N\) denotes the level 2 or 3.
For any complex numbers \(v\) and \(s\), we take \(-\pi < \arg (v) \le \pi \) and put \(v^s= |v|^s e^{is\arg (v)}\). Define
where \(\eta (\tau )=q^{1/24}\prod _{n=1}^{\infty }(1-q^n)\) is the Dedekind eta function. Then, we find that \(\phi ^{(N)}_1(\tau )\) and \(\phi ^{(N)}_2(\tau )\) are holomorphic modular forms of weight \(N/6\) for
using properties of \(\eta (\tau )\) [7, §1.3 Theorem 1.7 and §2.3 Corollary 2.2]. Moreover, \((\phi ^{(N)}_1)^{6/N}\) and \((\phi ^{(N)}_2)^{6/N}\) are modular forms of weight \(1\) with the Legendre character \(\biggl (\dfrac{*}{3}\biggr )\) for \(\varGamma _0(6)\).
Remark 1
The following can be expressed in terms of theta series:
Note that if you find a solution \(F(\phi ^{(N)}_1,\ \phi ^{(N)}_2)\) of weight \(k\) for Eq. \((\sharp )^{(N)}_k\), you can get another solution \(F(\phi ^{(N)}_2,\ -\phi ^{(N)}_1/N)\) immediately because the group \(\varGamma _0^*(N)\) acts on the space of solutions as follows:
where \(F(X,Y)\) is a homogenous polynomial of two variables, and \(|_k[\cdot ]\) is a slash operator of weight \(k\).
Finally, Heun’s local series \(Hl\) is defined by
where the coefficients satisfy the recursion; \(c_0=1,\ \ c_1=\frac{w}{a\gamma }c_0,\) and
where \(\gamma +\delta +\varepsilon =\alpha +\beta +1\). This is a solution of Heun’s equation, which is the canonical form of a second-order linear differential equation with four regular singularities (cf. [10]):
In particular, \(Hl\) is a polynomial when \(\alpha \ \text {or}\ \beta \in -\mathbb {N}\).
2 Main result
Theorem 1
-
(1)
Assume \(k=(4n+1)/3\ \text {such that}\ n=0,1,2,\ldots ,\ n\not \equiv 2\pmod {3}\). Then Eq. \((\sharp )^{(2)}_k\) has a two-dimensional space of solutions in \(\mathbb {C}[\phi ^{(2)}_1,\phi ^{(2)}_2]_{wt=k}\). Its generators are
$$\begin{aligned} \phi ^{(2)}_1(\tau )^{3k} Hl\Bigl (-8, \frac{k(1\!-\!3k)}{2}; \!-\!k, \frac{1\!-\!3k}{4}, \frac{3\!-\!k}{4}, \frac{1\!-\!3k}{4}; 8\frac{\phi ^{(2)}_2(\tau )^3}{\phi ^{(2)}_1(\tau )^3}\Bigr )\\ \!=\! 1\!+\!O(q),\\ \phi ^{(2)}_2(\tau )^{\frac{k\!+\!1}{4}}\phi ^{(2)}_1(\tau )^\frac{11k-1}{4} Hl\Bigl (-8, \frac{(k\!-\!7)(1\!-\!3k)}{16}; \frac{1\!-\!3k}{4}, \frac{1\!-\!k}{2},\frac{k\!+\!5}{4}, \frac{1\!-\!3k}{4};\\ 8\frac{\phi ^{(2)}_2(\tau )^3}{\phi ^{(2)}_1(\tau )^3}\Bigr )\\ \ \!=\!q^\frac{k\!+\!1}{12}\!+\!O(q^\frac{k\!+\!13}{12}). \end{aligned}$$ -
(2)
Assume \(k=(3n+1)/2\ \text {such that}\ n=0,1,2,\ldots ,\ n\not \equiv 1\pmod {2}\). Then Eq. \((\sharp )^{(3)}_k\) has a two-dimensional space of solutions in \(\mathbb {C}[\phi ^{(3)}_1,\phi ^{(3)}_2]_{wt=k}\). Its generators are
$$\begin{aligned} \phi ^{(3)}_1(\tau )^{2k} Hl\Bigl (9, k(2k\!-\!1); \!-\!k, \frac{1\!-\!2k}{3}, \frac{2\!-\!k}{3}, \frac{1\!-\!2k}{3}; 9\frac{\phi ^{(3)}_2(\tau )^2}{\phi ^{(3)}_1(\tau )^2}\Bigr )\\ \!=\!1\!+\!O(q),\\ \phi ^{(3)}_2(\tau )^{\frac{k\!+\!1}{3}}\phi ^{(3)}_1(\tau )^\frac{5k\!-\!1}{3} Hl\Bigl (9, \frac{(k\!+\!10)(1\!-\!2k)}{9}; \frac{1\!-\!2k}{3}, \frac{2\!-\!k}{3},\frac{k\!+\!4}{3}, \frac{1\!-\!2k}{3};\\ 9\frac{\phi ^{(3)}_2(\tau )^3}{\phi ^{(3)}_1(\tau )^3}\Bigr )\\ \ \!=\!q^\frac{k\!+\!1}{6}\!+\!O(q^\frac{k\!+\!7}{6}). \end{aligned}$$
Remark 2
By the conditions for weight \(k\), the Heun local series in the above theorem become polynomials.
3 Proof
We will prove the result only for the case of level \(2\). The case of level \(3\) can be treated in a similar manner. To prove this theorem, we need the following proposition.
Proposition 1
([10, p.18]) If \(Hl(a, w; \alpha , \beta , \gamma , \delta ; x)\) is a solution of the Heun differential equation (1), then \(x^{1-\gamma } Hl(a, w^\prime ; \alpha ^\prime , \beta ^\prime , \gamma ^\prime , \delta ; x)\) is also a solution of Eq. (1), where \(\alpha ^\prime =\alpha +1-\gamma \), \(\beta ^\prime =\beta +1-\gamma \), \(\gamma ^\prime =2-\gamma \), \(w^\prime =(a\delta +\varepsilon )(1-\gamma )+w\).
Putting \(f(\tau )/\phi ^{(2)}_1(\tau )^{3k}\!=\!g(\tau )\) and \(X\!=\!8\phi ^{(2)}_2(\tau )^3/\phi ^{(2)}_1(\tau )^3\), Eq. \((\sharp )_k^{(2)}\) can be transformed into
Using the relation of derivatives between \(2\pi i\tau \) and \(X\):
we have
Comparing this equation with Eq. (1), we can obtain Heun’s solution. Using Proposition 1, we can obtain another solution, and the two solutions are polynomials, because \(\alpha \) or \(\beta \), \(\alpha ^\prime \) or \(\beta ^\prime \ \in -\mathbb {N}\). Therefore, \(f=\phi ^{(2)}_1(\tau )^{3k}\cdot g\) is a modular solution of \((\sharp )_k^{(2)}\).
4 The relation to supersingular \(j_{NA}\)-polynomials
Koike defined in [9] (or see [2, 8, 11]) supersingular \(j_{NA}\)-polynomials. He proved that for the elliptic modular invariant \(j(\tau )\) over a finite field of characteristic \(p > 0\) to be supersingular is equivalent to the Hauptmodul \(j_{NA}(\tau )\) for \(\varGamma _0^*(N)\) being supersingular. From his result with respect to a supersingular elliptic curve, we get the following definition.
Definition 1
For a prime number \(p(\ge 5)\), we define the “supersingular \(j_{NA}\)-polynomials for \(\varGamma _0^*(N)\)” by
where \(m_2=[\frac{p}{8}]\), \(p-1=8m_2+2\delta _2+4\varepsilon _2\), \(m_3=[\frac{p}{6}]\), \(p-1=6m_3+4\delta _3\), \(\delta _2, \varepsilon _2, \delta _3 \in \{0,\ 1\}\), and \(\mathbb {F}(\alpha , \beta , \gamma ,x)\) is the hypergeometric series over a finite field of characteristic \(p>0\).
In this section, we present a certain conjecture about a reduction mod prime \(p\) of Heun polynomials.
Let
be the Hauptmodul for \(\varGamma _0^*(N)\) expressed in terms of \(X_2=8\bigl (\phi ^{(2)}_2/\phi ^{(2)}_1\bigr )^3\) and \(X_3=9\bigl (\phi ^{(3)}_2/\phi ^{(3)}_1\bigr )^2\), and further let
be the Heun polynomials of degree \(n(>0)\).
Conjecture 1
Let \(p>5\) be a prime. Then \(T^{(N)}_{p-1}(X_N)\mod p\) is a “supersingular \(X_N\)-polynomial,” i.e., it is equal to \(\prod _{Y_N\in \overline{\mathbb {F}}_p}(X_N-Y_N)\), where \(Y_N\) runs through those values for which the corresponding Hauptmodul \(j_{NA}(Y_N)\) is supersingular.
5 The function like characters
From [4], we know that some solutions of the Kaneko–Zagier equation for \(\mathrm {SL}_2(\mathbb {Z})\) are closely related to the character for two-dimensional conformal field theory. Precisely, we can get the character from the solution of weight \(k\) divided by \(\eta (\tau )^{2k}\).
From numerical examination, for the Fricke group of levels \(2\) and \(3\), we can get something like the character from the solution \(f(\tau )\) of weight \(k\) divided by \(\Delta _{NA}(\tau )^{k/(12-2N)}\), where \(\Delta _{2A}=\eta (\tau ^8)\eta (2\tau )^8\) and \(\Delta _{3A}=\eta (\tau )^6\eta (3\tau )^6\) are cusp forms for \(\varGamma _0(N)\). For example, in the case for \(\varGamma ^*_0(2)\), we get the following:
-
(a)
For \(k=1/3\),
$$\begin{aligned} \phi ^{(2)}_1/\Delta _{2A}^{1/24}=\frac{1}{q^\frac{1}{24}} + q^\frac{23}{24}+ 2 q^\frac{47}{24} + q^\frac{71}{24} + 3 q^\frac{95}{24} +3q^\frac{119}{24}+5 q^\frac{143}{24}+5 q^\frac{167}{24} + 8 q^\frac{191}{24}+\cdots ; \end{aligned}$$the number of partitions of n in which no part appears more than twice and no two parts differ by 1.
-
(b)
For \(k=2\),
$$\begin{aligned} \frac{(\phi ^{(2)}_1)^6+20(\phi ^{(2)}_1 \phi ^{(2)}_2)^3-8(\phi ^{(2)}_2)^6}{\Delta _{2A}^{1/4}}= \frac{1}{q^\frac{1}{4}} + 26 q^\frac{3}{4} + 79 q^\frac{7}{4} + 326 q^\frac{11}{4} + 755 q^\frac{15}{4}\\ + 2106 q^\frac{19}{4} +\cdots , \end{aligned}$$the McKay–Thompson series of class 8C for the Monster. (cf. [1])
For several other weights \(k\), we observe that each coefficient of \(f(\tau )/\Delta _{NA}(\tau )^{k/(12\!-\!2N)}\) is a positive integer, where \(f(\tau )\) is a modular solution of weight \(k\) for \((\sharp )^{(N)}_k\). But we do not know to which the function corresponds and what are the properties of these functions.
References
Conway, J.H., Norton, S.P.: Monstrous moonshine. Bull. London Math. Soc. 11(3), 308–339 (1979)
Ihara, Y.: Schwarzian equations. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 21, 97–118 (1974).
Kaneko, M.: On Modular Forms of Weight \((6n+1)/5\) Satisfying a Certain Differential Equation. Number Theory Dev. Math., pp. 97–102. Springer, New York (2006).
Kaneko, M., Koike, M.: On modular forms arising from a differential equation of hypergeometric type. Ramanujan J. 7(1–3), 145–164 (2003)
Kaneko, M., Koike, M.: Quasimodular solutions of a differential equation of hypergeometric type. Galois theory and modular forms, Dev. Math., pp. 329–336. Kluwer Acad. Publ., Boston (2004).
Kaneko, M., Zagier, D.: Supersingular j -invariants, hypergeometric series, and Atkin’s orthogonal polynomials, Computational Perspectives on Number Theory (Chicago, IL, 1995), AMS/IP Stud. Adv. Math., vol. 7, pp. 97–126. Amer. Math. Soc., Providence, 1998.
Köhler, G., et al.: Eta Products and Theta Series Identities. Springer Monographs in Mathematics. Springer, Heidelberg (2011)
Koike, M.: Congruences between modular forms and functions and applications to the conjecture of Atkin. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 20, 129–169 (1973).
Koike, M.: On supersingular \(j^*_2\) -polynomials for \(\Gamma ^*_0(2)\), Preprint (2009).
Ronveaux A. (ed.): Heun’s Differential Equations, Oxford Science Publications, The Clarendon Press Oxford University Press, New York, 1995, (With contributions by Arscott, F. M., Yu Slavyanov, S., Schmidt, D., Wolf, G., Maroni, P., Duval, A.).
Sakai, Y.: The Atkin orthogonal polynomials for the low-level Fricke groups and their application. Int. J. Number Theory 7(6), 1637–1661 (2011)
Acknowledgments
The author would like to thank Professor Masanobu Kaneko and Professor Kiyokazu Nagatomo for giving this opportunity for conducting this study. Especially, he would like to thank Professor Masanobu Kaneko for helpful suggestions and support. Finally, he would like to thank the reviewer for helpful comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Sakai, Y. On modular solutions of fractional weights for the Kaneko–Zagier equation for \(\varGamma ^*_0(2) \,\hbox {and}\, \varGamma ^*_0(3)\) . Ramanujan J 37, 461–467 (2015). https://doi.org/10.1007/s11139-014-9563-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11139-014-9563-x