BV construction of SUSY vertex algebras from SUSY factorization algebras

This paper establishes a construction of $N=1$ supersymmetric vertex algebras from supersymmetric factorization algebras on super Riemann surfaces, demonstrating how the holomorphic sigma model in the BV formalism yields the chiral de Rham complex and its higher supersymmetric enhancements for Ricci-flat Kähler and hyperkähler targets.

The Gist

Imagine you are trying to understand the rules of a very complex, invisible game played on a special kind of map. This map isn't just a flat sheet of paper; it has "hidden" dimensions that are invisible to the naked eye but crucial for the game's physics. This is the world of Supersymmetry (SUSY).

This paper is like a translator's guide. It builds a bridge between two different ways of describing this game:

1. The "Local" View (Factorization Algebras): Looking at the game piece-by-piece, in tiny neighborhoods, and seeing how they fit together.
2. The "Global" View (Vertex Algebras): Looking at the whole game at once, describing the rules that govern how pieces interact across the entire board.

Here is a breakdown of what the author, Shintarou Yanagida, achieves, using simple analogies.

1. The Big Picture: Connecting Two Languages

Think of Factorization Algebras as a set of instructions for building a Lego castle. You have instructions for how to snap two bricks together in a small area. If you have these instructions for every possible small area on your table, you can build the whole castle. This is the "local-to-global" approach.

Think of Vertex Algebras as the final rulebook of the castle. It tells you exactly how every single brick interacts with every other brick, no matter how far apart they are.

The author's main achievement is creating a translation machine. He proves that if you have a specific type of "Lego instruction set" (a SUSY Factorization Algebra) that follows certain symmetry rules, you can automatically translate it into a "rulebook" (a SUSY Vertex Algebra). This is the "Extraction Theorem." It's like saying, "If your local building instructions are perfectly consistent and symmetric, the final global rulebook is guaranteed to exist and be mathematically sound."

2. The Test Case: The "Free" Game (Linear Target)

To prove his translation machine works, the author first tests it on the simplest possible game: a Linear Target.

• The Analogy: Imagine a game played on a perfectly flat, infinite sheet of paper (a flat plane). There are no hills, valleys, or curves.
• The Result: When he applies his translation machine to this flat game, it produces a known, famous rulebook called the free bc-βγ system.
• Why it matters: This system is the mathematical foundation for something called the Chiral de Rham complex. Think of this as the "DNA" of a specific type of quantum field theory. By recovering this known result, the author proves his new method is correct.

3. The Harder Challenge: The "Curved" Game (Non-Linear Target)

Next, the author tackles a much harder game: playing on a Curved Target.

• The Analogy: Instead of a flat sheet, imagine playing on a sphere, a donut, or a complex, bumpy landscape. The rules of the game change depending on where you are because the ground curves.
• The Problem: In a curved world, you can't just write one single rulebook for the whole map. You have to write a rulebook for every small neighborhood (chart) and then figure out how to stitch them together without creating tears or contradictions.
• The Solution: The author shows that his "Lego instructions" (the local factorization algebras) can be stitched together perfectly across the curved landscape.
• The Discovery: When he stitches them all together and translates them into the global rulebook, the result is exactly the Chiral de Rham complex for that curved shape. This confirms that his method works not just for flat maps, but for complex, curved geometries too.

4. The Special Cases: When the Landscape is "Perfect"

Finally, the author looks at two very special types of landscapes that physicists love: Ricci-flat Kähler and Hyperkähler manifolds.

• The Analogy: Imagine a landscape that is so perfectly balanced that it has no "friction" or "curvature stress" in a specific mathematical sense. It's like a perfectly smooth, frictionless surface.
• The Result: On these special, "perfect" landscapes, the game gains extra superpowers.
  • If the landscape is Ricci-flat Kähler, the game gains N=2 supersymmetry. This is like the game suddenly having a second set of hidden rules that make it more powerful.
  • If the landscape is Hyperkähler, the game gains N=4 supersymmetry. This is like unlocking a "God mode" with even more hidden symmetries.
• The Significance: The author proves that these extra powers aren't just magic tricks added to the final rulebook; they actually emerge naturally from the "Lego instructions" (the factorization algebra) when the landscape is perfect. He lifts these structures from the final result back to the local building blocks.

Summary

In short, this paper builds a universal translator. It takes a modern, local way of describing quantum physics (Factorization Algebras) and converts it into a classic, global way of describing it (Vertex Algebras).

1. It proves the translator works on flat ground.
2. It proves the translator works on curved ground, recovering a famous mathematical object (the Chiral de Rham complex).
3. It shows that on "perfectly balanced" landscapes, the translator naturally unlocks higher levels of symmetry (N=2 and N=4), confirming that these complex structures are deeply rooted in the local geometry of the universe.

The paper is a theoretical construction project; it builds the bridge and proves it holds weight, but it does not claim to use this bridge to cure diseases or build new technology. It is purely about understanding the mathematical architecture of the universe.

Technical Summary

Technical Summary: BV Construction of SUSY Vertex Algebras from SUSY Factorization Algebras

Problem Statement
The paper addresses the systematic construction of $N=1$ supersymmetric (SUSY) vertex algebras from supersymmetric enhancements of Costello–Gwilliam (CG) factorization algebras. While the correspondence between holomorphic factorization algebras on the complex plane and vertex algebras was established by Costello and Gwilliam [CG17], and the algebraic structures of SUSY vertex algebras were developed by Heluani and Kac [HK07], a rigorous link between SUSY factorization algebras and SUSY vertex algebras within the framework of supergeometry was lacking. The specific challenge involves adapting the local-to-global formalism of factorization algebras to super Riemann surfaces (SUSY curves) to recover known physical models, such as the chiral de Rham complex, and their supersymmetric enhancements.

Methodology
The author employs the Batalin–Vilkovisky (BV) formalism combined with the Costello–Gwilliam framework for quantum field theory. The methodology proceeds through the following steps:

1. Definition of SUSY Factorization Algebras: The paper introduces the category of embedded SUSY disks, $\text{Disks}^{\text{SUSY}}(X)$, on an $N=1$ SUSY curve $X$. A SUSY prefactorization algebra is defined as a symmetric lax monoidal functor from this category. By imposing the Weiss descent condition, the notion of a SUSY factorization algebra is established.
2. Symmetry Conditions: To extract algebraic structures, the author imposes specific conditions on the factorization algebra: $S^1$-equivariance, holomorphic super-translation invariance, and "disk independence" (quasi-isomorphism under inclusion of disks). These conditions are formulated using a dg Lie superalgebra $\mathfrak{t}^{\text{SUSY}}_{\text{hol}, S^1}$ encoding the superconformal geometry.
3. The Extraction Theorem: The core theoretical tool is a SUSY analogue of the Costello–Gwilliam extraction theorem. The author proves that the cohomology of observables on a small SUSY disk, under the aforementioned conditions, carries a canonical structure of an $N=1$ SUSY vertex algebra. This defines an "extraction functor" from SUSY factorization algebras to SUSY vertex algebras.
4. Application to Sigma Models: The theory is applied to the holomorphic sigma model with an $N=1$ source.
   • Linear Target: The model is formulated using superfields on a linear target $\mathbb{C}^n$. The classical observables form a SUSY Poisson factorization algebra. Upon BV quantization, the resulting quantum observables yield a SUSY vertex algebra identified with the free $bc$-$\beta\gamma$ system.
   • Non-linear Target: For a general complex manifold $X$, local factorization algebras are constructed on coordinate charts modeled on the free theory. The paper analyzes the descent of these algebras under holomorphic coordinate changes, showing that the resulting global sheaf of SUSY vertex algebras coincides with the chiral de Rham complex ($\mathcal{C}d\mathcal{R}_X$).
5. Geometric Enhancements: The paper investigates targets with special geometric structures. It demonstrates that if the target $X$ is Ricci-flat Kähler or hyperkähler, the BV theory admits additional local currents. These currents generate $N=2$ and $N=4$ SUSY vertex algebras, respectively, lifting the structures previously described by Ben-Zvi–Heluani–Szczesny [BHS08] to the level of factorization algebras.

Key Contributions and Results

• Theoretical Framework: The paper establishes a rigorous "extraction functor" (Theorem 1.10) that constructs $N=1$ SUSY vertex algebras from SUSY factorization algebras satisfying specific symmetry and locality conditions. It also provides a Poisson analogue (Theorem 1.14) for classical observables.
• Recovery of the Chiral de Rham Complex: By quantizing the holomorphic sigma model with a general complex target, the author proves (Theorem 3.3) that the resulting sheaf of SUSY vertex algebras is canonically isomorphic to the chiral de Rham complex of the target manifold. This reinterprets the construction of Malikov–Schechtman–Vaintrob [MSV99] and its SUSY refinement [BHS08] through the lens of factorization algebras.
• Supersymmetric Enhancements:
  • For Ricci-flat Kähler targets, the extracted fields satisfy $N=2$ superconformal relations (Theorem 4.3).
  • For hyperkähler targets, the extracted fields satisfy small $N=4$ superconformal relations (Theorem 4.5).
  • These results lift the geometric enhancements of the chiral de Rham complex to the level of SUSY factorization algebras, showing that the additional currents arise naturally from the BV formalism when the target metric is Ricci-flat.
• Explicit OPEs: The paper explicitly derives the Operator Product Expansions (OPEs) and $\Lambda$-brackets for the free $bc$-$\beta\gamma$ system (Corollary 2.6) and demonstrates how the singular parts of the propagator in the BV quantization correspond to the standard free-field realization.

Significance and Claims
The paper claims to establish a systematic link between the geometric/local-to-global formalism of Costello–Gwilliam factorization algebras and the algebraic structures of SUSY vertex algebras. Its primary significance lies in:

1. Unification: It unifies the construction of the chiral de Rham complex with the BV quantization of the holomorphic sigma model, showing that the former is the "vertex-algebra shadow" of the latter.
2. Extension to Supergeometry: It successfully extends the extraction theorem to the setting of super Riemann surfaces, incorporating odd directions and superconformal symmetries.
3. Lifting Structures: It lifts the $N=2$ and $N=4$ supersymmetric enhancements of the chiral de Rham complex (previously defined at the level of vertex algebras) to the level of SUSY factorization algebras, providing a more fundamental geometric origin for these structures via the Ricci-flatness of the target metric.

The work does not propose new experimental applications or future physical models but rather clarifies the mathematical relationship between existing frameworks in conformal field theory and supergeometry.