Octonions and the Standard Model (Part 3)
Posted by John Baez
Now I’ll finally explain how a quark and a lepton fit together into an octonion — in the very simplified picture where we treat these particles merely as representations of , the symmetry group of the strong force. I’ll say just enough about physics for mathematicians to get a sense of what this means. (The most substantial part of this post will be a quick intro to ‘basic triples’, a powerful technique for working with octonions.)
One of curious features of the Standard Model is that fermions — the particles that make up ‘matter’, as opposed to particles that carry ‘forces’ — come in two kinds: leptons and quarks.
Quarks are affected by the strong nuclear force, while leptons are not. Each kind of quark comes in 3 ‘colors’ — three states conventionally called red, green and blue — while leptons do not. These two statements say almost the same thing, since strong force is governed by the group . Mathematically, the point is that quarks transform in the usual representation of on , while leptons transform in the trivial representation of this group on .
An interesting fact is that for each kind of quark there’s a corresponding lepton. For example, ordinary matter is mainly made of two kinds of quarks, called up and down quarks, and two kinds of leptons, called electrons and electron neutrinos. These four form the ‘first generation’ of quarks and leptons, and there are two more.
There are physical reasons to expect this ‘one quark per lepton’ pattern: the GIM mechanism and the need to avoid anomalies. However, it is still tempting to seek a theory that unifies quarks and leptons.
Many such theories are known. For example, in the Pati–Salam model, the group is replaced with and each quark together with its partner lepton are considered at a fundamental level to be a single particle transforming in the usual representation of on . Extending the color metaphor, the three colors of quark join with the ‘white’ lepton to form a basis of .
The SU(5) grand unified theory has a different take on this issue: here red, green and blue are joined by two other states called ‘up’ and ‘down’. And the Pati–Salam model and SU(5) theory are themselves reconciled in the larger SO(10) theory.
A different approach, less explored and less successful so far, is to use octonions. Here are two references:
Murat Günaydin and Feza Gürsey, Quark structure and octonions, Journal of Mathematical Physics 14 (1973), 1651–1667.
Geoffrey Dixon, Division Algebras: Octonions, Quaternions, Complex Numbers and the Algebraic Design of Physics, Springer, Berlin, 2013.
though I could probably list dozens more if I worked at it. I don’t know the whole history of this approach. Now I’m getting curious.
The basic idea is this: if we fix an octonion with , the group of automorphisms of the octonions that fix this element is . This element also determines a copy of in . This makes into a complex vector space, and acts on this vector space. As a representation of , this vector space is isomorphic to
where acts trivially on and in the usual way on . This is just the representation of on one kind of lepton and its corresponding quark!
So, we can imagine trying to come up with a theory where a quark and a lepton are unified into a single octonion, and then somehow the choice of a square root of in breaks the symmetry, splitting the octonions into two separate representations of : the quark and the lepton. This might be part of a larger story in which the complex numbers, so important in quantum physics, are secretly just one special copy of sitting inside .
I have no good idea for how this would work. Since our usual paradigm for spontaneous symmetry breaking involves the Higgs mechanism, one could try to use that. There is a 6-sphere of square roots of sitting in the octonions, each giving a copy of , so one might imagine some sort of Higgs potential, for example a quartic polynomial, that has minima on this 6-sphere. Someone must have tried this. But I don’t find this idea especially inspiring unless it arises naturally somehow, or explains several things at once.
I’ve already proved all the mathematical claims I just made about octonions and representations of — except for one: that the group contains all the automorphisms of the octonions preserving . For that it’s handy to use a very powerful tool for working with octonions: ‘basic triples’.
For those who prefer their math free of physics, let me state this in the form of a theorem, and then prove it:
Theorem 4. Let be any element with . Then generates a copy of in . Left multiplication by this copy of makes into a complex vector space. The group of automorphisms of the octonions that fix the element is isomorphic to , and this group acts in a complex-linear way on . This representation is isomorphic to the direct sum of the trivial representation on and the usual representation of on by matrix multiplication.
Proof. In Part 1 we saw a description of the octonions as where is the subalgebra generated by a chosen square root of . One can see from this description that left multiplication by makes the octonions into a complex vector space with as a complex subspace. In this description, octonion multiplication is given by operations that are manifestly invariant under , which acts trivially on and by matrix multiplication on .
Thus, the only thing missing is a proof that no bigger group than acts as automorphisms of fixing the chosen element . To do this, let’s show the group of such automorphisms is an 8-dimensional connected Lie group. Since its subgroup is also an 8-dimensional and connected, it must be the whole thing.
For this I find it enjoyable to use the concept of ‘basic triple’.
In a normed division algebra the norm always comes from an inner product. Any unit vector orthogonal to is a square root of , and vice versa. Further, orthogonal square roots of anticommute.
So, if our normed division algebra isn’t the real numbers, we can find a square root of in it. Choose one and call it . Then and span a copy of .
If this isn’t our whole normed division algebra, we can find another square root of that is orthogonal to this copy of . Choose one and call it . Then you can show , and span a copy of .
If this isn’t our whole normed division algebra yet, we can find another square root of that is orthogonal to this whole copy of . Choose one and call it . Then you can show and span a copy of .
We say three elements are a basic triple if they are orthogonal square roots of and is also orthogonal to . The multiplication table of octonions looks the same for any basic triple: you can work out what it must be.
Fix a basic triple . From what I’ve said, any automorphism of maps it to some other basic triple — and conversely, given any other basic triple, there is a unique automorphism mapping to that one. So, the automorphism group of acts freely and transitively on the set of basic triples. We say the basic triples form a torsor for .
The important consequence is that is homeomorphic to the space of basic triples. This lets us understand the topology of .
Since unit octonions form a 7-sphere with at the ‘north pole’, the square roots of form the ‘equator’, which is a 6-sphere. If we choose one of these, say , then the square roots of that are orthogonal to it form a 5-sphere. And if we choose one of these, say , then the square roots of that are orthogonal to and form a 3-sphere.
So, the group is a bundle of 3-spheres over a bundle of 5-spheres over the 6-sphere. As a spinoff, this implies it is a connected Lie group, and its dimension is
But we’re actually interested in automorphisms of the octonions that fix a choice of . These correspond to basic triples with this fixed choice of . This is just a bundle of 3-spheres over a 5-sphere. So, this is a connected Lie group with dimension . And that’s what we needed to show! █
As another spinoff of all this, it follows that is a bundle of 3-spheres over a 5-sphere. But that’s easy to see directly by letting act on the unit sphere of . This is a 5-sphere, and each point is stabilized by an subgroup, which is a 3-sphere.
- Part 1. How to define octonion multiplication using complex scalars and vectors, much as quaternion multiplication can be defined using real scalars and vectors. This description requires singling out a specific unit imaginary octonion, and it shows that octonion multiplication is invariant under .
- Part 2. A more polished way to think about octonion multiplication in terms of complex scalars and vectors, and a similar-looking way to describe it using the cross product in 7 dimensions.
- Part 3. How a lepton and a quark fit together into an octonion — at least if we only consider them as representations of , the gauge group of the strong force. Proof that the symmetries of the octonions fixing an imaginary octonion form precisely the group .
- Part 4. Introducing the exceptional Jordan algebra : the self-adjoint octonionic matrices. A result of Dubois-Violette and Todorov: the symmetries of the exceptional Jordan algebra preserving their splitting into complex scalar and vector parts and preserving a copy of the adjoint octonionic matrices form precisely the Standard Model gauge group.
- Part 5. How to think of self-adjoint octonionic matrices as vectors in 10d Minkowski spacetime, and pairs of octonions as left- or right-handed spinors.
- Part 6. The linear transformations of the exceptional Jordan algebra that preserve the determinant form the exceptional Lie group . How to compute this determinant in terms of 10-dimensional spacetime geometry: that is, scalars, vectors and left-handed spinors in 10d Minkowski spacetime.
- Part 7. How to describe the Lie group using 10-dimensional spacetime geometry.
- Part 8. A geometrical way to see how is connected to 10d spacetime, based on the octonionic projective plane.
- Part 9. Duality in projective plane geometry, and how it lets us break the Lie group into the Lorentz group, left-handed and right-handed spinors, and scalars in 10d Minkowski spacetime.
Re: Octonions and the Standard Model (Part 3)
John wrote,
The fact that trivial and tautologous mean two different things here disquiets me more than I’d like to admit.