The BLG model is a 3-dimensional SCFT involving a Chern-Simons theory coupled to matter. It is argued to be the worldvolume theory of 2 coincident M2-branes with 16 manifest supersymmetries. The generalization to an arbitrary number of M5-branes is supposed to be given by the ABJM model.
The BLG model Lagrangian involves a trilinear operation on the scalar fields
Therefore, superficially, it looks like this might be the trinary bracket on an L-∞ algebra structure on the space .
On the one hand, indeed, by the discussion at supergravity C-field , the M2-brane is charged under a circle 3-bundle with connection whose higher gauge theory is controled by Lie 3-algebras in direct analogy to how the higher gauge theory of the string is controled by gerbes/principal 2-bundles and their Lie 2-algebras and that of charged particles by ordinary Lie algebras.
Apparantly motivated by an intuition along these lines, (BaggerLambert) named a 3-algebra. This terminology was picked up by many authors In the process, it transmuted sometimes to “3-Lie algebra” and sometimes even to “Lie 3-algebra”.
Unfortunately, the Bagger-Lambert “3-algebra” is not a Lie 3-algebra in the established sense of an L-∞ algebra structure on a graded vector space concentrated in the lowest three degrees. At least not without some modifications in the interpretation of the map .
The reason is that for the notion of an L-∞ algebra (as discussed there) it is crucial that is a -graded (or -graded) vector space and that the -ary brackets respect the degree in a certain way. But in the BaggerLamber-proposal, is all concentrated in a single degree (is regarded as ungraded). One immediately finds that in this case the -respect of for the grading would imply that is taken to be in degree . Since this is not in , it does not yield an -algebra.
Notice that the -grading (or -grading) of -algebras is crucial for the homotopy theoretic interpretation of L-∞ algebras as higher Lie algebras. None of the good theory of -algebras survives when this grading is dropped. This grading has its origin in the Dold-Kan correspondence, which establishes integral graded homological structures as models for structures in higher category theory. Notably, a higher Lie algebra is supposed to have a Lie integration to a smooth $n$-groupoid. Under this process, the elements in degree of the higher Lie algebra become tangents to the space of k-morphisms of this smooth -groupoid. Clearly, here only integer do make sense.
On the other hand, it is of course possible to consider the structure on ”-algebras without grading”, even if these will not have a good theory. This notion has once been introduced by Filippov (Sib. Math. Zh. No 6 126–140 (195)) under the term n-Lie algebra .
Beware, therefore, that the innocent-looking difference between the terms
corresponds, unfortunately, to a major difference in the behaviour of the concepts behind these terms.
In conclusion, it is clear that 2-brane physics is governed by Lie 3-algebraic structures, but it is not yet clear how the trinary operation highlighted by BaggerLambert would be an example.
In view of this it might be noteworthy that the equivalent reformulation and generalization of the BLG model by the ABJM model does not involve any “3-algebras” at all. In fact at least most of the “3-algebras” appearing in the membrane literature may be understood as being data of a plain Lie algebra with an invariant product and a representation (MFMR 08). These authors summarize the state of affiars on p. 3 as
All this prompts one to question whether the 3-algebras appearing in the constructions [1–3,10,11] play a fundamental role in M-theory or, at least insofar as the effective field theory is concerned, are largely superfluous. The equivalence of  and  and the abundance of new theories (dual to known M-theory backgrounds) which seem not to involve a 3-algebra might suggest the latter. Nonetheless, given our lack of understanding of how to incorporate in Lie-algebraic terms the expected properties of M-theoretic degrees of freedom, like the entropy scaling laws for M2- and M5-brane condensates, it may be useful to understand the precise relation between the 3-algebras appearing in the recent literature on superconformal Chern–Simons theory and Lie algebras.
The article (MFMR 08) provides this relation and under this relation the “3-algebraic” BLG model has then been understood as a special case of the ordinary Lie algebraic ABJM theory. A review is in (Bagger-Lambert 12).
|brane||in supergravity||charged under gauge field||has worldvolume theory|
|black brane||supergravity||higher gauge field||SCFT|
|D-brane||type II||RR-field||super Yang-Mills theory|
|D0-brane||BFSS matrix model|
|D4-brane||D=5 super Yang-Mills theory with Khovanov homology observables|
|D1-brane||2d CFT with BH entropy|
|D3-brane||N=4 D=4 super Yang-Mills theory|
|(D25-brane)||(bosonic string theory)|
|NS-brane||type I, II, heterotic||circle n-connection|
|NS5-brane||B6-field||little string theory|
|M-brane||11D SuGra/M-theory||circle n-connection|
|M2-brane||C3-field||ABJM theory, BLG model|
|M5-brane||C6-field||6d (2,0)-superconformal QFT|
|M9-brane||heterotic string theory|
|topological M2-brane||topological M-theory||C3-field on G2-manifold|
|topological M5-brane||C6-field on G2-manifold|
|solitons on M5-brane||6d (2,0)-superconformal QFT|
|self-dual string||self-dual B-field|
|3-brane in 6d|
The original articles are
and concerning the “3-algebra”-structure also
A comprehensive review and survey is in
The interpretation of at least most of the “3-algebra” appearing in the membrane literature in terms of plain Lie algebras is due to
The suggestion that BGL “3-algebras” are to be interpreted in 2-plectic geometry appears in