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

Technische Samenvatting: Een Classificatie van Driehoekige Riemannoppervlakken met $2p^2$ Automorfismen

Probleemstelling
Dit artikel behandelt de classificatie van compacte Riemannoppervlakken van genus $g \geq 2$ die een "driehoekige" actie toelaten van een eindige groep van orde $2p^2$, waarbij $p$ een oneven priemgetal is. Een driehoekige actie wordt gedefinieerd als een actie waarbij de quotiëntruimte genus 0 heeft en de overdekkingstakking precies over drie punten vertakt (signatuur $(0; m_1, m_2, m_3)$). Dergelijke oppervlakken worden quasiplatonic genoemd. De auteurs beogen de noodzakelijke en voldoende voorwaarden te bepalen opdat abstracte groepen van orde $2p^2$ driehoekig kunnen handelen, de resulterende oppervlakken te classificeren tot op isomorfisme, hun genera en volledige automorfismegroepen te berekenen, en expliciete algebraïsche modellen te verstrekken. Dit werk breidt eerdere classificaties uit, zoals die voor groepen van orde $pq$ (Streit en Wolfart) en cyclische/abelse groepen, naar het complexere geval van orde $2p^2$, waarbij meerdere niet-isomorfe groepen en meerdere distincte acties per groep voorkomen.

Methodologie
De auteurs maken gebruik van de combinatorische theorie van Fuchsische groepen en het bestuderen van inbeddingen daartussen, een raamwerk ontwikkeld door Singerman. De kernmethodologie omvat:

1. Signatuuranalyse: Het identificeren welke van de vijf niet-isomorfe groepen van orde $2p^2$ ($D_{p^2}$, $Z_{p^2} \rtimes Z_2$, $Z_{2p} \times Z_p$, $D_p \times Z_p$, en $Z_{2p^2}$) een driehoekige actie kunnen toelaten. Dit wordt bereikt door de generatoren te analyseren die nodig zijn om een Fuchsische groep met signatuur $(0; m_1, m_2, m_3)$ surjectief af te beelden op de doelgroep.
2. Oppervlak-Kern Epimorfismen (SKE's): Het construeren van epimorfismen $\Phi: \Gamma \to G$ van Fuchsische groepen $\Gamma$ naar de doelgroepen $G$. De kern van een dergelijke afbeelding definieert het Riemannoppervlak $S \cong \mathbb{H}/\ker(\Phi)$.
3. Uitbreiding van Acties: Het benutten van Singerman's lijst van maximale signatuur en de criteria vastgesteld door Bujalance, Cirre en Conder om te bepalen of een gegeven actie uitbreidt tot een grotere automorfismegroep. Dit houdt in dat er wordt gecontroleerd op inbeddingen van Fuchsische groepen en het bestaan van specifieke involuties in de automorfismegroep die aan uitbreidingsvoorwaarden voldoen.
4. Algebraïsche Modellering: Het beschrijven van de geclassificeerde oppervlakken als cyclische overdekkingen van de projectieve lijn (cyclische $n$-gonale krommen). De auteurs leiden expliciete affiene vlakke krommen van de vorm $y^n = \prod (x - \alpha_i)^{n_i}$ af door takwaarden en rotatiegetallen van de automorfismen te analyseren.
5. Isomorfismeclassificatie: Het bepalen van het aantal niet-isomorfe oppervlakken door de banen van SKE's te analyseren onder de werking van de automorfismegroep van de Fuchsische groep en de doelgroep.

Belangrijkste Bijdragen en Resultaten
Het artikel biedt een volledige classificatie van compacte Riemannoppervlakken die een driehoekige actie toelaten van een groep van orde $2p^2$. De belangrijkste bevindingen zijn:

• Existentie en Aantal:

  • De groepen $D_{p^2}$ en $Z_p^2 \rtimes Z_2$ toelaten geen driehoekige acties voor $g \geq 2$.
  • Voor $p \geq 5$ zijn er precies $\frac{p^2 + 2p + 3}{2}$ paarsgewijs niet-isomorfe compacte Riemannoppervlakken die een dergelijke actie toelaten.
  • Voor $p = 3$ zijn er precies 8 dergelijke oppervlakken.
  • De oppervlakken zijn verdeeld over de groepen $Z_{2p} \times Z_p$, $D_p \times Z_p$, en $Z_{2p^2}$.

• Specifieke Classificaties:

  • $Z_{2p} \times Z_p$: Laat een unieke driehoekige actie toe met signatuur $(2p, 2p, p)$. Het resulterende oppervlak heeft genus $g = (p-1)^2$ en is isomorf met de normalisatie van $y^p = x^{2p} - 1$. Zijn volledige automorfismegroep is $D_p \times Z_{2p}$.
  • $D_p \times Z_p$: Laat acties toe met signatuur $(2, p, 2p)$ en $(2p, 2p, p)$.
    • Signatuur $(2, p, 2p)$ levert een uniek oppervlak op van genus $\frac{(p-1)(p-2)}{2}$, isomorf met $y^p = (x^p - 1)^2$, met volledige automorfismegroep $Z_p^2 \rtimes D_3$.
    • Signatuur $(2p, 2p, p)$ levert $\frac{p+1}{2}$ niet-isomorfe oppervlakken op van genus $(p-1)^2$. Deze worden beschreven door krommen $y^p = (x^p - 1)^2(x^p + 1)^{\epsilon}$. Hun volledige automorfismegroepen variëren: $D_p^2 \rtimes Z_2$ voor één geval, $D_p \times Z_{2p}$ voor een ander, en $D_p \times Z_p$ voor de rest.
  • $Z_{2p^2}$: Laat acties toe met vier distincte signatuur: $(2, p^2, 2p^2)$, $(2p^2, 2p^2, p)$, $(2p, p^2, 2p^2)$, en $(2p^2, 2p^2, p^2)$.
    • Deze leveren $1 + \frac{p-1}{2} + (p-1) + \frac{p^2 - 2p + 1}{2}$ distincte isomorfismeklassen op.
    • Expliciete algebraïsche modellen worden verstrekt voor elk geval (bijv. $y^{p^2} = x^2 + 1$, $y^p = x^2(x^{2p}-1)^m$, enz.).
    • De volledige automorfismegroep is doorgaans $Z_{2p^2}$, behalve voor specifieke gevallen waar deze uitbreidt tot $Z_{p^2} \rtimes D_4$.

• Definitieveld:

  • Een significant resultaat is dat alle geïdentificeerde Riemannoppervlakken gedefinieerd zijn over de rationale getallen ($\mathbb{Q}$). Dit wordt afgeleid uit het feit dat hun algebraïsche modellen worden gegeven door polynomen met rationale coëfficiënten.

• Hyperkaart Classificatie:

  • Als bijproduct classificeren de auteurs oriënteerbaar-reguliere hyperkaarten (of dessins d'enfants) met oriëntatiebehoudende automorfismegroepen van orde $2p^2$. Voor $p \geq 5$ zijn er precies $p^2 + p$ dergelijke niet-equivalente hyperkaarten.

Betekenis
Het artikel claimt betekenis op verschillende gebieden:

1. Volledigheid: Het biedt een definitieve classificatie voor de specifieke orde $2p^2$, een geval complexer dan de eerder bestudeerde orde $pq$ vanwege het bestaan van niet-abelse groepen en meerdere actietypes.
2. Rationaliteit: Het resultaat dat alle dergelijke oppervlakken gedefinieerd zijn over $\mathbb{Q}$ contrasteert met het algemene gedrag van Riemannoppervlakken met automorfismen, die vaak getallenlichamen vereisen. Dit versterkt het speciale arithmetische karakter van quasiplatonic oppervlakken.
3. Algebraïsche Modellen: De expliciete constructie van affiene vlakke krommen voor elke isomorfismeklasse maakt concrete computationele studie mogelijk en verbindt de geometrische classificatie met algebraïsche meetkunde.
4. Meetkunde van de Moduliruimte: Door de singuliere locus van de moduliruimte $M_g$ te identificeren die overeenkomt met deze specifieke groepenacties, draagt het werk bij aan het begrijpen van de meetkunde van de moduliruimte van Riemannoppervlakken.
5. Combinatorische Connectie: De classificatie overbrugt de kloof tussen de theorie van Riemannoppervlakken en de combinatoriek van hyperkaarten, en biedt een volledige lijst van oriënteerbaar-reguliere hyperkaarten voor deze specifieke automorfisme-orde.

De auteurs benadrukken dat hun resultaten zijn afgeleid door een rigoureuze toepassing van de theorie van Fuchsische groepen en niet steunen op onbewezen conjecturen, waardoor een solide fundament wordt geboden voor verder onderzoek naar de arithmetische en geometrische eigenschappen van deze oppervlakken.