Abstract
We present three new coset manifolds named Dixon-Rosenfeld lines that are similar to Rosenfeld projective lines except over the Dixon algebra \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\). Three different Lie groups are found as isometry groups of these coset manifolds using Tits’ formula. We demonstrate how Standard Model interactions with the Dixon algebra in recent work from Furey and Hughes can be uplifted to tensor products of division algebras and Jordan algebras for a single generation of fermions. The Freudenthal–Tits construction clarifies how the three Dixon-Rosenfeld projective lines are contained within \(\mathbb {C}\otimes \mathbb {H}\otimes J_{2}(\mathbb {O})\), \(\mathbb {O}\otimes J_{2}(\mathbb {C}\otimes \mathbb {H})\), and \(\mathbb {C}\otimes \mathbb {O}\otimes J_{2}(\mathbb {H})\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and motivation
We focus on the definition of three coset manifolds of dimension 64 that we call Dixon-Rosenfeld lines. Each contains an isometry group whose Lie algebra is obtained from Tits’ magic formula. These three constructions are obtained similarly to how projective lines are obtained over \(\mathbb {R},\mathbb {C},\mathbb {H}\) and \(\mathbb {O}\); therefore, they can be thought of as “generalized” projective lines over the Dixon algebra \(\mathbb {T}\equiv \mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) in the sense presented by Rosenfeld in [41,42,43].
The division algebras have been used for a wide variety of applications in physics [5, 10, 32, 37, 39, 47]. In 1973, Gürsey and Günaydin discussed the relationship of octonions and split octonions to QCD [32, 33]. Later, Dixon introduced the algebra \(\mathbb {T}\equiv \mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) for a single generation of fermions in the Standard Model [13,14,15,16,17]. This line of investigation was revived when Furey further explored the Standard Model with the Dixon algebra [22,23,24,25,26,27,28] and Castro introduced gravitational models involving the Dixon algebra [7,8,9].Footnote 1 Recently, Furey and Hughes focused on Weyl spinors for one generation of the Standard Model fermions with \(\mathbb {T}\) [29, 30].
Our work on Dixon-Rosenfeld lines defines three homogeneous spaces that locally embed a representation of \(\mathbb {T}\) to encode one generation of fermions in the Standard Model. Section 2 shows that three coset manifolds of real dimension 64 are possible, giving three non-simple Lie algebras as isometry groups that are obtained from Tits formula. Section 3 analyzes the relationship between the new Dixon-Rosenfeld lines with the Rosenfeld lines. Section 4 uplifts scalar, spinor, vector, and 2-form representations of the Lorentz group representations with \(\mathbb {C}\otimes \mathbb {H}\) from Furey [22] to \(\mathbb {C}\otimes J_{2}(\mathbb {O})\). Section 5 uplifts the Standard Model fermionic charge sector described by Furey with \(\mathbb {C}\otimes \mathbb {O}\) [24] to \(\mathbb {C}\otimes J_{2}(\mathbb {O})\). Section 6 uplifts recent work by Furey and Hughes for encoding Standard Model interactions with \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) [29] to the three different realizations of the Dixon-Rosenfeld lines via \(\mathbb {C}\otimes \mathbb {H}\otimes J_{2}(\mathbb {O})\), \(\mathbb {O}\otimes J_{2}(\mathbb {C}\otimes \mathbb {H})\), and \(\mathbb {C}\otimes \mathbb {O}\otimes J_{2}(\mathbb {H})\). Section 7 concludes with a summary of our work and outlines prospects for future work.
1.1 Tensor products on unital composition algebras
An algebra is a vector space X with a bilinear multiplication. Different properties of the multiplication give rise to numerous kind of algebras. Indeed, for what it will be used in the following sections, an algebra X is said to be commutative if \(xy=yx\) for every \(x,y\in X\), is associative if satisfies \(x\left( yz\right) =\left( xy\right) z\), is alternative if \(x(yx)=(xy)x\), flexible if \(x(yy)=(xy)y\) and, finally, power-associative if \(x(xx)=(xx)x\) and \((xx)(xx)=((xx)x)x\). It is worth noting that the last four proprieties are progressive and proper refinements of associativity, i.e.
Every algebra has a zero element \(0\in X\), since X has to be a group in respect to the sum, but if it also does not have zero divisors, then X is called a division algebra, i.e. if \(xy=0\) then or \(x=0\) or \(y=0\). While the zero element is always present in any algebra, if it exists an element \(1\in X\) such that \(1x=x1=x\) for all \(x\in X\) then the algebra is unital. Finally, if we can define over X an involution, called conjugation, and a quadratic form N, called norm, such that
with \(x,y\in X\) and \(\overline{x}\) as the conjugate of x, then the algebra is called a composition algebra.
A well-known theorem due to Hurwitz [34] states that \(\mathbb {R}\), \(\mathbb {C}\), \(\mathbb {H}\) and \(\mathbb {O}\) are the only four normed division algebras that are also unital and composition [4, 19]. More specifically, \(\mathbb {R}\) is also totally ordered, commutative and associative, \(\mathbb {C}\) is just commutative and associative, \(\mathbb {H}\) is only associative and, finally, \(\mathbb {O}\) is only alternative, as summarized in Table 1.
Since all four normed division algebras are vector spaces over the field of reals \(\mathbb {R}\) we are able to define a tensor product \(\mathbb {A}\otimes \mathbb {B}\) of two normed division algebras, with a bilinear product defined by
where \(a,c\in \mathbb {A}\) and \(b,d\in \mathbb {B}\). The resulting tensor products are well known tensor algebras called \(\mathbb {C}\otimes \mathbb {C}\) Bicomplex, \(\mathbb {C}\otimes \mathbb {H}\) Biquaternions, \(\mathbb {H}\otimes \mathbb {H}\) Quaterquaternions, \(\mathbb {C}\otimes \mathbb {O}\) Bioctonions, \(\mathbb {H}\otimes \mathbb {O}\) Quateroctonions and \(\mathbb {O}\otimes \mathbb {O}\) Octooctonions. By the definition of the product, it is clear that all algebras involving the Octonions are not associative. Moreover, while Bioctonions \(\mathbb {C}\otimes \mathbb {O}\) is an alternative algebra, Quateroctonions \(\mathbb {H}\otimes \mathbb {O}\) and Octooctonions \(\mathbb {O}\otimes \mathbb {O}\) are not alternative nor power-associative. Every alternative algebra tensor a commutative algebra yields again to an alternative algebra, so that with few additional efforts we can easily find all properties for triple tensor products listed in Table 2.
1.2 The Dixon algebra
The Dixon Algebra \(\mathbb {T}\) is the \(\mathbb {R}\)-linear tensor product of the four normed division algebras, i.e. \(\mathbb {R}\otimes \mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) or equivalently \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\), with linear product defined by
with \(z,z'\in \mathbb {C}\), \(q,q'\in \mathbb {H}\) and \(w,w'\in \mathbb {O}\). From the previous formula it is evident that \(\mathbb {T}\) is unital with unit element \({{\textbf {1}}}=1\otimes 1\otimes 1.\) As a real vector space, the Dixon Algebra has an \(\mathbb {R}^{64}\) decomposition for which every element t is of the form
where \(t^{\alpha }\in \mathbb {R}\), and z, q, w are elements of a basis for \(\mathbb {C}\), \(\mathbb {H}\), \(\mathbb {O}\) respectively, i.e. \(z\in \left\{ 1,I\right\} \), \(q\in \left\{ 1,i,j,k\right\} \) and \(w\in \left\{ 1,e_{1},...,e_{7}\right\} \) with
and the other rules of multiplication given in Fig. 1.
It is straightforward to see that every element in the set
is a zero divisor and therefore \(\mathbb {T}\) is not a division algebra. Moreover, the Dixon algebra is not commutative, neither associative, nor alternative or flexible and, finally, not even power-associative, i.e. in general \(x\left( xx\right) \ne \left( xx\right) x\).
Nevertheless, it is possible to define a quadratic norm N over \(\mathbb {T}\), starting from the decomposition in Eq. (5), i.e.
with an associated polar form \(\left\langle \cdot ,\cdot \right\rangle \) given by the symmetric bilinear form
2 Dixon-Rosenfeld lines
The geometrical motivation for defining Dixon-Rosenfeld lines as coset manifolds relies on the study of the octonionic planes explored by Tits, Freudenthal and Rosenfeld in a series of seminal works [21, 41, 46, 50] that led to a geometric interpretation of Lie algebras and to the construction of the Tits-Freudenthal Magic Square. While Freudenthal interpreted the entries of the Magic Square as different forms of automorphisms of the projective plane such as isometries, collineations, homography etc., Rosenfeld thought of every row of the magic square as the Lie algebra of the isometry groups of a “generalized” projective plane over a tensorial product of Hurwitz algebras [41] (see also [38] for a recent systematic review). In fact, tensor products over Hurwitz algebras are not division algebras, which therefore do not allow the definition of a projective plane in a strict sense. Nevertheless, later works of Atsuyama proved the insight of Rosenfeld to be correct and that it is possible to use these algebras to define projective planes in a “wider sense” [1, 3, 36]. A similar analysis was then carried out for generalized projective lines making use the Tits-Freudenthal Magic Square of order two instead of three, thus relating the resulting Lie algebras with isometries of generalized projective lines, instead of planes (see [38], for more details).
2.1 Dixon lines as coset manifold
Coset manifolds arise from coset spaces over a Lie group G given by an equivalence relation of the type
where \(g,g'\in G\) and \(h\in H\) and H is a closed subgroup of G. In this case, the coset space G/H, obtained from the equivalence classes gH, inherits a manifold structure from G and is therefore a manifold of dimension
Moreover, G/H can be endowed with invariant metrics such that all elements of the original group G are isometries of the constructed metric [20, 38]. More specifically, the structure constants of the Lie algebra \(\mathfrak {g}\) of the Lie group G define completely the metric and therefore all the metric-dependent tensors, such as the curvature tensor, the Ricci tensor, etc. Finally, the coset space G/H is a homogeneous manifold by construction, i.e. the group G acts transitively, and its isotropy subgroup is precisely H, i.e. the group H is such that for any given point p in the manifold \(hp=p\). Therefore, for our purposes in the definition of the Dixon-Rosenfeld lines, it will be sufficient to define the isometry group and the isotropy group of the coset manifold to have them completely defined in its topological and metrical descriptions.
2.2 Tits’ magic formula
We now proceed defining three Dixon projective lines as three different coset spaces of real dimension 64 obtained from three isometry algebras \( \mathfrak {a}_{I}\), \(\mathfrak {a}_{II}\) and \(\mathfrak {a}_{III}\) making the use of Tits’ magic formula [46] for \(n=2\), i.e.
where \(\mathbb {A},\mathbb {B}\) are alternative algebras and \(J_{2}\left( \mathbb {B}\right) \) is a Jordan algebra over Hermitian two by two matrices.Footnote 2 Brackets on \(\mathcal {L}_{2}\left( \mathbb {A},\mathbb {B}\right) \) can be defined following notation in [6, sec. 3] for which, given the an algebra \(\mathbb {A}\), we define
as the projection of an element of the algebra in the subspace orthogonal to the identity denoted as \({{\textbf {1}}}\). We then define \(J_{2}^{\prime }\left( \mathbb {B}\right) \) the algebra obtained by such elements with the product \(\bullet \) given by the projection back on the subspace orthogonal to the identity of the Jordan product, i.e.
where as usual, we intended \(X\cdot Y=XY+YX\) and \(\left\langle X,Y\right\rangle =\frac{1}{2}\text {Tr}\left( X\cdot Y\right) \) for every \(X,Y \in J_{2}\left( \mathbb {B}\right) \). With this notation, the vector space (14) is endowed with the following brackets [6]
-
1.
The usual brackets on the Lie subalgebra \(\mathfrak {der}\left( \mathbb {A}\right) \oplus \mathfrak {der}\left( J_{2}\left( \mathbb {B}\right) \right) \).
-
2.
When \(a\in \mathfrak {der}\left( \mathbb {A}\right) \oplus \mathfrak {der}\left( J_{2}\left( \mathbb {B}\right) \right) \) and \(A\in \mathbb {A}^{\prime }\otimes J_{2}^{\prime }\left( \mathbb {B} \right) \) then
$$\begin{aligned} \left[ a,A\right] =a\left( A\right) . \end{aligned}$$(17) -
3.
When \(a\otimes A,b\otimes B \in \mathbb {A}^{\prime }\otimes J_{2}^{\prime }\left( \mathbb {B}\right) \) then
$$\begin{aligned}{} & {} \left[ a\otimes A,b\otimes B\right] =\frac{1}{2}\left\langle A,B\right\rangle D_{a,b}-\left\langle a,b\right\rangle \left[ L_{A},L_{B}\right] \nonumber \\{} & {} \quad +\frac{1}{2} \left[ a,b\right] \otimes \left( A\bullet B\right) , \end{aligned}$$(18)where \(L_{x}\) and \(R_{x}\) are the left and right action on the algebra and \( D_{x,y}\) is given by
$$\begin{aligned} D_{x,y}=\left[ L_{x},L_{y}\right] +\left[ L_{x},R_{y}\right] +\left[ R_{x},R_{y} \right] . \end{aligned}$$(19)
Applying now formula (19) to the Jordan algebra with left and right Jordan product, the left and right products are the same and
and
2.3 Three isometry groups
Tits’ formula is the most general formula compared to those of Vinberg [50], Atsuyama [2], Santander and Herranz [45], Barton and Sudbery [6], and Elduque [18] since it does not require the use of two composition algebras, but only the use of an alternative algebra and a Jordan algebra obtained from another alternative algebra.
Next, we consider all tensor products of the form \(\mathbb {A}\otimes J_{2}( \mathbb {B})\) with \(\mathbb {A}\) and \(\mathbb {B}\) alternative such that \( \mathbb {A}\otimes \mathbb {B}\) corresponds to the Dixon algebra \(\mathbb {C} \otimes \mathbb {H}\otimes \mathbb {O}\). Since \(\mathbb {H}\otimes \mathbb {O}\) is not alternative, the possible candidates can be a priori only related with the following four different \(\mathbb {A}\) and \(\mathbb {B}\), i.e.
and, finally, \(\mathbb {A}=\mathbb {H},\mathbb {B}=\left( \mathbb {C}\otimes \mathbb {O}\right) .\) However the latter case, i.e. \(\mathbb {A}=\mathbb {H}, \mathbb {B}=\left( \mathbb {C}\otimes \mathbb {O}\right) \), would need the existence of a Jordan algebra \(J_{2}\left( \mathbb {C}\otimes \mathbb {O} \right) \) over bioctonions \(\mathbb {C}\otimes \mathbb {O}\), which is not possible.Footnote 3
We are therefore left with only three different possibilities, i.e.
We will now discuss how, due to the three possible cases in Eq. (25), there exist three “homogeneous realizations” of the Dixon-Rosenfeld projective line \( \mathbb {T}P^{1}\), which will be distinguished by the subscript I, II and III, respectively.
We start and observe that
such that
implying that the imaginary biquaternions are
This can be understood by observing that
Note that \(\mathfrak {der}\left( \mathbb {C}\otimes \mathbb {H}\right) \) is next-to-maximal into \(\mathfrak {der}\left( \mathbb {O}\right) \simeq \mathfrak {g}_{2}\), because it can be obtained by a chain of two maximal (and symmetric) embeddings,
or equivalently by a chain of two maximal (one non-symmetric and one symmetric) embeddings,
In all cases, the Dixon algebra \(\mathbb {T}\) will have the same covariant realization in terms of
i.e.
which can enjoy the following enhancements of (manifest) covariance,
- \(\textbf{I}.\):
-
In the case \(\mathbb {A}=\mathbb {C}\otimes \mathbb {H}\) and \(\mathbb {B}=\mathbb {O}\), Tits’ formula (14) yields (cf.( 26))
$$\begin{aligned} \mathfrak {a}_{I}= & {} \mathcal {L}_{2}\left( \mathbb {C}\otimes \mathbb {H}, \mathbb {O}\right) =\mathfrak {isom}\left( \mathbb {T}P_{I}^{1}\right) \nonumber \\:= & {} \mathfrak {der}\left( \mathbb {C}\otimes \mathbb {H}\right) \oplus \mathfrak {der}\left( J_{2}(\mathbb {O})\right) \oplus \left( \mathbb {C} \otimes \mathbb {H}\right) ^{\prime }\otimes J_{2}^{\prime }(\mathbb {O}) \nonumber \\= & {} \mathfrak {su}_{2}\oplus \mathfrak {so}_{9}\oplus \left( \textbf{1}+2\cdot \textbf{3},\textbf{9}\right) , \end{aligned}$$(36)because
$$\begin{aligned} \mathfrak {der}\left( J_{2}(\mathbb {O})\right)= & {} \mathfrak {so}_{9}, \end{aligned}$$(37)$$\begin{aligned} J_{2}^{\prime }(\mathbb {O})\simeq & {} \textbf{9}, \end{aligned}$$(38)The Lie algebra \(\mathfrak {isom}\left( \mathbb {T}P_{I}^{1}\right) \) has therefore dimension \(3+36+63=102\).
- \(\textbf{II}.\):
-
In the case \(\mathbb {A}=\mathbb {O}\) and \(\mathbb {B}= \mathbb {\mathbb {C}\otimes \mathbb {H}}\), after the treatment given in Sec. 8 of [6], Tits’ formula (14) gets \(\mathfrak {der}\left( \mathbb {O}\right) \) replaced by \(\mathfrak {so}\left( \mathbb {O}^{\prime }\right) \), and thus one obtains
$$\begin{aligned} \mathfrak {a}_{II}= & {} \mathcal {L}_{2}\left( \mathbb {O},\mathbb {C}\otimes \mathbb {H}\right) =\mathfrak {isom}\left( \mathbb {T}P_{II}^{1}\right) \nonumber \\:= & {} \mathfrak {so}\left( \mathbb {O}^{\prime }\right) \oplus \mathfrak {der} \left( J_{2}(\mathbb {C}\otimes \mathbb {H})\right) \oplus \mathbb {O}^{\prime }\otimes J_{2}^{\prime }(\mathbb {C}\otimes \mathbb {H}). \nonumber \\ \end{aligned}$$(39)\(J_{2}(\mathbb {C}\otimes \mathbb {H})\) is a rank-2 Jordan algebra, defined as the algebra of \(2\times 2\) matrices over \(\mathbb {C}\otimes \mathbb {H}\) (cf. (27) and (29)) which are Hermitian with respect to the involution \(\imath \) given by the composition of the conjugation of \(\mathbb { C}\) and of the conjugation of \(\mathbb {H}\):
$$\begin{aligned} \imath :\left\{ \begin{array}{lll} I &{} \rightarrow &{} -I; \\ i,j,k &{} \rightarrow &{} -i,-j,-k; \\ Ii,Ij,Ik &{} \rightarrow &{} Ii,Ij,Ik. \end{array} \right. \end{aligned}$$(40)Interestingly, this implies that the diagonal elements of the matrices of \( J_{2}(\mathbb {C}\otimes \mathbb {H})\) are non-real, being of the form \( d=d_{1}+Iid_{2}+Ijd_{3}+Ikd_{4}\), with \(d_{1},d_{2},d_{3},d_{4}\in \mathbb {R} \), andFootnote 4\(\left( Ii\right) ^{2}=\left( Ij\right) ^{2}=\left( Ik\right) ^{2}=1\). Thus, with respect to \(\mathfrak {der}\left( \mathbb {C}\otimes \mathbb {H}\right) \simeq \mathfrak {su}_{2}\) (26), \(J_{2}(\mathbb {C}\otimes \mathbb {H})\) fit into the following representations:
$$\begin{aligned} J_{2}(\mathbb {C}\otimes \mathbb {H})\simeq \left( \begin{array}{ccc} \textbf{1}\oplus \textbf{3} &{} &{} 2\cdot \left( \textbf{1}\oplus \textbf{3} \right) \\ &{} &{} \\ *&{} &{} \textbf{1}\oplus \textbf{3} \end{array} \right) \simeq 4\cdot \left( \textbf{1}\oplus \textbf{3}\right) ~\text {of~} \mathfrak {su}_{2}, \end{aligned}$$(41)yielding for the traceless part that
$$\begin{aligned} J_{2}^{\prime }(\mathbb {C}\otimes \mathbb {H})\simeq 3\cdot \left( \textbf{1} \oplus \textbf{3}\right) ~\text {of~}\mathfrak {su}_{2}. \end{aligned}$$(42)On the other hand, as proved in Appendix B, it holds that
$$\begin{aligned} \mathfrak {der}\left( J_{2}(\mathbb {C}\otimes \mathbb {H})\right) \simeq \mathfrak {so}_{6}, \end{aligned}$$(43)and thus (41) and (42) respectively enjoy the following enhancementsFootnote 5:
$$\begin{aligned} J_{2}(\mathbb {C}\otimes \mathbb {H})\simeq & {} \left( \begin{array}{ccc} \textbf{4} &{} &{} \textbf{4}\oplus \textbf{4} \\ &{} &{} \\ *&{} &{} \textbf{4} \end{array} \right) \simeq 4\cdot \textbf{4}~\text {of~}\mathfrak {so}_{6}; \end{aligned}$$(44)$$\begin{aligned} J_{2}^{\prime }(\mathbb {C}\otimes \mathbb {H})\simeq & {} 3\cdot \textbf{4}~ \text {of~}\mathfrak {so}_{6}. \end{aligned}$$(45)Therefore, since
$$\begin{aligned} \mathfrak {so}\left( \mathbb {O}^{\prime }\right)= & {} \mathfrak {so}_{7}= \mathfrak {g}_{2}\oplus \textbf{7}; \end{aligned}$$(46)$$\begin{aligned} \mathbb {O}^{\prime }\simeq & {} \textbf{7}~\text {of~}\mathfrak {so}_{7}=\textbf{ 7}~\text {of~}\mathfrak {g}_{2}, \end{aligned}$$(47)formula (39) can be made explicit as follows:
$$\begin{aligned} \mathfrak {a}_{II}= & {} \mathcal {L}_{2}\left( \mathbb {O},\mathbb {C}\otimes \mathbb {H}\right) =\mathfrak {isom}\left( \mathbb {T}P_{II}^{1}\right) \nonumber \\= & {} \mathfrak {so}_{7}\oplus \mathfrak {so}_{6}\oplus 3\cdot \left( \textbf{7}, \textbf{4}\right) \end{aligned}$$(48)$$\begin{aligned}= & {} \mathfrak {g}_{2}\oplus \mathfrak {so}_{6}\oplus 3\cdot \left( \textbf{7}, \textbf{4}\right) \oplus \left( \textbf{7},\textbf{1}\right) \nonumber \\= & {} \mathfrak {g}_{2}\oplus \mathfrak {so}_{4}\oplus 3\cdot \left( \textbf{7}, \textbf{2,2}\right) \oplus \left( \textbf{7},\textbf{1,1}\right) \oplus \left( \textbf{1},\textbf{3},\textbf{3}\right) \nonumber \\= & {} \mathfrak {g}_{2}\oplus \mathfrak {su}_{2}\oplus 3\cdot \left( \textbf{7}, \textbf{3}\right) \oplus 4\cdot \left( \textbf{7},\textbf{1}\right) \oplus \left( \textbf{1},\textbf{5}\right) \oplus 2\nonumber \\{} & {} \cdot \left( \textbf{1},\textbf{3 }\right) \oplus \left( \textbf{1},\textbf{1}\right) . \end{aligned}$$(49)The last line (49) has a manifest \(\left( \mathfrak {g}_{2}\oplus \mathfrak {su}_{2}\right) \)-covariance, which is the natural one for the Dixon algebra \(\mathbb {T}\) (cf. (33)), giving
$$\begin{aligned} \mathbb {T\nsubseteq }\mathfrak {a}_{II}, \end{aligned}$$(50)because there is only one singlet \(\left( \textbf{1},\textbf{1}\right) \) in (49). See Appendix C for a more exhaustive treatment of all \(\mathfrak {su}_2\)’s inside \(\mathfrak {so}_6\). However, it is anticipated that \(\mathbb {T}\in \mathfrak {a}_{II}\). Therefore, there are two possibilities to resolve this issue. First, it was asserted above that \(\mathbb {H}\) corresponds to \(\textbf{1}\oplus \textbf{3}\) of \(\mathfrak {su}_2\), which led to \(\mathbb {T}\in \mathfrak {a}_I\). However, \(\mathbb {C}\otimes \mathbb {H}\) is known to allow for three different representations of \(\mathfrak {sl}_{2,\mathbb {C}}\) [22]. If the spinor representations were chosen instead, then \(\mathbb {T}\in \mathfrak {a}_{II}.\) Second, one may claim that the \(2\times 2\) Freudenthal–Tits formula does not apply to the case where \(\mathbb {A}=\mathbb {O}\) and \(\mathbb {B} = \mathbb {C}\otimes \mathbb {H}\). Freudenthal and Tits’ formula was designed for \(3\times 3\), but the \(2\times 2\) case already has a precedent of the formula depending on the algebras chosen, as \(\mathbb {A}=\mathbb {O}\) leads to a difference from \(\mathbb {A}=\mathbb {C}\) or \(\mathbb {H}\) in the \(2\times 2\) case. In this work, we merely claim that a non-simple Lie algebra \(\mathfrak {a}_{II}\) exists, but we do not fully determine its precise structure. Assuming that the Freudenthal–Tits formula does not apply to The “minimal” enhancement of \(\mathfrak {a}_{II}\) such that it contains \(\mathbb {T}\) with \(\textbf{1}\oplus \textbf{3}\) of \(\mathfrak {su}_2\) amounts to adding a \(\left( \mathfrak {g}_{2}\oplus \mathfrak {su}_{2}\right) \) -singlet generator:
$$\begin{aligned} \mathfrak {a}_{II}\longrightarrow & {} \mathfrak {a}_{II,\text {enh.}}:=\mathfrak { a}_{II}\oplus \left( \textbf{1},\textbf{1}\right) \end{aligned}$$(51)$$\begin{aligned}= & {} \mathfrak {g}_{2}\oplus \mathfrak {su}_{2}\oplus 3\cdot \left( \textbf{7}, \textbf{3}\right) \oplus 4\cdot \left( \textbf{7},\textbf{1}\right) \oplus \left( \textbf{1},\textbf{5}\right) \oplus 2\nonumber \\{} & {} \cdot \left( \textbf{1},\textbf{3 }\right) \oplus 2\cdot \left( \textbf{1},\textbf{1}\right) \nonumber \\= & {} \mathfrak {g}_{2}\oplus \mathfrak {su}_{2}\oplus \left( \textbf{7},\textbf{3 }\right) \oplus 2\cdot \left( \textbf{7},\textbf{1}\right) \oplus \left( \textbf{1},\textbf{5}\right) \oplus \mathbb {T}.\nonumber \\ \end{aligned}$$(52)Thanks to (34), the last line (52) enjoys the further symmetry enhancement
$$\begin{aligned} \mathfrak {a}_{II,\text {enh.}}=\mathfrak {so}_{7}\oplus \mathfrak {su} _{2}\oplus \left( \textbf{7},\textbf{3}\right) \oplus \left( \textbf{7}, \textbf{1}\right) \oplus \left( \textbf{1},\textbf{5}\right) \oplus \mathbb {T }. \nonumber \\ \end{aligned}$$(53)Note however that a further symmetry enhancement to \(\mathfrak {so}_{8}\oplus \mathfrak {su}_{2}\) is not possible without breaking \(\mathbb {T}\) itself.Footnote 6 If the Lie algebra \(\mathfrak {a}_{II}\) should be enhanced, then \(\mathfrak {a}_{II,\text {enh.} }\equiv \mathfrak {isom}\left( \mathbb {T}P_{II}^{1}\right) _{\text {enh.}}\) given by (52) has dimension \(21+15+3\cdot 28+1=121\). Alternatively, it is possible that \(\mathfrak {a}_{II}\) is 120-dimensional such that \(\mathbb {H}\in \mathbb {T}\) contains spinor representations, such as \(\textbf{2}\oplus \textbf{2}\) of \(\mathfrak {der}(\mathbb {H}) = \mathfrak {su}_2\).
- \(\textbf{III}.\):
-
Finally, in the case \(\mathbb {A}=\mathbb {C}\otimes \mathbb {O}\) (non-associative) and \(\mathbb {B}=\mathbb {H}\), Tits’ formula (14) yields
$$\begin{aligned} \mathfrak {a}_{III}= & {} \mathcal {L}_{2}\left( \mathbb {C}\otimes \mathbb {O}, \mathbb {H}\right) =\mathfrak {isom}\left( \mathbb {T}P_{III}^{1}\right) \nonumber \\:= & {} \mathfrak {der}\left( \mathbb {C}\otimes \mathbb {O}\right) \oplus \mathfrak {der}\left( J_{2}(\mathbb {H})\right) \oplus \left( \mathbb {C} \otimes \mathbb {O}\right) ^{\prime }\otimes J_{2}^{\prime }(\mathbb {H}) \nonumber \\= & {} \mathfrak {g}_{2}\oplus \mathfrak {so}_{5}\oplus \left( 2\cdot \textbf{7}+ \textbf{1},\textbf{5}\right) , \end{aligned}$$(54)because
$$\begin{aligned} \mathfrak {der}\left( J_{2}(\mathbb {H})\right)\simeq & {} \mathfrak {so}_{5}, \nonumber \\ J_{2}^{\prime }(\mathbb {H})\simeq & {} \textbf{5}, \end{aligned}$$(55)and
$$\begin{aligned} \mathfrak {der}\left( \mathbb {C}\otimes \mathbb {O}\right)\simeq & {} \mathfrak { der}\left( \mathbb {O}\right) \simeq \mathfrak {g}_{2}, \end{aligned}$$(56)$$\begin{aligned} \left( \mathbb {C}\otimes \mathbb {O}\right) ^{\prime }\simeq & {} 2\cdot \textbf{7}+\textbf{1}. \end{aligned}$$(57)The Lie algebra \(\mathfrak {isom}\left( \mathbb {T}P_{III}^{1}\right) \) has dimension \(14+10+75=99\).
2.4 Three Dixon lines
A Dixon-Rosenfeld projective line \(\mathbb {T}P^{1}\) can be realized as an homogeneous space of dimension dim\(_{\mathbb {R}}\mathbb {T}P^{1}=\text {dim}_{ \mathbb {R}}\mathbb {T}=64\), whose corresponding Lie algebra generators \(\mathfrak {Lie}\left( \mathbb {T}P^{1}\right) \) relate to the isometry and isotropy Lie algebras as follows:
and whose tangent space \(T\left( \mathbb {T}P^{1}\right) \) carries a \( \mathfrak {isot}\left( \mathbb {T}P^{1}\right) \)-covariant realization of \( \mathbb {T}\) itself.
- \(\textbf{I}\):
-
By iterated branchings of \(\mathfrak {isom}\left( \mathbb { T}P_{I}^{1}\right) \) given by (36), one obtains
$$\begin{aligned}{} & {} \mathfrak {isom}\left( \mathbb {T}P_{I}^{1}\right) \simeq \mathfrak {su} _{2}\oplus \mathfrak {so}_{8} \oplus \left( \textbf{1}\oplus 2\cdot \textbf{3}, \textbf{8}_{v}+\textbf{1}\right) \oplus \left( \textbf{1},\textbf{8} _{v}\right) \nonumber \\{} & {} \quad =\mathfrak {su}_{2}\oplus \mathfrak {so}_{7}\oplus \left( 2\cdot \textbf{3}, \mathbf {7+}2\cdot \textbf{1}\right) \oplus 3\cdot \left( \textbf{1},\mathbf { 7+1}\right) \nonumber \\{} & {} \quad =\mathfrak {su}_{2}\oplus \mathfrak {g}_{2}\oplus \left( 2\cdot \textbf{3}, \mathbf {7+}2\cdot \textbf{1}\right) \oplus \left( \textbf{1},4\cdot \mathbf { 7+}3\cdot \textbf{1}\right) \nonumber \\{} & {} \quad =\mathfrak {su}_{2}\oplus \mathfrak {g}_{2}\oplus \left( 2\cdot \textbf{3}, \mathbf {7+1}\right) \oplus \left( 2\cdot \textbf{3},\textbf{1}\right) \oplus \left( 2\cdot \textbf{1},\mathbf {7+1}\right) \nonumber \\{} & {} \qquad \oplus \left( \textbf{1},2\cdot \mathbf {7+1}\right) \end{aligned}$$(59)$$\begin{aligned}{} & {} \quad =:\mathfrak {isot}\left( \mathbb {T}P_{I}^{1}\right) \oplus \mathfrak {c} \left( \mathbb {T}P_{I}^{1}\right) , \end{aligned}$$(60)thus implying that
$$\begin{aligned} \mathfrak {isot}\left( \mathbb {T}P_{I}^{1}\right):= & {} \mathfrak {su}_{2}\oplus \mathfrak {g}_{2}\oplus \left( \textbf{1}+2\cdot \textbf{3},\textbf{1}\right) \oplus 2\cdot \left( \textbf{1},\textbf{7}\right) \nonumber \\= & {} \mathfrak {su}_{2}\oplus \mathfrak {so}_{7}\oplus \left( \textbf{1}+2\cdot \textbf{3},\textbf{1}\right) \oplus \left( \textbf{1},\textbf{7}\right) \nonumber \\= & {} \mathfrak {su}_{2}\oplus \mathfrak {so}_{8}\oplus \left( \textbf{1}+2\cdot \textbf{3},\textbf{1}\right) , \end{aligned}$$(61)$$\begin{aligned} \mathfrak {c}\left( \mathbb {T}P_{I}^{1}\right)\simeq & {} T\left( \mathbb {T} P_{I}^{1}\right) \overset{\text {(}33\text {)}-\text {(}35\text {)}}{\simeq }2\cdot \left( \textbf{1}+\textbf{3},\textbf{8}_{v}\right) ~\text {of~}\mathfrak {su} _{2}\oplus \mathfrak {so}_{8}.\nonumber \\ \end{aligned}$$(62)Therefore, one obtains the following (non-symmetric) presentation of the Dixon projective line \(\mathbb {T}P_{I}^{1}\) as a homogeneous space:
$$\begin{aligned} \mathbb {T}P_{I}^{1}\simeq \frac{SO_{9}\times SU_{2}\ltimes \left( \textbf{9}, \textbf{1}+2\cdot \textbf{3}\right) }{SO_{8}\times SU_{2}\ltimes \left( 2\cdot \left( \textbf{1},\textbf{3}\right) +\left( \textbf{1},\textbf{1} \right) \right) }, \end{aligned}$$(63)with
$$\begin{aligned} \text {dim}\left( \mathbb {T}P_{I}^{1}\right) =64=\text {dim}\mathbb {T}. \end{aligned}$$(64)The coset (63) is not symmetric, because it can be checked that
$$\begin{aligned}{} & {} \left[ \mathfrak {c}\left( \mathbb {T}P_{I}^{1}\right) ,\mathfrak {c}\left( \mathbb {T}P_{I}^{1}\right) \right] \nonumber \\{} & {} \quad \simeq 4\cdot \left( \textbf{1}+\textbf{3} ,\textbf{8}_{v}\right) \otimes _{a}\left( \textbf{1}+\textbf{3},\textbf{8} _{v}\right) \nsubseteq \mathfrak {isot}\left( \mathbb {T}P_{I}^{1}\right) , \end{aligned}$$(65)where subscript “a” denotes anti-symmetrization of the tensor product throughout.
- \(\textbf{II}\):
-
From (48) and (52), the “minimally” enhanced \(\mathfrak {isom} \left( \mathbb {T}P_{II}^{1}\right) _{\text {enh}.}\) reads
$$\begin{aligned} \mathfrak {isom}\left( \mathbb {T}P_{II}^{1}\right) _{\text {enh}.}=:\mathfrak { isot}\left( \mathbb {T}P_{II}^{1}\right) \oplus \mathfrak {c}\left( \mathbb {T} P_{II}^{1}\right) , \end{aligned}$$(66)with
$$\begin{aligned} \mathfrak {isot}\left( \mathbb {T}P_{II}^{1}\right) :={} & {} \mathfrak {so} _{7}\oplus \mathfrak {su}_{2}\oplus \left( \textbf{7},\textbf{3}\right) \oplus \left( \textbf{7},\textbf{1}\right) \oplus \left( \textbf{1},\textbf{5 }\right) , \nonumber \\ \end{aligned}$$(67)$$\begin{aligned} \mathfrak {c}\left( \mathbb {T}P_{II}^{1}\right)\simeq & {} T\left( \mathbb {T} P_{II}^{1}\right) \overset{\text {(}34\text {)}}{\simeq }T\left( \mathbb {T }P_{I}^{1}\right) . \end{aligned}$$(68)Thence, one obtains the following (non-symmetric) presentation of the Dixon projective line \(\mathbb {T}P_{II}^{1}\) as a homogeneous space:
$$\begin{aligned} \mathbb {T}P_{II}^{1}\simeq \frac{SO_{7}\times SO_{6}\ltimes \left( 3\cdot \left( \textbf{7},\textbf{4}\right) \oplus \left( \textbf{1},\textbf{1} \right) \right) }{SO_{7}\times SU_{2}\ltimes \left( \left( \textbf{7}, \textbf{3}+\textbf{1}\right) \oplus \left( \textbf{1},\textbf{5}\right) \right) }, \end{aligned}$$(69)once again with
$$\begin{aligned} \text {dim}\left( \mathbb {T}P_{II}^{1}\right) =64=\text {dim}\mathbb {T}. \end{aligned}$$(70)The coset (69) is not symmetric, because it can be checked that
$$\begin{aligned}{} & {} \left[ \mathfrak {c}\left( \mathbb {T}P_{II}^{1}\right) ,\mathfrak {c}\left( \mathbb {T}P_{II}^{1}\right) \right] \nonumber \\{} & {} \quad \simeq 4\cdot \left( \textbf{1}+\textbf{3 },\textbf{7}+\textbf{1}\right) \otimes _{a}\left( \textbf{1}+\textbf{3}, \textbf{7}+\textbf{1}\right) \nonumber \\{} & {} \quad \nsubseteq \mathfrak {isot}\left( \mathbb {T} P_{II}^{1}\right) . \end{aligned}$$(71) - \(\textbf{III}\):
-
By iterated branchings of \(\mathfrak {isom}\left( \mathbb {T}P_{III}^{1}\right) \), given by (54), one obtains
$$\begin{aligned}{} & {} \mathfrak {isom}\left( \mathbb {T}P_{III}^{1}\right) =\mathfrak {g} _{2}\oplus \mathfrak {su}_{2}\oplus \mathfrak {su}_{2}\oplus \left( \textbf{1}, \textbf{2,2}\right) \nonumber \\{} & {} \qquad \oplus \left( 2\cdot \textbf{7}+\textbf{1},\textbf{2,2} \right) \oplus \left( 2\cdot \textbf{7}+\textbf{1},\textbf{1,1}\right) \nonumber \\{} & {} \quad =\mathfrak {g}_{2}\oplus \mathfrak {su}_{2,d}\oplus 2\cdot \left( \textbf{1}, \textbf{3}\right) \oplus \left( \textbf{1},\textbf{1}\right) \oplus \left( 2\cdot \textbf{7}+\textbf{1},\textbf{3}\right) \nonumber \\{} & {} \qquad \oplus 2\cdot \left( 2\cdot \textbf{7}+\textbf{1},\textbf{1}\right) \nonumber \\{} & {} \quad \simeq :\mathfrak {isot}\left( \mathbb {T}P_{III}^{1}\right) \oplus \mathfrak {c}\left( \mathbb {T}P_{III}^{1}\right) , \end{aligned}$$(72)thus implying that
$$\begin{aligned} \mathfrak {isot}\left( \mathbb {T}P_{III}^{1}\right) :\simeq{} & {} \mathfrak {g} _{2}\oplus \mathfrak {su}_{2}\oplus \left( 2\cdot \textbf{7}+\textbf{1}, \textbf{1}\right) \oplus \left( \textbf{1},\textbf{3}\right) , \nonumber \\ \end{aligned}$$(73)$$\begin{aligned} \mathfrak {c}\left( \mathbb {T}P_{III}^{1}\right)\simeq & {} T\left( \mathbb {T} P_{III}^{1}\right) \overset{\text {(}33), (68\text {)}}{\simeq }T\left( \mathbb {T}P_{I}^{1}\right) , \nonumber \\ \end{aligned}$$(74)and therefore leading to the following (non-symmetric) presentation of the Dixon projective line \(\mathbb {T}P_{III}^{1}\) as a homogeneous space:
$$\begin{aligned} \mathbb {T}P_{III}^{1}\simeq \frac{G_{2}\times SO_{5}\ltimes \left( 2\cdot \textbf{7}+\textbf{1},\textbf{5}\right) }{G_{2}\times SU_{2}\ltimes \left( \left( 2\cdot \textbf{7}+\textbf{1},\textbf{1}\right) +\left( \textbf{1}, \textbf{3}\right) \right) }, \end{aligned}$$(75)once again with
$$\begin{aligned} \text {dim}\left( \mathbb {T}P_{III}^{1}\right) =64=\text {dim}\mathbb {T}. \end{aligned}$$(76)The coset (75) is not symmetric, because it can be checked that
$$\begin{aligned}{} & {} \left[ \mathfrak {c}\left( \mathbb {T}P_{III}^{1}\right) ,\mathfrak {c}\left( \mathbb {T}P_{III}^{1}\right) \right] \nonumber \\{} & {} \quad \simeq 4\cdot \left( \textbf{7}+\textbf{ 1},\textbf{3}+\textbf{1}\right) \otimes _{a}\left( \textbf{7}+\textbf{1}, \textbf{3}+\textbf{1}\right) \nonumber \\{} & {} \quad \nsubseteq \mathfrak {isot}\left( \mathbb {T} P_{III}^{1}\right) . \end{aligned}$$(77)
Remark
The above analysis yields the following isometry algebras:
as well as the following isotropy algebras:
which all imply the same coset Lie algebra locally on the tangent space, providing a manifestly \(\left( \mathfrak {g}_{2}\oplus \mathfrak {su} _{2}\right) \)-covariant (or, equivalently, \(\left( \mathfrak {so}_{7}\oplus \mathfrak {su}_{2}\right) \)-covariant) realization of the Dixon algebra \( \mathbb {T}\), as given by (33) and (34):
Thus, the three Dixon-Rosenfeld projective lines \(\mathbb {T}P_{I}^{1}\), \( \mathbb {T}P_{II}^{1}\) and \(\mathbb {T}P_{III}^{1}\) have slightly different isometry and isotropy Lie algebras; from the formulæ above, it follows that
and
However, the set of generators of the isometry Lie group whose non-linear realization gives rise to the Dixon-Rosenfeld projective line is the same for \(\mathbb {T}P_{I}^{1}\), \(\mathbb {T}P_{II}^{1}\) and \(\mathbb {T}P_{III}^{1}\); since such a set of generators also provide a local realization of the tangent space, one can conclude that \(\mathbb {T}P_{I}^{1}\), \(\mathbb {T} P_{II}^{1}\) and \(\mathbb {T}P_{III}^{1}\) are locally isomorphic as homogeneous (non-symmetric) spaces.
3 Relationship with octonionic Rosenfeld lines
It is interesting to point out the relationship between the Dixon-Rosenfeld lines and the other octonionic Rosenfeld lines, whose definition can be found in from an historical point of view in [42, 43] and in a more rigorous definition in [38]. Let us just recall here the homogeneous space realization of Rosenfeld lines over \(\mathbb {A}\otimes \mathbb {O}\), with \(\mathbb {A}=\mathbb {R},\mathbb {C},\mathbb {H},\mathbb {O}\) (see [11, 12, 38, 42, 43]), i.e. for the octonionic projective line \(\left( \mathbb {R }\otimes \mathbb {O}\right) P^{1}\), the bioctonionic Rosenfeld line \( \left( \mathbb {C}\otimes \mathbb {O}\right) P^{1}\), the quateroctonionic Rosenfeld line\(\left( \mathbb {H}\otimes \mathbb {O}\right) P^{1}\) and, finally, for the octooctonionic Rosenfeld line \(\left( \mathbb {O}\otimes \mathbb { O}\right) P^{1}\):
from which it consistently follows that
which illustrates how the tangent spaces of octonionic projective lines generally carry an enhancement of the symmetry with respect to the Lie algebra \(\mathfrak {der}\left( \mathbb {A}\otimes \mathbb {O}\right) \simeq \mathfrak {der}\left( \mathbb {A}\right) \oplus \mathfrak {g}_{2}\).
Geometrically, the octonionic projective lines \(\left( \mathbb {A}\otimes \mathbb {O}\right) P^{1}\) can be regarded as \(\mathbb {A}\otimes \mathbb {O}\) together with a point at infinity, and thus as a 8dim\(_{\mathbb {R}}\mathbb { A}\)-sphere, namely as a maximal totally geodesic sphere in the corresponding octonionic Rosenfeld projective plane \(\left( \mathbb {A}\otimes \mathbb {O} \right) P^{2}\) [43]. In the case \(\mathbb {A}=\mathbb {R}\), such a “spherical characterization” of octonionic projective lines is well known, whereas for the other cases (the “genuinely Rosenfeld” ones) it is less trivial (see e.g. [40]).
We can now study the relations among the Dixon-Rosenfeld lines discussed above and the octonionic Rosenfeld lines. Of course,
By recalling (33) and considering the \(\left( \mathfrak {g}_{2}\oplus \mathfrak {g}_{2}\right) \)-covariant representation of the tensor algebra
one observes that, when restricting the first (or, equivalently, the second) \(\mathfrak {g}_{2}\) to a \(\mathfrak {su}_{2}\) subalgebra defined by (30) (or, equivalently, by (31)), the irrepr. \(\textbf{7}\) of \(\mathfrak {g} _{2}\) breaks into \(2\cdot \textbf{3}+\textbf{1}\) of \(\mathfrak {su}_{2}\), and therefore it holds that
In other words, as resulting from the treatment below, \(\mathbb {O}\otimes \mathbb {O}\) and \(\mathbb {T}\) are isomorphic as vector spaces (but not as algebras), with \(\mathfrak {der}\left( \mathbb {O}\otimes \mathbb {O}\right) \supsetneq \mathfrak {der}\left( \mathbb {T}\right) \): thus, octo-octonions have a larger derivation algebra than the Dixon algebra, with an enhancement/restriction expressed by (30) or, equivalently, by (31).
- \(\textbf{I}\):
-
From (36) and (61), one respectively obtains
$$\begin{aligned}{} & {} \mathfrak {isom}\left( \left( \mathbb {O}\otimes \mathbb {O}\right) P^{1}\right) \simeq \mathfrak {so}_{16}=\mathfrak {so}_{9}\oplus \mathfrak { so}_{7}\oplus \left( \textbf{9},\textbf{7}\right) \nonumber \\{} & {} \quad =\mathfrak {so}_{9}\oplus \mathfrak {g}_{2}\oplus \left( \textbf{9},\textbf{7}\right) \oplus \left( \textbf{1},\textbf{7}\right) \nonumber \\{} & {} \quad =\overset{\text {(}30\text {) or (}31\text {)}}{...}=\mathfrak {so}_{9}\oplus \mathfrak {su}_{2}\oplus \left( \textbf{9,1}+2\cdot \textbf{3}\right) \nonumber \\{} & {} \qquad \oplus \left( \textbf{1,}2\cdot \textbf{3}+\textbf{1}\right) \oplus 2\cdot \left( \textbf{1},\textbf{3}\right) \oplus \left( \textbf{1},\textbf{5}\right) \nonumber \\{} & {} \quad =\mathfrak {so}_{8}\oplus \mathfrak {su}_{2}\oplus \left( \textbf{8}_{v}+ \textbf{1,1}+2\cdot \textbf{3}\right) \oplus \left( \textbf{1,}2\cdot \textbf{3}+\textbf{1}\right) \nonumber \\{} & {} \qquad \oplus 2\cdot \left( \textbf{1},\textbf{3} \right) \oplus \left( \textbf{1},\textbf{5}\right) \oplus \left( \textbf{8} _{v},\textbf{1}\right) \nonumber \\{} & {} \quad =\mathfrak {so}_{7}\oplus \mathfrak {su}_{2}\oplus \left( \textbf{7}+2\cdot \textbf{1,1}+2\cdot \textbf{3}\right) \oplus \left( \textbf{1,}2\cdot \textbf{3}+\textbf{1}\right) \nonumber \\{} & {} \qquad \oplus 2\cdot \left( \textbf{1},\textbf{3}\right) \oplus \left( \textbf{1}, \textbf{5}\right) \oplus \left( 2\cdot \mathbf {7+1},\textbf{1}\right) \nonumber \\{} & {} \quad =\mathfrak {so}_{7}\oplus \mathfrak {su}_{2}\oplus 2\cdot \left( \textbf{7,3} \right) \oplus 8\cdot \left( \textbf{1,3}\right) \nonumber \\{} & {} \qquad \oplus 3\cdot \left( \textbf{7,1}\right) \oplus 4\cdot \left( \textbf{1,1}\right) \oplus \left( \textbf{1},\textbf{5}\right) \nonumber \\{} & {} \quad \simeq \mathfrak {isom}\left( \mathbb {T}P_{I}^{1}\right) \oplus 4\cdot \left( \textbf{1,3}\right) \oplus \left( \textbf{1,1}\right) \oplus \left( \textbf{1},\textbf{5}\right) , \end{aligned}$$(99)and
$$\begin{aligned}{} & {} \mathfrak {isot}\left( \left( \mathbb {O}\otimes \mathbb {O}\right) P^{1}\right) \simeq \mathfrak {so}_{8}\oplus \mathfrak {so}_{8}=\mathfrak {so }_{8}\oplus \mathfrak {so}_{7}\oplus \left( \textbf{1},\textbf{7}\right) \nonumber \\{} & {} \quad = \mathfrak {so}_{8}\oplus \mathfrak {g}_{2}\oplus 2\cdot \left( \textbf{1}, \textbf{7}\right) \nonumber \\{} & {} \quad =\overset{\text {(}30\text {) or (}31\text {)}}{...}=\mathfrak {so}_{8}\oplus \mathfrak {su}_{2}\oplus 2\cdot \left( \textbf{1},\textbf{1}+2\cdot \textbf{3} \right) \nonumber \\{} & {} \qquad \oplus 2\cdot \left( \textbf{1},\textbf{3}\right) \oplus \left( \textbf{1},\textbf{5}\right) \nonumber \\{} & {} \quad =\mathfrak {so}_{7}\oplus \mathfrak {su}_{2}\oplus 2\cdot \left( \textbf{1}, \textbf{1}\right) \oplus 6\cdot \left( \textbf{1},\textbf{3}\right) \oplus \left( \textbf{1},\textbf{5}\right) \oplus \left( \textbf{7},\textbf{1} \right) \nonumber \\{} & {} \quad \simeq \mathfrak {isot}\left( \mathbb {T}P_{I}^{1}\right) \oplus 4\cdot \left( \textbf{1,3}\right) \oplus \left( \textbf{1,1}\right) \oplus \left( \textbf{1},\textbf{5}\right) . \end{aligned}$$(100)Thus, it holds that
$$\begin{aligned} \mathfrak {isom}\left( \mathbb {T}P_{I}^{1}\right)&\subsetneq&\mathfrak {isom }\left( \left( \mathbb {O}\otimes \mathbb {O}\right) P^{1}\right) , \end{aligned}$$(101)$$\begin{aligned} \mathfrak {isot}\left( \mathbb {T}P_{I}^{1}\right)&\subsetneq&\mathfrak {isot }\left( \left( \mathbb {O}\otimes \mathbb {O}\right) P^{1}\right) , \end{aligned}$$(102)and
$$\begin{aligned}{} & {} \mathfrak {c}\left( \left( \mathbb {O}\otimes \mathbb {O}\right) P^{1}\right) :\simeq \mathfrak {isom}\left( \left( \mathbb {O}\otimes \mathbb {O}\right) P^{1}\right) \nonumber \\{} & {} \qquad \ominus \mathfrak {isot}\left( \left( \mathbb {O}\otimes \mathbb {O }\right) P^{1}\right) \nonumber \\{} & {} \quad =\left( \mathfrak {isom}\left( \mathbb {T}P_{I}^{1}\right) \oplus \left( \textbf{5}+4\cdot \textbf{3}+\textbf{1,1}\right) \right) \nonumber \\{} & {} \qquad \ominus \left( \mathfrak {isot}\left( \mathbb {T}P_{I}^{1}\right) \oplus \left( \textbf{5} +4\cdot \textbf{3}+\textbf{1,1}\right) \right) \nonumber \\{} & {} \quad \simeq \mathfrak {isom}\left( \mathbb {T}P_{I}^{1}\right) \ominus \mathfrak { isot}\left( \mathbb {T}P_{I}^{1}\right) \simeq :\mathfrak {c}\left( \mathbb {T} P_{I}^{1}\right) . \end{aligned}$$(103) - \(\textbf{II}\):
-
Analogously, from (53) and (67), one respectively obtains
$$\begin{aligned}{} & {} \mathfrak {isom}\left( \left( \mathbb {O}\otimes \mathbb {O}\right) P^{1}\right) \nsubseteq \nsupseteq \mathfrak {isom}\left( \mathbb {T} P_{II}^{1}\right) _{\text {enh.}}; \end{aligned}$$(104)$$\begin{aligned}{} & {} \mathfrak {isom}\left( \left( \mathbb {O}\otimes \mathbb {O}\right) P^{1}\right) \cap \mathfrak {isom}\left( \mathbb {T}P_{II}^{1}\right) _{\text { enh.}} \nonumber \\{} & {} \quad \simeq \mathfrak {so}_{7}\oplus \mathfrak {su}_{2}\oplus 2\cdot \left( \textbf{7},\textbf{3}\right) \oplus 2\cdot \left( \textbf{1},\textbf{3 }\right) \nonumber \\{} & {} \qquad \oplus 3\cdot \left( \textbf{7},\textbf{1}\right) \oplus 2\cdot \left( \textbf{1},\textbf{1}\right) \oplus \left( \textbf{1},\textbf{5} \right) , \end{aligned}$$(105)and
$$\begin{aligned}{} & {} \mathfrak {isot}\left( \left( \mathbb {O}\otimes \mathbb {O}\right) P^{1}\right) \nsubseteq \nsupseteq \mathfrak {isot}\left( \mathbb {T} P_{II}^{1}\right) ; \end{aligned}$$(106)$$\begin{aligned}{} & {} \mathfrak {isot}\left( \left( \mathbb {O}\otimes \mathbb {O}\right) P^{1}\right) \cap \mathfrak {isot}\left( \mathbb {T}P_{II}^{1}\right) \nonumber \\{} & {} \quad \simeq \mathfrak {so}_{7}\oplus \mathfrak {su}_{2}\oplus \left( \textbf{7},\textbf{1} \right) \oplus \left( \textbf{1},\textbf{5}\right) . \end{aligned}$$(107)However,
$$\begin{aligned} \mathfrak {c}\left( \left( \mathbb {O}\otimes \mathbb {O}\right) P^{1}\right){} & {} :\simeq \mathfrak {isom}\left( \left( \mathbb {O}\otimes \mathbb {O}\right) P^{1}\right) \nonumber \\{} & {} \quad \ominus \mathfrak {isot}\left( \left( \mathbb {O}\otimes \mathbb {O }\right) P^{1}\right) \nonumber \\{} & {} \simeq \mathfrak {isom}\left( \mathbb {T}P_{II}^{1}\right) _{\text {enh.} }\ominus \mathfrak {isot}\left( \mathbb {T}P_{II}^{1}\right) \nonumber \\{} & {} \simeq :\mathfrak { c}\left( \mathbb {T}P_{II}^{1}\right) . \end{aligned}$$(108) - \(\textbf{III}\):
-
Again, from (54) and (73), one respectively obtains
$$\begin{aligned}{} & {} \mathfrak {isom}\left( \left( \mathbb {O}\otimes \mathbb {O}\right) P^{1}\right) \nonumber \\{} & {} \quad \simeq \mathfrak {isom}\left( \mathbb {T}P_{III}^{1}\right) \oplus 5\cdot \left( \textbf{1,3}\right) \oplus 2\cdot \left( \textbf{7,1} \right) \nonumber \\{} & {} \qquad \oplus \left( \textbf{1,1}\right) \oplus \left( \textbf{1},\textbf{5} \right) , \end{aligned}$$(109)and
$$\begin{aligned}{} & {} \mathfrak {isot}\left( \left( \mathbb {O}\otimes \mathbb {O}\right) P^{1}\right) =\mathfrak {so}_{7}\oplus \mathfrak {su}_{2}\oplus 2\cdot \left( \textbf{1},\textbf{1}\right) \nonumber \\{} & {} \quad \oplus 6\cdot \left( \textbf{1},\textbf{3 }\right) \oplus \left( \textbf{1},\textbf{5}\right) \oplus \left( \textbf{7}, \textbf{1}\right) \nonumber \\{} & {} \qquad \simeq \mathfrak {isot}\left( \mathbb {T}P_{III}^{1}\right) \oplus 5\cdot \left( \textbf{1,3}\right) \oplus 2\cdot \left( \textbf{7,1}\right) \nonumber \\{} & {} \quad \oplus \left( \textbf{1,1}\right) \oplus \left( \textbf{1},\textbf{5}\right) . \end{aligned}$$(110)Thus, it holds that
$$\begin{aligned} \mathfrak {isom}\left( \mathbb {T}P_{III}^{1}\right)&\subsetneq&\mathfrak { isom}\left( \left( \mathbb {O}\otimes \mathbb {O}\right) P^{1}\right) , \end{aligned}$$(111)$$\begin{aligned} \mathfrak {isot}\left( \mathbb {T}P_{III}^{1}\right)&\subsetneq&\mathfrak { isot}\left( \left( \mathbb {O}\otimes \mathbb {O}\right) P^{1}\right) , \end{aligned}$$(112)and
$$\begin{aligned}{} & {} \mathfrak {c}\left( \left( \mathbb {O}\otimes \mathbb {O}\right) P^{1}\right) :\simeq \mathfrak {isom}\left( \left( \mathbb {O}\otimes \mathbb {O}\right) P^{1}\right) \ominus \mathfrak {isot}\left( \left( \mathbb {O}\otimes \mathbb {O }\right) P^{1}\right) \nonumber \\{} & {} \quad =\left( \mathfrak {isom}\left( \mathbb {T}P_{III}^{1}\right) \oplus 5\cdot \left( \textbf{1,3}\right) \oplus 2\cdot \left( \textbf{7,1}\right) \oplus \left( \textbf{1,1}\right) \oplus \left( \textbf{1},\textbf{5}\right) \right) \nonumber \\{} & {} \qquad \ominus \left( \mathfrak {isot}\left( \mathbb {T}P_{I}^{1}\right) \oplus 5\cdot \left( \textbf{1,3}\right) \oplus 2\cdot \left( \textbf{7,1}\right) \oplus \left( \textbf{1,1}\right) \oplus \left( \textbf{1},\textbf{5}\right) \right) \nonumber \\{} & {} \quad \simeq \mathfrak {isom}\left( \mathbb {T}P_{III}^{1}\right) \ominus \mathfrak {isot}\left( \mathbb {T}P_{III}^{1}\right) \simeq :\mathfrak {c} \left( \mathbb {T}P_{III}^{1}\right) . \end{aligned}$$(113)
In other words, the Dixon-Rosenfeld projective lines \(\mathbb {T}P_{I}^{1}\) and \(\mathbb {T}P_{III}^{1}\) have the isometry resp. isotropy Lie algebra strictly contained in the isometry resp. isotropy Lie algebra of the octo-octonionic projective line \(\left( \mathbb {O}\otimes \mathbb {O}\right) P^{1}\), whereas the Dixon-Rosenfeld projective line \(\mathbb {T}P_{II}^{1}\) does not contain nor is contained into \(\left( \mathbb {O}\otimes \mathbb {O} \right) P^{1}\). Nonetheless, as pointed out above, the set of generators of the isometry Lie group whose non-linear realization gives rise to the Dixon-Rosenfeld projective line is the same for \(\mathbb {T}P_{I}^{1}\), \( \mathbb {T}P_{II}^{1}\) and \(\mathbb {T}P_{III}^{1}\); thus, one can conclude that all such spaces are locally isomorphic as homogeneous spaces:
It is interesting to remark that this holds notwithstanding the fact that, while the three Dixon-Rosenfeld projective lines have non-symmetric presentations, the octo-octonionic Rosenfeld projective line is a symmetric space.
4 Projective lines over \(\mathbb {C}\otimes \mathbb {H}\) via \(\mathbb {C}\otimes J_{2}(\mathbb {H})\)
4.1 Generalized minimal left ideals of \(\mathbb {C}\otimes \mathbb {H}\)
In pursuing the Standard Model physics of \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\), Furey started by considering generalized minimal left ideals of \(\mathbb {C}\otimes \mathbb {H}\) and demonstrated how scalar, chiral spinors, vector, and 2-form representations of the Lorentz spacetime group may be identified [22]. Given some algebra \(\mathfrak {g}\), a (generalized) minimal ideal \(\mathfrak {i}\subset \mathfrak {g}\) is a subalgebra where \(m(a,v)\in \mathfrak {i}\) for all \(a\in \mathfrak {g}\) and \(v\in \mathfrak {i}\) with m as a (generalized) multiplication. The generalized minimal left ideal that Furey considered for spinors from \(\mathfrak {g}=\mathbb {C}\otimes \mathbb {H}\) is
where \(P=(1+Ik)/2\) such that \(P^{*}=(1-Ik)/2\) are projectors satisfying \(P^{2}=P,P^{*2}=P^{*}\), and \(PP^{*}=P^{*}P=0\). The 4-vectors (1-forms) were found as generalized minimal ideals via the the following generalized multiplication,
where \(a^{\dagger }=\hat{a}^{*}\) is used just for this subsection when \(a\in \mathbb {C}\otimes \mathbb {H}\), with \(\hat{}\) and \(^{*}\) denoting the quaternionic and complex conjugate, respectively. The symbol \(\dagger \) is used throughout as a Hermitian conjugate of the algebra, but the explicit mathematical operation will differ depending on the algebra under consideration. The scalars and field strength (2-forms) were found as generalized minimal ideals via the generalized multiplication below,
Focusing on the spinors, a Dirac spinor \(\psi _{D}\) as an element of \(\mathbb {C}\otimes \mathbb {H}\) is decomposed into left- and right-chiral (Weyl) spinors \(\psi _{L}\) and \(\psi _{R}\) as minimal left ideals with respect to Eq. (115),
where \(c_{i}\) for \(i=1,\ldots 4\) are complex coefficients \(c_{i}=c_{i,1}+c_{i,2}I\). Since \(\mathbb {C}\otimes \mathbb {H}\) is associative, it is straightforward to verify that \(\psi _{L}P=\psi _{L},\psi _{R}P^{*}=\psi _{R}\), and \(\psi _{L}P^{*}=\psi _{R}P=0\). Additionally, the Lorentz transformations can be found as the exponentiation of linear combinations of vectors and bivectors of Cl(3).
The basis of minimal ideals is less clear with \(\mathbb {C}\otimes \mathbb {H}\) and improved with reference to another basis spanned by \(\left\{ P,P^{*},jP,\hat{\jmath }P^{*},IP,IP^{*},IjP,I\hat{\jmath }P^{*}\right\} \). To provide a dictionary of various representations used by Furey for the spinor minimal ideal bases [22,23,24], consider
We found it convenient to confirm that \(\psi _{L}\) and \(\psi _{R}\) are minimal left ideals in Mathematica when converting to the basis above (along with the four elements multiplied by I ). The following anti-commutation relations can be found,
Note that Ii and Ij act as bases of \(\mathbb {C}l(2)\).
4.2 Generalized minimal left ideals of \(\mathbb {C}\otimes J_{2}(\mathbb {H})\)
To build up to projective lines of \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\), the physics of spinors for \(\mathbb {C}\otimes \mathbb {H}\) are uplifted to \(\mathbb {C}\otimes J_{2}(\mathbb {H})\). The \(\mathbb {C}\otimes \mathbb {H}\) spinors are also embedded into \(\mathbb {C}\otimes J_{2}(\mathbb {H})\) by placing \(\psi _{D}\) in the upper-right component and adding by its quaternionic Hermitian conjugate to obtain an element of \(\mathbb {C}\otimes J_{2}(\mathbb {H})\),
Note that here \(\dagger \) denotes matrix transpose and quaternionic conjugation.
This brings in a complication for generalizing P, as \(2\times 2\) matrices admit two projectors as idempotents, yet \(\mathbb {C}\otimes J_{2}(\mathbb {H})\) does not contain \(P=(1+Ik)/2\) on any diagonal elements. The action of \(\mathbb {C}\otimes \mathbb {H}\) must occur on the off-diagonals. Despite not giving projectors, the bases are embedded as follows
A new generalized multiplication was identified for spinors as elements of \(\mathbb {C}\otimes J_{2}(\mathbb {H})\) by taking the Jordan product with two matrices from the right to replace P and \(P^{*}\) in Eq. (115),
where \(a\in \mathbb {C}\otimes J_{2}(\mathbb {H})\) and \(a\circ b=(ab+ba)/2\) is the Jordan product. We verified in Mathematica that \(m_{4}(a,v)\) gives spinorial ideals for arbitrary \(a\in \mathbb {C}\otimes J_{2}(\mathbb {H})\). Since \(\mathbb {C}\otimes J_{2}(\mathbb {H})\) is larger than the piece of \(\mathbb {C}\otimes \mathbb {H}\) embedded in \(\mathbb {C}\otimes J_{2}(\mathbb {H})\), the existence of such a generalized ideal may hold for the entire algebra constructed from the Dixon-Rosenfeld line via the Freudenthal–Tits construction.
For Hermitian and anti-Hermitian vectors, the following generalized multiplication rule is found,
where \(m_{5}\) is identified as a Jordan anti-associator. If a is chosen to be a purely off-diagonal element of \(\mathbb {C}\otimes J_{2}(\mathbb {H})\), then \(m_{5}\) leads to an element of \(\mathfrak {i}\) for v as a Hermitian or anti-Hermitian vector. If a is chosen as an arbitrary element of \(\mathbb {C}\otimes J_{2}(\mathbb {H})\), then the Hermitian vector uplifted to \(\mathbb {C}\otimes J_{2}(\mathbb {H})\) develops a purely real diagonal term, while the antiHermitian vector uplifted develops a purely imaginary diagonal term. It is also anticipated that diagonals of \(\mathbb {C}\otimes J_{2}(\mathbb {H})\) not found in \(\mathbb {C}\otimes \mathbb {H}\) should be purely bosonic, which motivates a higher-dimensional Hermitian and anti-Hermitian vector to be found as ideals of \(\mathbb {C}\otimes J_{2}(\mathbb {H})\).
For scalars and two-forms, the following generalized multiplication rule is found with a Jordan anti-associator and slightly different conjugation,
It turns out that the 2-form uplifted to \(\mathbb {C}\otimes J_{2}(\mathbb {H})\) is a minimal ideal, while the scalar uplifted must be generalized to include a complex diagonal.
For concreteness, the left- and right-chiral spinors embedded in \(\mathbb {C}\otimes J_{2}(\mathbb {H})\) as minimal ideals of \(m_{4}\) in Eq. (123) are
The vectors \(h^\mu \) and pseudo-vectors \(g^\mu \) for \(\mu = 0,1,2,3\) represented as elements of \(\mathbb {C}\otimes \mathbb {H}\) to be used with Eq. (124) are generalized to the following minimal ideals of \(\mathbb {C}\otimes J_{2}(\mathbb {H})\) with diagonal components
where \(h_4\), \(h_5\), \(g_4\), and \(g_5\) are scalar degrees of freedom found on the diagonals of the minimal ideals that extend the 4-vector and 4-pseudo-vector. The scalars \(\phi \) and 2-forms F embedded in \(\mathbb {C}\otimes J_{2}(\mathbb {H})\) with Eq. (125) are found as minimal ideals when a complex diagonal is added to the scalars
One may anticipate that the vector, spinor, and conjugate spinor representations can be embedded in the three independent off-diagonal components of \(\mathbb {C}\otimes J_{3}(\mathbb {H})\), but this is left for future work.
5 Projective lines over \(\mathbb {C}\otimes \mathbb {O}\) via \(\mathbb {C}\otimes J_{2}(\mathbb {O})\)
5.1 Minimal left ideals of \(\mathbb {C}l(6)\) via chain algebra \(\mathbb {C}\otimes \overleftarrow{\mathbb {O}}\)
To establish our conventions for octonions, we review the complexification of the octonionic chain algebra applied to raising and lowering operators for \(SU(3)_{c}\times U(1)_{em}\) fermionic charge states [22, 24]. For \(\mathbb {C}\otimes \mathbb {O}\), we use I and \(e_{i}\) for \(i=1,\ldots ,7\) as the imaginary units. To convert from Furey’s octonionic basis to ours, take \(\left\{ e_{1},e_{2},e_{3},e_{4},e_{5},e_{6},e_{7}\right\} \rightarrow \) \(\left\{ e_{2},e_{3},e_{6},e_{1},e_{5},e_{7},-e_{4}\right\} \). A system of ladder operators was constructed from the complexification of the octonionic chain algebra \(\mathbb {C}\otimes \overleftarrow{\mathbb {O}}\cong \mathbb {C}l(6)\), which allows contact with \(SU(3)_{c}\times U(1)_{em}\) [25]. Due to the nonassociative nature of the octonions, the following association of multiplication is always assumed, where an arbitrary element \(f\in \mathbb {C}\otimes \mathbb {O}\) must be considered,
If \(a^{*}\) refers to complex conjugation and \(\tilde{a}\) refers to octonionic conjugation, denote \(a^{\dagger }=\tilde{a}^{*}\) as the Hermitian conjugate only when acting on \(a\in \mathbb {C}\otimes \mathbb {O}\).
Our basis of raising and lowering operators is chosen as
With this basis, we explicitly confirmed in Mathematica that the following relations hold,
It was also confirmed that \(\left\{ \alpha _{i}^{*},\tilde{\alpha }_{j}\right\} =\delta _{ij}\). For later convenience, a leptonic sector of operators is also introduced as
Due to the non-associativity of octonions, acting from the left once does not span all of the possible transformations, which motivates nested multiplication. This naturally motivates \(\mathbb {C}\otimes \overleftarrow{\mathbb {O}}\) as the octonionic chain algebra corresponding to \(\mathbb {C}l(6)\). This chooses \(-e_{4}\) as a pseudoscalar, such that the k-vector decomposition of \(\mathbb {C}l(6)\) is spanned by 1-vectors \(\left\{ Ie_{2},Ie_{3},Ie_{6},Ie_{1},Ie_{5},Ie_{7}\right\} \).
Next, a nilpotent object \(\omega =\alpha _{1}\alpha _{2}\alpha _{3}\) is introduced, where the parentheses of the chain algebra mentioned above is assumed below. The Hermitian conjugate is \(\omega ^{\dagger }=\alpha _{3}^{\dagger }\alpha _{2}^{\dagger }\alpha _{1}^{\dagger }\). The state \(v_{c}=\omega \omega ^{\dagger }\) is considered roughly as a vacuum state (perhaps renormalized with weak isospin up), since \(\alpha _{i}\omega \omega ^{\dagger }=0\). Fermionic charge states of isospin up are identified as minimal left ideals via
where \(\nu ,\bar{d}^{i},u^{i}\), and \(\bar{e}\) are complex coefficients. The weak isospin down states are found by building off of \(v_{c}^{*}=\omega ^{\dagger }\omega \), giving
These algebraic operators represent charge states associated with one generation of the Standard Model with reference to \(SU(3)_{c}\times U(1)_{em}\).
A notion of Pauli’s exclusion principle is found, since the following relations hold,
The above equations imply that it is impossible to create two identical fermionic states.
As implied, the three raising/lowering operators are associated with three color charges. Furey also demonstrated that the electric charge is associated with the mean of the number operators \(N_{i}=\alpha _{i}^{\dagger }\alpha _{i}\) [25]. To obtain spinors associated with these charge configurations, Furey advocates for \((\mathbb {C}\otimes \mathbb {H})\otimes _{\mathbb {C}}(\mathbb {C}\otimes \mathbb {O})=\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\). Before reviewing this procedure, we first generalize the results of \(\mathbb {C}\otimes \mathbb {O}\) to \(\mathbb {C}\otimes J_{2}(\mathbb {O})\).
5.2 Uplift of \(\mathbb {C}l(6)\) in \(\mathbb {C}\otimes \overleftarrow{J_{2}(\mathbb {O})}\)
Next, the analogous raising and lowering operators associated with one generation of the Standard Model are constructed with elements of \(\mathbb {C}\otimes \overleftarrow{J_{2}(\mathbb {O})}\). Our guiding principle is to take elements of \(\mathbb {C}\otimes \mathbb {O}\), place them on the upper off-diagonal component of \(\mathbb {C}\otimes \overleftarrow{J_{2}(\mathbb {O})}\), and add the Hermitian octonionic conjugate. We seek a new generalized multiplication that implements the same particle dynamics as \(\mathbb {C}\otimes \overleftarrow{\mathbb {O}}\). For concreteness, consider \(J_{f}\) as an arbitrary element of \(\mathbb {C}\otimes J_{2}(\mathbb {O})\),
where \(f_{i}=f_{i,0}+If_{i,1}\) for \(i=0,1,\ldots ,9\).
The Jordan product is utilized to restore elements of \(\mathbb {C}\otimes J_{2}(\mathbb {O})\). However, this conflicts with left multiplication utilized in the chain algebra \(\mathbb {C}\otimes \overleftarrow{\mathbb {O}}\). The natural multiplication for \(\mathbb {C}\otimes \overleftarrow{J_{2}(\mathbb {O})}\) used throughout uses a nested commutator of Jordan products,
where \(J_{1},J_{2}\in \mathbb {C}\otimes J_{2}(\mathbb {O})\) as arbitrary elements. Rather than having a single element of \(\mathbb {C}\otimes J_{2}(\mathbb {O})\) to implement \(\alpha _{i}\) and \(\alpha _{j}^{\dagger }\), the multiplication above is utilized. The following \(\mathbb {C}\otimes \mathbb {O}\) variables are first uplifted to elements of \(\mathbb {C}\otimes J_{2}(\mathbb {O})\),
where \(\alpha _{0}=-e_{4}+I\) was introduced for later convenience. We also introduce \(J_{I\alpha _{i}}=IJ_{\alpha _{i}}\) as a shorthand.
These matrices allow for the following nested multiplications to mimic the action of \(\alpha _{i}\) and \(\alpha _{j}^{\dagger }\),
The following anticommutation relations were explicitly verified,
where \(J_{f}^{\text {off }}\) contains only the off-diagonal components of \(J_{f}\). This suffices to generalize the fermionic degrees of freedom from \(\mathbb {C}\otimes \mathbb {O}\) since they are uplifted to the off-diagonals of \(\mathbb {C}\otimes J_{2}(\mathbb {O})\).
As an abuse of notation, \(m_{\alpha _{i}}m_{\alpha _{j}}\) is shorthand for \(m_{\alpha _{i}} \left( m_{\alpha _{j}}\left( J_{f}\right) \right) \). The nilpotent operator of \(\mathbb {C}\otimes \overleftarrow{J_{2}(\mathbb {O})}\) is given by \(m_{\omega }\),
One may verify that \(m_{\omega }m_{\omega }=m_{\omega ^{\dagger }}m_{\omega ^{\dagger }}=0\), while \(m_{\omega }m_{\omega ^{\dagger }}\) acts on \(J_{f}\) to give a generalized minimal ideal of \(\mathbb {C}\otimes \overleftarrow{J_{2}(\mathbb {O})}\),
where f is the upper-right component of \(J_{f}\) and \(\left( \omega \omega ^{\dagger }f\right) ^{*\dagger }\) is a shorthand for the octonionic conjugate. This allows for the assignment of a neutrino “vacuum” state, which allows for the following assignments of particles,
and
In summary, the collection of weak-isospin up and down states are
where \(\nu ,\bar{d}^{r}\), etc. are complex coefficients.
6 Projective lines over \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\)
6.1 One generation from \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\)
Furey provided a formulation of the electroweak sector [26], which led to the Standard Model embedded in SU(5) and allows for \(U(1)_{B-L}\) symmetry [28, 31]. The construction relies on identifying \(\mathbb {C}l(10)=\mathbb {C}l(6)\otimes _{\mathbb {C}}\mathbb {C}l(4)\), which can be found from a double-sided chain algebra over \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\). For instance, the left- and right-chiral spinors can be brought together via \(\psi _{D}=\psi _{R}+\psi _{L}\) with the gamma matrices implemented as
where a|b acting on z is azb, which is well-defined when \((az)b=a(zb)\). This allows for left and right action of \(\mathbb {C}\otimes \mathbb {H}\) to give \(\mathbb {C}l(4)=\mathbb {C}l(2)\otimes _{\mathbb {C}}\mathbb {C}l(2)\). This idea can be taken further to give \(\mathbb {C}l(10)\) to identify Spin(10) and make contact with \(SU(3)\times SU(2)\times U(1)\) for the Standard Model. In this manner, \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) allows for Spin(10) to act from the left. While the full \(\mathbb {C}l(4)\) spacetime algebra cannot be found, the remaining right action remarkably picks out \(SL(2,\mathbb {C})\) as \(SU(2)_{\mathbb {C}}\).
A collection of left-chiral Weyl spinors in the \((\textbf{2},\textbf{1},\textbf{16})\) representation of \(SL(2,\mathbb {C})\times Spin(10)\) also contains degrees of freedom for right-chiral antiparticles with opposite charges via \((\textbf{1},\textbf{2},\overline{\textbf{16}})\), which leads to a physicist’s convention to ignore writing down the conjugate representation. Each of the 16 Weyl spinors is an element of \(\mathbb {C}^{2}\). When working with \(\mathbb {C}\otimes \mathbb {H}\otimes \overleftarrow{\mathbb {O}}\), there are no two-component vectors, so it is necessary to find two copies of \(\textbf{16}\). When Furey explored \(\mathbb {C}l(10)\) from \(\mathbb {C}\otimes \mathbb {H}\otimes \overleftarrow{\mathbb {O}}\), a \(\textbf{16}\) with its conjugate representation was found, instead of two \(\textbf{16}\)’s to give \((\textbf{2},\textbf{1},\textbf{16})\) for a single generation of Standard Model fermions. This led to the so-called fermion doubling problem.
Recent work by Furey and Hughes introduced fermions in the non-associative \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) algebra to solve this fermion doubling problem, which can be resolved by taking a slightly different route to Spin(10), rather than taking bivectors of \(\mathbb {C}l(10)\) [29]. Instead, consider the following generalization of Pauli matrices,
where \(i=1,\dots ,7\) and \(\{\sigma _{i},\sigma _{8},\sigma _{9}\}\) allow for a basis of \(\mathbb {C}l(9)\). The ten “generators” \(\sigma _{I}\) for \(I=1,\dots ,10\) lead to transformations on f via
where \(\bar{\sigma }_{a}=-\sigma _{a}\) for \(a=1,\dots ,9\) and \(\bar{\sigma }_{10}=\sigma _{10}\). This allows for Spin(10) to act on a Weyl spinor in the \(\textbf{16}\) representation instead of two 1-component objects of \(\textbf{16}\oplus \overline{\textbf{16}}\) to resolve the fermion doubling problem.
With \(\alpha _{\mu }=(Il^{*},q_{1},q_{2},q_{3})\) and \(\alpha _{\mu }^{*}=(-Il,q_{1}^{*},q_{2}^{*},q_{3}^{*})\) for \(\mu =0,1,2,3\) as an electrostrong sector and \(\epsilon _{\alpha \beta }\) with \(\alpha =\uparrow ,\downarrow \) as an electroweak sector, the non-associative algebra \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) can be used to implement particle states for a single generation of the Standard Model fermions. We specify the particle states by using the notation and assignments recently introduced by Furey and Hughes in their solution to the fermion doubling problem [29], namely
The coefficients such as \(\mathcal {V}_{L}^{\uparrow }\) are complex.
In our conventions, the SU(3) Gell-Mann matrices are represented as elements of \(\mathbb {C}\otimes \overleftarrow{\mathbb {O}}\) given by
where \(e_{ij}f\) stands for \(e_{i}(e_{j}f)\). For the electroweak sector with \(SU(2)\times U(1)\) symmetry, the SU(2) generators are represented in terms of imaginary quaternions and a weak isospin projector \(s=(1-Ie_{4})/2\),
The weak hypercharge is given by
Note that all operators from \(SU(3)\times SU(2)\times U(1)\) are elements of \(\mathbb {C}\otimes \mathbb {H}\otimes \overleftarrow{\mathbb {O}}\) and act from the left. The electric charge operator Q is
By separating \(\psi \) into \(\psi _{l}+\psi _{q}+\psi _{\nu }^{c}+\psi _{e}^{c}+\psi _{u}^{c}+\psi _{d}^{c}\), the following fields are found to correspond to the appropriate representations of the Standard Model,
where we confirmed that the above states have the appropriate weak hypercharge values as well as weak isospin and electric charges. Note that complex conjugation leads to the appropriate conjugate states, which turns left(right)-chiral particles into right(left)-chiral anti-particles. Finally, the largest algebra commuting with \(\mathfrak {so}_{10}\) derived from \(\mathbb {C}\otimes \mathbb {H}\otimes \overleftrightarrow {\mathbb {O}}\) when considering action from the left and right is given by \(\mathfrak {sl}_{2,\mathbb {C}}\), which are generated by \(\{1|i,1|j,1|k,1|Ii,1|Ij,1|Ik\}\).
6.2 Uplift to \(\mathbb {C}\otimes \mathbb {H}\otimes J_{2}(\mathbb {O})\)
To uplift the physics of \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) to \(\mathbb {C}\otimes \mathbb {H}\otimes J_{2}(\mathbb {O})\), we start by considering \(f\in \mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) uplifted to an off-diagonal matrix \(J_{f}^{\text {off}}\in \mathbb {C}\otimes \mathbb {H}\otimes J_{2}(\mathbb {O})\). Our first goal is to understand how to implement left multiplication of \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) basis elements on f by the analogous construction in \(\mathbb {C}\otimes \mathbb {H}\otimes J_{2}(\mathbb {O})\) acting on \(J_{f}^{\text {off}}\), where
For \(\mathbb {C}\otimes \mathbb {H}\) bases, these can be implemented by mapping the basis elements to the same elements times the identity matrix. The same cannot be done for \(\mathbb {O}\), as the elements \(e_{i}\) must map to \(J_{2}(\mathbb {O})\) via the eight off-diagonal octonionic Pauli matrices \(J_{e_{i}}\),
To understand how to multiply f from the left by \(e_{i}\) generalized to \(\mathbb {C}\otimes \mathbb {H}\otimes J_{2}(\mathbb {O})\), the Fano plane is crucial. A single octonionic unit can always be implemented by multiplying by two units in four different ways. For instance, \(e_{1}=e_{1}1=e_{2}e_{3}=e_{4}e_{5}=e_{7}e_{6}\). If \(e_{1}f\) is uplifted to \(J_{e_{1}f}^{\text {off}}\), by recalling the definition (137) of nested commutator of Jordan products, a generalized multiplication rule can be found to give \(J_{e_{1}f}^{\text {off}}\) from \(J_{f}^{\text {off}}\),
Above, \(J_1\) represents the uplift of 1 to the real traceless symmetric \(2\times 2\) matrix, not an arbitrary element. Even though we are implementing octonionic multiplication, the above relations hold for \(f\in \mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\). This allows for a representation of the Gell-Mann matrices in terms of elements of \(\mathbb {C}\otimes \mathbb {H}\otimes \overleftarrow{J_{2}(\mathbb {O})}\),
where \(m_{\Lambda _{1}}(J_{f}^{\text {off}})=-\frac{I}{2}(m_{e_{6}}(m_{e_{1}}(J_{f}^{\text {off}}))-m_{e_{2}}(m_{e_{5}}(J_{f}^{\text {off}})))\) more precisely. From here, particle states associated with elements of \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) can be uplifted to \(\mathbb {C}\otimes \mathbb {H}\otimes J_{2}(\mathbb {O})\). It was confirmed that the SU(3) generators above annihilate leptons and apply color rotations to the quarks in the appropriate manner.
The same relations found in \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) for \(SU(2)\times U(1)\) generators are also found by the appropriate uplift to \(\mathbb {C}\otimes \mathbb {H}\otimes \overleftarrow{J_{2}(\mathbb {O})}\). The appropriate left action of \(g\in \mathbb {C}\otimes \mathbb {H}\) on f uplifted to \(J_{f}^{\text {off}}\) can be found simply by taking \(gJ_{f}^{\text {off}}\), since the diagonal elements of \(\mathbb {C}\otimes \mathbb {H}\otimes J_{2}(\mathbb {O})\) can contain \(\mathbb {C}\otimes \mathbb {H}\). Uplifting the generators of \(SU(2)\times U(1)\) therefore gives
where all multiplication is assumed to act from the left. Similarly, the electric charge operator becomes
The fermionic states in the \(\mathbb {C}\otimes \mathbb {H}\otimes J_{2}(\mathbb {O})\) are identified as
where in our conventions, the \(\mathbb {C}\otimes \mathbb {O}\) quantities such as l and \(q_{a}\) are uplifted explicitly to give
It was confirmed that \(m_{\tau _{11}}\), \(m_{Y}\), and \(m_{Q}\) give the appropriate eigenvalues for these states.
6.3 Uplift to \(\mathbb {O}\otimes J_{2}(\mathbb {C}\otimes \mathbb {H})\)
Next, we seek to obtain the physics of \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) by uplifting to \(\mathbb {O}\otimes J_{2}(\mathbb {C}\otimes \mathbb {H})\). The Hermitian conjugate of \(\mathbb {O}\otimes J_{2}(\mathbb {C}\otimes \mathbb {H})\) takes conjugation with respect to both \(\mathbb {C}\) and \(\mathbb {H}\). Uplifting an element \(f\in \mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) to \(J_{f}^{\text {off}}\in \mathbb {O}\otimes J_{2}(\mathbb {C}\otimes \mathbb {H})\) is given by
where \(f^{*}\) is the complex conjugate and \(\hat{f}\) is the quaternionic conjugate. Finding the corresponding left action of \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) within \(\mathbb {O}\otimes J_{2}(\mathbb {C}\otimes \mathbb {H})\) is straightforward for \(\mathbb {O}\), yet requires care with \(\mathbb {C}\otimes \mathbb {H}\).
Left multiplication of I on f uplifted to \(J_{If}^{\text {off}}\) must be implemented with the nested Jordan commutator product (137),
This holds for arbitrary elements \(f\in \mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\). The analogous relationship for imaginary quaternionic units are
The corresponding uplift of left multiplication by imaginary octonions is given by left multiplication, such that \(J_{e_{i}f}^{\text {off}}=e_{i}J_{f}^{\text {off}}\).
From here, the uplift of the fermionic states and the action of bosonic operators on the fermions is similar to the previous discussion on \(\mathbb {C}\otimes \mathbb {H}\otimes J_{2}(\mathbb {O})\). To highlight this uplift with more detail and for a specific example, consider \(\psi _{e}^{c}\) as a left-chiral positron and weak isospin singlet,
Uplifting to \(\mathbb {O}\otimes J_{2}(\mathbb {C}\otimes \mathbb {H})\) explicitly gives
The action of the Gell–Mann generators uplifted to \(\mathbb {O}\otimes J_{2}(\mathbb {C}\otimes \mathbb {H})\) is
The electroweak generators are given by
where
The electric charge operator is given by
The action of these generators leads to the expected results when acting on \(J_{\psi _{\nu }^{c}}\). For instance, all of the SU(3) generators vanish and \(J_{\psi _{\nu }^{c}}\) is an eigenstate of \(m_{\tau _{11}}\) and \(m_{Y}\),
where 1 is found as an eigenvalue for electric charge and weak hypercharge with the left-chiral positron.
6.4 Uplift to \(\mathbb {C}\otimes \mathbb {O}\otimes J_{2}(\mathbb {H})\)
Finally, the physics of \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) is uplifted to \(\mathbb {C}\otimes \mathbb {O}\otimes J_{2}(\mathbb {H})\). Uplifting an element \(f\in \mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) to \(J_{f}^{\text {off}}\in \mathbb {C}\otimes \mathbb {O}\otimes J_{2}(\mathbb {H})\) is given by
where, as above, \(\hat{f}\) denotes the quaternionic conjugation of f. From here, it is clear that the uplift of left multiplication by imaginary quaternionic units is identical to Eq. (165). Less care is needed with the complex numbers and octonions, as they are on the diagonals of \(\mathbb {C}\otimes \mathbb {O}\otimes J_{2}(\mathbb {H})\).
The action of the Gell–Mann generators uplifted to \(\mathbb {C}\otimes \mathbb {O}\otimes J_{2}(\mathbb {H})\) is identical to Eq. (150). The electroweak generators are given by
The electric charge operator is given by
The fermions of \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) can be uplifted to \(\mathbb {C}\otimes \mathbb {O}\otimes J_{2}(\mathbb {H})\) via Eq. (173) and the generators shown above can be found to act appropriately on the fermionic states.
7 Conclusions
In this work, we showed how to construct three homogeneous spaces that, following Rosenfeld’s interpretation of the Magic Square, correspond to his “generalized” projective lines over the Dixon algebra, \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\). Such spaces are obtained from three non-simple Lie algebras obtained from Tits’ construction for the Freudenthal Magic Square. The quotient space of these isometry groups modded out by derivations lead to \(\mathbb {C}\otimes \mathbb {H}\otimes J_{2}\left( \mathbb {O}\right) \), \(\mathbb {O}\otimes J_{2}\left( \mathbb {C}\otimes \mathbb {H}\right) \), and \(\mathbb {C}\otimes \mathbb {O}\otimes J_{2}\left( \mathbb {H}\right) \), which contains the three newly found Dixon-Rosenfeld projective lines. The physics of \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) can be uplifted to each of these extended Jordan algebras and the generators of \(SU(3)\times SU(2)\times U(1)\) for the Standard Model can be uplifted into a (nested) chain algebra over \(\overleftarrow{\mathbb {C}\otimes \mathbb {H}\otimes J_{2}\left( \mathbb {O}\right) }\), \(\overleftarrow{\mathbb {O}\otimes J_{2}\left( \mathbb {C}\otimes \mathbb {H}\right) }\), and \(\overleftarrow{\mathbb {C}\otimes \mathbb {O}\otimes J_{2}\left( \mathbb {H}\right) }\). We provided explicit states for one generation of fermions in the standard model within these projective lines, including operators for gauge boson interactions and identification of charges.
While non-simple Lie algebras were found from the Dixon-Rosenfeld projective lines and one generation of the Standard Model fermions were embedded into these projective lines, further work is needed to see if the appropriate representations of the Standard Model are contained within the corresponding isometry groups. For instance, while the bosonic interactions with fermions were demonstrated to be in the chain algebras over division algebras tensored with Jordan algebras and various \(SU(3)\times SU(2)\times U(1)\) groups can be found in the derivation groups, the representations with respect to these groups do not isolate the Standard Model fermionic representations and charges. This is similar to how Spin(9), \(SU(3)\times SU(3)\), and \(F_{4}\) are not GUT groups, but the octonions and \(F_{4}\) have been used to encode Standard Model fermions [35, 48, 49].
It appears that the Freudenthal–Tits formula should work for \(\mathbb {A}=\mathbb {O}\) and \(\mathbb {B} = \mathbb {C}\otimes \mathbb {H}\) to give a Lie algebra \(\mathfrak {a}_{II}\). However, there is not a single formula for the \(2\times 2\) case, as setting \(\mathbb {A}=\mathbb {O}\) already leads to a difference. Here, we articulated the structure of \(J_2(\mathbb {C}\otimes \mathbb {H})\) and found \(\mathfrak {der}(J_2(\mathbb {C}\otimes \mathbb {H}))\). However, applying the \(2\times 2\) analogue of the Freudenthal–Tits construction did not lead to the anticipated representations of \(\mathbb {T}\) with respect to \(\mathfrak {der}(\mathbb {T})\). To further complicate matters, it is known that \(\mathbb {C}\otimes \mathbb {H}\) can lead to multiple representations. For now, we merely claim that some non-simple Lie algebra \(\mathfrak {a}_{II}\) exists that contains at least 120 dimensions. By exploring the \(3\times 3\) case in future work, we hope to gain a further understanding of the true definition of \(\mathfrak {a}_{II}\).
Additional work is needed to see if other subalgebras of these non-simple Lie algebras exist that can isolate the appropriate representation theory for the Standard Model. Otherwise, chain algebras such as \(\overleftarrow{\mathbb {A}\otimes J_{2}(\mathbb {B})}\) may lead to Clifford algebras that would be large enough to contain the Standard Model gauge group, just as \(\mathbb {C}\otimes \mathbb {H}\otimes \overleftarrow{\mathbb {O}}\) can lead to Cl(10). In future work, we seek to investigate the notion of Dixon-Rosenfeld projective planes to see if this may provide applications for three generations of the Standard Model fermions with \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\). Interactions with the Higgs boson would also be worth exploring, which has been discussed recently [30].
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a theoretical study without experimental data. Mathematica code is available upon request from the Authors.]
Notes
While Gürsey and Günaydin explored the use of split octonions \(\mathbb {O}_s\) for quarks, Furey clarified how \(\mathbb {C}\otimes \mathbb {O}\) leads to quarks and leptons [22], which contains both \(\mathbb {O}\) and \(\mathbb {O}_s\) as subalgebras. QCD gauges the compact SU(3), which is a maximal subgroup of the automorphism group over the octonions \(\text{ Aut }(\mathbb {O})=G_{2}\).
We excluded on purpose the cases where the involution on Hermitian matrices does not involve whole blocks of imaginary units in the algebra, giving rise to \(\mathbb {C}\otimes J_{2}(\mathbb {O})\) and \(\mathbb {O}\otimes J_{2}( \mathbb {C})\), for which the analogy with Rosenfeld construction does not hold. Alternatively, one might consider an involution given by the composition of the conjugation of \(\mathbb {C}\) and the conjugation of \(\mathbb {O}\), or also an involution flipping all imaginary units of \(\mathbb {C}\otimes \mathbb {O}\); while the former yields to non-real diagonal elements of the corresponding Hermitian \(2\times 2\) matrices over \(\mathbb {C}\otimes \mathbb {O}\), the latter has real diagonal elements. However, we checked that in both cases the resulting rank-2 Hermitian matrices do not form a Jordan algebra satisfying the Jordan identity.
Despite this, such diagonal elements do not belong to \(\mathbb {H}_{s}\), because the composite imaginary units Ii, Ij, Ik are not a basis for \( \mathbb {H}_{s}^{\prime }\).
(41) resp. (42) can be obtained from (44) resp. (45) by observing that \(\mathfrak {der} \left( \mathbb {C}\otimes \mathbb {H}\right) \simeq \mathfrak {su}_{2}\) (26) is a diagonal subalgebra of \(\mathfrak {der}\left( J_{2}(\mathbb {C} \otimes \mathbb {H})\right) \simeq \mathfrak {so}_{6}\) (43) obtained by the following chain of maximal and symmetric embeddings: \(\mathfrak {so} _{6}\simeq \mathfrak {su}_{4}\rightarrow \mathfrak {so}_{4}\simeq \mathfrak {su} _{2}\oplus \mathfrak {su}_{2}\overset{d}{\rightarrow }\mathfrak {su}_{2}\).
A further \(\left( \textbf{1}\textbf{3}\right) \)-generator would be needed in the r.h.s. of (51).
References
M. Atiyah, J. Berndt, Projective planes, Severi varieties and spheres. Surv. Differ. Geom. 8, 1–27 (2003)
K. Atsuyama, Another construction of real simple Lie algebras. Kodai Math. J. Tome 6(1), 122–133 (1983)
K. Atsuyama, Projective spaces in a wider sense. II. Kodai Math. J. 20(1), 41–52 (1997)
J.C. Baez, The octonions (Bull. Amer. Math, Soc, 2002), p. 39
J. Baez, J. Huerta, Division Algebras and Supersymmetry I (Proc. Symp, Pure Maths, 2009), p. 81
C.H. Barton, A. Sudbery, Magic squares and matrix models of Lie algebras. Adv. Math. 180(2), 596–647 (2003). (math/0203010 [math.RA]. See also: C.H. Barton, A. Sudbery, Magic Squares of Lie Algebras, math/0001083 [math.RA])
C. Castro Perelman, RCHO-valued gravity as a grand unified field theory. Adv. Appl. Clifford Algebras 29(1), 22 (2019)
C. Castro Perelman, On CHO-valued gravity, sedenions, hermitian matrix geometry and nonsymmetric Kaluza–Klein theory. Adv. Appl. Clifford Algebras 29(3), 58 (2019)
P.C. Castro, On Jordan–Clifford algebras, three fermion generations with Higgs fields and a \({\rm SU}(3)\times {\rm SU}(2)_{L}\times {\rm SU}(2)_{R}\times {\rm U}(1)\) model. Adv. Appl. Clifford Algebras 31(3), 53 (2021)
A. Conway, Quaternion treatment of relativistic wave equation. Proc. R. Soc. Lond. Ser. A Math. Phys. Sci. 162(909), 1 (1937)
D. Corradetti, A. Marrani, D. Chester, R. Aschheim, Octonionic Planes and Real Forms of \(G_{2}\), \(F_{4}\) and \(E_{6}\). Geom. Integr. Quantization 23, 1–18 (2022)
D. Corradetti, A. Marrani, D. Chester, R Aschheim, Conjugation Matters. Bioctonionic Veronese Vectors and Cayley-Rosenfeld Planes (2022). arXiv:2202.02050
G.M. Dixon, Algebraic unification. Phys. Rev. D 28, 833 (1983)
G.M. Dixon, Algebraic unification: fermionic substructure of space-time, particle spectrum, and weak mixing. Phys. Rev. D 29, 1276 (1984)
G.M. Dixon, A family dependent U(1) charge in algebraic unification. Phys. Lett. B 152, 343 (1985)
G.M. Dixon, Derivation of the Standard Model. Il Nuovo Cim. B 105, 349 (1990)
G.M. Dixon, Division Algebras: Octonions, Quaternions, Complex Numbers and the Algebraic Design of Physics (Kluwer Academic Publishers, Amsterdam, 1994)
A. Elduque, The magic square and symmetric compositions. Rev. Mat. Iberoam. 20(2), 475–491 (2004)
A. Elduque, Composition algebras, in Algebra and Applications I: Non-associative Algebras and Categories, Chapter 2, ed. by A. Makhlouf (Sciences-Mathematics, ISTE-Wiley, London 2021), p. 27–57
P. Fre, A. Fedotov, Groups and Manifolds: Lectures for Physicists with Examples in Mathematica (De Gruyter, Boston, 2017), pp.323–350
H. Freudenthal, Lie groups in the foundations of geometry. Adv. Math. 1, 145–190 (1965)
C. Furey, Unified theory of ideals. Phys. Rev. D 86, 025024 (2012)
C. Furey, Generations: three prints, in colour. JHEP 10, 046 (2014)
C. Furey, Standard Model physics from an algebra? Ph.D. thesis (University of Waterloo, 2015)
C. Furey, Charge quantization from a number operator. Phys. Lett. B 742, 195–199 (2015)
C. Furey, A demonstration that electroweak theory can violate parity automatically (leptonic case). Int. J. Mod. Phys. A 33(4), 1830005 (2018)
C. Furey, Three generations, two unbroken gauge symmetries, and one eight-dimensional algebra. Phys. Lett. B 785, 84–89 (2018)
C. Furey, \(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. Eur. Phys. J. C 78(5), 375 (2018)
N. Furey, M.J. Hughes, One generation of Standard Model Weyl representations as a single copy of \(R\otimes C\otimes H\otimes O\). Phys. Lett. B 827, 136959 (2022)
N. Furey, M.J. Hughes, Division algebraic symmetry breaking. Phys. Lett. B 831, 137186 (2022)
N. Gresnigt, The Standard Model particle content with complete gauge symmetries from the minimal ideals of two Clifford algebras. Eur. Phys. J. C 80(6), 583 (2020)
M. Günaydin, F. Gürsey, Quark structure and the octonions. J. Math. Phys. 14(11), 1 (1973)
M. Günaydin, octonionic Hilbert spaces, the Poincaré group and SU(3). J. Math. Phys. 17, 1875 (1976)
A. Hurwitz, Über die Composition der quadratischen Formen von beliebig vielen Variabeln, Nachr. Ges. Wiss. Göttingen (1898), p. 309–316
K. Krasnov, SO(9) characterization of the Standard Model gauge group. J. Math. Phys. 62(2), 021703 (2021). https://doi.org/10.1063/5.0039941. arXiv:1912.11282 [hep-th]
J. Landsberg, L. Manivel, The projective geometry of Freudenthal’s magic square. J. Algebra 239(2), 477–512 (2001)
C.A. Manogue, T. Dray, Octonions, E6, and particle physics. J. Phys. Conf. Ser. 254, 012005 (2010)
A. Marrani, D. Corradetti, D. Chester, R. Aschheim, K. Irwin, A magic approach to octonionic Rosenfeld spaces (2022). arXiv:2212.06426
N. Masi, An exceptional G(2) extension of the Standard Model from the correspondence with Cayley–Dickson algebras automorphism groups. Sci. Rep. 11, 22528 (2021). https://doi.org/10.1038/s41598-021-01814-1
T. Nagano, M. Sumi, The spheres in symmetric spaces. Hokkaido Math. J. 20(2), 331–352 (1991)
B.A. Rosenfeld, Spaces with exceptional fundamental groups. Publ. Inst. Math. Nouvelle série Tome 54(68), 97–119 (1993)
B.A. Rosenfeld, Geometry of Lie Groups (Kluwer, Amsterdam, 1997)
B.A. Rosenfeld, Geometry of planes over nonassociative algebras. Acta Appl. Math. 50, 103–110 (1998)
R. Schafer, An Introduction to Nonassociative Algebras (Academic Press, Cambridge, 1966). (OCLC: 316573393)
M. Santander, F. Herranz, ‘Cayley–Klein’ schemes for real Lie algebras and Freudhental magic squares, in Group21. Physical Applications and Mathematical Aspects of Geometry, Groups and Algebras, vol. I, ed. by H.D. Doebner, P. Nattermann, W. Scherer, (World Scientific, Singapore, 1997), p. 151–156
J. Tits, Algèbres alternatives, algèbres de Jordan et algèbres de Lie exceptionnelles. Indag. Math. 28, 223–237 (1966)
I. Todorov, M. Dubois-Violette, Deducing the symmetry of the Standard Model from the automorphism and structure groups of the exceptional Jordan algebra Int. J. Mod. Phys. A 33(20), 1850118 (2018)
I. Todorov, S. Drenska, Octonions, exceptional Jordan algebra and the role of the group \(F_{4}\) in particle physics. Adv. Appl. Clifford Algebras 28(4), 82 (2018). https://doi.org/10.1007/s00006-018-0899-y. arXiv:1805.06739 [hep-th]
I. Todorov, Exceptional quantum algebra for the Standard Model of particle physics. Springer Proc. Math. Stat. 335, 29–52 (2019). https://doi.org/10.1007/978-981-15-7775-8_3. arXiv:1911.13124 [hep-th]
E.B. Vinberg, A construction of exceptional Lie groups (Russian). Tr. Semin. Vek Torn. Tensorn. Anal. 13, 7–9 (1966)
Acknowledgements
Thanks to Cohl Furey for countless helpful discussions related to \(\mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) and Mia Hughes for additional support. Thanks to Richard Clawson, Dugan Hammock, and Garrett Lisi for discussions on Clifford algebras and minimal ideals. The work of D. Corradetti is supported by a grant of the Quantum Gravity Research Institute. The work of AM is supported by a “Maria Zambrano” distinguished researcher fellowship, financed by the European Union within the NextGenerationEU program.
Author information
Authors and Affiliations
Corresponding authors
Appendices
Appendix A: \(J_2(\mathbb {C}\otimes \mathbb {H})\) as \(4\times 4\) complex matrices
The Jordan algebra \(J_2(\mathbb {C}\otimes \mathbb {H})\) is 16-dimensional and can be expressed in terms of a set of matrices in \(M_4(\mathbb {C})\). We review this isomorphism and determine the action of the double conjugation with respect to \(\mathbb {C}\) and \(\mathbb {H}\) in the language of \(4\times 4\) complex matrices. Before introducing \(J_2(\mathbb {C}\otimes \mathbb {H})\), we first clarify how the double conjugation of \(\mathbb {C}\otimes \mathbb {H}\) with respect to \(\mathbb {C}\) and \(\mathbb {H}\) leads to a 4-dimensional element and specify how this maps into the isomorphism with \(M_2(\mathbb {C})\).
First, \(f \in \mathbb {C}\otimes \mathbb {H}\) is recast in \(\mathcal {M}(f) \in M_2(\mathbb {C})\) by the following isomorphism, using our notation of (29) and (118):
Next, we clarify how double conjugation of \(\mathbb {C}\otimes \mathbb {H}\) maps into \(M_2(\mathbb {C})\),
As shown above, \(\hat{f}^* \cong \overline{\mathcal {M}(f)}^\top \).
By using the conventions of conjugation as shown in Eqs. (115) and (116), we find a “real” element of 4 dimensions by
A 16-dim representation of \(X \in J_{2}\left( \mathbb {C}\otimes \mathbb {H}\right) \) is built as a Hermitian block-matrix in \(\mathcal {M}(X) \in M_4(\mathbb {C})\),
where r and s real with respect to the double conjugation on \(\mathbb {C}\otimes \mathbb {H}\), leading to r and s as 4-dimensional elements spanning \(\{1, Ii, Ij, Ik\}\) with \(\mathcal {M}(r) = \left( \begin{array}{cc} r_{1,1}-r_{2,2} &{} -r_{4,2}+i r_{3,2}\\ -r_{4,2}-i r_{3,2} &{} r_{1,1}+r_{2,2} \end{array}\right) \) \( \in H_2(\mathbb {C})\), while \(\mathcal {M}(f) \in M_2(\mathbb {C})\). As such, we refer to X as X(r, s, f).
Appendix B: Demonstration of \(\mathfrak {der}\left( J_{2}\left( \mathbb {C}\otimes \mathbb {H}\right) \right) \cong \mathfrak {su(4)}\)
The derivation of an alternative algebra is defined ([44] page 77) as a Bracket algebra satisfying the Leibniz rule, and a theorem shows it is of the form
When the Jordan algebra is not only alternative but is commutative, \(L_X = R_X\) and the inner derivations are ([44] page 92)
A derivation parameterized by X and Y applied to an element \(Z \in J_{2}\left( \mathbb {C}\otimes \mathbb {H}\right) \) gives
where [X, Z, Y] is the Jordan associator, sandwiching Z between X and Y.
A pair X,\(Y \in J_{2}\left( \mathbb {C}\otimes \mathbb {H}\right) \) elements: \(X(r,s,f)\cong \mathcal {M}\left( \left( \begin{array}{cc} r &{} f\\ \hat{f}^* &{} s \\ \end{array}\right) \right) \) and \(Y(R,S,F) \cong \mathcal {M}\left( \left( \begin{array}{cc} R &{} F\\ \hat{F}^* &{} S \\ \end{array}\right) \right) \) is bracketed by a commutator to give an anti-hermitian matrix in \(M_4(\mathbb {C})\). Though, (182) is rewritten from note (2) page 7 and introducing i two times, the derivation becomes a bracket commutator between Hermitian matrices, and \(\mathfrak {der}\left( J_{2}\left( \mathbb {C}\otimes \mathbb {H}\right) \right) \) is represented by the Hermitian matrix \(\delta \),
Next, consider the embedding of \(J_2(\mathbb {C}\otimes \mathbb {H})\) in \(M_4(\mathbb {C})\) to find the commutator of two elements, defined below as block matrices using (179):
The commutator of these two matrices leads to
The block \(2\times 2\) matrices are given by
The solution for the matrix components above are found by plugging Eq. (184) into Eq. (185) to give
where the solutions to the other six \(\phi _{i,j}\) can be found similarly.
Next, consider the trace of this \(4\times 4\) matrix \(\mathcal {M}(\delta )\) by considering the traces of \(\mathcal {M}(\rho )\) and \(\mathcal {M}(\sigma )\),
Since \(\text{ Tr }(\mathcal {M}(\delta )) = \text{ Tr }(\mathcal {M}(\rho ))+ \text{ Tr }(\mathcal {M}(\sigma )) = 0\), it is derived that the \(4\times 4\) matrices are traceless. While \(\rho _{i,j}\), \(\sigma _{i,j}\), and \(\tau _{i,j}\) lead to 16 degrees of freedom, since \(\rho _{1,1} = -\sigma _{1,1}\), there are 15 linearly independent elements, which form a basis for the Hermitian traceless generators of \(\mathfrak {su}_4\),
Next, we demonstrate that a collection of matrices \(X_a\) and \(Y_b\) lead to \(L_{A} \rightarrow L_{a,b} =\frac{i}{2}[X_a, Y_b]\). While there is not a unique set of matrices, we found a small collection of \(X_a\) for \(a=1,\dots ,4\) and \(Y_b\) for \(b=1,\dots 12\) that lead to the 15 generators \(L_A\). \(X_a\) are given by
12 elements \(Y_1\) to \(Y_{12}\) in \(J_{2}\left( \mathbb {C}\otimes \mathbb {H}\right) \) are given by
These \(Y_b\) can be combined with \(X_a\) to give the generators of \(\mathfrak {su}_4\). we build from them the 15 pairs \(L_{a,b}= \frac{i}{2}[X_a, Y_b]\) from the following index pairs \(\{a,b\}\):
The three Cartan generators of \(\mathfrak {su}_4\) are the three first expressed above, diagonal and commuting. By construction as commutators of Hermitian matrices scaled by the imaginary factor i, the matrices \(L_{a,b}\) are all Hermitian, and span at most the 16-dimensional space \(\mathfrak {u}_4\), but from the property that \(\rho _{1,1}+\sigma _{1,1}=0\) and that \(\mathcal {M}(\delta )\) is traceless, the non-traceless generator of \(\mathfrak {u_4}\) can not be obtained as a derivation \(L_{a,b}\), and therefore the derivation of \(J_{2}\left( \mathbb {C}\otimes \mathbb {H}\right) \) is \(\mathfrak {su}_4\).
Appendix C: Demonstration that the algebra \(\mathfrak {a}_{II}\) given by Tits’ formula does not contain the Dixon algebra \(\mathbb {T}\) with a \(\textbf{3}\) representation of \(\mathfrak {der}(\mathbb {H})\)
Theorem
The algebra \(\mathfrak {a}_{II}\) given by Tits’ formula does not contain the Dixon algebra \(\mathbb {T}= \mathbb {C}\otimes \mathbb {H}\otimes \mathbb {O}\) when \(\mathbb {H} \subset \mathbb {T}\) corresponds to the representations \(\textbf{3}\oplus \textbf{1}\) with respect to \(\mathfrak {der}(\mathbb {H}) = \mathfrak {su}_2\).
Proof
By applying Tits’ formula (with Barton-Sudbery’s modification), one obtains
We also recall that
Let us now find all \(\mathfrak {su}_{2}\) subalgebras of \(\mathfrak {so}_{6}\) in (194):
-
1.
$$\begin{aligned} \mathfrak {so}_{6}\rightarrow & {} \underset{\text {symm~}I\leftrightarrow II}{ \mathfrak {su}_{2,I}\oplus \mathfrak {su}_{2,II}}\rightarrow \left\{ \begin{array}{l} \mathfrak {su}_{2,I\text {~or~}II}; \\ \mathfrak {su}_{2,d}; \end{array} \right. \end{aligned}$$(196)$$\begin{aligned} \textbf{15}= & {} (\textbf{3},\textbf{1})+(\textbf{1},\textbf{3})+(\varvec{3 },\textbf{3})=\left\{ \begin{array}{l} 4\cdot \textbf{3}+3\cdot \textbf{1}; \\ \textbf{5}+3\cdot \textbf{3}+\textbf{1}; \end{array} \right. \end{aligned}$$(197)$$\begin{aligned} \textbf{4}= & {} (\textbf{2},\textbf{2})=\left\{ \begin{array}{l} 2\cdot \textbf{2}; \\ \textbf{3}+\textbf{1}, \end{array} \right. \end{aligned}$$(198)
such that (194) can be further branched as
$$\begin{aligned} \mathfrak {a}_{II}= & {} \mathfrak {g}_{2}\oplus \mathfrak {su}_{2,I}\oplus \mathfrak {su}_{2,II}\oplus (\textbf{1},\varvec{3},\textbf{3})\nonumber \\{} & {} \oplus 3\cdot \left( \textbf{7},\textbf{2,2}\right) \oplus \left( \textbf{7}, \textbf{1,1}\right) \nonumber \\= & {} \left\{ \begin{array}{l} \mathfrak {g}_{2}\oplus \mathfrak {su}_{2,I\text {~or~}II}\oplus 3\cdot ( \varvec{1},\textbf{3})\oplus 3\\ \cdot (\varvec{1},\textbf{1})\oplus 6\\ \cdot \left( \textbf{7},\textbf{2}\right) \oplus \left( \textbf{7},\textbf{1 }\right) \nsupseteq \mathbb {T}; \\ \mathfrak {g}_{2}\oplus \mathfrak {su}_{2,d}\oplus 2\cdot (\textbf{1}, \varvec{3})\\ \oplus (\textbf{1},\varvec{1})\oplus (\textbf{1}, \varvec{5})\oplus 3\cdot \left( \textbf{7},\textbf{3}\right) \\ \oplus 4\cdot \left( \textbf{7},\textbf{1}\right) \nsupseteq \mathbb {T}. \end{array} \right. \end{aligned}$$(199) -
2.
$$\begin{aligned} \mathfrak {so}_{6}\rightarrow & {} \mathfrak {so}_{5}\rightarrow \left\{ \begin{array}{l} \underset{\text {symm~}I\leftrightarrow II}{\mathfrak {su}_{2,I}\oplus \mathfrak {su}_{2,II}}\rightarrow \left\{ \begin{array}{l} \mathfrak {su}_{2,I\text {~or~}II}; \\ \mathfrak {su}_{2,d}; \end{array} \right. \\ \mathfrak {su}_{2}\left( \oplus u_{1}\right) ; \\ \mathfrak {su}_{2,P}; \end{array} \right. \end{aligned}$$(200)$$\begin{aligned} \textbf{15}= & {} \textbf{10}+\textbf{5}=\left\{ \begin{array}{l} (\textbf{3},\textbf{1})+(\textbf{1},\textbf{3})+2\cdot (\textbf{2},\textbf{2} )+(\textbf{1},\textbf{1})\\ \quad =\left\{ \begin{array}{l} \textbf{3}+4\cdot \textbf{1}+4\cdot \textbf{2}; \\ 4\cdot \textbf{3}+3\cdot \textbf{1}; \end{array} \right. \\ 4\cdot \textbf{3}+3\cdot \textbf{1}; \\ \textbf{3}+\textbf{5}+\textbf{7}; \end{array} \right. \end{aligned}$$(201)$$\begin{aligned} \textbf{4}= & {} \textbf{4}=\left\{ \begin{array}{l} (\textbf{2},\textbf{1})+(\textbf{1},\textbf{2})=\left\{ \begin{array}{l} \textbf{2}+2\cdot \textbf{1}; \\ 2\cdot \textbf{2}; \end{array} \right. \\ 2\cdot \textbf{2}; \\ \textbf{4}, \end{array} \right. \end{aligned}$$(202)
such that (194) can be further branched as
$$\begin{aligned} \mathfrak {a}_{II}= & {} \mathfrak {g}_{2}\oplus \mathfrak {so}_{5}\oplus \left( \textbf{1},\textbf{5}\right) \oplus 3\cdot \left( \textbf{7},\textbf{4} \right) \oplus \left( \textbf{7},\textbf{1}\right) \nonumber \\= & {} \left\{ \begin{array}{l} \mathfrak {g}_{2}\oplus \mathfrak {su}_{2,I}\oplus \mathfrak {su}_{2,II}\\ \oplus 2\cdot \left( \textbf{1},\textbf{2,2}\right) \oplus \left( \textbf{1}, \textbf{1,1}\right) \oplus 3 \\ \cdot \left( \textbf{7},\textbf{2,1}\right) \oplus 3\cdot \left( \textbf{7},\textbf{1,2}\right) \oplus \left( \textbf{7,1 }\right) \\ =\left\{ \begin{array}{l} \mathfrak {g}_{2}\oplus \mathfrak {su}_{2,I\text {~or~}II}\oplus 3\cdot \left( \textbf{1},\textbf{1}\right) \oplus 4\\ \cdot \left( \textbf{1},\textbf{2} \right) \oplus \left( \textbf{1},\textbf{1}\right) \\ \oplus 3\cdot \left( \textbf{7},\textbf{2}\right) \oplus 7\cdot \left( \textbf{7},\textbf{1} \right) \nsupseteq \mathbb {T}; \\ \\ \mathfrak {g}_{2}\oplus \mathfrak {su}_{2,d}\oplus 3\cdot \left( \textbf{1}, \textbf{3}\right) \oplus 3\cdot \left( \textbf{1},\textbf{1}\right) \oplus 6\\ \cdot \left( \textbf{7},\textbf{2}\right) \oplus \left( \textbf{7,1}\right) \nsupseteq \mathbb {T}; \end{array} \right. \\ \mathfrak {g}_{2}\oplus \mathfrak {su}_{2}\oplus \mathfrak {u}_{1}\oplus 3\cdot \left( \textbf{1},\textbf{3}\right) \oplus 2\cdot \left( \textbf{1},\textbf{1 }\right) \oplus 6\\ \cdot \left( \textbf{7},\textbf{2}\right) \oplus \left( \textbf{7},\textbf{1}\right) \nsupseteq \mathbb {T}; \\ \\ \mathfrak {g}_{2}\oplus \mathfrak {su}_{2,P}\oplus \left( \textbf{1},\textbf{5} \right) \oplus \left( \textbf{1},\textbf{7}\right) \oplus 3\\ \cdot \left( \textbf{7},\textbf{4}\right) \oplus \left( \textbf{7},\textbf{1}\right) \nsupseteq \mathbb {T}. \end{array} \right. \nonumber \\ \end{aligned}$$(203) -
3.
$$\begin{aligned} \mathfrak {so}_{6}\rightarrow & {} \underset{\text {symm~}I\leftrightarrow II}{ \mathfrak {su}_{2,I}\oplus \mathfrak {su}_{2,II}}\left( \oplus \mathfrak {u} _{1}\right) \rightarrow \left\{ \begin{array}{l} \mathfrak {su}_{2,I\text {~or~}II}\left( \oplus \mathfrak {u}_{1}\right) ; \\ \mathfrak {su}_{2,d}\left( \oplus \mathfrak {u}_{1}\right) ; \end{array} \right. \nonumber \\ \end{aligned}$$(204)$$\begin{aligned} \textbf{15}= & {} (\textbf{3},\textbf{1})+(\textbf{1},\textbf{3})+(\varvec{1 },\textbf{1})+2\cdot (\varvec{2},\textbf{2})\nonumber \\= & {} \left\{ \begin{array}{l} \textbf{3}+4\cdot \textbf{1}+4\cdot \varvec{2}; \\ 4\cdot \textbf{3}+3\cdot \textbf{1}; \end{array} \right. \end{aligned}$$(205)$$\begin{aligned} \textbf{4}= & {} (\textbf{2},\textbf{1})+(\textbf{1},\textbf{2})=\left\{ \begin{array}{l} \textbf{2}+2\cdot \textbf{1}; \\ 2\cdot \textbf{2}, \end{array} \right. \end{aligned}$$(206)
such that (194) can be further branched as
$$\begin{aligned} \mathfrak {a}_{II}= & {} \mathfrak {g}_{2}\oplus \mathfrak {su}_{2,I}\oplus \mathfrak {su}_{2,II}\left( \oplus \mathfrak {u}_{1}\right) \oplus 2\cdot \left( \textbf{1},\textbf{2},\textbf{2}\right) \nonumber \\{} & {} \oplus 3\cdot \left( \textbf{7 },\textbf{2,1}\right) +3\cdot \left( \textbf{7},\textbf{1,2}\right) \oplus \left( \textbf{7},\textbf{1,1}\right) \nonumber \\= & {} \left\{ \begin{array}{l} \mathfrak {g}_{2}\oplus \mathfrak {su}_{2,I\text {~or~}II}\left( \oplus \mathfrak {u}_{1}\right) \oplus 3\cdot \left( \textbf{1},\textbf{1}\right) \oplus 4\\ \cdot \left( \textbf{1},\textbf{2}\right) \oplus 3\cdot \left( \textbf{7},\textbf{2}\right) +7\cdot \left( \textbf{7},\textbf{1}\right) \nsupseteq \mathbb {T}; \\ \mathfrak {g}_{2}\oplus \mathfrak {su}_{2,d}\left( \oplus \mathfrak {u} _{1}\right) \oplus 3\cdot (\textbf{1},\textbf{3})\oplus 2\cdot \left( \textbf{1},\textbf{1}\right) \oplus 6\\ \cdot \left( \textbf{7},\textbf{2} \right) \oplus \left( \textbf{7},\textbf{1}\right) \nsupseteq \mathbb {T}. \end{array} \right. \nonumber \\ \end{aligned}$$(207) -
4.
$$\begin{aligned} \mathfrak {so}_{6}\rightarrow & {} \mathfrak {su}_{3}\left( \oplus \mathfrak {u} _{1}\right) \rightarrow \left\{ \begin{array}{l} \mathfrak {su}_{2}\left( \oplus 2\mathfrak {u}_{1}\right) ; \\ \mathfrak {su}_{2,P}\left( \oplus \mathfrak {u}_{1}\right) ; \end{array} \right. \end{aligned}$$(208)$$\begin{aligned} \textbf{15}= & {} \textbf{8}+\textbf{1}+2\cdot \textbf{3}=\left\{ \begin{array}{l} \textbf{3}+4\cdot \mathbf {1+}4\cdot \textbf{2}; \\ \textbf{5}+3\cdot \textbf{3}+\textbf{1}; \end{array} \right. \end{aligned}$$(209)$$\begin{aligned} \textbf{4}= & {} \textbf{3}+\textbf{1}=\left\{ \begin{array}{l} \textbf{2}+2\cdot \textbf{1}; \\ \textbf{3}+\textbf{1}, \end{array} \right. \end{aligned}$$(210)
such that (194) can be further branched as
$$\begin{aligned} \mathfrak {a}_{II}= & {} \mathfrak {g}_{2}\oplus \mathfrak {su}_{3}\left( \oplus \mathfrak {u}_{1}\right) \oplus 2\cdot \left( \textbf{1},\textbf{3}\right) \oplus 3\cdot \left( \textbf{7},\textbf{3}\right) \oplus 4\cdot \left( \textbf{7},\textbf{1}\right) \nonumber \\{} & {} \nonumber \\= & {} \left\{ \begin{array}{l} \mathfrak {g}_{2}\oplus \mathfrak {su}_{2}\left( \oplus 2\mathfrak {u} _{1}\right) \oplus 4\cdot \left( \textbf{1},\textbf{2}\right) \oplus 2\cdot \left( \textbf{1},\textbf{1}\right) \oplus 3\\ \cdot \left( \textbf{7},\textbf{2 }\right) \oplus 7\cdot \left( \textbf{7},\textbf{1}\right) \nsupseteq \mathbb {T}; \\ \mathfrak {g}_{2}\oplus \mathfrak {su}_{2,P}\left( \oplus \mathfrak {u} _{1}\right) \oplus \left( \textbf{1},\textbf{5}\right) \oplus 2\cdot \left( \textbf{1},\textbf{3}\right) \oplus 3\\ \cdot \left( \textbf{7},\textbf{3} \right) \oplus 4\cdot \left( \textbf{7},\textbf{1}\right) \nsupseteq \mathbb { T}. \end{array} \right. \end{aligned}$$(211)
This concludes the proof that there is no \(\mathfrak {su}_{2}\simeq \mathfrak { der}\left( \mathbb {C}\otimes \mathbb {H}\right) \) subalgebra of \(\mathfrak {so} _{6}\simeq \mathfrak {der}\left( J_{2}\left( \mathbb {C}\otimes \mathbb {H} \right) \right) \) such that \(\mathfrak {a}_{II}\) given by (194) contains the Dixon algebra \(\mathbb {T}\) (195), presuming that \(\mathbb {H} \subset \mathbb {T}\) contains a \(\textbf{1}\oplus \textbf{3}\) representation of \(\mathfrak {der}(\mathbb {H}) = \mathfrak {su}_2\). \(\blacksquare \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Chester, D., Marrani, A., Corradetti, D. et al. Dixon-Rosenfeld lines and the Standard Model. Eur. Phys. J. C 83, 849 (2023). https://doi.org/10.1140/epjc/s10052-023-12006-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-023-12006-8