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

Technische Zusammenfassung: Nicht-invertierbare Symmetrien von zweidimensionalen Nicht-linearen Sigma-Modellen

Problemstellung
Die Arbeit befasst sich mit der Konstruktion nicht-invertierbarer Symmetrien in zweidimensionalen Nicht-linearen Sigma-Modellen (NLSMs) mit Wess-Zumino-Termen (WZ-Termen). Während nicht-invertierbare Symmetrien, die durch topologische Defekte erzeugt werden, in konformen Feldtheorien (CFTs) – insbesondere für den freien kompakten Boson mittels Halbraum-Gauging – gut untersucht sind, blieb deren Existenz und explizite Konstruktion in allgemeinen NLSMs – insbesondere solchen, die keine nicht-trivialen 1-Zyklen oder konforme Invarianz besitzen – eine offene Frage. Die Autoren zielen darauf ab, die bekannte Konstruktion von Selbst-Dualitäts-Defekten (die entstehen, wenn eine Theorie unter einer diskreten Gauß-Transformation gefolgt von einer Dualitätstransformation invariant ist) auf eine breite Klasse von NLSMs mit WZ-Termen zu verallgemeinern und die präzisen Bedingungen zu identifizieren, unter denen solche Defekte existieren.

Methodik
Die Autoren verwenden ein „Halbraum-Gauging“-Verfahren (half-space gauging), eine Technik, bei der eine globale Symmetrie nur in einer Hälfte der Raumzeit-Mannigfaltigkeit ($\Gamma_+$) gaußförmig behandelt wird, während die andere Hälfte ($\Gamma_-$) ungewaußt bleibt. Die Schnittstelle ($\gamma$) zwischen diesen Regionen wird zu einem topologischen Defekt, wenn die gaußförmige Theorie auf $\Gamma_+$ dual zur ursprünglichen Theorie auf $\Gamma_-$ ist.

Die Methodik umfasst mehrere technische Schritte:

1. Verdoppeltes gaußförmiges NLSM: Die Autoren nutzen die „verdoppelte“ Formulierung der T-Dualität für NLSMs. Sie führen einen Zielraum $\hat{M}$ ein, der ein $T^{2d}$-Bündel über dem Basismannigfaltigkeit $N$ ist, konstruiert durch das Hinzufügen von Lagrange-Multiplikator-Feldern zum gaußförmigen Wirkungsgrad. Dies ermöglicht eine geometrische Ableitung der T-Dualität, welche die globalen topologischen Hindernisse (wie nicht-triviale Bündel und $H$-Fluss) transparent behandelt.
2. Diskretes Gauging: Anstatt der vollen kontinuierlichen Isometriegruppe wird eine diskrete Untergruppe $\prod Z_{p(m)} \subset U(1)^d$ gaußförmig behandelt. Dies wird durch Modifikation des Lagrange-Multiplikator-Terms in der verdoppelten Wirkung implementiert, um flache Gauge-Felder mit $Z_p$-Holonomien zu erzwingen.
3. Randanalyse: Eine entscheidende technische Komponente ist die Handhabung des Weltblatt-Randes $\gamma$, der durch die Halbraum-Aufteilung eingeführt wird. Die Autoren analysieren sorgfältig die Randterme, die erforderlich sind, um die Gauge-Invarianz des WZ-Terms auf einer Mannigfaltigkeit mit Rand aufrechtzuerhalten. Sie zeigen, dass das Gauging-Verfahren auf $\Gamma_+$ einen spezifischen topologischen Randterm erzeugt, der auf $\gamma$ lokalisiert ist und als Topologische Quantenfeldtheorie (TQFT) fungiert.
4. Selbst-Dualitäts-Bedingungen: Durch das Herausintegrieren der Gauge-Felder leiten die Autoren den effektiven Wirkungsgrad für die gaußförmige Theorie ab. Sie legen dann Bedingungen fest, sodass die Metrik und der $H$-Fluss der gaußförmigen Theorie mit denen der ursprünglichen Theorie auf $\Gamma_-$ übereinstimmen (bis auf Koordinatenumdefinitionen), wodurch sie die Parameter identifizieren, für die die Schnittstelle ein topologischer Defekt innerhalb einer einzigen Theorie ist.

Zentrale Beiträge und Ergebnisse
Die Arbeit etabliert die Existenz nicht-invertierbarer Defekte in einer weiten Klasse von NLSMs und liefert explizite Formeln für deren Konstruktion:

• Generalisierte Selbst-Dualitäts-Bedingungen: Die Autoren leiten die notwendigen und hinreichenden Bedingungen ab, unter denen ein NLSM mit einer $U(1)^d$-Isometrie einen nicht-invertierbaren Defekt beherbergt. Diese Bedingungen setzen die topologischen Daten der ursprünglichen Modelle in Beziehung zur gaußförmigen Theorie:
  • Topologische Einschränkung: Die Chern-Klassen ($F^m$) und $H$-Klassen ($\tilde{F}^m$) der ursprünglichen und der dualen Theorien müssen $p^{(m)} F^m = \tilde{F}^m = \tilde{f}^m$ erfüllen. Dies impliziert einen Austausch und eine Skalierung der topologischen Daten durch die Ordnung der gaußförmigen Untergruppe.
  • Moduli-Einschränkung: Die generalisierten Metrik-Moduli $E_{mn}$ müssen die Bedingung $E_{mn} = \frac{p^{(m)}}{2\pi} \frac{p^{(n)}}{2\pi} (E^{-1})_{mn}$ erfüllen. Dies generalisiert die selbst-duale Radius-Bedingung des kompakten Bosons auf beliebige Zielräume.
• Rolle der Rand-TQFT: Die Konstruktion zeigt, dass die Nicht-Invertierbarkeit des Defekts aus einer eindimensionalen BF-Typ TQFT resultiert, die auf dem Defekt-Ort $\gamma$ lokalisiert ist. Der Wirkungsgrad dieser TQFT ist $S_\gamma = \frac{p}{2\pi} \int_\gamma X^m d\tilde{X}_m$. Dieser Term stellt die korrekten Bewegungsgleichungen über die Schnittstelle sicher und bestimmt die Tambara-Yamagami-Fusionsregeln ($TY(Z_p)$) des Defekts.
• Beispiele: Die Autoren konstruieren diese Defekte explizit für verschiedene Zielräume:
  • Sphären und Lens-Räume: Sie zeigen, dass $S^3$ (betrachtet als Hopf-Fibratierung) und Lens-Räume solche Defekte zulassen, wenn spezifische Beziehungen zwischen Radius, $H$-Fluss und dem Gauging-Parameter $p$ erfüllt sind.
  • Nilfalten (Nilfolds): Sie demonstrieren, dass Nilmannigfaltigkeiten (nicht-triviale $S^1$-Bündel über $T^2$) mit nicht-null $H$-Fluss solche Defekte beherbergen können, obwohl sie keine nicht-kontrahierbaren 1-Zyklen besitzen.
  • WZW-Modelle: Ein bedeutendes Ergebnis ist die Anwendung auf Wess-Zumino-Witten (WZW)-Modelle. Die Autoren stellen fest, dass die Selbst-Dualitäts-Bedingungen für das Gauging einer $Z_p$-Isometrie exakt mit der Quantisierungsvoraussetzung zusammenfallen, die für die Konformität des Modells (speziell das Level $\kappa$ des WZW-Modells) erforderlich ist. Folglich besitzen $SU(N)_\kappa$ WZW-Modelle nicht-invertierbare Defekte mit $TY(Z_\kappa)$-Fusion. Die Autoren merken an, dass diese Defekte für $\kappa > 2$ im Allgemeinen keine Verlinde-Linien sind (sie kommutieren nicht mit der vollen chiralen Algebra).

Bedeutung und Ansprüche
Die Arbeit beansprucht, eine systematische, mikroskopische Ableitung nicht-invertierbarer Symmetrien in NLSMs zu liefern, die nicht darauf angewiesen ist, dass die Theorie konform oder rational ist.

• Generalität: Die Konstruktion gilt für jedes NLSM mit einer frei wirkenden Isometrie, unabhängig davon, ob der Zielraum nicht-kontrahierbare 1-Zyklen (Winding-Modi) besitzt oder ob die Theorie konform ist.
• Mikroskopischer Ursprung: Die Arbeit hebt hervor, dass die nicht-invertierbaren Fusionsregeln aus einem spezifischen topologischen Term (der BF-Theorie) resultieren, der auf dem Defekt lokalisiert ist und sich natürlich aus den Randtermen des Halbraum-Gauging-Verfahrens ergibt.
• WZW-Verbindung: Die Identifizierung nicht-invertierbarer Defekte in WZW-Modellen für alle Level wird als überraschendes Ergebnis präsentiert, welches die diskrete Gauging-Konstruktion direkt mit der konformen Quantisierung der Kopplung verknüpft.
• Einschränkungen: Die Autoren merken bescheiden an, dass sie zwar die Defekte konstruieren, aber die explizite Wirkung dieser Symmetrien auf lokale Operatoren (Ordnungs-/Unordnungsoperatoren) und deren Implikationen für Ward-Identitäten noch weiter untersucht werden müssen. Sie räumen zudem ein, dass die Konstruktion voraussetzt, dass die Isometrie ohne Fixpunkte wirkt, was eine technische Einschränkung darstellt, die bestimmte Geometrien wie geradzahlige Sphären ausschließt.

Zusammenfassend erweitert das Paper den Rahmen nicht-invertierbarer Symmetrien von einfachen freien Theorien auf wechselwirkende, topologisch nicht-triviale NLSMs und bietet ein vereinheitlichtes geometrisches Bild davon, wie T-Dualität und diskretes Gauging exotische Symmetrien erzeugen.