Holomorphic disks and GIT quotients

Sintesi Tecnica: Dischi Olomorfi e Quozienti GIT

Enunciato del Problema
Questo articolo indaga la relazione tra la geometria simplettica di una varietà algebrica liscia $X$ dotata di un'azione hamiltoniana di un gruppo di Lie compatto connesso $G$, e quella della sua riduzione. Nello specifico, l'autore mira a stabilire una corrispondenza tra gli spazi dei moduli dei dischi olomorfi in $X$ con bordo su una sottovarietà lagrangiana $G$-invariante $L$, e gli spazi dei moduli dei dischi olomorfi nel quoziente della Teoria degli Invarianti Geometrici (GIT) $X // G$ con bordo sulla lagrangiana quoziente $L/G$.

Una difficoltà primaria nella riduzione simplettica è che la costruzione richiede la restrizione a un livello dell'applicazione momento $\mu^{-1}_G(0)$ e l'eliminazione del luogo instabile, rendendo non banale un confronto diretto delle curve olomorfe prima e dopo la riduzione. Sebbene la teoria di Floer equivariante offra un quadro per tali confronti, questo articolo mira a stabilire la relazione senza fare affidamento sulla teoria di Floer equivariante, utilizzando invece il ponte fornito dal teorema di Kempf–Ness tra i quozienti GIT e le riduzioni simplettiche.

Metodologia
L'approccio si basa sulla struttura geometrica del luogo semistabile $X^{ss}$ e sull'applicazione quoziente olomorfa $q: X^{ss} \to X // G$. L'articolo procede in due fasi principali:

1. Corrispondenza tramite Fasci Principali: L'autore modella la relazione tra il luogo semistabile $X^{ss}$ e il quoziente $X // G$ come un fibrato principale olomorfo $G$-invariante $q: P_G \to M$. Analizzando gli spazi dei moduli dei dischi olomorfi nello spazio totale $P_G$ (con bordo su $L$) e nella base $M$ (con bordo su $L/G$), l'articolo stabilisce una corrispondenza.

   • Sollevamento dei Dischi: Un componente tecnico centrale è dimostrare che ogni disco olomorfo nel quoziente $M$ ammette un sollevamento olomorfo allo spazio totale $P_G$. Ciò è ottenuto costruendo una trivializzazione olomorfa del fascio pullback sul disco che rispetta le condizioni al bordo. L'autore impiega il risultato di Donaldson sulla risolubilità dell'equazione di Hermitian–Yang–Mills con condizioni al bordo di Dirichlet per garantire l'esistenza di una metrica piatta compatibile con la riduzione al bordo, permettendo così la costruzione del sollevamento.
   • Isomorfismo degli Spazi dei Moduli: Utilizzando la proprietà di sollevamento e il fatto che $\pi_2(G, G) = 0$, l'autore dimostra che la mappa indotta tra il quoziente dello spazio dei moduli nello spazio totale e lo spazio dei moduli nel quoziente è un omeomorfismo che preserva l'orientazione.

2. Calcolo del Potenziale dei Dischi: L'articolo introduce il concetto di classi di dischi "semistabili" e "instabili". Una classe di disco è semistabile se la sua immagine giace interamente in $X^{ss}$; altrimenti è instabile.

   • Potenziale del Disco Semistabile: L'autore definisce un "potenziale del disco semistabile" $W^{ss}_L$ mantenendo solo i termini nel potenziale del disco di $L$ corrispondenti alle classi semistabili.
   • Eliminazione delle Variabili: Sotto l'assunzione che ogni classe instabile di indice di Maslov due sia "completamente esclusa" (cioè, ogni disco rappresentativo interseca il luogo instabile), il potenziale del disco del quoziente $L/G$ è calcolato restringendo $W^{ss}_L$ al nucleo della mappa indotta sui gruppi fondamentali, $q^*: \pi_1(L) \to \pi_1(L/G)$. Ciò comporta l'eliminazione delle variabili nel polinomio di Laurent corrispondenti alle direzioni dell'azione del gruppo.

Contributi e Risultati Chiave

• Teorema A (Teorema 3.13): Sotto opportune ipotesi di regolarità e topologiche (nello specifico che $L/G$ sia spin e gli spazi dei moduli siano compatti), la mappa $\phi: \mathcal{M}_1(P_G, L, J, \beta)/G \to \mathcal{M}_1(X // G, L/G, q^*J, q^*\beta)$ è un omeomorfismo che preserva l'orientazione. Di conseguenza, gli invarianti di conteggio dei dischi $n_\beta$ e $n_{q^*\beta}$ coincidono.
• Teorema B (Teorema 4.11): Per un'azione di un toro dove $L$ è un toro lagrangiano positivo e ogni classe instabile di indice di Maslov due è completamente esclusa, il potenziale del disco del quoziente $L/G$ è dato dalla restrizione del potenziale del disco semistabile di $L$ al nucleo di $q^*$:
  $$W_{L/G}(z) = W^{ss}_L|_{\ker(q^*)}(z)$$
  Ciò fornisce una formula computazionalmente efficace per derivare il potenziale del disco del quoziente dal pre-quoziente.
• Teorema C (Teorema 6.3): L'articolo applica questi metodi per calcolare il potenziale del disco del sistema di Gelfand–Zeitlin (GZ) su ipersuperfici quadriche $Q_n \subseteq \mathbb{CP}^{n+1}$. Utilizzando un metodo di degenerazione e una riduzione tramite quoziente GIT a quadriche di dimensione inferiore, l'autore deriva una formula esplicita per il potenziale del disco di fibre toriche arbitrarie $L_n(u)$ in $Q_n$, estendendo risultati precedenti limitati alle fibre monotone. Il potenziale risultante è:
  $$W_{L_n(u)}(y) = \frac{1}{y_n}T^{n-u_n} + \frac{y_n}{y_{n-1}}T^{u_n-u_{n-1}} + \dots + \frac{y_2}{y_1}T^{u_1-u_2} + 2y_2T^{u_2} + y_1y_2T^{u_1+u_2}$$

Significato e Affermazioni
L'articolo afferma che il suo vantaggio principale risiede nell'efficacia computazionale del Teorema 4.11. Utilizzando la corrispondenza tra quozienti GIT e riduzioni simplettiche, il metodo permette il calcolo esplicito dei potenziali dei dischi in contesti dove il calcolo diretto è difficile. Nello specifico, permette il sollevamento dei potenziali dei dischi da una base a uno spazio totale e la riduzione di problemi di dimensione superiore a problemi di dimensione inferiore.

L'autore nota che questa procedura di riduzione è attesa fornire un metodo efficace per calcolare i potenziali dei dischi per varietà bandiere isotrope di dimensione superiore, riducendole a casi di dimensione inferiore. Il lavoro generalizza anche risultati precedenti sulle fibre di Gelfand–Zeitlin calcolando potenziali per fibre toriche arbitrarie, non solo per quelle monotone. L'articolo sottolinea che questi risultati sono derivati senza l'apparato della teoria di Floer equivariante, facendo affidamento invece sulle proprietà geometriche dei fasci principali e sul teorema di Kempf–Ness.