### Integral Octonions (Part 1)

#### Posted by John Baez

This is not particularly about $n$-categories, but it’s related — somehow — to John Huerta’s work on division algebras and Lie *n*-superalgebras, which are the $n$-categorified versions of Lie superalgebras, which in turn are the supersymmetric versions of Lie algebras.

You see, some of the most exciting Lie $n$-superalgebras are those extending the Lie algebra of the Lorentz group in 10 or 11 dimensions, and these can be built using the octonions. The reason is that 10d Minkowski spacetime can be identified with the space $\mathfrak{h}_2(\mathbb{O})$ consisting of $2 \times 2$ hermitian matrices with octonions as entries. Thanks to this, the corresponding Lorentz group, the identity component of $SO(9,1)$, can be identified with $PSL(2,\mathbb{O})$. It is somewhat tricky to define $PSL(2,\mathbb{O})$, because the octonions are nonassociative, but it can be done, and this caps off a very nice sequence of isomorphisms:

$\begin{array}{ccl} PSL(2,\mathbb{R})& \cong &SO_0(2,1) \\ PSL(2,\mathbb{C})& \cong &SO_0(3,1) \\ PSL(2,\mathbb{H})& \cong &SO_0(5,1) \\ PSL(2,\mathbb{O})& \cong &SO_0(9,1) . \end{array}$

Now I’d like I describe how this interacts with a further marvelous fact: the existence of ‘octonionic integers’.

You see, one of the great things about

$PSL(2,\mathbb{R}) \cong SO_0(2,1)$

is that it gives us two ways to think about the symmetry group of the hyperbolic plane. On the one hand, it consists of fractional linear transformations with real entries:

$z \mapsto \frac{a z + b}{c z + d} \quad a,b,c,d\in \mathbb{R}$

acting on the upper half-plane in $\mathbb{C}$, which is one way to think about the hyperbolic plane. On the other hand, it’s the identity component of the Lorentz group of 3d spacetime, acting on the hyperboloid

$\{(t,x,y) \in \mathbb{R}^{3} : t^2 - x^2 - y^2 = 1 , t > 0\}$

which is *another* way to think about the hyperbolic plane.

But the really great thing about this is that because the field $\mathbb{R}$ contains the integers as a discrete subring, $PSL(2,\mathbb{R})$ contains the modular group $PSL(2,\mathbb{Z})$ as a discrete subgroup, acting on the hyperbolic plane with fundamental domains like this:

This connects the Lorentz group of 3d spacetime to *number theory*… thanks to things like the theory of modular forms. Part of the point is that $PSL(2,\mathbb{Z})$ is not just a discrete subgroup of $PSL(2,\mathbb{R})$. It’s an arithmetic group! Very very roughly, this is like an algebraic group, but defined using some ring resembling the integers, rather than a field.

And here is where a further marvelous fact comes into play. The algebra of octonions $\mathbb{O}$ contains a (nonassociative!) discrete subring $\mathbf{O}$, sometimes called the **Cayley integers**, **Coxeter integers**, or **octavians**. If you ignore the fact that you can multiply octonions, you can think of the octonions as forming an 8-dimensional real inner product space… and then the Cayley integers form a lattice in this vector space, which is, up to a rescaling, *nothing other than the $\mathrm{E}_8$ root lattice!*

So, each Cayley integer has 240 nearest neighbors, arranged in a pattern like this:

which you should imagine in 8 dimensions.

That’s already great. But the Cayley integers are closed under multiplication, and this makes even more magic happen!

For example, it lets us define an arithmetic subgroup $PSL(2,\mathbf{O})$ of the group

$PSL(2,\mathbb{O}) \cong SO_0(9,1)$

This acts on the 9-dimensional hyperbolic space

$\{x \in \mathbb{R}^{10} :\; x_0^2 - x_1^2 - \cdots - x_9^2 = 1 , \; \x_0 > 0\}$

Even better, this marvelous discrete group acting on 9d hyperbolic space is related to $\mathrm{E}_8$. In fact, $PSL(2,\mathbf{O})$ is the even part of the Coxeter group $\mathrm{E}_{10}$, which arises from a Coxeter diagram like that of $\mathrm{E}_8$, but longer:

This group has one generator $s_i$ for each dot, with relations

$s_i^2 = 1$

for each dot,

$s_i s_j s_i = s_j s_i s_j$

for any pair of dots connected by an edge, and

$s_i s_j = s_j s_i$

for pairs *not* connected by an edge. Each of these generators acts as reflection across a hyperplane in 9-dimensional hyperbolic space. So, it’s called a hyperbolic Coxeter group. The subgroup generated by products of *two* generators is called the even part of this group, and it’s the same as $PSL_2(\mathbf{O})$.

The same thing happens in a much simpler way for $PSL_2(\mathbb{Z})$: it’s the even part of a hyperbolic Coxeter group acting on the hyperbolic plane with fundamental domains like this:

You get these by taking fundamental domains for $PSL_2(\mathbb{Z})$, which I showed you before in the upper half-plane, and chopping them in half.

So, thanks to Cayley integers, we know there is a similar but much more glorious picture in 9-dimensional hyperbolic space! Unfortunately this blog is too low-dimensional to contain it.

This Coxeter diagram:

can also be seen as a Dynkin diagram—of a dangerously big kind, since it gives an *infinite-dimensional* Lie algebra, a hyperbolic Kac–Moody algebra. This Lie algebra *also* goes by the name of $\mathrm{E}_{10}$, and it’s closely related to the Coxeter group I just described: the Coxeter group is the Weyl group of the Lie algebra.

The Lie algebra $\mathrm{E}_{10}$ has tantalizing and mysterious connections to physics. Ideally, I would explain something about them in this series. At the very least, I want to say how hyperbolic Coxeter groups like $\mathrm{E}_{10}$ are related to supersymmetric quantum cosmological billiard balls! But the paper I want to recommend to you today:

• Axel Kleinschmidt, Hermann Nicolai, Jakob Palmkvist, Hyperbolic Weyl groups and the four normed division algebras.

has somewhat less cosmic goals, so it’s a good place to start. It describes how the isomorphisms

$\begin{array}{ccl} PSL(2,\mathbb{R})& \cong &SO_0(2,1) \\ PSL(2,\mathbb{C})& \cong &SO_0(3,1) \\ PSL(2,\mathbb{H})& \cong &SO_0(5,1) \\ PSL(2,\mathbb{O})& \cong &SO_0(9,1) . \end{array}$

work, with an emphasis on the subtleties introduced by noncommutativity (for the quaternions $\mathbb{H}$ and octonions $\mathbb{O}$) and nonassociativity (for $\mathbb{O}$). It describes various subrings of ‘integers’ in $\mathbb{R}, \mathbb{C}, \mathbb{H}$ and $\mathbb{O}$ and how these give rise to arithmetic groups. And, it describes how these are related to hyperbolic Coxeter groups. This is tremendously pretty math even if you don’t care about the potential applications to (fun, far-out, highly theoretical, not-yet-experimentally-testable) physics.

## Re: Integral Octonions (Part 1)

I think in the sentence beginning ‘The subgroup generated by products of two generators is called the even part of this group’ you used the wrong font O at the end.