Pure spinor formalism and RNS formalism are related by a chain of equivalences constructed by introducing and integrating-out BRST quartets. This is known as B-RNS-GSS formalism. One of the steps can be understood as adding auxiliary fields to lift a strong homotopy action of the SUSY Lie superalgebra in the large Hilbert space to a strict action. We develop a general prescription for this ``strictification'' procedure, which can be applied for any strong homotopy action of a Lie superalgebra. We explain how it is related to the B-RNS-GSS formalism.
- Papier-ID: 2510.10400
- Titel: B-RNS-GSS formalism and L∞-actions
- Autor: Andrei Mikhailov (Instituto de Fisica Teorica, Universidade Estadual Paulista)
- Klassifizierung: hep-th (Hochenergiephysik - Theorie)
- Veröffentlichungsdatum: 12. Oktober 2025
- Papierlink: https://arxiv.org/abs/2510.10400
Der Pure-Spinor-Formalismus und der RNS-Formalismus sind durch eine Kette von Äquivalenzen verbunden, die durch die Einführung und Integration von BRST-Quartetten konstruiert werden. Dies ist als B-RNS-GSS-Formalismus bekannt. Einer der Schritte kann als Hinzufügen von Hilfsfeldern verstanden werden, um eine starke Homotopie-Wirkung der SUSY-Lie-Superalgebra im großen Hilbert-Raum zu einer strikten Wirkung zu erheben. Wir entwickeln eine allgemeine Vorschrift für dieses "Strikifizierungs"-Verfahren, das auf jede starke Homotopie-Wirkung einer Lie-Superalgebra angewendet werden kann. Wir erklären, wie es mit dem B-RNS-GSS-Formalismus zusammenhängt.
- Kernproblem: Diese Forschung zielt darauf ab, die Beziehung zwischen dem Pure-Spinor-Formalismus und dem RNS-Formalismus zu verstehen, insbesondere durch die durch den B-RNS-GSS-Formalismus etablierte Äquivalenzkette.
- Problemrelevanz:
- Die Supersymmetrie im Pure-Spinor-Formalismus ist geometrisch und entspricht Vektorfeldern auf der Zielraumzeit mit strikter Wirkung
- Der große Hilbert-Raum des RNS-Formalismus weist eine starke Homotopie-Wirkung der supersymmetrischen Lie-Superalgebra auf (L∞-Wirkung)
- Das Verständnis der Beziehung zwischen diesen beiden Formalismen ist für die Entwicklung der Superstring-Theorie entscheidend
- Einschränkungen bestehender Methoden:
- Die Arbeiten von Berkovits et al. 3 etablieren diese Beziehung, geben aber nur führende Ordnungsformeln in der θ-Entwicklung
- Es fehlt eine allgemeine Behandlung der "Strikifizierung" von L∞-Wirkungen
- Forschungsmotivation:
- Entwicklung eines allgemeinen "Strikifizierungs"-Verfahrens zur Umwandlung starker Homotopie-Wirkungen beliebiger Lie-Superalgebren in strikte Wirkungen
- Bereitstellung exakter Formeln für Ähnlichkeitstransformationen im B-RNS-GSS-Formalismus
- Theoretischer Rahmen: Entwicklung einer allgemeinen Behandlung der "Strikifizierung" von L∞-Wirkungen, anwendbar auf starke Homotopie-Wirkungen beliebiger Lie-Superalgebren
- Mathematische Werkzeuge: Konstruktion einer Ähnlichkeitstransformation F, die beweist, dass jede L∞-Wirkung einer strikten Wirkung auf einer größeren quasi-isomorphen Q-Mannigfaltigkeit äquivalent ist
- Konkrete Anwendungen: Anwendung der allgemeinen Theorie auf das B-RNS-GSS-Modell, Herleitung exakter Formeln für die Ähnlichkeitstransformation aus Berkovits' Arbeit 3
- Geometrische Interpretation: Bereitstellung einer geometrischen Interpretation von L∞-Wirkungen durch das ungerade Tangentialbündel ΠTG und Faserbündelstrukturen
Gegeben eine L∞-Wirkung der Lie-Superalgebra g auf einer Q-Mannigfaltigkeit (M,q0), konstruiere eine größere quasi-isomorphe Q-Mannigfaltigkeit (M^,q^0), auf der g eine strikte Wirkung hat, und die ursprüngliche L∞-Wirkung kann durch Homotopie-Transfer erhalten werden.
Die L∞-Wirkung wird durch das folgende nilpotente Vektorfeld definiert:
Q=21CaCbfabc∂Cc∂+q0+Caqa1+CaCbqab2+⋯
wobei q0,qa1,qab2,… Vektorfelder auf M sind.
Die erweiterte Q-Mannigfaltigkeit wird definiert als:
M^=G×Πg×M
Das nilpotente Vektorfeld darauf ist:
q^0=21CRaCRbfabc∂CRc∂+q0+CRa(qa1+ra)+CRaCRbqab2+⋯
wobei ra linksinvariante Vektorfelder auf der Gruppe G sind (infinitesimale Rechtsverschiebung).
Die Schlüssel-Ähnlichkeitstransformation F wird durch die folgende kontinuierliche Familie konstruiert:
C=−dtu+eadu−1e(1−t)adu−1CL+e−adu−1e−tadu−1CR
erfüllt die Randbedingungen:
- C∣t=0,dt=0=CL
- C∣t=1,dt=0=CR
Die Ähnlichkeitstransformation ist:
F=Pexp∫01dtA(t)
wobei A(t) durch die Nilpotenz-Bedingung Q2=0 bestimmt wird.
- Ungerade-Tangentialbündel-Methode: Verwendung des ungeraden Tangentialbündels ΠTG zur Kodierung von Gruppenwirkungen mit geometrischer Intuition
- Spektrale Geistertechnik: Einführung "spektraler" Geisterfelder CL als Kopplungskonstanten zur Verfolgung von Symmetrien
- BV-Formalismus: Behandlung des "Ausintegrations"-Verfahrens im Rahmen des BV-Formalismus für strengere Konstruktionen
- Relative Version: Betrachtung von Fällen, in denen eine Untergruppe H⊂G strikt wirkt, anwendbar auf praktische Stringtheorie-Anwendungen
Im B-RNS-GSS-Modell:
- M ist der RNS-Feldraum
- g=susy (zehn-dimensionale Supersymmetrie-Algebra)
- h wird durch Translationen erzeugt
Mit Koordinaten xm und θα zur Parametrisierung von G=SUSY sind die BRST-Geisterfelder:
Cα=dθαCm=dxm−(dθΓmθ)
Für das B-RNS-GSS-Modell hat die Ähnlichkeitstransformation die konkrete Form:
Cα=−dtθα+(1−t)CLα+tΛαCm=−dtxm+(1−t)CLm+2(1−t)2(θαΓαβmCLβ)+tCRm+2t2(θαΓαβmΛβ)
wobei:
A=−xmPm−θαe−ϕ/2Σα−θα(tΛβ+(1−t)CLβ)Γαβmξe−ϕψm
Diese Konstruktion bietet ein geometrisches Verständnis von L∞-Wirkungen:
- Jede L∞-Wirkung kann als "effektive Theorie" einer strikten Wirkung auf einem größeren Raum verstanden werden
- Das ungerade Tangentialbündel ΠTG bietet einen natürlichen geometrischen Rahmen
- RNS-Formalismus: Im großen Hilbert-Raum kann Supersymmetrie nur durch Einfügen nicht-integraler Vertex-Operatoren erzeugt werden
- Pure-Spinor-Formalismus: Supersymmetrie ist geometrisch und entspricht Vektorfeldern auf dem Zielraum
- Äquivalenz: Die Konstruktion dieses Papiers beschreibt präzise die Beziehung zwischen diesen beiden Formalismen
- Cattaneo et al. 1: Allgemeine Theorie der BV-Quantisierung
- Alexandrov et al. 2: Materialisierung von Supergeistern
- Berkovits 3: Etablierung der Beziehung zwischen Pure-Spinor- und RNS-Formalismus, aber nur mit führenden Ordnungsformeln
- Movshev und Schwarz 4: Supersymmetrische Verformungen maximal supersymmetrischer Eichtheorien
- Mehta und Zambon 6: Allgemeine Theorie von L∞-Algebra-Wirkungen
- Beweis, dass jede L∞-Wirkung einer Lie-Superalgebra durch Einführung von Hilfsvariablen "strikifiziert" werden kann
- Bereitstellung exakter Formeln für Ähnlichkeitstransformationen im B-RNS-GSS-Formalismus
- Etablierung einer quasi-isomorphen Beziehung zwischen L∞-Wirkungen und strikten Wirkungen
- Die Konstruktion erfordert Arbeit in einer formalen Nachbarschaft der Gruppenidentität
- Für unendlich-dimensionale Fälle (wie Stringtheorie) ist angemessene Vervollständigung erforderlich
- Strikte Behandlung des BV-Integrals erfordert verfeinertere Analysen
- Verallgemeinerung der Methode auf allgemeinere L∞-Algebren
- Untersuchung von Beziehungen zu anderen Stringtheorie-Formalismen
- Erkundung von Anwendungen in der Quantenfeldtheorie
- Theoretische Tiefe: Bereitstellung eines allgemeinen theoretischen Rahmens für die Strikifizierung von L∞-Wirkungen
- Mathematische Strenge: Verwendung moderner geometrischer und algebraischer Werkzeuge mit präziser und strenger Konstruktion
- Praktischer Wert: Bereitstellung konkreter Formeln im B-RNS-GSS-Modell, Ergänzung von Berkovits' Arbeit
- Geometrische Intuition: Klare geometrische Bilder durch ungerade Tangentialbündel und Faserbündelstrukturen
- Technische Hürde: Erfordert tiefe Kenntnisse in Differentialgeometrie, algebraischer Topologie und Stringtheorie
- Anwendungsbereich: Hauptsächlich auf Stringtheorie beschränkt, weitere Anwendungen noch zu erkunden
- Rechenkomplexität: Konkrete Berechnungen der Ähnlichkeitstransformation können erheblich komplex sein
- Theoretischer Beitrag: Bereitstellung wichtiger Werkzeuge zum Verständnis von Beziehungen zwischen verschiedenen Stringtheorie-Formalismen
- Methodologischer Wert: Das Strikifizierungsverfahren könnte in anderen physikalischen und mathematischen Problemen Anwendung finden
- Technischer Fortschritt: Förderung der technischen Entwicklung von L∞-Algebra-Anwendungen in der Physik
- Untersuchung der Äquivalenz verschiedener Stringtheorie-Formalismen
- BRST-Analyse in supersymmetrischer Quantenfeldtheorie
- Anwendungen von L∞-Algebren in der Physik
- Forschung zu Deformationsquantisierung und BV-Formalismus
Das Papier zitiert 17 wichtige Referenzen, die Kernarbeiten in BV-Quantisierung, Superstring-Theorie, L∞-Algebren und verwandten Bereichen abdecken und eine solide theoretische Grundlage für die Forschung bieten.