The Fourier Coefficients of the Invariants j(2 1/2 ; τ) and j(3 1/2 ; τ) (Q3255478)

\textit{H. Rademacher} hat 1938 gezeigt [Am. J. Math. 60, 501--512 (1938; Zbl 0018.24601)], daß für die Fourierkoeffizienten der Modularinvariante \[ j(\tau) = j(1; \tau) = e^{-2\pi i\tau}+ c_0 + \sum_{n=1}^\infty c_n e^{2\pi in\tau} \] folgende Entwicklung gilt: \[ c_n = \frac{2\pi}{\sqrt n} \sum_{k=1}^\infty \frac{a_k(n)}{k} I_1\left(\frac{4\pi \sqrt n}{k}\right) \quad\text{für }n \ge 1, \] mit \[ A_k(n) ={\sum}'_{h\bmod k}e^{-2\pi i(nh-h')/k},\ hh' \equiv -1 \pmod k,\ I(z) = \frac{J_1(iz)}{i}. \] Verf. betrachtet die Invarianten \(j(2^{1/2};\tau)\) und \(j(3^{1/2};\tau)\) zu den Gruppen \(G(\lambda_4)\) und \(G(\lambda_6)\). Er verwendet dabei dieselbe Methode wie Rademacher, nur muß er hier die Fareybogen zu \((h, k)\) mit geradem bzw. ungeradem \(k\) unterscheiden. Das Ergebnis ist: \[ j(2^{1/2};\tau) = e^{-2\pi i\tau/2^{1/2}} + c_0 + \sum_{n=1}^\infty c_ne^{2\pi in\tau/2^{1/2}} \] mit \[ c_n = \frac{2\pi}{n^{1/2}} \left\{ \sum_{\nu=1}^\infty \frac{A_{2\nu}(n)}{2\nu} I_1\left(\frac{2\pi n^{1/2}}{\nu}\right) + \frac1{2^{1/2}} \sum_{\nu=1}^\infty \frac{A_{2\nu-1}((1-\nu)n)}{2\nu-1} I_1\left(\frac{2\pi(2n)^{1/2}}{2\nu - 1}\right)\right\}. \] Für \(j(3^{1/2};\tau)\) wird ein ähnliches Ergebnis gefunden. Verf. bemerkt noch, daß es für andere Gruppen \(G(\lambda_q)\) noch nicht gelungen ist, diese Betrachtungen durchzuführen, weil man dort die Gruppen nicht genau kennt und die geeignete Fareyzerlegung nicht finden kann. Zur Kontrolle der Ergebnisse werden Relationen bewiesen zwischen \(j(2^{1/2};\tau)\) und \(j(\tau)\), z. B. \[ j^2(2^{1/2};\tau) - 3^3\cdot 23 j(2^{1/2};\tau) + 2^7\cdot 3^3 = j(2^{1/2}\tau) + j(\tau/2^{1/2}), \] \[ \{ j(2^{1/2};\tau) + 2^4\cdot 3^2\}^2 = j(2^{1/2}\tau) \cdot j(\tau/2^{1/2}). \] Daraus ergibt sich \(j(2^{1/2};\tau) = x^{-1} + 2^3\cdot 13 + 2^2\cdot 1093x + 2^{11}\cdot 47x^2 + \ldots \) mit \(x = \exp(2\pi i \tau/2^{1/2})\).