Höhere Modulfunktionen und ihre Anwendung auf die Zahlentheorie. (Q1483620): Difference between revisions

Nachdem \textit{Blumenthal}, von \textit{Hilbert} angeregt, Modulfunktionen von \(n\) Veränderlichen nach der funktionentheoretischen Seite hin bearbeitet und eine Reihe bemerkenswerter Ergebnisse gewonnen hatte (F. d. M. 34, 466-468, 1903; 35, 432-433, 1904), unternimmt es der Verf., diese Untersuchungen weiterzuführen und für die Zahlentheorie nutzbar zu machen. Wie er bemerkt, tritt das Prinzip, von zahlentheoretischen Gesichtspunkten aus zu neuen Funktionen zu gelangen, vereinzelt schon früher in der Literatur auf. So findet sich in \textit{Dirichlets} klassischer Abhandlung über die Bestimmung der Klassenzahl quadratischer Formen eine Digression über gewisse Reihen, die im Falle einer negativen Determinante auf bekannte Formeln aus der Lehre von den elliptischen Funktionen führen, im Falle einer positiven Determinante aber neue Funktionen definieren; dieselben Reihen treten auch bei H. \textit{Weber} auf (F. d. M. 25, 787, 1893), ohne jedoch genauer untersucht zu werden. Dann aber hat \textit{Fricke} in einer Reihe von Arbeiten automorphe Funktionen einer Veränderlichen betrachtet, bei denen die Koeffizienten der linearen Transformationen aus den ganzen Zahlen eines algebraischen Zahlkörpers gewonnen werden, und hat deren Theorie so weit gefördert, daß\ ihr Zusammenhang mit einer besonderen Klasse quadratischer Formen hervortritt. Von funktionentheoretischer Seite her ist besonders \textit{Humbert} zu den \textit{Hilbert}schen Modulfunktionen von zwei Veränderlichen gekommen (F. d. M. 30, 408, 1899; 31, 455, 1900; 32, 456, 1901; 34, 243, 244, 1903; 35, 230, 1904; 37, 466, 1906). Wenn man die Theorie der Transformation der hyperelliptischen Funktionen von zwei Veränderlichen nach dem Vorbilde der elliptischen Funktionen auszubauen sucht, so müssen diejenigen Systeme von Thetamoduln untersucht werden, die neben den gewöhnlichen \textit{Hermite}schen Transformationen noch andere gestatten, und die, wie \textit{Humbert} gezeigt hat, dadurch gekennzeichnet sind, daß\ sie mindestens eine \textit{Hermite}sche Transformation in sich besitzen. Die allgemeinsten Thetafunktionen dieser Art führen unmittelbar zu den \textit{Hilbert}schen Modulfunktionen; als besondere Fälle davon, bei denen zwei solche Transformationen in sich vorhanden sind, erscheinen dann die Funktionen einer Veränderlichen, die \textit{Fricke} betrachtet hat. Die Sätze von \textit{Humbert} sind von dem Verf. der vorliegenden Göttinger Dissertation in ausgedehntem Maße benutzt worden. In dem ersten Kapitel wird zunächst auseinandergesetzt, wie sich die \textit{Hilbert}schen Modulfunktionen für zwei Veränderliche aus den Perioden ergeben, die beim hyperelliptischen Gebilde vom Geschlechte zwei auftreten, und darauf wird die Theorie der zugehörigen Transformations- und Multiplikatorgleichungen entwickelt. Das zweite Kapitel ist zahlentheoretischen Inhalts. Es sei \(k(\sqrt{D})\) ein reeller quadratischer Körper und \(K\) ein relativ-quadratischer Körper, der durch Adjunktion von \(\sqrt{\triangle}\) erzeugt werde; \(K\) sei total imaginär. Dann werden die Beziehungen aufgestellt, die zwischen den Klassen äquivalenter Zahlen und gewissen Idealklassen in \(K\) bestehen, analog, wie das für den absolutquadratischen Körper der Fall ist. Es folgen die Untersuchungen der Transformationen der Zahlen des Relativkörpers in sich, und den Schluß\ bildet die Ermittlung der notwendigen und hinreichenden Bedingungen dafür, daß\ zwei Zahlen \(\xi\) und \(\xi'\), welche Wurzeln in \(k(\sqrt{D})\) liegender quadratischer Gleichungen mit konjugierten Koeffizienten sind, ein singuläres Wertsystem im Sinne von \textit{Humbert} bilden. Im dritten Kapitel werden die Modulfunktionen für solche Argumente \(\xi, \xi'\), untersucht. Das Hauptergebnis läßt sich folgendermaßen aussprechen. Gegeben sei ein reeller quadratischer Körper \(k (\sqrt{D})\). Es sei \(\triangle\) eine total negative Zahl in ihm von der Art, daß\ die Zahl \(\sqrt{\triangle}\) mit ihrer konjugierten \(\sqrt{\triangle'}\) einen \textit{Galois}schen Körper vom Grade acht definiert. Ferner bezeichne \(\xi\) eine Zahl mit positivem imaginaren Teil in \(K(\sqrt{\triangle})\), deren Primitivdiskriminante gleich der Relativdiskriminante von \(K(\sqrt{\triangle})\) in bezug auf \(k(\sqrt{D})\) ist, und \(\xi'\), die Konjugierte in \(K(\sqrt{\triangle'})\) mit negativ imaginärem Teile. Bildet man die Modulfunktion \(F\) der zum Körper \(k(\sqrt{D})\) gehörigen Modulgruppe und setzt als Argumente die Zahlen \(\xi, \xi'\) ein, so erhält man als Wert von \(F\) eine algebraische Zahl \(u\), die einer algebraischen Gleichung mit rationalen Koeffizienten vom Grade \(2h'\) genügt; \(h'\) ist die Anzahl derjenigen Idealklassen in \(K(\sqrt{\triangle})\), deren Relativnorm in \(k(\sqrt{\triangle})\), der engeren Hauptklasse angehört. Nach Adjunktion von \(\sqrt{\triangle \triangle'}\) zerfällt diese Gleichung in zwei Gleichungen vom Grade \(h'\). Nach Adjunktion von \(\sqrt{\triangle}+\sqrt{\triangle'}\) für die eine, von \(\sqrt{\triangle}-\sqrt{\triangle'}\) für die andere dieser beiden Gleichungen werden beide zu \textit{Abel}schen Gleichungen. Ihre Gruppe ist als Untergruppe enthalten in der Gruppe der Idealklassen von \(K(\sqrt{\triangle})\), deren Relativnorm in \(k(\sqrt{D})\) der Hauptklasse in engerem Sinne angehört. Die Untersuchung der so erhaltenen Körper \(K(u)\) soll die Aufgabe einer weiteren Abhandlung sein.