Co-Higgs bundles of Schwarzenberger type and the determinant morphism

1. Il Problema e il Contesto

Il lavoro si inserisce nello studio dei fasci di Higgs (e in particolare dei co-Higgs bundles) su varietà algebriche complesse. Il problema centrale riguarda la descrizione dell'immagine della morfismo di Hitchin (o, in questo contesto specifico, del morfismo del determinante).

• Contesto Geometrico: Su una curva algebrica complessa $X$ di genere $g \ge 2$, il morfismo di Hitchin è proprio e suriettivo, con fibre generiche che sono varietà abeliane (sistemi integrabili completi). Tuttavia, per varietà di dimensione superiore ($\dim X > 1$), il morfismo di Hitchin non è più suriettivo.
• La Congettura: Esiste una congettura secondo cui l'immagine del morfismo di Hitchin è una sottoschema chiuso non lineare $B^\heartsuit$ dello spazio base $B$. Sebbene questa congettura sia stata verificata per fasci vettoriali su superfici e per fasci di Higgs principali su certi gruppi di Lie, non esiste una descrizione esplicita per fasci di Higgs "twisted" (avvolti) quando il twist non è un fascio di linee, se non in casi molto specifici.
• Obiettivo Specifico: L'autore mira a superare questa difficoltà esplorando il morfismo di Hitchin limitato a fasci di Higgs twisted le cui strutture vettoriali sottostanti sono fissate e ben selezionate. Nello specifico, lo studio si concentra sui co-Higgs bundles (fasci di Higgs twisted dal fibrato tangente $T_{\mathbb{P}^2}$) modellati sui fasci di Schwarzenberger di rango 2 su $\mathbb{P}^2$.

2. Metodologia

L'approccio metodologico combina la teoria dei moduli, la geometria algebrica e l'analisi delle strutture dei fasci vettoriali su $\mathbb{P}^2$.

• Oggetti di Studio:

  • Fasci di Schwarzenberger ($V_k^\rho$): Una sequenza di fasci vettoriali olomorfi di rango 2 su $\mathbb{P}^2$, costruiti tramite un rivestimento olomorfo $f_\rho: \mathbb{P}^1 \times \mathbb{P}^1 \to \mathbb{P}^2$ ramificato su una conica non singolare $\rho$.
  • Co-Higgs Bundles: Coppie $(E, \phi)$ dove $E$ è un fascio vettoriale e $\phi: E \to E \otimes T_{\mathbb{P}^2}$ è un campo di Higgs che soddisfa la condizione di integrabilità $\phi \wedge \phi = 0$.
  • Stabilità: Si considerano fasci Gieseker semistabili e stabili. Il lavoro si concentra sui fasci a traccia nulla (trace-free), poiché la componente di traccia è lineare e il comportamento non banale risiede nella componente del determinante.

• Strumenti Analitici:

  • Sequenza di Eulero e Proprietà dei Fasci: Utilizzo della sequenza di Eulero per $T_{\mathbb{P}^2}$ e delle proprietà di rigidità o deformabilità dei fasci $V_k^\rho$ per $k \neq 3$.
  • Analisi dei Coefficienti Caratteristici: Il morfismo del determinante $\det(\phi)$ è studied come sezione globale di $\text{Sym}^2(T_{\mathbb{P}^2})$.
  • Classificazione per Parametro $k$: L'analisi è suddivisa in base all'indice $k$ del fascio di Schwarzenberger:
    • $k=0, 1, 2$: Casi speciali dove i fasci hanno strutture rigide o isomorfismi noti ($V_0^\rho = \mathcal{O} \oplus \mathcal{O}(-1)$, $V_1^\rho = \mathcal{O} \oplus \mathcal{O}$, $V_2^\rho = T_{\mathbb{P}^2}$).
    • $k > 3$: Caso generale dove la struttura del campo di Higgs è vincolata in modo più stringente.
    • Esclusione di $k=3$: Il caso $k=3$ è escluso dall'analisi perché ammette fasci di Higgs stabili che non seguono la forma standard $\phi = \phi_0 \otimes C$, rendendo la caratterizzazione dell'immagine più complessa e diversa.

3. Contributi Chiave e Risultati Principali

Il risultato principale del paper è l'identificazione esplicita dell'immagine del morfismo del determinante per fasci di co-Higgs stabili a traccia nulla modellati su $V_k^\rho$ per $k \neq 3$.

I risultati sono formalizzati nei Teoremi 2.2.4, 2.2.6, 2.2.8 e 2.2.10:

1. Caso $k=0$ (Teorema 2.2.4):
   L'immagine del morfismo del determinante è in corrispondenza biunivoca con lo spazio quoziente:
   $$\left( H^0(\mathcal{O}(2))^\times \times H^0(T_{\mathbb{P}^2}(-1))^\times \right) / \sim \quad \sqcup \quad \{0\}$$
   dove l'equivalenza è data da $(q, C) \sim (\alpha^2 q, \alpha^{-1} C)$. L'immagine è data da sezioni della forma $q \otimes \text{Sym}^2(C)$.

2. Caso $k=1$ (Teorema 2.2.6):
   L'immagine è più complessa e include una componente aggiuntiva. È in corrispondenza biunivoca con:
   $$\left[ \left( H^0(\mathcal{O}(2))^\times \times H^0(T_{\mathbb{P}^2}(-1))^\times \right) / \sim \right] \sqcup \left[ H^0(T_{\mathbb{P}^2}) / \{\pm 1\} \right]$$
   con un'identificazione specifica tra le due componenti quando $q \otimes \text{Sym}^2(C) = \text{Sym}^2(A)$.

3. Caso $k=2$ (Teorema 2.2.8):
   Poiché $V_2^\rho \cong T_{\mathbb{P}^2}$, ogni campo di Higgs integrabile è della forma $\phi = \phi_0 \otimes C$. L'immagine è isomorfa al caso $k=0$:
   $$\left( H^0(\mathcal{O}(2))^\times \times H^0(T_{\mathbb{P}^2}(-1))^\times \right) / \sim \quad \sqcup \quad \{0\}$$

4. Caso $k > 3$ (Teorema 2.2.10):
   Per $k > 3$, la struttura è molto più restrittiva. L'immagine del determinante è data esclusivamente da sezioni della forma $\rho \otimes \text{Sym}^2(C)$, dove $\rho$ è la conica fissa che definisce il fascio di Schwarzenberger. L'immagine è in corrispondenza biunivoca con:
   $$H^0(T_{\mathbb{P}^2}(-1)) / \{\pm 1\}$$

4. Significato e Implicazioni

• Non Suriettività: Un risultato cruciale è che, in tutti i casi analizzati ($k \neq 3$), il morfismo del determinante non è suriettivo sullo spazio totale delle sezioni $H^0(\text{Sym}^2(T_{\mathbb{P}^2}))$.
  • La dimensione dell'immagine è strettamente inferiore alla dimensione dello spazio target (es. per $k>3$, $\dim \le 3$ contro $\dim = 27$).
  • Questo conferma e rende esplicita la natura "non lineare" e restrittiva dell'immagine del morfismo di Hitchin in dimensione superiore, fornendo un controesempio concreto alla suriettività che vale solo in dimensione 1.
• Descrizione Esplicita: Il lavoro fornisce una descrizione algebrica precisa dei sottospazi che costituiscono l'immagine, parametrizzandoli tramite spazi quoziente di sezioni di fasci di linee e del fibrato tangente.
• Struttura dei Moduli: La caratterizzazione dei campi di Higgs stabili come prodotti tensoriali $\phi_0 \otimes C$ (tranne che per $k=3$) semplifica notevolmente lo studio delle deformazioni infinitesime e della geometria dello spazio dei moduli per questi oggetti specifici.
• Eccezionalità di $k=3$: L'analisi evidenzia che il caso $k=3$ è un punto di svolta qualitativo, dove la struttura dei fasci di Higgs stabili si discosta dal modello standard, suggerendo una complessità aggiuntiva che richiede un trattamento separato.

In sintesi, il paper offre una mappa dettagliata e rigorosa dell'immagine del morfismo del determinante per una classe significativa di fasci di co-Higgs su $\mathbb{P}^2$, contribuendo alla comprensione della geometria dei sistemi integrabili in dimensioni superiori e della congettura sull'immagine del morfismo di Hitchin.