Admissibility frontier · Edition 3

Compiled corpus reading projection · Wider corpus

Furey's machinery: a technical algebraic guide

Canonical path
corpus/claims/0000-0099/03_furey_technical_algebraic_guide.md
Source SHA-256
65fac9eb31d160fa6322df9629338b07c0da2f8f4cf42a8e29ebd57a38897dde
Build revision
5cdcffb8f9703a7434bb4c1fc38d5aadeacb86ef
Corpus links
21 inbound · 6 outbound

History and editing → · Raw Markdown →

Route into this page

Why this page is here: the shortest known corpus-link route from an Edition 3 source is:

  1. Spin(2,3), the Standard Model, and Furey: document map
  2. Furey's machinery: a technical algebraic guide

Furey's machinery: a technical algebraic guide

Purpose: make the constructions usable without collapsing “division algebra,” “Clifford algebra,” “ideal,” “triality” and “particle” into one vague idea.

Scope boundary. This guide explains the division-algebra, Clifford, ideal, triality and particle-representation machinery and then tests several typed interfaces. Representation, dynamics and measurement remain separate questions throughout; results derived here or in linked certificates are not retroactively attributed to Furey's publications.

1. Four different layers

The most common source of confusion is failure to distinguish:

  1. A division algebra \(\mathbb D\), whose elements multiply.
  2. Its multiplication maps \(L_a:x\mapsto ax\) and \(R_a:x\mapsto xa\), which are linear endomorphisms.
  3. The associative algebra generated by those maps, often a Clifford/matrix algebra even when \(\mathbb D=\mathbb O\) is non-associative.
  4. A module or ideal on which those maps act, which may carry a particle-like representation.

Octonionic non-associativity means

\[ L_aL_b(x)=a(bx)\ne(ab)x=L_{ab}(x) \]

in general. This is not a nuisance to suppress; the distinction between \(L_aL_b\) and \(L_{ab}\) creates a much larger associative endomorphism algebra.

2. Normed division algebras

The finite-dimensional real normed division algebras are

\[ \mathbb R,\quad\mathbb C,\quad\mathbb H,\quad\mathbb O. \]

They progressively give up properties:

Algebrareal dimensioncommutativeassociativealternative
\(\mathbb R\)1yesyesyes
\(\mathbb C\)2yesyesyes
\(\mathbb H\)4noyesyes
\(\mathbb O\)8nonoyes

Alternativity means any subalgebra generated by two octonions is associative. Octonionic conjugation reverses products:

\[ \overline{ab}=\bar b\,\bar a, \qquad |a|^2=a\bar a. \]

Automorphism groups already resemble internal symmetries:

\[ \operatorname{Aut}(\mathbb H)\cong SO(3), \qquad \operatorname{Aut}(\mathbb O)=G_2. \]

Fixing a preferred unit imaginary octonion inside \(G_2\) leaves an \(SU(3)\) stabiliser. This is one route by which colour-like symmetry appears. The physical question is why a particular imaginary direction is selected.

3. Complex quaternions and Lorentz spinors

Write quaternion units \(\epsilon_i\) with

\[ \epsilon_i\epsilon_j=-\delta_{ij}+\varepsilon_{ijk}\epsilon_k. \]

After adjoining a commuting complex \(i\),

\[ \mathbb C\otimes\mathbb H\cong M_2(\mathbb C)\cong\mathbb C\ell(2). \]

The unit-norm complex-quaternionic transformations contain the familiar \(SL(2,\mathbb C)\) spin cover of the proper Lorentz group. Minimal left ideals of \(M_2(\mathbb C)\) are two-complex-dimensional and carry Weyl-spinor representations.

Furey's “generalised ideals” depend on which involution accompanies multiplication. Complex conjugation, quaternionic conjugation and Hermitian conjugation are distinct. This enables left/right Weyl, Dirac and Majorana structures to be encoded without treating every transformation law as unrelated input.

The lesson for Spin(2,3) is limited but useful: spinor representation spaces can arise as ideals of an algebra of actions. It does not follow that the quaternion unit is a second time or that internal quaternionic multiplication is spacetime motion.

4. Clifford algebra from octonionic chains

Choose imaginary octonion units \(e_i\), \(i=1,\dots,7\). Left multiplication by six suitable units satisfies a Clifford relation as endomorphisms on \(\mathbb C\otimes\mathbb O\). Their compositions generate

\[ \mathbb C\ell(6)\cong M_8(\mathbb C), \]

of complex dimension \(64\). A chain such as

\[ e_{i_1}(e_{i_2}(\cdots(e_{i_k}f)\cdots)) \]

is an operator on \(f\), not simply multiplication by the bracket-free octonion product \(e_{i_1}\cdots e_{i_k}\).

This resolves an apparent dimension paradox: eight complex octonions do not become 64 octonions. Their left-action chains span a 64-dimensional associative endomorphism algebra.

5. Witt decomposition and fermionic ladder operators

For a complex Clifford space, choose a maximally totally isotropic subspace (MTIS). In the six-generator case it has three complex dimensions. A conventional Furey choice is, up to basis conventions,

\[ \begin{aligned} \alpha_1&=\tfrac12(-e_5+ie_4),& \alpha_1^\dagger&=\tfrac12(e_5+ie_4),\\ \alpha_2&=\tfrac12(-e_3+ie_1),& \alpha_2^\dagger&=\tfrac12(e_3+ie_1),\\ \alpha_3&=\tfrac12(-e_6+ie_2),& \alpha_3^\dagger&=\tfrac12(e_6+ie_2). \end{aligned} \]

The exact unit labels depend on the Fano-plane convention; the invariant fact is the canonical anticommutation algebra

\[ \{\alpha_i,\alpha_j\}=0, \quad \{\alpha_i^\dagger,\alpha_j^\dagger\}=0, \quad \{\alpha_i,\alpha_j^\dagger\}=\delta_{ij}. \]

Define

\[ \omega=\alpha_1\alpha_2\alpha_3, \qquad P=\omega\omega^\dagger. \]

\(P\) is a primitive idempotent under the chain algebra. It is annihilated by each \(\alpha_i\), so it behaves as a Fock vacuum. The ideal \(\mathbb C\ell(6)P\) is generated by exterior powers of the three creation operators:

\[ \Lambda^0\mathbb C^3\oplus\Lambda^1\mathbb C^3 \oplus\Lambda^2\mathbb C^3\oplus\Lambda^3\mathbb C^3. \]

Its dimensions are

\[ 1+3+3+1=8. \]

Under \(SU(3)\), depending on convention,

\[ \mathbf1\oplus\bar{\mathbf3}\oplus\mathbf3\oplus\mathbf1, \]

exactly the pattern needed for one charge-oriented half of a quark/lepton generation.

6. Number operator and charge

Let

\[ N=\alpha_1^\dagger\alpha_1+alpha_2^\dagger\alpha_2 +\alpha_3^\dagger\alpha_3. \]

On \(\Lambda^k\mathbb C^3\), \(N\) has eigenvalue \(k\). Hence

\[ Q=\frac13N \]

has eigenvalues \(0,1/3,2/3,1\). Complex conjugation supplies the opposite charge sector. The charge quantisation is therefore internal to the ladder representation: occupation number is integral.

Three qualifications matter:

7. MTIS symmetries

A general Hermitian quadratic ladder operator has the form

\[ X=c_{ij}\alpha_i^\dagger\alpha_j. \]

Requiring transformations to preserve the MTIS and its Hermitian structure yields \(\mathfrak u(3)\), decomposed as

\[ \mathfrak u(3)=\mathfrak{su}(3)\oplus\mathfrak u(1). \]

The traceless part acts as colour; the trace/number operator acts as electric charge. This “stabiliser of algebraic structure” principle is more constraining than choosing a convenient subgroup after inspecting a particle table.

The electroweak extension uses a second ladder structure associated with quaternionic/right actions. Its MTIS symmetry produces a left-acting \(SU(2)\) plus a \(U(1)\). The chirality arises because the relevant generators include a projector, so the weak action vanishes on the right-handed subspace.

8. From one ideal to three generations

The entire algebra \(\mathbb C\ell(6)\) is isomorphic to endomorphisms of its eight-dimensional irreducible module:

\[ \mathbb C\ell(6)\cong\operatorname{End}_{\mathbb C}(S), \qquad \dim_{\mathbb C}=64. \]

Under the selected colour action, this operator space decomposes into adjoint, triplet, antitriplet and singlet pieces with generation-like multiplicities. Adding the charge action refines the identification to 48 fermion-like states with the colour and electromagnetic quantum numbers of three generations.

It is essential not to count dimensions only. The claim depends on the explicit commutator/action of the generators on each subspace. Conversely, an explicit representation match still leaves open whether the three copies have the observed weak and Yukawa couplings.

9. Triality

For a normed division algebra \(\mathbb D\), its triality algebra may be defined as triples of skew transformations \((A,B,C)\) satisfying

\[ A(xy)=B(x)y+xC(y). \]

For the four normed division algebras,

\[ \mathfrak{tri}(\mathbb R)=0, \quad \mathfrak{tri}(\mathbb C)\cong\mathfrak u(1)\oplus\mathfrak u(1), \]
\[ \mathfrak{tri}(\mathbb H)\cong\mathfrak{su}(2)^3, \quad \mathfrak{tri}(\mathbb O)\cong\mathfrak{so}(8). \]

\(Spin(8)\) has three eight-dimensional irreducible representations—vector \(8_v\), positive spinor \(8_s\), negative spinor \(8_c\)—permuted by the outer automorphism group \(S_3\). A nondegenerate trilinear form couples them.

In the Furey–Hughes construction, the corresponding slots are

\[ (\Psi_+,\Psi_-,V)\in (\mathbb C\otimes\mathbb H\otimes\mathbb O)^3. \]

Standard Model internal symmetries are embedded in the direct sum of the triality algebras. Two slots have direct spinor-generation decompositions. A Cartan factorisation expresses vector-slot data through products of spinorial data, reorganising the third slot into scalar-boson representations including a Higgs-like doublet.

Triality supplies a real threefold mathematical structure. It does not automatically mean three identical physical fermion generations; the transformation type of the third slot is precisely the subtle point.

10. Intersections as symmetry selection

Suppose a vector space admits several conjugate actions of a large algebra \(\mathfrak g\). The transformations compatible with all structures form an intersection

\[ \mathfrak h=\bigcap_{a=1}^{n}\mathfrak g_a. \]

Furey's roadmap uses coincidence of three \(\mathfrak{so}(10)\) actions to obtain

\[ \mathfrak h=\mathfrak{su}(3)_c\oplus \mathfrak{su}(2)_L\oplus\mathfrak u(1)_Y. \]

With further division-algebraic structures, a five-way intersection yields

\[ \mathfrak{su}(3)_c\oplus\mathfrak u(1)_Q. \]

This is a kinematic selection rule: allowed generators must preserve several structures simultaneously. To become dynamical symmetry breaking, the theory needs an order parameter or constraint field, an action, a vacuum solution and a spectrum of fluctuations.

11. Jordan and graded structure

A Jordan algebra uses the symmetrised product

\[ A\circ B=\frac12(AB+BA). \]

Hermitian matrices \(H_n(\mathbb C)\) form a Euclidean Jordan algebra. In the 2025 construction, selected bosonic and fermionic representation spaces assemble into a \(\mathbb Z_2^5\)-graded algebra isomorphic to \(H_{16}(\mathbb C)\).

A grading labels sectors \(\mathcal A_g\) so that

\[ \mathcal A_g\circ\mathcal A_h\subseteq\mathcal A_{g+h}, \qquad g,h\in\mathbb Z_2^5. \]

This supplies selection rules and a natural relation to qubit-like binary labels. It is not ordinary supersymmetry merely because some components are called bosonic and fermionic: a physical superalgebra requires the correct graded bracket, Poincaré generators and spinorial supercharges.

12. Nested embeddings and endomorphic models

The direct sum

\[ \mathcal D=\mathbb O\oplus\mathbb H\oplus\mathbb C\oplus\mathbb R \]

has real dimension 15. Rather than demand that physical symmetries be automorphisms of \(\mathcal D\), the 2026 work studies its multiplication endomorphisms and their compatibility with grade/volume elements. Embedding \(\mathcal D\) into a 16-dimensional \(\mathbb V\) yields

\[ \operatorname{End}_{\mathbb R}(\mathbb V)\cong M_{16}(\mathbb R) \cong Cl(0,8) \]

for the stated Clifford convention. Conditions such as annihilating selected highest-grade elements and equal trace across blocks sharply reduce the anti-Hermitian endomorphisms to Standard Model internal algebras.

This approach separates two questions:

That separation is directly relevant to a Spin(2,3) selection theory, provided the selector is made dynamical rather than imposed.

13. Technical dictionary for the synthesis

Furey objectExact mathematical roleTempting physical readingWhat must still be shown
minimal left idealirreducible Clifford moduleparticle generationlocal field and propagation
primitive idempotentprojector/vacuum for ladder actionneutrino statewhy this projector is selected
creation operatorexterior-degree raising mapquark/lepton excitationsecond-quantised meaning
number operatorinteger degree counterelectric chargenormalisation and gauging
MTIS stabiliserstructure-preserving Lie algebragauge algebragauge connection and dynamics
complex structurechoice of \(i\)-like endomorphismsymmetry-breaking orderpotential/vacuum selection
algebra intersectioncommon stabilisersurviving gauge symmetryphysical breaking mechanism
triality slotvector or spinor representationgenerationstatistics and observed couplings
Jordan productcommutative nonassociative productobservable algebraquantum dynamics/measurement map
gradingalgebraic selection ruleparticle parity/qubitsphysical interpretation and tests

14. The key methodological rule

At every step ask three separate questions:

  1. Representation: does the vector space transform correctly?
  2. Dynamics: does an action make it propagate and interact correctly?
  3. Measurement: do its gauge-invariant observables match experiment and predict something new?

Furey's work gives unusually rich answers to the first question. The synthesis with Spin(2,3) succeeds only if it uses that strength to construct the second and third, not if it relabels representation spaces as hidden temporal trajectories.

Sources

See the primary bibliography in the comprehensive review. Particularly useful technical sources are Furey's 2016 thesis, the 2023 Roadmap Part III, the Furey–Hughes triality paper, and the 2026 nested-embedding paper.

15. Typed interfaces and open gates

The layer discipline above can be used as a gate rather than only as a vocabulary list.

For attribution, use the Furey source-provenance matrix. The admissibility synthesis supplies the larger programme architecture.

Referenced by

Inbound corpus links

Continues toward

Outgoing corpus links