Einführung in die Theorie der Modulfunktionen n-ten Grades.
Es bezeichnen \(\mathfrak A, \mathfrak B, \mathfrak C, \mathfrak D, \dots \) \(n\)-reihige quadratische ganzzahlige Matrizen, \(\mathfrak E\) die Einheitsmatrix, \(\mathfrak N\) die Nullmatrix, \(\mathfrak U\) eine unimodulare Matrix, \(\mathfrak Z = \mathfrak X + i \mathfrak Y\) eine \(n\)-reihige veränderliche symmetrische Matrix mit \(\mathfrak Y > 0\) (d. h. die quadratische Form \(\mathfrak Y [\mathfrak x] = \mathfrak x^\prime \mathfrak Y \mathfrak x\), \(\mathfrak x^\prime = (x_1, \dots, x_n)\) ist positiv definit). Eine symmetrische Matrix \(\mathfrak T\) heißt halbganz, wenn die Form \(\mathfrak T [ \mathfrak x ]\) ganzzahlige Koeffizienten hat. Das Matrizenpaar \(\mathfrak C, \mathfrak D\) heißt symmetrisch, wenn \(\mathfrak C \mathfrak D^\prime = \mathfrak D C^\prime\), teilerfremd, wenn aus der Ganzzahligkeit von \(\mathfrak G \mathfrak C\), \(\mathfrak G \mathfrak D\) die von \( \mathfrak G\) folgt, und mit dem Matrizenpaar \(\mathfrak C_1, \mathfrak D_1\) assoziiert, wenn \(( \mathfrak C_1 \mathfrak D_1) = \mathfrak R (\mathfrak C \mathfrak D)\) mit einer quadratischen Matrix \(\mathfrak R\) vom Rang \(n\). -- Die Substitutionen \( \mathfrak M = \begin{pmatrix} \mathfrak A & \mathfrak B \\ \mathfrak C & \mathfrak D \end{pmatrix} \), für welche \(\mathfrak M \Im \mathfrak M^\prime = \Im\) mit \(\Im = \begin{pmatrix} \mathfrak N & \mathfrak E \\ -\mathfrak E & \mathfrak N \end{pmatrix}\), bilden bezüglich der Matrizenmultiplikation die Modulgruppe \(n\)-ten Grades \(\varGamma\); sie ist mod \(\pm \begin{pmatrix} \mathfrak E & \mathfrak N \\ \mathfrak N & \mathfrak E \end{pmatrix} \) isomorph der Gruppe der Abbildungen \(\mathfrak Z \to (\mathfrak A \mathfrak Z + \mathfrak B) (\mathfrak C \mathfrak Z + \mathfrak D)^{-1}\), welche den Bereich \(P\), definiert durch \(\mathfrak Z = \mathfrak Z^\prime\), \(\mathfrak Y > 0\), auf sich abbilden. Zur Konstruktion eines für funktionentheoretische Zwecke brauchbaren Fundamentalbereichs \(F\) für \(\varGamma\) in \(P\) wird die \textit{Minkowski}sche Reduktionstheorie der quadratischen Formen herangezogen. \(F\) entsteht in der Weise, daß man in jeder Serie von äquivalenten Punkten \(\mathfrak Z\) einen solchen mit maximalem \(|\mathfrak Y |\) auswählt. Durch anschließende Reduktion mit Hilfe der affinen Substitutionen \((\mathfrak Z = \mathfrak N)\) erreicht man, daß \(\mathfrak Y\) die bekannten Minkowskischen Reduktionsbedingungen und \(\mathfrak X = (x_{ik})\) die Ungleichungen \(-\frac 12 < x_{ik} \leqq \frac 12\) (\(i, k = 1, \dots, n)\) erfüllen. -- \(\varphi (\mathfrak Z)\) heißt eine Modulform \(n\)-ten Grades vom Gewicht \(g\) (ganzzahlig und gerade), wenn \(\varphi (\mathfrak Z)\) eine in \(P\) regulär analytische und in \(F\) beschränkte Funktion ist, welche für sämtliche Substitutionen \(\subset \varGamma\) die Funktionalgleichung \(\varphi ((\mathfrak A\mathfrak Z + \mathfrak B)(\mathfrak C \mathfrak Z + \mathfrak D)^{-1}) = | \mathfrak C \mathfrak Z + \mathfrak D |^g \varphi (\mathfrak Z)\) befriedigt. Es gibt eine eindeutig bestimmte Fourierentwicklung \(\varphi(\mathfrak Z) = \sum\limits_{\mathfrak T} a(\mathfrak T) e^{2\pi i \sigma (\mathfrak T \mathfrak Z)}\) (\(\sigma = \) Spurzeichen), in welcher die Summation über alle symmetrischen halbganzen \(\mathfrak T\) zu erstrecken ist; \(a(\mathfrak T) = a(\mathfrak T [\mathfrak U])\) ist stets erfüllt. Setzt man \( \begin{pmatrix} \mathfrak Z_1 & \mathfrak n \\ \mathfrak n^\prime & i\lambda \end{pmatrix} \) (\(\lambda > 0\), \(\mathfrak n = \) Nullspalte), so gilt der für Induktionsansätze wichtige Satz, daß \(\lim\limits_{\lambda\to \infty} \varphi (\mathfrak Z ) = \psi (\mathfrak Z_1)\) existiert und eine Modulform \((n -1)\)-ten Grades zum gleichen Gewicht darstellt. Eine Form \(\varphi (\mathfrak Z ) \) mit \(g < 0\) verschwindet identisch und ist mit \(g = 0\) notwendig konstant. -- Das erste Hauptergebnis besagt: Zwischen \(h = \dfrac {n(n+1)}{2}+2\) beliebigen Modulformen \(\varphi_1, \dots \varphi_h\) mit den Gewichten \(g_1, \dots, g_h\) gibt es stets eine isobare Gleichung \(\sum\limits_{g_1 \nu_1 + \cdots + g_h \nu_h = g, \nu_i \geqq 0} a (\nu_1, \dots, \nu_h ) \varphi_1^{\nu_1} \cdots \varphi_h^{\nu_h} =0\) vom Gewicht \(g = c_1 g_1 \cdots g_h\), \(c_1 = c_1(n)\), mit nicht sämtlich verschwindenden konstanten Koeffizienten. Der Beweis erfolgt durch Zurückführung auf den nachfolgenden Satz, in welchem \(D (\mathfrak T) > 0\) der größte gemeinsame Teiler aller \(r\)-reihigen Unterdeterminanten der Matrix \(\mathfrak T\) vom Rang \(r\) ist. Eine Modulform \(\varphi (\mathfrak Z) = \sum\limits_{\mathfrak T} a(\mathfrak T) e^{2 \pi i \sigma (\mathfrak T \mathfrak Z)}\) verschwindet identisch, wenn \(T > c_2 g^n\), \(c_2 = c_2(n)\), und \(a(\mathfrak T) = 0\) für alle \(\mathfrak T\) mit \(D(\mathfrak T) \leqq T\) gilt. Ein Induktionsansatz nach \(n\) und eine gewisse Verallgemeinerung des Schwarzschen Lemmas führen zum Beweis dieses wichtigen Satzes. Um die Existenz von \(h - 1\) algebraisch unabhängigen Modulformen zu erhärten, werden spezielle Formen vom Gewicht \(g > n +1\), nämlich die Eisensteinreihen \( \varPsi_g (\mathfrak Z) = \sum\limits_{\{\mathfrak C, \mathfrak D\}} | \mathfrak C \mathfrak Z + \mathfrak D|^{-g}\) herangezogen. Die Summe ist dabei über ein volles System von ganzzahligen teilerfremden symmetrischen und paarweise nicht assoziierten Matrizenpaaren \(\mathfrak C, \mathfrak D\) zu erstrecken. Für natürliches gerades \(g > n + 1\) ist \( \varPsi_g (\mathfrak Z) \not = 0\). Mit nicht identisch verschwindender Modulform \(\varPhi_g ( \mathfrak Z)\) vom Gewicht \(g\) wird die in \(\lambda\) meromorphe Funktion \(M(\lambda; \mathfrak Z) = \sum\limits_{\{\mathfrak C, \mathfrak D\}} (\lambda - \varPhi_g ( \mathfrak Z)| \mathfrak C \mathfrak Z + \mathfrak D|^g )^{-1}\) gebildet und unter voller Ausnutzung der Ganzzahligkeit der Modulsubstitutionen gezeigt, daß \(M(\lambda; \mathfrak Z_1) \equiv M(\lambda; \mathfrak Z_2)\) nur dann stattfinden kann, wenn \(\mathfrak Z_1\) und \(\mathfrak Z_2\) nach \(\varGamma\) äquivalent sind, sofern \(\mathfrak Z_1, \mathfrak Z_2\) nicht auf gewissen algebraischen Flächen liegen. Unter den Koeffizienten \(f_k (\mathfrak Z) = \varPsi_{kg}(\mathfrak Z) \varPhi_g^{-k} (\mathfrak Z)\) der Potenzreihe \(-M(\lambda; \mathfrak Z) = \sum\limits_{k=1}^\infty f_k (\mathfrak Z) \lambda^{k-1}\) muß es dann notwendig \(h - 2\) algebraisch unabhängige geben, etwa \(f_{k_a} (\mathfrak Z)\) (\(a =1, \dots, h-2)\). Damit ergibt sich das zweite Hauptresultat, nämlich die Existenz von \(h - 1\) isobar algebraisch unabhängigen Formen \(\varPsi_g (\mathfrak Z)\), \(\varPsi_{k_a g} (\mathfrak Z)\) (\(a = 1, \dots, h-2)\). Definiert man eine Modulfunktion \(n\)-ten Grades als Quotienten zweier Modulformen gleichen Gewichts, so besagen die abgeleiteten Ergebnisse, daß der Körper aller Modulfunktionen über dem Körper der komplexen Zahlen den Transzendenzgrad \(h-2\) hat. Eine genauere Analyse der algebraischen Relationen zwischen je \(h - 1 \) Modulfunktionen zeigt, daß sich alle Modulfunktionen rational durch \(h - 1\) geeignete ausdrücken lassen. Jede Modulfunktion läßt sich sogar rational durch Eisensteinreihen, nämlich als Quotient von zwei isobaren Polynomen gleichen Gewichts darstellen. Die Modulfunktionen sind nach Definition an jeder Stelle des Fundamentalbereichs (als Quotienten von Formen) meromorph. Daß diese Eigenschaft zusammen mit der Invarianz bei \(\varGamma\) zur Charakterisierung der Modulfunktionen ausreicht, wird ohne Beweis mitgeteilt. Zum Schluß wird der Nachweis erbracht, daß die Koeffizienten in der Fourierentwicklung von \(\varPsi_g(\mathfrak Z)\) rational sind, und die Methode entwickelt, wie die algebraischen Relationen zwischen den Eisensteinreihen aufgestellt werden können.
This page was built for publication: Einführung in die Theorie der Modulfunktionen \(n\)-ten Grades.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2591204)
