3-Lie Algebra: Fundamentals & Advances

• 3-Lie algebra is a vector space endowed with a totally skew-symmetric trilinear bracket that satisfies the Fundamental Identity, generalizing classical Lie algebras.
• Construction methods include approaches from Lie algebras, associative algebras with derivations, and group or Clifford algebra frameworks, providing diverse examples.
• Applications span deformation theory, representation theory, and mathematical physics, notably in models like the Bagger–Lambert–Gustavsson theory for M2-branes.

A 3-Lie algebra is a vector space over a field of characteristic zero equipped with a totally skew-symmetric trilinear bracket that satisfies a specific higher-order generalization of the Jacobi identity, called the Fundamental Identity. First introduced by Filippov, these structures both generalize and extend classical Lie theory, with significant implications in deformation theory, representation theory, cohomology, and applications in mathematical physics. The study of 3-Lie algebras has led to the development of advanced algebraic concepts, such as 3-Lie bialgebras, cohomology and deformation theories, and their connections to operadic and homotopical algebra.

1. Foundational Concepts: Definition and Structure

A 3-Lie algebra is a pair $(L, [\cdot,\cdot,\cdot])$, where $L$ is a finite-dimensional vector space over a field $\mathbb{F}$ of characteristic zero, and $[\,\cdot\,,\,\cdot\,,\,\cdot\,]: \Lambda^3 L \to L$ is a skew-symmetric, trilinear map satisfying the Fundamental Identity (FI):

$$[x, y, [u, v, w]] = [[x, y, u], v, w] + [u, [x, y, v], w] + [u, v, [x, y, w]] \quad\forall\,x,y,u,v,w\in L.$$

This condition is a direct generalization of the Jacobi identity for binary Lie brackets, ensuring that each pair $(x, y)$ defines a derivation $\mathrm{ad}_{x,y}(z) = [x, y, z]$ of the ternary operation, i.e., $\mathrm{ad}_{x,y}$ is a derivation for the bracket (Guo et al., 2021).

Subalgebras and ideals are naturally defined. The derived subalgebra $[L,L,L]$ plays the role of the commutator subalgebra, and simplicity is defined analogously to the Lie case: a 3-Lie algebra is simple if the derived subalgebra is nontrivial and the only ideals are trivial and the whole algebra (Bai et al., 2013).

Derivations

A derivation of a 3-Lie algebra is a linear map $D: L \to L$ such that

$$D([x, y, z]) = [D(x), y, z] + [x, D(y), z] + [x, y, D(z)]$$

for all $x, y, z \in L$ (Guo et al., 2021). The adjoint map $\mathrm{ad}_{a,b}(x) = [a,b,x]$ provides a canonical class of derivations.

2. Constructions and Examples

A variety of algebraic structures yield 3-Lie algebras via specific construction schemes:

• From Lie algebras and trace functionals: Let $(\mathfrak{g}, [\cdot,\cdot])$ be a Lie algebra with a functional $\omega: \mathfrak{g} \to \mathbb{F}$ such that $\omega([x, y]) = 0$. Then

$$[x, y, z] := \omega(x)[y, z] + \omega(y)[z, x] + \omega(z)[x, y]$$

defines a 3-Lie structure (Bai et al., 2013, Abramov, 2018). This construction generalizes to infinite-dimensional algebras and Lie superalgebras via the supertrace (Abramov, 2017).

• Commutative associative algebras with involution and derivation: For a commutative associative algebra $A$, involutive automorphism $w: A \to A$, and derivation $\delta$ satisfying $w\delta+\delta w=0$,

$$[a,b,c]_{w,\delta} = w(a)(b\delta(c) - c\delta(b)) + \text{cyclic terms}$$

defines a 3-Lie algebra (Bai et al., 2013).

• Group algebra constructions and Clifford algebra structures yield further classes of examples, including infinite-dimensional simple and non-simple 3-Lie algebras built from Laurent polynomial and group algebra frameworks (Bai et al., 2013, Abramov, 2017).

3. Representations and Cohomology

A representation of a 3-Lie algebra $(L, [\cdot,\cdot,\cdot])$ is a vector space $M$ equipped with a bilinear map

$\rho: L \times L \to \mathrm{End}(M)$

such that the following compatibility conditions (encoding higher Jacobi and derivation relations) are satisfied for all $x, y, z, u \in L$:

$$\rho([x,y,z],u) =\rho(y,z)\rho(x,u) +\rho(z,x)\rho(y,u) +\rho(x,y)\rho(z,u)$$

$$\rho(x,y)\rho(z,u) =\rho(z,u)\rho(x,y) +\rho([x,y,z],u) +\rho(z,[x,y,u])$$

(Guo et al., 2021, Hou et al., 2021). The adjoint representation corresponds to the action by inner derivations $\mathrm{ad}_{x,y}(z)$.

Cohomology is developed via Chevalley–Eilenberg complexes:

$$C^n(L,M) = \mathrm{Hom}\left((\Lambda^2L)^{\otimes(n-1)} \otimes L, M\right)$$

with differentials defined in direct analogy with the Lie algebra theory, allowing for the study of extensions and deformations (Guo et al., 2021).

For 3-LieDer pairs $(L, D_L)$, cohomology is extended: the complex

$$C_{\mathrm{LieDer}}^n(L, M) = C^n(L, M) \oplus C^{n-1}(L, M)$$

with a total differential $\partial(f, g) = (df, -\delta f + dg)$, where $\delta$ encodes the derivation structure, enables classification of central extensions and deformations (Guo et al., 2021).

4. Extensions, Deformations, and Rigidity

Central and non-abelian extensions of 3-Lie algebras are central for their classification:

• Central extensions are distinguished by exact sequences

$$0 \to (M, D_M) \to (\widehat{L}, \widehat{D}) \to (L, D_L) \to 0$$

with central image condition $[M, \widehat{L}, \widehat{L}] = 0$. Isomorphism classes of central extensions correspond precisely to $H^2_{\mathrm{LieDer}}(L, M)$ (Guo et al., 2021).

• Non-abelian extensions are classified by Maurer–Cartan elements in a suitable DGLA, and isomorphism classes are gauge-equivalence classes of these elements (Song et al., 2017).
• Formal deformations of a 3-LieDer pair $(L, D_L)$ involve deformations both of the ternary bracket and the derivation, parameterized as

$$p_t = [\ ,\ ,\ ] + \sum_{i \geq 1} t^i p_i, \quad D_t = D_L + \sum_{i \geq 1} t^i D_i$$

with compatibility conditions ensuring both a deformed Fundamental Identity and derivation property at each order. The infinitesimal is a 2-cocycle, and obstructions to integrating the deformation to higher order are governed by the third cohomology $H^3_{\mathrm{LieDer}}(L, L)$ (Guo et al., 2021).

• Rigidity: If $H^2_{\mathrm{LieDer}}(L, L) = 0$, the 3-LieDer pair is rigid; all deformations are trivial modulo equivalence (Guo et al., 2021). If $H^3_{\mathrm{LieDer}}(L, L) = 0$, all finite-order deformations extend to formal deformations.

5. 3-Lie Bialgebras, Classical Yang–Baxter Equation, and Related Structures

Analogous to Lie bialgebras, 3-Lie bialgebras are triples $(L, [\cdot,\cdot,\cdot], \Delta)$ where the coalgebra structure $\Delta: L \to \wedge^3 L$ satisfies the co-Filippov identity, and the bracket and cobracket are linked by a compatibility condition:

$$\Delta\bigl([x,y,z]\bigr) = (\operatorname{ad}_{x,y} \otimes 1 \otimes 1) \Delta(z) + (1 \otimes \operatorname{ad}_{y,z} \otimes 1) \Delta(x) + (1 \otimes 1 \otimes \operatorname{ad}_{z,x}) \Delta(y)$$

(Bai et al., 2012). Duals of 3-Lie (co)algebras are again 3-Lie (co)algebras under these conditions.

Local cocycle 3-Lie bialgebras and double construction 3-Lie bialgebras provide natural generalizations of Drinfeld's Lie bialgebra theory (Bai et al., 2016):

• Local cocycle bialgebras are constructed from $r$-matrices $r \in \wedge^2A$ solving the 3-Lie Classical Yang–Baxter Equation (CYBE):

$[[r, r, r]] = 0$

• Compatibility with the Manin triple and double construction yields neutral-signature pseudo-metric 3-Lie algebras (Bai et al., 2016).

Connections to 3-pre-Lie algebras, relative Rota–Baxter operators, and higher L-infinity algebras have been established both at the algebraic and cohomological levels (Bai et al., 2016, Hou et al., 2021, Hou et al., 2022, Hou et al., 2022).

6. Advanced Homotopical and Operadic Aspects

The deformation theory of 3-Lie algebras and their actions is controlled by higher homotopy structures. In particular, deformations of crossed homomorphisms and Rota–Baxter operators are governed by $L_\infty$-algebras, whose Maurer–Cartan elements correspond to specific algebraic data (e.g., crossed homomorphisms, relative Rota–Baxter operators) (Hou et al., 2022, Hou et al., 2022).

The existence of higher derived brackets, twisted $L_\infty$-algebras, and their associated cohomology theories enables a direct parallel to the homotopical and operad approaches used in derived deformation theory and mathematical physics.

7. Applications and Recent Developments

3-Lie algebras have important applications in theoretical physics, especially in the Bagger–Lambert–Gustavsson (BLG) model for M2-branes, generalized gauge theory, and higher Chern–Simons models. The hidden $Q$-structure and use of higher bundles (Q-manifolds) encode the algebraic consistency of non-abelian superconformal field theory gauge hierarchies (Lavau et al., 2014).

More recent developments include:

• Systematic study of NS-3-Lie algebras and twisted Rota–Baxter operators (Hou et al., 2021).
• Construction and classification of 3-Lie bialgebras and 3-pre-Lie algebras induced by involutive derivations (Bai et al., 2019).
• Deformation and cohomology theory for crossed homomorphisms on 3-Lie algebras (Hou et al., 2022).
• Nonabelian embedding tensors and their associated 3-Leibniz-Lie structures, leading to applications in higher gauge theory and the study of higher algebraic and geometric objects (Teng et al., 2023).

The structure and theory of 3-Lie algebras thus form a richly interconnected domain involving abstract algebra, homotopical algebra, mathematical physics, and representation theory, with ongoing research connecting them to new algebraic and geometric frameworks.