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

Sintesi Tecnica: Una Classificazione delle Superfici di Riemann Triangolari con $2p^2$ Automorfismi

Enunciato del Problema
Questo articolo affronta la classificazione delle superfici di Riemann compatte di genere $g \geq 2$ che ammettono un'azione "triangolare" da parte di un gruppo finito di ordine $2p^2$, dove $p$ è un numero primo dispari. Un'azione triangolare è definita come un'azione per cui lo spazio quoziente ha genere 0 e la mappa di ricoprimento si ramifica esattamente su tre punti (segno $(0; m_1, m_2, m_3)$). Tali superfici sono denominate quasiplatoniche. Gli autori mirano a determinare le condizioni necessarie e sufficienti affinché i gruppi astratti di ordine $2p^2$ agiscano in modo triangolare, classificare le superfici risultanti a meno di isomorfismo, calcolare i loro generi e i loro gruppi di automorfismi completi, e fornire modelli algebrici espliciti. Questo lavoro estende classificazioni precedenti, come quelle per gruppi di ordine $pq$ (Streit e Wolfart) e gruppi ciclici/abeliani, al caso più intricato di ordine $2p^2$, dove sorgono molteplici gruppi non isomorfi e molteplici azioni distinte per gruppo.

Metodologia
Gli autori impiegano la teoria combinatoria dei gruppi di Fuchs e lo studio delle inclusioni tra di essi, un quadro teorico sviluppato da Singerman. La metodologia centrale comprende:

1. Analisi del Segno: Identificare quali dei cinque gruppi non isomorfi di ordine $2p^2$ ($D_{p^2}$, $Z_{p^2} \rtimes Z_2$, $Z_{2p} \times Z_p$, $D_p \times Z_p$ e $Z_{2p^2}$) possono ammettere un'azione triangolare. Ciò è ottenuto analizzando i generatori necessari per mappare suriettivamente un gruppo di Fuchs di segno $(0; m_1, m_2, m_3)$ sul gruppo target.
2. Epimorfismi Nucleo-Superficie (SKE): Costruire epimorfismi $\Phi: \Gamma \to G$ dai gruppi di Fuchs $\Gamma$ ai gruppi target $G$. Il nucleo di tale mappa definisce la superficie di Riemann $S \cong \mathbb{H}/\ker(\Phi)$.
3. Estensione delle Azioni: Utilizzare l'elenco dei segni massimali di Singerman e i criteri stabiliti da Bujalance, Cirre e Conder per determinare se una data azione si estende a un gruppo di automorfismi più ampio. Ciò comporta il controllo delle inclusioni di gruppi di Fuchs e l'esistenza di involuzioni specifiche nel gruppo di automorfismi che soddisfano le condizioni di estensione.
4. Modellazione Algebrica: Descrivere le superfici classificate come ricoprimenti ciclici della retta proiettiva (curve $n$-gonali cicliche). Gli autori derivano curve affini piane esplicite della forma $y^n = \prod (x - \alpha_i)^{n_i}$ analizzando i valori di diramazione e i numeri di rotazione degli automorfismi.
5. Classificazione per Isomorfismo: Determinare il numero di superfici non isomorfe analizzando le orbite degli SKE sotto l'azione del gruppo di automorfismi del gruppo di Fuchs e del gruppo target.

Contributi e Risultati Chiave
Il paper fornisce una classificazione completa delle superfici di Riemann compatte che ammettono un'azione triangolare di un gruppo di ordine $2p^2$. Le principali scoperte sono:

• Esistenza e Conteggio:

  • I gruppi $D_{p^2}$ e $Z_p^2 \rtimes Z_2$ non ammettono azioni triangolari per $g \geq 2$.
  • Per $p \geq 5$, esistono esattamente $\frac{p^2 + 2p + 3}{2}$ superfici di Riemann compatte a due a due non isomorfe che ammettono tale azione.
  • Per $p = 3$, esistono esattamente 8 tali superfici.
  • Le superfici sono distribuite tra i gruppi $Z_{2p} \times Z_p$, $D_p \times Z_p$ e $Z_{2p^2}$.

• Classificazioni Specifiche:

  • $Z_{2p} \times Z_p$: Ammette un'unica azione triangolare con segno $(2p, 2p, p)$. La superficie risultante ha genere $g = (p-1)^2$ ed è isomorfa alla normalizzazione di $y^p = x^{2p} - 1$. Il suo gruppo di automorfismi completo è $D_p \times Z_{2p}$.
  • $D_p \times Z_p$: Ammette azioni con segni $(2, p, 2p)$ e $(2p, 2p, p)$.
    • Il segno $(2, p, 2p)$ produce una superficie unica di genere $\frac{(p-1)(p-2)}{2}$, isomorfa a $y^p = (x^p - 1)^2$, con gruppo di automorfismi completo $Z_p^2 \rtimes D_3$.
    • Il segno $(2p, 2p, p)$ produce $\frac{p+1}{2}$ superfici non isomorfe di genere $(p-1)^2$. Queste sono descritte dalle curve $y^p = (x^p - 1)^2(x^p + 1)^{\epsilon}$. I loro gruppi di automorfismi completi variano: $D_p^2 \rtimes Z_2$ per un caso, $D_p \times Z_{2p}$ per un altro, e $D_p \times Z_p$ per il resto.
  • $Z_{2p^2}$: Ammette azioni con quattro segni distinti: $(2, p^2, 2p^2)$, $(2p^2, 2p^2, p)$, $(2p, p^2, 2p^2)$ e $(2p^2, 2p^2, p^2)$.
    • Questi producono $1 + \frac{p-1}{2} + (p-1) + \frac{p^2 - 2p + 1}{2}$ classi di isomorfismo distinte.
    • Sono forniti modelli algebrici espliciti per ogni caso (ad esempio, $y^{p^2} = x^2 + 1$, $y^p = x^2(x^{2p}-1)^m$, ecc.).
    • Il gruppo di automorfismi completo è generalmente $Z_{2p^2}$, tranne in casi specifici in cui si estende a $Z_{p^2} \rtimes D_4$.

• Campo di Definizione:

  • Un risultato significativo è che tutte le superfici di Riemann identificate sono definite sui numeri razionali ($\mathbb{Q}$). Ciò deriva dal fatto che i loro modelli algebrici sono dati da polinomi con coefficienti razionali.

• Classificazione degli Ipermap:

  • Come sottoprodotto, gli autori classificano gli ipermap orientabilmente regolari (o dessins d'enfants) con gruppi di automorfismi che preservano l'orientamento di ordine $2p^2$. Per $p \geq 5$, esistono esattamente $p^2 + p$ tali ipermap non equivalenti.

Significato
Il paper rivendica importanza in diversi ambiti:

1. Completezza: Fornisce una classificazione definitiva per l'ordine specifico $2p^2$, un caso più complesso dell'ordine $pq$ precedentemente studiato a causa dell'esistenza di gruppi non abeliani e di molteplici tipi di azione.
2. Razionalità: Il risultato secondo cui tutte tali superfici sono definite su $\mathbb{Q}$ contrasta con il comportamento generale delle superfici di Riemann con automorfismi, che spesso richiedono campi di numeri. Ciò rafforza la natura aritmetica speciale delle superfici quasiplatoniche.
3. Modelli Algebrici: La costruzione esplicita di curve piane affini per ogni classe di isomorfismo permette uno studio computazionale concreto e collega la classificazione geometrica alla geometria algebrica.
4. Geometria dello Spazio dei Moduli: Identificando il luogo singolare dello spazio dei moduli $M_g$ corrispondente a queste specifiche azioni di gruppo, il lavoro contribuisce alla comprensione della geometria dello spazio dei moduli delle superfici di Riemann.
5. Connessione Combinatoria: La classificazione colma il divario tra la teoria delle superfici di Riemann e la combinatoria degli ipermap, offrendo un elenco completo di ipermap orientabilmente regolari per questo specifico ordine di automorfismi.

Gli autori sottolineano che i loro risultati sono derivati attraverso un'applicazione rigorosa della teoria dei gruppi di Fuchs e non si basano su congetture non dimostrate, fornendo una solida base per ulteriori studi sulle proprietà aritmetiche e geometriche di queste superfici.