Non-invertible symmetries of two-dimensional Non-Linear Sigma Models

Sintesi Tecnica: Simmetrie non invertibili di Modelli Sigma Non Lineari bidimensionali

Definizione del Problema
Il saggio affronta la costruzione di simmetrie non invertibili in Modelli Sigma Non Lineari (NLSM) bidimensionali con termini di Wess-Zumino (WZ). Le simmetrie non invertibili generate da difetti topologici sono state ampiamente studiate nelle Teorie di Campo Conforme (CFT) e, nello specifico, per il bosone compatto libero tramite il gauging di semispazio; tuttavia, la loro esistenza e la loro costruzione esplicita in NLSM generali — in particolare quelli privi di 1-cicli non banali o di invarianza conforme — rimanevano una questione aperta. Gli autori mirano a generalizzare la nota costruzione dei difetti di auto-dualità (che sorgono quando una teoria è invariante sotto un gauging discreto seguito da una trasformazione di dualità) a una vasta classe di NLSM con termini WZ, identificando le precise condizioni sotto le quali tali difetti esistono.

Metodologia
Gli autori utilizzano una procedura di "gauging di semispazio", una tecnica in cui una simmetria globale viene gaugata solo in una metà dello spaziotempo ($\Gamma_+$), mentre l'altra metà ($\Gamma_-$) rimane non gaugata. L'interfaccia ($\gamma$) tra queste regioni diventa un difetto topologico se la teoria gaugata su $\Gamma_+$ è duale alla teoria originale su $\Gamma_-$.

La metodologia procede attraverso diversi passaggi tecnici:

1. NLSM Gauged "Raddoppiato": Gli autori utilizzano la formulazione "raddoppiata" della T-dualità per gli NLSM. Introducono uno spazio target $\hat{M}$ che è un fibrato $T^{2d}$ sopra lo spazio base $N$, costruito aggiungendo campi moltiplicatori di Lagrange all'azione gaugata. Ciò consente una derivazione geometrica della T-dualità che gestisce trasparentemente gli ostacoli topologici globali (come i bundle non banali e l'H-flux).
2. Gauging Discreto: Invece di gaugare l'intero gruppo di isometria continuo, gli autori gaugano un sottogruppo discreto $\prod Z_{p(m)} \subset U(1)^d$. Questo viene implementato modificando il termine del moltiplicatore di Lagrange nell'azione raddoppiata per imporre campi di gauge piatti con olonomia $Z_p$.
3. Analisi del Confine: Una componente tecnica cruciale riguarda la gestione del confine della superficie di mondo $\gamma$ introdotto dalla scissione di semispazio. Gli autori analizzano attentamente i termini di confine necessari per mantenere l'invarianza di gauge del termine WZ su una varietà con bordo. Dimostrano che la procedura di gauging su $\Gamma_+$ genera un termine di bordo topologico specifico localizzato su $\gamma$, che agisce come una Teoria di Campo Quantistica Topologica (TQFT).
4. Condizioni di Auto-Dualità: Integrando i campi di gauge, gli autori derivano l'azione effettiva per la teoria gaugata. Imponendo poi condizioni tali per cui la metrica e l'H-flux della teoria gaugata su $\Gamma_+$ corrispondano a quelli della teoria originale su $\Gamma_-$ (a meno di ridefinizioni delle coordinate), identificano i parametri per cui l'interfaccia è un difetto topologico all'interno di una singola teoria.

Contributi Chiave e Risultati
Il saggio stabilisce l'esistenza di difetti non invertibili in una vasta classe di NLSM e fornisce formule esplicite per la loro costruzione:

• Condizioni di Auto-Dualità Generalizzate: Gli autori derivano le condizioni necessarie e sufficienti affinché un NLSM con un'isometria $U(1)^d$ ospiti un difetto non invertibile. Queste condizioni mettono in relazione i dati topologici del modello originale con il modello gaugato:
  • Vincolo Topologico: Le classi di Chern ($F^m$) e le classi $H$ ($\tilde{F}^m$) delle teorie originale e duale devono soddisfare $p^{(m)} F^m = \tilde{F}^m = \tilde{f}^m$. Ciò implica uno scambio e una scalatura dei dati topologici mediante l'ordine del sottogruppo gaugato.
  • Vincolo dei Moduli: I moduli della metrica generalizzata $E_{mn}$ devono soddisfare $E_{mn} = \frac{p^{(m)}}{2\pi} \frac{p^{(n)}}{2\pi} (E^{-1})_{mn}$. Questo generalizza la condizione del raggio auto-duale del bosone compatto a spazi target arbitrari.
• Ruolo della TQFT di Confine: La costruzione rivela che la non-invertibilità del difetto deriva da una TQFT di tipo BF unidimensionale che vive sul locus del difetto $\gamma$. L'azione di questa TQFT è $S_\gamma = \frac{p}{2\pi} \int_\gamma X^m d\tilde{X}_m$. Questo termine assicura le corrette equazioni del moto attraverso l'interfaccia e detta le regole di fusione di Tambara-Yamagami ($TY(Z_p)$) del difetto.
• Esempi: Gli autori costruiscono esplicitamente questi difetti per diversi spazi target:
  • Sfere e Spazi di Lens: Dimostrano che $S^3$ (vista come fibrato di Hopf) e gli spazi di Lens ammettono tali difetti quando specifiche relazioni tra il raggio, l'H-flux e il parametro di gauging $p$ sono soddisfatte.
  • Nilfold: Dimostrano che i nilmanifold (bundle $S^1$ non banali su $T^2$) con H-flux non nullo possono ospitare questi difetti, nonostante manchino di 1-cicli non contrattili.
  • Modelli WZW: Un risultato significativo è l'applicazione ai modelli Wess-Zumino-Witten (WZW). Gli autori scoprono che le condizioni di auto-dualità per il gauging di un sottogruppo di isometria $Z_p$ coincidono precisamente con la condizione di quantizzazione richiesta affinché il modello sia conforme (specificamente, il livello $\kappa$ del modello WZW). Di conseguenza, i modelli WZW $SU(N)_\kappa$ possiedono difetti non invertibili con fusione $TY(Z_\kappa)$. Gli autori notano che per $\kappa > 2$, questi difetti sono generalmente non Verlinde lines (non commutano con l'intera algebra chirale).

Significatività e Rivendicazioni
Il saggio sostiene di fornire una derivazione sistematica e microscopica di simmetrie non invertibili in NLSM che non dipende dal fatto che la teoria sia conforme o razionale.

• Generalità: La costruzione si applica a qualsiasi NLSM con un'isometria che agisce liberamente, indipendentemente dal fatto che lo spazio target possieda 1-cicli non banali (modi di winding) o che la teoria sia conforme.
• Origine Microscopica: Il lavoro evidenzia come le regole di fusione non invertibili originino da un termine topologico specifico (la teoria BF) localizzato sul difetto, che emerge naturalmente dai termini di bordo nella procedura di gauging di semispazio.
• Connessione WZW: L'identificazione di difetti non invertibili nei modelli WZW a tutti i livelli è presentata come un risultato sorprendente, collegando la costruzione del gauging discreto direttamente alla quantizzazione conforme del parametro di accoppiamento.
• Limitazioni: Gli autori notano con modestia che, sebbene abbiano costruito i difetti, l'azione esplicita di queste simmetrie sugli operatori locali (operatori di ordine/disordine) e le loro implicazioni per le identità di Ward devono ancora essere pienamente esplorate. Riconoscono inoltre che la costruzione richiede che l'isometria agisca senza punti fissi, un vincolo tecnico che esclude certe geometrie come le sfere di dimensione pari.

In sintesi, il saggio estende il quadro delle simmetrie non invertibili dai semplici modelli liberi a NLM interagenti e topologicamente non banali, fornendo un quadro geometrico unificato di come la T-dualità e il gauging discreto generino queste simmetrie esotiche.