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:
- A division algebra \(\mathbb D\), whose elements multiply.
- Its multiplication maps \(L_a:x\mapsto ax\) and \(R_a:x\mapsto xa\), which are linear endomorphisms.
- The associative algebra generated by those maps, often a Clifford/matrix algebra even when \(\mathbb D=\mathbb O\) is non-associative.
- A module or ideal on which those maps act, which may carry a particle-like representation.
Octonionic non-associativity means
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
They progressively give up properties:
| Algebra | real dimension | commutative | associative | alternative |
|---|---|---|---|---|
| \(\mathbb R\) | 1 | yes | yes | yes |
| \(\mathbb C\) | 2 | yes | yes | yes |
| \(\mathbb H\) | 4 | no | yes | yes |
| \(\mathbb O\) | 8 | no | no | yes |
Alternativity means any subalgebra generated by two octonions is associative. Octonionic conjugation reverses products:
Automorphism groups already resemble internal symmetries:
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
After adjoining a commuting complex \(i\),
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
of complex dimension \(64\). A chain such as
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,
The exact unit labels depend on the Fano-plane convention; the invariant fact is the canonical anticommutation algebra
Define
\(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:
Its dimensions are
Under \(SU(3)\), depending on convention,
exactly the pattern needed for one charge-oriented half of a quark/lepton generation.
6. Number operator and charge
Let
On \(\Lambda^k\mathbb C^3\), \(N\) has eigenvalue \(k\). Hence
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:
- The factor \(1/3\) is a normalisation tied to the physical identification.
- The construction initially gives the unbroken electromagnetic charge, not by itself the complete pre-Higgs hypercharge/weak-isospin assignments.
- A charge operator is not yet a dynamical photon field. Gauging it requires a connection and action.
7. MTIS symmetries
A general Hermitian quadratic ladder operator has the form
Requiring transformations to preserve the MTIS and its Hermitian structure yields \(\mathfrak u(3)\), decomposed as
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:
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
For the four normed division algebras,
\(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
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
Furey's roadmap uses coincidence of three \(\mathfrak{so}(10)\) actions to obtain
With further division-algebraic structures, a five-way intersection yields
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
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
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
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
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:
- what large operator algebra is automatically available;
- what compatibility conditions select the physically admissible subalgebra.
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 object | Exact mathematical role | Tempting physical reading | What must still be shown |
|---|---|---|---|
| minimal left ideal | irreducible Clifford module | particle generation | local field and propagation |
| primitive idempotent | projector/vacuum for ladder action | neutrino state | why this projector is selected |
| creation operator | exterior-degree raising map | quark/lepton excitation | second-quantised meaning |
| number operator | integer degree counter | electric charge | normalisation and gauging |
| MTIS stabiliser | structure-preserving Lie algebra | gauge algebra | gauge connection and dynamics |
| complex structure | choice of \(i\)-like endomorphism | symmetry-breaking order | potential/vacuum selection |
| algebra intersection | common stabiliser | surviving gauge symmetry | physical breaking mechanism |
| triality slot | vector or spinor representation | generation | statistics and observed couplings |
| Jordan product | commutative nonassociative product | observable algebra | quantum dynamics/measurement map |
| grading | algebraic selection rule | particle parity/qubits | physical interpretation and tests |
14. The key methodological rule
At every step ask three separate questions:
- Representation: does the vector space transform correctly?
- Dynamics: does an action make it propagate and interact correctly?
- 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.
- A specifically typed continuous Furey product rotation participates in the ten-generator closure of the declared four-real response carrier; the result is an operator participation theorem, not a microscopic derivation. See claim 1058 and claim 1059.
- The same analysis isolates a selector obstruction: endpoint-blind invariant data cannot choose the remaining charged phase reference. A physically prepared or dynamically derived charge-minus-two reference is the minimal reopening datum; see claim 1395.
- Ternary-operator, anomaly, Kantor, structurable and Freudenthal investigations in this programme are extensions inspired by adjacent mathematics. Their conclusions must not be attributed to Furey's published papers without an explicit source map.
- Exceptional, magic-square, Golay and Leech continuations remain behind carrier, invariant and observable gates. Shared representation dimensions or group labels do not supply the intertwiner.
For attribution, use the Furey source-provenance matrix. The admissibility synthesis supplies the larger programme architecture.