Lagrangian Intersections, Symplectic Reduction and Kirwan Surjectivity

1. Il Problema e il Contesto

Il lavoro si colloca all'intersezione tra geometria simplettica complessa, geometria algebrica derivata e la teoria speculare (mirror symmetry), in particolare nel contesto del modello B 3D proposto da Kapustin-Rozansky-Saulina.
Il problema centrale è lo studio delle intersezioni di Lagrangiane complesse in varietà simplettiche olomorfe, con un focus specifico sulla loro riduzione rispetto a un'azione di gruppo Hamiltoniana.
Nello specifico, gli autori vogliono comprendere la struttura geometrica e coomologica dell'intersezione derivata di due Lagrangiane $G$-invarianti ($C_1, C_2$) dopo aver applicato la riduzione simplettica (o quoziente simplettico) $X // G$. Un obiettivo chiave è generalizzare il teorema di suriettività di Kirwan al contesto delle intersezioni Lagrangiane e alle categorie di Fukaya complesse, collegando i gruppi $\text{Ext}$ tra fasci strutturali di Lagrangiane ridotte alla coomologia equivariante dell'intersezione.

2. Metodologia

Gli autori utilizzano un approccio che combina:

• Geometria Algebrica Derivata: Per trattare le intersezioni non trasversali (intersezioni "pulite" o clean intersections), le intersezioni sono modellate come prodotti fibrati derivati ($C_1 \times_X C_2$).
• Riduzione Simplettica Derivata: Il quoziente $X // G$ è trattato come uno stack Artin simplettico spostato di 0 ($0$-shifted symplectic Artin stack). Le Lagrangiane $G$-invarianti inducono Lagrangiane nel quoziente.
• Bundle di Eccesso e Sequenze Conormali: Viene analizzata la sequenza conormale dell'intersezione $B = C_1 \cap C_2$. La condizione cruciale è che questa sequenza si spacchi (split) come fasci $G$-equivarianti.
• Cohomologia Equivariante e Teorema di Kirwan: Viene utilizzata la stratificazione HKKN (Hess-Kirwan-Ness) del luogo instabile per dimostrare la suriettività di mappe di restrizione verso i quozienti semi-stabili.
• Sistemi Locali e Covering Trick: Per gestire i casi in cui i determinanti dei fasci normali sono di torsione, si utilizza un trucco di ricoprimento ciclico per collegare la coomologia twistata alla coomologia ordinaria.

3. Contributi Chiave e Risultati Principali

A. Geometria delle Intersezioni Lagrangiane Ridotte

Il risultato fondamentale (Teorema 1.1 e Teorema 4.5) stabilisce che, sotto l'ipotesi che la sequenza conormale di $B \subset X$ si spacchi, il prodotto fibrato derivato delle Lagrangiane ridotte è isomorfo allo stack cotangente spostato dell'intersezione ridotta:
$$C_1/G \times_{X//G} C_2/G \cong \text{Tot}_{B/G}(L_{B/G}[-1])$$
dove $L_{B/G}$ è il complesso cotangente dello stack quoziente.

B. Calcolo dei Gruppi Ext e Coomologia Equivariante

Gli autori dimostrano che i gruppi $\text{Ext}$ tra i fasci strutturali delle Lagrangiane ridotte possono essere calcolati tramite la coomologia equivariante dell'intersezione $B$.
Se il determinante del fascio normale $\det(N_{B/C_2})$ è di torsione (o se le Lagrangiane ammettono strutture spin, portando a sistemi locali 2-torsione), si ottiene l'isomorfismo (Teorema 1.1 e Corollario 4.7):
$$\text{Ext}^\bullet_{X//G}(\mathcal{O}_{C_1/G}, \mathcal{O}_{C_2/G}) \cong H^\bullet_G(B, \det(N_{B/C_2})^\delta)$$
dove $\delta$ indica il sistema locale associato. In particolare, se $C_1 = C_2 = C$, si ottiene:
$$\text{Ext}^\bullet_{X//G}(\mathcal{O}_{C/G}, \mathcal{O}_{C/G}) \cong H^\bullet_G(C, \mathbb{C})$$
Questo collega l'algebra delle intersezioni Lagrangiane alla coomologia equivariante della varietà sottostante.

C. Generalizzazione della Suriettività di Kirwan

Il paper generalizza il classico teorema di Kirwan (che afferma la suriettività della mappa di restrizione dalla coomologia equivariante totale a quella semi-stabile) al contesto delle intersezioni Lagrangiane.
Sotto ipotesi di compattezza e finitezza della coomologia in grado zero, viene dimostrato che la mappa di restrizione:
$$\text{Ext}^\bullet_{X//G}(\mathcal{O}_{C_1/G}, \mathcal{O}_{C_2/G}) \twoheadrightarrow \text{Ext}^\bullet_{X^{ss}//G}(\mathcal{O}_{C_1^{ss}/G}, \mathcal{O}_{C_2^{ss}/G})$$
è suriettiva (Teorema 1.3 e Teorema 5.5).
Questa suriettività è interpretata fisicamente come la commutatività tra la simmetria e la riduzione nel modello B 3D.

D. Casi Specifici e Applicazioni

• Fasci Spin: Viene trattato il caso in cui le Lagrangiane ammettono radici quadrate del fascio canonico ($K^{1/2}$), portando a sistemi locali di torsione 2 e risultati analoghi per i gruppi $\text{Ext}$ twistati.
• Bundles Cotangenti: Vengono analizzati esempi specifici dove $X = T^*M$, mostrando come i risultati si riducano a risultati noti sulla coomologia Hodge e sulle intersezioni di sezioni nulle o grafici di forme chiuse.

4. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

1. Ponte tra Geometria e Fisica: Fornisce una giustificazione matematica rigorosa per le previsioni del modello B 3D, collegando le intersezioni di D-brane (Lagrangiane) alla coomologia equivariante.
2. Strumento Computazionale: Offre un metodo potente per calcolare i gruppi $\text{Ext}$ in spazi quoziente complessi riducendoli alla coomologia di varietà di intersezione più semplici, anche in presenza di azioni di gruppo.
3. Generalizzazione di Kirwan: Estende uno dei teoremi più importanti della geometria simplettica (suriettività di Kirwan) al livello delle categorie derivate e delle intersezioni Lagrangiane, un passo necessario per la costruzione della categoria di Fukaya equivariante.
4. Struttura Derivata: Dimostra come la struttura derivata (stack cotangente spostato) emerga naturalmente nella riduzione simplettica di intersezioni Lagrangiane, confermando le aspettative della geometria simplettica spostata (shifted symplectic geometry).

In sintesi, il paper stabilisce un quadro unificato per lo studio delle intersezioni Lagrangiane in contesti equivarianti, dimostrando che la loro algebra di intersezione è governata dalla coomologia equivariante dell'intersezione geometrica, e generalizzando la suriettività di Kirwan a questo contesto non commutativo/derivato.