# \(SU(3)_C\times SU(2)_L\times U(1)_Y\left( \times U(1)_X \right) \) as a symmetry of division algebraic ladder operators

## Abstract

We demonstrate a model which captures certain attractive features of *SU*(5) theory, while providing a possible escape from proton decay. In this paper we show how ladder operators arise from the division algebras \(\mathbb {R}\), \(\mathbb {C}\), \(\mathbb {H}\), and \(\mathbb {O}\). From the *SU*(*n*) symmetry of these ladder operators, we then demonstrate a model which has much structural similarity to Georgi and Glashow’s *SU*(5) grand unified theory. However, in this case, the transitions leading to proton decay are expected to be blocked, given that they coincide with presumably forbidden transformations which would incorrectly mix distinct algebraic actions. As a result, we find that we are left with \(G_{sm} = SU(3)_C\times SU(2)_L\times U(1)_Y / \mathbb {Z}_6\). Finally, we point out that if *U*(*n*) ladder symmetries are used in place of *SU*(*n*), it may then be possible to find this same \(G_{sm}=SU(3)_C\times SU(2)_L\times U(1)_Y / \mathbb {Z}_6\), together with an extra \(U(1)_X\) symmetry, related to \(B\!-\!L\).

## 1 Introduction

From a wide range of possible theories, the standard model has emerged almost uniquely, after having survived decades of experimental scrutiny. And so this raises the question: What makes \(SU(3)_C\times SU(2)_L\times U(1)_Y / \mathbb {Z}_6\) so special? Of the infinite number of imaginable gauge groups, why *this* gauge group?

Furthermore, as we know, a choice of gauge group does not imply a complete description of a theory. Even if we were to understand why nature’s local symmetries should be given by \(G_{sm}\equiv SU(3)_C\times SU(2)_L\times U(1)_Y / \mathbb {Z}_6\), we would still be at a loss to explain the standard model’s particle content. Clearly, the requirement of anomaly cancellation alone cannot go far enough to narrow down the possibilities.

However, despite this embarrassment of riches, the standard model’s fermions are nonetheless identified with a specific choice of \(SU(3)_C\times SU(2)_L\times U(1)_Y / \mathbb {Z}_6\) representations. These are given by \(\mathcal {L} = (1, 2, -1/2)\) for left-handed leptons, \(\mathcal {Q} = (3,2,1/6)\) for left-handed quarks, \(\mathcal {E} = (1, 1, -1)\) for the right-handed electron, \(\mathcal {U} = (3, 1, 2/3)\) for right-handed up quarks, and \(\mathcal {D} = (3, 1, -1/3)\) for right-handed down quarks. These irreducible representations must then be replicated twice, so as to account for the standard model’s three generations.

So in addition to deciphering the reasoning behind the standard model’s curious gauge group, it is furthermore upon us to decipher the reasoning behind its curious list of irreducible representations.

Now, in 1974, H. Georgi and S. Glashow introduced one of the first grand unified theories, based on the 24-dimensional gauge group *SU*(5). The group *SU*(5) is the smallest simple Lie group to contain \(G_{sm}\), admit complex representations, accommodate the standard model’s particle content, and be free of anomalies [1, 2]. Hence, it offers perhaps the most natural simplification of particle physics at high energies.

More importantly, *SU*(5) theory does reveal at least a couple of clues about the standard model’s mysterious structure. For example, we find that the standard model’s peculiar list of hypercharges is explained when \(G_{sm}\) is embedded into *SU*(5) [3, 4]. Furthermore, some modern versions of the Georgi–Glashow model have *SU*(5) acting on the 32-\(\mathbb {C}\)-dimensional exterior algebra \(\varLambda \mathbb {C}^5\) (as opposed to the originally proposed \(5^*\) and 10 irreps). The exterior algebra \(\varLambda \mathbb {C}^5\) breaks down into the \(1\oplus 5 \oplus 10 \oplus 10^*\oplus 5^*\oplus 1\) irreducible representations of *SU*(5). This successfully compiles a full generation of quarks and leptons into a single object, \(\varLambda \mathbb {C}^5\), while accounting for their anti-particles, and including a right-handed neutrino.^{1}

However, with this being said, we note that *SU*(5) theory does not truly explain the origin of \(G_{sm}\). In the typical scenario, *SU*(5) breaks down to \(G_{sm}\) via spontaneous symmetry breaking, mediated by a cleverly chosen Higgs field and potential. The question: *Why* \(SU(3)_C\times SU(2)_L\times U(1)_Y / \mathbb {Z}_6\)? in this theory is then merely replaced by *Why* *SU*(5)? and *Why this Higgs?*

To make matters worse, the extra generators of *SU*(5) enable transitions which cause the proton to decay. Calculations of the proton lifetime within minimal *SU*(5) theory vary depending on source [5], but are generally considered to be at odds with experiment. This conflict was confirmed recently by the Super-Kamiokande collaboration [6, 7], which thus far has turned up no evidence in support of the proton’s decay.

As a result, minimal *SU*(5) theory is largely believed to be ruled out. However, given its strengths, one might be led to wonder if perhaps there could be some missing mathematical structure which ultimately saves *SU*(5) theory from itself.

In this paper, we begin with four special algebras: the real numbers, \(\mathbb {R}\), the complex numbers, \(\mathbb {C}\), the quaternions, \(\mathbb {H}\), and the octonions, \(\mathbb {O}\). Uniquely, these are identified as the only four *normed division algebras over the real numbers*. They are of dimensions 1, 2, 4, and 8 respectively.

Using only \(\mathbb {R},\) \(\mathbb {C},\) \(\mathbb {H},\) and \(\mathbb {O}\), we construct a faithful representation of the Clifford algebra \(\mathbb {C}l(10)\), acting on a 32-\(\mathbb {C}\)-dimensional spinor. This 32-\(\mathbb {C}\)-dimensional spinor is built as a minimal left ideal, which, for our purposes, can be seen to be equivalent to \(\varLambda \mathbb {C}^5\). We then propose to identify the model’s gauge symmetry with the special unitary symmetry of \(\mathbb {C}l(10)\) ladder operators. For \(\mathbb {C}l(10),\) these ladder symmetries are identified as *SU*(5). Consequently, we obtain a division algebraic representation of Georgi and Glashow’s *SU*(5) model.

However, upon closer inspection, we argue that *SU*(5) symmetry should never be fully realised in this division algebraic construction. Instead, the new underlying algebraic structure is seen to block certain transitions *under the assumption that conceptually distinct algebraic actions do not mix.* Incidentally, these are the transitions responsible for proton decay. In place of *SU*(5), we are then left with a symmetry group given by \(SU(3)_C\times SU(2)_L\times U(1)_Y / \mathbb {Z}_6\).

This work builds on an early finding [8], that the octonions break down into \(1\oplus 3 \oplus 3^* \oplus 1\) irreducible representations under \(SU(3)\subset Aut(\mathbb {O})=G_2\). In their paper, Günaydin and Gürsey identified the 3 and the \(3^*\) as a triplet of quarks and anti-quarks under the colour group \(SU(3)_C\).

Since that time, a number of authors have expanded on these early results, notably [9, 10, 11]. The authors [9, 10] were able to find significant pieces of standard model structure by considering carefully chosen tensor products of Clifford algebras, whereas [11] identified significant pieces of standard model structure starting from the algebra \(\mathbb {R}\,\otimes \,\mathbb {C}\,\otimes \,\mathbb {H}\,\otimes \,\mathbb {O}\) augmented to \(2\times 2\) matrices. Readers are encouraged to consult the work of these earlier authors.

This paper contributes to the existing literature by exposing a rather straightforward path from \(\mathbb {R}\), \(\mathbb {C}\), \(\mathbb {H}\), and \(\mathbb {O}\) to the standard model’s gauge group, \(SU(3)_C\times SU(2)_L\times U(1)_Y / \mathbb {Z}_6\), with the possibility of an extra \(U(1)_X\) symmetry, related to \(B\!\!-\!\!L\). Furthermore, we find that the stable subspaces (minimal ideals) of this division algebraic model exhibit the behaviour of one full generation of quarks and leptons, supplemented with a right-handed neutrino.

It is hoped that these results will be of direct use to those currently working on grand unified theories [12, 13, 14, 15, 16, 17, 18, 19], extra dimensions [20, 21, 22, 23, 24], and non-commutative geometry [25, 26, 27, 28, 29]. Furthermore, it may lend helpful clues to those working in related fields such as supersymmetry [30, 31, 32, 33, 34, 35, 36], and other topics closely related to the division algebras [37, 38, 39, 40]. Finally, the possibility of an extra \(B\!-\!L\) symmetry mentioned here is particularly exciting given the recent findings of [41, 42, 43, 44].

## 2 The Georgi–Glashow model

### 2.1 *SU*(5) acting on \(\varLambda \mathbb {C}^5\)

The *SU*(5) model is perhaps the most logical choice for a grand unified theory. With its 24 dimensions, *SU*(5) is the smallest acceptable Lie group in which the 12-dimensional \(G_{sm}\) can be embedded. From *SU*(5)’s list of irreducible representations, Georgi and Glashow selected the \(5^*\) and 10 so as to portray the standard model’s 15 quarks and leptons.

Having said that, more modern versions of the theory have since included the singlet of *SU*(5), which plays the part of a sterile right-handed neutrino. These representations, \(1\oplus 5^* \oplus 10\), combine naturally into the exterior algebra \(\varLambda \mathbb {C}^5 \sim 1 \oplus 5^* \oplus 10 \oplus 10^* \oplus 5 \oplus 1\). Clearly, \(\varLambda \mathbb {C}^5\) now also includes representations corresponding to the anti-particles of the \(1\oplus 5^* \oplus 10\) states. In Fig. 1, we depict the irreducible representations of *SU*(5) within \(\varLambda \mathbb {C}^5\).

Parenthetically, we mention that \(\varLambda \mathbb {C}^5\) can alternately split into two 16-\(\mathbb {C}\)-dimensional irreducible representations under *Spin*(10), for the “*SO*(10)” grand unified theory. In this case, one irreducible representation corresponds to the even-graded subspace of \(\varLambda \mathbb {C}^5\), and the other corresponds to its odd-graded subspace. Furthermore, we point out that the full 32-complex-dimensional \(\varLambda \mathbb {C}^5\) provides the only irreducible representation for the complex Clifford algebra, \(\mathbb {C}l(10)\).

Already at the level of *SU*(5) acting on \(\varLambda \mathbb {C}^5\), one might begin to suspect that the standard model’s particle content is not entirely arbitrary. It seems too much a coincidence to think that \(\varLambda \mathbb {C}^5\) should gratuitously provide the perfect space for one full generation, and that *SU*(5) should naturally include \(SU(3)_C\times SU(2)_L\times U(1)_Y / \mathbb {Z}_6\).

### 2.2 Breaking *SU*(5)

Now with this being said, *SU*(5) does indeed condone proton decay, a process thought never to have been observed. For this reason, it is standard practice to then propose an additional Higgs field so as to break \(SU(5)\mapsto G_{sm}\) at high energy.

The typical representation chosen for this task is the 24-dimensional adjoint Higgs [5]. Its vacuum expectation value is then made to be proportional to the generator of \(U(1)_Y\).

*SU*(5). At the GUT scale, this breaks as

### 2.3 *SU*(5) summary

In searching for a minimalistic model of particle physics, one would be hard-pressed to surpass *SU*(5) acting on \(\varLambda \mathbb {C}^5\). Its particle content is concisely defined, and its simple gauge group comes as close as could be expected to that of the standard model of particle physics.

However, compliance with experiment prompts the introduction of a carefully chosen 24-dimensional Higgs field and potential. This breaks \(SU(5)\mapsto G_{sm}\), but in the process, also compromises the simplicity of the original model.

More troublesome still, we find that SU(5) theory conflicts with experiment, even with this adaptation. For example, experimental lack of proton decay, lack of ’t Hooft-Polyakov monopoles, the doublet-triplet splitting problem, and inaccurate mass predictions have all taken their toll on *SU*(5) theory to varying degrees [5]. However, given the virtues of *SU*(5) theory, one might wonder if it could be possible to construct a similar model which can bypass these hazards.

We will now build up a division algebraic representation of the Georgi–Glashow model, piece by piece. Along the way, we will encounter several group representations familiar from particle theory. We begin with the complex quaternions, \(\mathbb {C}\otimes \mathbb {H}\).

## 3 \(\mathbb {C}\otimes \mathbb {H}\): spin and chirality

### 3.1 Introduction to \(\mathbb {C}\otimes \mathbb {H}\)

We define two notions of conjugation on an element \(a\in \mathbb {C}\otimes \mathbb {H}\). The *complex conjugate* of *a*, denoted \(a^*\), maps the complex *i* to \(-i\). That which we will call the *hermitian conjugate* of *a*, denoted \(a^{\dagger }\), maps *i* to \(-i\) and \(\epsilon _j\) to \(-\epsilon _j\) for \(j=1,2,3\), while reversing the order of multiplication, \((ab)^{\dagger } = b^{\dagger }a^{\dagger }.\)

### 3.2 Clifford algebraic structure

### 3.3 Right-handed Weyl spinors as minimal left ideals

The Clifford algebraic structure of \(\mathbb {C}\otimes \mathbb {H}\) is important for us since it will allow us to construct Weyl spinors. That is, we will make use of the fact that spinors can be defined as *minimal left ideals* of Clifford algebras [45].

Given an algebra, *A*, a *left ideal*, *B*, is a subalgebra of *A* whereby *ab* is in *B* for all *b* in *B*, and for any *a* in *A*. Said another way, the subspace *B* is stable under left multiplication by any of the elements \(a\in A\). Now, a *minimal* left ideal is a left ideal which contains no left ideals other than \(\{ 0 \} \) and itself. (This choice of definition for spinors was motivated by the algebraic path integral model described in Chapter 2 of [46], where particles are identified as surviving subspaces of some fundamental algebra.)

We will now construct spinors as minimal left ideals, largely following the procedure set out in [45] for Clifford algebras \(\mathbb {C}l (2n)\) with \(n\in \mathbb {Z}>0\). In this construction, the first task is to build a particular idempotent, \(v=vv\). Then the spinor is obtained by simply left multiplying \(\mathbb {C}l(2n)\) onto *v*, as in \(\varPsi \equiv \mathbb {C}l(2n)v\).

In our current case of \(\mathbb {C}l(2)\), our idempotent will be defined as \(v_s\equiv \alpha \alpha ^{\dagger }\), where the subscript *s* refers to spin. For generic \(\mathbb {C}l(2n)\), the Clifford algebra’s generating space will be split into *n* operators \(\alpha _i\) and *n* operators \(\alpha _i^{\dagger }\). In this more general case, the idempotent *v* will be constructed as \(v\equiv \alpha _1\alpha _2\ldots \alpha _n \alpha _n^{\dagger } \ldots \alpha _2^{\dagger }\alpha _1^{\dagger }\).

Readers may notice the resemblance between \(\varPsi _R\) and a Fock space, where \(v_s\) formally plays the role of a vacuum state.

### 3.4 Left-handed Weyl spinors as minimal left ideals

The identification of \(\varPsi _L\) and \(\varPsi _R\) as left- and right-handed Weyl spinors is justified when we take \(\gamma _5\) to be represented as right multiplication by \(-i\epsilon _3\) as shown in Section 4.7 of [46]. Furthermore, in Chapter 3 of [46], \(\varPsi _L\) is shown to transform as does a left-handed Weyl spinor under \(SL(2,\mathbb {C})\), \(\varPsi _L'=L\varPsi _L\), and \(\varPsi _R\) is shown to transform as does a right-handed Weyl spinor, \(\varPsi _R'=L^*\varPsi _R\). Here, \(L\in \mathbb {C}\otimes \mathbb {H}\) is defined as \(L\equiv \exp {(r_j\epsilon _j + b_ji\epsilon _j)},\) where \(j=1,2,3\), and \(r_j, b_j\in \mathbb {R}.\)

In this paper, we will sometimes alternate between matrix descriptions and division algebraic descriptions of our states. Having said that, readers should take note that not all descriptions are created equal. After all, it is the division algebras, not the matrix algebras, which ultimately dictate which Clifford algebras we will consider. Also, the familiar operation of charge conjugation finds a more succinct description within this division algebraic formalism, as we will now show.

### 3.5 Complex conjugation and charge conjugation

To give a basis for comparison, let us first consider the Dirac spinor, as described by \(2\times 2\) \(\mathbb {C}\) matrices in relation (10). Under the action of complex conjugation, \(i \mapsto -i\), we simply conjugate the four complex coefficients, a procedure which does not lead to anything of particular significance.

*In other words*, \(i\mapsto -i\)

*in the*\(\mathbb {C}\otimes \mathbb {H}\)

*formalism yields charge conjugation on Dirac spinors*.

In this light, we may see that the role of \(i\gamma _2\) in the standard formalism is to take into account the complex conjugation of basis vectors in the \(\mathbb {C}\otimes \mathbb {H}\) formalism. When spinors are written in terms of \(\mathbb {C}\otimes \mathbb {H}\), the object \(i\gamma _2\) need no longer be put in by hand.

### 3.6 Dirac algebra

*left*multiplication. However, transitions

*between*\(\varPsi _L\) and \(\varPsi _R\) can be effected via right multiplication. This right action provides another faithful representation of \(\mathbb {C}l(2)\).

*x*|

*y*acting on some element

*z*, for \(x,y,z\in \mathbb {C}\otimes \mathbb {H}\), is given by

*xzy*.

We end this section by pointing out that \(\mathbb {C}\otimes \mathbb {H}\) is capable of describing more than just Weyl and Dirac spinors. This 4-\(\mathbb {C}\)-dimensional algebra was shown in [46] to also describe Majorana spinors, scalars, four-vectors, and the field strength tensor - each in the form of generalized ideals. By generalized ideals, we mean *invariant subspaces under some action of the algebra on itself*. These account for all of the Lorentz representations of the standard model.

For a recent electromagnetic model which builds on this formalism, see [48].

### 3.7 \(\mathbb {C}\otimes \mathbb {H}\) summary

In this section, we showed that the left action of \(\mathbb {C}\otimes \mathbb {H}\) on itself gives a faithful representation of the Clifford algebra \(\mathbb {C}l(2)\). We then identified anti-commuting ladder operators generating \(\mathbb {C}l(2)\), and used them to build a pair of minimal left ideals, \(\varPsi _L\) and \(\varPsi _R\). These two Weyl spinors may then be combined as \(\varPsi _D = \varPsi _L+\varPsi _R\) so as to give a single irreducible representation when both the left and right actions of \(\mathbb {C}\otimes \mathbb {H}\) are considered. This results in a faithful representation of \(\mathbb {C}l(2)\otimes _{\mathbb {C}}\mathbb {C}l(2)\simeq \mathbb {C}l(4)\simeq \mathbb {C}\otimes Cl(1,3)\). In short, \(\mathbb {C}\otimes \mathbb {H}\) lends itself naturally to the description of those spinors familiar to \(3+1\) spacetime dimensions.

## 4 \(\mathbb {C}\otimes \mathbb {O}\): colour

We will now repeat this construction for the case of the complex octonions. In analogy to the \(\mathbb {C}\otimes \mathbb {H}\) minimal left ideals \(\varPsi _L+\varPsi _R\), we will construct \(\mathbb {C}\otimes \mathbb {O}\) minimal left ideals, \(S^u+S^d\). Subsequently, we will find that \(S^u\) and \(S^d\) mirror the behaviour of one generation of quarks and leptons under \(SU(3)_C\).

### 4.1 Introduction to \(\mathbb {C}\otimes \mathbb {O}\)

### 4.2 Clifford algebraic structure

*f*explicitly. Furthermore, in the interest of simplifying notation, we will forfeit the use of arrows on our left action maps, although their presence should be implicitly understood. Equations (20) can then be rewritten more succinctly as

### 4.3 Quarks and leptons as minimal left ideals

### 4.4 *SU*(3) ladder symmetry

*SU*(3) symmetry acting on the ladder operators, \(a_1,\) \(a_2,\) \(a_3.\) Taking \(r_j\in \mathbb {R}\), our raising and lowering operators transform as

*su*(3), and are given by

*SU*(3) is given by the subgroup of \(G_2\) which holds the octonionic \(e_7\) constant.

*SU*(3), \(S^u\) and \(S^d\) are found to transform as

*SU*(3) symmetry to \(U(3)=SU(3)\times U(1) / \mathbb {Z}_3\) gives an additional

*U*(1) generator, which can be found to coincide with electric charge. This \(U(1)_{em}\) symmetry is generated by the number operator for the system, thereby providing an unusually straightforward explanation of charge quantization. Details may be found in [50].

Finally, readers are encouraged to verify that complex conjugation, \(i\mapsto -i\), sends particles to anti-particles, \(S^u \leftrightarrow S^d\). This parallels our earlier findings for \(\mathbb {C}\otimes \mathbb {H}\) where \(i\mapsto -i\) similarly gave \(\varPsi _L \leftrightarrow \varPsi _R\).

### 4.5 Minimal left ideals in the matrix formalism

For an interesting proposal connecting this one-generation model to braids, see [52].

### 4.6 Towards weak isospin

*right*multiplication. However, this time, it is the ladder operators \(\omega \) and \(\omega ^{\dagger }\) which effect these transitions, generating another copy of \(\mathbb {C}l(2)\). Taking the sum, \(S_{16}\equiv S^u+S^d\), we then have a faithful representation of \(\mathbb {C}l(6)\otimes _{\mathbb {C}}\mathbb {C}l(2)\),

These two ladder operators, \(\omega \) and \(\omega ^{\dagger }\), can be seen to induce transitions between isospin pairs, eg \(\mathcal {V}\) and \(\mathcal {E}^-\), \(\mathcal {U}^r\) and \(\mathcal {D}^r\), etc. However, this description of weak isospin is clearly not complete in that there is nothing at this stage to indicate that these objects should act on only left-handed states. This will be addressed in the next section.

Before moving on, it should be noted that earlier papers have been found which have much in common with the octonionic model presented here. In 1973, Günaydin and Gürsey found the \(SU(3)_C\) structure for a triplet of quarks and anti-quarks using the split octonions [8]. Subsequently in 1977, Barducci et al. [9], built a one-generation model of quarks and leptons from [8], based on \(\mathbb {C}l(6)\) and \(\mathbb {C}l(2)\). The main differences between the model presented here and [9] lie in the way that particles and anti-particles are related, and in how transitions between isospin states occur. Because of our use of octonionic minimal left ideals, particles and anti-particles are related here simply by \(i\mapsto -i\). Furthermore, as we have constructed our quark and lepton states within the space of octonionic maps, not as column vectors, we may then find objects \(\omega \) and \(\omega ^{\dagger }\) which automatically have the correct electric charges, without having to implement these characteristics by hand. Finally, in the case of \(U(1)_{em}\), we find that electric charge is proportional to the number operator for the system, as opposed to being given by a difference between number operators of two distinct Clifford algebras.

### 4.7 \(\mathbb {C}\otimes \mathbb {O}\) summary

In this section, we showed that the left action of \(\mathbb {C}\otimes \mathbb {O}\) on itself gives a faithful representation of the Clifford algebra \(\mathbb {C}l(6)\). We then identified anti-commuting ladder operators generating \(\mathbb {C}l(6)\), and used them to build a pair of minimal left ideals, \(S^u\) and \(S^d\). Under *SU*(3) ladder symmetry, these ideals were found to transform as do the quarks and leptons of one generation of standard model particles. When this *SU*(3) symmetry is further extended to *U*(3), we then find an additional *U*(1) factor, generated by electric charge [50]. Combining \(S^u\) with \(S^d\) then provided a faithful representation of \(\mathbb {C}l(6)\otimes _{\mathbb {C}}\mathbb {C}l(2)\), where the additional \(\mathbb {C}l(2)\) factor enables transitions between isospin up- and down-type states.

## 5 \(\mathbb {C}l(4)\): weak isospin

Readers are encouraged to also see a closely related model by Woit [31], which addresses weak isospin in the context of supersymmetric quantum mechanics. For a recent review article on \(\mathbb {C}l(4)\) and electroweak theory, see [53].

### 5.1 Clifford algebraic structure

We will now draw the reader’s attention to the right action on \(\varPsi _L + \varPsi _R\), and the right action on \(S^u + S^d\), which each generated a copy of \(\mathbb {C}l(2)\). Recall that the right action on \(\varPsi _L + \varPsi _R\) induced transitions between chiralities *L* and *R*, while the right action on \(S^u + S^d\) induced transitions between isospin up- and down-type states. Together, these two \(\mathbb {C}l(2)\) right actions form \(\mathbb {C}l(2)\otimes _{\mathbb {C}} \mathbb {C}l(2)\simeq \mathbb {C}l(4).\) Readers should note that this \(\mathbb {C}l(4)\) is conceptually distinct from what we have seen before, in that it effects transitions on the space of idempotents.

### 5.2 Leptons as minimal right ideals

It should be noted that in this particular \(\mathbb {C}l(4)\) construction (29), swapping \(\beta _i \leftrightarrow \beta _i^{\ddag }\) provided a new minimal right ideal, \(\gamma ^0\bar{\mathcal {L}}\), which automatically includes a factor of \(\gamma ^0\). This additional \(\gamma ^0\) will be familiar from QFT kinetic terms of the form \(\psi ^{\dagger }\gamma ^0\gamma ^{\mu }\partial _{\mu } \psi \).

### 5.3 *SU*(2) ladder symmetry

*SU*(2) symmetries may now be applied to our ladder operators as

*SU*(2), and are found to be

*SU*(2), the ideals \(\mathcal {L}\) and \(\gamma ^0 \bar{\mathcal {L}}\) transform as

*SU*(2) symmetry of these ladder operators was applied to minimal right ideals, it

*acted automatically on states of only a single chirality*. We did not need to implement a projector by hand. Please see Fig. 4.

Finally, we point out that if a *U*(2) ladder symmetry is taken in place of *SU*(2), then we find an extra *U*(1) charge, given that \(U(2)=SU(2)\times U(1)/\mathbb {Z}_2\). This *U*(1) is again generated by the system’s number operator, and in this case, coincides with weak hypercharge [46, 53].

### 5.4 \(\mathbb {C}l(4)\) summary

In this section, we focussed in on a representation of \(\mathbb {C}l(4)\) which induces transitions of isospin and chirality idempotents. We identified a particular set of anti-commuting ladder operators generating \(\mathbb {C}l(4)\), and used it to build a pair of minimal right ideals, \(\mathcal {L}\) and \(\gamma ^0 \bar{\mathcal {L}}\). Under the *SU*(2) symmetry of these ladder operators, the ideals were found to transform as do the leptons of one generation of standard model particles, together with a right-handed neutrino. Here, the group *SU*(2) was found to act automatically on states of only a single chirality. Finally, when a *U*(2) ladder symmetry was used in place of *SU*(2), we then found an additional *U*(1) generator with eigenvalues consistent with weak hypercharge.

## 6 All together: ladder symmetries to \(SU(3)_C\times SU(2)_L\times U(1)_Y / \mathbb {Z}_6\)

We have just come from finding familiar standard model particle representations by considering the action of division algebras on themselves. That is, the special unitary symmetries of division algebraic ladder operators led to \(SU(3)_C\) and \(SU(2)_L\) when acting on minimal one-sided ideals. Our goal now is to combine these fragments into a single model.

### 6.1 Clifford algebraic structure

It is well known that the Clifford algebra \(\mathbb {C}l(10)\) can provide the background structure for *Spin*(10) and *SU*(5) grand unified theories [4]. We will then use our division algebraic actions from previous sections to build a representation of \(\mathbb {C}l(6)\otimes _{\mathbb {C}}\mathbb {C}l(4)\simeq \mathbb {C}l(10)\).

Readers should note that from the perspective of the Clifford algebra alone, there is no real distinction between the \(A_i\) operators and the \(B_j\) operators. However the same cannot be said when the \(A_i\) and \(B_j\) operators are realised in terms of division algebras, as they were in this article. That is, the \(B_j\) may be considered as truly distinct from the \(A_i\), in that the \(B_j\) were introduced so as to effect transitions between idempotents. Said another way, the \(A_i\) can be seen to map a left ideal to itself, whereas the \(B_j\) were introduced so as to map one ideal to another.

### 6.2 One generation as minimal ideals

*S*can be seen to include a factor of \(\gamma ^0\) automatically. The complex coefficients, \(\mathcal {V}_R\), \(\bar{\mathcal {D}}_L^{ i},\) \(\ldots \), are written here so as to anticipate how these states will eventually transform under \(SU(3)_C\times SU(2)_L\times U(1)_Y / \mathbb {Z}_6\subset SU(5).\)

As before, this minimal left ideal exhibits the structure of a Fock space. Readers may also notice that removing the idempotent \(v_t\) from these states leaves us with the exterior algebra \(\varLambda \mathbb {C}^5\), as described in [4].

### 6.3 From *SU*(5) ladder symmetry to \(SU(3)_C\times SU(2)_L\times U(1)_Y / \mathbb {Z}_6\)

It is straightforward to see that the special unitary transformations on \(\mathbb {C}l(10)\) ladder operators give *SU*(5). These *SU*(5) ladder symmetries further induce transformations on the minimal left ideal (39). Readers are encouraged to confirm that the action of *SU*(5) on (39) coincides exactly with the *SU*(5) transformations of particles and anti-particles in the Georgi–Glashow model.

*SU*(5) ladder symmetries, which split into two types. The first type of generator mixes

*A*- and

*B*-type ladder operators. These will be known as

*mixing*generators, and can be written using the hermitian forms

*j*runs from 1 to 3 and

*k*runs from 1 to 2, we find 12 generators of this first type.

Now, as far as the Clifford algebra \(\mathbb {C}l(10)\) is concerned, we have no reason to exclude these generators from consideration. However, from the perspective of our division algebraic construction, *A*- and *B*-type ladder operators are clearly algebraically distinct. We will then exclude these 12 elements from this model. Incidentally, it is precisely this first type of generator which is responsible for proton decay.

*A*- and

*B*-type ladder operators. In total, there are 12 such generators remaining. The first eight are given by

*Y*.

*Hence, we have found that it is exactly the non-mixing* *SU*(5) *ladder symmetries which generate the standard mo-del’s gauge group*, \(SU(3)_C\times SU(2)_L\times U(1)_Y / \mathbb {Z}_6\).

*SU*(5). This again introduces an extra

*U*(1) generator, proportional to the number operator. Up to an overall phase, this number operator,

*X*charges from the well-known symmetry breaking pattern \(Spin(10)\mapsto SU(5)\times U(1)_X/\mathbb {Z}_5\) of [54]. Explicitly,

*Y*according to the weak hypercharge conventions of [5].

### 6.4 Summary

In this section, we combined our previous \(\mathbb {C}l(4)\) and \(\mathbb {C}l(6)\) results so as to yield a division algebraic representation of \(\mathbb {C}l(10)\). From \(\mathbb {C}l(10)\) ladder operators, we constructed a 32-\(\mathbb {C}\)-dimensional minimal left ideal. Then, under special unitary ladder symmetries, this minimal left ideal was found to transform as do the particles and anti-particles of the *SU*(5) Georgi–Glashow grand unified theory.

Finally, under the requirement that *A*- and *B*-type division algebraic actions be kept distinct, we find that the *SU*(5) ladder symmetries then reduce immediately to \(SU(3)_C\times SU(2)_L\times U(1)_Y / \mathbb {Z}_6\).

Making use of the full *U*(5) symmetry leads us to the same result, but introduces the possibility of an extra (presumably gauged) \(U(1)_X\).

## 7 Outlook

We have come from demonstrating how four low-dimensional algebras: \(\mathbb {R}\) (1D), \(\mathbb {C}\) (2D), \(\mathbb {H}\) (4D), and \(\mathbb {O}\) (8D), can act on themselves so as to yield group representations of the Georgi–Glashow model. Here, the group *SU*(5) arises as symmetries of Clifford algebraic ladder operators. We point out, though, that only half of these *SU*(5) generators preserve the underlying algebraic structure. Perhaps unexpectedly, we find that it is precisely this subset which generates the standard model gauge group, \(G_{sm}=SU(3)_C\times SU(2)_L\times U(1)_Y / \mathbb {Z}_6\).

It bears mentioning that the reduction of \(SU(5)\mapsto SU(3)_C\times SU(2)_L\times U(1)_Y / \mathbb {Z}_6\) has not been mediated here by a Higgs boson. Instead, we emphasize that the full *SU*(5) symmetry should never be fully realised in this division algebraic model in the first place.

Finally, we point out one last avenue worth investigation. Readers may have noticed that with the introduction of \(\omega \equiv a_1a_2a_3\), and \(\omega ^{\dagger } = a_3^{\dagger }a_2^{\dagger }a_1^{\dagger },\) we were able to show that sequences of complex octonions can behave as \(\mathbb {C}l(2)\simeq \mathbb {C}\otimes \mathbb {H}\). In other words, new algebraic behaviour can arise at different chain lengths of the original algebra (length three in this case).

This algebraic phenomenon bears resemblance to the emergence of effective theories in physics at different energy scales. We might then ask if collective algebraic behaviour might ultimately be used to address currently unexplained physical phenomena, such as colour confinement.

## Footnotes

- 1.
It should be noted that accounting for particles and anti-particles separately is generally thought of as double counting.

## Notes

### Acknowledgements

*In remembrance of October 9, 2012, the day that silenced one fiery soul, and amplified another*. A special thank you to Ben Allanach, Latham Boyle, John Huerta, Judd Harrison, Ciaran Hughes, Mia Hughes, Carlos Tamarit, Paul Townsend, and friends at AQG 2016 for helpful feedback.

This work has been partially supported by STFC consolidated Grant ST/P000681/1. The author is furthermore grateful for support from the NSERC Postdoctoral Fellowship, and from the Walter Grant Scott Research Fellowship in Physics at Trinity Hall, University of Cambridge.

## References

- 1.H. Georgi, S. Glashow, Unity of all elementary-particle forces. Phys. Rev. Lett.
**32**(8), 438–441 (1974)ADSCrossRefGoogle Scholar - 2.K. Sundermeyer,
*Symmetries in fundamental physics*(Springer, New York, 2014)CrossRefMATHGoogle Scholar - 3.E. Witten, Grand unification with and without supersymmetry, in
*Introduction to Supersymmetry in Particle and Nuclear Physics*, ed. by O. Castaos, A. Frank, L. Urrutia (Springer, Boston, 1984), pp. 53–76Google Scholar - 4.J. Baez, J. Huerta, The algebra of grand unified theories. Bull. Am. Math. Soc.
**47**, 483–552 (2010). arXiv:0904.1556 [hep-th]MathSciNetCrossRefMATHGoogle Scholar - 5.P. Langacker,
*The standard model and beyond*(CRC Press, Boca Raton, 2010)MATHGoogle Scholar - 6.The Super-Kamiokande Collaboration, Search for proton decay via \(p \rightarrow \nu K^+\) using 260 kiloton-year data of Super-Kamiokande. Phys. Rev. D
**90**, 072005 (2014)Google Scholar - 7.The Super-Kamiokande Collaboration, Search for proton decay via \(p\rightarrow e^+\pi ^0\) and \(p\rightarrow \mu ^+\pi ^0\) in 0.31 megaton\(\cdot \)years exposure of the Super-Kamiokande water Cherenkov detector (2016). arXiv:1610.03597 [hep-ex]
- 8.M. Günaydin, F. Gürsey, Quark structure and the octonions. J. Math. Phys.
**14**(11), 1651–1667 (1973)Google Scholar - 9.A. Barducci, F. Buccella, R. Casalbuoni, L. Lusanna, E. Sorace, Quantized Grassmann variables and unified theories. Phys. Lett.
**67B**, 344 (1977)ADSCrossRefGoogle Scholar - 10.R. Casalbuoni, R. Gatto, Unified theories for quarks and leptons based on Clifford algebras. Phys. Lett. B
**90**, 81–86 (1979)Google Scholar - 11.G. Dixon,
*Division algebras: octonions, quaternions, complex numbers and the algebraic design of physics*(Kluwer Academic Publishers, Amsterdam, 1994)CrossRefMATHGoogle Scholar - 12.S.L. Adler, Coleman-Weinberg symmetry breaking in SU(8) induced by a third rank antisymmetric tensor scalar field. J. Phys. A.
**49**(31), 315401 (2016). arXiv:1602.05212 [hep-ph]ADSMathSciNetCrossRefMATHGoogle Scholar - 13.H. Sonmez, The flipped SU(5) string vacua classification: a variation of the SO(10) breaking basis vector. Phys. Rev. D
**93**, 125002 (2016). arXiv:1603.03504 [hep-th]ADSMathSciNetCrossRefGoogle Scholar - 14.F.F. Deppisch, C. Hati, S. Patra, U. Sarkar, J.W.F. Valle, 331 models and grand unification: from minimal SU(5) to minimal SU(6). Phys. Lett. B
**762**, 432–440 (2016). arXiv:1608.05334 [hep-ph] - 15.K. Kojima, K. Takenaga, T. Yamashita, Gauge symmetry breaking patterns in an SU(5) grand gauge-Higgs unification. Phys. Rev. D.
**95**, 015021 (2017). arXiv:1608.05496 [hep-ph]ADSMathSciNetCrossRefGoogle Scholar - 16.C.H. Lee, R.N. Mohapatra, Vector-like quarks and leptons, \(SU(5) \times SU(5)\) grand unification, and proton decay. JHEP
**02**, 080 (2017). arXiv:1611.05478 [hep-ph]ADSCrossRefMATHGoogle Scholar - 17.N. Maekawa, Y. Muramatsu, Flavor changing nucleon decay. Phys. Lett. B.
**767**, 398–402 (2017). arXiv:1601.04789 [hep-ph] - 18.A. Athenodorou, M. Teper, On the mass of the world-sheet ‘axion’ in SU(N) gauge theories in 3+1 dimensions. Phys. Lett. B
**771**, 408–414 (2017). arXiv:1702.03717 [hep-lat] - 19.G.K. Karananas, M. Shaposhnikov, Gauge coupling unification without leptoquarks. Phys. Lett. B
**771**, 332–338 (2017). arXiv:1703.02964 [hep-ph]ADSCrossRefGoogle Scholar - 20.L. Randall, D. Simmons-Duffin, Quark and lepton flavor physics from F-theory. arXiv:0904.1584 [hep-ph]
- 21.J.J. Heckman, Particle physics implications of F-theory. Ann. Rev. Nucl. Part. Sci.
**60**, 237–265 (2010). arXiv:1001.0577 [hep-th] - 22.T. Abe, Y. Fujimoto, T. Kobayashi, T. Miura, K. Nishiwaki, M. Sakamoto, Y. Tatsuta, Classification of three-generation models on magnetized orbifolds. Nucl. Phys. B
**894**, 374–406 (2015). arXiv:1501.02787 [hep-ph] - 23.B. Assel, S. Schafer-Nameki, Six-dimensional origin of \(\cal{N}= 4\) SYM with duality defects. JHEP
**12**, 058 (2016). arXiv:1610.03663 [hep-th]ADSMathSciNetCrossRefMATHGoogle Scholar - 24.K. Krasnov, Fermions, differential forms and doubled geometry. arXiv:1803.06160 [hep-th]
- 25.A.H. Chamseddine, A. Connes, W.D. van Suijlekom, Beyond the spectral standard model: emergence of Pati-Salam unification. JHEP
**1311**, 132 (2013). arXiv:1304.8050 [hep-th]ADSCrossRefGoogle Scholar - 26.A. Devastato, F. Lizzi, C. Valcarcel Flores, D. Vassilevich, Unification of coupling constants, dimension six operators and the spectral action. Int. J. Mod. Phys. A
**30**, 1550033 (2015). arXiv:1410.6624 [hep-ph]ADSCrossRefMATHGoogle Scholar - 27.U. Aydemir, D. Minic, C. Sun, T. Takeuchi, Pati-Salam unification from non-commutative geometry and the TeV-scale \(W_R\) boson. Int. J. Mod. Phys. A
**31**, 1550223 (2016). arXiv:1509.01606 [hep-ph]ADSCrossRefMATHGoogle Scholar - 28.N. Bizi, C. Brouder, F. Besnard, Space and time dimensions of algebras with applications to Lorentzian noncommutative geometry and the standard model. arXiv:1611.07062 [hep-th]
- 29.L. Dabrowski, F. D’Andrea, A. Sitarz, The standard model in noncommutative geometry: fundamental fermions as internal forms. arXiv:1703.05279 [math-ph]
- 30.T. Kugo, P. Townsend, Supersymmetry and the division algebras. Nucl. Phys. B
**221**, 357–380 (1983)ADSMathSciNetCrossRefGoogle Scholar - 31.P. Woit, Supersymmetric quantum mechanics, spinors, and the standard model. Nucl. Phys. B
**303**, 329–342 (1988)ADSMathSciNetCrossRefGoogle Scholar - 32.J.M. Evans, Supersymmetric (Yang–Mills) theories and division algebras. Nucl. Phys. B
**298**, 92–108 (1988)ADSMathSciNetCrossRefGoogle Scholar - 33.B. Bajc, J. Hisano, T. Kuwahara, Y. Omura, Threshold corrections to dimension-six proton decay operators in non-minimal SUSY SU(5) GUTs. Nucl. Phys. B
**910**, 1–22 (2016). arXiv:1603.03568 [hep-ph] - 34.J. Ellis, J.L. Evans, N. Nagata, D.V. Nanopoulos, K.A. Olive, No-scale SU(5) super-GUTs. Eur. Phys. J. C
**77**(4), 232 (2017). arXiv:1702.00379 [hep-ph] - 35.M.J. Duff, S. Ferrara, A. Marrani, \(H = 3\) unification of curious supergravities. JHEP
**01**, 023 (2017). arXiv:1610.08800 [hep-th]ADSMathSciNetCrossRefMATHGoogle Scholar - 36.T. Kobayashi, Y. Omura, O. Seto, K. Ueda, Realization of a spontaneous gauge and supersymmetry breaking vacuum (2017). arXiv:1705.00809 [hep-ph]
- 37.T. Dray, C.A. Manogue, Using octonions to describe fundamental particles. Prog. Math. Phys.
**34**, 451–466 (2004)Google Scholar - 38.K. Morita, Algebraic gauge theory of quarks and leptons. JPS Conf. Proc.
**7**, 010010 (2015)Google Scholar - 39.M. Dubois-Violette, Exceptional quantum geometry and particle physics. Nucl. Phys. B.
**912**, 426–449 (2016). arXiv:1604.01247 [math.QA] - 40.C. Burdik, S. Catto, Y. Gurcan, A. Khalfan, L. Kurt, Revisiting the role of octonions in hadronic physics. Phys. Part. Nucl. Lett.
**14**(2), 390–394 (2017)CrossRefGoogle Scholar - 41.L. Basso, Phenomenology of the minimal \(B-L\) extension of the standard model at the LHC, Ph.D. thesis, University of Southampton. arXiv:1106.4462 [hep-ph]
- 42.J. Heeck, Unbroken \(B-L\) symmetry. Phys. Lett. B
**739**, 256–262 (2014). arXiv:1408.6845 ADSMathSciNetCrossRefMATHGoogle Scholar - 43.L. Boyle, S. Farnsworth, Rethinking Connes’ approach to the standard model of particle physics via non-commutative geometry. N. J. Phys. 17, 023021 (2015). arXiv:1408.5367 [hep-th]
- 44.P. Pérez, C. Murgui, Sterile neutrinos and \(B-L\) symmetry. arXiv:1708.02247 [hep-ph]
- 45.R. Abłamowicz,
*Construction of spinors via Witt decomposition and primitive idempotents: a review, Clifford Algebras and Spinor Structures*(Kluwer Academic Publishers, Dordrecht, 1995)CrossRefMATHGoogle Scholar - 46.C. Furey, Standard model physics from an algebra? Ph.D. thesis, University of Waterloo (2015). https://www.repository.cam.ac.uk/handle/1810/254719. arXiv:1611.09182 [hep-th]
- 47.S. De Leo, Quaternions for GUTs. Int. J. Theor. Phys.
**35**, 1821 (1996)MathSciNetCrossRefMATHGoogle Scholar - 48.P. Bolokhov, Quaternionic wavefunction. arXiv:1712.04795
- 49.C. Furey, Generations: three prints, in colour. JHEP
**10**, 046 (2014). arXiv:1405.4601 [hep-th]ADSCrossRefGoogle Scholar - 50.C. Furey, Charge quantization from a number operator. Phys. Lett. B
**742**, 195–199 (2015). arXiv:1603.04078 [hep-th]ADSCrossRefMATHGoogle Scholar - 51.C. Furey, Three generations, two unbroken gauge symmetries, and one eight-dimensional algebra (2018) (
**in preparation**)Google Scholar - 52.N. Gresnigt, Braids, normed division algebras, and standard model symmetries. arXiv:1803.02202
- 53.C. Furey, A demonstration that electroweak theory can violate parity automatically (leptonic case). Int. J. Mod. Phys. A.
**33**(04), 1830005 (2018)Google Scholar - 54.R. Slansky,
*Group theory for unified model building, Physics reports*, vol. 79 (North-Holland Publishing Company, New York, 1981)Google Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Funded by SCOAP^{3}