The arithmetic of the values of modular functions and the divisors of modular forms (Q4831288)

\({\mathfrak F}\) sei der Fundamentalbereich der Modulgruppe \(\text{SL}_2 (\mathbb{Z})\) ohne die Spitze \(\infty\), \(\Delta(z)\) die Dis\-kri\-mi\-nan\-te, \(j(z)\) die Fun\-da\-men\-tal\-in\-vari\-ante, \(E_2,E_4,E_0\) seien die nor\-mier\-ten Eisensteinreihen und \(j_n(z)\), \(n=1,2,\dots\) die in der oberen Halbebene holomorphen Modulfunktionen, deren Fourierreihen die Form \[ j_n(z)=q^{-n}+ \sum^\infty_{m=1}c_n(m) q^m,\;q= e^{2\pi iz} \] haben, \(j_0(z)=1\). \textit{T. Asai, M. Kaneko} und \textit{H. Ninomiya} haben gezeigt, daß \[ H_\tau(z): \sum^\infty_{n=0} j_n(\tau)q^n=E_4^2 (z)E_6(z)/ \Delta (z) \bigl(j(z)-j (\tau)\bigr) \] ist [Comment. Math. Univ. St. Pauli 46, 93--101 (1997; Zbl 0907.11013], woraus man eine ganze Reihe interessanter Folgerungen ziehen kann, so etwa \[ H_\omega(z)=\sum j_n(\omega)q^n =E_6(z)/E_4(z)\text{ für }\omega=(1+\sqrt{-3})/2. \tag{*} \] Verf. benutzen Ramanujans Differentialoperator \(\Theta\), definiert durch \[ \Theta\left( \sum a(m)q^m\right):=\sum ma(m)q^m \] und zeigen, daß für eine meromorphe Modulform \(f\) vom Gewicht \(k\), deren Fourier\-ent\-wick\-lung bei der Spitze \(\infty\) die Form \(q^h+\cdots\) hat, \[ \Theta (f)=\Biggl(kE_2(z)/12+ \sum_{\tau\in{\mathfrak F}}e_\tau\text{ord}_f (\tau)H_\tau(z) \Biggr)f(z) \] ist \((\tau\in{\mathfrak H},e_i=1/2, e_\omega= 1/3\), \(e_\tau=1\) sonst). Als Folgerung erhält man unmittelbar (*). Als Korollar ergibt sich auch ein\-fach, daß \(j(\tau_0)\) algebraisch ist, wenn \(\tau_0\in{\mathfrak F}\), \(\text{ord}_f(\tau_0)\neq 0\) ist und die Fourierkoeffizienten von \(f\) in einem algebraischen Zahlkörper liegen. Die Verf. geben eine ganze Reihe weiterer Anwendungen an, so z.B. eine untere Abschätzung für die Hurwitzsche Klassenzahl \(H(-D)\) für die Fundamentaldiskriminante \(-D(<-4,\equiv 5\bmod 8)\) eines imaginär-quadratischen Zahlkörpers.