∞-Lie theory (higher geometry)
Background
Smooth structure
Higher groupoids
Lie theory
∞-Lie groupoids
∞-Lie algebroids
Formal Lie groupoids
Cohomology
Homotopy
Related topics
Examples
$\infty$-Lie groupoids
$\infty$-Lie groups
$\infty$-Lie algebroids
$\infty$-Lie algebras
In the construction of the Lagrangian density for the supersymmetric worldvolume gauge quantum field theory on coincident M2-branes (the BLG model/ABJM model, a conformal super-Chern-Simons theory coupled to matter-fields) a certain algebraic structure appears – and at least in the BLG model it appears at a pivotal stage in the proof of supersymmetry – which is given by a trilinear map on an inner product space $V$
that is subject to some axioms which are different from but clearly reminiscent to the axioms on the Lie bracket of a Lie algebra, (which is of course a bilinear map).
In special cases, but not generally, this algebraic structure is a special case of a structure introduced by Filippov, which could be called a Filippov algebra, but which mostly came to alternatively be called a 3-Lie algebra or a Lie 3-algebra or often just a 3-algebra.
Unfortunately, in homotopy theory and higher algebra, these terms refer to something different, namely to L-infinity algebras or categorifications of associative algebras to n-algebras – but the structure seen in the BLG model on M2-branes is none of these.
Hence to be on the safe side, one may want to speak of M2-brane 3-algebras or maybe M-brane algebras, for definiteness
Moreover, while this “M2-brane 3-algebra” appeared to be a central ingredient in the BLG model, it makes no appearance in the ABJM model, which however generalizes and hence subsumes the BLG model, up to slight re-identifications of terms.
Indeed, inspection reveals that “M2-brane 3-algebras” give rise to and may be re-constructed from data in ordinary Lie theory, namely from pairs consisting of a metric Lie algebra and a dualizable Lie algebra representation.
This is due to dMFFMER 08, Theorem 11, recalled as Prop. below.
(…)
An M2-brane 3-algebra is
a metric $\langle -,-\rangle$ on $V$, hence a non-degenerate inner product space (not required to be positive definite);
a trilinear function, the 3-bracket
such that the following three axioms hold, for all elements $w,x,y,z \in V$:
(unitarity)
(symmetry)
(fundamental identity)
In this generality, and under the name “generalized metric Lie 3-algebras”, this is due to Cherkis-Saemann 08, 41, see dMFFMER 08, Def. 1
For the following, let the ground field be the real numbers and take all vector spaces involved to be real and finite-dimensional.
For definiteness, we make the following explicit:
An orthogonal representation of a metric Lie algebra is
a metric vector space
hence a non-degenerate real inner product space;
an orthogonal Lie algebra representation
of $\mathfrak{g}$ on $(V,k)$.
(linear duals and adjuncts/transposition)
Given an orthogonal representation of a metric Lie algebra as in Def. , the non-degenerate inner products $g$ on $\mathfrak{g}$ and $k$ on $V$ exhibit these as self-dual objects in the monoidal category of finite-dimensional vector spaces (with respect to the tensor product of vector spaces).
This means that by passsing to adjuncts we may regard linear maps of the form
equivalently as linear maps of the form
where $V^\ast$ is the dual vector space; and similarly for $\mathfrak{g}$.
Once we choose a linear basis $\{v_i\}_{i \in \{1, \cdots, dim(V)\}}$ of $V$, with respect to which the metric tensor $k$ has components
this forming of adjuncts is equivalently the yoga of “raising and lowering of indices via the metric”. Similarly for a choice of linear basis $\{t_a\}_{a \in \{1,\cdots, dim(\mathfrak{g})\}}$ for the Lie algebra, and the induced components
Specifically, given the basis component $(\rho_a{}^{i}{}_j)_{a,i,j}$ of the Lie action $\mathfrak{g} \otimes V \overset{\rho}{\longrightarrow} V$, defined by
we get the components $(\tilde \rho^a{}_{i j})_{a,i,j}$ of the adjunct
by contracting the original component (3) with the components (1) (2) of the metric tensors:
(trilinear map induced from metric Lie representation – Faulkner construction)
Given an orthogonal representation $\mathfrak{g} \otimes V \overset{\rho}{\to} V$ of a metric Lie algebra as in Def. , define
given by
hence
In this form and with this notation this is dMFFMER 08, equation (9) and over Prop. 10 (except that we write “$\rho(X,x)$” for their “$X \cdot x$”). The construction itself, up to one dualization of $V$, was introduced in Faulkner 73.
(component expression of trilinear bracket)
After a choice of linear bases as in Remark , in terms of which Lie algebra elements $X \in \mathfrak{g}$ are expanded as $X \coloneqq X^a t_a$ and representation vectors $x \in V$ are expanded as $x \coloneqq x^i v_i$, the defining equation (6)
reads
(where here and in the following we use the Einstein summation convention), hence reads
hence equivalently reads
hence says that the tensor $D$ is equal to the adjunct (4) of the Lie action tensor $\rho$, given in components by the evident “raising and lowering of indices via the metrics” as in (5):
With this, the induced trilinear bracket (7)
is given in components as
(M2-brane 3-algebras are equivalent to metric Lie representations)
Given an orthogonal representation $\mathfrak{g} \otimes V \overset{\rho}{\to} V$ of a metric Lie algebra as in Def. , its induced trilinear map $[-,-,-]_\rho$ (Def. ) satisfies the axioms of an M2-brane 3-algebra (Def. ).
Hence this assignment defines a function from isomorphism classes of orthogonal representations of metric Lie algebras to isomorphism classes of M2-brane 3-algebras
Moreover, restricted to faithful representations, this function is a bijection:
This is dMFFMER 08, Prop. 10 and Theorem 11.
In Penrose notation (string diagram-notation), the trilinear bracket induced by a metric Lie representation according to Def. looks as follows:
With Prop. this shows that M2-brane 3-algebras are equivalently the datum that Lie algebra weight systems on (horizontal) chord diagrams assign to a single chord.
from Sati-Schreiber 19c
The idea that some higher-arity version of the Lie bracket may be relevant for M2-M5 brane intersections originates with attempts of generalizing Nahm's equations for fuzzy funnels of D2-D4 brane intersections in
Motivated by this, the M2-brane 3-algebra appears in the construction of the BLG model for the worldvolume quantum field theory on 2 coincident M2-branes in
Jonathan Bagger, Neil Lambert, Modeling Multiple M2’s, Phys. Rev. D75, 045020 (2007). (hep-th/0611108)
Jonathan Bagger, Neil Lambert, Gauge Symmetry and Supersymmetry of Multiple M2-Branes, Phys. Rev. D77, 065008 (2008). (arXiv:0711.0955)
further highlighted as such in
(whence the “BLG” of the BLG model)
and further explored in
From here on a myriad of references followed up. Review includes:
(…)
The full generalized axioms on the M2-brane 3-algebra and first insights into their relation to Lie algebra representations of metric Lie algebras is due to
The full identification of M2-brane 3-algebras with dualizable Lie algebra representations over metric Lie algebras is due to
reviewed in
further explored in
and putting to use the Faulkner construction that was previously introduced in
See also:
Sam Palmer, Christian Saemann, section 2 of M-brane Models from Non-Abelian Gerbes, JHEP 1207:010, 2012 (arXiv:1203.5757)
Patricia Ritter, Christian Saemann, section 2.5 of Lie 2-algebra models, JHEP 04 (2014) 066 (arXiv:1308.4892)
Christian Saemann, appendix A of Lectures on Higher Structures in M-Theory (arXiv:1609.09815)
and
Last revised on May 25, 2020 at 09:32:32. See the history of this page for a list of all contributions to it.