The Derived Pure Spinor Formalism as an Equivalence of Categories

TL;DR

This paper develops a derived category framework for the pure spinor superfield formalism, establishing an equivalence of dg-categories that deepens understanding of supermultiplets and their invariants.

Contribution

It introduces a derived pure spinor formalism as a dg-functor and proves an equivalence of dg-categories with supermultiplets, linking to Koszul duality.

Findings

Established an equivalence of dg-categories between supermultiplets and equivariant modules.

Constructed a derived pure spinor functor as a dg-functor and proved it is a quasi-inverse.

Provided explicit examples illustrating the derived formalism and its relation to the underived case.

Abstract

We construct a derived generalization of the pure spinor superfield formalism and prove that it exhibits an equivalence of dg-categories between multiplets for a supertranslation algebra and equivariant modules over its Chevalley-Eilenberg cochains. This equivalence is closely linked to Koszul duality for the supertranslation algebra. After introducing and describing the category of supermultiplets, we define the derived pure spinor construction explicitly as a dg-functor. We then show that the functor that takes the derived supertranslation invariants of any supermultiplet is a quasi-inverse to the pure spinor construction, using an explicit calculation. Finally, we illustrate our findings with examples and use insights from the derived formalism to answer some questions regarding the ordinary (underived) pure spinor superfield formalism.