Satz von Hurwitz über Automorphismengruppen

Der Satz von Hurwitz über Automorphismengruppen (nach Adolf Hurwitz, 1893) ist eine Aussage der Funktionentheorie. Er besagt, dass die Automorphismengruppe einer hyperbolischen kompakten Riemannschen Fläche endlich ist, und gibt eine nur von topologischen Eigenschaften abhängige obere Schranke für deren Größe an.

Aussage

Sei X eine kompakte Riemannsche Fläche vom Geschlecht $g \geq 2$ (d. h. homöomorph zu einer Sphäre S², an der $g \geq 2$ "Henkel" angeklebt sind). Dann ist die Gruppe der holomorphen Automorphismen $\mathrm{Aut}(X) = \left\{ f : X \to X \; \mbox{bijektiv, holomorph} \right\}$ endlich und enthält maximal $84 \cdot (g - 1)$ Elemente.

Für die Fälle g = 0 (die Riemannsche Zahlenkugel $\mathbb{P}^1\mathbb{C}$ mit unendlicher Automorphismengruppe) und g = 1 (Torus, ebenfalls mit unendlicher Automorphismengruppe) gilt die Abschätzung nicht. Die Gültigkeit der Abschätzung für $g \geq 2$ hängt damit zusammen, dass die universelle Überlagerung dieser Flächen die hyperbolische Halbebene $\mathbb{H}$ ist, was für g = 0,1 nicht mehr zutrifft.

Beispiel

Die Kleinsche Quartik, definiert durch die Gleichung x³y + y³z + z³x = 0, als Teilmenge vom projektiven Raum $\mathbb{P}^2\mathbb{C}$ aufgefasst, ist eine Riemannsche Fläche vom Geschlecht 3. Ihre Automorphismengruppe ist isomorph zu PSL(2,7) und besteht aus $168 = 84 \cdot (3 - 1)$ Elementen.

Literatur

• Hurwitz, A.: Über algebraische Gebilde mit eindeutigen Transformationen in sich. Math. Ann.41, 403–442 (1893)