On the Prym map of degree 4 cyclic covers of hyperelliptic curves

Titolo: Sulla mappa di Prym di ricoprimenti ciclici di grado 4 di curve iperellittiche

1. Problema e Contesto

Il paper si colloca nello studio della geometria algebrica delle varietà abeliane, in particolare focalizzandosi sulle mappe di Prym. Data una copertura finita $f: C \to H$ di curve lisce, la varietà di Prym associata $P(f)$ è definita come la componente principale del nucleo della mappa norma da $\text{Pic}^0(C)$ a $\text{Pic}^0(H)$.

Il problema specifico affrontato riguarda i ricoprimenti ciclici étale di grado 4 di curve iperellittiche di genere $g$. Lo spazio di moduli di tali ricoprimenti è denotato come $RH_g[4]$. L'autore si concentra su una componente irriducibile specifica, $RH_g[4]_{\text{hyp}}$, caratterizzata dalla proprietà che un ricoprimento intermedio (il ricoprimento di grado 2 associato al quadrato del fascio di linea che definisce il ricoprimento di grado 4) è anch'esso una curva iperellittica.

L'obiettivo principale è determinare l'iniettività della mappa di Prym $P_g[4]$ su questa componente e descrivere la struttura delle sue fibre, specialmente nel caso di genere basso ($g=2$) e genere generale ($g \geq 3$).

2. Metodologia

L'approccio metodologico combina la teoria dei ricoprimenti di curve, la geometria delle varietà abeliane e l'analisi esplicita delle equazioni delle curve coinvolte. I punti chiave della metodologia sono:

• Analisi dei Punti di Weierstrass: L'autore utilizza una caratterizzazione dettagliata dei fasci di linea di ordine 2 e 4 sulla curva iperellittica $H$ in termini dei suoi punti di Weierstrass. Questo permette di classificare i ricoprimenti in base alla struttura dei punti ramificati.
• Decomposizione della Varietà di Prym: Per i ricoprimenti in $RH_g[4]_{\text{hyp}}$, la varietà di Prym $P(f)$ ammette una decomposizione isogena in un prodotto di Jacobiane di curve quoziente. Nello specifico, si dimostra che $P(f)$ è isogena al prodotto di tre Jacobiane: $J C_j$, $J C_{j\sigma^2}$ e $J C_{j\sigma, \sigma^2}$, dove $C_j, C_{j\sigma^2}, C_{j\sigma, \sigma^2}$ sono curve ottenute come quozienti di $C$ tramite involuzioni specifiche generate dal gruppo di Galois $D_4$.
• Parametrizzazione tramite Tuples di Numeri Complessi: Viene stabilita una corrispondenza biunivoca tra gli elementi di $RH_g[4]_{\text{hyp}}$ e un insieme di tuple di numeri complessi $\Delta_g$. Questo riduce lo studio dello spazio di moduli a un problema algebrico su punti nel piano proiettivo.
• Recupero Intrinseco: Nel caso $g \geq 3$, si dimostra che la struttura del gruppo di automorfismi della varietà di Prym (in particolare il sottogruppo $D_4$ indotto dalle involuzioni della curva ricoprente) permette di recuperare intrinsecamente le curve quoziente e, di conseguenza, la classe di isomorfismo del ricoprimento originale.

3. Risultati Principali

Il lavoro presenta due risultati fondamentali, sintetizzati nel Teorema 1.1:

A. Caso di Genere $g \geq 3$ (Iniettività)

• Risultato: La mappa di Prym $P_g[4]: RH_g[4]_{\text{hyp}} \to \mathcal{A}_{(1,...,1,4,...,4)}$ è iniettiva.
• Significato: Questo implica che la varietà di Prym, insieme alla sua polarizzazione indotta, determina univocamente la classe di isomorfismo del ricoprimento ciclico di grado 4 (all'interno della componente considerata). La prova si basa sul fatto che, per $g \geq 3$, le equazioni delle curve quoziente (che sono iperellittiche) possono essere univocamente ricostruite dai dati della varietà di Prym, sfruttando il fatto che le funzioni razionali coinvolte non possono coincidere su un numero sufficiente di punti senza essere identiche.

B. Caso di Genere $g = 2$ (Struttura delle Fibre)

• Contesto: Per $g=2$, la componente $RH_2[4]_{\text{hyp}}$ coincide con l'intero spazio $RH_2[4]$. Le curve quoziente diventano curve ellittiche.
• Risultato: Le fibre non vuote della mappa di Prym $P_2[4]$ sono isomorme alla retta proiettiva $\mathbb{P}^1$ privata di 8 punti, con l'eccezione di due fibre "eccentriche" (corrispondenti a valori specifici di parametri incrociati $\lambda_1, \lambda_2$) che hanno una struttura geometrica diversa (linee proiettive con punti incollati).
• Descrizione Geometrica: Le fibre sono descritte come intersezioni di due quadriche in $\mathbb{P}^3$ che definiscono una curva ellittica normale, modulate da un'involuzione. La rimozione di 8 punti corrisponde alla rimozione dei punti di indeterminazione e dei punti fissi dell'involuzione che violano le condizioni di non degenerazione della mappa.

4. Contributi Chiave

1. Nuova Descrizione dello Spazio di Moduli: L'autore fornisce una descrizione esplicita e concreta dello spazio $RH_g[4]_{\text{hyp}}$ in termini di tuple di numeri complessi $\Delta_g$, rendendo accessibili calcoli espliciti che altrimenti sarebbero astratti.
2. Equazioni Esplicite: Vengono derivate le equazioni esplicite per le curve iperellittiche $C_j, C_{j\sigma^2}, C_{j\sigma, \sigma^2}$ e per la curva originale $H$ in funzione dei parametri della tupla.
3. Risultato di Iniettività per $g \geq 3$: Estende la conoscenza sull'iniettività delle mappe di Prym per ricoprimenti ciclici di grado 4, un caso che non era completamente risolto per questa specifica componente irriducibile.
4. Descrizione Completa delle Fibre per $g=2$: Fornisce la prima caratterizzazione completa e geometrica delle fibre della mappa di Prym per ricoprimenti di grado 4 su curve di genere 2, mostrando che sono varietà di dimensione positiva (curve razionali con punti rimossi).

5. Significato e Implicazioni

• Avanzamento nella Teoria delle Mappe di Prym: Il lavoro contribuisce alla comprensione della geometria delle mappe di Prym oltre il caso classico dei doppi ricoprimenti. Dimostra che, anche per ricoprimenti di grado superiore (4), è possibile ottenere risultati forti di iniettività o descrizioni precise delle fibre sfruttando la struttura iperellittica.
• Metodologia Innovativa: L'uso della decomposizione della varietà di Prym in Jacobiane di curve quoziente, combinato con l'analisi delle equazioni esplicite, rappresenta un approccio potente che potrebbe essere applicato ad altri problemi di moduli di ricoprimenti.
• Distinzione tra Componenti: Il lavoro sottolinea l'importanza di studiare le diverse componenti irriducibili dello spazio di moduli $RH_g[4]$. Mentre la componente studiata ($RH_g[4]_{\text{hyp}}$) ammette una decomposizione "bella" e risultati forti, l'autore nota che i metodi non si generalizzano direttamente ad altre componenti dove le curve quoziente non sono iperellittiche.
• Connessione con la Teoria dei Numeri e Geometria Aritmetica: La descrizione delle fibre come curve razionali con punti rimossi ha implicazioni per lo studio dei punti razionali su tali varietà e per la comprensione della struttura dei campi di definizione delle curve coinvolte.

In sintesi, il paper risolve problemi aperti riguardanti l'iniettività e la struttura delle fibre della mappa di Prym per una classe significativa di ricoprimenti ciclici, fornendo strumenti computazionali e teorici robusti per l'analisi di tali oggetti geometrici.