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 3, 2013

Integral Octonions (Part 5)

Posted by John Baez

I’m back from China. I saw lots of cool stuff:

(Click for more information.)

But I also had lots of time sitting in trains, buses and automobiles to think about the E 8\mathrm{E}_8 root polytope. Calculations along these lines turn out to be a great antidote to boredom!

So now I’d like to show you how to calculate the number of vertices, edges, 2d faces, etc. of this 8-dimensional polytope. What’s interesting is not the answers so much as the technique, which involves Dynkin diagrams.

If you take a bunch of equal-sized balls in 8 dimensions, and get as many as possible to all touch a central one, their centers will be the vertices of the E 8\mathrm{E}_8 root polytope. Here are two attempts to draw it—click for more information:

In its full 8-dimensional glory, this shape has:

  • 240 vertices
  • 6,720 edges
  • 60,480 2d faces, which are all equilateral triangles
  • 241,920 3d faces, which are all regular tetrahedra
  • 483,840 4d faces, which are all regular 4-simplexes
  • 483,840 5d faces, which are all regular 5-simplexes
  • 207,360 6d faces, which are all regular 6-simplexes
  • 19,440 7d faces, consisting of 17,280 regular 7-simplexes and 2,160 regular 7-orthoplexes

and

  • a symmetry group with 696,729,600 elements, including rotations and reflections.

Remember, a 3-simplex is a tetrahedron:

while a 3-orthoplex is an octahedron:

Anyone can look up these crazy numbers on Wikipedia. But how can we see that they’re right?

That’s our challenge for today. It’s easiest if we define the E 8\mathrm{E}_8 root polytope starting from this picture:

and use the theory of simply-laced Dynkin diagrams, which are Dynkin diagrams without any multiple edges between dots. (Most of what I’m about to say generalizes to other Dynkin diagrams, but I’ll save a bit of time by focusing on this case.)

Suppose we’ve got such a diagram with nn dots. At an elementary level, this diagram tells us to take a bunch of unit vectors in nn-dimensional Euclidean space, and make sure they lie at a 90 90^\circ angle if there’s no edge connecting them, and a 120 120^\circ angle if there is an edge connecting them.

We get a lattice called the root lattice by taking all integer linear combinations of these vectors. The nonzero vectors closest to the origin are called roots. These roots are the vertices of an nn-dimensional convex polytope called the root polytope.

The roots include the vectors we started with, one for each dot in our Dynkin diagram: these are called the simple roots. But there are also a lot more.

Starting with the E 8\mathrm{E}_8 Dynkin diagram, we can in principle figure out everything we want to know about the E 8\mathrm{E}_8 root polytope, including how many faces of each dimension it has, and the size of its symmetry group. But to do such things elegantly, it helps to use some tricks.

Coxeter groups

The main trick is to use the theory of Coxeter groups. Any simply-laced Dynkin diagram gives such a group, and it’s very easy to describe. It has one generator s is_i obeying

s i 2=1s_i^2 = 1

for each dot in the Dynkin diagram, one relation

s is js i=s is js i s_i s_j s_i = s_i s_j s_i

for each pair of dots connected by an edge, and one relation

s is j=s js i s_i s_j = s_j s_i

for each pair of dots not connected by an edge. Each generator s is_i corresponds to a reflection: the reflection that flips the iith simple root to its negative.

For example, starting with the Dynkin diagram called A 3\mathrm{A}_3:

we get a group with 3 generators, which happens to be the symmetry group of a regular tetrahedron:

So, you should think of the three dots in the Dynkin diagram as standing for ‘vertex’, ‘edge’ and ‘face’. Why? Because the corresponding generators of the Coxeter group are reflections that:

• switch two neighboring vertices,

• switch two neighboring edges, and

• switch two neigboring faces,

respectively!

The A n\mathrm{A}_n diagram gives the symmetry group of a regular nn-simplex in just the same way. A similar story applies to the symmetry group of the regular nn-dimensional orthoplex, but the Dynkin diagram for this is not simply laced, so I won’t get into the details. The cases we really need now are the E 8\mathrm{E}_8 Dynkin diagram and the sub-diagrams of this.

For example, if we pull off the end dot of E 8\mathrm{E}_8 we get a sub-diagram called D 7\mathrm{D}_7, which looks like this:

or, after prettying it up, this:

Reading from left to right, can think of the dots here as standing for ‘vertex’, ‘edge’, ‘2d face’, ‘3d face’ and so on… but when we get to the right end of the diagram, obviously something funny must happen!

There are two dots that mean ‘top-dimensional face’. The reason is that this Coxeter group is the symmetry group of a 7-orthoplex that has its 6-dimensional faces colored alternately white and black. We only consider symmetries that carry faces to faces of the same color. Two 6d faces intersect in at most one 5d face, so there’s no dot for ‘5d face’. We can summarize the story like this:

All the D n\mathrm{D}_n Dynkin diagrams look similar, with some number of dots in a row followed by two at the end… and they all work the same way. Their Coxeter groups are the symmetry groups of orthoplexes with their top-dimensional faces colored alternately white and black.

In the case of E 8\mathrm{E}_8, something even stranger happens! The top-dimensional faces are of two kinds: 7-simplex and 7-orthoplex:

Other subtleties arise for the sub-diagrams E 7\mathrm{E}_7 and E 6\mathrm{E}_6. So, you’re probably thinking that this subject is an elaborate quagmire. But it’s not.

Coxeter complexes

To deal with all Coxeter groups in a systematic way, it’s better to think of them as symmetry groups of certain simplicial complexes called ‘Coxeter complexes’. Roughly speaking, a simplicial complex is a gadget made of 0-simplexes, 1-simplexes, 2-simplexes, 3-simplexes, and so on — all stuck together in a nice way.

If you have a Coxeter diagram with nn dots, the highest dimension of the simplexes in its Coxeter complex is n1n-1. There is one of these top-dimensional simplexes for each element of the Coxeter group. For example, I’ve already said this Dynkin diagram:

gives the Coxeter group consisting of symmetries of a regular tetrahedron — by which I mean all reflections and rotations. This group has 4! = 24 elements, so the Coxeter complex is built from 24 triangles. And in fact, we get it by barycentrically subdividing the surface of a tetrahedron! We can draw it on a sphere, like this:

You can see there are 24 triangles. And, you can see that if you fix a given triangle, there’s a unique symmetry of the Coxeter group mapping it to any other triangle.

In general, the Coxeter group of a Dynkin diagram with nn dots always acts as linear transformations of n\mathbb{R}^n. Each root gives a reflection that flips that root to its negative. So, this group also acts on the (n1)(n-1)-sphere. If we take this sphere and chop it up along the hyperplanes corresponding to all the reflections in the Coxeter group, we get the Coxeter complex. See if you can visualize this in the picture above.

Even better, if you pick any top-dimensional simplex in the Coxeter complex, there always exactly one element of the Coxeter group that maps it to any other top-dimensional simplex. So the Coxeter complex is the best possible thing made out of simplexes on which the Coxeter group acts as symmetries!

The size of the Coxeter group corresponding to a Dynkin diagram is always the product of some integers, one for each dot in the Dynkin diagram. These integers have lots of important properties, and calculating them is really the key to all the problems we’ve set out to solve. To start with, let me just show you these numbers and what we can do with them.

Here they are. For any Dynkin diagram DD, let W(D)W(D) be its Coxeter group, also known as its Weyl group. Here are the sizes of these groups for all the simply-laced Dynkin diagrams:

|W(A n)| = 234(n+1) = (n+1)! |W(D n)| = 2462(n1)n = (2n)?! |W(E 6)| = 2568912 = 51,840 |W(E 7)| = 26810121418 = 2,903,040 |W(E 8)| = 28121418202430 = 696,729,600 \begin{array}{ccll} |W(\mathrm{A}_n)| &=& 2 \cdot 3 \cdot 4 \cdot \cdots \cdot (n+1) &=& (n+1)! \\ |W(\mathrm{D}_n)| &=& 2 \cdot 4 \cdot 6 \cdot \cdots \cdot 2(n-1) \cdot n &=& (2n)?! \\ |W(\mathrm{E}_6)| &=& 2 \cdot 5 \cdot 6 \cdot 8 \cdot 9 \cdot 12 &=& 51,840 \\ |W(\mathrm{E}_7)| &=& 2 \cdot 6 \cdot 8 \cdot 10 \cdot 12 \cdot 14 \cdot 18 &=& 2,903,040 \\ |W(\mathrm{E}_8)| &=& 2 \cdot 8 \cdot 12 \cdot 14 \cdot 18 \cdot 20 \cdot 24 \cdot 30 &=& 696,729,600 \end{array}

It’s easy to see that W(A n)W(A_n), the symmetry group of the nn-dimensional simplex, has size equal to

|W(A n)|=(n+1)! |W(\mathrm{A}_n)| = (n+1)!

since the nn-simplex has symmetries permuting its vertices any way you want. While it’s not a simply-laced example, it’s also easy to see that W(B n)W(B_n), the symmetry group of the nn-dimensional orthoplex, has size equal to

|W(B n)|=2 nn! |W(\mathrm{B}_n)| = 2^n n!

This number is equal to the double factorial

(2n)!!=242n (2n)!! = 2 \cdot 4 \cdot \cdots \cdot 2n

Finally, it’s also easy to see that W(D n)W(D_n), the symmetry group of the orthoplex with its top-dimensional faces colored alternately white and black, is half as big. So, its size is the half double factorial of 2n2n:

(2n)?!=242(n1)n (2n)?! = 2 \cdot 4 \cdots \cdot 2(n-1) \cdot n

So, the only problem is computing the size of W(E 6)W(\mathrm{E}_6), W(E 7)W(\mathrm{E}_7), and W(E 8)W(\mathrm{E}_8). I’ll talk about this later.

You might think it’s somewhat arbitrary how we wrote the size of these Coxeter groups as products of numbers—but it’s not! I’ll talk about this more at the end of the article. But here’s a little taste of the fun:

Puzzle 1. If you double each of these numbers and subtract one, then add up the results, you get the dimension of the Lie group corresponding to this Dynkin diagram. Why?

Let’s check that it works for E 8\mathrm{E}_8:

2(2+8+12+14+18+20+24+30)8=21288=248 2 \cdot (2 + 8 + 12 + 14 +18 + 20 + 24 + 30) - 8 = 2 \cdot 128 - 8 = 248

Yes, this is the dimension of the Lie group E 8\mathrm{E}_8!

Getting ready to calculate

Assuming we know the size of the Coxeter groups for all the simply-laced Dynkin diagrams, let’s see if we can calculate how many faces of each kind the E 8\mathrm{E}_8 root polytope has.

I explained the method in week187. Each Dynkin diagram DD describes a kind of ‘incidence geometry’ with different kinds of figures—points, edges, triangles, tetrahedra and so on—one for each dot in the Dynkin diagram. These figures can be ‘incident’ to each other—e.g., a triangle can lie on a tetrahedron—and there’s one basic incidence relation for each edge in the Dynkin diagram.

The Coxeter group W(D)W(D) acts transitively on the figures of any given kind. We can also work out the subgroup of W(D)W(D) that preserves a figure of a given kind. To do this, we just remove the corresponding dot from the Dynkin diagram, and get a sub-diagram EDE \subset D. Then W(E)W(D)W(E) \subseteq W(D) is the subgroup we want!

So, the set of the figures of a given kind is W(D)/W(E)W(D)/W(E). Thus, the number of figures of this kind is the ratio

|W(D)||W(E)| \frac{|W(D)|}{|W(E)|}

To see if you understand this, let’s do an easy example! How many edges does a tetrahedron have? Here our Dynkin diagram DD is A 3\mathrm{A}_3:

It describes a geometry, namely a tetrahedron, with figures of three kinds:

Suppose we want to count the number of 1-simplexes, or edges. We take the ‘1-simplex’ dot:

and we remove it, obtaining this sub-diagram:

Hmm, this isn’t connected! But that’s okay. This diagram is the disjoint union of two copies of the one-dot Dynkin diagram, A 1\mathrm{A}_1. If you follow the rules, you’ll see its Coxeter group is the product

W(A 1)×W(A 1)W(\mathrm{A}_1) \times W(\mathrm{A}_1)

So, the number of edges in a tetrahedron is

|W(A 3)||W(A 1)|×|W(A 1)|=4!2!×2!=6 \frac{|W(\mathrm{A}_3)|}{|W(\mathrm{A}_1)| \times |W(\mathrm{A}_1)|} = \frac{4!}{2! \times 2!} = 6

which is right!

If you’ve never done this sort of stuff, I encourage you to play around with more examples. It’s lots of fun! But having spent years warming up with exercises like that, I’m now going to climb Mount Everest and count the various figures in the E 8\mathrm{E}_8 root polytope.

It starts out easy, but near the end, as you might imagine from this picture, it gets tricky—and I’ll slip and fall. Hanging from a icy cliff, I’ll ask for your help!

0-simplexes

If we remove the ‘vertex’ dot from the E 8\mathrm{E}_8 Dynkin diagram:

we’re left with E 7\mathrm{E}_7:

So, the number of vertices of the E 8\mathrm{E}_8 root polytope is

|W(E 8)||W(E 7)| = 2812141820243026810121418 = 202430610 = 240 \begin{array}{ccl} \frac{|W(\mathrm{E}_8)|}{|W(\mathrm{E}_7)|} &=& \frac{2 \cdot 8 \cdot 12 \cdot 14 \cdot 18 \cdot 20 \cdot 24 \cdot 30}{2 \cdot 6 \cdot 8 \cdot 10 \cdot 12 \cdot 14 \cdot 18} \\ &=& \frac{ 20 \cdot 24 \cdot 30}{6 \cdot 10} \\ &=& 240 \end{array}

as we knew!

Just for fun, in the next to last step I cancelled all the numbers I could from the big fraction in the top line. This is worth doing because a qq-deformed version of the same calculation lets us count the number of points in a certain space called a ‘Grassmannian’ for the version of the group E 8\mathrm{E}_8 defined over the finite field with qq elements, where qq is any prime power. I explained how this works in week186 and week187.

In the qq-deformed count we replace integers with qq-integers, defined as follows:

[n]=1+q+q 2++q n1 [n] = 1 + q + q^2 + \cdots + q^{n-1}

So, for this particular Grassmannian the number of points is

[2][8][12][14][18][20][24][30][2][6][8][10][12][14][18] \frac{[2] \cdot [8] \cdot [12] \cdot [14] \cdot [18] \cdot [20] \cdot [24] \cdot [30]}{[2] \cdot [6] \cdot [8] \cdot [10] \cdot [12] \cdot [14] \cdot [18]}

or, doing all the cancellations we can,

[20][24][30][6][10] \frac{ [20] \cdot [24] \cdot [30]}{[6] \cdot [10]}

This, believe it or not, is a polynomial in qq. But we can’t say it’s equal to [240][240], because in general [nm][n][m][n m] \ne [n][m]. Only when we set q=1q = 1 does this equation hold, and then we get 240 points. So, our problem now, involving Coxeter groups, concerns the special case of the legendary but so far still mythical ‘field with one element’.

But if we wanted, we could look at the group E 8\mathrm{E}_8 defined over the field with 2 elements. It acts in a transitive way on a set with

[20][24][30][6][10] \frac{ [20] \cdot [24] \cdot [30]}{[6] \cdot [10]}

points. How many points is that? In this case

[n]=1+2+4++2 n1=2 n1 [n] = 1 + 2 + 4 + \cdots + 2^{n-1} = 2^n - 1

so the number of points is

(2 201)(2 241)(2 301)(2 61)(2 101)=293,091,386,578,365,375 \frac{(2^{20} - 1)(2^{24} - 1)(2^{30} - 1)}{(2^6 - 1)(2^{10} - 1)} = 293,091,386,578,365,375

1-simplexes

If we remove the ‘edge’ dot from the E 8\mathrm{E}_8 Dynkin diagram:

we’re left with A 1×E 6 \mathrm{A}_1 \times \mathrm{E}_6:

So, the number of edges of the E 8\mathrm{E}_8 root polytope is

|W(E 8)||W(A 1)|×|W(E 6)| = 281214182024302×(2568912) = 14182024302569 = 6,720 \begin{array}{ccl} \frac{|W(\mathrm{E}_8)|}{|W(\mathrm{A}_1)| \times |W(\mathrm{E}_6)|} &=& \frac{2 \cdot 8 \cdot 12 \cdot 14 \cdot 18 \cdot 20 \cdot 24 \cdot 30}{2 \times (2 \cdot 5 \cdot 6 \cdot 8 \cdot 9 \cdot 12)} \\ &=& \frac{14 \cdot 18 \cdot 20 \cdot 24 \cdot 30}{2 \cdot 5 \cdot 6 \cdot 9} \\ &=& 6,720 \end{array}

2-simplexes

A 2-simplex is just a triangle. If we remove the ‘2-simplex’ dot:

we’re left with A 2×D 5\mathrm{A}_2 \times \mathrm{D}_5:

so the number of 2d faces is

|W(E 8)||W(A 2)|×|W(D 5)| = 28121418202430(23)×(24685) = 121418202430234568 = 60,480 \begin{array}{ccl} \frac{|W(\mathrm{E}_8)|}{|W(\mathrm{A}_2)| \times |W(\mathrm{D}_5)|} &=& \frac{2 \cdot 8 \cdot 12 \cdot 14 \cdot 18 \cdot 20 \cdot 24 \cdot 30}{(2 \cdot 3) \times (2 \cdot 4 \cdot 6 \cdot 8 \cdot 5)} \\ &=& \frac{12 \cdot 14 \cdot 18 \cdot 20 \cdot 24 \cdot 30}{2 \cdot 3 \cdot 4 \cdot 5 \cdot 6 \cdot 8}\\ &=& 60,480 \end{array}

3-simplexes

This is a funny picture of a 3-simplex, or tetrahedron. If we remove the ‘3-simplex’ dot:

we’re left with A 3×A 4\mathrm{A}_3 \times \mathrm{A}_4 :

so the number of 3d faces is

|W(E 8)||W(A 3)|×|W(A 4)| = 28121418202430(234)×(2345) = 8121418202430233445 = 241,920 \begin{array}{ccl} \frac{|W(\mathrm{E}_8)|}{|W(\mathrm{A}_3)| \times |W(\mathrm{A}_4)|} &=& \frac{2 \cdot 8 \cdot 12 \cdot 14 \cdot 18 \cdot 20 \cdot 24 \cdot 30}{(2 \cdot 3 \cdot 4) \times (2 \cdot 3 \cdot 4 \cdot 5)} \\ &=& \frac{8 \cdot 12 \cdot 14 \cdot 18 \cdot 20 \cdot 24 \cdot 30}{2 \cdot 3 \cdot 3 \cdot 4 \cdot 4 \cdot 5}\\ &=& 241,920 \end{array}

4-simplexes

This is a picture of a 4-simplex. If we remove the ‘4-simplex’ dot from the E 8\mathrm{E}_8 Dynkin diagram:

we’re left with A 4×A 1×A 2\mathrm{A}_4 \times \mathrm{A}_1 \times \mathrm{A}_2:

so the number of 4d faces is

|W(E 8)||W(A 4)|×|W(A 1)|×|W(A 4)| = 28121418202430(2345)×2×(23) = 8121418202430223345 = 483,840 \begin{array}{ccl} \frac{|W(\mathrm{E}_8)|}{|W(\mathrm{A}_4)| \times |W(\mathrm{A}_1)| \times |W(\mathrm{A}_4)|} &=& \frac{2 \cdot 8 \cdot 12 \cdot 14 \cdot 18 \cdot 20 \cdot 24 \cdot 30}{(2 \cdot 3 \cdot 4 \cdot 5) \times 2 \times (2 \cdot 3)} \\ &=& \frac{8 \cdot 12 \cdot 14 \cdot 18 \cdot 20 \cdot 24 \cdot 30}{2 \cdot 2 \cdot 3 \cdot 3 \cdot 4 \cdot 5} \\ &=& 483,840 \end{array}

5-simplexes

At this point we meet a mystery: there is no ‘5-simplex’ dot in the E 8\mathrm{E}_8 Dynkin diagram!

This is a bit like how there is no 5-simplex dot in the D 7\mathrm{D}_7 Dynkin diagram:

The resolution there is that if we have ‘complete flag’ consisting of one figure of each kind shown in this picture, all incident, there is a unique 5-simplex that’s incident to all the other figures. Indeed, there’s at most one 5-simplex touching any pair consisting of a white and a black 6-simplex. So, the 5-simplex is ‘redundant’.

The same sort of resolution must, I think, apply to E 8\mathrm{E}_8. Understanding this in detail would make a good test of our understanding. But let’s move on!

6-simplexes

If we remove the ‘6-simplex’ dot:

we’re left with A 6×A 1\mathrm{A}_6 \times \mathrm{A}_1:

so the number of 6d faces is apparently:

|W(E 8)||W(A 6)|×|W(A 1)| = 28121418202430(234567)×2 = 8121418202430234567 = 69,120 \begin{array}{ccl} \frac{|W(\mathrm{E}_8)|}{|W(\mathrm{A}_6)| \times |W(\mathrm{A}_1)| } &=& \frac{2 \cdot 8 \cdot 12 \cdot 14 \cdot 18 \cdot 20 \cdot 24 \cdot 30}{(2 \cdot 3 \cdot 4 \cdot 5 \cdot 6 \cdot 7) \times 2} \\ &=& \frac{8 \cdot 12 \cdot 14 \cdot 18 \cdot 20 \cdot 24 \cdot 30}{2 \cdot 3 \cdot 4 \cdot 5 \cdot 6 \cdot 7} \\ &=& 69,120 \end{array}

But this does not agree with Wikipedia’s answer! It says our polytope has 207,360 6-dimensional faces, which are all regular 6-simplexes. So, we have another mystery on our hands here, which we will return to.

7-simplexes

If we remove the ‘7-simplex’ dot:

we are left with A 7\mathrm{A}_7:

so the number of 7-dimensional simplex faces is:

|W(E 8)||W(A 7)| = 281214182024302345678 = 12141820243034567 = 17,280 \begin{array}{ccl} \frac{|W(\mathrm{E}_8)|}{|W(\mathrm{A}_7)| } &=& \frac{2 \cdot 8 \cdot 12 \cdot 14 \cdot 18 \cdot 20 \cdot 24 \cdot 30}{2 \cdot 3 \cdot 4 \cdot 5 \cdot 6 \cdot 7 \cdot 8} \\ &=& \frac{12 \cdot 14 \cdot 18 \cdot 20 \cdot 24 \cdot 30}{3 \cdot 4 \cdot 5 \cdot 6 \cdot 7} \\ &=& 17,280 \end{array}

7-orthoplexes

If we remove the ‘7-orthoplex’ dot:

we are left with D 7\mathrm{D}_7:

so the number of 7-dimensional orthoplex faces is:

|W(E 8)||W(D 7)| = 28121418202430246810127 = 1214182024304671012 = 2,160 \begin{array}{ccl} \frac{|W(\mathrm{E}_8)|}{|W(\mathrm{D}_7)| } &=& \frac{2 \cdot 8 \cdot 12 \cdot 14 \cdot 18 \cdot 20 \cdot 24 \cdot 30}{2 \cdot 4 \cdot 6 \cdot 8 \cdot 10 \cdot 12 \cdot 7} \\ &=& \frac{12 \cdot 14 \cdot 18 \cdot 20 \cdot 24 \cdot 30}{4 \cdot 6 \cdot 7 \cdot 10 \cdot 12} \\ &=& 2,160 \end{array}

Further mysteries

We’ve got some mysteries to solve.

6-simplexes

First, our calculations seemed to show the number of 6-simplex faces of root polytope of E 8\mathrm{E}_8 is 69,120, while Wikipedia says the answer is 207,360. Luckily we can compute the answer another way, which sheds a little light on this problem.

Our polytope has 17,280 7-simplex faces and 2,160 7-orthoplex faces. Each 7-simplex has 8 faces, all of which are 6-simplexes. Each 7-orthoplex has 27 faces, all of which are 6-simplexes. So, we could naively count the total number of 6-simplexes and get

17,2808+2,1602 7=138,240+276,480=414,720 17,280 \cdot 8 + 2,160 \cdot 2^7 = 138,240 + 276,480 = 414,720

But this is double-counting, since each 6-simplex touches two 7-simplexes. (The top-dimensional faces of a convex polytope always meet in pairs along faces of the next highest dimension.) So the real count is half this:

138,2402+276,4802=69,120+138,240=207,360 \frac{138,240}{2} + \frac{276,480}{2} = 69,120 + 138,240 = 207,360

This matches the answer on Wikipedia. But it also sheds some light on our wrong answer. Our wrong answer, 69,120, is exactly the total number of faces of all the 7-simplexes. It’s also half the total number of faces of the 7-orthoplexes. It’s also exactly 1/3 of the correct answer!

All this suggests that the 6-simplex faces of our polytope come in two kinds, which cannot be interchanged by symmetries of the polytope. 1/3 of them are the ones we counted, the kind mentioned in this diagram:

2/3 of them are 6-simplexes of some other kind, which do not appear in the above diagram.

If this seems weird, remember that this diagram also does not include the 5-simplex faces of our polytope! Also remember that the D 7\mathrm{D}_7 diagram, corresponding to the 7-orthoplex, gives another example where some simplexes come in two kinds, while others do not appear at all, even though they exist as faces of the 7-orthoplex:

Even if this is true, it’s clearly not enough for a full understanding. If our polytope has two kinds of 6-simplex as faces, how do they differ? And where is the number 1/3 coming from?

Here’s my guess. The 7-orthoplex faces of our polytope have 6-simplex faces that can be colored alternately white and black, and all the symmetries of our polytope preserve this two-coloring. As evidence, note that the symmetries preserving a 7-orthoplex form the group D 7\mathrm{D}_7, which preserves such a two-coloring. But I’m guessing we can do this two-coloring in a consistent way, so every 6-simplex in our polytope is either white or black.

And I’m guessing we can do this so that each 7-orthoplex touches another 7-orthoplex on each of its black faces, and a 7-simplex on each of its white faces! On the other hand, every 7-simplex is completely surrounded by 7-orthoplexes.

If we can do this:

• Each white 6-simplex is the face of a unique 7-simplex, so the number of white 6-simplexes is

17,2808=138,240 17,280 \cdot 8 = 138,240

These are the 6-simplexes we counted.

• Each white 6-simplex is the face of a unique 7-orthoplex, so the number of white 6-simplexes is also

2,1602 72=138,240 \frac{2,160 \cdot 2^7}{2} = 138,240

where we get a factor of 1/21/2 because only half the 6-simplex faces of each 7-orthoplex are white. This is a consistency check!

• Each black 6-simplex is the face of two 7-orthoplexes, so the number of black 6-simplexes is

2,1602 74=69,120 \frac{2,160 \cdot 2^7}{4} = 69,120

• The total number of 6-simplexes is

69,120+138,240=207,360 69,120 + 138,240 = 207,360

as it says on Wikipedia.

All this fits together nicely… so while I haven’t proved the existence of this ‘consistent two-coloring’ and this arrangement of 6-simplexes and 6-orthoplexes, I believe it.

Puzzle 2. Prove or disprove my guesses here!

5-simplexes

Why does our polytope have 483,840 5d faces, which are all regular 5-simplexes? I haven’t figured out how to count them. With work I should be able to do it using my guesses in the previous section, but I made these guess just a few minutes ago.

Notably, 483,840 is also the number of 4d faces.

Puzzle 3. Show how to count the 5d faces of the E 8\mathrm{E}_8 root polytope.

The magic numbers

All my calculations rely on general results that I understand, together with some numbers:

W(E 6)| = 2568912 = 51,840 |W(E 7)| = 26810121418 = 2,903,040 |W(E 8)| = 28121418202430 = 696,729,600 \begin{array}{ccll} W(\mathrm{E}_6)| &=& 2 \cdot 5 \cdot 6 \cdot 8 \cdot 9 \cdot 12 &=& 51,840 \\ |W(\mathrm{E}_7)| &=& 2 \cdot 6 \cdot 8 \cdot 10 \cdot 12 \cdot 14 \cdot 18 &=& 2,903,040 \\ |W(\mathrm{E}_8)| &=& 2 \cdot 8 \cdot 12 \cdot 14 \cdot 18 \cdot 20 \cdot 24 \cdot 30 &=& 696,729,600 \end{array}

In fact for my calculations I only need to know the sizes of these three Coxeter groups, but it’s irresistible to try understanding the ‘magic numbers’ that you can multiply to get their sizes.

Puzzle 4. What’s the best way to calculate these magic numbers?

Back in week186 and week187 I gave many characterizations of these magic numbers. Unfortunately, they don’t seem to make it easy to calculate these numbers for E 6,E 7\mathrm{E}_6, \mathrm{E}_7 and E 8\mathrm{E}_8.

I bet somebody knows an easy way. But to help you with this puzzle, I’ll tell you eight hard ways!

Start with any Dynkin diagram DD, not necessarily simply-laced. Let G(𝔽)G(\mathbb{F}) be the corresponding simple algebraic group over a field 𝔽\mathbb{F}. In particular,

G=G()G = G(\mathbb{C})

is a complex Lie group. Suppose the diagram DD has nn dots. Then the magic numbers d 1,,d nd_1, \dots, d_n are natural numbers such that

|W(D)|=d 1d n |W(D)| = d_1 \cdot \cdots \cdot d_n

Moreover:

1) The real cohomology of GG is an exterior algebra on generators x 1,,x nx_1, \dots, x_n, one for each dot of the Dynkin diagram. The degrees of these generators are all odd, and the degree of x ix_i is 2d i12d_i - 1.

2) The real cohomology of the classifying space BGB G is a polynomial algebra on generators y 1,,y ny_1, \dots, y_n. The degrees of these generators are all even, and the degree of y iy_i is 2d i2 d_i.

3) The Weyl group W(D)W(D) acts on n\mathbb{R}^n. The algebra of polynomials on n\mathbb{R}^n invariant under this group action is a free commutative algebra on generators z 1,,z nz_1, \dots, z_n. The polynomial z iz_i is homogeneous of degree d id_i.

4) Define the q-polynomial of the Dynkin diagram DD to be the polynomial in qq where the coefficient of q kq^k is the number of kk-cells in the Bruhat decomposition of the flag variety G/BG/B. Here BB is the Borel subgroup of GG, and the Bruhat decomposition is a standard way of writing G/BG/B as disjoint union of kk-cells, that is, copies of k\mathbb{C}^k. Then the qq-polynomial equals

[d 1][d n] [d_1] \cdot \cdots \cdot [d_n]

where [d i]=1+q++q d i[d_i] = 1 + q + \cdots + q^{d_i}.

5) If the coefficient of q kq^k in the qq-polynomial is dd, the (2i)(2i)th homology group of G/BG/B is d.\mathbb{Z}^d.

6) The value of the qq-polynomial when qq is a prime power is the cardinality of G(𝔽 q)/B(𝔽 q)G(\mathbb{F}_q)/B(\mathbb{F}_q). Here 𝔽 q\mathbb{F}_q is the field with qq elements, and B(𝔽 q)B(\mathbb{F}_q) is the Borel subgroup of the simple algebraic group G(𝔽 q)G(\mathbb{F}_q).

7) The coefficient of q kq^k in the qq-polynomial is the number of Coxeter group elements of length kk. Here the length of any element in the Coxeter group is its minimal length as a word when we write it as product of the generators s 1,,s ns_1, \dots, s_n corresponding to dots in the Dynkin diagram.

8) The coefficient of q kq^k in the polynomial is the number of top-dimensional simplexes of distance kk from a chosen top-dimensional simplex in the Coxeter complex. Here we measure ‘distance’ between top-dimensional simplexes in the hopefully obvious way, based on how many walls you need to cross to get from one to the other.

If you know enough stuff you may have fun proving all these descriptions of the magic numbers are equivalent.

I have not managed to use any of these descriptions of the magic numbers to solve this problem:

Puzzle 5. Why is these sequence of magic numbers for any Dynkin diagram ‘symmetrical’?

To explain what I mean here, look at the pattern of spacings between magic numbers for E 6\mathrm{E}_6:

2 5 6 8 9 12 \begin{array}{cccccccccccc} \mathbf{2} & & & \mathbf{5} & \mathbf{6} & & \mathbf{8} & \mathbf{9} & & & \mathbf{12} \\ \bullet & \circ & \circ & \bullet & \bullet & \circ & \bullet & \bullet & \circ & \circ &\bullet \end{array}

It doesn’t change when you reflect it! The same is true for E 7,E 8\mathrm{E}_7, \mathrm{E}_8 and also the non-exceptional cases if you write the magic numbers in increasing order. Why? It’s reminiscent of Poincaré duality, but I don’t see how it is that.

Puzzles 1 and 5 could be clues for Puzzle 4.

Posted at September 3, 2013 4:19 AM UTC

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

42 Comments & 0 Trackbacks

Re: Integral Octonions (Part 5)

I’ll need to think about it more, but I’m pretty sure that (1) the symmetry is more evident for the magic numbers minus 1, and (2) they’re the exponents appearing in the eigenvalues of the Coxeter element. Then the symmetry comes from that guy being an orthogonal transformation of Lie(T).

There’s a lot more numerology about these exponents/degrees, and the place to read it is gray Humphreys (“Reflection groups and Coxeter groups”), which I don’t have with me.

Posted by: Allen K. on September 3, 2013 5:02 AM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

Thanks! I’ll have to look at gray Humphreys again.

Here’s a nice thing about the magic numbers minus 1: their sum is the number of positive roots of our Lie algebra! So, I was hoping someone like you could tell me how to partition the positive roots in some nice way that would let me calculate the magic numbers.

If this were possible, the ‘symmetry’ of the magic numbers could be a clue as to how.

But how can you take the positive roots of:

A 2\mathrm{A}_2 and partition them into bunches of size 1 and 2,

B 2\mathrm{B}_2 and partition them into bunches of size 1 and 3,

G 2\mathrm{G}_2 and partition them into bunches of size 1 and 5,

A 3\mathrm{A}_3 and partition them into bunches of size 1, 2 and 3,

B 3\mathrm{B}_3 and partition them into bunches of size 1, 3 and 5,

etc.?

Posted by: John Baez on September 3, 2013 9:37 AM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

“Height” of the root, = sum of the coefficients when expanded in simple roots. Or, you could call it the weight multiplicities for the action of a principal SL(2).

Which shows you there’s a definition of these numbers for any representation, not just the adjoint representation!

Incidentally, under the geometric Satake correspondence telling you that each irrep Vλ = IH(Grλ inside the affine Grassmannian for the Langlands dual group), the decomposition into weight spaces for the principal SL(2) is exactly the grading on intersection homology.

Posted by: Allen K. on September 3, 2013 3:07 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

John wrote:

Here’s a nice thing about the magic numbers minus 1: their sum is the number of positive roots of our Lie algebra! So, I was hoping someone like you could tell me how to partition the positive roots in some nice way that would let me calculate the magic numbers.

If this were possible, the ‘symmetry’ of the magic numbers could be a clue as to how.

But how can you take the positive roots of:

A 2A_2 and partition them into bunches of size 1 and 2,

B 2B_2 and partition them into bunches of size 1 and 3,

[etc.]

Allen wrote:

“Height” of the root, = sum of the coefficients when expanded in simple roots.

I’d considered that, but that doesn’t do the job, does it? For a rank nn group, I need a partition of its positive roots into nn parts, the size of each being one less than ‘magic number’.

For A 2A_2 we have 2 positive roots of height one and 1 of height two… so we get the partition (2,1), which looks good, since the magic numbers are (3,2).

But for B 2B_2 we have 2 of height one, 1 of height two and 1 of height three, so we get the partition (2,1,1). But we want the partition (3,1), since the magic numbers in this case are (4,2).

Am I confused?

Posted by: John Baez on September 4, 2013 3:25 AM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

I was not confused. Walking home I made an outrageous conjecture. I was hoping to become famous for having such a crazy but true idea. However, it turns out to be a theorem in Section 3.20 of Humphrey’s gray book.

To calculate the magic numbers, you calculate how many positive roots of each height there are, and use this to get a partition of the total number of positive roots, just like Allen said. For example, B 2\mathrm{B}_2 has 2 positive roots of height one, 1 of height two and 1 of height three, so we get the partition (2,1,1).

But then you write this partition as a Young diagram:

XX
X
X

Then you reflect this Young diagram and get another Young diagram:

XXX
X

Then you read this as a partition, namely (3,1). And finally, you add one to each of these numbers, and you get the magic numbers! For B 2\mathrm{B}_2 you get (4,2). But the procedure works in general for any Dynkin diagram.

This is insane, but it’s true.

Posted by: John Baez on September 4, 2013 1:36 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

Allen is correct; this symmetry is Lemma 3.16 in Humphreys. The quick explanation is that ζ d i1\zeta^{d_i-1} for ζ\zeta a particular hh-th root of unity is the set of eigenvalues of the Coxeter element. Since this is a real matrix, its eigenvalues come in complex conjugate pairs. Here hh is the Coxeter number, the order of the Coxeter element.

Posted by: Ben Webster on September 3, 2013 3:43 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

Okay, Humphreys’ gray book Reflection Groups and Coxeter Groups is indeed an repository of occult wisdom on what I’m calling the ‘magic numbers’.

For example, in Section 3.20 he proves this:

Proposition. If hh is the Coxeter number of our Dynkin diagram DD and 1mh1 \le m \le h is relatively prime to hh, then m+1m+1 is a magic number for DD.

Recall that the Coxeter number is the number of roots divided by the number of dots in the Dynkin diagram. (For other descriptions, click the link!)

The dimension of the Lie algebra E 8\mathrm{E}_8 is 248, and its Dynkin diagram has 8 dots, so the number of roots is 248 - 8 = 240, and its Coxeter number is 240/8 = 30. The numbers between 1 and 30 that are relatively prime to 30 are:

1,7,11,13,17,19,23,29 1, 7, 11, 13, 17, 19, 23, 29

So, adding one, we get some magic numbers for E 8\mathrm{E}_8:

2,8,12,14,18,20,24,30 2, 8, 12, 14, 18, 20, 24, 30

But there are eight of them, and there’s always just one magic number for each dot in the Dynkin diagram, so these must be all the magic numbers!

This is black magic, and even the normally imperturbable Humphreys gives it an exclamation mark.

By the way, did you notice something funny about these numbers:

1,7,11,13,17,19,23,29? 1, 7, 11, 13, 17, 19, 23, 29 ?

Except for 1, they’re all prime! 30 just happens to be the largest number for which every number besides 1 that’s smaller than it and relatively prime to it is actually prime. I don’t know if this is important here, but it’s darn suspicious.

For E 7\mathrm{E}_7 we have to work harder. The dimension of the Lie algebra E 7\mathrm{E}_7 is 133, so the number of roots is 133 - 7 = 126, and the Coxeter number is 126 / 7 = 18. Here are the numbers smaller than 18 that are relatively prime to 18:

1,5,7,11,13,17 1, 5, 7, 11, 13, 17

Adding one, we get magic numbers for E 7\mathrm{E}_7:

2,6,8,12,14,18 2, 6, 8, 12, 14, 18

Unfortunately we only get six of the seven magic numbers this way. Luckily, Humphreys also proved that the sequence of magic numbers must be ‘symmetrical’ in the way I described. The only possibility is that the seventh magic number is 10:

2 6 8 10 12 14 18 \begin{array}{ccccccccccccccccc} 2 &&&& 6 &&8 &&10 && 12 &&14 &&&& 18 \\ \bullet &\circ &\circ &\circ & \bullet &\circ &\bullet &\circ &\bullet &\circ &\bullet &\circ &\bullet &\circ&\circ &\circ& \bullet \end{array}

By the way, did you notice anything funny about these numbers:

1,5,7,11,13,17? 1, 5, 7, 11, 13, 17 ?

Yup!

For E 6\mathrm{E}_6 we must work even harder for our supper, but I’ll leave that as a puzzle for you! To get you started, I’ll remind you that the dimension of the E 6\mathrm{E}_6 is 78, so the number of roots is 78 - 6 = 72, so the Coxeter number is 72/6 = 12.

Puzzle 1 may come in handy here.

Posted by: John Baez on September 4, 2013 1:11 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

So, we’ve seen that every integer 1<m<301 &lt; m &lt; 30 that’s relatively prime to 30 is actually prime. We’ve seen that these numbers are deeply related to the Weyl group E 8\mathrm{E}_8.

We’ve seen that every integer 1<m<181 &lt; m &lt; 18 that’s relatively prime to 18 is actually prime, and that these numbers are deeply related to the Weyl group of E 7\mathrm{E}_7.

And if you did my last little puzzle, you’ll have seen that every integer 1<m<121 &lt; m &lt; 12 that’s relatively prime to 12 is actually prime, and that these numbers are deeply related to the Weyl group of E 6\mathrm{E}_6.

Numbers with this property are called very round, and the only very round numbers are

1,2,3,4,6,8,12,18,24,30 1, 2, 3, 4, 6, 8, 12, 18, 24, 30

Is the very roundness of 24 related to other interesting things about this famous number? Wikipedia points out:

The divisors of 24 — namely, {1,2,3,4,6,8,12,24}\{1, 2, 3, 4, 6, 8, 12, 24\} — are exactly those nn for which every invertible element of the commutative ring /n\mathbb{Z}/n\mathbb{Z} is a square root of 1. Thus the multiplicative group /24={±1,±5,±7,±11}\mathbb{Z}/24\mathbb{Z} = \{\pm 1, \pm 5, \pm 7, \pm 11\} is isomorphic to the additive group (/2) 3(\mathbb{Z}/2\mathbb{Z})^3. This fact plays a role in Monstrous Moonshine.

Unfortunately it does not explain this remark! The best explanation I’ve found lies in Noam Elkies’ remarks in the Addendum to “week172”.

Now I’m wondering if there is an important Lie group which is related to 24 in the same way that E 8\mathrm{E}_8, E 7\mathrm{E}_7 and E 6\mathrm{E}_6 are related to 30, 18 and 12.

Naively we’d be looking for a simple Lie group whose Coxeter number is 24 and whose magic numbers include the numbers you get by taking the numbers less than 24 and relatively prime to it, and adding 1:

1+1,5+1,7+1,11+1,13+1,17+1,19+1,23+1 1+1, 5+1, 7+1 , 11+1, 13+1, 17+1, 19+1, 23+1

This list of numbers is symmetrical about its mean, which is a property any list of magic numbers must have. If I’m not making a mistake, the only simple Lie groups with Coxeter number 24 are A 11=SL(23)\mathrm{A}_{11} = \mathrm{SL}(23), B 12=SO(25)\mathrm{B}_{12} = \mathrm{SO}(25), C 12=Sp(24)\mathrm{C}_{12} = \mathrm{Sp}(24), and D 13=SO(26)\mathrm{D}_{13} = \mathrm{SO}(26). I think all of these have magic numbers including the above list. Of these, I guess SO(26)\mathrm{SO}(26) looks the most interesting.

Posted by: John Baez on September 5, 2013 6:36 AM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

Over on G+, Layra Idrani wrote:

You can prove the black-white thing by example, or at least I did.

Letting our vertices be

(±1,±1,0,0,0,0,0,0)

and permutations, and

(±1/2,±1/2,±1/2,±1/2,±1/2,±1/2,±1/2,±1/2)

with an even number of -1/2s, we get that a pair of vertices are connected by an edge iff their inner product is 1.

We can look at the following orthoplex:

(1,1,0,0,0,0,0,0)

(1,0,1,0,0,0,0,0)

(1,0,0,1,0,0,0,0)

(1,0,0,0,1,0,0,0)

(1,0,0,0,0,1,0,0)

(1,0,0,0,0,0,1,0)

(1,0,0,0,0,0,0,1)

(1,-1,0,0,0,0,0,0)

(1,0,-1,0,0,0,0,0)

(1,0,0,-1,0,0,0,0)

(1,0,0,0,-1,0,0,0)

(1,0,0,0,0,-1,0,0)

(1,0,0,0,0,0,-1,0)

(1,0,0,0,0,0,0,-1)

Now we figure out which sets of seven can be extended to a simplex via adding another vertex.

Consider a vertex (1,-1,0,0,0,0,0,0). For another vertex to have an edge to it, i.e. to have inner product 1, its first entry must be positive or 0, and its second entry must be negative or 0, since otherwise there would be a negative term in the inner product; both entries can’t be 0, and if both are non-zero then they must be 1/2 and -1/2 respectively.

Similarly, for any other vertex vv in the orthoplex, any vertex ww connected to vv must either match the sign of vv in precisely one of the two non-zero entries of vv, or ww must match both and all of its coordinates must have magnitude 1/2.

We take a set of seven vertices in our orthoplex such that except for the first entry, if vv has a non-zero entry somewhere then the other 6 vertices have 0 there. These are all our 6-dimensional simplices in our orthoplex, since any other set would contain a pair of vertices whose inner product is 0. Suppose that of these, {v i}\{v_i\} for ii from 1 to kk each have a -1 in position p ip_i. The point that has coordinate -1/2 in position p ip_i and 1/2 in all other positions is of distance 2 from all the vertices given. Such a point is a vertex iff kk is even. So that gives us 64 6-simplices that extend to 7-simplices. Moreover, these 6-simplices alternate with the remaining 6-simplices, since given a 6-simplex with an even number of vertices that have a -1 in them, changing any of the vertices such that we still get a 6-simplex in the orthoplex yields a 6-simplex with an odd number of vertices with a -1 in them, and vice versa.

Now we just need to show that the other 64 6-simplices don’t extend to 7-simplices. Consider a set of seven vertices in the orthoplex such that an odd number have an entry of -1 and the seven vertices form a 6-simplex.

Suppose we have a vertex ww with a 0 entry. If it has 1 as its first entry, then it must have an entry of 1 or -1 somewhere else, and thus either matches or is orthogonal to a vertex in our 6-simplex. If ww has 0 as its first entry, then it must have non-zero entries in two other places, but as there are then five remaining entries, there is a vertex in our 6-simplex that is 0 in those two places and hence is orthogonal to ww. If ww has only entries of ±1/2, then it must match each vertex in our simplex wherever that simplex is non-zero, but doing so yields a point with an odd number of entries of -1/2, which is not a vertex. So these 6-simplices cannot be extended to 7-simplices, and hence must be connected to orthoplexes (orthoplices?).

So this particular orthoplex has precisely half of its 6-faces connected to simplices, and the other half to other orthoplexes, and such faces alternate. By symmetry, this applies to all the orthoplexes.

Posted by: John Baez on September 3, 2013 12:11 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

Layra wrote:

These are all our 6-dimensional simplices in our orthoplex, since any other set would contain a pair of vertices whose inner product is 0. Suppose that of these, {v i}\{ v_i\} for ii from 1 to kk each have a -1 in position p ip_i.

I don’t understand this. Is v iv_i the iith component of a vertex, or the iith vertex? And what does ‘position p ip_i’ mean? What’s pp? Or maybe by ‘a -1 in position p ip_i’ you mean that the iith component of the vector vv is -1? Or maybe the iith component of the vector v iv_i is 1-1? I’m lost….

Posted by: John Baez on September 5, 2013 3:30 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

Sorry about not replying to this earlier.

The pi are just numbers from 2 to 8, and the intended construction is for the pi-th component of the vector v_i to be -1.

Posted by: Layra on September 10, 2013 11:23 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

On other aspects of your octonion interests, such as here, did you see the recent Super Yang-Mills, division algebras and triality?

Posted by: David Corfield on September 4, 2013 9:52 AM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

I’d heard rumors of it but hadn’t seen it—thanks. In SUSY1 John Huerta and I described how to get a super-Yang–Mills theory from one division algebra: an idea not new to us, but we had to explain it to understand it. That idea must be a special case of this one, where they get a super-Yang–Mills theory from two division algebras.

The idea of combining two division algebras is fundamental to the magic square description of exceptional Lie algebras. It would be fun if that were related to this new work: it would suggest that the biggest, best Yang–Mills theory, the 𝕆,𝕆\mathbb{O}, \mathbb{O} theory in ten dimensions, is related to E 8\mathrm{E}_8—since that’s the case that gives E 8\mathrm{E}_8 in the magic square.

I wish I could get to the bottom of this stuff, but it seems like a bottomless pool that’s somehow both dazzlingly beautiful and murky. What does it all mean? It’s as if our civilization is lacking some concepts that would let us answer that question.

Posted by: John Baez on September 4, 2013 10:47 AM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

So maybe their ten super Yang-Mills theories correspond to the upper (or lower) triangle of the magic square. Wasn’t part of the ‘magic’ of the magic square to do with the symmetry of the entries?

Posted by: David Corfield on September 4, 2013 11:51 AM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

Ah, no. They talk about their existing work – A magic square from Yang-Mills squared – on the magic square, and want to create a ‘magic pyramid’ on it as a base.

Posted by: David Corfield on September 4, 2013 11:55 AM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

And they’ve created the magic pyramid here.

Posted by: David Corfield on March 17, 2014 10:33 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

Your theory as to what the naive counting method was actually counting for the 6-simplices was bothering me, so I checked the calculation and you actually lost a division by 2.

2⋅8⋅12⋅14⋅18⋅20⋅24⋅30/(2!⋅7!) = 69,120

which makes a lot more sense since the 6-simplex node indicates 6-simplices that extend to a 7-orthoplex but not to a 7-simplex, otherwise there ought to be a line connecting the 6-simplex node to the 7-simplex node, which is what tipped me off.

Not having been previously aware of this method before, I actually panicked for a while thinking that I had grievously misunderstood.

In terms of the 5-simplices, the fastest way I can think to do it is to count the number of 5-simplices per 7-simplex (28) and then multiply by the number of 7-simplices (17280). This gives the right answer. Now we just have to show that this is the correct calculation to do.

We know that we only have to worry about 5-simplices that are contained in 7-simplices, since for any 5-simplex in an orthoplex, it can extend to a white 6-simplex, and uniquely so.

To show that each 5-simplex is in a unique 7-simplex, we look at 4-simplices. According to the diagram, each 4-simplex A is contained in exactly two 7-simplices, denoted B and C. Hence if a 5-simplex D contains A, then it can only be contained in B or C, no other 7-simplices, and indeed must be contained in at least one of B or C. Since all 5-simplices are identical, if any 5-simplex is in two 7-simplices, each 5-simplex must be in two 7-simplices.

So we assume that D is in both B and C. Since any other D’ that contains A must be in B or C, and D is in two simplices, D’ must also be in both B and C. We know that D’ exists since B has more than one vertex that isn’t in A.

D and D’ share 5 vertices and are both in the same 7-simplex B, and so thus together define a unique 6-simplex, and that 6-simplex is contained in B. But by assumption, they’re also both in C, and so that same 6-simplex is also in C. Thus we get that B and C share a 6-simplex, which is impossible.

Hence D is in exactly one of B and C, and similarly every 5-simplex is in precisely one 7-simplex.

Posted by: Layra Idarani on September 4, 2013 10:36 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

Layra wrote:

Your theory as to what the naive counting method was actually counting for the 6-simplices was bothering me, so I checked the calculation and you actually lost a division by 2:

2⋅8⋅12⋅14⋅18⋅20⋅24⋅30/(2!⋅7!) = 69,120

Oh! Good catch! One great thing about blogging is that people catch your mistakes… but in this case, it took real concentration to notice that mistake. Thanks!

Also thanks for helping me count the mysterious 5-simplexes.

According to the diagram, each 4-simplex A is contained in exactly two 7-simplices, denoted B and C.

How do you get that from the diagram? I assume you mean this diagram:

Posted by: John Baez on September 5, 2013 6:56 AM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

Okay, so technically I don’t actually know that the diagram says what I think it does. My general heuristic for how the naive counting method works is that the entire diagram corresponds to complete flags, and that the subdiagrams correspond to partial flags. So that when you look at a dot, it’s really saying “take a shape that corresponds to this dot; removing the dot gives you a diagram of which one part corresponds to flags contained in that shape, and the remaining stuff corresponds to flags that contain that shape.”

So if we remove the 4-simplex dot, we get that we have the

0-1-2-3

diagram corresponding to flags contained in the 4-simplex, and the

6-7o

diagram corresponding to flags of a 6-simplex in a 7-orthoplex that contain the 4-simplex, and the

7s

diagram corresponding to 7-simplices that contain the 4-simplex.

And then the formula comes from counting all the flags, and then dividing by the number of 0-1-2-3 flags contained in each 4-simplex, and dividing by the number of 6-7o flags containing the 4-simplex, and dividing by the 7s flags containing the 4-simplex.

So if my heuristic is correct, the fact that the 7s node gives us a factor of 2 is because for each 4-simplex, there are 2 7-simplices that contain that 4-simplex.

Since all of my knowledge about this particular method is contained in your post, I have no idea if this heuristic is correct, but I can’t imagine this method working for all diagrams if it were not the case that the subdiagrams show up in the denominator the way they do because they are actually counting partial flags.

Posted by: Layra on September 5, 2013 7:24 AM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

Layra wrote:

So if my heuristic is correct, the fact that the 7s node gives us a factor of 2 is because for each 4-simplex, there are 2 7-simplices that contain that 4-simplex.

Okay. Your heuristic sounds like it should be correct, and I should be able to tell if it is.

Admittedly, I find the ‘non-linear’ Dynkin diagrams very mysterious compared to the ‘linear’ ones (A n\mathrm{A}_n, B n\mathrm{B}_n, C n\mathrm{C}_n G 2\mathrm{G}_2, F 4\mathrm{F}_4). I spent a lot of time pondering the D n\mathrm{D}_n cases and getting to understand ‘2-colored orthoplexes’ before daring to study E 6,E 7\mathrm{E}_6, \mathrm{E}_7 and E 8\mathrm{E}_8. So, to see if your way of telling how many figures of one type are incident to figures of another works, I should both think about it abstractly and also look at examples, starting with easy cases like A n\mathrm{A}_n and B n\mathrm{B}_n, and then non-linear cases like D n\mathrm{D}_n and the E\mathrm{E} series.

Posted by: John Baez on September 5, 2013 3:37 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

Layra wrote:

So if my heuristic is correct, the fact that the 7s node gives us a factor of 2 is because for each 4-simplex, there are 2 7-simplices that contain that 4-simplex.

You’re right: there are two 7-simplices containing each 4-simplex. Here’s how I think about it.

First I’ll count the pairs consisting of a 4-simplex and a 7-simplex that contains it. Then I’ll count the 4-simplexes. Then I’ll divide the first number by the second and get 2.

To count the pairs consisting of a 4-simplex and a 7-simplex that contains it, I mark those dots in the Dynkin diagram:

and then remove them:

leaving me with the Dynkin diagram for A 4×A 2\mathrm{A}_4 \times \mathrm{A}_2. So, the number of these pairs is

|W(E 8)||W(A 4)|×|W(A 2)|×|W(A 4)| = 28121418202430(2345)×(2×3) \begin{array}{ccl} \frac{|W(\mathrm{E}_8)|}{|W(\mathrm{A}_4)| \times |W(\mathrm{A}_2)| \times |W(\mathrm{A}_4)|} &=& \frac{2 \cdot 8 \cdot 12 \cdot 14 \cdot 18 \cdot 20 \cdot 24 \cdot 30}{(2 \cdot 3 \cdot 4 \cdot 5) \times (2 \times 3)}\end{array}

On the other hand, I already counted the number of 4-simplexes. But just as a reminder: to do this, we remove just the 4-simplex dot from the Dynkin diagram:

leaving us with A 4×A 1×A 2\mathrm{A}_4 \times \mathrm{A}_1 \times \mathrm{A}_2:

so the number of 4d faces is

|W(E 8)||W(A 4)|×|W(A 1)|×|W(A 4)| = 28121418202430(2345)×2×(23) \begin{array}{ccl} \frac{|W(\mathrm{E}_8)|}{|W(\mathrm{A}_4)| \times |W(\mathrm{A}_1)| \times |W(\mathrm{A}_4)|} &=& \frac{2 \cdot 8 \cdot 12 \cdot 14 \cdot 18 \cdot 20 \cdot 24 \cdot 30}{(2 \cdot 3 \cdot 4 \cdot 5) \times 2 \times (2 \cdot 3)} \end{array}

You can see this is half our previous answer. So, yes: there are two 7-simplexes containing each 4-simplex!

Posted by: John Baez on September 8, 2013 4:13 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

Before I forget:

Puzzle 1. If you double each of the magic numbers and subtract one, then add up the results, you get the dimension of the Lie group corresponding to this Dynkin diagram. Why?

Answer. A self-contained proof can be found in Humphrey’s book Reflection Groups and Coxeter Groups; see Theorem 3.9. Personally I prefer using the fact that the real cohomology of the Lie group GG corresponding to the Dynkin diagram is an exterior algebra on generators x ix_i of degrees 2d i12d_i - 1. Thus, the highest-degree element in the cohomology of GG is the product x 1x nx_1 \cdots x_n, which has degree

i=1 n(2d i1) \sum_{i=1}^n (2d_i - 1)

But the highest degree possible in the cohomology of GG is just the dimension of GG.

Posted by: John Baez on September 5, 2013 11:34 AM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

It must have been asked before, and I’m sure it’s implicit somehow in the azimuth polytope series, but where does the apparent grading on the dots come from? That is, why should we draw D 5D_5 as

            *
          /
* - * - * 
          \
            *

instead of as

    *
      \
* - * - *
      /
    *

???

Posted by: Jesse McKeown on September 5, 2013 7:06 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

That’s a great question! There is no good reason to prefer one grading over another!

The Coxeter complex of a Dynkin diagram (or more precisely Coxeter diagram) treats all dots in an even-handed way. But then, starting from that, you can get different polytopes from choosing different subsets of the dots. I have chosen one particular way to do this in my E 8\mathrm{E}_8 example, by taking a subset consisting only of the leftmost dot in the E 8\mathrm{E}_8 Dynkin diagram.

Maybe you can see the pattern in this B 3\mathrm{B}_3 example. This example is not simply-laced, so I’ll write “3” on an edge when two roots lie at a 120° angle and “4” when they lie at a 135° angle.

Beware: the use of light and dark dots here is different than in the blog article above; now I’m using them to choose which polytope to look at, not to count faces of a fixed polytope.


•—4—o—3—o

cube


•—4—•—3—o

truncated cube


o—4—•—3—o

cuboctahedron


o—4—o—3—•

truncated octahedron


o—4—o—3—•

octahedron


•—4—o—3—•

rhombicuboctahedron


•—4—•—3—•

truncated cuboctahedron


I’m scared to draw what happens when our subset is the empty set. When we put all the dots in our subset, we get the biggest and fanciest polytope, which is dual to the Coxeter complex:

Unfortunately the diagrams above are drawn ‘backwards’ relative to how I drew the E 8\mathrm{E}_8 diagram in this post! So, of all the B 3\mathrm{B}_3 polytopes shown above, it’s the octahedron:

o—4—o—3—•

with the rightmost dot marked, that most resembles the E 8\mathrm{E}_8 root polytope, where the leftmost dot of this diagram is marked:

If you want to see what happens when we play this game for E 8\mathrm{E}_8, go here. Unfortunately there aren’t pictures of all 2 81=2552^8 - 1 = 255 polytopes formed by choosing all possible nonempty subsets of the 8 dots—just a few of the most famous ones.

If anyone wants more detail, hop on over to my posts on Azimuth where I’m explaining this stuff in loving detail! There I’m slowly going from 3 dimensions up to 4… while here I’m starting at dimension 8 and aiming for 10.

Here’s the series: part 1, part 2, part 3, part 4, part 5, part 6, part 7, part 8 and part 9. There’s more, but these explain what you’re asking about.

Posted by: John Baez on September 6, 2013 4:41 AM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

The gosset symmetries go down as far as two dimensions, where E_2 is represented by the body-centred 1:sqrt(7) lattice. The relevant gosset series goes

2, 6, 10, 16, 27, 56, 200 (dec 240),

The product of these numbers gives the order of E_n.

The set of lattices represents (after 3d), the third trigonal group. The lattice A_n is represented by the 60-degree rhombotope, with ‘deep holes’ at x/(n+1) of the long diagonal. The vertex is in a ‘deep hole’ by symmetry.

If you take layers of spheres, of shape A(n-1), and stack them at the first, second or third holes, you get the corresends to the first, second and third trigonal groups (or An, Bn and En respectively). The zeroth one Zn gives a prismatic layer of A(n-1), also counts.

When the trigonal lattices are used to pack spheres of diameter sqrt(2) at the vertices, the volume of the voronii cell is the square root of the number of stations (or standing points), as An = n+1, Bn = 4, En = 9-n. Zn = 2n. The stations are the ‘deep holes’ or centres of cells + the vertices, represents the different places where the next layer is stacked.

The packing efficiency is then 1/volume, is maximum for the first 8 dimensions in a trigonal packing.

In 3, 5, 6 and 7 dimensions, it is possible to have a non-lattice packing as efficient. In 3d, this is the hexagonal close-pack. In 5, 6, and 7 dimensions, it is possible to construct E5, E6 and E7 from layers of Bn (which is the semicubic), by packing these as a lattice. But the layers are far enough apart that one can place the second layer in either position, which allows a non-cubic packing.

In 9 dimensions, the most efficient packing is a quarter-cubic, and if you jiggle it carefully, it will come apart! Strange but true.

Posted by: Wendy Krieger on November 10, 2013 10:09 AM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

The way to derive the surtope (surface polytope) consist of a polytope is to use the SA rule. The marked nodes are actually edges, and the vertex node is connected to every edge-node.

An S mirror is a ‘surround’ mirror, which reflects a surtope into itself, but changes the bits around.

An A mirror is an ‘around’ mirror, which leaves the surtope unchanged: the surtope is in the mirror.

A W mirror is a ‘wall mirror’, which reflects a surtope onto a different copy: that is the image does not coincide with the original.

The S and A mirrors live inside a room bounded by W mirrors, operate on the same surtope. So if we count the number of rooms, as G/SA, we get the number of surtopes.

The ‘vertex node’ 0, is connected to every marked node. A surtope is made of the vertex-node, and 0 or more mirror nodes, which must be connected to the vertex node.

A polytope like x3o3x5o (the ‘runcinated 3,3,5’), has four nodes, numbered from 1 to 4. The 0 node is connected to 1 and 3.

The vertex is 0. This is directly connected to 1 and 3 (wall nodes), and not connected to 2 and 4. The a symmetry is then of order 4, and the S symmetry is 1, so the count is 14400/4/1 = 3600.

0 = vertex, W=1,3 A=2,4 giving 14400/1/4 = 3600

The edges are 01 and 03. The walls for 01 are 23, and for 03, 234. The A-nodes come to the rest (ie 4, and none), so there are 14400/4 of the former, and 14400/2 of the latter. ie

01 = edge, W=2,3 A=4, giving 14400/2/2 = 3600
03 = edge, W=1,2,4 A=- giving 14400/2/1 = 7200

The hedra (2d patches) are 012, 013, 023, and 024.

012 = triangle, W=3, A=4, giving 14400/6/2 = 1200.
013 = square, W=2,4 A=- giving 14400/4/1 = 3600
023 = triangle, W=1,4 A=- giving 14400/6/1 = 2400
024 = pentagon, W=1,2 A=- giving 14400/10/1 = 1440

The chora (3d patches) are 0123, 0134, and 0234. There are no A-nodes, the unreferenced nodes are all wall-nodes.

0123 = cuboctahedron, giving 14400/24/1 = 600
0134 = pentagonal prism, giving 14400/20/1 = 720
0234 = icosadodecahedra, giving 14400/120/1 = 120.

The tera (4d patches) are 01234.

01234 = cantellated 335, giving 14400/14400/1 = 1.

And there you go. No great mystery.


For something like the twelftycell o3o3o5x, we have 0 is connected to node 4 only, so

surtope consist:

0 = vertex, W = 4, A=1,2,3 14400/1/24 = 600
04 = edge , W = 3, A=1,2 14400/2/6 = 1200
043 = pentagon, W=2, A=1. 14400/10/2 = 720
0432 = dodecahedron, W=1, A=- 14400/120/1 = 120

Terminology follows the polygloss at my web site

http://www.os2fan2.com/

Posted by: Wendy Krieger on November 10, 2013 10:34 AM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

OK, more notes, mostly for my own reference, on simplex counting. Layra and/or Greg may well have done this already, but I didn’t spot it if so.

1) Vertices.

Roots are either

(±1,±1,0,0,0,0,0,0)\left(\pm1,\pm1,0,0,0,0,0,0\right), of which there are (8 2)×2×2=112\left(\array{8\\2}\right)\times2\times2=112

or

(±12,±12,±12,±12,±12,±12,±12,±12)\left(\pm\frac{1}{2},\pm\frac{1}{2},\pm\frac{1}{2},\pm\frac{1}{2},\pm\frac{1}{2},\pm\frac{1}{2},\pm\frac{1}{2},\pm\frac{1}{2}\right) with an even number of minus signs (i.e. half the possible choices of sign), of which there are 122 7=128\frac{1}{2}2^7=128

112+128=240112+128=240 vertices.

2) Edges

Pick the vertex (1,1,0,0,0,0,0,0)\left(1,1,0,0,0,0,0,0\right). Adjacent vertices have a dot product of 11 with this. This means

a) They are all integers, with a 11 in either first or second place (2 choices) and ±1\pm1 (2 choices) in any of the last 66 places (6 choices). So there are 2×2×6=242\times2\times6=24 of these.

b) They are all half-integers. There must be +12+\frac{1}{2} in the first two places, and an even number of minus signs in the other 66 places. There are 122 6=32\frac{1}{2}2^6=32 of these.

This gives 24+32=5624+32=56 edges per vertex.

There are 240240 vertices, and 22 vertices per edge, hence

240×562=6720\displaystyle\frac{240\times56}{2}=6720 edges.

3) Triangles

Pick the vertices

(1,1,0,0,0,0,0,0) (1,0,1,0,0,0,0,0)\array{\arrayopts{\collayout{left}} \left(1,1,0,0,0,0,0,0\right)\\ \left(1,0,1,0,0,0,0,0\right) }

There are 33 kinds of vertex that have a dot product of 11 with both of these.

a) All integers with 11 in the first place and ±1\pm1 in any of the last 55 places. There are 2×5=102\times5=10 of these.

b) All half-integers, with +12+\frac{1}{2} in the first 33 places and any even number of minus signs in the last 55 places. There are 122 5=16\frac{1}{2}2^5=16 of these.

c) (0,1,1,0,0,0,0,0)\left(0,1,1,0,0,0,0,0\right). There is one of these.

So there are 10+16+1=2710+16+1=27 triangles per edge.

There are 67206720 edges, 2727 triangles per edge, and 33 edges per triangle, hence

6720×273=60480\displaystyle\frac{6720\times27}{3}=60480 triangles.

4) Tetrahedra

Pick the vertices

(1,1,0,0,0,0,0,0) (1,0,1,0,0,0,0,0) (1,0,0,1,0,0,0,0)\array{\arrayopts{\collayout{left}} \left(1,1,0,0,0,0,0,0\right)\\ \left(1,0,1,0,0,0,0,0\right)\\ \left(1,0,0,1,0,0,0,0\right) }

There are 22 kinds of vertex that have a dot product of 11 with all of these.

a) All integers with 11 in the first place and ±1\pm1 in any of the last 44 places. There are 2×4=82\times4=8 of these.

b) All half-integers, with +12+\frac{1}{2} in the first 44 places and any even number of minus signs in the last 44 places. There are 122 4=8\frac{1}{2}2^4=8 of these.

So there are 8+8=168+8=16 tetrahedra per triangle.

There are 6048060480 triangles, 1616 tetrahedra per triangle, and 44 triangles per tetrahedron, hence

60480×164=241920\displaystyle\frac{60480\times16}{4}=241920 tetrahedra.

5) 44-Simplices

Pick the vertices

(1,1,0,0,0,0,0,0) (1,0,1,0,0,0,0,0) (1,0,0,1,0,0,0,0) (1,0,0,0,1,0,0,0)\array{\arrayopts{\collayout{left}} \left(1,1,0,0,0,0,0,0\right)\\ \left(1,0,1,0,0,0,0,0\right)\\ \left(1,0,0,1,0,0,0,0\right)\\ \left(1,0,0,0,1,0,0,0\right) }

There are 22 kinds of vertex that have a dot product of 11 with all of these.

a) All integers with 11 in the first place and ±1\pm1 in any of the last 33 places. There are 2×3=62\times3=6 of these.

b) All half-integers, with +12+\frac{1}{2} in the first 55 places and any even number of minus signs in the last 33 places. There are 122 3=4\frac{1}{2}2^3=4 of these.

So there are 6+4=106+4=10 44-simplices per tetrahedron.

There are 241920241920 tetrahedra, 1010 44-simplices per tetrahedron, and 55 tetrahedra per 44-simplex, hence

241920×105=483840\displaystyle\frac{241920\times10}{5}=483840 44-simplices.

6) 55-Simplices

Pick the vertices

(1,1,0,0,0,0,0,0) (1,0,1,0,0,0,0,0) (1,0,0,1,0,0,0,0) (1,0,0,0,1,0,0,0) (1,0,0,0,0,1,0,0)\array{\arrayopts{\collayout{left}} \left(1,1,0,0,0,0,0,0\right)\\ \left(1,0,1,0,0,0,0,0\right)\\ \left(1,0,0,1,0,0,0,0\right)\\ \left(1,0,0,0,1,0,0,0\right)\\ \left(1,0,0,0,0,1,0,0\right) }

There are 22 kinds of vertex that have a dot product of 11 with all of these.

a) All integers with 11 in the first place and ±1\pm1 in any of the last 22 places. There are 2×2=42\times2=4 of these.

b) All half-integers, with +12+\frac{1}{2} in the first 66 places and any even number of minus signs in the last 22 places. There are 122 2=2\frac{1}{2}2^2=2 of these.

So there are 4+2=64+2=6 55-simplices per 44-simplex.

There are 483840483840 44-simplices, 66 55-simplices per 44-simplex, and 66 44-simplices per 55-simplex, hence

483840×55=483840\displaystyle\frac{483840\times5}{5}=483840 55-simplices.

6) 66-Simplices

Pick the vertices

(1,1,0,0,0,0,0,0) (1,0,1,0,0,0,0,0) (1,0,0,1,0,0,0,0) (1,0,0,0,1,0,0,0) (1,0,0,0,0,1,0,0) (1,0,0,0,0,0,1,0)\array{\arrayopts{\collayout{left}} \left(1,1,0,0,0,0,0,0\right)\\ \left(1,0,1,0,0,0,0,0\right)\\ \left(1,0,0,1,0,0,0,0\right)\\ \left(1,0,0,0,1,0,0,0\right)\\ \left(1,0,0,0,0,1,0,0\right)\\ \left(1,0,0,0,0,0,1,0\right) }

There are 22 kinds of vertex that have a dot product of 11 with all of these.

a) All integers with 11 in the first place and ±1\pm1 in any of the last 11 places (heh!). There are 2×1=22\times1=2 of these.

b) All half-integers, with +12+\frac{1}{2} in the first 77 places and any even number of minus signs in the last 11 places (heh!). There are 122 1=1\frac{1}{2}2^1=1 of these.

So there are 2+1=32+1=3 66-simplices per 55-simplex.

There are 483840483840 55-simplices, 33 66-simplices per 55-simplex, and 77 55-simplices per 66-simplex, hence

483840×37=207360\displaystyle\frac{483840\times3}{7}=207360 66-simplices.

7) 77-simplices

Here is where it gets slightly complicated. Remember that we picked the 55-simplex

(1,1,0,0,0,0,0,0) (1,0,1,0,0,0,0,0) (1,0,0,1,0,0,0,0) (1,0,0,0,1,0,0,0) (1,0,0,0,0,1,0,0) (1,0,0,0,0,0,1,0)\array{\arrayopts{\collayout{left}} \left(1,1,0,0,0,0,0,0\right)\\ \left(1,0,1,0,0,0,0,0\right)\\ \left(1,0,0,1,0,0,0,0\right)\\ \left(1,0,0,0,1,0,0,0\right)\\ \left(1,0,0,0,0,1,0,0\right)\\ \left(1,0,0,0,0,0,1,0\right) }

We found 33 ways to extend this to a 66-simplex:

a) (1,0,0,0,0,0,0,1)\left(1,0,0,0,0,0,0,1\right)

b) (1,0,0,0,0,0,0,1)\left(1,0,0,0,0,0,0,-1\right)

c) (12,12,12,12,12,12,12,12)\left(\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2}\right)

How can we extend these to a 77-simplex?

In case a), there is just 11 way to do it: add point c as well.

In case c), there is just 11 way to do it: add point a as well.

Obviously these give the same 77-simplex!

In case b) it can’t be done—we would have to add a half-integer point, but the number of minus signs would have to be odd.

So only 23\frac{2}{3} of the 66-simplices extend to a 77-simplex, and in these cases there is only 11 77-simplex per 66-simplex. Also, there are 88 66-simplices per 77-simplex, so overall there are

207360×18×23=1720\displaystyle\frac{207360\times1}{8}\times\frac{2}{3}=1720 77-simplices.

Note that there are 33 ways to extend a 55-simplex to a 66-simplex, but when extending these 66-simplices to a 77-simplex, 22 of them lead to the same 77-simplex and 11 leads to a dead end, so there’s only 11 way to extend a 55-simplex to a 77-simplex.

Posted by: Tim Silverman on March 27, 2015 12:41 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

Of course there’s a typo right at the end: 1728017280 77-simplices, not 17201720.

Posted by: Tim Silverman on March 27, 2015 12:45 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

OK, a couple more things.

We can see that any 44-simplex belongs to 22 77-simplices as follows:

Any 44-simplex can be extended to a 55-simplex in 66 different ways, i.e. there is a set of 66 vertices that can be added.

To get from a 44-simplex to a 77-simplex, we have to add 33 vertices. But once we’ve added 11 vertex, the next two vertices are forced, because a 55-simplex lies in a unique 77-simplex. And obviously adding any one of these vertices to the original 44-simplex must give a 55-simplex, so all three vertices belong to the set of 66. And of course we could have started off by adding another of those 33 vertices and been forced into the same 77-simplex.

So the set of 66 vertices must be partitioned into 22 sets of 33, each giving one 77-simplex.

Second, orthoplexes.

From our 55-simplex

(1,1,0,0,0,0,0,0) (1,0,1,0,0,0,0,0) (1,0,0,1,0,0,0,0) (1,0,0,0,1,0,0,0) (1,0,0,0,0,1,0,0) (1,0,0,0,0,0,1,0)\array{\arrayopts{\collayout{left}} \left(1,1,0,0,0,0,0,0\right)\\ \left(1,0,1,0,0,0,0,0\right)\\ \left(1,0,0,1,0,0,0,0\right)\\ \left(1,0,0,0,1,0,0,0\right)\\ \left(1,0,0,0,0,1,0,0\right)\\ \left(1,0,0,0,0,0,1,0\right) }

we had 33 ways to get a 66-simplex:

a) (1,0,0,0,0,0,0,1)\left(1,0,0,0,0,0,0,1\right) (white)

b) (1,0,0,0,0,0,0,1)\left(1,0,0,0,0,0,0,-1\right) (black)

c) (12,12,12,12,12,12,12,12)\left(\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2}\right) (white)

Here, a white 66-simplex lies in a 77-simplex and an orthoplex, while a black one lies in 22 orthoplexes.

Now clearly, the 66-simplex given by a) lies in the orthoplex

(1,±1,0,0,0,0,0,0) (1,0,±1,0,0,0,0,0) (1,0,0,±1,0,0,0,0) (1,0,0,0,±1,0,0,0) (1,0,0,0,0,±1,0,0) (1,0,0,0,0,0,±1,0) (1,0,0,0,0,0,0,±1)\array{\arrayopts{\collayout{left}} \left(1,\pm1,0,0,0,0,0,0\right)\\ \left(1,0,\pm1,0,0,0,0,0\right)\\ \left(1,0,0,\pm1,0,0,0,0\right)\\ \left(1,0,0,0,\pm1,0,0,0\right)\\ \left(1,0,0,0,0,\pm1,0,0\right)\\ \left(1,0,0,0,0,0,\pm1,0\right)\\ \left(1,0,0,0,0,0,0,\pm1\right) }

(where we take both signs to give different points of the orthoplex).

But also, so does the 66-simplex given by b).

And the situation should be symmetric with c) substituted for a).

So we have the following picture:

We have 33 vertices that we can add to a 55-simplex to give a 66 simplex. Let’s call them w 1w_1, w 2w_2 and bb.

Adding either w 1w_1 or w 2w_2 gives a white 66-simplex, while adding bb gives a black 66-simplex.

There are also 33 ways to add two of these vertices.

Adding both w 1w_1 and w 2w_2 gives a 77-simplex.

Adding bb together with w 1w_1 forces one orthoplex; adding bb together with w 2w_2 forces a second orthoplex.

If we start with a 44-simplex, we have available two different triples of the form {w 1,w 2,b}\{w_1,w_2,b\}

Posted by: Tim Silverman on March 27, 2015 2:32 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

So it’s kind of like a higher-dimensional version of the diagram below (where “7o” is a 77-orthoplex, “7s” is a 77-simplex, “6w” is a white 66-simplex, “6b” is a black 66-simplex, and “5” is a 55-simplex).

Layer 1 7s 7o 7o 6w 6w 6b 5

Posted by: Tim Silverman on March 27, 2015 2:53 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

OK, now I’m curious about the dual of the E 8E_8 polytope.

Dual to the 77-simplices and 77-orthoplexes, we have two types of point, ss-points and oo-points. Dual to the black and white 66-simplices we have two types of line, bb-lines each joining two oo-points, and ww-lines each joining an oo-point to an ss-point.

The 55-simplices then correspond to isoceles triangles, with two oo-points and an ss-point, one bb-line and one ww-line.

What about the 44-simplices? Their duals are polyhedra, whose faces are isoceles triangles.

OK, we know that each 44-simplex lies in 66 55-simplices, so this polyhedron has 66 faces. And the faces are triangles, meeting along their edges, so there are 6×32=9\displaystyle\frac{6\times3}{2}=9 edges.

But FE+V=2F-E+V=2, so there must be 55 vertices.

The figure that I think fits is the trigonal bipyramid: an equilateral triangle of oo-points joined by bb-edges, with one ss-point above and one below the plane of the triangle, with 33 ww-edges from each ss-point, joining it to the 33 oo-points. That gives 33 bb-edges and 66 ww edges.

So each 44-simplex should lie in 33 black 66-simplices and 66 white ones?

Posted by: Tim Silverman on March 27, 2015 3:38 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

Thanks for joining the fun, Tim! I’m sorry that you weren’t in on it back when I was actively thinking about this stuff. But I will return someday.

Posted by: John Baez on March 27, 2015 4:32 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

Oh, well, the timing is so often wrong, and I’m busy when the topic comes up the first time. But since I started thinking about this again, and there was already a dormant thread, I thought I might as well put my thoughts out in the open in case anyone found it useful at some point.

Posted by: Tim Silverman on March 27, 2015 9:01 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

OK, the symmetry seems right too. If we take the E 8E_8 dynkin diagram and delete everything from the 44-simplices downward, we get left with

a) a copy of the A 1A_1 diagram containing the 77-simplices, representing the reflection across the equatorial plane which swaps the two ss points, and

b) a copy of the A 2A_2 diagram with the 77 orthoplexes and the black 66-simplices, representing the triangular symmetry of the equatorial plane (determined by a flag consisting of an equatorial (ie oo-) point and an equatorial (ie bb-) line).

Good.

What about the duals of the tetrahedra? These are 44-polytopes, all identical. Let’s try to characterise them.

Since there are 1010 44-simplices containing a given tetrahedron, there are 1010 trigonal-bipyramidal cells in this polytope.

Since each has 66 faces, and each face is shared by 22 cells, there are 10×62=30\displaystyle\frac{10\times6}{2}=30 triangular faces.

What about edges? There are two types, and I’m not sure how many cells there are around each type. Probably 33, but let’s check.

In 44 dimensions, CF+EV=0C-F+E-V=0, so V=CF+E=1030+E=E20V=C-F+E=10-30+E=E-20.

Since we already have 55 vertices in a single cell, and there must be at least one more, we must have E26E\ge26.

There are 66 ww-edges and 33 bb-edges per cell, and 1010 cells, so the total number of edges must be of the form 10×6a+10×3a\displaystyle\frac{10\times6}{a}+\displaystyle\frac{10\times3}{a}, with aa and bb being factors fo 6060 and 3030 respectively, and equal to at least 33 (since we must have more than 22 cells around an edge.

To fulfill these requirements, it turns out that a=20a=20 and b=3b=3 or b=5b=5. But there isn’t room to fit 55 cells around an equatorial edge, so b=3b=3 and

E=903=30E=\displaystyle\frac{90}{3}=30, including 2020 of ww type and 1010 of bb type.

Hence V=10V=10. That means 44 ss-vertices and 66 oo-vertices.

Since there are 1010 cells and 1010 vertices, and 55 vertices per cell, there must be 55 cells around each vertex, at least on average.

If we take the E 8E_8 dynkin diagram and remove everything from 33-simplices down, we get the A 4A_4 diagram. So the symmetry group of the 44-polytope dual to a tetrahedron is the symmetric group S 5S_5. Which is … surprising. It’s the same as that of the simplex in 44 dimensions, too. And there should be a duality swapping the two types of points (ss and oo), and also swapping the equatorial edges with the cells … which is a bit mind-boggling … at least to me.

Posted by: Tim Silverman on March 27, 2015 5:14 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

Another fun thing I think I forgot to mention earlier is that you can tile 8-dimensional space with the E 8\mathrm{E}_8 root polytope together with the 8-simplex! On Wikipedia, the E 8\mathrm{E}_8 root polytope is called 2 412_{41}, and the uniform tesselation you can build with this polytope and the 8-simplex is called the 2 512_{51} honeycomb. There’s a lot of information there.

Posted by: John Baez on March 27, 2015 6:12 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

OK, I realised I was feeling a bit vague about the dimensions of the trigonal bipyramid. So I should calculate the lengths of the two kinds of edges.

1) ww-edges between an ss-point and an oo-point. We need suitable examples of the latter.

But we’ve got these from earlier. The white 66-simplex given by

(1,1,0,0,0,0,0,0) (1,0,1,0,0,0,0,0) (1,0,0,1,0,0,0,0) (1,0,0,0,1,0,0,0) (1,0,0,0,0,1,0,0) (1,0,0,0,0,0,1,0) (1,0,0,0,0,0,0,1)\array{\arrayopts{\collayout{left}} \left(1,1,0,0,0,0,0,0\right)\\ \left(1,0,1,0,0,0,0,0\right)\\ \left(1,0,0,1,0,0,0,0\right)\\ \left(1,0,0,0,1,0,0,0\right)\\ \left(1,0,0,0,0,1,0,0\right)\\ \left(1,0,0,0,0,0,1,0\right)\\ \left(1,0,0,0,0,0,0,1\right) }

can be extended to a 77-simplex by adding

(12,12,12,12,12,12,12,12)\left(\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2}\right)

and also lives in the 77-orthoplex given by

(1,±1,0,0,0,0,0,0) (1,0,±1,0,0,0,0,0) (1,0,0,±1,0,0,0,0) (1,0,0,0,±1,0,0,0) (1,0,0,0,0,±1,0,0) (1,0,0,0,0,0,±1,0) (1,0,0,0,0,0,0,±1)\array{\arrayopts{\collayout{left}} \left(1,\pm1,0,0,0,0,0,0\right)\\ \left(1,0,\pm1,0,0,0,0,0\right)\\ \left(1,0,0,\pm1,0,0,0,0\right)\\ \left(1,0,0,0,\pm1,0,0,0\right)\\ \left(1,0,0,0,0,\pm1,0,0\right)\\ \left(1,0,0,0,0,0,\pm1,0\right)\\ \left(1,0,0,0,0,0,0,\pm1\right) }

Now the centroid of the first is

18(712,112,112,112,112,112,112,112)\frac{1}{8}\left(7\frac{1}{2},1\frac{1}{2},1\frac{1}{2},1\frac{1}{2},1\frac{1}{2},1\frac{1}{2},1\frac{1}{2},1\frac{1}{2}\right)

i.e.

(1516,316,316,316,316,316,316,316)\left(\frac{15}{16},\frac{3}{16},\frac{3}{16},\frac{3}{16},\frac{3}{16},\frac{3}{16},\frac{3}{16},\frac{3}{16}\right)

And the centroid of the first is obviously

(1,0,0,0,0,0,0,0)\left(1,0,0,0,0,0,0,0\right)

Subtracting the second from the first gives

(116,316,316,316,316,316,316,316)\left(\frac{-1}{16},\frac{3}{16},\frac{3}{16},\frac{3}{16},\frac{3}{16},\frac{3}{16},\frac{3}{16},\frac{3}{16}\right)

of length

1161+7×3 2=816=12\frac{1}{16}\sqrt{1+7\times3^2}=\frac{8}{16}=\frac{1}{2}

So ww-lines are of length 12\frac{1}{2}.

Now, since orthoplex centres lie on a line with lattice points of length 22, we can get the angle between two neighbours by maximising the cosine of the angle between them, i.e. maximising their dot product.

Picking (1,1,1,1,0,0,0,0)\left(1,1,1,1,0,0,0,0\right), no half-integer point has a dot product with this of more than 22, but, e.g. (0,1,1,1,1,0,0,0)\left(0,1,1,1,1,0,0,0\right) has a dot product with it of 33. Since the lengths of the vectors are 22, the angle between them is cos 134cos^{-1}\frac{3}{4} (as Greg says in several places).

From our example above, (1,0,0,0,0,0,0,0)\left(1,0,0,0,0,0,0,0\right), we see that orthoplex centres are at distance 11 from the origin, so are separated by the third edge of a triangle with two edges of length 11, with an angle of cos 134cos^{-1}\frac{3}{4} between them.

So the distance is 2sin(12cos 134)=212(1cos(cos 134))=222sin\left(\frac{1}{2}cos^{-1}\frac{3}{4}\right)=2\sqrt{\frac{1}{2}\left(1-cos\left(cos^{-1}\frac{3}{4}\right)\right)}=\displaystyle\frac{\sqrt{2}}{2}

So in a triangle ss-oo-oo, the sides ss-oo are of length 12\frac{1}{2} and the sides oo-oo are of length 22\displaystyle\frac{\sqrt{2}}{2}. This means that the angles soo\angle s o o are 45 45^\circ while the angle oso\angle o s o is 90 90^\circ.

So the ss-vertices of the trigonal bipyramid are like the vertices of cubes. That is, take a cube of side 22\displaystyle\frac{\sqrt{2}}{2}. Pick a vertex. The three vertices adjacent to it form a triangle lying in a plane. Slice off the top of the cube along that plane. Take a reflection of this cubic cap through its base and glue it to the original (along their common base). That’s the solid dual to the 44-simplex.

Posted by: Tim Silverman on March 27, 2015 9:29 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

Tush! Obviously every oo-vertex is incident with every other oo-vertex.

Posted by: Tim Silverman on March 27, 2015 11:11 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

OK, back to the 44-polytope. Let’s think about symmetry.

The fact that the diagram for this polytope apparently has a duality between ss-points and oo-points suggests that they ought to be equal in number, i.e. 55 of each. That would mean different numbers of cells around the two types.

We have 22 ss-points per cell, and 1010 cells, but only 55 ss-points in total, then we would have 10×25=4\displaystyle\frac{10\times2}{5}=4 cells around each ss-point.

We have 33 oo-points per cell, and 1010 cells, but only 55 oo-points in total, so we would have 10×35=6\displaystyle\frac{10\times3}{5}=6 cells around each oo-point.

OK, I don’t know if this is right, but let’s run with it. Lets pick one cell, call it the “central” cell, and look at the cells around its vertices.

If we have 44 cells around an ss-vertex, then they are just the central cell together with the cells attached to its 33 faces surrounding the vertex. Since the vertex figure of an ss-point in the 33-dimensional cell is a triangle, and all the cells and edges are the same there, I guess the vertex figure in the 44-dimensional polytope is a regular tetrahedron. And so there are 44 edges emanating from it, 33 of them incident with the central cell, and one not.

If we have 66 cells around an oo-vertex, then they are the central cell, the 44 cells attached to the 44 adjacent faces, plus one more. Since the oo-vertex is incident with 44 edges of the central cell, its vertex figure in 33 dimensions is a square (or at least a sort of rhombus—22 edges go to ss-vertices and 22 to oo-vertices). So I guess the vertex figure in the 44-polytope is a cube, or at least a rhombic parallelepiped. So an oo-vertex is incident with 88 edges of the 44-polytope (corresponding to the 88 vertices of the cube), 44 of them lying in the central cell and 44 not.

Let’s count cells incident with vertices of the central cell.

We have the central cell itself. We have 66 cells sharing faces with it. At each of the 33 equatorial (oo) points we have another cell sharing the vertex but no faces. This totals 1+6+3=91+6+3=9 cells, so there is just one cell which shares no vertices with the central cell.

So the 1010 cells fall into 55 pairs, which goes some why to explaining why they might behave like the 55 cells of a 44-simplex.

OK, now each ss-vertex is incident with 44 edges (33 of them in the central cell, the other one not), and these edges are all ww-edges and are incident also with one oo-vertex each. So each ss-vertex is connected to 44 oo-vertices. If there really are 55 oo-vertices in total, then each ss-vertex is non-incident with just 11 oo-vertex, giving a pairing between vertices which goes some way to explaining how the 1010 vertices might behave like the 55 cells of a 44 simplex.

(We can see the same thing by picking an oo-vertex. It is connected to 88 other vertices, half of them oo-vertices and half, i.e. 44 of them ss-vertices. So it is non-incident with 11 ss vertex. Also with 11 oo-vertex.)

OK, that’ll do for now.

Posted by: Tim Silverman on March 27, 2015 11:05 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

Every oo-vertex is incident with every other oo-vertex, and I should go to bed now.

Posted by: Tim Silverman on March 27, 2015 11:13 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

OK, well, it turns out that I can’t count, and there is no pairing on the 1010 cells. However, I have now worked out the combinatorics of it all.

There are 55 ss-vertices, {a,b,c,d,e}\{a,b,c,d,e\}. There are 22 ss-vertices in each cell. Let’s say that two ss-vertices are “connected” by the cell they share. But we have seen that every ss-vertex lies in 44 cells, so every ss-vertex is connected to every other.

There are 55 oo-vertices, {A,B,C,D,E}\{A,B,C,D,E\}. There are 22 oo-vertices for every black edge. Let’s say that two oo-vertices are “connected” by the black edge they are in. But we have seen that every oo-vertex lies in 88 edges, 44 of them black and 44 white, so every oo-vertex is connected to every other.

Finally, let us say that an ss-vertex and an oo-vertex are “connected” precisely when they do not share any white edges. We saw above that each ss-vertex is connected to precisely one oo-vertex. So let’s indicate this connection by change of capitalisation: aa is connected to AA, etc.

Now we have that every cell is just a pair of ss-vertices, e.g. (ab)\left(ab\right). That is why there are (5 2)=10\left(\array{5\\2}\right)=10 cells.

And every black edge is just a pair of oo-vertices, e.g. (AB)\left(AB\right). That is why there are (5 2)=10\left(\array{5\\2}\right)=10 black edges.

A white edge connects an ss-vertex and an oo-vertex, and any two can be connected unless they have the same letter. So each of the 55 ss-vertices can be paried to 44 of the oo-vertices, which is why there are 5×4=205\times4=20 white edges.

A face contains an ss-vertex and 22 oo-vertices, neither of which can share its letter (since they are connected to it by white edges). So there are 5×(4 2)=305\times\left(\array{4\\2}\right)=30 faces.

A face lies in 22 cells. E.g. aBCa B C lies in ada d and aea e. The second ss-vertex of the cell obviously can’t coincide with aa (which we’ve already counted) or with bb or cc (because BB and CC lie in the face and therefore in the cell, and hence must be connected to the other ss-vertex by a white edge, and hence can’t share its letter).

An oo-vertex lies in 66 cells. It is connected by a white line to every ss-vertex but one, and hence lies in all the cells determined by the (4 2)=6\left(\array{4\\2}\right)=6 pairs draw from the set of 44.

It is patently obvious that this system has S 5S_5 symmetry. There is also obviously a duality which swaps ss-points with oo-points, and hence also swaps pairs of ss-points (i.e. cells) with pairs of oo-points (i.e. black edges). That accounts for the duality of the A 4A_4 dynkin diagram.

Posted by: Tim Silverman on March 28, 2015 8:46 AM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

OK, now let’s look at the actual geometry.

The 55 oo-vertices are each connected to each other by black edges, and all the black edges are identical. The only way this is possible in 44-dimensional space is if they lie at the vertices of a 44-simplex.

Likewise, the 55 ss-vertices are each connected to each other by a cell, and all the cells are identical. So they also lie at the vertices of a 44-simplex.

And these 44-simplices are surely dual to each other—apart from an overall scaling. The reasons are:

a) Since they share the same S 5S_5 symmetry, the two simplices must be either rescaled versions of each other, or rescaled versions of each others’ duals.

b) If they are dual, then 44 of the oo-vertices lies exposed to each ss-vertex for connection by a white edge, while the 55th oo-vertex lies on the other side of the simplex and is hidden from view of the ss-vertex. The alternative would require the white edges to cross through the interior.

c) The duality of the dynkin diagram, which corresponds to Poincaré duality of the 44-simplex, swaps they two kinds of point.

So the remaining thing we need to understand is the relative size of the two 22-simplices, and here there is a crucial restraining factor: the 33-dimensionality of the bipyramids. We can see this by looking at the 22- and 33-dimensional analogues of the pair of 44-simplices.

Here is the 22-dimensional analogue:

The blue dots represent ss-vertices and the red dots represent oo-vertices. The edges of the outer triangle represent white edges, and the edges of the inner triangle represent black edges.

Here is the analogue of the bipyramid:

It isn’t exactly a bipyramid—it’s a bi-line segment!

Crucially, the two halves fit into a 11-dimensional line, and this forces the blue triangle to be exactly twice the size of the red triangle, otherwise this figure would have a kink in it and would need 22 dimensions to fit it in.

Here is the 22-dimensional analogue:

Layer 1

Again, the blue dots represent ss-vertices and the red dots oo-vertices. This time the two simplices are the same size, and the overall polyhedron is a cube.

Each face is a 22-dimensional analogue of the bipyramid: it is a bi-triangle.

Layer 1

In general, this sort of figure is a rhombus, but in this particular case it is a square.

Now here is the trigonal bipyramid.

Layer 1

In the bi-line, each blue dot is connected to 11 red dot, and the line between the blue dots passes through the red dot.

In the bi-triangle, each blue dot is connected to 22 red dots, and the line between the blue dots passes through the midpoint of the edge containing the red dots.

In the bi-pyramid, each blue dot is connected to 33 red dots, and the line between the blue dots passes through the midpoint of the triangle containing the red dots.

This forces the blue 44-simplex to be smaller than the red simplex (by a factor of 23\sqrt{\frac{2}{3}}).

Posted by: Tim Silverman on March 29, 2015 2:38 PM | Permalink | Reply to this

Re: Integral Octonions (Part 5)

I wasn’t going to carry on into 55 dimensions, and work out the dual of the triangles, but it turns out to be simpler than I thought. Cutting off the leftmost 33 points of the dynkin diagram for E 8E_8 leaves us with the diagram for D 5D_5. And indeed Wikipedia’s article on the 2 412_41 polytope tells us that the figure for oo-points only is a 55-orthoplex. Let’s work this out.

The 55-orthoplex has 1010 points, which we can coordinatise as:

(±1,0,0,0,0)\left(\pm1,0,0,0,0\right) and permutations.

We want to find 44-simplices in here. We can’t have two vectors with ±1\pm1 in the same position, so the 55 points of the 44-simplex need to have, between them, a 11 in every place. The only difference is the signs. Every combination of signs gives a 44-simplex, so there are 2 5=322^5=32 44-simplices in a 55-orthoplex.

However, we saw earlier that there are only 1616 tetrahedra per triangle, hence only 1616 of our 44-simplices in a 55-orthoplex of oo-points. So they will be in alternating positions—e.g. we only choose 44-simplices with an even number of minus signs. And this makes sense—the symmetry group is D 5D_5, which is not all the symmetries of the orthoplex (that would be B 5B_5) but only half of them.

We now have to place the ss-points. We know where they are because the lie in rescaled duals of the 44-simplices. I won’t do the calculation here (it’s not very exciting), but it turns out that unlike the oo-points, where there is a lot of sharing between 44-simplices (at the rate of one oo-point shared by 88 of them), there is no sharing of ss points. Each of the 55 points of each of the 1616 44-simplices is different, and they lie on the 8080 midpoints of the edges of a 55-cube, which is dual (after rescaling) to the 55-orthoplex.

So the ss-points have gone from being half as numerous as oo-points in the triangles, to 23\frac{2}{3} as numerous in the bipyramids, to equally numerous in the 44-simplices, to now 88 times as numerous, an advantage they will maintain to the end.

At this point things get more complicated. Because we have passed a branch point, there are now 22 types of 55-dimensional figures of oo-points—the orthoplexes we have described, and also 55-simplices. In 66 dimensions there are E 6E_6-polytopes and 66-simplices, and in 77 dimensions there are E 7E_7-polytopes and 77-simplices (just for oo-points alone). So I think I really will leave it there.

Posted by: Tim Silverman on March 31, 2015 8:37 AM | Permalink | Reply to this

Post a New Comment