$\mathbb{A}^1$--connectedness of moduli stack of semi-stable and parabolic semi-stable vector bundles over a curve

Titolo: A1-Connessione dello Stack di Moduli di Fasci Vettoriali Semi-Stabili e Parabolici Semi-Stabili su una Curva

Autori: Sujoy Chakraborty e Saurav Holme Choudhury

---

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della geometria algebrica, specificamente nello studio degli spazi di moduli di fasci vettoriali su curve algebriche. L'obiettivo principale è investigare la proprietà di A1-connessione (connessione nell'omotopia A1) per certi stack di moduli.

Sia $C$ una curva proiettiva liscia e irriducibile di genere $g \ge 2$ su un campo algebricamente chiuso $k$. Si considerano i seguenti stack:

• $M_C(n, L)$: lo stack di tutti i fasci vettoriali di rango $n$ e determinante fissato $L \in \text{Pic}(C)$.
• $M_C^{ss}(n, L)$: il sottostack aperto dei fasci semi-stabili.
• $M_C^s(n, L)$: il sottostack aperto dei fasci stabili.
• $P_C^{e,m}(n, L)$: lo stack dei fasci vettoriali quasi-parabolici con dati fissati $(e, m)$ lungo un insieme di punti $D \subset C$ e determinante fissato.
• $P_C^{\alpha-ss, e, m}(n, L)$: il sottostack dei fasci parabolici $\alpha$-semi-stabili per un sistema di pesi $\alpha$.

Mentre la A1-connessione dello stack completo $M_C(n, L)$ era già stata dimostrata in lavori precedenti (Hyland-Yang, [HY]), la questione rimaneva aperta per i sottostack di fasci semi-stabili e stabili. La difficoltà principale risiede nel fatto che le tecniche usate per lo stack completo (basate su estensioni di fasci e spazi affini) non si applicano direttamente alla locazione semi-stabile a causa della presenza di condizioni di stabilità che introducono complicazioni topologiche e geometriche.

2. Metodologia

Gli autori adottano un approccio che combina la teoria degli stack algebrici, la teoria dei fasci vettoriali e la teoria dell'omotopia A1 (sviluppata da Morel e Voevodsky).

A. Concetti Chiave

• A1-Connessione: Uno spazio $X$ è A1-connesso se il fascio dei suoi componenti connessi A1, $\pi_0^{A1}(X)$, è banale. In termini pratici, due punti (rappresentanti fasci) sono connessi se esiste una "catena" di omotopie lineari (concordanze) tra di essi.
• Concordanza A1: Due fasci $E_0$ e $E_1$ sono direttamente A1-concordanti se esiste un fascio $E$ su $C \times \mathbb{A}^1$ che interpola tra loro.
• Criterio di Valutazione di Langton: Un risultato fondamentale (Langton, [L]) afferma che lo stack dei fasci semi-stabili è universamente chiuso. Questo implica che, data una famiglia di fasci semi-stabili su un campo di frazione $K$, è possibile estenderla a un fascio semi-stabile su un anello di valutazione discreto $R$ (senza bisogno di estensioni di campo aggiuntive).

B. Strategie di Dimostrazione

1. Costruzione di una Concordanza Diretta: A differenza del lavoro precedente [HY] che costruiva catene di concordanze passando attraverso fasci instabili (il che fallisce per la locazione semi-stabile), gli autori costruiscono una concordanza diretta tra due fasci semi-stabili qualsiasi.

   • Si utilizza un risultato di Proposizione 2.11 (basato su stime di pendenza e generazione globale) per mostrare che, per $m$ sufficientemente grande, ogni fascio semi-stabile ammette una suriezione verso un fascio semi-stabile di rango inferiore fissato.
   • Questo permette di rappresentare due fasci $E_0, E_1$ come estensioni di un medesimo fascio $F$ tramite un fascio lineare. Lo spazio delle estensioni è uno spazio affine, permettendo di collegare $E_0$ e $E_1$ tramite una retta nello spazio delle estensioni.
   • Grazie al teorema di Langton, si dimostra che l'intera famiglia di fasci lungo questa retta può essere scelta in modo da rimanere all'interno della locazione semi-stabile.

2. Bundle di Flag e Strutture Paraboliche:

   • Per i fasci parabolici, gli autori sfruttano la struttura di bundle di flag iterati. Lo stack dei fasci quasi-parabolici $P_C^{e,m}(n, L)$ è isomorfo a un bundle di flag iterato sopra lo stack dei fasci vettoriali $M_C(n, L)$.
   • Poiché le varietà di flag sono razionali (e quindi A1-connesse), la proprietà di connessione si trasmette dallo stack base a quello totale tramite il teorema di Proposizione 3.6.

3. Caso dei Pesi Piccoli e Generici:

   • Per i fasci parabolici $\alpha$-semi-stabili, sotto l'ipotesi che i pesi $\alpha$ siano "piccoli" e "generici" e che $\text{gcd}(n, \deg L) = 1$, la semi-stabilità coincide con la stabilità.
   • In questo caso, il morfismo di oblio verso lo stack dei fasci stabili $M_C^s(n, L)$ è ancora un bundle di flag iterato, permettendo di dedurre la connessione.

3. Risultati Principali

Il paper stabilisce i seguenti teoremi fondamentali:

1. Teorema 2.16: Lo stack di moduli dei fasci vettoriali semi-stabili $M_C^{ss}(n, L)$ è A1-connesso.

   • Corollario: Se $\text{gcd}(n, \deg L) = 1$, anche lo stack dei fasci stabili $M_C^s(n, L)$ è A1-connesso.
   • Significato: Questo risolve una questione aperta, fornendo una prova alternativa e più diretta per la connessione dello stack stabile, evitando la necessità di passare attraverso fasci instabili.

2. Teorema 3.7: Lo stack di moduli dei fasci vettoriali quasi-parabolici $P_C^{e,m}(n, L)$ (con determinante e dati parabolici fissati) è A1-connesso.

   • La dimostrazione si basa sulla struttura di bundle di flag iterato sopra lo stack dei fasci vettoriali.

3. Teorema 4.3: Per sistemi di pesi $\alpha$ piccoli e generici con $\text{gcd}(n, \deg L) = 1$, lo stack dei fasci parabolici $\alpha$-semi-stabili $P_C^{\alpha-ss, e, m}(n, L)$ è A1-connesso.

   • In questo regime, la stabilità e la semi-stabilità coincidono, e la struttura geometrica rimane quella di un bundle di flag sopra lo stack stabile.

4. Contributi Chiave e Innovazioni

• Superamento delle Limitazioni di [HY]: Il lavoro precedente [HY] dimostrava la connessione dello stack completo ma non poteva estendere il risultato alla locazione semi-stabile perché le catene di omotopia costruite attraversavano regioni instabili. Gli autori risolvono questo problema costruendo una concordanza che rimane interamente all'interno della locazione semi-stabile, sfruttando il teorema di chiusura universale di Langton.
• Generalizzazione ai Fasci Parabolici: Estendono la teoria dell'omotopia A1 al contesto dei fasci parabolici, un'area di ricerca attiva in geometria algebrica e teoria delle rappresentazioni.
• Indipendenza dal Campo Base: Le dimostrazioni sono valide su campi infiniti e utilizzano criteri di generazione globale robusti, rendendo i risultati applicabili in contesti generali.
• Semplificazione della Prova per lo Stack Stabile: Forniscono una prova alternativa per la connessione dello stack stabile che non dipende dalla razionalità dello spazio di moduli grossolano (che non è sufficiente da sola, come notato in [HY]), ma si basa direttamente sulla struttura dello stack e sulla teoria delle estensioni.

5. Significato e Implicazioni

Questo lavoro ha un impatto significativo sulla comprensione della topologia algebrica degli spazi di moduli in geometria algebrica:

• Struttura Omotopica: Conferma che, nonostante la complessità delle condizioni di stabilità (che definiscono spazi di moduli con singolarità o strutture stack non banali), la struttura omotopica di base (A1-connessione) rimane "semplice" (ovvero, lo spazio è connesso).
• Strumenti per la Ricerca Futura: L'uso combinato del teorema di Langton e della costruzione di estensioni lineari offre un nuovo metodo potente per studiare la connessione di altri sottostack definiti da condizioni di stabilità in contesti geometrici più ampi.
• Connessione con la Teoria dei Pesi: Il risultato per i pesi generici apre la strada a ulteriori indagini su come la variazione dei pesi (wall-crossing) influenzi la topologia A1 degli spazi di moduli parabolici.

In sintesi, il paper risolve positivamente la questione della A1-connessione per gli stack di moduli semi-stabili e parabolici, fornendo tecniche robuste che uniscono la teoria delle estensioni di fasci, la teoria degli stack e l'omotopia A1.