B-RNS-GSS formalism and $L_{\infty}$-actions

Basic Information

• Paper ID: 2510.10400
• Title: B-RNS-GSS formalism and $L_{\infty}$-actions
• Author: Andrei Mikhailov (Instituto de Fisica Teorica, Universidade Estadual Paulista)
• Classification: hep-th (High Energy Physics - Theory)
• Publication Date: October 12, 2025
• Paper Link: https://arxiv.org/abs/2510.10400

Abstract

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.

Research Background and Motivation

1. Core Problem: This research aims to understand the relationship between pure spinor formalism and RNS formalism, particularly the chain of equivalences established through B-RNS-GSS formalism.
2. Problem Significance:
   • Supersymmetry in pure spinor formalism is geometric, corresponding to vector fields on target spacetime with strict action
   • The large Hilbert space of RNS formalism exhibits strong homotopy action ($L_{\infty}$-action) of the supersymmetric Lie superalgebra
   • Understanding the relationship between these two formalisms is crucial for the development of superstring theory
3. Limitations of Existing Methods:
   • Work by Berkovits et al. 3 established this relationship but only provided leading-order formulas in θ-expansion
   • Lack of a general treatment for "strictifying" $L_{\infty}$-actions
4. Research Motivation:
   • Develop a general "strictification" procedure to convert strong homotopy actions of arbitrary Lie superalgebras into strict actions
   • Provide exact formulas for similarity transformations in B-RNS-GSS formalism

Core Contributions

1. Theoretical Framework: Develops a general treatment for "strictifying" $L_{\infty}$-actions applicable to strong homotopy actions of arbitrary Lie superalgebras
2. Mathematical Tools: Constructs similarity transformation $F$, proving that any $L_{\infty}$-action is equivalent to a strict action on a larger quasi-isomorphic Q-manifold
3. Concrete Applications: Applies the general theory to the B-RNS-GSS model, deriving exact formulas for the similarity transformation in Berkovits' work 3
4. Geometric Interpretation: Provides geometric interpretation of $L_{\infty}$-actions through odd tangent bundles $\Pi TG$ and fiber bundle structures

Detailed Methodology

Task Definition

Given an $L_{\infty}$-action of Lie superalgebra $g$ on Q-manifold $(M, q_0)$, construct a larger quasi-isomorphic Q-manifold $(\hat{M}, \hat{q}_0)$ such that $g$ has a strict action on it, and the original $L_{\infty}$-action can be recovered through homotopy transfer.

Core Mathematical Structures

1. Definition of $L_{\infty}$-action

The $L_{\infty}$-action is defined by the following nilpotent vector field: $Q = \frac{1}{2}C^aC^bf_{ab}^c \frac{\partial}{\partial C^c} + q_0 + C^aq_a^1 + C^aC^bq_{ab}^2 + \cdots$

where $q_0, q_a^1, q_{ab}^2, \ldots$ are vector fields on $M$.

2. Strictification Construction

The extended Q-manifold is defined as: $\hat{M} = G \times \Pi g \times M$

The nilpotent vector field on it is: $\hat{q}_0 = \frac{1}{2}C_R^aC_R^bf_{ab}^c \frac{\partial}{\partial C_R^c} + q_0 + C_R^a(q_a^1 + r_a) + C_R^aC_R^bq_{ab}^2 + \cdots$

where $r_a$ are left-invariant vector fields on group $G$ (infinitesimal right translations).

3. Similarity Transformation

The key similarity transformation $F$ is constructed through a continuous family: $C = -dt u + \frac{e^{(1-t)\text{ad}u} - 1}{e^{\text{ad}u} - 1}C_L + \frac{e^{-t\text{ad}u} - 1}{e^{-\text{ad}u} - 1}C_R$

satisfying boundary conditions:

• $C|_{t=0,dt=0} = C_L$
• $C|_{t=1,dt=0} = C_R$

The similarity transformation is: $F = P\exp\int_0^1 dt A(t)$

where $A(t)$ is determined by the nilpotency condition $Q^2 = 0$.

Technical Innovations

1. Odd Tangent Bundle Method: Uses odd tangent bundle $\Pi TG$ to encode group actions, providing geometric intuition
2. Spectator Ghost Field Technique: Introduces "spectator" ghost fields $C_L$ as coupling constants to track symmetries
3. BV Formalism: Handles the "integration-out" procedure within the BV formalism framework, making the construction more rigorous
4. Relative Version: Considers cases where subgroup $H \subset G$ acts strictly, applicable to practical string theory applications

Applications in the B-RNS-GSS Model

Model Setup

In the B-RNS-GSS model:

• $M$ is the RNS field space
• $g = \text{susy}$ (ten-dimensional supersymmetry algebra)
• $h$ is generated by translations

BRST Complex

Using coordinates $x^m$ and $\theta^{\alpha}$ parametrizing $G = \text{SUSY}$, the BRST ghost fields are: $C^{\alpha} = d\theta^{\alpha}$$C^m = dx^m - (d\theta \Gamma^m \theta)$

Similarity Transformation Formula

For the B-RNS-GSS model, the explicit form of the similarity transformation is: $C^{\alpha} = -dt\theta^{\alpha} + (1-t)C_L^{\alpha} + t\Lambda^{\alpha}$$C^m = -dtx^m + (1-t)C_L^m + \frac{(1-t)^2}{2}(\theta^{\alpha}\Gamma^m_{\alpha\beta}C_L^{\beta}) + tC_R^m + \frac{t^2}{2}(\theta^{\alpha}\Gamma^m_{\alpha\beta}\Lambda^{\beta})$

where: $A = -x^mP_m - \theta^{\alpha}e^{-\phi/2}\Sigma^{\alpha} - \theta^{\alpha}(t\Lambda^{\beta} + (1-t)C_L^{\beta})\Gamma^m_{\alpha\beta}\xi e^{-\phi}\psi^m$

Theoretical Significance and Applications

Geometric Interpretation

This construction provides geometric understanding of $L_{\infty}$-actions:

• Any $L_{\infty}$-action can be understood as an "effective theory" of a strict action on a larger space
• Odd tangent bundle $\Pi TG$ provides a natural geometric framework

String Theory Applications

1. RNS Formalism: In the large Hilbert space, supersymmetry can only be generated through insertion of non-integrated vertex operators
2. Pure Spinor Formalism: Supersymmetry is geometric, corresponding to vector fields on target space
3. Equivalence: This paper's construction precisely describes the relationship between these two formalisms

Related Work

1. Cattaneo et al. 1: General theory of BV quantization
2. Alexandrov et al. 2: Materialization of super ghosts
3. Berkovits 3: Established the relationship between pure spinor and RNS formalisms, but only provided leading-order formulas
4. Movshev and Schwarz 4: Supersymmetric deformations of maximally supersymmetric gauge theories
5. Mehta and Zambon 6: General theory of $L_{\infty}$-algebra actions

Conclusions and Discussion

Main Conclusions

1. Proves that any $L_{\infty}$-action of a Lie superalgebra can be "strictified" by introducing auxiliary variables
2. Provides exact formulas for similarity transformations in B-RNS-GSS formalism
3. Establishes quasi-isomorphic relationships between $L_{\infty}$-actions and strict actions

Limitations

1. The construction requires working in a formal neighborhood of the group identity
2. For infinite-dimensional cases (such as string theory), appropriate completions are needed
3. Rigorous treatment of BV integration requires more refined analysis

Future Directions

1. Generalize the method to more general $L_{\infty}$-algebras
2. Study relationships with other string theory formalisms
3. Explore applications in quantum field theory

In-Depth Evaluation

Strengths

1. Theoretical Depth: Provides a general theoretical framework for strictification of $L_{\infty}$-actions
2. Mathematical Rigor: Uses modern geometric and algebraic tools with precise and rigorous construction
3. Practical Value: Provides concrete formulas in the B-RNS-GSS model, supplementing Berkovits' work
4. Geometric Intuition: Offers clear geometric picture through odd tangent bundles and fiber bundles

Weaknesses

1. Technical Threshold: Requires deep background in differential geometry, algebraic topology, and string theory
2. Application Scope: Primarily limited to string theory; other applications remain to be explored
3. Computational Complexity: Explicit calculations of similarity transformations can be quite involved

Impact

1. Theoretical Contribution: Provides important tools for understanding relationships between different string theory formalisms
2. Methodological Value: The strictification procedure may have applications in other physics and mathematics problems
3. Technical Advancement: Advances the technical development of $L_{\infty}$-algebra applications in physics

Applicable Scenarios

1. Study of equivalence between different formalisms in string theory
2. BRST analysis of supersymmetric quantum field theory
3. Applications of $L_{\infty}$-algebras in physics
4. Research on deformation quantization and BV formalism

References

The paper cites 17 important references covering core works in BV quantization, superstring theory, $L_{\infty}$-algebras and related fields, providing a solid theoretical foundation for the research.