We define Hermitian (ϵ,δ)-Freudenthal-Kantor triple systems and prove a structure theorem. We also give some examples of triple systems that are generalizations of the u(N)⊕u(M) and sp(2N)⊕u(1) Hermitian 3-algebras. We apply a *-generalized Jordan triple system to a field theory and obtain a Chern-Simons gauge theory. We find that the novel Higgs mechanism works, where the Chern-Simons gauge theory reduces to a Yang-Mills theory in a certain limit.
1. Introduction
The structure theory of (ϵ,δ)-Freudenthal-Kantor triple systems of finite dimensions, which contain the concept of Jordan triple systems, has been studied in [1–11].
On the other hand, it is well known that symmetric bounded domains have one-to-one correspondence to Hermitian Jordan triple systems [12–15], for which a certain trace form is positive definite Hermitian. Moreover, structure theorems of Hermitian generalized Jordan triple systems of the second-order can be found in [16]. Hence, as a generalization of these concepts, it is interesting to investigate the structure theory of Hermitian (ϵ,δ)-Freudenthal-Kantor triple systems (HFKTSs). In this generalization, Hermitian generalized Jordan triple systems of the second-order or the so-called Kantor triple systems are included as Hermitian (-1,1)-Freudenthal-Kantor triple systems.
From the viewpoint of string theory, HFKTSs are generalizations (A different generalization, the so-called differential crossed module, was extensively investigated in [17–19].) of Hermitian 3-algebras [20–62], which have played crucial roles in M-theory. The field theories applied with Hermitian 3-algebras are the Chern-Simons gauge theories that describe the effective actions of membranes in M-theory. In a certain limit, the novel Higgs mechanism works, where the Chern-Simons theories become the Yang-Mills theories that describe the effective actions of D-branes in string theory. Moreover, 3-algebra models of M-theory itself have been proposed and were studied in [63–67]. Therefore, it is interesting to apply HFKTSs to field theories. It is particularly important to study whether the novel Higgs mechanism works in a field theory with an HFKTS.
The Hermitian 3-algebras are special cases, where K(a,b)=0 or, equivalently, 〈abc〉=-〈cba〉, of Hermitian (-1,-1)-Freudenthal-Kantor triple systems of the second order. Also, the Hermitian 3-algebras are classified into u(N)⊕u(M) and sp(2N)⊕u(1) Hermitian 3-algebras [34, 36, 37, 43, 67]. Therefore, it is natural to extend these triple systems to more general Hermitian (-1,-1)-Freudenthal-Kantor triple systems or Hermitian generalized Jordan triple systems.
Here, we are concerned with algebras and triple systems that are finite or infinite over a complex number field, unless otherwise specified. We refer to [68–72] for nonassociative algebras and to [73–75] for Lie superalgebras, for example.
2. Definitions and Preamble
A triple system U is a vector space over a field F of characteristic ≠2,3 with a trilinear map U⊗U⊗U→U. In this paper, we are concerned with triple systems over the complex number C, and we denote the trilinear product by 〈xyz〉∈U for x,y,z∈U, assuming that 〈xyz〉 is C-linear on x and z and C-antilinear on y. Also we use the notations of two operations L(x,y)∈ End U and K(x,y)∈ End U with respect to the triple systems [1, 2], where L(x,y)z=〈xyz〉 and K(x,y)z=〈xzy〉-δ〈yzx〉(δ=±1).
Definition 1.
A triple system U is said to be a *-(ϵ,δ)-Freudenthal-Kantor triple system if the following relations (0)–(iv) are satisfied:
U is a Banach space,
[L(x,y),L(z,w)]=L(〈xyz〉,w)+εL(z,〈yxw〉), where [A,B]=AB-BA, A,B∈EndU, and ε=±1,
K(〈xyz〉,w)+K(z,〈xyw〉)+δK(x,K(z,w)y)=0,
〈xyz〉 is a C-linear operator on x and z and a C-antilinear operator on y,
〈xyz〉 is continuous with respect to a norm, ∥∥; that is, there exists K>0 such that
(1)∥〈xxx〉∥≤K∥x∥3∀x∈U.
Furthermore, a *-(ϵ,δ)-Freudenthal-Kantor triple system is said to be Hermitian if it satisfies the following condition.
All operators L(x,y) are positive Hermitian operators with a Hermitian metric
(2)(x,y)=trL(x,y);
that is, (L(x,y)z,w)=(z,L*(x,y)w) and (x,y)=(y,x)¯.
This definition is a generalization of the concept of known (ϵ,δ)-Freudenthal-Kantor triple systems (see [1–10]) to that of Hermitian triple systems. Note that there are many simple Lie algebras (the case of δ=1) and simple Lie superalgebras (the case of δ=-1) constructed from (ϵ,δ)-Freudenthal-Kantor triple systems [4, 7, 8].
Let U be a *-(ϵ,δ)-Freudenthal-Kantor triple system. Then we may define the notations of tripotent and bitripotent as follows.
Definition 2.
It is said to be a tripotent of U if
(3)〈ccc〉=c,c∈U.
Definition 3.
It is said to be a strong bitripotent of U if a pair (c1,c2) of tripotents satisfies the relations,
(4)〈c1c1c2〉=-12c2,〈c2c2c1〉=-12c1,
and other products are zero.
Definition 4.
It is said to be a bitripotent of U if a pair (c1,c2) of tripotents satisfies the relations
(5)〈c1c1c2〉=αc2,〈c2c2c1〉=αc1,〈c1c2c1〉=βc2,〈c2c1c2〉=βc1,〈c2c1c1〉=γc2,〈c1c2c2〉=γc1,
and other products are zero, where
(6)α2+β2+γ2≠0,α,β,γ∈R(realnumber).
From now on, we will consider a finite-dimensional triple system equipped with a tripotent, unless otherwise specified.
Following [16], theorems concerning tripotents (Theorems 5 and 6) are proved for Hermitian generalized Jordan triple systems. Actually, the proofs of [16] are valid in Hermitian (-1,δ)-Freudenthal-Kantor triple systems because they are independent of δ. Here, we show the theorems below for completeness.
Theorem 5.
Let U be a Hermitian (-1,δ)-Freudenthal-Kantor triple system. If W⊂U is flat (i.e., L(x,y)=L(y,x) for all x,y∈W), then we have the decomposition
(7)W=Re1⊕⋯⊕Ren,
where ei are tripotents or bitripotents.
Proof.
Let S⊂EndR(W) be the R-linear span of all L(x,x)|W, where x∈W.
From
(8)2L(x,y)z=L(x+y,x+y)z-L(x,x)z-L(y,y)z,
it follows that L(x,y) belongs to S for all x,y∈W. Choose a scalar product, (x,y), for example, (x,y):=traceL(x,y), satisfying L(x,y)*=L(y,x).
By taking the real part of (x,y) and restricting W, we obtain a Euclidean scalar product on W such that S consists of self-adjoint transformations. Furthermore, S is commutative since [L(x,x),L(y,y)]=L(〈xxy〉,y)-L(y,〈xxy〉)=0.
By a standard calculation, S may be simultaneously diagonalized. Therefore, there exists a basis e1,…,en of W such that fei∈Rei for all f∈S. Hence, from L(ei,ei)∈S, we have
(9)〈eieiei〉=λei,λ∈R.
Furthermore, after sign changes, we may assume that λ>0.
Indeed, if λ<0, we write ei′=-ei, then λei=-λei′ such that -λ is positive.
Replacing ei by (λ)-1ei, we may assume that ei are tripotents.
On the other hand, if i≠j, we have
(10)〈eieiej〉=L(ei,ei)ej∈Sej⊆Rej.
These imply that ei and ej are tripotents or bitripotents.
This completes the proof.
We define odd powers of x inductively as follows:
(11)x(3):=〈xxx〉,x(2n+1):=〈xx(2n-1)x〉.
By using this theorem, we have the following.
Theorem 6.
Let U be a Hermitian (-1,δ)-Freudenthal-Kantor triple system. Then every x∈U can be written uniquely as
(12)x=λ1e1+λ2e2+⋯+λnen,
where ei are tripotents or bitripotents and λi satisfy
(13)0<λ1≤λ2≤⋯≤λn.
Proof.
Applying Theorem 5 to the subspace W spanned by the powers of x, from definition (i), we have 0=[L(x,x),L(x,x)]=L(〈xxx〉,x)-L(x,〈xxx〉) for x∈W, and thus L(x,〈xxx〉)=L(〈xxx〉,x). Hence, W is flat.
Without loss of generality, we can assume that W=U. This implies that any element x∈U can be represented by x=μ1e1+μ2e2+⋯+μnen, with real numbers μi, after permutations, and we may assume that 0<μ1≤μ2⋯≤μn, where ei are tripotents or bitripotents.
Furthermore, because ei are tripotents or bitripotents, the powers of x are
(14)x(2k+1)=μ1(2k+1)e1+μ2(2k+1)e2+⋯+μn(2k+1)en.
That is, we obtain
(15)x(3)=〈xxx〉=μ(3)e1+μ2(3)e1+μ2(3)e2⋯+μn(3)en,x(5)=〈x〈xxx〉x〉=μ1(5)e1+μ2(5)e2+⋯μn(5)en,⋮x(2n-1)=〈xx(2n-3)x〉=μ1(2n-1)e1+μ2(2n-1)e2+⋯+μn(2n-1)en,
where μi(k)(i=1,…,n,k=3,5,…,2n-1) are polynomials in μ1,…,μn with their coefficients in R.
These expressions may also be written as
(16)(μ1⋯μnμ1(3)⋯μn(3)⋮μ1(2n-1)⋯μn(2n-1))(e1e2⋮en)=(xx(3)⋮x(2n-1)).
This completes the proof.
For the HFKTS U, we can define a norm ∥∥ as follows:
(17)∥x∥=max|λi|,ifx=Σλiei∈U,
where ei are tripotents or bitripotents. Note that
(18)∥x∥≥0,∥x+y∥≤∥x∥+∥y∥.
3. Peirce Decomposition
In this section, we briefly consider the Peirce decomposition of a *-(-1,-1)-Freudenthal-Kantor triple system equipped with the tripotent 〈ccc〉=c.
We recall conditions (i) and (ii) in Section 2, which are equivalent to the following conditions (i)′and (ii)′:
(i)′[L(x,y),L(z,w)]=L(〈xyz〉,w)+εL(z,〈yxw〉),(ii)′K(K(x,y)z,w)-L(w,z)K(x,y)+εK(x,y)L(z,w)=0.
From condition (i)′ with ε=-1, we have
(i)′′L(c,c)R(c,c)=R(c,c)L(c,c),
where we define R(x,y)z=〈zxy〉. From condition (ii)′ with ε=-1, we have
(19)K(K(x,y)z,w)-L(w,z)K(x,y)-K(x,y)L(z,w)=0.
We write x=z=w=c (if c is a tripotent element, 〈ccc〉=c), and then we obtain
(20)K(K(c,y)c,c)c-L(c,c)K(c,y)c-K(c,y)L(c,c)c=0.
When δ=-1, we obtain
(ii)′′L(c,c)R(c,c)+R(c,c)2-L(c,c)-R(c,c)=0.
From conditions (i)′′ and (ii)′′, we have
(21)(R(c,c)-Id)(R(c,c)+L(c,c))=0,L(c,c)R(c,c)=R(c,c)L(c,c).
Summarizing the results, we have the following.
Theorem 7.
Let U be a *-(-1,-1)-Freudenthal-Kantor triple system. Then, we have the following decomposition with respect to a tripotent c (i.e., 〈ccc〉=c):
(22)U=U1(c)⊕U1/2(c)⊕U0(c),
where
(23)U1(c)={x∣(L(c,c)+R(c,c))x=0,(R(c,c)-Id)x≠0((c))},U1/2(c)={x∣(L(c,c)+R(c,c))x≠0,(R(c,c)-Id)x=0((c))},U0(c)={x∣(L(c,c)+R(c,c))x=0,(R(c,c)-Id)x=0((c))}.
4. Examples
Hermitian 3-algebras are classified into u(N)⊕u(M) and sp(2N)⊕u(1) Hermitian 3-algebras [34, 36, 37, 43, 67]. In this section, we extend these 3-algebras to Hermitian (-1,-1)-Freudenthal-Kantor triple systems and *-generalized Jordan triple systems.
Example 1.
Let DN,M* be the set of all N×M matrices with the operation
(24)〈xyz〉=xy-Tz-zy-Tx+zxTy-,
where xT and x- denote the transpose and conjugation of x, respectively.
Then DN,M* is a Hermitian (-1,-1)-Freudenthal-Kantor triple system. In fact, it satisfies conditions (0), (i), (ii), (iii), (iv), and (v) in Section 2. This is an extension of the u(N)⊕u(M) Hermitian 3-algebra (the metric of the Hermitian 3-algebra is defined as (x,y)=tr(xy†), which is different from our Definition 1(v))〈xyz〉=xy-Tz-zy-Tx, which is a basis for the effective action of multiple membranes in M-theory.
One of the tripotents is given by
(25)c=(Id000),
where Id is the n×n identity matrix (n≤N,M). Because any element can be decomposed as
(26)x=(ABCD)=(12(A-AT)B0D)+(12(A+AT)0C0),
the Peirce decomposition is given by
(27)U1(c)={(12(A-AT)B0D)},U1/2(c)={(12(A+AT)0C0)},U0(c)=0.
As in Theorem 5, we can expand any element as x=Σ(λijEij+μij-1Eij), where Eij denotes that element (i,j) is 1 and other elements are zero, and Eij and -1Eij are tripotents, that is, 〈EijEijEij〉=Eij and 〈-1Eij-1Eij-1Eij〉=-1Eij.
Example 2.
Let Sn,2k* be the set of all n×2k matrices with the operation
(28)〈XYZ〉=X(Y-)TZ-Z(Y-)TX+Zϕ(X)Tϕ(Y-),
where X=(x1,x2), xi is an n × k matrix and ϕ(X)=(x2,-x1).
Then Sn,2k* is a Hermitian (-1,-1)-Freudenthal-Kantor triple system. In fact, it satisfies conditions (0), (i), (ii), (iii), (iv), and (v) in Section 2. This triple system with k=1 reduces to the sp(2N)⊕u(1) Hermitian 3-algebra.
In this example, we can show that e=(Eij,Elj), where i≠l are tripotents and any element can be expanded by using part of them.
Example 3.
Let DN,M* be the set of all N×M matrices with the operation
(29)〈xyz〉=xy-Tz-zy-Tx+zxTy--y-xTz.
Then DN,M* is a *-generalized Jordan triple system. In fact, it satisfies conditions (0), (i) with ϵ=-1, (iii), and (iv) in Section 2 but does not satisfy (ii) and (v). This is an extension of the triple system in Example 1.
5. Application to a Field Theory
In this section, we apply a *-generalized Jordan triple system to a field theory.
We start with
(30)S=∫d3xtr(d3xtrQQQQQR×[Tc,T¯b-,Ta][Tf,T¯e-,Td]¯)-DμZADμZA¯T+Lϵμνλd3xtrQQQ×(-Aμb-c∂νAλd-aT¯Td-[Tc,T¯b-,Ta]d3xtrQQQQQR+23Aμd-aAνb-cAλf-ed3xtrQQQQQR×[Tc,T¯b-,Ta][Tf,T¯e-,Td]¯)),
where
(31)DμZA=∂μZA-Aμb-a[Ta,T¯b-,ZA].ZA and Aμ are matter and gauge fields, respectively. A runs from 1 to p, whereas μ runs from 0 to 2. Aμa-b satisfies Aμa-b¯=-Aμb-a. This action is invariant under the transformations generated by the operator L(x,y). This action describes the bosonic parts of the effective actions of supermembranes in M-theory if appropriate potential terms of ZA are added and a Lorentzian Lie 3-algebra or a Hermitian 3-algebra is applied. Here, we apply the *-generalized Jordan triple system [x,y¯,z]:=〈xyz〉=(xy-T-y-xT)z-z(y-Tx-xTy-) in Example 3 to this action.
The covariant derivative is explicitly written as
(32)DμZA=∂μZA-iAμLZA+iZAAμR,
where AμR:=-iAμb-a(T¯Tb-Ta-TTaT¯b-) and AμL:=-iAμb-a(TaT¯Tb--T¯b-TTa) are real antisymmetric matrices, which generate the o(N) and o(M) Lie algebras, respectively. The action can be rewritten in a covariant form with respect to o(N) and o(M) and we obtain a Chern-Simons gauge theory:
(33)S=∫d3xtr(12-(∂μZA-iAμLZA+iZAAμR)d3xtrQQs×(∂μZA-iAμLZA+iZAAμR)¯Td3xtrQQs+Lϵμνλ(12(AμL∂νAλL-AμR∂νAλR)d3xtrQQs+i3(AμLAνLAλL-AμRAνRAλR)12)).
In this action, AμL and AμR transform as adjoint representations of o(N) and o(M), respectively, whereas ZA transforms as a bifundamental representation of o(N)⊕o(M),
(34)δAμR=[iΛR,AμR],δAμL=[iΛL,AμL],δZA=iΛLZA-ZA(iΛR),
where gauge parameters ΛR and ΛL are defined in the same way as AμR and AμL, respectively.
Next, let us examine whether the novel Higgs mechanism works in this theory when M=N. By redefining the gauge fields as
(35)AμL=Aμ+Bμ,AμR=Aμ-Bμ,
we can separate a nondynamical mode Bμ as
(36)S=∫d3xtr(2i3-(DμZA-i{Bμ,ZA})d3xtrQQ×(DμZA-i{Bμ,ZA})¯Td3xtrQQ+Lϵμνλ(BμFνλ+2i3BμBνBλ)),
where
(37){Bμ,ZA}=BμZA+ZABμ,DμZA=∂μZA-i[Aμ,ZA],Fμν=∂μAν-∂νAμ+i[Aμ,Aν].
We divide ZA into two real matrices as
(38)ZA=iXA+Xp+A,
and consider fluctuations around a background solution as Xp=vI+X~p. If we rescale L and Bμ as
(39)L=𝒪(v),Bμ=𝒪(1v),
we obtain
(40)S=∫d3xtr(-DμZA(DμZA)¯T-4BμDμX2pvd3xtrQQs-4BμBμv2+LϵμνλBμFνλ(ZA)¯T)+𝒪(1v).
By using the equation of motion of Bμ,
(41)Bμ=L8v2ϵμνλFνλ-12vDμX2p+𝒪(1v2),
the action reduces to
(42)S⟶∫d3xtr(-g2Fμν2-(DμXi)2)
as v→∞, where g=L/v and i run from 1 to 2p-1. Therefore, we conclude that the novel Higgs mechanism works in the Chern-Simons gauge theory with the *-generalized Jordan triple system in Example 3 with M=N, and we obtain a Yang-Mills theory in this limit.
6. Concluding Remarks
For our triple systems, we emphasized in this paper that there exists a generalized concept of Hermitian 3-algebras, which have played crucial roles in M-theory. In particular, we find the novel Higgs mechanism also works in the generalized concept.
HFKTSs and *-generalized Jordan triple systems 〈xyz〉 can be regarded as left and right actions on z by two Lie algebras, as one can see in the examples. For the novel Higgs mechanism, it is necessary that the two Lie algebras are the same because we need to define summation between the Lie algebras as in Section 5. Thus, the novel Higgs mechanism works only when Example 3 is applied among the examples in this paper.
Our principal physical motivation for generalizing the Hermitian 3-algebras to HKFTSs is to regularize the Nambu 3-algebra, which is defined by a Nambu bracket. The area-preserving diffeomorphism (APD) algebra defined by a Poisson bracket on a torus is regularized by the u(N) algebra in the 't Hooft base. On the other hand, the APD algebra defined on a sphere is regularized by the u(N) algebra in another base. That is, regularizations of infinite-dimensional algebras depend on the basis of the corresponding finite algebras. Although Hermitian 3-algebras (u(N)⊕u(M) and sp(2N)⊕u(1) Hermitian 3-algebras) are strong candidates for the regularization of the Nambu 3-algebra because of their large symmetries and their relations to M2-branes, it is not clear how to choose a base for the regularization. To study this systematically, we generalized the Hermitian 3-algebras to HFKTSs (u(N)⊕u(M) to Example 1 and sp(2N)⊕u(1) to Example 2), and we found a nilpotent basis for them. The next step is to generalize the Nambu 3-algebra to HFKTSs and to find a corresponding nilpotent base. Then by restricting the HFKTSs to the 3-algebras, we may prove that the Nambu 3-algebra is regularized by a Hermitian 3-algebra.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgment
The work of Matsuo Sato is supported in part by Grant-in-Aid for Young Scientists (B) no. 25800122 from JSPS.
KamiyaN.A structure theory of Freudenthal-Kantor triple systems1987110110812310.1016/0021-8693(87)90038-XMR904183ZBL0624.17002KamiyaN.A structure theory of Freudenthal-Kantor triple systems II19893814160MR998866ZBL0693.17002KamiyaN.A structure theory of Freudenthal-Kantor triple systems III1989233351MR1044717ZBL0699.17002KamiyaN.The construction of all simple Lie algebras over C from balanced Freudenthal-Kantor triple systems19917Stuttgart, GermanyHölder-Pichler-Tempsky, Wien, Austria; Veralg G. Teubner205213MR1143084ZBL0743.17005KamiyaN.On Freudenthal-Kantor triple systems and generalized structurable algebras1994303Dordrecht, The NetherlandsKluwer Academic198203Mathematics and Its Applications10.1007/978-94-011-0990-1_33MR1338181ZBL0819.17004KamiyaN.On the Peirce decompositions for Freudenthal-Kantor triple systems19972561833184410.1080/00927879708825956MR1446133ZBL0891.17004KamiyaN.FuchsJ.Examples of Peirce decomposition of generalized Jordan triple system of second order—balanced cases2005391Providence, RI, USAAmerican Mathematical Society157165Contemporary MathematicsMR2184020ZBL1117.17009KamiyaN.OkuboS.On δ-Lie supertriple systems associated with (ϵ,δ)-Freudenthal-Kantor supertriple systems200043224326010.1017/S0013091500020903MR1763049KantorI. L.KamiyaN.A Peirce decomposition for generalized Jordan triple systems of second order200331125875591310.1081/AGB-120024858MR2014907ZBL1039.17032KantorI. L.Models of the exceptional Lie algebras197314254258MR0349779KantorI. L.Some generalizations of Jordan algebras197216407499MR0321986ZBL0272.17001KaupW.Algebraic characterization of symmetric complex Banach manifolds197722813964MR045409110.1007/BF01360772ZBL0335.58005LoosI.1977Irvine, Calif, USAUniversity of CaliforniaMathematical LecturesMeybergK.1972Charlottesville, Va, USAThe University of VirginiaLecture NotesMR0340353NeherE.On the radical of J*-triples1992211132333210.1007/BF02571432MR1184333KamiyaN.SatoM.'Hermitian generalised Jordan triple systems and certain applications to field theoryIn pressPalmerS.SämannC.M-brane models from non-abelian gerbes201220127, article 10MR296774010.1007/JHEP07(2012)010PalmerS.SämannC.Six-dimensional (1,0) superconformal models and higher gauge theory2013541111350910.1063/1.4832395MR3154375PalmerS.SämannC.The ABJM model is a higher gauge theoryhttp://xxx.tau.ac.il/abs/1311.1997NambuY.Generalized Hamiltonian dynamics19737824052412MR045561110.1103/PhysRevD.7.2405ZBL1027.70503FilippovV. T.n-Lie algebras1985266126140MR816511ZBL0594.17002BergshoeffE.SezginE.TownsendP. K.Supermembranes and eleven-dimensional supergravity19871891-2757810.1016/0370-2693(87)91272-XMR890903de WitB.HoppeJ.NicolaiH.On the quantum mechanics of supermembranes1988305454558110.1016/0550-3213(88)90116-2MR984284AwataH.LiM.MinicD.YoneyaT.On the quantization of Nambu brackets200120012, article 1310.1088/1126-6708/2001/02/013MR1825236MinicD.M-theory and deformation quantizationhttp://arxiv.org/abs/hep-th/9909022BaggerJ.LambertN.Modeling multiple M2-branes2007754704502010.1103/PhysRevD.75.045020MR2304429GustavssonA.Algebraic structures on parallel M2 branes20098111-2667610.1016/j.nuclphysb.2008.11.014MR2492260ZBL1194.81205BaggerJ.LambertN.Gauge symmetry and supersymmetry of multiple M2-branes2008776606500810.1103/PhysRevD.77.065008MR2430027AharonyO.BergmanO.JafferisD. L.MaldacenaJ.N=6 superconformal Chern-Simons-matter theories, M2-branes and their gravity duals2008200810, article 9110.1088/1126-6708/2008/10/091MR2452954ZBL1245.81130BaggerJ.LambertN.Three-algebras and N=6 Chern-Simons gauge theories2009792802500210.1103/PhysRevD.79.025002MR2491183ZBL1222.81264Figueroa-O'FarrillJ.PapadopoulosG.Plücker-type relations for orthogonal planes2004493-429433110.1016/S0393-0440(03)00093-7MR2076747ZBL1075.83034PapadopoulosG.M2-branes, 3-Lie algebras and Plücker relations200820085, article 5410.1088/1126-6708/2008/05/054MR2411305GauntlettJ. P.GutowskiJ. B.Constraining maximally supersymmetric membrane actions200820086, article 5310.1088/1126-6708/2008/06/053MR2421399GaiottoD.WittenE.Janus configurations, Chern-Simons couplings, and the θ-angle in N=4 super Yang-Mills theory201020106, article 9710.1007/JHEP06(2010)097MR2680316HonmaY.IsoS.SumitomoY.ZhangS.Janus field theories from multiple M2 branes2008782702502710.1103/PhysRevD.78.025027MR2461489HosomichiK.LeeK.-M.LeeS.LeeS.ParkJ.N=5,6 superconformal Chern-Simons theories and M2-branes on orbifolds200820089, article 210.1088/1126-6708/2008/09/002MR2447788ZBL1245.81094SchnablM.TachikawaY.Classification of N=6 superconformal theories of ABJM type201020109, article 10310.1007/JHEP09(2010)103MR2776936MukhiS.PapageorgakisC.M2 to D2200820085, article 8510.1088/1126-6708/2008/05/085MR2411274GomisJ.MilanesiG.RussoJ. G.Bagger-Lambert theory for general Lie algebras200820086, article 7510.1088/1126-6708/2008/06/075MR2421377BenvenutiS.Rodríguez-GómezD.TonniE.VerlindeH.N=8 superconformal gauge theories and M2 branes200920091, article 7810.1088/1126-6708/2009/01/078MR2480306ZBL1243.81198HoP.-M.ImamuraY.MatsuoY.M2 to D2 revisited200820087, article 310.1088/1126-6708/2008/07/003MR2430181BandresM. A.LipsteinA. E.SchwarzJ. H.Ghost-free superconformal action for multiple M2-branes200820087, article 11710.1088/1126-6708/2008/07/117MR2430067de MedeirosP.Figueroa-O'FarrillJ.Méndez-EscobarE.RitterP.On the Lie-algebraic origin of metric 3-algebras2009290387190210.1007/s00220-009-0760-1MR2525643ZBL1259.81081CherkisS. A.DotsenkoV.SämannC.Superspace actions for multiple M2-branes, metric 3-algebras, and their classification20097981108600210.1103/PhysRevD.79.086002MR2505621HoP.-M.MatsuoY.ShibaS.Lorentzian Lie (3-)algebra and toroidal compactification of M/string theory200920093, article 4510.1088/1126-6708/2009/03/045MR2495671de MedeirosP.Figueroa-O'FarrillJ.Méndez-EscobarE.RitterP.Metric 3-Lie algebras for unitary Bagger-Lambert theories200920094, article 3710.1088/1126-6708/2009/04/037MR2505992NishinoH.RajpootS.Triality and Bagger-Lambert theory2009671341542110.1016/j.physletb.2008.12.024MR2490734GustavssonA.ReyS. -J.Enhanced N=8 supersymmetry of ABJM theory on R(8) and R(8)/Z(2)http://arxiv.org/abs/0906.3568AharonyO.BergmanO.JafferisD. L.Fractional M2-branes2008200811, article 4310.1088/1126-6708/2008/11/043MR2460990HanadaM.MannelliL.MatsuoY.Large-N reduced models of supersymmetric quiver, Chern-Simons gauge theories and ABJM2009200911, article 8710.1088/1126-6708/2009/11/087MR2628867IshikiG.ShimasakiS.TsuchiyaA.Large N reduction for Chern-Simons theory on S32009808508600410.1103/PhysRevD.80.086004MR2607714KawaiH.ShimasakiS.TsuchiyaA.Large N reduction on group manifolds201025173389340610.1142/S0217751X10049396MR2669594ZBL1193.81066IshikiG.ShimasakiS.TsuchiyaA.A novel large-N reduction on S3: demonstration in Chern-Simons theory2010834342345210.1016/j.nuclphysb.2010.02.026PangY.WangT.N M2-branes to N D2-branes20087812612500710.1103/PhysRevD.78.125007MR2487273deBellisJ.SämannC.SzaboR. J.Quantized Nambu-Poisson manifolds in a 3-Lie algebra reduced model201120114, article 7510.1007/JHEP04(2011)075MR2833238ZBL1250.81117Sheikh-JabbariM. M.Tiny graviton matrix theory: DLCQ of IIB plane-wave string theory, a conjecture200420049, article 1710.1088/1126-6708/2004/09/017MR2108773GomisJ.SalimA. J.PasseriniF.Matrix theory of type IIB plane wave from membranes200820088, article 210.1088/1126-6708/2008/08/002MR2434584HosomichiK.LeeK.-M.LeeS.Mass-deformed Bagger-Lambert theory and its BPS objects2008786606601510.1103/PhysRevD.78.066015MR2470354SmolinL.M theory as a matrix extension of Chern-Simons theory20005911-222724210.1016/S0550-3213(00)00564-2MR1795766ZBL0971.81111SmolinL.The cubic matrix model and a duality between strings and loopshttp://arxiv.org/abs/hep-th/0006137AzumaT.IsoS.KawaiH.OhwashiY.Supermatrix models20016101-225127910.1016/S0550-3213(01)00324-8MR1854290ZBL0971.81155PalmkvistJ.Unifying N=5 and N=6201120115, article 8810.1007/JHEP05(2011)088MR2834545SatoM.Covariant formulation of M-theory200924275019502410.1142/S0217751X09047661MR2583933ZBL1179.81142SatoM.Model of M-theory with eleven matrices201020107, article 2610.1007/JHEP07(2010)026MR2720012SatoM.Supersymmetry and the discrete light-cone quantization limit of the Lie 3-algebra model of M-theory2012854604600310.1103/PhysRevD.85.046003SatoM.Zariski quantization as second quantization201285121012601210.1103/PhysRevD.85.126012SatoM.YasserH. A.3-algebras in string theory2012Rijeka, CroatiaInTechAllisonB. N.A class of nonassociative algebras with involution containing the class of Jordan algebras1978237213315610.1007/BF01351677MR507909ZBL0368.17001JacobsonN.1968Providence, RI, USAAmerican Mathematical SocietyMR0251099OkuboS.1995Cambridge, UKCambridge University PressMR1356224SatakeI.1980Princeton, NJ, USAPrinceton University PressShaferR. D.1966New York, NY, USAAcademic PressKamiyaN.MondocD.A new class of nonassociative algebras with involution20088456872MR241589910.3792/pjaa.84.68ZBL1165.17002KamiyaN.OkuboS.A construction of simple Lie subalgebras of certain types from triple systems200469111312310.1017/S0004972700034304MR2040054ZBL1053.17004KamiyaN.OkuboS.Construction of Lie superalgebras D(2,1;α),G(3) and F(4) from some triple systems2003461879810.1017/S0013091501000876MR1961174ZBL1037.17008