Constructions of L∞ Algebras and Their Field Theory Realizations

Abstract

We construct L∞ algebras for general “initial data” given by a vector space equipped with an antisymmetric bracket not necessarily satisfying the Jacobi identity. We prove that any such bracket can be extended to a 2-term L∞ algebra on a graded vector space of twice the dimension, with the 3-bracket being related to the Jacobiator. While these L∞ algebras always exist, they generally do not realize a nontrivial symmetry in a field theory. In order to define L∞ algebras with genuine field theory realizations, we prove the significantly more general theorem that if the Jacobiator takes values in the image of any linear map that defines an ideal there is a 3-term L∞ algebra with a generally nontrivial 4-bracket. We discuss special cases such as the commutator algebra of octonions, its contraction to the “R-flux algebra,” and the Courant algebroid.