Table of Contents
Fetching ...

Supersymmetric Deformations of Maximally Supersymmetric Gauge Theories

M. Movshev, A. Schwarz

TL;DR

This work develops a comprehensive homological-algebraic framework for classifying and constructing supersymmetric deformations of maximally supersymmetric gauge theories, specifically ten-dimensional SYM and its dimensional reductions. By employing $L_{\infty}$/$A_{\infty}$ formalisms, Koszul duality, and Hochschild/Lie cohomology, the authors reduce deformation classifications to computable algebraic invariants, yielding explicit Spin$(10)$-invariant deformation classes, including the notable $\delta\mathcal{L}_{16}$ and related higher-order terms. The BV formalism provides a geometric perspective, relating deformations to $Q$-manifolds and $\mathfrak{g}$-equivariant cohomology, and enabling the extension of infinitesimal deformations to formal $\alpha'$-series deformations. Together, these results illuminate how stringy corrections to D-brane actions emerge from algebraic deformations of maximally supersymmetric gauge theories and establish a robust toolkit for analyzing such deformations across dimensions. The approach is deeply connected to pure spinor methods and offers a principled path to understanding higher-derivative SUSY completions in a manner compatible with gauge symmetry and Poincaré invariance.

Abstract

We study supersymmetric and super Poincaré invariant deformations of ten-dimensional super Yang-Mills theory and of its dimensional reductions. We describe all infinitesimal super Poincaré invariant deformations of equations of motion of ten-dimensional super Yang-Mills theory and its reduction to a point; we discuss the extension of them to formal deformations. Our methods are based on homological algebra, in particular, on the theory of L-infinity and A-infinity algebras. The exposition of this theory as well as of some basic facts about Lie algebra homology and Hochschild homology is given in appendices.

Supersymmetric Deformations of Maximally Supersymmetric Gauge Theories

TL;DR

This work develops a comprehensive homological-algebraic framework for classifying and constructing supersymmetric deformations of maximally supersymmetric gauge theories, specifically ten-dimensional SYM and its dimensional reductions. By employing / formalisms, Koszul duality, and Hochschild/Lie cohomology, the authors reduce deformation classifications to computable algebraic invariants, yielding explicit Spin-invariant deformation classes, including the notable and related higher-order terms. The BV formalism provides a geometric perspective, relating deformations to -manifolds and -equivariant cohomology, and enabling the extension of infinitesimal deformations to formal -series deformations. Together, these results illuminate how stringy corrections to D-brane actions emerge from algebraic deformations of maximally supersymmetric gauge theories and establish a robust toolkit for analyzing such deformations across dimensions. The approach is deeply connected to pure spinor methods and offers a principled path to understanding higher-derivative SUSY completions in a manner compatible with gauge symmetry and Poincaré invariance.

Abstract

We study supersymmetric and super Poincaré invariant deformations of ten-dimensional super Yang-Mills theory and of its dimensional reductions. We describe all infinitesimal super Poincaré invariant deformations of equations of motion of ten-dimensional super Yang-Mills theory and its reduction to a point; we discuss the extension of them to formal deformations. Our methods are based on homological algebra, in particular, on the theory of L-infinity and A-infinity algebras. The exposition of this theory as well as of some basic facts about Lie algebra homology and Hochschild homology is given in appendices.

Paper Structure

This paper contains 20 sections, 36 theorems, 270 equations.

Key Result

Proposition 1

The algebra $YM$ is isomorphic to $\bigoplus_{k\geq 2}L^k$. The obvious map $\bigoplus_{k\geq 2}L^k\rightarrow (L +S,d)$ is a quasi-isomorphism. Similarly $U(YM)$ is quasi-isomorphic to $B^!_0$.

Theorems & Definitions (38)

  • Proposition 1
  • Proposition 2
  • Proposition 3
  • Proposition 4
  • Corollary 5
  • Corollary 6
  • Proposition 7
  • Corollary 8
  • Theorem 9
  • Theorem 10
  • ...and 28 more