## Abstract

We review recent progress in formulating the worldvolume theory of M2-branes using the Nambu bracket.Although it is generally agreed that this formulation should be replaced by another using the superconformal Chern–Simons theory, we try to pursue a possible complementary role played by the Nambu bracket.Since the partition function of the superconformal Chern–Simons theory implies a hidden super gauge group, we study the supersymmetric generalization of the Nambu bracket.We explicitly construct the superunitary Nambu algebra.

## 1. Introduction

In 1973, Nambu proposed a generalization of the Hamiltonian mechanics [1]. In this dynamics, there appear multiple Hamiltonians $$H$$ and $$K$$ governing the time evolution

Just as the Poisson bracket satisfies the Jacobi identity, this bracket also satisfies an identity, which is now called the fundamental identity or the Filippov identity. Since the bracket was further generalized to those with $$n$$ entries, this algebra with three entries is called the three-algebra.

Recently, a proposal has been put forward to formulate the worldvolume theory of multiple M2-branes using the Nambu bracket. This theory is called BLG theory after its founders, Bagger, Lambert, and Gustavsson [2, 3]. See Ref. [4] for an extensive review of the BLG theory. It is surprising to see Nambu's idea revived after three decades at the frontier of string theory.

The BLG theory is a 2+1D theory whose Lagrangian is schematically

However, it was found that the fundamental identity is very restrictive. In fact, if we require the algebra to be finite-dimensional, positive-definite, and completely antisymmetric, it can be proved that there is essentially only one algebra [6, 7].^{1} This is in contrast to our expectation of describing $$N$$ multiple M2-branes. So there were some trials to relax these requirements.

In the meantime, it was gradually realized that multiple M2-branes can be described by the supersymmetric generalization of the Chern–Simons theory (called ABJM (Aharony–Bergman–Jafferis–Maldacena) theory) [11–13], following an early attempt in [14]. In fact, among others, the free energy of this theory reproduces [15] the $$N^{3/2}$$ behavior^{2} of the degrees of freedom of the M2-branes [24]. This is strong nontrivial evidence for the theory.

All of the studies on the supersymmetry, the large-$$N$$ behavior, and the moduli space indicate that the ABJM theory in the infrared limit describes the multiple M2-brane system correctly. However, at the same time, it is known that for the flat case $$k=1$$ not all of the supersymmetries $${\cal N}=8$$ are realized explicitly. This leads us to expect that there may be room for improvement.

Here we shall make a trial in this direction. After reviewing the progress in the BLG theory and the ABJM theory, we shall turn to discuss a rather bold generalization by supersymmetrizing the three-algebra.

## 2. Three-algebra

This section is devoted to a review of the three-algebra mainly from the algebraic viewpoint. We shall start with Lie algebra, which is defined as a linear space equipped with a binary operation $$[*,*]:{\mathfrak G}\times{\mathfrak G}\to{\mathfrak G}$$, satisfying the following properties:

◦ antisymmetry,$$[X,Y]=-[Y,X]$$,

◦ bilinearity, $$[aX+bY,Z]=a[X,Z]+b[Y,Z]$$, and

◦ Jacobi identity, $$[[X,Y],Z]+[[Y,Z],X]+[[Z,X],Y]=0$$.

Note that the Jacobi identity can be alternatively rewritten as

The Nambu algebra is a natural generalization of the Lie algebra. Namely, it is the linear space equipped with a ternary operation $$[*,*,*]:{\mathfrak G}\times{\mathfrak G}\times{\mathfrak G}\to{\mathfrak G}$$, which satisfies the fundamental identity, a natural generalization of (2.1),

As before, we give a pictorial representation of the fundamental identity in Fig. 2. Using the fundamental identity of the Nambu algebra, we can prove the gauge symmetry and the $${\cal N}=8$$ supersymmetry [5]. In this sense, we expect that the M2-branes in M-theory are described by the BLG theory.^{3}

Since we expect the rank of the gauge group to be identified with the number of M2-branes, we are interested in finite-dimensional algebras. However, if we require conditions of finite dimension, complete antisymmetry, and positive-definite metric, it can be proved [6, 7] that the only nontrivial structure constant is

The basic strategy in progress is to avoid these assumptions. One fundamental example with infinite dimension is (1.2), which is the original Nambu bracket introduced in Ref. [1] and was later interpreted as the M5-brane in Refs. [28–31]. If we avoid the complete antisymmetry, this is nothing but the reformulation [32] of the ABJM theory [11] that we will discuss later.

Another interesting possibility is to avoid the positive-definite Killing metric [33–35], which leads to the so-called Lorentzian BLG theory. Namely, besides the Lie algebra generators, we add “outer automorphism” $$u$$ and “center” $$v$$:

Namely, the structure constant of the three-algebra is expressed in terms of that of the Lie algebra as

## 3. ABJM theory

The subsequent developments do not directly follow the idea of the Nambu bracket. Initiated by the idea [14] of supersymmetrizing the 2+1D non-Abelian Chern–Simons gauge theory, it was finally found that the system of $$N$$ coincident M2-branes on a geometry $${\mathbb C}^4/{\mathbb Z}_k$$ is described by the $${\cal N}=6$$ supersymmetric Chern–Simons theory [11]. The gauge group is U$$(N)_k\times$$U$$(N)_{-k}$$ where the subscripts $$k,-k$$ stand for the Chern–Simons levels. Besides the gauge field in the adjoint representation, we also need two pairs of bifundamental matters $$(N,\overline N)$$ and $$(\overline N,N)$$.

After various investigations, it turns out that the ABJM theory is correct. This, however, does not directly mean that there is no room for improvement. For example, although the supersymmetry preserved by the M2-branes on the flat spacetime is $${\cal N}=8$$, only $${\cal N}=6$$ is realized in the ABJM theory. We shall look at the partition function and one-point functions of the half-BPS Wilson loop operator in the ABJM theory more carefully for a possible clue.

The partition function and one-point functions of the half-BPS Wilson loop on $$S^3$$ were calculated. Using the localization technique, it was found that the expectation value originally defined by the infinite-dimensional path integral,

If we look at the expression more carefully, it is not difficult to observe a deep relation to the supergroup U$$(N|N)$$ [38].^{4} Namely, the character $$W_Y(e^\mu,e^\nu)$$ appearing after the localization of the Wilson loop operator is nothing but that of the supergroup U$$(N|N)$$; the exponent appearing in the integrations,

All of this evidence indicates that the supergroup structure is hidden behind the theory.

Hence, on one hand, the BLG theory is unsatisfactory because of its lack of examples of the three-algebra, while, on the other hand, the ABJM theory does not realize all of the supersymmetries $${\cal N}=8$$ and the study of the partition function and one-point functions suggests a hidden supersymmetric gauge group. Putting these considerations together, it is then interesting to ask whether we can take the idea of the super gauge group seriously by considering the supersymmetric generalization of the Nambu algebra. Namely, we try to take a stance that the hidden super gauge group U$$(N|N)$$ appears not accidentally after the localization but as a gauge group for the BLG theory from the beginning. It is only after we partially fix the fermionic gauge symmetry that we end up with the conventional ABJM theory with the bosonic gauge group U$$(N)\times$$U$$(N)$$.

It is known that in general the supergroup contains negative norms. Typically, this is unacceptable in the path integral. However, in the novel Higgs mechanism [36] we have already accepted one negative component. Here let us simply assume that the multi-components of negative norms are still harmless. In fact, in the matrix model (3.2) the negative norms contribute as the Fresnel integral instead of the Gaussian integral. Also, if we supersymmetrize the Nambu bracket as a gauge group, it is important to understand the role of the Chern-Simons level $$k$$ in this theory. Let us neglect these problems and proceed for now. It is important to come back to these problems in the future.

## 4. Super-three-algebra

We shall pose the question of whether it is possible to construct a Nambu superalgebra respecting the symmetry u$$(N|N)$$. Namely, given the generators and the Killing metric of u$$(N|N)$$, we are interested in constructing a Nambu superalgebra satisfying the fundamental identity and other properties.^{5}

Before proceeding to studying this question, we shall explain the superalgebra u$$(N|N)$$ and note that this algebra has a structure very similar to the Lorentzian three-algebra. The superalgebra u$$(N|N)$$ contains two u$$(N)$$ factors as its bosonic subgroup, whose generators are denoted by $$L^\alpha{}_\beta$$$$(\alpha,\beta=1,2,\ldots,N)$$ and $$R^a{}_b$$$$(a,b=1,2,\ldots,N)$$, and fermionic generators connecting the two u$$(N)$$ factors denoted by $$Q^c{}_\delta$$ and $$S^\gamma{}_d$$. The commutation relations are

If we separate the trace part,

The nontrivial commutators related to the generator $$u$$ are

With these structures we can drop two generators $$u$$ and $$v$$ and define the algebra psu$$(N|N)$$. All of these structures relate to the Lorentzian three-algebra. This is why we have referred to $$u$$ and $$v$$ as outer automorphism and center in Sect. 2. To summarize, in terms of the structure constants, the superalgebras u$$(N|N)$$ and psu$$(N|N)$$ are given as in Table 1. Note that the Jacobi identity (2.3) should be modified by

Now let us generalize the super-Lie algebra to the three-algebra. Namely, we write down the structure constants given in Table 2,, which are consistent with the tensorial structure of u$$(N)\times$$u$$(N)$$ and the complete antisymmetry. After that, to see what coefficients are allowed, we substitute the ansatz into the fundamental identity (2.7), which, for the super case, should be modified into

In this way, we have obtained a set of equations for the coefficients. Up to a sign ambiguity (which should only relate to the conventions), the solution is given as in Table 3.

The result in Table 3 can be summarized as

## 5. Summary

As we have seen here, Nambu brackets have played an important role in understanding the M2-branes. In particular, recent progress in understanding the multiple M2-branes starts from the Nambu algebra. From it we arrive at the BLG theory, and afterwards the ABJM theory. The ABJM theory turns out to describe the multiple M2-branes correctly, though there may be room for improvement, because the supersymmetry is realized only up to $${\cal N}=6$$. From the expression of the partition function of the ABJM theory obtained from the localization, we expect that the supergroup U$$(N|N)$$ may play a role in the gauge symmetry.

Putting these considerations together, we are naturally led to the idea of supersymmetrizing the Nambu algebra. We have found that the Nambu algebra built on the superalgebra u$$(N|N)$$ does exist. The result is given explicitly in terms of the structure constants of psu$$(N|N)$$. Although this is not surprising, this indicates that the framework of (4.8) fits well with the Lorentzian three-algebra (2.10).

A natural question would be whether the super-three-algebra works for other superalgebras like u$$(N_1|N_2)$$ or osp$$(N_1|2N_2)$$, where the theories also enjoy an enhanced supersymmetry of $${\cal N}=6$$ or $${\cal N}=5$$ [12, 13]. Many interesting relations between these theories have been found recently, such as chiral projection [43–48], the Giambelli identity [49,50], the open–closed duality [51,52], quiver doubling [53,54], and the quantum Wronskian relation [55]. It would be nice if we could study these relations from algebraic viewpoints.

To recapitulate, our stance is to assume the existence of a fundamental BLG theory with gauge group given by the super-three-algebra. After partially fixing the fermionic gauge symmetry, we expect that the theory reduces to the original ABJM theory where the superalgebra is invisible. The superalgebra appears again when computing the partition function or one-point functions of the half-BPS Wilson loop. For this expectation to work, we need to construct a full theory by considering the superpartners of the BLG theory and study the partial gauge fixing of the fermionic symmetry or compute the partition function using the super-BLG theory. One difficulty would be the negative norms in the quantization. We expect, however, that they are harmless in the Fresnel integral.

In Ref. [56] the directions of the negative components were interpreted as the compactification directions. Our interpretation seems different from this viewpoint. It would be interesting to see the relation between the two interpretations.

## Acknowledgements

We are grateful to Pei-Ming Ho, Takuya Matsumoto, and Yutaka Matsuo for valuable comments on our manuscript and Koji Hashimoto, Shinji Hirano, Seiji Terashima, and Satoshi Yamaguchi for discussions. The work of S.M. is supported by a JSPS Grant-in-Aid for Scientific Research (C) No. 26400245. S.M. would like to thank Yukawa Institute for Theoretical Physics at Kyoto University for their hospitality.

## Funding

Open Access funding: SCOAP^{3}.

## References

^{1}See Refs. [8–10] for earlier studies on the fundamental identity and these requirements.

^{3}Some other interesting ideas of studying M-theory using the Nambu bracket can be found, e.g., in Refs. [25–27]

^{4}The possible connection to the supergroup has already been observed in Ref. [39] from the gauge group and the matter contents.

^{5}The classification of the super-three-algebra in the $${\cal N}=6$$ setup [32] was done in Refs. [40–42].We are grateful to Takuya Matsumoto for pointing out these references to us.

^{3}