Zur Theorie der Modulformen \(n\)-ten Grades. (Q2598771)

\textit{C. L. Siegel} hat in seiner Theorie der quadratischen Formen (Ann. Math., Princeton, (2) 36 (1935), 527-606; F. d. M. \(61_{\text I}\), 140) die Klasseninvariante \[ f(\mathfrak S,\mathfrak X)=\sum_{\mathfrak C} e^{\pi i\text{Sp}(\mathfrak C'\mathfrak{SCX})} \] einer symmetrischen \(m\)-reihigen ganzzahligen Matrix \(\mathfrak S\) definiert. \(\mathfrak X\) ist symmetrisch und \(n\)-reinig, \(\mathfrak C\) durchläuft alle ganzzahligen rechteckigen \((m,n)\)-Matrizen. Verf. zeigt, daß \(f(\mathfrak S,\mathfrak X)\) durch Teilwerte der Riemannschen Thetafunktion in \(n\) Variablen ausgedrückt werden kann. Für die ebenfalls bei Siegel definierte Geschlechtsinvariante von \(\mathfrak S\) \[ F(\mathfrak S,\mathfrak X)=\sum_{\mathfrak S_h\lor\mathfrak S} \frac{f(\mathfrak S_h\mathfrak X)}{E(\mathfrak S_h)}\cdot\left( \sum_{\mathfrak S_h\lor\mathfrak S} \frac 1{E(\mathfrak S_h)}\right)^{-1} \] (\(E(\mathfrak S)\) ist die Anzahl der ganzzahligen linearen Transformationen von \(\mathfrak S\) in sich) folgt dann insbesondere für \(\mathfrak S =\mathfrak E\) die Darstellung der Geschlechtsinvariante des Geschlechts der Einheitsmatrix durch Thetateilwerte. Andererseits gab Siegel eine Darstellung durch verallgemeinerte Eisensteinreihen \[ F(\mathfrak S,\mathfrak X)=\sum_{\mathfrak A,\mathfrak B} (\mathfrak S,\mathfrak A, \mathfrak B)|\mathfrak{AX}+\mathfrak B|^{-\tfrac m2}, \] deren Koeffizienten \(H(\mathfrak S, \mathfrak A, \mathfrak B)\) für \(\mathfrak S=\mathfrak E\) und \(m \equiv 0(4)\) hier berechnet werden. Bei Anwendung der Modulsubstitutionen \(n\)-ten Grades \(\mathfrak X_1= (\mathfrak{GX}+\mathfrak H)(\mathfrak {KX}+\mathfrak L)^{-1}\) mit \(\mathfrak{GH}'= \mathfrak{HG}'\), \(\mathfrak{KL}'=\mathfrak{LK}'\), \(\mathfrak {GL}'-\mathfrak{HK}'=\mathfrak E\) ist \(F(\mathfrak E, \mathfrak X)\) für \(m\equiv 0(8)\) Modulform \(n\)-ten Grades zur Untergruppe \(U_1\), für die \(\mathfrak{GH}'\) und \(\mathfrak{KL}'\) ``gerade Matrizen'' sind, für \(m\equiv 4(8)\) dagegen Modulform für die Untergruppe \(U_2\) mit \(\mathfrak K\equiv\mathfrak N\;(\text{mod}\;2)\). Dabei heißt eine symmetrische Matrix gerade, wenn die zugehörige quadratische Form ganzzahlige Koeffizienten besitzt und nur gerade Zahlen darstellt; \(\mathfrak N\) ist die Nullmatrix.