$S$-duality, boundary states, and higher-form symmetries on ALE spaces

Sintesi Tecnica: Dualità-S, stati di bordo e simmetrie di ordine superiore su spazi ALE

Enunciato del Problema
Il lavoro affronta il comportamento della dualità-S abeliana nella teoria di Maxwell definita su spazi non compatti, asintoticamente localmente euclidei (ALE) di tipo A ($A_{N-1}$). Mentre la dualità-S su varietà chiuse a 4 dimensioni è ben compresa come una trasformazione della funzione di partizione in una forma modulare (con pesi determinati dalla topologia), lavori precedenti [23] hanno notato che l'integrale di percorso di Maxwell su uno spazio ALE non si trasforma come una forma modulare scalare. Questo apparente fallimento della modularità nasce dal fatto che il reticolo di omologia di uno spazio ALE (il reticolo delle radici $Q$) non è autoduale; il suo duale è il reticolo dei pesi $P$. Il problema centrale è determinare se ciò segnali un collasso della dualità-S o se l'integrale di percorso su uno spazio con un bordo asintotico richieda un'interpretazione più raffinata rispetto a una semplice funzione di partizione scalare.

Metodologia
L'autore impiega una combinazione di calcoli espliciti di integrali di percorso, teoria dei reticoli e i principi di "taglio e incollamento" della teoria quantistica dei campi.

1. Decomposizione dell'Integrale di Percorso: L'integrale di percorso di Maxwell su uno spazio ALE di tipo $A_{N-1}$ è valutato sommando sui settori di flusso topologico supportati sui 2-cicli eccezionali compatti. L'azione è espressa in termini della matrice di Cartan inversa dell'algebra di Lie $A_{N-1}$.
2. Interpretazione dello Stato di Bordo: Riconoscendo che lo spazio ALE ha un bordo asintotico di tipo spazio lenticolare ($S^3/\mathbb{Z}_N$), l'integrale di percorso è interpretato non come un numero, ma come uno stato $|\Psi(\tau)\rangle$ nello spazio di Hilbert associato al bordo. Questo stato è espanso in una base etichettata dai settori di olonomia piatta $U(1)$ sul bordo, che corrispondono ai coset del reticolo delle radici nel reticolo dei pesi ($P/Q \cong \mathbb{Z}_N$).
3. Analisi Modulare: Le proprietà di trasformazione dei risultanti "blocchi di funzioni theta" ($\Theta_\mu$) sotto il gruppo modulare $SL(2, \mathbb{Z})$ (generato da $S$ e $T$) sono derivate utilizzando la sommazione di Poisson.
4. Costruzione di Incollamento: Per testare l'ipotesi dello stato di bordo, l'autore incolla esplicitamente uno spazio di Eguchi–Hanson (spazio ALE $A_1$) alla sua copia con orientamento invertito lungo il loro comune bordo $S^3/\mathbb{Z}_2$. La varietà risultante è diffeomorfa a $S^2 \times S^2$.
5. Simmetrie di Ordine Superiore: L'analisi è raffinata accoppiando la teoria a background di simmetria di 1-forma elettrica e magnetica ($B_e, B_m$). Le leggi di trasformazione dei blocchi theta in presenza di questi background sono derivate, e vengono investigate le gauging discrete $\mathbb{Z}_k$ di queste simmetrie.

Contributi e Risultati Chiave

• Covarianza Modulare a Vettore: Il risultato principale è che l'integrale di percorso di Maxwell su uno spazio ALE non è una funzione di partizione scalare, ma uno stato di bordo a vettore. L'integrale di percorso si decompone in $N$ blocchi di funzioni theta, $\Theta_\mu(\tau)$, etichettati dai settori discreti di olonomia $\mu \in P/Q \cong \mathbb{Z}_N$. Sotto la dualità-S, questi blocchi non si trasformano indipendentemente; invece, si mescolano tramite una trasformata di Fourier finita (trasformata di Fourier discreta) che agisce sulle etichette dei settori. L'oggetto completo si trasforma come una forma modulare a vettore, ripristinando la covarianza della dualità-S.
  $$|\Psi(\tau)\rangle = \sum_{\mu \in P/Q} \Theta_\mu(\tau) |\mu\rangle$$
  L'apparente fallimento della modularità riportato in [23] è reinterpretato come la necessità di trattare l'integrale di percorso come uno stato in uno spazio di Hilbert piuttosto che come uno scalare.

• Incollamento e Riproduzione della Fisica delle Varietà Chiuse: Il lavoro dimostra che incollare uno spazio ALE alla sua inversione di orientamento riproduce la funzione di partizione di Maxwell standard sulla varietà chiusa risultante. Nello specifico, per lo spazio di Eguchi–Hanson ($N=2$), l'incollamento alla sua copia con orientamento invertito produce una varietà diffeomorfa a $S^2 \times S^2$. Il prodotto scalare degli stati di bordo preparati dalle due metà, $\langle \Psi_L | \Psi_R \rangle$, riproduce esattamente la funzione di partizione scalare $Z_{S^2 \times S^2}$, inclusi i corretti pesi modulari e la struttura di somma dei flussi. Ciò stabilisce gli spazi ALE come "mattoni chirali" per la teoria di Maxwell 4D, analoghi ai blocchi conformi chirali nella CFT 2D.

• Simmetrie di 1-Forma e Fasci Lineari: Quando i background di simmetria di 1-forma elettrica e magnetica sono attivati, i blocchi theta $\Theta_\mu$ non sono più funzioni ordinarie sul toro di background, ma sezioni di un fascio lineare. Questa struttura riflette l'anomalia mista elettro-magnetica di 1-forma. Le trasformazioni modulari ($S$ e $T$) agiscono sia sulle etichette dei settori sia sui campi di background, ruotando i background elettrici e magnetici l'uno nell'altro. Il lavoro deriva le specifiche leggi di trasformazione, inclusi i fasi dipendenti dal background che manifestano l'anomalia.

• Gauging Discreto: L'autore investiga il gauging di sottogruppi discreti $\mathbb{Z}_k$ delle simmetrie di 1-forma. Per $k$ dispari, i settori di background discreti sulle due metà ALE forniscono una parametrizzazione completa dei background $\mathbb{Z}_k$ sulla varietà incollata $S^2 \times S^2$. L'incollamento di questi stati di bordo gaugati riproduce la funzione di partizione gaugata $\mathbb{Z}_k$ attesa sulla varietà chiusa. Per $k$ pari, sorge una sottigliezza dovuta alla torsione nella coomologia del bordo ($H^2(S^3/\mathbb{Z}_2, \mathbb{Z}_k) \cong \mathbb{Z}_2$), che richiede una prescrizione di incollamento raffinata.

Significato
Il lavoro afferma di risolvere il rompicapo della dualità-S sugli spazi ALE spostando la prospettiva dalle funzioni di partizione scalari agli stati di bordo. Postula che gli spazi ALE servano come laboratori locali controllati dove l'interazione tra geometria, settori di flusso e dualità può essere studiata. Il lavoro evidenzia che:

1. La Dualità è Preservata: La dualità-S non è violata sui background ALE; piuttosto, l'oggetto corretto è una forma modulare a vettore che rappresenta uno stato di bordo.
2. Analogia Strutturale: La costruzione traccia un parallelo strutturale tra la teoria di Maxwell 4D su spazi ALE e la Teoria di Campo Conforme Razionale (CFT) 2D, dove i singoli blocchi chirali non sono invarianti modulari, ma il loro accoppiamento produce una funzione di partizione invariante.
3. Manifestazione dell'Anomalia: La struttura a fascio lineare dei blocchi theta in presenza di background di 1-forma fornisce una realizzazione concreta delle anomalie miste nel contesto degli stati di bordo.

Il lavoro non propone nuove applicazioni sperimentali o implicazioni future oltre al quadro teorico della teoria di gauge su varietà non compatte e la coerenza della dualità-S in presenza di bordi e simmetrie di ordine superiore.