Integral Octonions (Part 8)
Posted by John Baez
This time I’d like to summarize some work I did in the comments last time, egged on by a mysterious entity who goes by the name of ‘Metatron’.
As you probably know, there’s an archangel named Metatron who appears in apocryphal Old Testament texts such as the Second Book of Enoch. These texts rank Metatron second only to YHWH himself. I don’t think the Metatron posting comments here is the same guy. However, it’s a good name for someone interested in lattices and geometry, since there’s a variant of the Cabbalistic Tree of Life called Metatron’s Cube, which looks like this:
This design includes within it the $\mathrm{G}_2$ root system, a 2d projection of a stellated octahedron, and a perspective drawing of a hypercube.
Anyway, there are lattices in 26 and 27 dimensions that play rather tantalizing and mysterious roles in bosonic string theory. Metatron challenged me to find octonionic descriptions of them. I tried.
Given a lattice $L$ in $n$-dimensional Euclidean space, there’s a way to build a lattice $L^{++}$ in $(n+2)$-dimensional Minkowski spacetime. This is called the ‘over-extended’ version of $L$.
If we start with the lattice $\mathrm{E}_8$ in 8 dimensions, this process gives a lattice called $\mathrm{E}_{10}$, which plays an interesting but mysterious role in superstring theory. This shouldn’t come as a complete shock, since superstring theory lives in 10 dimensions, and it can be nicely formulated using octonions, as can the lattice $\mathrm{E}_8$.
If we start with the lattice called $\mathrm{D}_{24}$, this over-extension process gives a lattice $\mathrm{D}_{24}^{++}$. This describes the ‘cosmological billiards’ for the 3d compactification of the theory of gravity arising from bosonic string theory. Again, this shouldn’t come as a complete shock, since bosonic string theory lives in 26 dimensions.
Last time I gave a nice description of $\mathrm{E}_{10}$: it consists of $2 \times 2$ self-adjoint matrices with integral octonions as entries.
It would be nice to get a similar octonionic description of $\mathrm{D}_{24}^{++}$. But it’s actually easier to go up to 27 dimensions, because the space of $3 \times 3$ self-adjoint matrices with octonion entries is 27-dimensional. And indeed, there’s a 27-dimensional lattice waiting to be described with octonions.
You see, for any lattice $L$ in $n$-dimensional Euclidean space, there’s also a way to build a lattice $L^{+++}$ in $(n+3)$-dimensional Minkowski spacetime, called the ‘very extended’ version of $L$.
If we do this to $L = \mathrm{E}_8$ we get an 11-dimensional lattice called $\mathrm{E}_{11}$, which has mysterious connections to M-theory. But if we do it to $\mathrm{D}_{24}$ we get a 27-dimensional lattice sometimes called $\mathrm{K}_{27}$. You can read about both these lattices here:
- Peter C. West, E_{11} and M theory.
I’ll prove that $\mathrm{E}_{11}$ has a nice description in terms of integral octonions. I’ll almost do something similar for $\mathrm{K}_{27}$, but in fact I’ll succeed for a lattice containing it, which is twice as dense.
To do these things, I’ll use the explanation of over-extended and very extended lattices given here:
- Matthias R. Gaberdiel, David I. Olive and Peter C. West, A class of Lorentzian Kac–Moody algebras.
These constructions use a 2-dimensional lattice called $\mathrm{H}$. Let’s get to know this lattice. It’s very simple.
A 2-dimensional Lorentzian lattice
Up to isometry, there’s a unique even unimodular lattice in Minkowski spacetime whenever its dimension is 2 more than a multiple of 8. The simplest of these is $\mathrm{H}$: it’s the unique even unimodular lattice in 2-dimensional Minkowski spacetime.
There are various ways to coordinatize $\mathrm{H}$. The easiest, I think, is to start with $\mathbb{R}^2$ and give it the metric $g$ with
$g(x,x) = -2 u v$
when $x = (u,v)$. Then, sitting in $\mathbb{R}^2$, the lattice $\mathbb{Z}^2$ is even and unimodular. So, it’s a copy of $\mathrm{H}$.
Let’s get to know it a bit. The coordinates $u$ and $v$ are called lightcone coordinates, since the $u$ and $v$ axes form the lightcone in 2d Minkowski spacetime. In other words, the vectors
$\ell = (1,0), \quad \ell' = (0,1)$
are lightlike, meaning
$g(\ell,\ell) = 0 , \quad g(\ell', \ell') = 0$
Their sum is a timelike vector
$\tau = \ell + \ell' = (1,1)$
since the inner product of $\tau$ with itself is negative; in fact
$g(\tau,\tau) = -2$
Their difference is a spacelike vector
$\sigma = \ell - \ell' = (1,-1)$
since the inner product of $\sigma$ with itself is positive; in fact
$g(\sigma,\sigma) = 2$
Since the vectors $\tau$ and $\sigma$ are orthogonal and have length $\sqrt{2}$ in the metric $g$, we get a square of area $2$ with corners
$0, \tau, \sigma, \tau + \sigma$
that is,
$(0,0),\; (1,1),\; (1,-1), \;(2,0)$
If you draw a picture, you can see by dissection that this square has twice the area of the unit cell
$(0,0),\; (1,0), \; (0,1) , \; (1,1)$
So, the unit cell has area 1, and the lattice is unimodular as claimed. Furthermore, every vector in the lattice has even inner product with itself, so this lattice is even.
Over-extended lattices
Given a lattice $L$ in Euclidean $\mathbb{R}^n$,
$L^{++} = L \oplus \mathrm{H}$
is a lattice in $(n+2)$-dimensional Minkowski spacetime, also known as $\mathbb{R}^{n+1,1}$. This lattice $L^{++}$ is called the over-extension of $L$.
A direct sum of even lattices is even. A direct sum of unimodular lattices is unimodular. Thus if $L$ is even and unimodular, so is $L^{++}$.
All this is obvious. But here are some deeper facts about even unimodular lattices. First, they only exist in $\mathbb{R}^n$ when $n$ is a multiple of 8. Second, they only exist in $\mathbb{R}^{n+1,1}$ when $n$ is a multiple of 8.
But here’s the really amazing thing. In the Euclidean case there can be lots of different even unimodular lattices in a given dimension. In 8 dimensions there’s just one, up to isometry, called $\mathrm{E}_8$. In 16 dimensions there are two. In 24 dimensions there are 24. In 32 dimensions there are at least 1,160,000,000, and the number continues to explode after that. On the other hand, in the Lorentzian case there’s just one even unimodular lattice in a given dimension, if there are any at all.
More precisely: given two even unimodular lattices in $\mathbb{R}^{n+1,1}$, they are always isomorphic to each other via an isometry: a linear transformation that preserves the metric. We then call them isometric.
Let’s look at some examples. Up to isometry, $\mathrm{E}_8$ is the only even unimodular lattice in 8-dimensional Euclidean space. We can identify it with the lattice of integral octonions, $\mathbf{O} \subseteq \mathbb{O}$, with the inner product
$$ g(X,X) = 2 X X^*$</p> <p>$L^{++}$is usually called$E_{10}$. Up to isometry, this is the unique even unimodular lattice in 10 dimensions. There are lots of ways to describe it, but last time we saw that it's the lattice of$2 \times 2$self-adjoint matrices with integral octonions as entries:</p> <p>$$\mathfrak{h}_2(\mathbf{O}) = \left\{ \; \left( \begin{array}{cc} a & X \\ X^* & b \end{array} \right) : \; a,b \in \mathbb{Z}, \; X \in \mathbf{O} \; \right\}$$</p> <p>where the metric comes from$-2$times the determinant:</p> <p>$$x = \left( \begin{array}{cc} a & X \\ X^* & b \end{array} \right) \;\; \implies \;\; g(x,x) = - \det(x) = 2 X X^* - 2 a b$$</p> <p>We'll see a fancier formula like this later on.</p> <p>There are 24 even unimodular lattices in 24-dimensional Euclidean space. One of them is </p> <p>$$\mathrm{E}_8 \oplus \mathrm{E}_8 \oplus \mathrm{E}_8$$</p> <p>Another is$\mathrm{DD}_{24}$the lattice of vectors in$\mathbb{R}^{24}$where the components are either all integers or all half-integers and their sum is even. This contains the lattice$\mathrm{D}_{24}$that I mentioned earlier. It's twice as dense. I'll explain it later.</p> <p>If we take the over-extension of any of these even unimodular lattices in 24-dimensional Euclidean space, we get an even unimodular lattice in 26-dimensional Minkowski spacetime... and all these are isometric! The over-extension process 'washes out the difference' between them. In particular,</p> <p>$$\mathrm{DD}_{24}^{++} \cong (\mathrm{E}_8 \oplus \mathrm{E}_8 \oplus \mathrm{E}_8)^{++}$$</p> <p>This is nice because up to a scale factor,$\mathrm{E}_8$is the lattice of integral octonions. So, there's a description of$\mathrm{DD}_{24}^{++}$using three integral octonions! But the story is prettier if we go up an extra dimension.</p> <h3> Very extended lattices </h3> <p>After the over-extended version$L^{++}$of a lattice$L$in Euclidean space comes the 'very extended' version, called$L^{+++}$. If you ponder the paper by Gaberdiel <i>et al</i>, you can see this is the direct sum of the over-extension$L^{++}$and a 1-dimensional lattice called$\mathrm{A}_1$.$\mathrm{A}_1$is just$\mathbb{Z}$with the metric</p> <p>$$g(x,x) = 2 x^2$$</p> <p>It's even but not unimodular. </p> <p>In short, the <b>very extended</b> version of$L$is</p> <p>$$L^{+++} = L^{++} \oplus \mathrm{A}_1 = L \oplus \mathrm{H} \oplus \mathrm{A}_1$$</p> <p>If$L$is even, so is$L^{+++}$. But if$L$is unimodular, this will not be true of$L^{+++}$.</p> <p>The very extended version of$\mathrm{E}_8$is called$\mathrm{E}_{11}$. The very extended version of$\mathrm{D}_{24}$is called$\mathrm{K}_{27}$. This a fascinating thing, and it would be nice to describe it using octonions. But it will be easier to work with a lattice that's twice as dense: the very extended version of$\mathrm{DD}_{24}$.</p> <p>Now it's time to explain this 'twice as dense' business.</p> <h3> Doubling the density of D<sub>n</sub> </h3> <p>The$\mathrm{D}_n$lattice is very simple. Take an$n$-dimensional checkerboard with alternating red and black hypercubes. Put a dot in the middle of each black hypercube. That's the$\mathrm{D}_n$lattice!</p> <p>More precisely, the$\mathrm{D}_n$lattice consists of all$n$-tuples of integers that sum to an even integer. Requiring that they sum to an even integer picks out the center of every other hypercube in our checkerboard.</p> <p>Here's a basis of vectors for the$\mathrm{D}_4$lattice:</p> <p>$$\begin{array}{cccc} (-1, & -1, & 0, & 0) \\ (1, & -1, & 0, & 0 ) \\ (0, & 1, & -1 & 0 ) \\ (0, & 0, & 1, & -1) \end{array}$$</p> <p>The same pattern works in any dimension: the first vector has two$-1$s followed by a bunch of zeros, but the rest of the vectors are all just shifted versions of the second. I've chosen them to be simple roots for$\mathrm{D}_n$, but that's not so important now.</p> <p>What really matters is this. The dot product of any basis vector with itself is even, and the dot product of any two different ones is an integer. Thus, the lattice they generate, the$\mathrm{D}_n$lattice, is <b>even</b>: the dot product of any vector with itself is even.</p> <p>Also, the determinant of the matrix formed by our basis vectors:</p> <p>$$\left( \begin{array}{rrrr} -1 & -1 & 0 & 0 \\ 1 & -1 & 0 & 0 \\ 0 & 1 & -1 & 0 \\ 0 & 0 & 1 & -1 \end{array} \right)$$</p> <p>is 2. In any dimension, this sort of determinant gives$\pm 2$. So, the volume of the unit cell in$\mathrm{D}_n$lattice is always 2. So, it's not unimodular.</p> <p>To get something unimodular, we can double the density by taking the union of$\mathrm{D}_n$and a copy of$\mathrm{D}_n$translated by the vector</p> <p>$$\left(\frac{1}{2}, \dots, \frac{1}{2} \right)$$</p> <p>Let's call this union$\mathrm{DD}_n$. A lot of people call it$\mathrm{D}_n^+$, but we're using plus signs for too many other things already. I'm calling it$\mathrm{D}_n$because it's <i>doubly dense</i>, and also because it's the union of two shifted copies of$\mathrm{D}_n$.</p> <p>$\mathrm{DD}_3$is the way carbon atoms are arranged in a diamond! </p> <p><img src = "http://math.ucr.edu/home/baez/mathematical/diamond.gif" alt = ""/></p> <p>This pattern is called the <a href = "https://en.wikipedia.org/wiki/Diamond_cubic"><b>diamond cubic</b></a>. It's beautiful, but it's not a lattice in the mathematical sense.$\mathrm{DD}_n$is a lattice only when$n$is even. Here's the story:</p> <ul> <li> In any dimension, the volume of the Voronoi cells of$\mathrm{DD}_n$is 1, so we can say it's <b>unimodular</b>. </li> <li> In even dimensions, and only those,$\mathrm{DD}_n$is lattice. After all, only then does the sum of$(\frac{1}{2}, \dots, \frac{1}{2})$with itself again lie in$\mathrm{DD}_n$. </li> <li> In dimensions that are multiples of 4, and only those,$\mathrm{DD}_n$is an <b>integral</b> lattice, meaning that the dot product of any two vectors in the lattice is an integer. After all, only then is the inner product of$(\frac{1}{2}, \dots, \frac{1}{2})$with itself an integer. </li> <li> In dimensions that are multiples of 8, and only those,$\mathrm{DD}_n$is an <b>even</b> lattice, meaning that the dot product of any vector with itself is even. After all, only then is the inner product of$(\frac{1}{2}, \dots, \frac{1}{2})$even. </li> </ul> <p>As I mentioned before, even unimodular lattices are possible in Euclidean space only when the dimension is a multiple of 8.$\mathrm{DD}_8$is none other than our friend$\mathrm{E}_8$! But what we really need now is$\mathrm{DD}_{24}$, since it's an even unimodular lattice in 24 dimensions. I'd like to have a nice octonionic description of</p> <p>$$\mathrm{K}_{27} = \mathrm{D}_{24}^{+++}$$</p> <p>but I'll actually get one for</p> <p>$$\mathrm{DD}_{24}^{+++}$$</p> <p>which is twice as dense. We could use this to get an octonionc description of$\mathrm{K}_{27}$, but I won't do that.</p> <h3> Lattices in the exceptional Jordan algebra </h3> <p>Now we are ready to have some fun!</p> <p>Let$\mathfrak{h}_3(\mathbb{O})$be the space of$3 \times 3$self-adjoint octonionic matrices. It's 27-dimensional since a typical element looks like</p> <p>$$x = \left( \begin{array}{ccc} a & X & Y \\ X^* & b & Z \\ Y^* & Z^* & c \end{array} \right)$$</p> <p>where$a,b,c \in \mathbb{R}, X,Y,Z \in \mathbb{O}$. It's called the <b>exceptional Jordan algebra</b>. We don't need to know about Jordan algebras now, but this concept encapsulates the fact that if$x \in \mathfrak{h}_3(\mathbb{O})$, so is$x^2$. </p> <p>There's a 2-parameter family of metrics on the exceptional Jordan algebra that are invariant under all Jordan algebra automorphisms. They have</p> <p>$$g(x,x) = \alpha \tr(x^2) + \beta \tr(x)^2$$</p> <p>for$\alpha, \beta \in \mathbb{R}$with$\alpha \ne 0$. Some are Euclidean and some are Lorentzian.</p> <p>Sitting inside the exceptional Jordan algebra is the lattice of$3 \times 3$self-adjoint matrices with integral octonions as entries:</p> <p>$$\mathfrak{h}_3(\mathbf{O}) = \left\{ \; \left( \begin{array}{ccc} a & X & Y \\ X^* & b & Z \\ Y^* & Z^* & c \end{array} \right) :\; a,b,c \in \mathbb{Z}, \; X,Y,Z \in \mathbf{O} \; \right\}$$</p> <p>And here's the cool part:</p> <p><b>Theorem.</b> There is a Lorentzian inner product$g$on the exceptional Jordan algebra that is invariant under all automorphisms and makes the lattice$\mathfrak{h}_3(\mathbf{O})$isometric to$\mathrm{DD}_{24}^{+++}$.</p> <p><b>Proof.</b> We will prove that the metric </p> <p>$$g(x,x) = \tr(x^2) - \tr(x)^2$$</p> <p>obeys all the conditions of this theorem. From what I've already said, it is invariant under all Jordan algebra automorphisms. The challenge is to show that it makes$\mathfrak{h}_3(\mathbf{O})$isometric to$\mathrm{DD}_{24}^{+++}$. But instead of$\mathrm{DD}_{24}^{+++}$, we can work with$(\mathrm{E}_8 \oplus \mathrm{E}_8 \oplus \mathrm{E}_8)^{+++}$, since we have seen that</p> <p>$$\mathrm{DD}_{24}^{+++} \cong (\mathrm{E}_8 \oplus \mathrm{E}_8 \oplus \mathrm{E}_8)^{+++}$$</p> <p>Let us examine the metric$g$in more detail. Take any element$x \in \mathfrak{h}_3(\mathbf{O})$:</p> <p>$$x = \left( \begin{array}{ccc} a & X & Y \\ X^* & b & Z \\ Y^* & Z^* & c \end{array} \right)$$</p> <p>where$a,b,c \in \mathbb{R}, X,Y,Z \in \mathbb{O}$. Then</p> <p>$$tr(x^2) = a^2 + b^2 + c^2 + 2(X X^* + Y Y^* + Z Z^*)$$</p> <p>while </p> <p>$$tr(x)^2 = (a + b + c)^2$$</p> <p>Thus</p> <p>$$\begin{array}{ccl} g(x,x) &=& tr(x^2) - tr(x)^2 \\ &=& 2(X X^* + Y Y^* + Z Z^*) - 2(a b + b c + c a) \end{array}$$</p> <p>It follows that with this metric, the diagonal matrices are orthogonal to the off-diagonal matrices. An off-diagonal matrix$x \in \mathfrak{h}_3(\mathbf{O})$is a triple$(X,Y,Z) \in \mathbf{O}^3$, and has</p> <p>$$g(x,x) = 2(X X^* + Y Y^* + Z Z^*)$$</p> <p>Thanks to the factor of 2, this metric makes the lattice of these off-diagonal matrices isometric to$\mathrm{E}_8 \oplus \mathrm{E}_8 \oplus \mathrm{E}_8$. Since</p> <p>$$(\mathrm{E}_8 \oplus \mathrm{E}_8 \oplus \mathrm{E}_8)^{+++} = \mathrm{E}_8 \oplus \mathrm{E}_8 \oplus \mathrm{E}_8 \oplus \mathrm{H} \oplus \mathrm{A}_1$$</p> <p>it thus suffices to show that the 3-dimensional Lorentzian lattice of <i>diagonal</i> matrices in$\mathfrak{h}_3(\mathbf{O})$is isometric to </p> <p>$$\mathrm{H} \oplus \mathrm{A}_1$$</p> <p>A diagonal matrix$x \in \mathfrak{h}_3(\mathbf{O})$is a triple$(a,b,c) \in \mathbb{Z}^3$, and on these triples the inner product$g$is given by</p> <p>$$g(x,x) = -2(a b + b c + c a)$$</p> <p>If we restrict attention to triples of the form$x = (a,b,0)$, we get a 2-dimensional Lorentzian lattice: a copy of$\mathbb{Z}^2$with inner product</p> <p>$$g(x,x) = -2a b$$</p> <p>This is just$\mathrm{H}$.</p> <p>We can use this to show that the lattice of <i>all</i> triples$(a,b,c) \in \mathbb{Z}^3$, with the inner product$g$, is isometric to$\mathrm{H} \oplus \mathrm{A}_1$. </p> <p>Remember,$\mathrm{A}_1$is a 1-dimensional lattice generated by a spacelike vector whose norm squared is 2. So, it suffices to show that the lattice$\mathbb{Z}^3$is generated by vectors of the form$(a,b,0)$together with a spacelike vector of norm squared 2 that is orthogonal to all those of the form$(a,b,0)$.</p> <p>To do this, we need to describe the inner product$g$on$\mathbb{Z}^3$more explicitly. For this, we can use polarization identity</p> <p>$$g(x,x') = \frac{1}{2}( g(x+x',x+x') - g(x,x) - g(x',x'))$$</p> <p>Remember, if$x = (a,b,c)$we have</p> <p>$$g(x,x) = -2(a b + b c + c a)$$</p> <p>So, if we also have$x’ = (a’,b’,c’)$, the polarization identity gives</p> <p>$$g(x,x') = -(a b'+a' b) - (b c'+ b c') - (c a' + c'a)$$</p> <p>We are looking for a spacelike vector$x’ = (a’,b’,c’)$that is orthogonal to all those of the form$x = (a,b,0)$. For this, it is necessary and sufficient to have</p> <p>$$0 = g((1,0,0),(a',b',c')) = - b' - c'$$</p> <p>and</p> <p>$$0 = g((0,1,0), (a',b',c')) = - a' - c'$$</p> <p>An example is$x’ = (1,1,-1)$. This has </p> <p>$$g(x',x') = -2(1 - 1 - 1) = 2$$</p> <p>so it is spacelike, as desired. Even better, it has norm squared two. And even better, this vector$x’$, along with those of the form$(a,b,0)$, generates the lattice$\mathbb{Z}^3$.</p> <p>So we have shown what we needed: the lattice of all triples$(a,b,c) \in \mathbb{Z}^3$is generated by those of the form$(a,b,0)$together with a spacelike vector with norm squared 2 that is orthogonal to all those of the form$(a,b,0)$.$\blacksquare$</p> <p>This theorem has three nice spinoffs:</p> <p><b>Corollary 1.</b> With the same Lorentzian inner product$g$on the exceptional Jordan algebra, the lattice$\mathrm{DD}_{24}^{++}$is isometric to the sublattice of$\mathfrak{h}_3(\mathbf{O})$where a fixed diagonal entry is set equal to zero, e.g.:</p> <p>$$\left\{ \; \left( \begin{array}{ccc} a & X & Y \\ X^* & b & Z \\ Y^* & Z^* & 0 \end{array} \right) : \; a,b \in \mathbb{Z}, \; X,Y,Z \in \mathbf{O} \; \right\}$$</p> <p><b>Proof.</b> Use the fact that with the metric$g$, the diagonal matrices </p> <p>$$\left\{ \; \left( \begin{array}{ccc} a & 0 & 0 \\ 0 & b & 0 \\ 0 & 0 & 0 \end{array} \right) : \; a,b \in \mathbb{Z} \; \right\}$$</p> <p>form a copy of$\mathrm{H}$, so the matrices above form a copy of</p> <p>$$\mathrm{E}_8 \oplus \mathrm{E}_8 \oplus \mathrm{E}_8 \oplus \mathrm{H} \cong (\mathrm{E}_8 \oplus \mathrm{E}_8 \oplus \mathrm{E}_8)^{++} \cong \mathrm{DD}_{24}^{++} \qquad \qquad \qquad \blacksquare$$</p> <p><b>Corollary 2.</b> With the same Lorentzian inner product$g$on the exceptional Jordan algebra, the lattice$\mathrm{E}_{11} = E_8^{+++}$is isometric to the sublattice of$\mathfrak{h}_3(\mathbf{O})$where two fixed off-diagonal entries are set equal to zero, e.g.:</p> <p>$$\left\{ \; \left( \begin{array}{ccc} a & X & 0 \\ X^* & b & 0 \\ 0 & 0 & c \end{array} \right) : \; a,b,c \in \mathbb{Z}, \; X\in \mathbf{O} \; \right\}$$</p> <p><b>Proof.</b> Use the fact that with the metric$g$, the diagonal matrices </p> <p>$$\left\{ \; \left( \begin{array}{ccc} a & 0 & 0 \\ 0 & b & 0 \\ 0 & 0 & c \end{array} \right) : \; a,b \in \mathbb{Z} \; \right\}$$</p> <p>form a copy of$\mathrm{H} \oplus \mathrm{A}_1$, so the matrices above form a copy of</p> <p>$$\mathrm{E}_8 \oplus \mathrm{H} \oplus \mathrm{A}_1 \cong \mathrm{E}_8^{+++} \qquad \qquad \qquad \blacksquare$$</p> <p><b>Corollary 3.</b> With the same Lorentzian inner product$g$on the exceptional Jordan algebra, the lattice$\mathrm{E}_{10} = \mathrm{E}_8^{++}$is isometric to the sublattice of$\mathfrak{h}_3(\mathbf{O})$where two fixed off-diagonal entries and one diagonal entry are set equal to zero, e.g.:</p> <p>$$\left\{ \; \left( \begin{array}{ccc} a & X & 0 \\ X^* & b & 0 \\ 0 & 0 & 0 \end{array} \right) : \; a,b,c \in \mathbb{Z}, \; X\in \mathbf{O} \; \right\}$$</p> <p><b>Proof.</b> Use the previous corollary; this is the obvious copy of$\mathrm{E}_8^{++} \cong \mathrm{E}_8 \oplus \mathrm{H}$inside$\mathrm{E}_8^{+++} \cong \mathrm{E}_8 \oplus \mathrm{H} \oplus \mathrm{A}_1$.$\blacksquare$
Re: Integral Octonions (Part 8)
This is very nice!
I’ve been pondering that metric:
$g(x,x) = \tr(x^2) - \tr(x)^2$
and wondering if there’s some setting where things work as nicely in the $n\times n$ case as they do for the $2\times 2$. I think this metric is Lorentzian for any $n\ge 2$ on the $n\times n$ self-adjoint matrices over any division algebra $\mathbb{K}$, with the identity matrix as a timelike vector, while all self-adjoint pairs of off-diagonal matrix elements are spacelike, as well as the $n-1$ diagonal matrices such as $diag(1,-1,0,0,...)$.
You say that for $n=3$ this metric is invariant under the Jordan algebra automorphisms. But do you know if there’s some kind of systematic representation of $SO_0(m,1)$ on the $n\times n$ matrices (where $m = n-1 + \frac{1}{2}n(n-1) dim \mathbb{K}$)?