A classification of triangular Riemann surfaces with $2p^2$ automorphisms

Technische Zusammenfassung: Eine Klassifikation dreieckiger Riemannscher Flächen mit $2p^2$ Automorphismen

Problemstellung
Dieser Artikel behandelt die Klassifikation kompakter Riemannscher Flächen vom Geschlecht $g \geq 2$, die eine „dreieckige" Wirkung einer endlichen Gruppe der Ordnung $2p^2$ zulassen, wobei $p$ eine ungerade Primzahl ist. Eine dreieckige Wirkung ist definiert als eine Wirkung, bei der der Quotientenraum das Geschlecht 0 hat und die Überlagerungsabbildung genau über drei Punkten verzweigt (Signatur $(0; m_1, m_2, m_3)$). Solche Flächen werden als quasi-platonisch bezeichnet. Die Autoren zielen darauf ab, die notwendigen und hinreichenden Bedingungen dafür zu bestimmen, dass abstrakte Gruppen der Ordnung $2p^2$ dreieckig wirken, die resultierenden Flächen bis auf Isomorphie zu klassifizieren, deren Geschlechter und volle Automorphismengruppen zu berechnen sowie explizite algebraische Modelle bereitzustellen. Diese Arbeit erweitert frühere Klassifikationen, wie etwa diejenigen für Gruppen der Ordnung $pq$ (Streit und Wolfart) sowie zyklische/abelsche Gruppen, auf den komplexeren Fall der Ordnung $2p^2$, bei dem mehrere nicht-isomorphe Gruppen und mehrere verschiedene Wirkungen pro Gruppe auftreten.

Methodik
Die Autoren wenden die kombinatorische Theorie Fuchsscher Gruppen und die Untersuchung von Inklusionen zwischen ihnen an, einen von Singerman entwickelten Rahmen. Die Kernmethodik umfasst:

1. Signaturanalyse: Identifizierung, welche der fünf nicht-isomorphen Gruppen der Ordnung $2p^2$ ($D_{p^2}$, $Z_{p^2} \rtimes Z_2$, $Z_{2p} \times Z_p$, $D_p \times Z_p$ und $Z_{2p^2}$) eine dreieckige Wirkung zulassen können. Dies wird erreicht, indem die Erzeuger analysiert werden, die erforderlich sind, um eine Fuchssche Gruppe der Signatur $(0; m_1, m_2, m_3)$ surjektiv auf die Zielgruppe abzubilden.
2. Oberflächen-Kern-Epimorphismen (SKEs): Konstruktion von Epimorphismen $\Phi: \Gamma \to G$ von Fuchsschen Gruppen $\Gamma$ auf die Zielgruppen $G$. Der Kern einer solchen Abbildung definiert die Riemannsche Fläche $S \cong \mathbb{H}/\ker(\Phi)$.
3. Erweiterung von Wirkungen: Nutzung der Liste maximaler Signaturen von Singerman und der von Bujalance, Cirre und Conder etablierten Kriterien, um zu bestimmen, ob eine gegebene Wirkung auf eine größere Automorphismengruppe erweiterbar ist. Dies beinhaltet die Prüfung von Inklusionen Fuchsscher Gruppen und das Vorhandensein spezifischer Involutions in der Automorphismengruppe, die Erweiterungsbedingungen erfüllen.
4. Algebraische Modellierung: Beschreibung der klassifizierten Flächen als zyklische Überlagerungen der projektiven Geraden (zyklische $n$-gonale Kurven). Die Autoren leiten explizite affine Ebenenkurven der Form $y^n = \prod (x - \alpha_i)^{n_i}$ her, indem sie Verzweigungsverhältnisse und Rotationszahlen der Automorphismen analysieren.
5. Isomorphie-Klassifikation: Bestimmung der Anzahl nicht-isomorpher Flächen durch Analyse der Orbits von SKEs unter der Wirkung der Automorphismengruppe der Fuchsschen Gruppe und der Zielgruppe.

Hauptbeiträge und Ergebnisse
Der Artikel liefert eine vollständige Klassifikation kompakter Riemannscher Flächen, die eine dreieckige Wirkung einer Gruppe der Ordnung $2p^2$ zulassen. Die wichtigsten Erkenntnisse sind:

• Existenz und Anzahl:

  • Die Gruppen $D_{p^2}$ und $Z_p^2 \rtimes Z_2$ lassen für $g \geq 2$ keine dreieckigen Wirkungen zu.
  • Für $p \geq 5$ gibt es genau $\frac{p^2 + 2p + 3}{2}$ paarweise nicht-isomorphe kompakte Riemannsche Flächen, die eine solche Wirkung zulassen.
  • Für $p = 3$ gibt es genau 8 solche Flächen.
  • Die Flächen verteilen sich auf die Gruppen $Z_{2p} \times Z_p$, $D_p \times Z_p$ und $Z_{2p^2}$.

• Spezifische Klassifikationen:

  • $Z_{2p} \times Z_p$: Zulässt eine eindeutige dreieckige Wirkung mit der Signatur $(2p, 2p, p)$. Die resultierende Fläche hat das Geschlecht $g = (p-1)^2$ und ist isomorph zur Normalisierung von $y^p = x^{2p} - 1$. Ihre volle Automorphismengruppe ist $D_p \times Z_{2p}$.
  • $D_p \times Z_p$: Zulässt Wirkungen mit den Signaturen $(2, p, 2p)$ und $(2p, 2p, p)$.
    • Die Signatur $(2, p, 2p)$ ergibt eine eindeutige Fläche vom Geschlecht $\frac{(p-1)(p-2)}{2}$, isomorph zu $y^p = (x^p - 1)^2$, mit der vollen Automorphismengruppe $Z_p^2 \rtimes D_3$.
    • Die Signatur $(2p, 2p, p)$ ergibt $\frac{p+1}{2}$ nicht-isomorphe Flächen vom Geschlecht $(p-1)^2$. Diese werden durch Kurven $y^p = (x^p - 1)^2(x^p + 1)^{\epsilon}$ beschrieben. Ihre vollen Automorphismengruppen variieren: $D_p^2 \rtimes Z_2$ für einen Fall, $D_p \times Z_{2p}$ für einen anderen und $D_p \times Z_p$ für den Rest.
  • $Z_{2p^2}$: Zulässt Wirkungen mit vier verschiedenen Signaturen: $(2, p^2, 2p^2)$, $(2p^2, 2p^2, p)$, $(2p, p^2, 2p^2)$ und $(2p^2, 2p^2, p^2)$.
    • Diese ergeben $1 + \frac{p-1}{2} + (p-1) + \frac{p^2 - 2p + 1}{2}$ verschiedene Isomorphieklassen.
    • Für jeden Fall werden explizite algebraische Modelle bereitgestellt (z. B. $y^{p^2} = x^2 + 1$, $y^p = x^2(x^{2p}-1)^m$, usw.).
    • Die volle Automorphismengruppe ist im Allgemeinen $Z_{2p^2}$, außer in spezifischen Fällen, wo sie sich zu $Z_{p^2} \rtimes D_4$ erweitert.

• Definierender Körper:

  • Ein bedeutendes Ergebnis ist, dass alle identifizierten Riemannschen Flächen über den rationalen Zahlen ($\mathbb{Q}$) definiert sind. Dies ergibt sich daraus, dass ihre algebraischen Modelle durch Polynome mit rationalen Koeffizienten gegeben sind.

• Hypermap-Klassifikation:

  • Als Nebenprodukt klassifizieren die Autoren orientierbar-reguläre Hypermaps (oder dessins d'enfants) mit orientierungserhaltenden Automorphismengruppen der Ordnung $2p^2$. Für $p \geq 5$ gibt es genau $p^2 + p$ solche nicht-äquivalenten Hypermaps.

Bedeutung
Der Artikel beansprucht Bedeutung in mehreren Bereichen:

1. Vollständigkeit: Er liefert eine definitive Klassifikation für die spezifische Ordnung $2p^2$, einen Fall, der aufgrund des Vorhandenseins nicht-abelscher Gruppen und mehrerer Wirkungstypen komplexer ist als die zuvor untersuchte Ordnung $pq$.
2. Rationalität: Das Ergebnis, dass alle solchen Flächen über $\mathbb{Q}$ definiert sind, steht im Kontrast zum allgemeinen Verhalten von Riemannschen Flächen mit Automorphismen, die oft Zahlkörper erfordern. Dies unterstreicht die besondere arithmetische Natur quasi-platonischer Flächen.
3. Algebraische Modelle: Die explizite Konstruktion affiner Ebenenkurven für jede Isomorphieklasse ermöglicht eine konkrete computergestützte Untersuchung und verbindet die geometrische Klassifikation mit der algebraischen Geometrie.
4. Geometrie des Modulraums: Durch die Identifizierung des singulären Ortes des Modulraums $M_g$, der diesen spezifischen Gruppenwirkungen entspricht, trägt die Arbeit zum Verständnis der Geometrie des Modulraums Riemannscher Flächen bei.
5. Kombinatorische Verbindung: Die Klassifikation schließt die Lücke zwischen der Theorie der Riemannschen Flächen und der Kombinatorik von Hypermaps und bietet eine vollständige Liste orientierbar-regulärer Hypermaps für diese spezifische Automorphismenordnung.

Die Autoren betonen, dass ihre Ergebnisse durch eine rigorose Anwendung der Theorie Fuchsscher Gruppen abgeleitet wurden und sich nicht auf unbewiesene Vermutungen stützen, was eine solide Grundlage für weitere Studien der arithmetischen und geometrischen Eigenschaften dieser Flächen bietet.