## The road from Dunsink to the exceptional symmetries of M-theory

*By Leron Borsten and Alessio Marrani *

Our journey starts in the fall of 1843 at the Dunsink Observatory^{[1]}, presiding from its hill-top vantage over the westerly reaches of Dublin City, seat to the then Astronomer Royal Sir William Rowan Hamilton. In the preceding months Hamilton had become preoccupied by the observation that multiplication by a complex phase induces a rotation in the Argand plane, revealing an intimate link between two-dimensional Euclidean geometry and the complex numbers ℂ. Fascinated by this unification of geometry and algebra, Hamilton set about the task of constructing a new number system that would do for three dimensions what the complexes did for two. After a series of trying failures, on October 16th 1843, while walking from the Dunsink Observatory to a meeting of the Royal Irish Academy on Dawson Street, Hamilton surmounted his apparent impasse in a moment of inspired clarity: rotations in *three* dimensions require a *four*-dimensional algebra with one real and *three* imaginary units satisfying the fundamental relations *i*^{2 }= j^{2 }= k^{2 }= ijk = -1. The quaternions ℍ were thus born. Taken in that instant of epiphany, Hamilton etched his now famous equations onto the underside of Broome bridge, a cave painting illuminated not by campfire, but mathematical insight and imagination. Like all great mathematical expressions, once seen they hang elegant and timeless, eternal patterns in the fixed stars merely chanced upon by our ancestral explorers.

Leron Borsten (left) and Alessio Marrani (right) stood before Hamilton’s fundamental relations, Broome bridge Dublin. Leron is currently a Schrödinger Fellow in the School of Theoretical Physics, Dublin Institute for Advanced Studies. Alessio is currently a Senior Grantee at the Enrico Fermi Research Centre, Roma.

This discovery set in motion a subtle dance intertwining algebra and symmetry. It invites diverse interpretations, but that which suits our purpose best is the realisation of the three families of classical simple Lie algebras, 𝔰𝔳(*n*+1), 𝔰𝔲(*n*+1), 𝔰𝔭(*n*+1), as the infinitesimal isometries of the real, complex and quaternionic projective spaces, ℝℙ^{n}, ℂℙ^{n}, ℍℙ^{n}. The classical Lie algebras are unified as rotations in real, complex and quaternionic universes. Yet, the five remaining *exceptional* simple Lie algebras, 𝔤_{2}, 𝔣_{4}, 𝔢_{6}, 𝔢_{7}, 𝔢_{8}, are left unaccounted for and, from this perspective at least, geometrically enigmatic.

To remedy this shortcoming we must first return to Dublin, 1843. Hamilton’s college friend, John T. Graves, on receiving word of the quaternions was struck by their seemingly conjured existence, writing to Hamilton on October 26th: “If with your alchemy you can make three pounds of gold, why should you stop there?”. But two months later to the day, Graves reciprocated, sharing with Hamilton a further generalisation of the real ℝ, complex ℂ, and quaternionic ℍ numbers: the octonions 𝕆. Endowed with seven imaginary units, *e*_{i}, the octonions constitute the largest example of what are now known as the normed division algebras: ℝ, ℂ, ℍ, 𝕆. The multiplication rules of *e*_{i} are governed by the Fano plane, as described in figure 1. Using the Cayley-Dickson doubling procedure we can build each algebra from two copies of its predecessor. However, with each doubling a property is lost. In particular, the octonions, unlike their well-mannered older siblings, are *non-associative*. This makes 𝕆 capricious and uncooperative, but also exceptional.

Figure 1: The Fano plane. Following the lines gives the multiplication rules of the imaginary octonions (going against the arrows, one picks up a minus sign).

Returning to the simple Lie algebras, the sequence ℝℙ^{n}, ℂℙ^{n}, ℍℙ^{n} cries out for the inclusion of 𝕆ℙ^{n}. The octonionic projective line 𝕆ℙ^{1} reproduces the classical Lie algebra 𝔰𝔳(8) already accommodated by ℝℙ^{7}. However, the isometries of the next rung on the ladder, the Cayley plane 𝕆ℙ^{2}, do indeed yield an exceptional algebra, namely 𝔣_{4}. However, the non-associativity of 𝕆 renders 𝕆ℙ^{n} a bona fide projective space for *n *≤ 2 only and consequently the sequence ends here, hence the singular status of 𝔣_{4}. It would seem, naively, that the remaining exceptional algebras do not fit into this story. However, when viewed in the right way, the Cayley plane realisation of 𝔣_{4} can be generalised by considering not one, but two algebras, ℝ ⊗ 𝕆, ℂ ⊗ 𝕆, ℍ ⊗ 𝕆, and 𝕆 ⊗ 𝕆 yielding precisely the exceptional Lie algebras 𝔣_{4}, 𝔢_{6}, 𝔢_{7}, and 𝔢_{8}. Allowing in this construction the two algebras to vary over all ℝ, ℂ, ℍ, 𝕆, we obtain what has come to be known as the Freudenthal-Rosenfeld-Tits *magic**square* of Lie algebras, as depicted in figure 2. Since these early discoveries, the octonions have been found time and time again lurking in the corners where geometry meets algebra.

Figure 2: The Freudenthal-Rosenfeld-Tits magic square of Lie algebras. The exceptional algebras appear in the octonionic row/column. Each entry can be realised as a symmetry of supergravity.

Although it would be fair to say that the octonions have yet to cement themselves in the annals of physics they have over the years appeared in a variety of suggestive guises. One such occurrence takes place in M-theory, an ambitious, albeit tentative, approach to the challenges of quantum gravity and unification. Being fundamentally non-perturbative, M-theory remains largely mysterious. A vital piece of the puzzle in our present understanding is the notion of “U-duality”. The five consistent ten-dimensional superstring theories and eleven-dimensional supergravity are interconnected through a web of U-duality relations, leading to the conjecture that they merely represent disparate glimpses of a single overarching framework living in *D* = 11 spacetime dimensions: M-theory. To make contact with our daily four-dimensional experience one can *compactify*. Although phenomenologically irrelevant, the simplest example of a compactification is given by taking one dimension to form a circle. If the radius of the circle is small enough, this dimension becomes essentially undetectable. By compactifying on an *n*-torus, that is taking *n* dimensions as circles, we can descend to *D* = 11 – *n* dimensions. The low-energy effective field theory limit of M-theory compactified on an *n*-torus is the unique maximally supersymmetric *D* = 11 – *n* supergravity theory. In this limit, the U-dualities of M-theory are reflected in the global symmetries of the corresponding supergravity theory. In particular, for *D* = 5, 4, 3 or *n* = 6, 7, 8 the global symmetry algebras are given by the exceptional Lie algebras sitting in the octonionic row/column of the magic square^{[2]}. We have overlooked a subtlety here. On compactifying eleven-dimensional supergravity to *D* = 5, 4, 3 the 𝔢_{6}, 𝔢_{7}, 𝔢_{8} symmetries are initially hidden, revealing themselves only once a judicious choice of (generalised) electromagnetic duality transformations^{[3]} has been applied.

What happens when some other choice of dualisations is made? Well, the manifest symmetries are typically different in each case. What we demonstrate in our paper is that there exists a choice of dualisations for which a fascinating generalisation of the magic square makes an unexpected appearance. On complexifying the normed division algebras, which we will continue to denote ℝ, ℂ, ℍ, 𝕆, two new algebras in the sequence emerge: the three-dimensional ternions 𝕋, nestled tightly between ℂ and ℍ, and the six-dimensional sextonions 𝕊 sitting half-way from ℍ to 𝕆. Including 𝕋 and 𝕊 in the magic square construction reveals two further half-levels, obscured from view between the oft-visited floors of the ℝ, ℂ, ℍ, 𝕆 edifice. In particular, the 𝕋 ⊗ 𝕆 and 𝕊 ⊗ 𝕆 entries yield the non-reductive exceptional Lie algebras 𝔢_{6¼} and 𝔢_{7½}, living half-lives somewhere in-between 𝔢_{6}, 𝔢_{7}, and 𝔢_{8}. Remarkably, the entire extended magic square, and so implicitly our enlarged ℝ, ℂ, 𝕋, ℍ, 𝕊, 𝕆 family, is realised through the symmetry algebras of supergravity.

*A kind of magic*, if you will.

^{[1]} Now a constituent of the Astronomy and Astrophysics section of the School of Cosmic Physics, Dublin Institute for Advanced Studies.

^{[2]} For all the group theory and supergravity aficionados, please note we are not paying attention to the particular real forms that appear here and throughout.

^{[3]} Not to be confused with the U-dualities of M-theory.

### Further reading

**Normed division algebras and the magic square:**

J.C. Baez, The Octonions, Bull. Am. Math. Soc. 39 (2002), 145–205.

**Supergravity, global symmetries and the magic square:**

E. Cremmer, B. Julia, and J. Scherk, “Supergravity theory in 11 dimensions,” Phys. Lett. B76 (1978) 409–412.

E. Cremmer and B. Julia, “The SO(8) supergravity,” Nucl. Phys. B159 (1979) 141.

E. Cremmer, B. Julia, H. Lu, and C. Pope, “Dualization of dualities. 1.,” Nucl.Phys. B523 (1998) 73–144, arXiv:hep-th/9710119

B. Julia, “Group disintegrations,” in Superspace and Supergravity, S. Hawking and M. Rocek, eds., Nuffield Gravity Workshop, pp. 331–350. Cambridge University Press (1980).

M. Günaydin, G. Sierra, and P. K. Townsend, “Exceptional supergravity theories and the magic square,” Phys. Lett. B133 (1983) 72.

L. Borsten, M. J. Duff, L. J. Hughes, and S. Nagy, “A magic square from Yang-Mills squared,” Phys.Rev.Lett. 112 (2014) 131601, arXiv:1301.4176

**Sextonions and the extended magic square:**

B.W. Westbury, “Sextonions and the magic square,” Journal of the London Mathematical Society 73 (2006) no. 2, 455–474, arxiv:math/0411428

J.M. Landsberg and L. Manivel, “The sextonions and 𝔢_{7½},” Advances in Mathematics 201 (2006) 2 no. 1, 143-179, arxiv:math/0402157

A. Marrani and P. Truini, “Sextonions, Zorn matrices, and 𝔢_{7½},” Letters in Mathematical Physics 107 (2017) no.10, 1859-1875, arXiv:1506.04604

Leave a Comment

Last Updated: 23rd May 2018 by George Rogers

## CQG+ ‘Insight’ Article – A Kind Of Magic by Leron Borsten & Alessio Marrani

Classical and Quantum Gravity(CQG).## A Kind Of Magic

## The road from Dunsink to the exceptional symmetries of M-theory

By Leron Borsten and Alessio MarraniOur journey starts in the fall of 1843 at the Dunsink Observatory

^{[1]}, presiding from its hill-top vantage over the westerly reaches of Dublin City, seat to the then Astronomer Royal Sir William Rowan Hamilton. In the preceding months Hamilton had become preoccupied by the observation that multiplication by a complex phase induces a rotation in the Argand plane, revealing an intimate link between two-dimensional Euclidean geometry and the complex numbers ℂ. Fascinated by this unification of geometry and algebra, Hamilton set about the task of constructing a new number system that would do for three dimensions what the complexes did for two. After a series of trying failures, on October 16th 1843, while walking from the Dunsink Observatory to a meeting of the Royal Irish Academy on Dawson Street, Hamilton surmounted his apparent impasse in a moment of inspired clarity: rotations inthreedimensions require afour-dimensional algebra with one real andthreeimaginary units satisfying the fundamental relationsi. The quaternions ℍ were thus born. Taken in that instant of epiphany, Hamilton etched his now famous equations onto the underside of Broome bridge, a cave painting illuminated not by campfire, but mathematical insight and imagination. Like all great mathematical expressions, once seen they hang elegant and timeless, eternal patterns in the fixed stars merely chanced upon by our ancestral explorers.^{2 }= j^{2 }= k^{2 }= ijk = -1Leron Borsten (left) and Alessio Marrani (right) stood before Hamilton’s fundamental relations, Broome bridge Dublin. Leron is currently a Schrödinger Fellow in the School of Theoretical Physics, Dublin Institute for Advanced Studies. Alessio is currently a Senior Grantee at the Enrico Fermi Research Centre, Roma.

This discovery set in motion a subtle dance intertwining algebra and symmetry. It invites diverse interpretations, but that which suits our purpose best is the realisation of the three families of classical simple Lie algebras, 𝔰𝔳(

n+1), 𝔰𝔲(n+1), 𝔰𝔭(n+1), as the infinitesimal isometries of the real, complex and quaternionic projective spaces, ℝℙ^{n}, ℂℙ^{n}, ℍℙ^{n}. The classical Lie algebras are unified as rotations in real, complex and quaternionic universes. Yet, the five remainingexceptionalsimple Lie algebras, 𝔤_{2}, 𝔣_{4}, 𝔢_{6}, 𝔢_{7}, 𝔢_{8}, are left unaccounted for and, from this perspective at least, geometrically enigmatic.To remedy this shortcoming we must first return to Dublin, 1843. Hamilton’s college friend, John T. Graves, on receiving word of the quaternions was struck by their seemingly conjured existence, writing to Hamilton on October 26th: “If with your alchemy you can make three pounds of gold, why should you stop there?”. But two months later to the day, Graves reciprocated, sharing with Hamilton a further generalisation of the real ℝ, complex ℂ, and quaternionic ℍ numbers: the octonions 𝕆. Endowed with seven imaginary units,

e, the octonions constitute the largest example of what are now known as the normed division algebras: ℝ, ℂ, ℍ, 𝕆. The multiplication rules of_{i}eare governed by the Fano plane, as described in figure 1. Using the Cayley-Dickson doubling procedure we can build each algebra from two copies of its predecessor. However, with each doubling a property is lost. In particular, the octonions, unlike their well-mannered older siblings, are_{i}non-associative. This makes 𝕆 capricious and uncooperative, but also exceptional.Figure 1: The Fano plane. Following the lines gives the multiplication rules of the imaginary octonions (going against the arrows, one picks up a minus sign).

Returning to the simple Lie algebras, the sequence ℝℙ

^{n}, ℂℙ^{n}, ℍℙ^{n}cries out for the inclusion of 𝕆ℙ^{n}. The octonionic projective line 𝕆ℙ^{1}reproduces the classical Lie algebra 𝔰𝔳(8) already accommodated by ℝℙ^{7}. However, the isometries of the next rung on the ladder, the Cayley plane 𝕆ℙ^{2}, do indeed yield an exceptional algebra, namely 𝔣_{4}. However, the non-associativity of 𝕆 renders 𝕆ℙ^{n}a bona fide projective space forn≤ 2 only and consequently the sequence ends here, hence the singular status of 𝔣_{4}. It would seem, naively, that the remaining exceptional algebras do not fit into this story. However, when viewed in the right way, the Cayley plane realisation of 𝔣_{4}can be generalised by considering not one, but two algebras, ℝ ⊗ 𝕆, ℂ ⊗ 𝕆, ℍ ⊗ 𝕆, and 𝕆 ⊗ 𝕆 yielding precisely the exceptional Lie algebras 𝔣_{4}, 𝔢_{6}, 𝔢_{7}, and 𝔢_{8}. Allowing in this construction the two algebras to vary over all ℝ, ℂ, ℍ, 𝕆, we obtain what has come to be known as the Freudenthal-Rosenfeld-Titsmagicsquareof Lie algebras, as depicted in figure 2. Since these early discoveries, the octonions have been found time and time again lurking in the corners where geometry meets algebra.Figure 2: The Freudenthal-Rosenfeld-Tits magic square of Lie algebras. The exceptional algebras appear in the octonionic row/column. Each entry can be realised as a symmetry of supergravity.

Although it would be fair to say that the octonions have yet to cement themselves in the annals of physics they have over the years appeared in a variety of suggestive guises. One such occurrence takes place in M-theory, an ambitious, albeit tentative, approach to the challenges of quantum gravity and unification. Being fundamentally non-perturbative, M-theory remains largely mysterious. A vital piece of the puzzle in our present understanding is the notion of “U-duality”. The five consistent ten-dimensional superstring theories and eleven-dimensional supergravity are interconnected through a web of U-duality relations, leading to the conjecture that they merely represent disparate glimpses of a single overarching framework living in

D= 11 spacetime dimensions: M-theory. To make contact with our daily four-dimensional experience one cancompactify. Although phenomenologically irrelevant, the simplest example of a compactification is given by taking one dimension to form a circle. If the radius of the circle is small enough, this dimension becomes essentially undetectable. By compactifying on ann-torus, that is takingndimensions as circles, we can descend toD= 11 –ndimensions. The low-energy effective field theory limit of M-theory compactified on ann-torus is the unique maximally supersymmetricD= 11 –nsupergravity theory. In this limit, the U-dualities of M-theory are reflected in the global symmetries of the corresponding supergravity theory. In particular, forD= 5, 4, 3 orn= 6, 7, 8 the global symmetry algebras are given by the exceptional Lie algebras sitting in the octonionic row/column of the magic square^{[2]}. We have overlooked a subtlety here. On compactifying eleven-dimensional supergravity toD= 5, 4, 3 the 𝔢_{6}, 𝔢_{7}, 𝔢_{8}symmetries are initially hidden, revealing themselves only once a judicious choice of (generalised) electromagnetic duality transformations^{[3]}has been applied.What happens when some other choice of dualisations is made? Well, the manifest symmetries are typically different in each case. What we demonstrate in our paper is that there exists a choice of dualisations for which a fascinating generalisation of the magic square makes an unexpected appearance. On complexifying the normed division algebras, which we will continue to denote ℝ, ℂ, ℍ, 𝕆, two new algebras in the sequence emerge: the three-dimensional ternions 𝕋, nestled tightly between ℂ and ℍ, and the six-dimensional sextonions 𝕊 sitting half-way from ℍ to 𝕆. Including 𝕋 and 𝕊 in the magic square construction reveals two further half-levels, obscured from view between the oft-visited floors of the ℝ, ℂ, ℍ, 𝕆 edifice. In particular, the 𝕋 ⊗ 𝕆 and 𝕊 ⊗ 𝕆 entries yield the non-reductive exceptional Lie algebras 𝔢

_{6¼}and 𝔢_{7½}, living half-lives somewhere in-between 𝔢_{6}, 𝔢_{7}, and 𝔢_{8}. Remarkably, the entire extended magic square, and so implicitly our enlarged ℝ, ℂ, 𝕋, ℍ, 𝕊, 𝕆 family, is realised through the symmetry algebras of supergravity.A kind of magic, if you will.^{[1]}Now a constituent of the Astronomy and Astrophysics section of the School of Cosmic Physics, Dublin Institute for Advanced Studies.^{[2]}For all the group theory and supergravity aficionados, please note we are not paying attention to the particular real forms that appear here and throughout.^{[3]}Not to be confused with the U-dualities of M-theory.## Further reading

Normed division algebras and the magic square:J.C. Baez, The Octonions, Bull. Am. Math. Soc. 39 (2002), 145–205.

Supergravity, global symmetries and the magic square:E. Cremmer, B. Julia, and J. Scherk, “Supergravity theory in 11 dimensions,” Phys. Lett. B76 (1978) 409–412.

E. Cremmer and B. Julia, “The SO(8) supergravity,” Nucl. Phys. B159 (1979) 141.

E. Cremmer, B. Julia, H. Lu, and C. Pope, “Dualization of dualities. 1.,” Nucl.Phys. B523 (1998) 73–144, arXiv:hep-th/9710119

B. Julia, “Group disintegrations,” in Superspace and Supergravity, S. Hawking and M. Rocek, eds., Nuffield Gravity Workshop, pp. 331–350. Cambridge University Press (1980).

M. Günaydin, G. Sierra, and P. K. Townsend, “Exceptional supergravity theories and the magic square,” Phys. Lett. B133 (1983) 72.

L. Borsten, M. J. Duff, L. J. Hughes, and S. Nagy, “A magic square from Yang-Mills squared,” Phys.Rev.Lett. 112 (2014) 131601, arXiv:1301.4176

Sextonions and the extended magic square:B.W. Westbury, “Sextonions and the magic square,” Journal of the London Mathematical Society 73 (2006) no. 2, 455–474, arxiv:math/0411428

J.M. Landsberg and L. Manivel, “The sextonions and 𝔢

_{7½},” Advances in Mathematics 201 (2006) 2 no. 1, 143-179, arxiv:math/0402157A. Marrani and P. Truini, “Sextonions, Zorn matrices, and 𝔢

_{7½},” Letters in Mathematical Physics 107 (2017) no.10, 1859-1875, arXiv:1506.04604Category: News, School of Theoretical Physics News & Events

DIAS Dublin6 mins ago#DidYouKnow that we have repository of research publications showcasing the research of our professors, staff and scholars at DIAS? From academic papers, to technical reports, you can access it at: bit.ly/2V9GL87 #DIASdiscovers

DIAS Dublin17 hours agoJ.L. Synge was a Senior Professor in the @StpDias from 1948 to 1972. You can read some Synge's original articles detailing his research and groundbreaking discoveries on our online repository at: bit.ly/2Gzh7X6 #DIASdiscovers

DIAS Dublin1 day ago'Only a 1/4 of the 120,000 people working in jobs using #STEM are women ... girls are steering clear of what could be a universe of academic and career possibilities' Great article in the @IrishTimes with a mention of our first female fellow Sheila Tinney. bit.ly/2ElqOGu

DIAS Dublin2 days agoDIAS iMARL infrastructure deploying ocean bottom seismometers which detect earthquakes and major weather events, track the presence of whales and dolphins, and capture seabed images. #DIASdiscovers

DIAS Dublin3 days agoGreat article in today's @IrishTimes about the breakthrough in understanding #SolarStorms, that was made by DIAS in conjuction with @tcddublin and @helsinkiuni. Read it at bit.ly/2Nd86ne. #DIASdiscovers

DIAS Dublin3 days agoIf you missed @petertgallagher Head of @DIASAstronomy, on @drivetimerte yesterday talking about our recent breakthrough on #SolarStorms, you can listen back at: bit.ly/2Sd1Yfm #DIASdiscovers

DIAS Dublin4 days ago'Intricately detailed moon photo leaves reddit users breathless' via @Forbes forbes.com/sites/fernando…

DIAS Dublin5 days ago#DidYouKnow The School of Cosmic Physics at DIAS carried out the first gravity survey of Ireland and through off-shore geophysical research enabled the extension of Ireland’s ocean territory by tenfold. #DIASdiscovers

DIAS Dublin5 days agoA key priority of the @SCSLibrary is the provision of reliable editions of hitherto unpublished material and texts, previously accessible only to scholars consulting the manuscripts. Learn more about the @DIAS_ISOS project at isos.dias.ie #DIASdiscovers

DIAS Dublin5 days ago. @ProfBrianCox & @robinince using coffee & cream to explain how we got from the Big Bang to the universe as we know it today. Fantastic show tonight in @3ArenaDublin - masterclass in communicating complex scientific concepts effectively

DIAS Dublin6 days ago@UniversalQandA Given you’re in Dublin, any comments on the legacy / influence of Schrödinger, who lived here for many years & was the first Director of @StpDias?

DIAS Dublin6 days ago. @ProfBrianCox showing an image of the universe as it was 380,000 years after The Big Bang #Cosmology

DIAS Dublin6 days ago“Your theory suggests there was a day without a yesterday” - Lemaître’s comment to Einstein on the Theory of Relativity, as cited by @ProfBrianCox

DIAS Dublin6 days ago“9000 people have come out on a Saturday night to chat about #Cosmology - that makes me feel good about the world” - @ProfBrianCox is pleased with the turnout for his Dublin show :)

DIAS Dublin6 days agoWe’re excited to be @3ArenaDublin tonight for @ProfBrianCox. We know he’s a big fan of #Schrödinger, first Director of @StpDias, so looking forward to seeing if he speaks of Schrödinger‘s time in Dublin...