Dreiecksgruppen mit Spitzen in quadratischen Zahlkörpern. (Triangle groups with cusps in quadratic number fields) (Q1068122): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q203188 |
||
Property / reviewed by | |||
Property / reviewed by: Gerhard Rosenberger / rank | |||
Revision as of 18:49, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dreiecksgruppen mit Spitzen in quadratischen Zahlkörpern. (Triangle groups with cusps in quadratic number fields) |
scientific article |
Statements
Dreiecksgruppen mit Spitzen in quadratischen Zahlkörpern. (Triangle groups with cusps in quadratic number fields) (English)
0 references
1985
0 references
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).\}
0 references
Hecke groups
0 references
Fuchsian group of first kind
0 references
orbit of cusp
0 references
matrix representations
0 references
parabolic cusps
0 references
continued fraction expansion
0 references
quadratic fields
0 references