xml version='1.0' encoding='iso-8859-1'?> My Dinner with Garrett | Musings

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.

September 14, 2008

My Dinner with Garrett

I had a college chum named David. David knew how to live well. He had a perennial twinkle in his eye, as he recounted his last escapade, or told you about his plans for his next. David finished his Senior Thesis a half year early and then spent most of the Spring Semester following the Grateful Dead around the country1.

I was reminded of David, when I sat down recently to lunch with Garrett Lisi. Garrett is one of those free spirits whom many of us (with comparatively humdrum lives) find charming to be around. Garrett seems to also have charmed the folks at FQXi. He received a grant in 2007 to develop a “Theory of Everything” which, as it turns out, has no chiral fermions (and could not possibly have any). Which is fair enough. Most ideas in physics don’t work out, and the only way to find out what works, and what doesn’t, is to try. So it makes total sense to fund the attempt. It’s not so clear to me that another grant, to “further develop the ‘E 8 Theory’” makes sense, but luckily, I’m not on the FQXi selection committee. More remarkable, yet, was that he said he’s organizing a Workshop about his “theory”, and was trying to ascertain whether I would be worth inviting (I suspect the answer was “no”).

So I asked Lisi how he intended to further develop a “Theory of Everything” which, it was already known, could not contain chiral fermions. He said that he was still hoping to obtain chiral fermions (somehow or other) and that complex E 8 was one possibility. Another possibility had something to do with abandoning the whole notion of Lie algebras, but I’m not sure what’s left of the “E 8 Theory” then.

I should point out that, in many ways, E 8 is much simpler. Proving that a Lisi-esque theory, based on one of the noncompact real forms of E 8 , cannot contain chiral fermions requires either a somewhat ugly brute-force calculation, or a cleverer, but slightly indirect argument. In the case of complex E 8 , even a brute force calculation takes only about a page.

So, in the interest of reducing my carbon footprint (and at the cost of boring my readers) …

For a concise review of Lisi’s program, see here. The crucial point to emphasize is that, once one embeds Spin(3,1 )G where, for Lisi, G is some noncompact form of E 8 , which generators of 𝔤 are “fermions”, and which are “bosons”, is dictated by the Spin-Statistics Theorem. Spinorial representations of Spin(3,1 )SL(2 ,) are fermions, tensorial representation are bosons, and which is which in entirely determined by the embedding. This distinction, between spinorial and tensorial representations of SL(2 ,), yields a 2 grading on 𝔤.

The noncompact real forms of E 8 afforded some notion of economy — Lisi hoped to get the matter content of the Standard Model without too much extra junk. E 8 , being twice as large, will contain a disgusting amount of unphysical extra junk in the bosonic sector. Fortunately, proving that the fermion sector is unsatisfactory is much easier, and we can take a more direct approach and prove a more general result.

Consider any embedding SL(2 ,)E 8 . This gives a 2 grading on the Lie algebra. The converse is not true; not all 2 grading come from an embedding of SL(2 ,). If we look at the list of symmetric spaces (in 1-1 correspondence with 2 gradings),

E 8 /E 8 E 8 /E 8 (8 ) E 8 /E 8 (24 ) E 8 /SO(16 ,) E 8 /SL(2 ,)×E 7

the first three correspond to “outer” automorphisms (complex conjugation); the latter two, as we shall see presently2, arise from embeddings of SL(2 ,).

So let’s consider E 8 /G, for G=SO(16 ,),SL(2 ,)×E 7 . Let H be the commutant of SL(2 ,) in E 8 and let H c be the maximal compact subgroup of H. We’re not quite interested in any old embedding. When we decompose the adjoint of E 8 under SL(2 ,), the only spinorial representation we wish to appear are the 2 and the 2 ¯. This means we want SL(2 ,)×HG to be maximal.

Up to isomorphism, then, there are two cases to consider.

  • G=SO(16 ,), H=SO(13 ,). Under E 8 SL(2 ,)×SO(13 ) 248 =(3 +3 ¯,1 )+(1,78 )+(1,78 )+(3,13 )+(3 ¯,13 )+(2,64 )+(2 ¯,64 )
  • G=SL(2 ,)×E 7 , H=E 7 . Under E 8 SL(2 ,)×E 7 248 =(3 +3 ¯,1 )+(1,133 )+(1,133 )+(2,56 )+(2 ¯,56 )

In both cases, the 64 and the 56 are pseudoreal, and the fermion representation is nonchiral (for any gauge group which is, respectively, a subgroup of SO(13 ) or of E 7 ).

There … I feel so much greener already.

1 The thing about my friend David, though, was that he is also really, really, smart. Fun aside, he graduated Summa Cum Laude from Harvard.

2 A similar “brute force” approach to the noncompact real forms of E 8 would be a bit more tedious to carry out, because one would have to study each of the symmetric spaces E 8 (8 )/SO(16 ) E 8 (8 )/SO(8,8 ) E 8 (8 )/SO *(16 ) E 8 (8 )/E 7 (5 )×SU(2 ) E 8 (8 )/E 7 (7 )×SL(2 ,) and E 8 (24 )/SO(12,4 ) E 8 (8 )/SO *(16 ) E 8 (24 )/E 7 ×SU(2 ) E 8 (24 )/E 7 (5 )×SU(2 ) E 8 (24 )/E 7 (25 )×SL(2 ,) individually. Fortunately, that’s unnecessary.

Above, SO *(2 n) is the “additional” real form of D n, in addition to the familiar SO(p,2 np). It is defined as the subgroup of GL(2 n,) preserving p=1 nz py p and p=1 nz p 2 y p 2 . Its maximal compact subgroup is U(n), and for low dimensions, we have the isomorphisms so *(8 ) so(6,2 ) so *(6 ) su(3,1 ) so *(4 ) su(2 )×sl(2 ,)

Posted by distler at September 14, 2008 11:39 PM

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

2 Comments & 1 Trackback

Re: My Dinner with Garrett

“Another possibility had something to do with abandoning the whole notion of Lie algebras, but I’m not sure what’s left of the “E 8 Theory” then.”

Did he say anything else about this?

Posted by: Daniel de França MTd2 on September 15, 2008 1:02 PM | Permalink | Reply to this
Read the post My Dinner with Garrett
Weblog: Musings
Excerpt: By popular demand, another post on this stuff.
Tracked: September 15, 2008 5:09 PM

Re: My Dinner with Garrett

Why does this article keeps going up in the Planet Musings page? I can’t see any update.

Posted by: Daniel de França MTd2 on September 23, 2008 7:33 AM | Permalink | Reply to this

Post a New Comment