Moduli of parabolic bundles on an elliptic curve

Sintesi Tecnica: Moduli di Fasci Parabolici su una Curva Ellittica

Enunciato del Problema e Motivazione
Il lavoro affronta la geometria dello spazio dei moduli dei fasci parabolici semistabili di rango 3 con determinante banale e un singolo punto marcato su una curva ellittica ($g=1$). Mentre gli spazi dei moduli dei fasci parabolici per curve di genere $g \ge 2$ sono ben compresi (ad esempio, razionalità, teoremi di Torelli e gruppi di automorfismi stabiliti in opere come [BY99], [AG21]), il caso delle curve ellittiche presenta sfide distinte. Studi precedenti sulle curve ellittiche, come [Tu93] per i fasci vettoriali e [BBDBR01, FV21, FJ22] per i fasci parabolici, erano in gran parte limitati al rango 2 o a pesi specifici. Questo lavoro estende l'analisi al rango 3 con pesi arbitrari, mirando a descrivere esplicitamente la geometria, il gruppo di automorfismi e le proprietà di tipo Torelli di questi spazi dei moduli, i quali differiscono significativamente dai casi di genere superiore, dove lo spazio dei moduli da solo spesso non riesce a recuperare la classe di isomorfismo della curva.

Metodologia
Gli autori impiegano una combinazione di tecniche classiche di classificazione e teoria moderna dei moduli:

1. Classificazione dei Fasci Vettoriali: Lo studio si basa sulla classificazione di Atiyah [Ati57a] dei fasci vettoriali semistabili di grado 0 su curve ellittiche e sull'isomorfismo di Tu [Tu93] che identifica lo spazio dei moduli dei fasci vettoriali di rango 3 con determinante banale con il piano proiettivo $\mathbb{P}^2$.
2. Analisi della Stabilità Parabolica: Gli autori analizzano la decomposizione in pareti e camere dello spazio dei pesi parabolici ammissibili. Stabiliscono che per un singolo punto marcato, lo spazio dei pesi si divide in due camere ($P^+$ e $P^-$) separate da una parete ($\mu_2 = 0$).
3. Geometria Fibra per Fibra: Utilizzando il morfismo di oblio $\Pi: \mathcal{M}^\mu \to \text{Bun}_{\mathcal{O}_X}(3, X) \cong \mathbb{P}^2$, gli autori analizzano le fibre dello spazio dei moduli dei fasci parabolici. Dimostrano che queste fibre sono isomorfe a $\mathbb{P}^1$, stabilendo lo spazio dei moduli come una superficie rigata su $\mathbb{P}^2$.
4. Famiglie Universali e Monodromia: La costruzione di famiglie universali tramite fasci vettoriali piatti e rappresentazioni di monodromia (corrispondenza di Riemann-Hilbert) è utilizzata per descrivere la geometria locale e il comportamento dello spazio dei moduli vicino ai luoghi singolari.
5. Analisi degli Automorfismi: Il gruppo di automorfismi è investigato considerando operazioni "modulari" (tensorizzazione con fasci lineari, dualizzazione, pullback e modificazioni di Hecke) e confrontandole con l'intero gruppo di automorfismi delle strutture geometriche sottostanti.

Contributi e Risultati Chiave

• Geometria dello Spazio dei Moduli (Teorema A):
  Gli autori dimostrano che gli spazi dei moduli $\mathcal{M}^-$ e $\mathcal{M}^+$ (corrispondenti alle due camere di pesi) sono compattificazioni isomorfe di un comune sottoinsieme aperto e denso $U_{gen}$ (fasci stabili generici). Entrambi gli spazi sono isomorfi al fibrato tangente proiettivizzato $\mathbb{P}(T\mathbb{P}^2)$. La mappa di oblio $\Pi^\pm: \mathcal{M}^\pm \to \mathbb{P}^2$ è un fibrato $\mathbb{P}^1$ localmente banale. I luoghi di compattificazione $\Sigma^\pm = \mathcal{M}^\pm \setminus U_{gen}$, costituiti da fasci stabili solo in una camera, formano una copertura di grado 3 di $\mathbb{P}^2$ che si ramifica su una curva sestica cuspidale.

• Teorema di Torelli per Rango Superiore (Teorema B):
  A differenza del caso dei fasci vettoriali su curve ellittiche (dove lo spazio dei moduli è razionale e perde informazioni sulla curva), gli autori dimostrano un risultato di tipo Torelli per i fasci parabolici. Mostrano che due curve ellittiche $(X, p)$ e $(X', p')$ sono isomorfe se e solo se le loro coppie corrispondenti di spazi dei moduli $(\mathcal{M}, \Sigma)$ e $(\mathcal{M}', \Sigma')$ sono isomorfe. Crucialmente, la curva è recuperata dalla coppia costituita dallo spazio dei moduli e dal luogo specifico di compattificazione $\Sigma$, che si dimostra essere isomorfo a una specifica superficie rigata stabile su $X$.

• Gruppo di Automorfismi (Teorema C):
  Il lavoro caratterizza il gruppo di automorfismi della coppia $(\mathcal{M}^\pm, \Sigma^\pm)$. Assumendo che la curva ellittica non abbia automorfismi che fissano $p$ oltre all'involuzione ellittica, il gruppo di automorfismi è finito, di ordine 18, e interamente "modulare". È generato dal gruppo dei punti di 3-torsione nel Jacobiano (che agisce tramite tensorizzazione) e dall'involuzione di dualizzazione. Ciò contrasta con i casi di genere superiore, dove i gruppi di automorfismi possono essere infiniti o più complessi, e sottolinea che l'intero gruppo di automorfismi del $\mathbb{P}(T\mathbb{P}^2)$ sottostante non è realizzato a meno che il luogo speciale $\Sigma$ non sia preservato.

• Classificazione Esplicita dei Fasci:
  Gli autori forniscono una classificazione dettagliata di quali tipi di fasci vettoriali (dalla lista di Atiyah) ammettono strutture paraboliche stabili. Identificano che i fasci dei tipi (2.2), (3.2) e (3.3) non ammettono mai strutture paraboliche stabili, mentre i tipi (1), (2.1) e (3.1) formano il luogo stabile generico. Descrivono esplicitamente l'intersezione dei luoghi di compattificazione con le fibre della mappa di oblio.

Significato
Il lavoro rivendica importanza risolvendo la geometria dei fasci parabolici di rango 3 su curve ellittiche, un caso trattato in precedenza solo per rango 2 o pesi specifici. Dimostra che, mentre lo spazio dei moduli dei fasci vettoriali su una curva ellittica è razionale e non riesce a distinguere la curva, l'aggiunta di una struttura parabolica (in particolare la coppia dello spazio dei moduli e il suo bordo di compattificazione) ripristina la capacità di recuperare la curva (proprietà di Torelli). Inoltre, stabilisce che per questo specifico contesto, tutti gli automorfismi dello spazio dei moduli derivano da operazioni geometriche naturali sui fasci (modularità), fornendo una descrizione completa del gruppo di simmetria in un contesto di basso genere e rango superiore. I risultati offrono un modello geometrico concreto ($\mathbb{P}(T\mathbb{P}^2)$ con una specifica copertura ramificata) per questi spazi dei moduli, in contrasto con le descrizioni più astratte disponibili per genere superiore.