nLab
super L-infinity algebra

Context

Supergeometry

\infty-Lie theory

∞-Lie theory (higher geometry)

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

Examples

\infty-Lie groupoids

\infty-Lie groups

\infty-Lie algebroids

\infty-Lie algebras

Contents

Idea

A super L L_\infty-algebra is an L-∞ algebra in the context of superalgebra: the higher category theoretical/homotopy theoretical version of a super Lie algebra. For more background see at geometry of physics -- superalgebra.

In the supergravity literature the formal dual of super L L_\infty-algebras of finite type came to be known as “FDA”s (see remark 2 below), a decade before plain L-∞ algebras were discussed in the mathematical literature. The key example in this context are extended super Minkowski spacetimes, which are super L-∞ algebras obtained by iterated higher central extension from the super Minkowski spacetime super Lie algebra. The super-L-∞ algebra cohomology of these (called “tau-cohomology” in the physics literature) turns out to classify super p-branes and serves as a tool for the construction of supergravity theories in the D'Auria-Fré formulation of supergravity. For more background on this see at geometry of physics -- fundamental super p-branes.

Definition

Abstractly, the definition is immediate:

Definition

A super L L_\infty-algebra is an L-∞ algebra internal to the symmetric monoidal category of super vector spaces.

Explicitly this equivalently comes down to the following definition in components:

Definition

(super graded signature of a permutation)

Let VV be a \mathbb{Z}-graded super vector space, hence a ×(/2)\mathbb{Z} \times (\mathbb{Z}/2)-bigraded vector space.

For nn \in \mathbb{N} let

v=(v 1,v 2,,v n) \mathbf{v} = (v_1, v_2, \cdots, v_n)

be an n-tuple of elements of VV of homogeneous degree (n i,s i)×/2(n_i, s_i) \in \mathbb{Z} \times \mathbb{Z}/2, i.e. such that v iV (n i,s i)v_i \in V_{(n_i,s_i)}.

For σ\sigma a permutation of nn elements, write (1) |σ|(-1)^{\vert \sigma \vert} for the signature of the permutation, which is by definition equal to (1) k(-1)^k if σ\sigma is the composite of kk \in \mathbb{N} permutations that each exchange precisely one pair of neighboring elements.

We say that the super v\mathbf{v}-graded signature of σ\sigma

χ(σ,v 1,,v n){1,+1} \chi(\sigma, v_1, \cdots, v_n) \;\in\; \{-1,+1\}

is the product of the signature of the permutation (1) |σ|(-1)^{\vert \sigma \vert} with a factor of

(1) n in j(1) s is j (-1)^{n_i n_j}(-1)^{s_i s_j}

for each interchange of neighbours (v i,v j,)(\cdots v_i,v_j, \cdots ) to (v j,v i,)(\cdots v_j,v_i, \cdots ) involved in the decomposition of the permuation as a sequence of swapping neighbour pairs (see at signs in supergeometry for discussion of this combination of super-grading and homological grading).

Now def. 1 is equivalent to the following def. 3. This is just the definiton for L-infinity algebras, with the pertinent sign χ\chi now given by def. 2.

Definition

An super L L_\infty-algebra is

  1. a ×(/2)\mathbb{Z} \times (\mathbb{Z}/2)-graded vector space 𝔤\mathfrak{g};

  2. for each nn \in \mathbb{N} a multilinear map, called the nn-ary bracket, of the form

    l n()[,,,] n:𝔤𝔤ncopies𝔤 l_n(\cdots) \;\coloneqq\; [-,-, \cdots, -]_n \;\colon\; \underset{n \; \text{copies}}{\underbrace{\mathfrak{g} \otimes \cdots \otimes \mathfrak{g}}} \longrightarrow \mathfrak{g}

    and of degree n2n-2

such that the following conditions hold:

  1. (super graded skew symmetry) each l nl_n is graded antisymmetric, in that for every permutation σ\sigma of nn elements and for every n-tuple (v 1,,v n)(v_1, \cdots, v_n) of homogeneously graded elements v i𝔤 |v i|v_i \in \mathfrak{g}_{\vert v_i \vert} then

    l n(v σ(1),v σ(2),,v σ(n))=χ(σ,v 1,,v n)l n(v 1,v 2,v n) l_n(v_{\sigma(1)}, v_{\sigma(2)},\cdots ,v_{\sigma(n)}) = \chi(\sigma,v_1,\cdots, v_n) \cdot l_n(v_1, v_2, \cdots v_n)

    where χ(σ,v 1,,v n)\chi(\sigma,v_1,\cdots, v_n) is the super (v 1,,v n)(v_1,\cdots,v_n)-graded signature of the permuation σ\sigma, according to def. 2;

  2. (strong homotopy Jacobi identity) for all nn \in \mathbb{N}, and for all (n+1)-tuples (v 1,,v n+1)(v_1, \cdots, v_{n+1}) of homogeneously graded elements v i𝔤 |v i|v_i \in \mathfrak{g}_{\vert v_i \vert} the followig equation holds

    (1) i,ji+j=n+1 σUnShuff(i,j)χ(σ,v 1,,v n)(1) i(j1)l j(l i(v σ(1),,v σ(i)),v σ(i+1),,v σ(n))=0, \sum_{{i,j \in \mathbb{N}} \atop {i+j = n+1}} \sum_{\sigma \in UnShuff(i,j)} \chi(\sigma,v_1, \cdots, v_{n}) (-1)^{i(j-1)} l_{j} \left( l_i \left( v_{\sigma(1)}, \cdots, v_{\sigma(i)} \right), v_{\sigma(i+1)} , \cdots , v_{\sigma(n)} \right) = 0 \,,

    where the inner sum runs over all (i,j)(i,j)-unshuffles σ\sigma and where χ\chi is the super graded signature sign from def. 2.

A strict homomorphism of super L L_\infty-algebras

is𝔤 1𝔤 2is \mathfrak{g}_1 \longrightarrow \mathfrak{g}_2

is a linear map that preserves the bidegree and all the brackets, in an evident sens.

A strong homotopy homomorphism (“sh map”) of super L L_\infty-algebras is something weaker than that, best defined in formal duals, below in def. 4.

In order to define the correct homomorphisms between super L L_\infty-algebras (“sh-maps”) as well as their super-L-∞ algebra cohomology, consider the following dualization of the above definition:

Definition

A super L L_\infty algebra 𝔤\mathfrak{g} is of finite type if the underlying ×(/2)\mathbb{Z} \times (\mathbb{Z}/2)-graded vector space is degreewise of finite dimension.

If 𝔤\mathfrak{g} is of finite type, then its Chevalley-Eilenberg algebra CE(𝔤)CE(\mathfrak{g}) is the dg-algebra whose underlying graded algebra is the super-Grassmann algebra

𝔤 * \wedge^\bullet \mathfrak{g}^{\ast}

of the graded degreewise dual vector space 𝔤 *\mathfrak{g}^\ast, equipped with the differential which on generators is the sum of the dual linear maps of the nn-ary brackets:

d 𝔤[] *+[,] *+[,,] *+: 1𝔤 * 𝔤 * d_{\mathfrak{g}} \coloneqq [-]^\ast + [-,-]^\ast + [-,-,-]^\ast + \cdots \;\colon\; \wedge^1 \mathfrak{g}^\ast \longrightarrow \wedge^\bullet \mathfrak{g}^\ast

and extended to all of 𝔤 *\wedge^\bullet \mathfrak{g}^\ast as a super-graded derivation of degree (1,even)(1,even).

Notice that here the signs in supergeometry are such that for α i𝔤 (n i,s i) *\alpha_i \in \mathfrak{g}^\ast_{(n_i,s_i)} elements of homogenous bidegree, then

α 1α 2=(1) n 1n 2() s 1s 2 \alpha_1 \wedge \alpha_2 \;=\; -(-1)^{n_1 n_2} (-)^{s_1 s_2}

and

d 𝔤(α 1α 2)=(d 𝔤α 1)α 2+(1) n 1α 1(d 𝔤α 2). d_{\mathfrak{g}} (\alpha_1 \wedge \alpha_2) \;=\; (d_{\mathfrak{g}} \alpha_1) \wedge \alpha_2 + (-1)^{n_1} \alpha_1 \wedge (d_{\mathfrak{g}} \alpha_2) \,.

(see at signs in supergeometry for more on this).

A strong homotopy homomorphism (“sh-map”) between super L L_\infty-algbras of finite type

f:𝔤 1𝔤 2 f \;\colon\; \mathfrak{g}_1 \longrightarrow \mathfrak{g}_2

is defined to be a homomorphism of dg-algebras between their Chevalley-Eilenberg algebras going the other way:

CE(𝔤 1)CE(𝔤 2):f * CE(\mathfrak{g}_1) \longleftarrow CE(\mathfrak{g}_2) \;\colon\; f^\ast

(here f *f^\ast is the primitive concept, and ff is defined as the formal dual of ff). Hence the category of super L L_\infty-algebras of finite type is the full subcategory

sL AlgdgAlg op s L_\infty Alg \hookrightarrow dgAlg^{op}

of the opposite category of dg-algebras on those that are CE-algebras as above.

Finally, the cochain cohomology of the Chevalley-Eilenberg algebra CE(𝔤)CE(\mathfrak{g}) of a super L L_\infty algebra of finite type is its L-∞ algebra cohomology with coefficients in \mathbb{R}:

H (𝔤,)=H (CE(𝔤)). H^\bullet(\mathfrak{g}, \mathbb{R}) \;=\; H^\bullet(CE(\mathfrak{g})) \,.
Remark

Special cases of the general concept of super L-∞ algebras def. 3 go by special names:

Let 𝔤\mathfrak{g} be a super L-∞ algebra.

If 𝔤\mathfrak{g} is concentrated in even /2\mathbb{Z}/2-degree, it is called an L-∞ algebra.

If the only possibly non-vanishing brackets of 𝔤\mathfrak{g} are the unary one [][-] (which induces the structure of a chain complex on 𝔤\mathfrak{g}) and the binary one, then 𝔤\mathfrak{g} is equivalently a (super-)dg-Lie algebra.

If 𝔤\mathfrak{g} is concentrated in \mathbb{Z}-degrees 0 to n1n-1 then it is called a super Lie n-algebra.

In particular if 𝔤\mathfrak{g} is concentrated in degree 0, then it is equivalently a super Lie algebra.

Combining this, if 𝔤\mathfrak{g} is concentrated in even /2\mathbb{Z}/2-degree and in \mathbb{Z}-degree 0 through n1n-1, then it is called a Lie n-algebra.

In particular if 𝔤\mathfrak{g} is concentrated in \mathbb{Z}-degree 0 and in even /2\mathbb{Z}/2-degree, then it is equivalently a plain Lie algebra.

History

Remark

(history of the concept of (super-)L L_\infty algebras)

The identification of the concept of (super-)L L_\infty-algebras has a non-linear history:

L-∞ algebras in the incarnation of higher brackets satisfying a higher Jacobi identity, def. 3 and remark 1, were introduced in Lada-Stasheff 92, based on the example of such a structure on the BRST complex of the bosonic string that was found in the construction of closed string field theory in Zwiebach 92. Some of this history is recalled in Stasheff 16.

The observation that these systems of higher brackets are fully characterized by their Chevalley-Eilenberg dg-(co-)algebras (def. 4) is due to Lada-Markl 94. See Sati-Schreiber-Stasheff 08, around def. 13.

But in this dual incarnation, L-∞ algebras and more generally super L-∞ algebras (of finite type) had secretly been introduced within the supergravity literature already in D’Auria-Fré-Regge 80 and explicitly in van Nieuwenhuizen 82. The concept was picked up in the D'Auria-Fré formulation of supergravity (D’Auria-Fré 82) and eventually came to be referred to as “FDA”s (short for “free differential algebra”) in the supergravity literature (but beware that these dg-algebras are in general free only as graded-supercommutative superalgebras, not as differential algebras) The relation between super L L_\infty-algebras and the “FDA”s of the supergravity literature is made explicit in (FSS 13).

higher Lie theorysupergravity
\, super Lie n-algebra 𝔤\mathfrak{g} \,\, “FDA” CE(𝔤)CE(\mathfrak{g}) \,

The construction in van Nieuwenhuizen 82 in turn was motivated by the Sullivan algebras in rational homotopy theory (Sullivan 77). Indeed, their dual incarnations in rational homotopy theory are dg-Lie algebras (Quillen 69), hence a special case of L L_\infty-algebras (remark 1)

This close relation between rational homotopy theory and higher Lie theory might have remained less of a secret had it not been for the focus of Sullivan minimal models on the non-simply connected case, which excludes the ordinary Lie algebras from the picture. But the Quillen model of rational homotopy theory effectively says that for XX a rational topological space then its loop space ∞-group ΩX\Omega X is reflected, infinitesimally, by an L-∞ algebra. This perspective began to receive more attention when the Sullivan construction in rational homotopy theory was concretely identified as higher Lie integration in Henriques 08. A modern review that makes this L-∞ algebra-theoretic nature of rational homotopy theory manifest is in Buijs-Félix-Murillo 12, section 2.

Properties

Examples

In the context of supergravity/string theory the

and its super-L L_\infty-extensions to the

play a central role. Their exceptional infinity-Lie algebra cohomology governs the consistent Green-Schwarz action functionals for super-pp-branes. (See the discusson of the brane scan) there.

See at geometry of physics -- fundamenal super p-branes? for more on this.

\,

The BRST complex of the superstring might form a super L L_\infty-algebra whose brackets give the n-point function of the string, in analogy to what happens for the bosonic string in Zwiebach’s string field theory. (…)

References

In their formal dual incarnations as super-graded commutative dg-algebras (super Chevalley-Eilenberg algebras), super L L_\infty-algebras of finite type had secretly been introduced in

and hence a whole decade before the explicit appearance of plain (non-super) L-∞ algebras in Lada-Stasheff 92.

The concept was picked up in the D'Auria-Fré formulation of supergravity

and eventually came to be referred to as “FDA”s (short for “free differential algebra”) in the supergravity literature (where in rational homotopy theory one says “semifree dga”, since these dg-algebras are crucially not required to be free as differential algebras).

The relation between super L L_\infty-algebras and the “FDA”s of the supergravity literature is made explicit in

Revised on January 12, 2017 10:35:54 by Urs Schreiber (83.208.22.80)