Klein coverings over hyperelliptic genus 3 curves

Titolo e Contesto

Titolo: Coperture di Klein su curve iperellittiche di genere 3.
Autori: Paweł Borówka e Angela Ortega.
Oggetto: Lo studio delle coperture di Klein (coperture di Galois etale con gruppo di deck $V_4 \cong \mathbb{Z}_2 \times \mathbb{Z}_2$) di curve iperellittiche di genere 3 e l'analisi dell'iniettività della mappa di Prym associata.

---

1. Il Problema e l'Obiettivo

Il lavoro si inserisce nel contesto dello studio delle varietà di Prym associate a coperture di curve. Mentre l'iniettività della mappa di Prym per doppi ricoprimenti etali (ramificati in almeno 6 punti) e per ricoprimenti ciclici è stata ampiamente studiata, il caso delle coperture non cicliche (in particolare quelle con gruppo di Klein) rimane più complesso.

L'obiettivo principale degli autori è:

1. Caratterizzare lo spazio dei moduli delle coperture di Klein etale su curve iperellittiche di genere 3.
2. Dimostrare l'iniettività della mappa di Prym su ciascuna componente irriducibile di questo spazio dei moduli.
3. Utilizzare questi risultati per dimostrare che la mappa di Prym per le coperture di Klein su qualsiasi curva di genere 3 è genericamente finita.

---

2. Metodologia e Strumenti Teorici

Costruzione delle Coperture

Una copertura di Klein $f: \tilde{C} \to H$ è determinata da un sottogruppo di Klein $\langle \eta, \xi \rangle \subset JH[2]$ (punti di 2-torsione del Jacobiano di $H$).

• Prospettiva Bottom-up: Si parte da una curva iperellittica $H$ e si costruisce $\tilde{C}$ come fibra prodotta di doppi ricoprimenti associati a $\eta$ e $\xi$.
• Prospettiva Top-down: Si parte da una curva $\tilde{C}$ con un'azione di $V_4$ e si considerano i quozienti.

Classificazione in Componenti

Lo spazio dei moduli $R^{V_4}_3$ delle coperture di Klein su curve iperellittiche di genere 3 si scompone in quattro componenti irriducibili, distinte in base alla struttura del sottogruppo $\langle \eta, \xi \rangle$ rispetto alla forma di Weil:

1. Tipo I.1: Sottogruppo non isotropo (generato da differenze di 3 punti di Weierstrass). Il ricoprimento $\tilde{C}$ è iperellittico.
2. Tipo I.2: Sottogruppo non isotropo (generato da una differenza di 2 punti e una somma alternata di 4 punti).
3. Tipo II.1: Sottogruppo isotropo (generato da somme di differenze di 4 punti).
4. Tipo II.2: Sottogruppo isotropo (generato da due differenze disgiunte di 2 punti).

La Mappa di Prym e la Decomposizione Isotipica

La varietà di Prym $P(f)$ è la componente connessa dello zero del nucleo della mappa di norma $Nm_f: J\tilde{C} \to JH$. È una varietà abeliana di dimensione 6 con una polarizzazione non principale.
Il cuore della metodologia risiede nell'analisi della decomposizione isotipica di $J\tilde{C}$ rispetto all'azione del gruppo di automorfismi. Gli autori sfruttano il fatto che la varietà di Prym $(P, \Xi)$ determina un gruppo di automorfismi $B \cong \mathbb{Z}_2^4$ (o un sottogruppo correlato).

• Si distinguono involuzioni genuine (indotte da automorfismi di $\tilde{C}$) e artificiali (non indotte).
• Si analizzano i luoghi fissi di queste involuzioni e i tipi di polarizzazione ristretta sui sottovarietà corrispondenti (Jacobiani di curve quoziente).

Strategia di Ricostruzione (Torelli)

Per provare l'iniettività, gli autori mostrano che dalla varietà di Prym $(P, \Xi)$ è possibile ricostruire univocamente la curva $\tilde{C}$:

1. Identificare il gruppo di involuzioni $B$ a partire da $(P, \Xi)$.
2. Distinguere le involuzioni genuine da quelle artificiali analizzando le dimensioni dei luoghi fissi e i tipi di polarizzazione (es. $(1,1,1,2,2,4)$ vs $(1,1,1,1,4,4)$).
3. Recuperare le curve quoziente (Jacobiani) tramite il Teorema di Torelli Forte.
4. Ricostruire $\tilde{C}$ come fibra prodotta normalizzata di queste curve quoziente.

---

3. Risultati Principali

Teorema 0.1 (Iniettività sulle Componenti Iperellittiche)

Le mappe di Prym sono iniettive su ciascuna componente irriducibile dello spazio dei moduli delle curve iperellittiche:

• $P^{iso}_3: R^{iso}_{3} \to \mathcal{A}^{(1,1,1,2,2,4)}_6$ (caso isotropo).
• $P^{ni}_3: R^{ni}_{3} \to \mathcal{A}^{(1,1,1,1,4,4)}_6$ (caso non isotropo).
  La dimostrazione si basa sull'analisi dettagliata dei casi I.1, I.2, II.1 e II.2. In particolare, la struttura della decomposizione isotipica e i tipi di polarizzazione permettono di distinguere univocamente le curve quoziente e quindi la copertura originale.

Teorema 0.2 (Generic Finiteness su Curve di Genere 3)

La mappa di Prym per le coperture di Klein su qualsiasi curva di genere 3 (non necessariamente iperellittica) è genericamente finita.

• Inoltre, la mappa ha grado 1 (è iniettiva) sull'immagine delle coperture di curve iperellittiche dei tipi I.2, II.1 e II.2.
• Questo risultato estende la validità dell'iniettività oltre il caso iperellittico, sfruttando il fatto che le componenti dello spazio dei moduli sono irriducibili e che l'immagine della mappa di Prym ha la dimensione corretta.

---

4. Contributi Chiave e Innovazioni

1. Classificazione Completa: Una descrizione precisa delle quattro componenti irriducibili dello spazio dei moduli delle coperture di Klein su curve iperellittiche di genere 3, con il calcolo dei gradi delle mappe di dimenticanza.
2. Metodo di Ricostruzione: Un approccio sistematico che utilizza la teoria delle rappresentazioni del gruppo di Klein e la decomposizione isotipica del Jacobiano per recuperare la curva di partenza dalla varietà di Prym. Questo supera le difficoltà legate alla non-principalità della polarizzazione.
3. Distinzione Involuzioni: Una tecnica efficace per distinguere involuzioni genuine da quelle artificiali basata sui luoghi fissi e sui tipi di polarizzazione, cruciale per l'applicazione del Teorema di Torelli.
4. Generalizzazione: Il passaggio dal caso iperellittico al caso generale di curve di genere 3, dimostrando la finitezza generica della mappa di Prym.

---

5. Significato e Implicazioni

Questo lavoro rappresenta un passo significativo nella comprensione della geometria delle varietà di Prym per ricoprimenti non ciclici.

• Risposta a una congettura: Fornisce forti evidenze (e dimostrazioni parziali) per l'iniettività delle mappe di Prym in contesti di genere basso e gruppo di Galois non ciclico, un'area dove i risultati erano precedentemente scarsi.
• Struttura dello Spazio dei Moduli: Chiarisce la struttura fine dello spazio dei moduli delle coperture di Klein, mostrando come la geometria della curva base (iperellittica vs non) e la natura del sottogruppo di torsione (isotropo vs non) influenzino la struttura della varietà di Prym.
• Applicazioni Future: I metodi sviluppati, in particolare l'uso della decomposizione isotipica e la ricostruzione tramite fibra prodotta, potrebbero essere applicati allo studio di altre coperture di Galois su curve di genere superiore o con gruppi di deck diversi.

In sintesi, il paper risolve il problema dell'iniettività della mappa di Prym per le coperture di Klein su curve iperellittiche di genere 3 e stabilisce la finitezza generica nel caso generale, offrendo nuovi strumenti tecnici per l'analisi delle varietà abeliane associate a ricoprimenti di curve.