Construction of a class of modular functions and forms. I, II (Q2626316)

I. Verf. konstruiert invariante Funktionen zu den Hauptkongruenzuntergruppen \(G(j)\) der Stufe \(j\ge 3\) der rationalen Modulgruppe \(G\). Hierzu werden gewisse Fourierreihen \(\lambda_\nu(\gamma; \tau)\), \(\nu = 1, 2, \ldots\), gebildet nach dem Muster der Fourierreihe von \(\lambda(\tau)\), der Grundfunktion von \(G(2)\). Um das Transformationsverhalten der \(\lambda_\nu(j; \tau)\) gegenüber Transformationen aus \(G(j)\) zu ermitteln, werden nach dem Vorbild von \textit{H. Rademacher} [Am. J. Math. 61, 237--248 (1939; Zbl 0020.22003)] Umordnungssätze für bedingt konvergente Reihen benutzt. Es ergibt sich \[ \lambda_\nu(j; L(\tau)) = \lambda_\nu(j; \tau) + \omega_\nu(j; c, d) \quad\text{ für }L = \begin{pmatrix} * & * \\ c & d\end{pmatrix}\in G(j), \] \(\omega_\nu((j; c, d)\) unabhängig von \(\tau\), sowie für einen etwas allgemeineren Reihenansatz \(\lambda_\nu(j; \tau, r)\), \(r\) gerade natürliche Zahl, \[ \lambda_\nu(j; L(\tau), r ) = (c\tau + d)^{- r} \lambda_\nu(j; \tau, r) + (c\tau + d)^{- r} p_\nu(j; \tau, r, c, d) \] mit einem Polynom \(p_\nu\) von höchstens \(r\)-tem Grad in \(\tau\). Durch Bildung passender Linearkombinationen dieser Funktionen erhält man Funktionen, die das Transformationsverhalten einer Modulfunktion bzw. einer Modulform der Dimension \(r\) zu \(G(j)\) zeigen. Ein Benutzer der Arbeit wird gut daran tun, die teilweise skizzierten Rechnungen genau nachzukontrollieren (siehe auch die Berichtigung am Schluß der Arbeit). Insbesondere ist es keineswegs sicher, ob die erwähnten Linearkombinationen wirklich Modulfunktionen bzw. Modulformen zu \(G(j)\) sind, solange nicht das Verhalten in allen Spitzen von \(G(j)\) untersucht ist, was Verf. (einem Hinweis von dritter Seite folgend) erfreulicherweise in Aussicht stellt. \bigskip In Teil II untersucht Verf. das Verhalten der in Teil I aufgestellten Funktionen \(\lambda_\nu(j; \tau)\) (die bei den Transformationen aus \(G(j)\) nur additive konstante Perioden aufnehmen) in den Spitzen von \(G(j)\). Durch Einführung weiterer ganzzahliger Parameter \(n_1, n_2\) wird eine größere Klasse von Funktionen \(\lambda_\nu(j, n_1, n_2; \tau)\) gebildet, die ein analoges Transformationsverhalten wie die \(\lambda_\nu(j; \tau)\) zeigen. Verf. weist nach, daß jede dieser Funktionen in genau einer Spitze von \(G(j)\) einen Pol der Ordnung \(\nu\) hat und in den anderen Spitzen von \(G(j)\) holomorph ist. Es handelt sich also um abelsche Integrale der zugehörigen Riemannschen Fläche, und passende Linearkombinationen liefern (in diesem Falle, siehe oben) in der Tat Modulfunktionen zu \(G(j)\). Ref. möchte anmerken, daß nicht, wie auf S. 669 angegeben, zwei rationale Punkte \(r/s\), \(r'/s'\) mit \((r, s) = (r', s') = 1\) dann und nur dann äquivalent mod \(G(j)\) sind, wenn \(r\equiv r'\), \(s\equiv s' \bmod (j)\) ist, sondern wenn \(r\equiv r'\), \(s\equiv s'\) oder \(r\equiv -r'\), \(s\equiv -s' \bmod (j)\) ist.