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 22, 2007

Split Real Forms

The science blogosphere has been all atwitter, this week, about E 8E_8, and a purported breakthrough in the representation theory thereof. Most of the posts were not particularly informative. The best of the lot was here, on our sister blog, the n-Category Café.

Not having much intelligent to say, I thought I would take a pass on adding to the frenzy. But, on reconsideration, I thought I might, at least, add ϵ\epsilon about the connection with physics.

First of all, you have to realize what is being talked about is not our friend, the compact Lie group, E 8E_8, but a distant cousin, the split real form, which I will, henceforth, denote by E˜ 8\tilde{E}_8. A complex, simple Lie algebra, 𝔤 \mathfr{g}_{\mathbb{C}}, can have several real forms, only one of which is the Lie algebra of a compact Lie group, GG. At the opposite extreme is the split real form, whose corresponding Lie group, G˜\tilde{G} is “as noncompact as possible.” For example, so(2n,)so(2n,\mathbb{C}) has a compact real form SO(2n)SO(2n), and a split real form, SO(n,n)SO(n,n) (and intermediate real forms, SO(2nk,k)SO(2n-k,k)).

Anyone familiar with the heterotic string will recognize the “E” series of compact Lie groups: E 8,E 7,E 6,E 5=Spin(10), E 4=SU(5),E 3=SU(3)×SU(2) \begin{gathered} E_8,\; E_7,\; E_6,\; E_5=Spin(10),\\ E_4=SU(5),\; E_3=SU(3)\times SU(2) \end{gathered}

The corresponding split real forms E˜ 8,E˜ 7,E˜ 6,E˜ 5=Spin(5,5), E˜ 4=SL(5,),E˜ 3=SL(3,)×SL(2,) \begin{gathered} \tilde{E}_8,\;\tilde{E}_7,\; \tilde{E}_6,\; \tilde{E}_5=Spin(5,5),\\ \tilde{E}_4=SL(5,\mathbb{R}),\; \tilde{E}_3=SL(3,\mathbb{R})\times SL(2,\mathbb{R}) \end{gathered} appear in the maximal supergravity theories (the dimensional reductions of 11 dimensional supergravity down to d=11nd=11-n dimensions). Specifically, the scalars in the supergravity multiplet take values on the homogeneous space E˜ n/K n\tilde{E}_n/K_n, where K nK_n is the maximal compact subgroup1 of E˜ n\tilde{E}_n. K 8=Spin(16),K 7=SU(8),K 6=Sp(4), K 5=Spin(5)×Spin(5),K 4=Spin(5),K 3=SU(2)×SO(2) \begin{gathered} K_8 = Spin(16),\; K_7 = SU(8),\; K_6 = Sp(4),\\ K_5= Spin(5)\times Spin(5),\; K_4=Spin(5),\; K_3 = SU(2)\times SO(2) \end{gathered}

By construction, E˜ n\tilde{E}_n acts a a global symmetry group of the supergravity theory.

Alas, with the exception of the d=3d=3 (and possibly d=4d=4) cases, the supergravity theory is nonrenormalizable, and must be UV-completed. The completion is Type-II string theory (or M-theory) compactified on a torus. The higher dimension operators in the dd-dimensional effective Lagrangian are not invariant under the continuous E˜ n\tilde{E}_n, but only under a discrete E˜ n()\tilde{E}_n(\mathbb{Z}) subgroup, called the U-duality group.

There are massive BPS states in the theory, and these can be organized into representations of E˜ n()\tilde{E}_n(\mathbb{Z}). If you are interested in studying the spectrum of such BPS states (say, to write down a U-duality-invariant formula for the entropy of blackholes in this theory), then you are interested in the representation theory of E˜ n\tilde{E}_n.

For d=3d=3, that’s E˜ 8\tilde{E}_8, and that’s presumably where these latest results might hold some interest for physicists.

1 Looking at this table, I suspect I am not being sufficiently careful about the centers of the respective groups.

Posted by distler at March 22, 2007 12:25 PM

TrackBack URL for this Entry:

4 Comments & 1 Trackback

Re: Split Real Forms

Last year I got a severe reprimand from M. Wodzicki when I invoked the notation E_5, E_4, E_3

Posted by: Alejandro Rivero on March 22, 2007 4:07 PM | Permalink | Reply to this

Re: Split Real Forms

Luckily, he doesn’t run the show here.

I should point out that this notation breaks down spectacularly, if you push it one step further.

From the above, you might guess that the global symmetry group of maximal supergravity in 9 dimensions should be E˜ 2=SL(2,)×SL(2,)\tilde{E}_2 = SL(2,\mathbb{R})\times SL(2,\mathbb{R}).

But you would be wrong. The scalars in 9-dimensional maximal supergravity live on SL(2,)/SO(2)SL(2,\mathbb{R})/SO(2), and the global symmetry group is rank-1, rather than rank-2.

Posted by: Jacques Distler on March 22, 2007 4:41 PM | Permalink | PGP Sig | Reply to this

Re: Split Real Forms

On the other hand, it seems to continue nicely in the other direction: E 9E_9 for sugra down in 2 dimensions, E 10E_{10} in d=1d=1 and E 11E_{11} in d=0d = 0.

Well, I gather that is not settled yet, but there is circumstantial evidence that there is something to this.

By the way, do you know if and how that quantization condition E nE˜ n() E_{n} \to \tilde E_{n}(\mathbb{Z}) appears beyond n=8n = 8?

Posted by: urs on March 23, 2007 5:35 AM | Permalink | Reply to this

Re: Split Real Forms

On the other hand, it seems to continue nicely in the other direction: E 9E_9 for sugra down in 2 dimensions, E 10E_{10} in d=1d=1 and E 11E_{11} in d=0d=0.

I believe it’s the source of these conjectures.

By the way, do you know if and how that quantization condition E˜ nE˜ n()\tilde{E}_n\to\tilde{E}_n(\mathbb{Z}) appears beyond n=8n=8?

One way to understand it is from the quantization of charges of BPS particles and branes. The lattice of charges is not preserved by continuous E˜ n\tilde{E}_n transformations, but is preserved by E˜ n()\tilde{E}_n(\mathbb{Z}).

Posted by: Jacques Distler on March 23, 2007 10:44 AM | Permalink | PGP Sig | Reply to this
Read the post A Little Group Theory ...
Weblog: Musings
Excerpt: Mania in the physics blogosphere.
Tracked: November 22, 2007 12:23 AM

Post a New Comment