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.

July 25, 2013

Integral Octonions (Part 2)

Posted by John Baez

Last time I said that sitting inside the octonions 𝕆\mathbb{O} there’s a subset called the ‘Cayley integers’

O𝕆, \mathbf{O} \subset \mathbb{O} ,

closed under addition and multiplication. Geometrically speaking, this is a rescaled copy of the E 8\mathrm{E}_8 lattice sitting inside 8-dimensional Euclidean space. And I said this gives rise to a discrete subgroup

PSL 2(O)PSL 2(𝕆) PSL_2(\mathbf{O}) \subset PSL_2(\mathbb{O})

where PSL 2(𝕆)PSL_2(\mathbb{O}) is a Lie group isomorphic to SO 0(9,1)SO_0(9,1), the identity component of the Lorentz group of 10-dimensional Minkowski spacetime. Just as the more familiar group PSL(2,)SO 0(2,1)PSL(2,\mathbb{R}) \cong SO_0(2,1) acts as symmetries of the hyperbolic plane, PSL 2(𝕆)SO 0(9,1)PSL_2(\mathbb{O}) \cong SO_0(9,1) acts as symmetries of a 9-dimensional hyperbolic space.

Now I’d like to say a bit about what this does for us. In particular, how it relates 11-dimensional supergravity to the game of billiards!

I would also like to explain in vivid detail what the Cayley integers and the action of PSL 2(O)PSL_2(\mathbf{O}) ‘look like’—along with some lower-dimensional examples that arise from other kinds of integers inside the real numbers, complex numbers and quaternions. That would force me to learn some interesting things. But I think it’s better to start by zipping through the big picture, and then returning to details later if I have time.

The basic idea is this.

Suppose you follow a solution of general relativity like our universe back toward the Big Bang. Then under certain conditions, each little piece of space ‘decouples’ from the rest as we go back. This means that in the limit, as you go back toward the Big Bang, the complicated nonlinear partial differential equations describing general relativity reduce to ordinary differential equations for the metric at each point in space.

Even better, as we go back in time, these equations reduce to equations just like those describing a Newtonian point particle bouncing around inside a region of higher-dimensional hyperbolic space! It’s like a higher-dimensional version of an idealized frictionless billiard ball bouncing endlessly between the walls of a billiard table:

The table pictured here, with straight walls capped off by semicircles, is known to give chaos if it’s is long enough. That is, the future position of the billiard ball depends in a very sensitive way on its initial position and velocity. Tiny changes in initial conditions produce bigger and bigger changes in the ball’s position each time the ball crosses the table, making it impractical to predict what will happen in the far future.

Mathematical physicists have thought a lot about what happens with different kinds of billiard table, including higher-dimensional tables and tables that are curved Riemannian manifolds, with or without a boundary. As you might expect, nearby trajectories tend to drift far apart on manifolds with negative curvature, like hyperbolic space. So, it’s believed that extrapolating general relativity back to the Big Bang gives chaos in many cases!

There are some obvious questions you should be wondering about.

For example: an idealized frictionless billiard ball can bounce around endlessly on a table. I’m using that fact when I say it’s “impractical to predict what will happen in the far future.” But you only need to go back in time a finite amount before you reach the Big Bang. So, how can these two problems be isomorphic?

The answer is interesting: we need to take the logarithm of time in the Big Bang problem to make it isomorphic to the billiard ball problem! As t0t \to 0, its logarithm goes all the way down to -\infty. So the universe bounces around infinitely many times, changing shape chaotically faster and faster, as we go back toward the Big Bang.

The idea here goes back to some Russians including Evgeny Lifshitz, famous for the series of physics textbooks everyone calls ‘Landau and Lifshitz’:

• V. A. Belinskii, I. M. Khalatnikov and E. M. Lifshitz, Oscillatory approach to a singular point in the relativistic cosmology, Adv. Phys. 19 (1970), 525.

so the phenomenon I’m talking about is called a ‘BKL singularity’. You can read more about it here:

• Wikipedia, BKL singularity.

To clarify a bit, I should add that the model of a billiard ball reflecting off hard walls only shows up as a limiting case. At first the walls are ‘soft’: we have a ball moving around in a smooth potential. But as we go back in time they become ‘harder’, or steeper.

Also, I should emphasize that this picture is thoroughly worked out only for cosmologies where space at any given time is homogeneous but non-isotropic—especially the so-called ‘Bianchi IX models’. This phrase refers to a classification of 3-dimensional real Lie algebras into nine families, which also gives a classification of spatially homogeneous cosmologies.

In the real world, we can expect space to be not quite homogeneous, and then to argue for the significance of the BKL singularity we need to argue that different small patches of space decouple from each as t0t \to 0. I’m not sure how solid this argument is. But of course, if we get serious about the t0t \to 0 limit we need to think about quantum gravity, including various forms of matter…

But perhaps I should make it clear: I’m in this for the beautiful math. I don’t care if this stuff is relevant to the real world. But it’s still nice to use physics ideas in the quest for beautiful math.

And if we do, it naturally leads us to think about cosmological billiards when space is not 3-dimensional but has other dimensions. And then a nice ‘dictionary’ shows up relating some of these possibilities and billiard balls bouncing around in regions of hyperbolic spaces of different dimensions.

In this dictionary, if spacetime is nn-dimensional and there are dd ‘dilaton fields’ in our gravity theory, we get a billiard ball bouncing around in a region of (n+d2)(n+d-2)-dimensional hyperbolic space. Depending on other details, this region in hyperbolic space could have finite or infinite volume:

The first case gives chaotic motion; in the second, the billiard typically bounces around a bit and then shoots off to infinity. (I got this picture from here.)

And in the nicest cases, this region is a fundamental domain of a Coxeter group acting on hyperbolic space!

For example, the original case studied by Belinskii, Khalatnikov and Lifshitz was pure gravity without matter in 4d spacetime. This means n=4n = 4 and d=0d = 0: no dilatons. This gives us billiards moving around in a region of the hyperbolic plane. And with a lot more work, you can show this region looks like any one of the triangles here:

These triangles are fundamental domains for a group called the (2,3,)(2,3,\infty) triangle group. For any natural numbers p,q,rp,q,r, the (p,q,r) triangle group has generators s 1,s 2,s 3s_1, s_2, s_3 obeying relations

s 1 2=s 2 2=s 3 2=1 s_1^2 = s_2^2 = s_3^2 = 1

(s 1s 2) p=(s 2s 3) q=(s 3s 1) r (s_1 s_2)^p = (s_2 s_3)^q = (s_3 s_1)^r

This group is a simple example of a Coxeter group. If

1p+1q+1r<1 \frac{1}{p} + \frac{1}{q} + \frac{1}{r} &lt; 1

it acts on the hyperbolic plane, with each generator acting as a reflection across a line. This group action has fundamental domains that are triangles with interior angles π/p,π/q,π/r\pi/p, \pi/q, \pi/r. For example, the (2,3,7)(2,3,7) triangle group, studied by Hermann Weyl, has fundamental domains like this:

If p,qp,q or rr becomes infinite, we don’t technically have a Coxeter group, but we still get a group by dropping the relation containing that number. And the group still acts on the hyperbolic plane… but some of the corners of the triangles move off to infinity—that is, the edge of the disc above. An extreme case is the (,,)(\infty,\infty,\infty) triangle group, which gives this:

The (2,3,)(2,3,\infty) triangle group, coming from gravity without matter in 4d spacetime, is not so extreme: each triangle has just one vertex at infinity. We can write down a Coxeter diagram for it if we generalize these diagrams a bit and let ourselves label one edge by infinity:

And this group is very important: it’s none other than PGL(2,)PGL(2,\mathbb{Z}). So its even part—the part generated by pairs of reflections—is the modular group PSL(2,)PSL(2,\mathbb{Z}).

There are lots of other fun examples. But let me jump to the punchline: what does this dictionary relating gravity theories and billiards say about the mathematically most exciting gravity theory: 11-dimensional supergravity, with n=11n = 11 and d=0d = 0? If we look at the simplest purely bosonic solutions, we get a billiard ball bouncing around in a region of 9-dimensional hyperbolic space. And this region is just the fundamental domain of the Coxeter group I described last time: E 10\mathrm{E}_{10}!

Remember, this group is generated by 10 reflections in 9-dimensional hyperbolic space. Each reflection gives a wall of our billiard ball table. And the even part of this group—the part generated by pairs of reflections, giving orientation-preserving transformations—is none other than PSL(2,O)PSL(2,\mathbf{O}), where O\mathbf{O} is the Cayley integers!

To learn more, I recommend this paper:

• Thibault Damour, Sophie de Buyl, Marc Henneaux and Christiane Schomblond, Einstein billiards and overextensions of finite-dimensional simple Lie algebras.

or for something much more gentle, this:

• Thibault Damour, Poincaré, relativity, billiards and symmetry.

There is much more to say… most of which I don’t know. So next time I’ll come down to earth a bit and start describing the Cayley integers in detail. One doesn’t need to know fancy physics or group theory to understand and enjoy them. You really just need to know how to add, subtract, multiply, divide… and think about shapes in 8 dimensions.

Posted at July 25, 2013 6:33 AM UTC

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

3 Comments & 1 Trackback

Re: Integral Octonions (Part 2)

What was the sentence that starts “For pure” supposed to say?

Posted by: Mark Gomer on July 27, 2013 12:18 AM | Permalink | Reply to this

Re: Integral Octonions (Part 2)

Whoops, I’ll delete that! The content of that would-be sentence got moved here:

For example, the original case studied by Belinskii, Khalatnikov and Lifshitz was pure gravity without matter in 4d spacetime. This means n=4 and d=0: no dilatons. This gives us billiards moving around in a region of the hyperbolic plane. And with a lot more work, you can show this region looks like any one of the triangles here:

Posted by: John Baez on July 27, 2013 12:38 AM | Permalink | Reply to this
Read the post Integral Octonions (Part 3)
Weblog: The n-Category Café
Excerpt: Let's take a look at the E8 lattice and the Lie algebra by the same name.
Tracked: July 30, 2013 2:20 PM

Re: Integral Octonions (Part 2)

You might be interested in this paper on precisely this subject. We tried to relate the roots of E_{10} to objects in M-theory, and managed to find a rough correspondence for the lowest few levels of roots.

Posted by: Craig Helfgott on August 15, 2013 8:41 PM | Permalink | Reply to this

Post a New Comment