Metric 3-Lie Algebras

• Metric 3-Lie algebras are finite-dimensional ternary systems with a totally skew-symmetric bracket and an invariant nondegenerate metric, generalizing classical Lie algebras.
• They are structured via constructions like Manin triples and double extensions, with classification based on maximal isotropic ideals and Plücker-type relations.
• These algebras underpin BLG superconformal models and higher gauge theories, though only the four-dimensional A4 algebra yields a nontrivial, fully supersymmetric BLG theory.

A metric 3-Lie algebra is a finite-dimensional 3-Lie algebra equipped with a nondegenerate symmetric bilinear form (a "metric") that is invariant under the ternary bracket. This algebraic structure generalizes the notion of metric Lie algebras to the context of ternary operations and plays a central role in higher gauge theories, superconformal field theories with maximal supersymmetry, and the structure theory of non-associative algebras.

1. Fundamental Definitions and Properties

A 3-Lie algebra is a vector space $A$ with a trilinear, totally skew-symmetric bracket $$[\,\cdot\,,\,\cdot\,,\,\cdot\,]: A^{\wedge 3} \to A$$ satisfying the Fundamental Identity (FI):

$$\big[ x_1, x_2, [x_3, x_4, x_5] \big] = [[x_1, x_2, x_3], x_4, x_5] + [x_3, [x_1, x_2, x_4], x_5] + [x_3, x_4, [x_1, x_2, x_5]]$$

for all $x_1, \ldots, x_5 \in A$. The inner derivation $\mathrm{ad}_{x,y}(z) := [x,y,z]$ acts as a derivation for the bracket.

A metric 3-Lie algebra $$(A, [\,\cdot\,,\,\cdot\,,\,\cdot\,], \langle\,\cdot\,, \cdot\,\rangle)$$ is endowed with a nondegenerate symmetric bilinear form such that

$$\langle [x, y, z], w \rangle = \langle x, [y, z, w] \rangle \qquad (\text{or equivalently, } \langle [x, y, z], w \rangle + \langle z, [x, y, w] \rangle = 0)$$

holds for all $x, y, z, w \in A$ (Bai et al., 2016, Chu, 2010, 0804.2662, Du et al., 2017, Bai et al., 2014). The metric may be positive-definite (metric case) or have mixed signature ("pseudo-metric" case).

2. Structure Theory and Classification

The structural theory of metric 3-Lie algebras largely generalizes Medina–Revoy's double-extension paradigm for metric Lie algebras. Any finite-dimensional indecomposable (real) metric 3-Lie algebra is either one-dimensional, simple, or a double extension of a lower-dimensional metric 3-Lie algebra by a one-dimensional or simple 3-Lie algebra (Méndez-Escobar, 2010). This is formulated through the existence of a maximally isotropic subspace and the decomposition:

• The algebra splits as $V = U \oplus W \oplus U^*$, where $U \simeq \mathbb{R}^r$ (null directions), $U^*$ their duals, and $W$ a positive-definite complement.
• Nontrivial brackets among nulls, complement, and their duals are specified by a finite set of data: triple products, families of commuting endomorphisms $J_{ij}$, tensors $K_{ijk}$, etc. (cf. Theorem 4.16 of (Méndez-Escobar, 2010)).
• In cases with maximally isotropic center (relevant for unitarity in BLG-type superconformal theories), the structure is further constrained: internal simple factors of $W$ become abelian as 3-Lie algebras, and all associated Lie structures merge.

Positive-definite (Euclidean) metric 3-Lie algebras are rigidly classified: by the fundamental Plücker-type relation on the structure constants, any such algebra decomposes as a direct sum of four-dimensional simple algebras ("A4" type), each corresponding to a unique volume form on a four-plane. No metric 3-Lie algebra admits associated gauge algebra $\mathfrak{u}(N)$ with $N>2$ (0804.2662).

3. Explicit Constructions: Manin Triples and Double Extensions

A key paradigm for constructing and classifying metric 3-Lie algebras is via Manin triples and double constructions:

• Manin triple: A pseudo-metric 3-Lie algebra $(\mathcal{A}, \langle\cdot,\cdot\rangle)$ along with isotropic subalgebras $A_1, A_2$ such that $\mathcal{A} = A_1 \oplus A_2$ and certain bracket projection conditions are satisfied. This yields a correspondence with double-construction 3-Lie bialgebras (Bai et al., 2016, Du et al., 2017).
• Double construction: For a 3-Lie algebra $A$ with a cobracket $\Delta: A \to A \wedge A \wedge A$ satisfying cocycle type compatibilities, the direct sum $A \oplus A^*$ inherits a pseudo-metric 3-Lie structure with a canonical neutral metric

$$(x + \xi, y + \eta)_+ = \langle x, \eta \rangle + \langle \xi, y \rangle$$

and brackets determined by the adjoint and coadjoint actions. This framework generalizes Drinfeld's double for Lie bialgebras to the ternary setting. Not all 3-Lie bialgebras admit a compatible nondegenerate metric on the double; the Manin triple/double construction bialgebras are precisely those that do (Bai et al., 2016, Du et al., 2017).

4. T*$_\theta$- and Symplectic Extensions

Metric 3-Lie algebras also arise as T*$_\theta$-extensions and admit further structure when combined with symplectic forms:

• T*$_\theta$-extension: For any metric hom 3-Lie algebra $L$ with a suitable 3-cocycle $\theta$, the space $T_\theta(L) = L \oplus L^*$ can be endowed with a 3-bracket and a bilinear form making it a metric hom 3-Lie algebra. All even-dimensional metric hom 3-Lie algebras with a maximally isotropic ideal are isomorphic to such extensions (Liu et al., 2013).
• Metric symplectic 3-Lie algebras: A metric 3-Lie algebra $(A, B)$ is metric symplectic iff it admits a nondegenerate skew-symmetric (symplectic) form $\omega$ compatible with the 3-bracket. Every metric symplectic 3-Lie algebra is a T*$_\theta$-extension of a metric symplectic 3-Lie algebra, and all such arise as extensions of an underlying seed algebra by cohomological data (Bai et al., 2014).

Infinite families of examples are provided via loop-type and double extension constructions, in which even abelian algebras yield nontrivial metric symplectic 3-Lie structures when extended appropriately.

5. Cartan–Weyl, Index, and Classification Results

The Cartan–Weyl framework classifies metric 3-Lie algebras admitting a diagonalizable basis (maximal commuting subalgebras), analogous to semisimple Lie algebras:

• The Cartan-Weyl 3-algebra is characterized by a maximal commuting set $H_I$ (with vanishing triple bracket), step generators $E^\alpha$ labeled by two-form roots, and a nondegenerate invariant form (Chu, 2010).
• Classification is indexed by the signature (p, q) of the metric. Each nonzero root splits into components associated with a null one-form $p^{(\mu)}$, and root systems replicate those of semisimple Lie algebras.
• For index 0, only the simple four-dimensional A$_4$ algebra is allowed (indecomposable). For index 1 and higher, algebras are constructed via Lorentzian or multi-null pairs, encoding towers of possible structures but with severe constraints enforced by the fundamental identity and metric invariance.
• Only the index-0 A$_4$ algebra yields a simple, nontrivial BLG-type superconformal theory with a fuzzy $S^3$ solution; Lorentzian and higher index cases reduce or degenerate (gauge-fix) to Yang-Mills type dynamics and do not yield new M2-brane models. This explains the scarcity of genuinely new BLG-theoretic metric 3-Lie algebras (Chu, 2010, 0804.2662).

6. Low-Dimensional and Explicit Examples

The unique four-dimensional simple (Euclidean) metric 3-Lie algebra admits basis $\{e_1, e_2, e_3, e_4\}$ with nonzero brackets

$$[e_1,e_2,e_3]=e_4,\quad [e_2,e_3,e_4]=e_1,\quad [e_3,e_4,e_1]=e_2,\quad [e_4,e_1,e_2]=e_3$$

and metric $\langle e_i, e_j \rangle = \delta_{ij}$ (0804.2662, Du et al., 2017).

In the double construction, the corresponding eight-dimensional pseudo-metric 3-Lie algebra on $A \oplus A^*$ with canonical neutral metric and brackets determined by adjoint and coadjoint actions realizes the standard Manin triple and provides explicit models for metric 3-Lie bialgebras (Du et al., 2017, Bai et al., 2016).

For even-dimensional metric hom 3-Lie algebras, all such algebras admitting a maximally isotropic ideal are precisely of T*$_\theta$-type (Liu et al., 2013). For metric symplectic 3-Lie algebras, explicit constructions using abelian seeds and double extensions reveal robust families parameterized by cohomological data and derivations (Bai et al., 2014).

7. Significance, Applications, and Constraints

Metric 3-Lie algebras serve as the algebraic underpinning for maximally supersymmetric Chern–Simons-matter theories in three dimensions ("BLG theories"), where the structure constants encode the gauge interactions among multiple M2-branes. The classification results impose stringent constraints:

• Only the metric 3-Lie algebra corresponding to "A$_4$" supports a genuine BLG theory with fuzzy $S^3$ solutions and irreducible maximal supersymmetry.
• No metric 3-Lie algebra exists whose associated Lie algebra is $\mathfrak{u}(N)$ for $N>2$; for higher rank, only Lorentzian or indefinite signature (pseudo-metric) algebras are possible, which degenerate upon suitable gauge-fixing (0804.2662, Chu, 2010).
• The construction and classification of metric 3-Lie bialgebras uncover novel algebraic frameworks generalizing the classical Yang-Baxter equation and Manin triple theory to the ternary setting, allowing for new pseuod-metric doubles and explicit bialgebra examples (Bai et al., 2016, Du et al., 2017).
• Metric symplectic 3-Lie algebras admit extensive families by extension and double extension, establishing a direct link with compatible derivations, cohomological data, and module-theoretic cocycles (Bai et al., 2014).

The intrinsic algebraic rigidity and the constraints arising from metric compatibility, isotropic ideals, and structure tensor identities play a decisive role in determining the landscape of metric 3-Lie algebras and their physical and mathematical applications.