Über eine allgemeine Theorie der Fuchsschen Gruppen und Theta-Reihen. (Q2586813)

Entsprechend der Verallgemeinerung der Theorie der elliptischen Modul\-funktionen auf die Siegelschen Modulfunktionen wird vom Verf. die Theorie der Poincaréschen automorphen Funktionen auf mehrere Veränderliche übertragen. \textit{Bezeichnung}: \(E\) (Einheitsmatrix), \(Z\), \(H\), \(U_1\), \(U_2\),\dots seien quadratische \(n\)-reihige Matrizen; \(H > 0\) bedeutet, daß \(H\) hermitesch und die zu \(H\) gehörige hermitesche Form positiv definit ist; es sei \(I =\binom{\hfill0\;\;E}{-E\;\;0}\), \(S=\binom{E\hfill0}{0\;-E}\). Im Raum \(\mathfrak R\) aller symmetrischen Matrizen \(Z = Z'\) wird der Operationsbereich \(\mathfrak A\) durch die Unglei\-chung \(E - Z'\overline{Z} > 0\) beschrieben. Die Gruppe \(\varGamma\) der Matrizen \(U =\binom{U_1\;U_2}{U_3\;U_4}\), für welche \(U'IU=I\) und \(U'S\overline{U} = S\) ist, bildet \(\mathfrak A\) vermöge \(Z\to(U_1Z+U_2)(U_3Z+ U_4)^{-1}\) auf sich ab. Dem Produkt zweier Matrizen \(U\in\varGamma\) entspricht das Produkt der Ab\-bildungen. Die allgemeinste Substitution aus \(\varGamma\), welche einen Punkt \(A\in\mathfrak A\) in einen Punkt \(B\in\mathfrak A\) überführt, wird durch die Formel \[ D (Z_1 - B) (E - \overline{B}Z_1)^{-1} \overline{D}{}^{-1} = UC (Z - A) (E - \overline{A}Z)^{-1}\overline{C}{}^{-1} U' \] gegeben, wobei \(C(E- A'\overline{A})\overline{C}' = D(E- B'\overline{B})\overline{D}' = E\) gilt und \(U\) eine beliebige unitäre Matrix ist. Eine Untergruppe \(\mathfrak G\) von \(\varGamma\), die von infinitesimalen Substi\-tutionen frei ist, heißt eine allgemeine Fuchssche Gruppe. Eine solche ist diskon\-tinuierlich in \(\mathfrak A\) in dem Sinne, daß eine Serie nach \(\mathfrak G\) äquivalenter Punkte aus \(\mathfrak A\) sich niemals in \(\mathfrak A\) häuft. Funktionen zu \(\mathfrak G\) erhält man durch Quotientenbildung aus den Thetareihen \[ \theta_k(Z) ={\sum\limits_{\sigma\in\mathfrak G}}|U_3Z + U_4|^{-k(n+1)}\; \big(k\text{ ganz }\geqq 2, \sigma(Z)=(U_1Z +U_2)(U_3Z +U_4)^{-1}\big). \] Die Konvergenz der automorphen Formen \(\theta_k(Z)\) für \(k \geqq 2\) wird in Anlehnung an einen Poincaréschen Beweis mit Hilfe des euklidischen Inhalts der beschränkten Menge \(\mathfrak A\) erbracht. Ein Beispiel einer Fuchsschen Gruppe hat man in der Siegel\-schen Modulgruppe \(\mathfrak M\). Man braucht nur den Definitionsbereich \(\dfrac1{2i}(Z - Z)>0\) von \(\mathfrak M\) durch die Transformation \(Z_1 = (Z - iE)(Z + iE)^{-1}\) in \(\mathfrak A\) überzuführen und \(\mathfrak M\) selbst geeignet zu transformieren.