S U ( 3 ) C × S U ( 2 ) L × U ( 1 ) Y × U ( 1 ) X as a symmetry of division algebraic ladder operators.

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 R , C , H , and 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 = S U ( 3 ) C × S U ( 2 ) L × U ( 1 ) Y / 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 = S U ( 3 ) C × S U ( 2 ) L × U ( 1 ) Y / Z 6 , together with an extra U ( 1 ) X symmetry, related to B - L .

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 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 , 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 representations. These are given by for left-handed leptons, for left-handed quarks, for the right-handed electron, for right-handed up quarks, and 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 , 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 is embedded into SU(5) [3, 4]. Furthermore, some modern versions of the Georgi–Glashow model have SU(5) acting on the 32--dimensional exterior algebra (as opposed to the originally proposed and 10 irreps). The exterior algebra breaks down into the irreducible representations of SU(5). This successfully compiles a full generation of quarks and leptons into a single object, , 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 . In the typical scenario, SU(5) breaks down to via spontaneous symmetry breaking, mediated by a cleverly chosen Higgs field and potential. The question: Why ? 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, , the complex numbers, , the quaternions, , and the octonions, . 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 and , we construct a faithful representation of the Clifford algebra , acting on a 32--dimensional spinor. This 32--dimensional spinor is built as a minimal left ideal, which, for our purposes, can be seen to be equivalent to . We then propose to identify the model’s gauge symmetry with the special unitary symmetry of ladder operators. For 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 .

This work builds on an early finding [8], that the octonions break down into irreducible representations under . In their paper, Günaydin and Gürsey identified the 3 and the as a triplet of quarks and anti-quarks under the colour group .

Since that time, a number of authors have expanded on these early results, notably [9-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 augmented to 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 , , , and to the standard model’s gauge group, , with the possibility of an extra symmetry, related to . 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-19], extra dimensions [20-24], and non-commutative geometry [25-29]. Furthermore, it may lend helpful clues to those working in related fields such as supersymmetry [30-36], and other topics closely related to the division algebras [37-40]. Finally, the possibility of an extra symmetry mentioned here is particularly exciting given the recent findings of [41-44].

The Georgi–Glashow model

SU(5) acting on

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 can be embedded. From SU(5)’s list of irreducible representations, Georgi and Glashow selected the 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, , combine naturally into the exterior algebra . Clearly, now also includes representations corresponding to the anti-particles of the states. In Fig. 1, we depict the irreducible representations of SU(5) within .

Fig. 1

The exterior algebra , broken down in terms of SU(5) irreducible representations. Here, the basis elements within a given irreducible representation appear within a single row. Starting from the bottom and moving upward, the grade-0 object, 1, forms an SU(5) singlet, the grade-1 objects, , form the 5, the grade-2 objects, , form the 10, the grade-3 objects, , form the , the grade-4 objects, , form the , and the grade-5 object, , forms another singlet

Parenthetically, we mention that can alternately split into two 16--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 , and the other corresponds to its odd-graded subspace. Furthermore, we point out that the full 32-complex-dimensional provides the only irreducible representation for the complex Clifford algebra, .

Already at the level of SU(5) acting on , 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 should gratuitously provide the perfect space for one full generation, and that SU(5) should naturally include .

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 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 .

For gauge bosons, spontaneous symmetry breaking induceswhere the , , and generate , , and , respectively. The and generators give rise to 12 additional gauge bosons which can be seen to mediate proton decay.

As for fermions, the singlet remains unchanged, while the and the 10 break asFinally, the familiar Higgs field , responsible for breaking , is often embedded in the 5 of SU(5). At the GUT scale, this breaks aswhere the describes a new triplet Higgs field, .

SU(5) summary

In searching for a minimalistic model of particle physics, one would be hard-pressed to surpass SU(5) acting on . 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 , 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, .

: spin and chirality

Introduction to

A generic element of is written , where the and . The basis vectors follow the associative, but non-commutative quaternionic multiplication rulesfrom which we obtain

We define two notions of conjugation on an element . The complex conjugate of a, denoted , maps the complex i to . That which we will call the hermitian conjugate of a, denoted , maps i to and to for , while reversing the order of multiplication,

A well-known correspondence exists between the complex quarternions and the Pauli matrices. That is,However, readers should note that these objects behave more symmetrically than do the Pauli matrices under complex conjugation. Explicitly, versus , , .

Clifford algebraic structure

It is straightforward to confirm that the left action of on itself gives a faithful representation of the complex Clifford algebra . Please see Fig. 2. Here the generating vectors and obey for and .

Fig. 2

The 4-complex-dimensional gives a faithful representation of . The pair of vectors, and , form the generating space (1-vectors) of the Clifford algebra, and is a bi-vector

Now, the generating space given in Fig. 2 may be rewritten in terms of a new basis,Under anti-commutation, these operators behave asSince and span the Clifford algebra’s generating space, we then see that all of may be described as sums and multiples of these ladder operators.

Right-handed Weyl spinors as minimal left ideals

The Clifford algebraic structure of 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 . Now, a minimal left ideal is a left ideal which contains no left ideals other than 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 with . In this construction, the first task is to build a particular idempotent, . Then the spinor is obtained by simply left multiplying onto v, as in .

In our current case of , our idempotent will be defined as , where the subscript s refers to spin. For generic , the Clifford algebra’s generating space will be split into n operators and n operators . In this more general case, the idempotent v will be constructed as .

For , readers may confirm that the resulting minimal left ideal takes the formwhere and are complex coefficients. Here, we have labelled the basis vector as spin-up since , and we have labelled as spin-down since . We have furthermore labeled the spinor as right-handed, which may be viewed as an arbitrary choice at this point.

Readers may notice the resemblance between and a Fock space, where formally plays the role of a vacuum state.

Left-handed Weyl spinors as minimal left ideals

Incidentally, another spinor may be constructed in by swapping the roles of and . In this case, let us then define . When expressed in terms of , it so happens that is given by . From here, we can construct a minimal left ideal, linearly independent from the first.where and are complex coefficients.

The identification of and as left- and right-handed Weyl spinors is justified when we take to be represented as right multiplication by as shown in Section 4.7 of [46]. Furthermore, in Chapter 3 of [46], is shown to transform as does a left-handed Weyl spinor under , , and is shown to transform as does a right-handed Weyl spinor, . Here, is defined as where , and

Putting both subspaces together, we may define Dirac spinors as . When translated into the formalism of matrices via relations (5), this givesso that each Weyl spinor occupies a column within the matrices. Multiplying from the left induces rotations between spin states, while multiplication from the right induces rotation between chiralities.

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.

Complex conjugation and charge conjugation

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

In contrast, let us now apply the map to when it is described in terms of ,This transformation may be recognizable to readers as from the standard formalism of quantum field theory (up to a phase). In other words, in the formalism yields charge conjugation on Dirac spinors.

In this light, we may see that the role of in the standard formalism is to take into account the complex conjugation of basis vectors in the formalism. When spinors are written in terms of , the object need no longer be put in by hand.

Dirac algebra

The Weyl spinors and were each constructed as minimal ideals of , under left multiplication. However, transitions between and can be effected via right multiplication. This right action provides another faithful representation of .Hence the combined action of both left and right multiplication gives . From these actions, we may construct the -equivalent of the Dirac matrices. Generators of the Dirac algebra in the Weyl basis may be described asas introduced in Section 4.7 of [46]. Here, we made use of the bar notation of [47]. By definition, the operator x|y acting on some element z, for , is given by xzy.

We end this section by pointing out that is capable of describing more than just Weyl and Dirac spinors. This 4--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].

summary

In this section, we showed that the left action of on itself gives a faithful representation of the Clifford algebra . We then identified anti-commuting ladder operators generating , and used them to build a pair of minimal left ideals, and . These two Weyl spinors may then be combined as so as to give a single irreducible representation when both the left and right actions of are considered. This results in a faithful representation of . In short, lends itself naturally to the description of those spinors familiar to spacetime dimensions.

: colour

We will now repeat this construction for the case of the complex octonions. In analogy to the minimal left ideals , we will construct minimal left ideals, . Subsequently, we will find that and mirror the behaviour of one generation of quarks and leptons under .

A generic element of is written , where the . The are octonionic imaginary units , apart from . The multiplication rules for these imaginary units can be defined by setting , and then applying the following rules,Alternately, readers may consult [46, 49], or [50], where the given Fano plane depicts these same multiplication rules. The octonions form a non-associative algebra, meaning that the relation does not always hold. Octonionic automorphisms are given by , the 14-dimensional exceptional Lie group.

In parallel with the case of , we will now consider the left action of on itself. It can be confirmed that complex linear combinations of octonions repeatedly left multiplying may always be written in the canonical formwhere the coefficients . Readers may note that the octonionic imaginary unit is not explicitly expressed in these maps. This is due to the fact thatthereby making redundant as a left-action map. Of course, itself holds no preferred status within the octonions, and the space of left-action maps may equivalently be described by chains built from any six of the seven imaginary units. By using the identity (16), the Eq. (15) may then be written more compactly aswhere the arrows indicate the direction of bracketing, as in .

It can be verfied thatfor , and and furthermore that the left action of on itself gives a faithful representation of the Clifford algebra . Please see Fig. 3. Here, multiplication is understood to be given by the composition of left action maps, and hence is associative by definition. The Clifford algebra is isomorphic to the matrices. This scenario closely emulates our earlier example where the left action of on itself gave a faithful representation of the Clifford algebra , isomorphic to the matrices.

Fig. 3

The left action of on itself provides a faithful representation of , and is hence isomorphic to the matrices. Here, left-action maps, , for , form the generating space (1-vectors)

Now, the generating space given in Fig. 3 may be rewritten in terms of a new basis,Here, we define the conjugation to map and for . As with the hermitian conjugation of matrices, also reverses the order of multiplication, that is, the order of left action maps: .

Under anti-commutation, these operators behave aswhich is simply a higher-dimensional analogue of equations (7).

From this point forward, we will not be interested in the object , only the maps and which act on it. Hence, we will no longer refer to 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

Quarks and leptons as minimal left ideals

Now that we have established Clifford algebraic structure generated by , we would like to build minimal left ideals analogous to and . Again following [45], let us define so that our idempotent is then given by Our first minimal left ideal will be given by ,where are 8 suggestively named complex coefficients.

Swapping the roles of and gives a linearly independent ideal, ,where are eight complex coefficients. The one-generation labeling we have used in and will be partially justified now, and fully justified by the end of this article.

SU(3) ladder symmetry

Let us now consider an SU(3) symmetry acting on the ladder operators, Taking , our raising and lowering operators transform aswhere the eight span su(3), and are given byThis representation of SU(3) is given by the subgroup of which holds the octonionic constant.

Given that our minimal left ideals are built entirely out of ladder operators, we see that transformations on and thereby induce transformations on and . Under SU(3), and are found to transform asExtending this SU(3) symmetry to gives an additional U(1) generator, which can be found to coincide with electric charge. This 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, , sends particles to anti-particles, . This parallels our earlier findings for where similarly gave .

Minimal left ideals in the matrix formalism

For those more comfortable with the language of matrices, we point out that and may be formulated asWritten in this way, it becomes obvious that there are in fact eight linearly independent minimal left ideals which can be built within . Readers interested in finding additional generations of quarks and leptons within should consult [49], Section 9.6 of [46] and [51].

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

Towards weak isospin

As with the example of and , the two minimal left ideals and may be transformed into each other under right multiplication. However, this time, it is the ladder operators and which effect these transitions, generating another copy of . Taking the sum, , we then have a faithful representation of ,As operators acting on schematically, we have and

These two ladder operators, and , can be seen to induce transitions between isospin pairs, eg and , and , 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 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 and . 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 . 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 and which automatically have the correct electric charges, without having to implement these characteristics by hand. Finally, in the case of , 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.

In this section, we showed that the left action of on itself gives a faithful representation of the Clifford algebra . We then identified anti-commuting ladder operators generating , and used them to build a pair of minimal left ideals, and . 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 with then provided a faithful representation of , where the additional factor enables transitions between isospin up- and down-type states.

: 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 and electroweak theory, see [53].

We will now draw the reader’s attention to the right action on , and the right action on , which each generated a copy of . Recall that the right action on induced transitions between chiralities L and R, while the right action on induced transitions between isospin up- and down-type states. Together, these two right actions form Readers should note that this is conceptually distinct from what we have seen before, in that it effects transitions on the space of idempotents.

Nonetheless, we will now work through the same construction with as we did in previous sections. Generators of this may be carefully chosen aswhere It should be noted at this point that the behaviour of our generators (29) under complex conjugation differs from that of previous sections.

As before, these generators may be rewritten in a new basis given by whereHere, maps , for , and for , while reversing the order of multiplication. It is then not difficult to confirm that and .

Leptons as minimal right ideals

With ladder operators defined, we may now construct an algebraic vacuum state as . From , we then obtain a minimal right ideal as where , , , are suggestively named coefficients .

Swapping and defining gives a linearly independent minimal right ideal asThe bars over top of the variables here, as in and , are meant only to identify anti-particles; they do not imply hermitian conjugation and multiplication by .

It should be noted that in this particular construction (29), swapping provided a new minimal right ideal, , which automatically includes a factor of . This additional will be familiar from QFT kinetic terms of the form .

SU(2) ladder symmetry

In parallel with the previous section, SU(2) symmetries may now be applied to our ladder operators asThe three generate SU(2), and are found to beAs before, transformations on the ladder operators induce transformations on our minimal right ideals. So we then find that under SU(2),  the ideals and transform asThese transformation properties agree with the leptonic identifications we made in Eqs. (32) and (33), which will be further justified in the next section.

So here we have again found standard model group representations by taking the special unitary symmetries of our ladder operators, and examining the transformations they induce on minimal one-sided ideals. In this case, we have found the behaviour of leptons under It is worth emphasizing here that when the 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.

Fig. 4

The leptonic minimal right ideal . As with our previous examples, this ideal resembles a Fock space, with the right-handed neutrino acting as the (formal) vacuum state. It should be noted that the SU(2) symmetries of our ladder operators are found to act automatically on lepton states of only a single chirality. That is, without the need to impose a chiral projector by hand

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 . This U(1) is again generated by the system’s number operator, and in this case, coincides with weak hypercharge [46, 53].

In this section, we focussed in on a representation of which induces transitions of isospin and chirality idempotents. We identified a particular set of anti-commuting ladder operators generating , and used it to build a pair of minimal right ideals, and . 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.

All together: ladder symmetries to

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 and when acting on minimal one-sided ideals. Our goal now is to combine these fragments into a single model.

It is well known that the Clifford algebra 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 .

Making use of equations (19) and (30), let us define ten ladder operators to bewhere represents the identity. Given Eqs. (21) and (31), it is trivial to confirm that these obey the usual anti-commutation relations.

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

One generation as minimal ideals

Using the same procedure as before, we may now construct a vacuum state asfrom which we build our minimal left ideal,As with of Eq. (33), the antiparticles within S can be seen to include a factor of automatically. The complex coefficients, , , are written here so as to anticipate how these states will eventually transform under

As before, this minimal left ideal exhibits the structure of a Fock space. Readers may also notice that removing the idempotent from these states leaves us with the exterior algebra , as described in [4].

From SU(5) ladder symmetry to

It is straightforward to see that the special unitary transformations on 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.

In total, there are 24 generators of 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 formsSince 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 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.

The second type of generator does not mix A- and B-type ladder operators. In total, there are 12 such generators remaining. The first eight are given bywhich can be seen to generate when applied to the minimal left ideal (39). Here, the are defined as in equation (25). The next three generators are given bywhich generate when applied to (39). Here, the are defined as in equation (35). Finally, the twelfth generator is realised asand can be seen to assign charges to (39) which coincide with hypercharge, 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, .

Finally, as with previous cases, we may consider ladder symmetries, as opposed to SU(5). This again introduces an extra U(1) generator, proportional to the number operator. Up to an overall phase, this number operator,is found to give the X charges from the well-known symmetry breaking pattern of [54]. Explicitly,where we are taking Y according to the weak hypercharge conventions of [5].

Summary

In this section, we combined our previous and results so as to yield a division algebraic representation of . From ladder operators, we constructed a 32--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 .

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

Outlook

We have come from demonstrating how four low-dimensional algebras: (1D), (2D), (4D), and (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, .

It bears mentioning that the reduction of 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 , and we were able to show that sequences of complex octonions can behave as . 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.