Pseudoreflections on Prym Varieties

Titolo: Pseudoreflessioni sulle Varietà di Prym

1. Il Problema e il Contesto

Il lavoro si inserisce nello studio delle varietà abeliane che ammettono quozienti lisci sotto l'azione di gruppi finiti. Un risultato fondamentale precedente (ALA22) ha stabilito che per le varietà di Jacobiano $J_C$ di una curva liscia $C$ di genere $g \ge 1$, se esiste un sottogruppo finito $G \le \text{Aut}(C)$ tale che il quoziente $J_C/G$ sia liscio, allora necessariamente $g \le 3$. In altre parole, per $g > 3$, non esistono varietà di Jacobiano con quozienti lisci derivanti da azioni geometriche.

La domanda centrale di questo articolo è: un risultato analogo vale per le varietà di Prym?
Le varietà di Prym $P(\tilde{C}, C)$ sono associate a ricoperture étale doppie $f: \tilde{C} \to C$ definite da un punto di 2-torsione non banale $\eta \in J_C[2]$. L'obiettivo è determinare se esistono varietà di Prym di dimensione arbitrariamente grande ($g-1 \ge 4$) che possiedono un'azione di un gruppo finito tale che il quoziente sia liscio. Secondo il Teorema di Chevalley-Shephard-Todd, un quoziente è liscio se e solo se il gruppo di stabilizzazione di ogni punto è generato da pseudoreflessioni (elementi il cui luogo fisso ha codimensione pura 1).

2. Metodologia

Gli autori adottano un approccio che combina la teoria delle varietà abeliane, la geometria algebrica delle curve e la teoria dei gruppi di automorfismi.

• Analisi dell'ordine degli automorfismi:
  • Viene dimostrato che se un automorfismo di ordine primo dispari $p$ agisce come pseudoreflessione su una varietà di Prym di origine geometrica, si arriva a una contraddizione per $g \ge 5$.
  • Si riduce quindi lo studio ai casi di ordine 2 e 4. In particolare, si dimostra che l'esistenza di una pseudoreflessione di ordine 4 implica l'esistenza di una di ordine 2.
• Studio delle involuzioni (Ordine 2):
  • Si analizza l'azione di un'involuzione $\sigma$ su $C$ che si solleva a un automorfismo su $\tilde{C}$ (che commuta con l'involuzione di ricopertura $\iota$).
  • Si utilizza un diagramma commutativo di quozienti per decomporre la varietà di Prym $P$ in termini di varietà di Prym associate a curve quoziente $C_1 = \tilde{C}/\iota\sigma$, $C_2 = \tilde{C}/\sigma$ e $F = \tilde{C}/\langle \iota, \sigma \rangle$.
  • La condizione affinché $\sigma$ sia una pseudoreflessione su $P$ si traduce in vincoli numerici sui generi di queste curve quoziente, in particolare $g(F) \in \{0, 1, 2\}$.
• Classificazione delle famiglie:
  • Gli autori classificano le possibili configurazioni geometriche basandosi sul genere della curva quoziente totale $F$.
  • Si calcolano le dimensioni delle famiglie di moduli corrispondenti e si verifica la loro irriducibilità e distinzione reciproca.
  • Si utilizzano strumenti come il Teorema di Torelli per ricoperture ramificate, la formula di Riemann-Hurwitz e l'analisi dei divisori theta.

3. Risultati Principali

Teorema 1.1: Esistenza di Famiglie di Prym con Pseudoreflessioni

Per ogni genere $g \ge 5$, il luogo delle varietà di Prym in $\mathcal{A}_{g-1}$ che possiedono una pseudoreflessione di origine geometrica è l'unione di tre diverse famiglie irriducibili esplicite e non vuote:

1. Famiglia I (Dimensione $2g-4$): Corrisponde al caso $g(F)=0$. La varietà di Prym è isomorfa a un prodotto $A_1 \times JH_{g-2}$ (dove $JH_{g-2}$ è il luogo delle Jacobiane iperellittiche). In questo caso, la varietà di Prym è un prodotto polarizzato.
2. Famiglia II (Dimensione $2g-3$): Corrisponde al caso $g(F)=1$. Riguarda le varietà di Prym di curve biellittiche (curve che ammettono una mappa di grado 2 su una curva ellittica).
3. Famiglia III (Dimensione $2g-3$): Corrisponde al caso $g(F)=2$. Riguarda curve che sono ricoperture doppie di una curva di genere 2, ramificate in $2g-6$ punti.

Le tre famiglie sono distinte (le loro intersezioni sono vuote o di dimensione inferiore rispetto alle famiglie stesse per $g \ge 6$).

Esempio Distintivo (Genere 6)

Per $g=6$ (dimensione della varietà di Prym pari a 5), gli autori forniscono un esempio geometrico significativo: le Jacobiane intermedie di cubiche tridimensionali ($X \subset \mathbb{P}^4$) che possiedono un punto Eckardt.

• Un punto Eckardt è un punto su $X$ tale che esistono infinite rette su $X$ passanti per esso.
• L'involuzione associata a tale punto agisce sulla Jacobiana intermedia $J_X$ (che è isomorfa a una varietà di Prym) come una pseudoreflessione.
• Questo esempio mostra che le varietà di Prym con pseudoreflessioni appaiono naturalmente nella geometria delle varietà cubiche.

Restrizione sui Gruppi (Sezione 5)

Gli autori classificano i possibili gruppi di origine geometrica $G$ che possono agire su una varietà di Prym con quoziente liscio per $g \ge 5$:

• Il gruppo $G$ deve essere un 2-gruppo (tutti gli elementi hanno ordine una potenza di 2).
• Se il nucleo della rappresentazione è banale e la polarizzazione è irriducibile, i gruppi possibili sono limitati a prodotti di $\mathbb{Z}/2\mathbb{Z}$ (specificamente $(\mathbb{Z}/2\mathbb{Z})^i$ per $i=1,2,3$).
• In generale, senza l'ipotesi di irriducibilità della polarizzazione, i gruppi possibili sono isomorfi a sottogruppi di prodotti semidiretti di gruppi ciclici di ordine 2 e 4 con gruppi simmetrici $S_2$.

4. Contributi Chiave

1. Contrasto con le Jacobiane: Dimostrano che, a differenza delle varietà di Jacobiano (dove l'esistenza di quozienti lisci implica $g \le 3$), le varietà di Prym ammettono quozienti lisci per qualsiasi genere $g \ge 5$. Questo evidenzia una profonda differenza strutturale tra le due classi di varietà abeliane.
2. Classificazione Completa: Forniscono una descrizione esplicita e completa di tutte le famiglie di Prym che soddisfano la condizione di avere una pseudoreflessione geometrica.
3. Connessione Geometrica: Collegano la teoria delle varietà di Prym a problemi classici di geometria algebrica, come lo studio delle curve biellittiche e le Jacobiane intermedie di cubiche con punti Eckardt.
4. Limitazione dei Gruppi: Restringono drasticamente la classe di gruppi che possono agire con quozienti lisci su varietà di Prym, escludendo completamente elementi di ordine dispari (tranne casi banali o non geometrici).

5. Significato e Implicazioni

Questo lavoro risolve una questione aperta sulla struttura delle varietà di Prym rispetto all'azione di gruppi finiti. Stabilisce che le varietà di Prym offrono una "ricchezza" molto maggiore rispetto alle Jacobiane in termini di simmetrie che preservano la liscietà del quoziente.
La scoperta che le Jacobiane intermedie di cubiche tridimensionali con punti Eckardt sono esempi di varietà di Prym con pseudoreflessioni apre nuove prospettive per lo studio delle simmetrie nelle varietà di Calabi-Yau e nelle varietà abeliane di dimensione superiore. Inoltre, la classificazione dei gruppi possibili fornisce un quadro teorico solido per future ricerche sulle azioni di gruppi su varietà abeliane polarizzate.

In sintesi, il paper dimostra che la condizione di "quoziente liscio" non è un ostacolo insormontabile per le varietà di Prym di alto genere, ma piuttosto una proprietà che definisce tre specifiche e ben comprese famiglie geometriche.