Galois subspaces for compact Riemann surfaces of genus 2

Titolo e Contesto

Il lavoro si concentra sullo studio dei sottospazi di Galois per curve di Riemann compatte di genere $g=2$. L'obiettivo principale è analizzare la struttura dell'insieme $G_{X,D}$, definito come l'insieme dei sottospazi lineari $W$ di codimensione 2 nello spazio proiettivo $\mathbb{P}^n$ (dove $X$ è immersa tramite un divisore molto ampio $D$) tali che la proiezione $\pi_W \circ \phi_D$ sia una mappa di Galois.

Il Problema

Data una curva di Riemann compatta $X$ di genere $g$ e un divisore molto ampio $D$, si considera l'immersione $\phi_D: X \hookrightarrow \mathbb{P}^N$. Un sottospazio $W \in G(N-2, N)$ è detto "sottospazio di Galois" se la proiezione $f_W = \pi_W \circ \phi_D: X \to \mathbb{P}^1$ induce un'estensione di campi di funzioni $f_W^* k(\mathbb{P}^1) \subseteq k(X)$ che è un'estensione di Galois.

È noto (da lavori precedenti di Auffarth e Rahausen) che l'insieme $G_{X,D}$ è isomorfo a un'unione disgiunta di spazi proiettivi:
$$G_{X,D} \cong \bigsqcup_{\substack{H \leq \text{Aut}(X) \\ X/H \cong \mathbb{P}^1}} X_{D, \pi_H}$$
dove $X_{D, \pi_H}$ è uno spazio proiettivo di dimensione $\ell(D - D_H) - 1$.
Il problema specifico affrontato in questo articolo è calcolare la dimensione di queste componenti proiettive quando $X$ ha genere 2 e il divisore $D$ è indotto da un sottogruppo del gruppo di automorfismi $\text{Aut}(X)$. In particolare, l'autore si concentra sui sottospazi di Galois disgiunti, che corrispondono alle componenti di dimensione 0.

Metodologia

L'approccio metodologico si basa su una combinazione di teoria dei gruppi, geometria algebrica e teoria dei divisori:

1. Classificazione dei Gruppi di Automorfismi: Sfrutta la classificazione nota dei gruppi di automorfismi per curve di genere 2 (che sono iperellittiche). I gruppi possibili sono: $C_2, C_2 \times C_2, D_4, C_{10}, D_6, C_3 \rtimes D_4, GL_2(\mathbb{F}_3)$.
2. Analisi dei Divisori Indotti: Per ogni sottogruppo $H \leq \text{Aut}(X)$ tale che $X/H \cong \mathbb{P}^1$, si definisce il divisore indotto $D_H = \sum_{h \in H} h[p]$. L'autore dimostra che la classe di equivalenza lineare di $D_H$ è indipendente dal punto $p$.
3. Calcolo della Dimensione: La dimensione delle componenti è data da $\ell(D_H - D_N) - 1$, dove $N$ è un altro sottogruppo con $X/N \cong \mathbb{P}^1$.
   • Vengono utilizzati il Teorema di Riemann-Roch e proprietà specifiche delle curve di genere 2 (in particolare l'esistenza di un'unica involuzione iperellittica $\sigma$ nel centro del gruppo di automorfismi).
   • Si stabiliscono lemmi chiave (Lemma 1.2, 1.4, Corollario 1.3) per determinare quando $D_H - D_N$ è linearmente equivalente alla divisore canonico $K$ o ad altri divisori, permettendo il calcolo di $\ell(D_H - D_N)$.
4. Analisi dei Reticoli di Sottogruppi: Per ogni gruppo di automorfismi possibile, l'autore esamina il reticolo dei sottogruppi per identificare quali coppie $(H, N)$ soddisfano le condizioni per generare componenti di dimensione 0 (sottospazi disgiunti).

Risultati Chiave e Contributi

1. Teorema Principale (Teorema 0.2)

Sia $X$ una curva di Riemann compatta di genere 2 e $H \leq G = \text{Aut}(X)$.

• Equivalenza dei Divisori: Se $G \not\cong C_{10}$, due divisori molto ampi indotti da sottogruppi di $G$ differiscono per un multiplo del divisore canonico.
• Corrispondenza Biunivoca: In $G_{X, D_H}$, esiste una corrispondenza biunivoca tra i sottospazi di Galois disgiunti e i sottogruppi di ordine $|H|$.

2. Caratterizzazione dei Sottospazi Disgiunti

L'articolo dimostra che $G_{X,D}$ possiede una componente di dimensione 0 (sottospazi disgiunti) se e solo se $D$ è linearmente equivalente a un divisore $D_H$ indotto da un sottogruppo $H$ tale che $X/H \cong \mathbb{P}^1$.

3. Calcolo Esplicito delle Dimensioni

L'autore calcola esplicitamente le dimensioni delle componenti per tutti i gruppi di automorfismi possibili. I risultati sono sintetizzati in tabelle (Tabelle 1-5 nel paper) che mostrano il numero di componenti di una certa dimensione ($D_H^n$) in funzione dell'ordine del sottogruppo $H$.

• Ad esempio, per $G \cong D_4$, se $|H|=8$, ci sono 3 componenti di dimensione 2 e 1 di dimensione 0.
• Per $G \cong GL_2(\mathbb{F}_3)$, la struttura è più complessa, con componenti che raggiungono dimensioni fino a 44.

4. Limiti della Generalizzazione

L'autore nota che, sebbene le tecniche (Lemmi 1.2 e 1.4) siano valide per genere arbitrario, non è possibile estendere il Teorema 0.2 a genere $g > 2$. La ragione principale è che per $g=2$ esistono molti sottogruppi $H$ tali che $X/H \cong \mathbb{P}^1$, mentre per genere superiore questa condizione è molto più restrittiva e la struttura di $\text{Aut}(X)$ è meno favorevole a tale analisi diretta.

Significato e Impatto

• Completamento della Classificazione: Questo lavoro completa la comprensione dei sottospazi di Galois per curve di genere 2, colmando un vuoto nella letteratura che aveva già trattato i casi di genere 0 e 1.
• Struttura Geometrica: Fornisce una descrizione precisa della geometria dell'insieme $G_{X,D}$, mostrando come sia decomponibile in una somma diretta di spazi proiettivi le cui dimensioni dipendono strettamente dalla struttura algebrica del gruppo di automorfismi.
• Connessione tra Teoria dei Gruppi e Geometria: Dimostra come la struttura del reticolo dei sottogruppi di $\text{Aut}(X)$ determini direttamente la geometria dei rivestimenti di Galois associati alla curva.
• Risorse per la Ricerca Futura: Le tabelle fornite offrono dati precisi per future indagini sui problemi aperti riguardanti i sottospazi di Galois, come quelli elencati da Yoshihara e Fukasawa.

In sintesi, il paper offre un'analisi rigorosa e computazionale che lega la teoria dei gruppi finiti alla geometria delle curve di Riemann di genere 2, fornendo una mappa completa delle possibili configurazioni di sottospazi di Galois in questo contesto specifico.