Lectures on the theory of automorphic functions. Volume 2 The function theory and applications. First installment: The theory of automorphic functions proper
Der erste Band des Werkes (F. d. M. 28, 334, 1897, JFM 28.0334.01) begründete die Theorie der automorphen Funktionen. Nunmehr wird das Einzelne ausgeführt. Im ersten der vier Kapitel des vorliegenden ersten Abschnittes handelt es sich um die Existenz- und Eindeutigkeitstheoreme der automorphen Funktionen, andererseits um die Festlegung der inversen Funktionen, der ``polymorphen'', und deren Differentialgleichungen. Vorgelegt sei eine eigentlich diskontinuierliche Polygongruppe \(\varGamma\) linearer Substitutionen einer komplexen Variable \(\zeta\). Eine (linear) ``automorphe'' Funktion \(z= \varphi (\zeta)\) bleibt gegenüber irgend einer Substitution \(V_\kappa\) von \(\varGamma\) ungeändert; die inverse oder (linear) ``polymorphe'' Funktion \(\zeta = f(z)\) transformiert sich bei geschlossenen Umfläufen von \(z\) linear: \(\zeta'= \frac{\alpha \zeta + \delta}{\gamma \zeta + \delta}\). Sei \(N\) ein ``Netz'' von Polygonen \(P_0, P_1, \dots\) von \(\varGamma\), so besteht \(\varGamma\) aus den Substitutionen \(V_0, V_1, \dots\), die den ``Fundamentalbereich'' \(P_0\) in \(P_0, P_1, \dots\) überführen. Hierbei wird vorausgesetzt, daß\ also \(P_0\) aus endlich vielen Seiten (Kreisbogen) besteht. \(P_0\) besitze \(n\) ``Cyklen'' ``fester'' Ecken, und \(p\) sei das Geschlecht der aus \(P_0\) durch Zusammenbiegung entsprechender Randkurven hervorgehenden geschlossenen Fläche \(F\), man sagt, daß\ \(P_0\) und \(\varGamma\) hierdurch den ``Charakter'' \((p, n)\) erhalten. Die Existenz der automorphen Funktionen \(\varphi\) wird auf die \textit{Riemann}schen Existenztheoreme gegründet, mit Benutzung der Beweismethoden von \textit{H. A. Schwarz} und \textit{C. Neumann}. Für \(\zeta = \xi + i\eta\) wird zunächst ein automorphes Potential \(u(\xi, \eta)\) konstruiert, sodann das zu \(u\) konjugierte Potential \(v(\xi, \eta) = \int \left( \frac{\partial u}{\partial \xi} d\eta - \frac{\partial u}{\partial \eta} d\xi \right)\) (bei geeigneter Integrationsbahn). Solche Ausdrücke \(Z=u + iv\) sind auf \(F\) Integrale zweiter Gattung; durch passende lineare Kombination gehen aus ihnen automorphe Funktionen \(\varphi (\zeta)\) hervor. Ist \(\mu\) die Anzahl der einfachen Pole von \(\varphi\), so nimmt \(\varphi\) jeden vorgegebenen Wert an \(\mu\) Stellen in \(P_0\) an: \(\mu\) heißt die ``Wertigkeit'' von \(\varphi\) Durch \(z = \varphi (\zeta)\) wird somit \(P_0\) auf eine \(\mu\)-blättrige \textit{Riemann}sche Fläche \(F\) der Variable \(z\) vom Geschlecht \(p\) abgebildet. Es wird dann \(\varphi [\zeta(z)]\) eine zu \(F\) gehörende \textit{algebraische} Funktion und umgekehrt, so daß\ eine algebraische Funktion von \(z\) auf \(F\) eine eindeutige Funktion \(\varphi (\zeta)\) in \(P_0\) wird. Die Klassifikation der \(\varphi\) richtet sich nach funktionentheoretischen und gruppentheoretischen Gesichtspunkten, insbesondere sind für die höheren \(\varphi\) die ``Hauptkreisgruppen'' maßgebend; man hat zwei Hauptklassen von \(\varphi\), je nachdem sie einen Hauptkreis besitzen oder nicht. Die ersteren sind wiederum entweder solche mit ``Grenzkreis'' oder aber solche mit isolierten Grenzpunkten. Was die Integrale der automorphen Gebilde angeht, so lassen sich automorphe Integrale erster und zweiter Gattung herstellen, die eindeutige Funktionen von \(\zeta\) sind, ein Satz, der sich u. a. auf die Lösungen linearer homogener Differentialgleichungen ausdehnen läßt, deren Koeffizienten auf \(F\) algebraisch sind. Das Hauptproblem für die automorphen Funktionen \(\varphi(z)\) ist, ob solche auf jeder \textit{Riemann}schen Fläche bei willkürlich gegebenen Verzweigungsstellen \(e\) existieren. Auf Grund der Invarianz des \textit{Schwarz}schen Differentialausdrucks ergibt sich, daß\ die \(\zeta\) einer und derselben ``Klasse'' (die nämlich durch lineare Transformation von \(\zeta\) aus einander hervorgehen) Integrale einer gewissen Differentialgleichung dritter Ordnung sind. Das zweite Kapitel bringt die formentheoretischen Ausführungen im Falle \(p = 0\). Die automorphen Formen gehen alls den entsprechenden Funktionen direkt durch einen gewissen Differentiationsprozeßhervor. Für \(\zeta = \zeta_1: \zeta_2\) wähle man die \(\zeta_1, \zeta_2\) so (als ``erlaubte'' Werte), daß\ \(\zeta\) auf \(N\) beschränkt bleibt; die homogenen \(\zeta\)-Substitutionen \(U_k\) werden unimodular geschrieben. Eine automorphe Form \(\varphi_d (\zeta_1, \zeta_2) = \varphi\) ist eine homogene, unverzweigte Funktion der ``Dimension'' \(d\). Längs eines Weges von \((\zeta_1, \zeta_2)\) bis zu einer äquivalenten Stelle soll \(\varphi\) eindeutig fortsetzbar sein und sich daselbst nur um einen konstanten Faktor \(\mu\) ändern. Übrigens ist im allgemeinen \(\varphi_d\) durchaus nicht eindeutig. Der Quotient zweier \(\varphi_d\) mit demselben \(d\) und \(\mu\) ist eine automorphe Funktion. Bezeichnet \((\zeta, d\zeta)\) die Differentialform \(\zeta_1 d\zeta_2 - \zeta_2d \zeta_1\), so ist \(\varphi_{-2} = \frac{d\varphi (\zeta)}{(\zeta, d\zeta)}\) eine absolut invariante automorphe Form. Für \(p=0\) entsteht so aus der ``Hauptfunktion'' \(z= \varphi (\zeta)\) die ``Hauptform'', die, abgesehen vou \(n\) Nullpunkten in den festen Ecken \(e_k\), von den Ordnungen \(\left( 1- \frac{1}{l_k} \right)\) und einem Pole zweiter Ordnung, überall in \(P_0\) endlich und von Null verschieden ist. Somit ist das Produkt \[ \varphi_{-2} \prod_1^n (z-e_k)^{-\left( 1- \frac{1}{l_k} \right)}, \] abgesehen von einem Pole, in \(P_0\) überall endlich und nicht Null. Für das Verhalten im Pole ist die Ordnung \[ \frac{2}{\nu} = 2- \sum_1^n \left( 1- \frac{1}{l_k} \right) \] maßgebend. Die \(\left( -\frac{\nu}{2} \right)\)-te Potenz \(z_2\) jenes Produktes hat nur noch einen Nullpunkt erster Ordnung und ist eine unverzweigte Form \(\varphi_\nu\), die als ``Primform'' eingeführt wird. Besitzt die Form \((z_1\; e_k) = z_1 e_k^{(2)} - z_2 e_k^{(1)}\) in der Ecke \(e_k = \frac{e_k^{(1)}}{e_k^{(2)}}\) einen Nullpunkt der Ordnung \(l_k\), so ist auch \(Z_k = \root l_k\of{(z,e_k)}\) eine unverzweigte Form, die ``Grundform'' heißt. Allgemein ändert sich eine Form \(\varphi_d\) gegenüber einer Substitution \(U\) um einen gewissen Exponentialfaktor \(\mu\). Für die Gruppen der regulären Körper gelangt man zu drei Grundformen, die mit den \textit{Fuchs}schen ``Primformen'' übereinstimmen. Die Prim- und Grundformen dienen, obwohl selbst mehrdeutig, als Grundlage der \textit{eindeutigen} automorphen Formen. Dabei heißt \(\varphi_d\) eindeutig, wenn der Faktor \(\mu\) von der Wahl des Weges der Argumente \(\zeta_1, \zeta_2\) unabhängig ist. Einem Produkt von \(U\) gehört als Multiplikator das Produkt der einzelnen Multiplikatoren zu; den \(n\) ``Erzeugenden'' \(U_1, U_2, \dots, U_n\) entspricht somit ein ``Multiplikatorsystem'' \[ M = (\mu_1, \mu_2, \dots, \mu_n), \] wo die \(\mu\) gewisse Einheitswurzeln sind \((\mu_i^{li} = (- 1)^d)\). Die für eine gegebene Gruppe \(\varGamma\) möglichen Systeme \(M\) bilden eine \textit{Abel}sche Gruppe, wodurch sich die Anzahl der \(M\) bestimmen läßt. Die Frage nach der Existenz einem System \(M\) zugehöriger automorpher Formen wird gelöst durch Darstellung aller unverzweigten \(\varphi_d\) (für \(p = 0\)) durch die Primformen \(z_1, z_2\) (wo \(z_1 = zz_2\)) und die Grundformen \(Z\). Im besondern existieren für jedes gerade \(d\) ``eigentliche'' \(\varphi_d\) d. h. zum System \(\mu_k =1\) gehörige, die also gegenüber allen \(U\) absolut invariant sind. Ein ``inverses'' Multiplikatorsystem \(\overline M\) besitzt die \(\overline{\mu_k} = \frac{1}{\mu_k}\) zu Multiplikatoren. Man wählt zweckmäßig die zugehörigen Dimensionen \(d, \overline d\) so, daß\ \(d+ \overline d +2=0\) wird. Nunmehr werden auch die polymorphen Funktionen \(\zeta =f(z)\) mittels ``erlaubter'' Variabeln \(z_1, z_2\) homogen gemacht; \(\zeta = f(z)\) spaltet sich in \(\zeta_1 = \zeta \zeta_2\): \[ \zeta_1 = f_1(z_1, z_2),\quad \zeta_2 = f_2(z_1, z_2), \text{ wo } \zeta_2 = C\;\frac{1}{\sqrt{ \frac{d\zeta}{dz}}}\;z_2 \prod_1^n (z, e_\kappa)^{-\frac 12 \left( 1- \frac{1}{l_\kappa} \right)} \,. \] \textit{Riemann} wählt statt der \(\zeta_1, \zeta_2\) die Ausdrücke nullter Dimension: \[ Z_1 = \frac{\zeta}{\sqrt{\frac{d \zeta}{dz}}}, \quad Z_2 = \frac{1}{\sqrt{\frac{d \zeta}{dz}}} \,. \] Eine einzelne Form \(Z\) der Schar \(AZ_1 + BZ_2\) deckt sich mit der ``\textit{Riemann}schen \(P\)-Funktion''. Die Formen jener Schar genügen einer linearen Differentialgleichung zweiter Ordnung. Die Theorie der \(\zeta_1, \zeta_2\) bietet den Vorteil, daß\ sie gegenüber den linearen Substitutionen der \(z_1, z_2\) den Charakter der Invarianz besitzt. Das dritte Kapitel ist der Theorie der ``\textit{Poincaré}schen Reihen'' gewidmet, die übrigens im wesentlichen gleich für ein beliebiges Geschlecht \(p\) entwickelt wird. Man hat den Ansatz: \[ \varphi_d = \sum_\kappa \mu_\kappa^{-1} H_d (\alpha_\kappa \zeta_1 + \beta_\kappa \zeta_2, \gamma_\kappa \zeta_1 + \delta_\kappa \zeta_2) = \sum_\kappa \mu_\kappa^{-1} H_d (\zeta_1^{(\kappa)}, \zeta_2^{(\kappa)}), \] wo \(H_d (\zeta_1, \zeta_2)\) eine homogene rationale Funktion der Dimension \(d\) bedeutet, summiert über alle Substitutionen \(U_\kappa\) von \(\varGamma\). Für die absolute und gleichmäßige Konvergenz dieser Reihe in der Umgebung einer beliebigen Stelle \(\zeta_0\) von \(N\) werden zwei Beweise gegeben, deren Grundzüge von \textit{Poincaré} selbst (für Hauptkreisgruppen) ausgeführt sind. Das Prinzip des einen Beweises läßt sich in die anschauliche Form kleiden, daß\ man aus \(N\) eine unendliche Anzahl von Teilbereichen herausgreift, deren Inhaltssumme doch eine endliche ist. Die konvergente Reihe liefert dann eine eindeutige automorphe Form \(\varphi_d\) bei vorgeschriebenem Multiplikatorsystem \(M\) und gegebener Dimension \(d\), wo \(d\) der Beschränkung unterliegt, ganzzahlig und \(\leqq -4\) zu sein. Es handelt sich nur um den Ausschluß\ der Möglichkeit, daß\ jene Reihe \textit{identisch} verschwindet; dies findet sicher nicht statt, wenn die Reihe in \(P_0\) wenigstens \textit{einen} Pol besitzt. Daher werden die einpoligen Reihen einer eingehenderen Untersuchung unterzogen; bedeutet \(H_{d+1} (\zeta_1, \zeta_2)\) eine rationale Form, deren Pole außerhalb \(N\) liegen, so wird eine solche Reihe durch \[ \sum_\kappa\;\mu_\kappa^{-1}\;\frac{H_{d+1} (\zeta_1^{(\kappa)}, \zeta_2^{(\kappa)})}{(\zeta^{(\kappa)}, \xi)} \] geliefert mit dem Pole \(\xi = (\zeta_1, \zeta_2)\). Für parabolische Ecken bedarf es der Einführung der ``Elementarformen'' \(\varOmega (\zeta_1, \zeta_2; \xi_1, \xi_2)\), die aus der obigen Reihe durch Zusatz des Faktors \(\frac{1}{H_{d+1} (\xi_1, \xi_2)}\) hervorgeht. Neben \(\zeta_1, \zeta_2\) werden nunmehr auch \(\xi_1, \xi_2\) als beweglich angesehen; iusbesondere kann sich \(\xi\) einer parabolischen Spitze nähern. Die Form \(\varOmega\) ist in gewissen Fällen auch eine automorphe Form der \(\xi_1, \xi_2\); wichtiger hingegen sind nach \textit{Poincaré} die in den \(\xi\) \textit{nicht automorphen} \(\varOmega\). Hier läßt sich eine Substitution \(U_i\) von \(\varGamma\), die \(\varOmega\) in \(\varOmega_i\) überführe, so wählen, daß\ \(\varOmega_i - \varOmega\) in der Tat eine polfreie und nicht identisch verschwindende Reihe wird. Nunmehr wird an das wichtige Problem herangegangen, eine beliebige automorphe Form durch die \(\varOmega\) und damit durch \textit{Poincaré}sche Reihen darzustellen. Dies geschieht durch ein geeignetes lineares Aggregat von Formen \(\varOmega\). Die \(\varOmega\) treten zuerst bei \textit{Poincaré} als ``élément simple'' auf und sind dann von \textit{Ritter} sowie von den Verfassern formentheoretisch weiter ausgebildet. Das vierte und letzte Kapitel beschäftigt sich mit Ausdehnungen auf ein beliebiges Geschlecht \(p\). Mit Hülfe eines Normalintegrals dritter Gattung wird eine Primform aufgestellt; sowohl von \textit{Klein} wie von \textit{Ritter} stammt eine bemerkenswerte Gestalt derselben her. Sodann werden die polymorphen Formen untersucht. Es werden zwei Formen der Dimension \(1- p\) gewonnen, deren Quotient \(\zeta\) ist, und die bei erlaubten \(z_1, z_2\) stets nur erlaubte Werte annehmen. Will man \(\zeta\) auf die allgemeinste Art in zwei derartige Formen spalten, so hat man \(\zeta_1, \zeta_2\) noch mit einem Exponentialfaktor \(e^{c_0 + c_1 W1+ \cdots +c_p W_p}\) zu versehen, wo die \(W\) ein System überall endlicher Normalintegrale sind. Wie früher, ergeben sich auch jetzt für die polymorphen Formen lineare Differentialgleichungen zweiter Ordnung in invarianter Gestalt. Sodann werden alle unverzweigten automorphen Formen \(\varphi_d (\zeta_1, \zeta_2)\) von \(\varGamma\) durch Prim- und Grundformen dargestellt. Zu jedem theoretisch möglichen Multiplikatorsystem \(M\) von \(\varGamma\) und zu jeder Dimension \(d\) gehören in der Tat eindeutige automorphe Formen \(\varphi_d\). Schließlich werden auch die \textit{Poincare}schen Reihen und Elementarformen für beliebiges \(p\) entwickelt. Für jedes \(d\leqq -2\) und zugehörige \(M\) existieren polfreie, nicht identisch verschwindende \textit{Poincaré}sche Reihen.
scientific article; zbMATH DE number 2662816