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

Technische Samenvatting: Niet-inverteerbare symmetrieën van twee-dimensionale Non-Lineaire Sigma Modellen

Probleemstelling
Het artikel behandelt de constructie van niet-inverteerbare symmetrieën in twee-dimensionale Non-Lineaire Sigma Modellen (NLSM's) met Wess-Zumino (WZ) termen. Hoewel niet-inverteerbare symmetrieën gegenereerd door topologische defecten goed bestudeerd zijn in Conforme Veldtheorieën (CFT's) en specifiek voor de vrije compacte boson via half-ruimte gauging, bleef hun bestaan en expliciete constructie in algemene NLSM's—met name die zonder niet-triviale 1-cycli of conforme invariantie—een open vraag. De auteurs beogen de bekende constructie van zelf-dualiteit defecten (die ontstaan wanneer een theorie invariant is onder een discrete gauging gevolgd door een dualiteitstransformatie) te generaliseren naar een brede klasse van NLSM's met WZ-termen, waarbij zij de precieze condities identificeren waaronder dergelijke defecten bestaan.

Methodologie
De auteurs maken gebruik van een "half-ruimte gauging" procedure, een techniek waarbij een globale symmetrie slechts in één helft van de ruimtetijd ($\Gamma_+$) wordt gegauged, terwijl de andere helft ($\Gamma_-$) ongebaand blijft. De interface ($\gamma$) tussen deze regio's wordt een topologisch defect als de gegauged theorie op $\Gamma_+$ dual is aan de oorspronkelijke theorie op $\Gamma_-$.

De methodologie verloopt via verschillende technische stappen:

1. Dubbel Gegauged NLSM: De auteurs maken gebruik van de "gedubbelde" formulering van T-dualiteit voor NLSM's. Zij introduceren een target space $\hat{M}$ die een $T^{2d}$ bundel is over de basisruimte $N$, geconstrueerd door Lagrange-multiplier velden toe te voegen aan de gegauged actie. Dit maakt een geometrische afleiding van T-dualiteit mogelijk die globale topologische obstructies (zoals niet-triviale bundels en $H$-flux) transparant afhandelt.
2. Discrete Gauging: In plaats van de volledige continue isometrie-groep te gaugen, gaugen de auteurs een discrete subgroep $\prod Z_{p(m)} \subset U(1)^d$. Dit wordt geïmplementeerd door de Lagrange-multiplier term in de gedubbelde actie aan te passen om vlakke gaugevelden met $Z_p$ holonomieën af te dwingen.
3. Boundary Analyse: Een cruciaal technisch onderdeel is het behandelen van de wereldblad-boundary $\gamma$ geïntroduceerd door de half-ruimte splitsing. De auteurs analyseren zorgvuldig de boundary termen die vereist zijn om de gauge-invariantie van de WZ-term op een manifold met een boundary te behouden. Zij demonstreren dat de gauging procedure op $\Gamma_+$ een specifieke topologische boundary term genereert die gelokaliseerd is op $\gamma$, welke fungeert als een Topologische Kwantumveldentheorie (TQFT).
4. Zelf-Dualiteit Condities: Door de gaugevelden uit te integreren, leiden de auteurs de effectieve actie af voor de gegauged theorie. Vervolgens leggen zij condities op zodat de metriek en $H$-flux van de gegauged theorie op $\Gamma_+$ overeenkomen met die van de oorspronkelijke theorie op $\Gamma_-$ (tot gevolg van coördinaat-redefinities), waardoor zij de parameters identificeren waarvoor de interface een topologisch defect vormt binnen een enkele theorie.

Belangrijkste Bijdragen en Resultaten
Het artikel stelt het bestaan van niet-inverteerbare defecten vast in een brede klasse van NLSM's en biedt expliciete formules voor hun constructie:

• Gegeneraliseerde Zelf-Dualiteit Condities: De auteurs leiden de noodzakelijke en voldoende condities af waaronder een NLSM met een $U(1)^d$ isometrie een niet-inverteerbaar defect herbergt. Deze condities relateren de topologische data van het oorspronkelijke model aan de gegauged model:
  • Topologische Constraint: De Chern klassen ($F^m$) en $H$-klassen ($\tilde{F}^m$) van de oorspronkelijke en duale theorieën moeten voldoen aan $p^{(m)} F^m = \tilde{F}^m = \tilde{f}^m$. Dit impliceert een uitwisseling en schaling van topologische data door de orde van de gegauged subgroep.
  • Moduli Constraint: De gegeneraliseerde metriek moduli $E_{mn}$ moeten voldoen aan $E_{mn} = \frac{p^{(m)}}{2\pi} \frac{p^{(n)}}{2\pi} (E^{-1})_{mn}$. Dit generaliseert de zelf-duale radius conditie van de compacte boson naar willekeurige target spaces.
• Rol van de Boundary TQFT: De constructie onthult dat de niet-inverteerbaarheid van het defect voortkomt uit een 1-dimensionale BF-type TQFT die op de defect locus $\gamma$ gelokaliseerd is. De actie van deze TQFT is $S_\gamma = \frac{p}{2\pi} \int_\gamma X^m d\tilde{X}_m$. Deze term zorgt voor de correcte vergelijkingen van beweging over de interface en dicteert de Tambara-Yamagami fusieregels ($TY(Z_p)$) van het defect.
• Voorbeelden: De auteurs construeren expliciet deze defecten voor verschillende target spaces:
  • Sferen en Lensruimtes: Zij tonen aan dat $S^3$ (gezien als Hopf fibratie) en Lensruimtes dergelijke defecten herbergen wanneer specifieke relaties tussen de radius, $H$-flux en de gauging parameter $p$ worden voldaan.
  • Nilfolds: Zij demonstreren dat nilmanifolds (niet-triviale $S^1$ bundels over $T^2$) met een niet-nul $H$-flux dergelijke defecten kunnen herbergen, zelfs hoewel zij geen niet-contractibele 1-cycli bezitten.
  • WZW Modellen: Een belangrijk resultaat is de toepassing op Wess-Zumino-Witten (WZW) modellen. De auteurs vinden dat de zelf-dualiteit condities voor het gaugen van een $Z_p$ subgroep van de isometrie-symmetrie exact samenvallen met de kwantisatieconditie die vereist is voor de conformiteit (specifiek het niveau $\kappa$ van het WZW model) van het model. Bijgevolg bezitten $SU(N)_\kappa$ WZW modellen niet-inverteerbare defecten met $TY(Z_\kappa)$ fusie. De auteurs merken op dat voor $\kappa > 2$, deze defecten over het algemeen geen Verlinde lijnen zijn (zij communiceren niet met de volledige chirale algebra).

Betekenis en Claims
Het artikel claimt een systematische, microscopische afleiding te bieden van niet-inverteerbare symmetrieën in NLSM's die niet afhankelijk is van het feit of de theorie conform of rationeel is.

• Generaliteit: De constructie is toepasbaar op elke NLSM met een vrij acterende isometrie, ongeacht of de target space niet-triviale 1-cycli (winding modes) bezit of of de theorie conform is.
• Microscopische Oorsprong: Het werk benadrukt dat de niet-inverteerbare fusieregels voortkomen uit een specifieke topologische term (de BF-theorie) die gelokaliseerd is op het defect, welke natuurlijk voortvloeit uit de boundary termen in de half-ruimte gauging procedure.
• WZW Connectie: De identificatie van niet-inverteerbare defecten in WZW-modellen voor alle niveaus wordt gepresenteerd als een verrassend resultaat, dat de discrete gauging constructie direct koppelt aan de conforme kwantisatie van de koppelingsconstante.
• Beperkingen: De auteurs merken bescheiden op dat hoewel zij de defecten construeren, de expliciete actie van deze symmetrieën op lokale operatoren (order/disorder operatoren) en de implicaties voor Ward-identiteiten nog verder verkend moeten worden. Zij erkennen ook dat de constructie vereist dat de isometrie werkt zonder vaste punten (fixed points), een technische beperking die bepaalde geometrieën zoals even-dimensionale sferen uitsluit.

Samenvattend breidt het artikel het kader van niet-inverteerbare symmetrieën uit van eenvoudige vrije theorieën naar interagerende, topologisch niet-triviale NLSM's, waarbij het een verenigd geometrisch beeld biedt van hoe T-dualiteit en discrete gauging deze exotische symmetrieën genereren.