Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

March 26, 2008

Bagger-Lambert

The low-energy theory on a (stack of) D2-brane(s) is a maximally-supersymmetric gauge theory in 2+1 dimensions. The Yang-Mill multiplet has a gauge field and 7 real scalars in the adjoint representation. At least if you are out on the Coulomb branch, where the gauge symmetry is Higgsed down to the Cartan, you can dualize the gauge fields to another scalar, which is circle-valued.

The M2-brane is obtained as the strong-coupling limit of this theory. The radius of the circles (one for each element of the Cartan subalgebra) go to infinity, and the SO(7)SO(7) R-symmetry is promoted to SO(8)SO(8). This strong-coupling limit is superconformal, but the above description is effective only for the free theory, where the M2-branes are separated (away from the origin, the moduli space looks like 8n/S n\mathbb{R}^{8n}/S_n). The theory of coincident M2-branes is an interacting SCFT which, so far, does not have a Lagrangian description. But there’s no theorem that rules out a Lagrangian description, so there may just be one.

Bagger and Lambert recently proposed a very interesting maximally supersymmetric interacting 2+1D Lagrangian field theory which, at least classically, seems to be superconformal. It does not arise as the dimensional reduction of some higher dimensional theory, and so it was missed in previous attempts at tackling this problem.

I never got around to blogging about Bagger and Lambert’s paper, but Bandres, Lipstein and Schwarz wrote a nice followup, which gives me an excuse to return to the subject.

Update:

Whoops! Even as was typing this, Mark van Raamsdonk came out with a paper making some of the points below. I’d better hurry up and post this, before there are yet-more followup papers to discuss.

Let me start with some notational preliminaries. The connected part of the Lorentz group in 2+1 dimensions is SL(2,)SL(2,\mathbb{R}), so we’ll use a Wess and Bagger-like notation for spinors1. Spinor indices are raised and lowered using the 2-component ϵ\epsilon-symbol, ϵ αβ=ϵ βα\epsilon_{\alpha\beta}= -\epsilon_{\beta\alpha}. The γ\gamma-matrices are σ αβ μ=σ βα μ\sigma^\mu_{\alpha\beta} = \sigma^\mu_{\beta \alpha}, and are real. After raising an index using ϵ αβ\epsilon^{\alpha\beta}, we can write (γ μ) α β =ϵ αδσ δβ μ\tensor{(\gamma^\mu)}{^\alpha_\beta}= \epsilon^{\alpha\delta}\sigma^\mu_{\delta\beta} in terms of Pauli matrices, with γ 0=iσ 2\gamma^0 =i\sigma_2.

Also real are the SO(8)SO(8) γ\gamma-matrices, which we can regard as a trilinear form Γ:VSC \Gamma: V\otimes S\otimes C \to \mathbb{R} where VV, SS, and CC are the three 8-dimensional real representations of Spin(8)Spin(8). Alternatively, letting “II” be an SO(8)SO(8) vector index, we think of Γ I:CS \Gamma^I: C\to S We’ll also need Γ IJ =Γ˜ [IΓ J]:CC Γ IJK =Γ [IΓ˜ JΓ K]:CS \begin{aligned} \Gamma^{I J} &= \tilde{\Gamma}^{[I}\Gamma^{J]}: C\to C\\ \Gamma^{I J K} &= \Gamma^{[I} \tilde{\Gamma}^J \Gamma^{K]}: C\to S \end{aligned} where Γ˜ I=(Γ I) t:SC\tilde{\Gamma}^I ={\left(\Gamma^I\right)}^t: S\to C.

What Bagger and Lambert do is introduce an auxiliary vector space, WW (really, a vector bundle, which we will take to be trivial). WW is endowed with a positive definite inner product, (,):Sym 2(W) (\cdot,\cdot): \Sym^2(W)\to \mathbb{R} and a skew-symmetric quadrilinear form, f: 4W f: \wedge^4 W \to \mathbb{R} Alternatively, using the metric, we can regard ff as a trilinear product

(1)[,,]: 3WW[\cdot,\cdot,\cdot]: \wedge^3 W \to W

The fields of the model are ϕ a scalar field taking values inWV ψ α a spinor field taking values inWC A μ aGSO(W)gauge connection \begin{aligned} \phi& \text{a scalar field taking values in}\, W\otimes V\\ \psi_\alpha& \text{a spinor field taking values in}\, W\otimes C\\ A_\mu& \text{a}\, G\subset SO(W)\, \text{gauge connection}\\ \end{aligned}

Now, so(W) 2Wso(W)\simeq \wedge^2 W has the usual action on WW,

(2)αβ:XX+α(β,X)β(α,X)\alpha\wedge\beta: X \mapsto X +\alpha(\beta,X) - \beta(\alpha,X)

But, because we have (1), we can contemplate an “exotic” action,

(3)αβ:XX+[α,β,X]\alpha\wedge\beta: X \mapsto X +[\alpha,\beta,X]

We demand that ff be invariant under this action, which amounts to requiring

(4)[α,β,[X,Y,Z]]=[[α,β,X],Y,Z]]+[X,[α,β,Y],Z]+[X,Y,[α,β,Z]][\alpha,\beta,[X,Y,Z]] = [[\alpha,\beta,X],Y,Z]] + [X,[\alpha,\beta,Y],Z] + [X,Y,[\alpha,\beta,Z]]

Then the antisymmetry of ff ensures that the inner product, (,)(\cdot,\cdot) is also invariant.

Unfortunately, (3) is not really satisfactory. The action of so(W)so(W) must satisfy the the Lie-algebra relations,

(5)[δ αβ,δ γδ]=(β,γ)δ αδ+(α,δ)δ βγ(β,δ)δ αγ(α,γ)δ βδ[\delta_{\alpha\wedge\beta},\delta_{\gamma\wedge\delta}] = (\beta,\gamma)\delta_{\alpha\wedge\delta}+ (\alpha,\delta)\delta_{\beta\wedge\gamma} - (\beta,\delta)\delta_{\alpha\wedge\gamma}-(\alpha,\gamma)\delta_{\beta\wedge\delta}

so it would make sense, for instance, to gauge that symmetry. If we try to impose that (3) satisfy (5), this would require

(6)[[α,β,γ],δ,X][[α,β,δ],γ,X]= (β,γ)[α,δ,X]+(α,δ)[β,γ,X] (β,δ)[α,γ,X](α,γ)[β,δ,X]\begin{aligned} [[\alpha,\beta,\gamma],\delta,X] - [[\alpha,\beta,\delta],\gamma,X] =& (\beta,\gamma)[\alpha,\delta,X]+(\alpha,\delta)[\beta,\gamma,X]\\ & -(\beta,\delta)[\alpha,\gamma,X] - (\alpha,\gamma)[\beta,\delta,X] \end{aligned}

which does not hold in any of the known solutions.

The closest one comes is when WW is 4-dimensional. The quadrilinear form, ff, is just the 4-index ϵ\epsilon-symbol, and 2W\wedge^2 W is decomposable into self-dual and anti-self-dual forms 2W= + 2W 2W \wedge^2 W = \wedge^2_+ W \oplus \wedge^2_- W with respect to this form. The action of 2W\wedge^2_- W on WW is the one induced from (3), while the action of + 2W\wedge^2_+ W on WW is the one induced from αβ:XX[α,β,X] \alpha\wedge\beta: X \mapsto X - [\alpha,\beta,X] These signs are made slightly more transparent by mapping 4\mathbb{R}^4 to the quaternions X=12(X 4+iX 3 iX 1X 2 iX 1+X 2 X 4iX 3) \mathbf{X} = \frac{1}{2}\begin{pmatrix} X_4 + i X_3& i X_1 - X_2\\ i X_1 + X_2& X_4 - i X_3 \end{pmatrix} where we’ve represented the unit quaternions by ii times the Pauli matrices. In this notation, the inner product is 12(X,Y)=Tr(X Y) \tfrac{1}{2} (X, Y) = Tr(\mathbf{X}^\dagger \mathbf{Y}) The matrix representing [X,Y,Z][X,Y,Z] is [X,Y,Z] 43(XY Z+YZ X+ZX Y (ZY X+YX Z+XZ Y)) \begin{aligned} [X,Y,Z]\simeq & \tfrac{4}{3}\left( \mathbf{X} \mathbf{Y}^\dagger \mathbf{Z} +\mathbf{Y} \mathbf{Z}^\dagger \mathbf{X} +\mathbf{Z} \mathbf{X}^\dagger \mathbf{Y} \right.\\ &\left. - (\mathbf{Z} \mathbf{Y}^\dagger \mathbf{X} +\mathbf{Y} \mathbf{X}^\dagger \mathbf{Z} +\mathbf{X} \mathbf{Z}^\dagger \mathbf{Y} ) \right) \end{aligned} In this notation, SO(4)SU(2) L×SU(2) RSO(4)\sim SU(2)_L\times SU(2)_R acts by conjugation Xg LXg R 1 \mathbf{X} \mapsto g_L \mathbf{X} g_R^{-1} whereas (3) would have corresponded to Xg LXg R\mathbf{X} \mapsto g_L \mathbf{X} g_R, which fails to satisfy the group law for SU(2) RSU(2)_R.

Anyway, introducing the covariant derivative2, D μX= μX+A μ LXXA μ R D_\mu \mathbf{X} = \partial_\mu \mathbf{X} + A^L_\mu \mathbf{X} - \mathbf{X} A^R_\mu we can write the action as

(7)S=k(S m+S CS)S = k(S_m+ S_{CS})

where kk\in\mathbb{Z},

(8)S m= d 3xTr((D μΦ) (D μΦ)+iΨ σ μD μΨ 2πi3Ψ Γ IJ(Φ IΦ JΨ+Φ JΨ Φ I+ΨΦ IΦ J) 8π 23(Φ [IΦ JΦ K]Φ [KΦ JΦ I]))\begin{aligned} S_m =&\int d^3 x Tr\left(- (D_\mu \Phi)^\dagger (D^\mu\Phi) + i \Psi^\dagger \sigma^\mu D_\mu \Psi\right.\\ &- \tfrac{2\pi i}{3}\Psi^\dagger\Gamma^{IJ}(\Phi^I\Phi^{J\dagger}\Psi + \Phi^J\Psi^\dagger\Phi^I +\Psi\Phi^{I\dagger}\Phi^J)\\ &\left.- \tfrac{8\pi^2}{3} \left(\Phi^{[I}\Phi^{J\dagger}\Phi^{K]}\Phi^{[K\dagger}\Phi^{J}\Phi^{I\dagger]}\right)\right) \end{aligned}

and

(9)S CS=14πTr(A LdA L23A LA LA LA RdA R+23A RA RA R) S_{CS} = \frac{1}{4\pi} \int Tr\left( A^L d A^L - \tfrac{2}{3} A^L\wedge A^L\wedge A^L - A^R d A^R + \tfrac{2}{3} A^R\wedge A^R\wedge A^R\right)

is the Chern-Simons action at level-1 for SU(2) LSU(2)_L and level-(1-1) for SU(2) RSU(2)_R.

The supercharges are spacetime spinors in the SS of Spin(8)Spin(8), and the supersymmetry variations

(10)δΦ I =iηΓ IΨ δΨ =ηΓ Iσ μD μϕ I+2π3Φ IΦ Jϕ KηΓ IJK δA μ L =iπηΓ Iσ μ(Φ IΨ ΨΦ I) δA μ R =iπηΓ Iσ μ(Ψ Φ IΦ IΨ) \begin{aligned} \delta\Phi^I &= i \eta \Gamma^I \Psi\\ \delta\Psi &= \eta \Gamma^I \sigma^\mu D_\mu\phi^I + \frac{2\pi}{3} \Phi^I\Phi^{J\dagger}\phi^K\eta \Gamma^{I J K}\\ \delta A^L_\mu &= -i\pi \eta \Gamma^I \sigma_\mu (\Phi^I\Psi^\dagger - \Psi\Phi^{I\dagger})\\ \delta A^R_\mu &= -i\pi \eta \Gamma^I \sigma_\mu (\Psi^\dagger\Phi^I- \Phi^{I\dagger}\Psi)\\ \end{aligned}

While it’s probably unsurprising, Bandres et al verify that the rest of the OSp(8|4)OSp(8|4) superconformal algebra holds at the classical level, as well. Perhaps a good challenge for our ERGE friends would be to check that (7) is superconformal at the quantum level.

Parity is implemented, in this theory, in a slightly nonstandard way: accompanying a reflection in one of the spatial coordinates, is an exchange of the two SU(2)SU(2)s and Hermitian conjugation on the matrices Φ\Phi and Ψ\Psi, A LA R Φ IΦ I Ψγ 1Ψ \begin{gathered} A^{L} \leftrightarrow A^R\\ \Phi^I \to \Phi^{I\dagger}\\ \Psi \to \gamma^1 \Psi^\dagger \end{gathered} A Majorana mass term, ψψ\psi\psi is a pseudo-scalar in 2+1 dimensions which, as noted by Bandres et al accounts the requisite sign in the transformation under parity of the second line of (8).

Are there other realizations, where we demand that (3), (4), (5) hold for just some subalgebra, 𝔤so(W)\mathfrak{g}\subset so(W)? An obvious guess would be to replace W=W=\mathbb{H} by W=(n)W=\mathbb{H}(n), the space of n×nn\times n matrices of quaternions. Bandres et al looked for other, more nontrivial, examples, but didn’t find any.

Update: Moduli Space

Van Raamsdonk points out that the moduli space — the space of zeroes of the scalar potential in (8), modulo SO(4)SO(4) gauge transformations — of the Bagger-Lambert model is ( 8× 8)/SO(2)(\mathbb{R}^8\times \mathbb{R}^8)/SO(2). This is because a zero of the potential requires that all 8 of the ϕ I\phi^I lie in a common 2-plane in WW. Configurations which differ by a rotation within that 2-plane are gauge-equivalent, so the moduli space seems to be V 2/SO(2)V\otimes\mathbb{R}^2/SO(2). Rotations in the orthogonal 2-plane comprise a residual unbroken SO(2)SO(2) gauge symmetry, which does does not act on the moduli space.

This looks like a puzzle, because it’s hard to see how the bosonic spectrum (15 massless scalars and a nondynamical U(1)U(1) gauge field) could be N=8N=8 supersymmetric. Fortunately, Mukhi and Papageorgakis ride to the rescue. They show that, when one integrates out the massive modes, the U(1)U(1) gauge field actually becomes dynamical3. A dynamical U(1)U(1) gauge field can be dualized to a circle-valued scalar, so the full moduli space is 8× 8SO(2)×S 1 \frac{\mathbb{R}^8\times \mathbb{R}^8}{SO(2)}\, \times\, S^1 which is the desired answer for the moduli space of a pair of M2-branes. (If I were a little more energetic, I would attempt to show that this actually gets the discrete identifications right, and that the moduli space is ( 8× 8)/ 2(\mathbb{R}^8\times \mathbb{R}^8)/\mathbb{Z}_2.)


1 In 3+1 dimensions, the Lorentz group is SL(2,)SL(2,\mathbb{C}), and we need to distinguish between the two distinct two-dimensional representations. Spinors in the 2\mathbf{2}, ψ α\psi_\alpha, carry undotted indices. Their Hermitian conjugates, ψ¯ α˙\overline{\psi}_{\dot{\alpha}}, carry dotted indices and transform in the 2¯\overline{\mathbf{2}}. In 2+1 dimensions, there’s only one type of spinor, and we can impose a Majorana condition.

2 If you want to insist on using the previous notation, we can write this as D μX= μX+[A μ LA μ R;X] D_\mu X = \partial_\mu X + [A^L_\mu- A^R_\mu;X] where [ω;X]: 2WWW[\omega;X]: \wedge^2W\otimes W\to W is the action of 2-forms on WW, induced from (3), and we explicitly separate out the self-dual and anti-self-dual pieces.

3 Note that, from the underlying parity-invariance of the theory, this U(1)U(1) must have vanishing Chern-Simons coefficient, and so is a massless dynamical gauge field.

Posted by distler at March 26, 2008 11:37 AM

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/1642

7 Comments & 2 Trackbacks

Re: Bagger-Lambert

Thanks for the very useful review.

The day before yesterday I had spent an hour trying to see whether (3), (4), (5) secretly encodes an L L_\infty-algebra structure. So far I haven’t found a satisfactory solution.

The discussion in the appendix of J. Bagger, Comments on multiple M2-branes shows that (3)-(5) is equivalent to a vector space ABA \oplus B equipped with a skew bracket which satisfies the Joacobi identity everywhere except on 3A\wedge^3 A. There the Jacobi identity plain fails (not “up to something”).

That looks odd. If that is all there is, I’d say there might be little point in talking about “3-algebras” in this context. Instead, it would seem that we are just talking about nothing but the volume form on 4\mathbb{R}^4.

But then of course, the way this arises from gauge transformations with not one but two gauge parameters suggests that there is more going on after all. I’ll need to think about this more.

Posted by: Urs Schreiber on March 27, 2008 4:44 AM | Permalink | Reply to this

Lie algebra

Well, as I said, you can realize some 𝔤 2W\mathfrak{g}\subset \wedge^2 W, as a Lie algebra, acting on WW via (3). For instance, su(2) Lsu(2)_L acts that way.

But an L L_\infty structure would have involved endowing WW itself with both a bilinear and a trilinear product. That’s not what seems to be going on here.

Posted by: Jacques Distler on March 27, 2008 8:57 AM | Permalink | PGP Sig | Reply to this

Re: Bagger-Lambert

It’s been a long time that we have had the above exchange. But with Jim Stasheff I recently had another conversation about this which makes me come back here:

As Jim emphasized, the “3-algebra” appearing in Bagger-Lambert nothing but a Nambu bracket (for instance (18), (19) here).

That the Nambu bracket has something to do with membrane mechanics is an old idea, I suppose, for instance appearing here.

I haven’t tried to follow the development of the Bagger-Lambert idea since I posted the above comment. So I am wondering if anybody meanwhile has been making the connection between this new use of the Nambu bracket and that older one in membrane mechanics?

Posted by: Urs Schreiber on May 18, 2008 4:39 AM | Permalink | Reply to this

Re: Bagger-Lambert

There’s alot of mathemaical work on Nambu algebras I was unaware of, so I’m starting a collection, e.g papers by Takhtajan et al and by Gautheron

jim

Posted by: jim stasheff on May 18, 2008 7:59 AM | Permalink | Reply to this

Re: Bagger-Lambert

Hi Jacques,

Nice post. I think that the moduli space, including the modding out by S 2S_2 works out. This is because there is a large gauge transformation that exchanges the real components in X I=x 4 I+ix 3 Iσ 3X^I=x^I_4+i x^I_3\sigma_3. Namely choosing g L=iσ 1g_L=i\sigma_1 and g R=iσ 2g_R=i\sigma_2 does the trick. (Sorry for not using MathML)

Posted by: Joe Minahan on March 28, 2008 1:05 PM | Permalink | Reply to this

Identification

(Sorry for not using MathML)

Itex, actually. I took the liberty of adding dollar signs around your equations, and changing the Text-filter to one of the itex-using filters.

Yeah, the 2\mathbb{Z}_2 identification comes from an SO(4)SO(4) transformation which is a reflection, simultaneously in the two 2-planes.

Equally obvious (I was just tweaking the ERGE guys) is that, if N=8N=8 supersymmetry survives quantization, then this theory is superconformal at the quantum level.

The point is that there is only one independent coupling constant, kk, sitting out in front of the whole Lagrangian. And kk is quantized, because it is the coefficient of a nonabelian Chern-Simons term. Hence it cannot be renormalized.

Posted by: Jacques Distler on March 28, 2008 2:19 PM | Permalink | PGP Sig | Reply to this

Re: Bagger-Lambert

Hi,
Just thought I’d add. We (Tadrowski and Thompson and I) put a paper out last week which I think explains why SO(4) is sensible as the only possible option. We looked at the Bagger Lambert theory of open membranes and found that the target space of the boundary string is 6 dimensional only for SO(4). Since the boundary of a membrane has to be a fivebrane its natural then to limit to SO(4). These are exciting times for the membrane.

regards

David Berman

Posted by: David Berman on April 1, 2008 3:56 PM | Permalink | Reply to this
Read the post Bagger-Lambert Again
Weblog: Musings
Excerpt: A little destructive field theory.
Tracked: June 11, 2008 12:54 AM
Read the post Lie 3-Algebras on the Membrane (?)
Weblog: The n-Category Café
Excerpt: Recently a trinary bracket appears in the study of the supermembrane which is sometimes addressed as a homotopy algebraic structure.
Tracked: November 6, 2008 7:22 PM

Post a New Comment