Dreiecksgruppen mit Spitzen in quadratischen Zahlkörpern. (Triangle groups with cusps in quadratic number fields) (Q1068122)

Unter der Hecke-Gruppe G(\(\lambda)\), \(\lambda\in {\mathbb{R}}\), \(\lambda >0\), verstehen wir die von \[ U=\left( \begin{matrix} 1\\ 0\end{matrix} \begin{matrix} \lambda \\ 1\end{matrix} \right)\quad und\quad T=\left( \begin{matrix} 0\\ -1\end{matrix} \begin{matrix} 1\\ 0\end{matrix} \right) \] erzeugte Untergruppe der SL(2,\({\mathbb{R}})\). G(\(\lambda)\) operiert in natürlicher Weise als Gruppe linear gebrochener Transformationen auf der oberen Halbebene \({\mathbb{H}}=\{z\in {\mathbb{C}}|\) Im z\(>0\}\); und es ist G(\(\lambda)\) genau dann Fuchssche Gruppe erster Art, wenn \(\lambda =\lambda_ q:=2 \cos (\pi /q),\) \(q\in {\mathbb{N}}\), \(q\geq 3\), oder \(\lambda =2\) ist. Nur diese Werte \(\lambda\) sind von besonderem analytischen Interesse. Es sei daher im folgenden \(\lambda =\lambda_ q\) oder \(\lambda =2\). Leider läßt sich bisher nicht allgemein bestimmen, ob ein beliebiges Element aus der SL(2,\({\mathbb{R}})\) zu G(\(\lambda)\) gehört oder nicht. Es gelingt dies nur für die arithmetisch definierten Gruppen G(\(\lambda)\), nämlich für die G(\(\lambda)\) mit \(\lambda =1\), \(\sqrt{2}\), \(\sqrt{3}\) oder 2. Ein erster Schritt zu einer Bestimmung der Elemente von G(\(\lambda)\) ist die Beschreibung der Bahn G(\(\lambda)\)(\(\infty)\) des Punktes \(\infty\) unter G(\(\lambda)\), d.h. der Menge \[ \{a/c| \quad \left( \begin{matrix} a\\ c\end{matrix} \begin{matrix} b\\ d\end{matrix} \right)\in G(\lambda)\}\quad \subset \quad {\mathbb{R}}\cup \{\infty \}. \] Das Problem der Beschreibung von G(\(\lambda)\)(\(\infty)\) wurde von verschiedenen Autoren aufgegriffen. Eine einfache Beschreibung von G(\(\lambda)\)(\(\infty)\) wurde von \textit{A. Leutbecher} [Abh. Math. Semin. Univ. Hamb. 31, 199-205 (1967; Zbl 0161.276) und Math. Ann. 211, 63-86 (1974; Zbl 0292.10020)] gegeben für den Fall \(\lambda =\lambda_ q\) mit \(q=3\), 4, 5, 6, 8, 10 oder 12. Der Autor analysiert die Methoden von A. Leutbecher und ergänzt den Ansatz, indem er Dreiecksgruppen mit Spitze \(\infty\) betrachtet, die in der SL(2,K) eines quadratischen Zahlkörpers K enthalten sind. Sieht man ab von den wohlbekannten arithmetisch definierten Dreiecksgruppen und den Dreiecksgruppen, die zu einer der von A. Leutbecher behandelten Gruppen G(\(\lambda)\) kommensurabel sind, so bleiben nach geeigneter Normierung und Konjugation genau die drei Gruppen \(G(1,\lambda_ q)\) übrig, die erzeugt werden von \[ S=\left( \begin{matrix} \lambda_ q\quad 1\\ -1\quad 0\end{matrix} \right)\quad und\quad U=\left( \begin{matrix} 1\quad 1+\lambda_ q\\ 0\quad 1\quad \end{matrix} \right) \] für \(q=4\), 5, \(6.\) G(1,\(\lambda\) \({}_ q)\) operiert auch in natürlicher Weise als Gruppe linear gebrochener Transformationen auf \({\mathbb{H}}\) und ist Fuchssche Gruppe erster Art. Der Autor zeigt in seinem Hauptresultat, daß die Bahn des Punktes \(\infty\) unter \(G(1,\lambda_ q)\) für \(q=4\), 5 und 6 gleich der Menge \({\mathbb{Q}}(\lambda_ q)\cup \{\infty \}\) ist. Ein anderer Beweis für dieses Resultat wird von \textit{F. Seibold} [Inauguraldissertation, Techn. Univ. München (1985; Zbl 0572.10019)] gegeben. Schließlich beschreibt der Autor die Situation für weitere Dreiecksgruppen. \{Vgl. auch die Dissertation des Verf., Johann-Wolfgang-Goethe- Universität, Frankfurt/Main (1984; Zbl 0548.20037).\}