The Forces
Page 3 of Constitution as Colimit — early-stage research program.
The Standard Model of particle physics has three forces, each with its own symmetry group: U(1) for electromagnetism, SU(2) for the weak force, SU(3) for the strong force. These three groups were discovered empirically over decades. The Standard Model does not explain why these three and not others.
The fork taxonomy develops all three from a single mechanism: a binary fork, differentiated by two parameters. proposed — formalized
What a fork produces
A single binary fork — a distinction that splits into two branches — has three possible outcomes after pruning (Axiom 2 removes incompatible branches):
- Both branches valid. Two states survive. Neither is pruned. Both are consistent with the rest of the structure.
- One branch valid. One state survives. The other is pruned by inconsistency.
- Zero branches valid. Neither branch survives. The fork produces no stable outcome at this level. Not “empty” — the process continues underneath — but indistinguishable from our perspective.
The zero-valid case is not nothing. It is incoherent at this fork. The Higgs boson is the clearest example: spin-0, incoherent in the spin fork (configuration 100 in the constitution table). And yet this spin-0 field is what gives mass to everything else. Incoherent at one fork. Load-bearing at another.
Two kinds of forks
Not all binary forks are the same. The critical difference is whether the “neither” state — the state where no branch is occupied — is physically accessible.
Forced choice. Both branches survive, and the “neither” state is practically impossible. The process is noisy and continuous. At any fork where both branches are valid, the noise of the process populates both. Perfect stillness — a complete absence of the distinction — does not happen in a noisy system. Both camps are always occupied.
Example: spin direction. Left-spinning vs. right-spinning. Both are valid. For anything that winds, spin direction is a forced choice. Spin-0 exists (the Higgs) but it is the rare symmetric case — perfect alignment with no offset.
Presence/absence. One branch survives, and the “neither” state is genuinely stable. You can truly be neither.
Example: electromagnetic charge. A constitution either couples to EM or it does not. The uncharged state is perfectly stable — neutrinos exist, dark matter exists, the vacuum exists. The “neither” state is not exotic. It is the default.
The distinction is physical, not formal. It depends on whether the null state survives in a noisy environment. When it does not, the fork is forced. When it does, the fork is presence/absence.
Three force state-counts from one mechanism
| Gauge group | Fork count | Fork type | States | Force |
|---|---|---|---|---|
| U(1) | 1 | Presence/absence | 1 non-null | Electromagnetism |
| SU(2) | 1 | Forced choice | 2 | Weak force |
| SU(3) | 2 | Forced choice | 3 non-null | Strong force |
Electromagnetism: U(1). One fork. The null state is stable — things can genuinely be uncharged. One non-null state with a phase: the symmetry group U(1). The photon mediates the signal between EM-coupled constitutions.
Weak force: SU(2). One fork. The null state is inaccessible. Both branches are always populated. Two states, symmetrically related: the doublet of SU(2). Every left-handed fermion is either the upper or lower member of the doublet (electron/neutrino, up/down quark). Right-handed fermions are weak singlets — the chirality restriction (bit 4 in the constitution table) gates whether the weak fork is active.
Strong force: SU(3). Two forks. Both forced choice. Two independent forks produce 2² = 4 states. The null state (00) is inaccessible because both forks are forced. Four states minus one inaccessible null = three non-null states. These are the three color charges.
The progression from U(1) to SU(2) to SU(3) is not a hierarchy of complexity. It is the same operation differentiated by two parameters.
What the fork taxonomy provides and what it does not. The taxonomy provides the dimension of the fundamental representation (1, 2, 3 states). The mathematical chain in the formal section below (ℂn → GL(n,ℂ) → U(n) → SU(n)) does the work of producing the gauge group from that dimension. The taxonomy does not itself produce the gauge groups, their generators, their commutation relations, or their dynamics. Additionally, the chain produces global symmetry groups. Physical gauge theories are local — the gauge transformation varies from point to point, and compensating gauge bosons arise. The full local theory requires the Grothendieck construction, which has not been executed.
Why two forks for the strong force?
The fork count connects to the framework’s force hierarchy through the internal/external distinction.
The strong force is internal binding — it holds the constitution together from inside. Gluons are not particles traveling between quarks. They ARE the internal coherence of the quark constitution. Internal binding reaches into the sub-grain — below the current level of observation — and that sub-grain access provides an additional signal channel. Two independent signal channels produce two independent forks. Hence SU(3).
Electromagnetism is external broadcast — the signal that constituted masses create between themselves. The photon carries this signal. EM operates at the current grain only, with one signal channel. One channel, one fork. Hence U(1).
The weak force is the signal of deconstitution — emitted when a constitutional pattern breaks apart. It operates at the current grain (one fork) but is forced choice (both branches populated). The difference between the weak SU(2) and EM U(1) is fork type, not fork count. Both have one fork.
What is formalized vs. what is not
Honest accounting matters here. The fork taxonomy has three layers, and they differ sharply in their status:
- Established: Binary distinction from signal sharing (coupled oscillators synchronize or do not — standard physics). The arithmetic of binary forks (n forks → 2n states). The mathematical route from ℂn to SU(n) — standard algebra (Theorems 2, 4, 5).
- Conceptual but not formalized: The distinction between forced-choice and presence/absence forks (physically motivated, no formal criterion). The fork count from grain depth (“sub-grain access = extra signal channel” is clear as a concept but unproven as a formal claim). The specific vulnerability: why exactly one additional signal channel and not two?
- Open gaps: Local gauge invariance (the Grothendieck construction is identified but not executed). Yang-Mills dynamics (no action principle, no coupling constants, no confinement derivation — confinement is arguably the defining feature of SU(3), and deriving it is a major open problem). What “applying a binary fork” means as a categorical construction is unspecified.
- Unexplored parameter space: The taxonomy produces U(1), SU(2), SU(3) for the combinations (1 fork/presence-absence, 1 fork/forced-choice, 2 forks/forced-choice). But what about 2 forks with presence/absence? What about 3 forks? If the taxonomy naturally constrains which combinations are physical, that would be powerful — but the constraint has not been demonstrated. The taxonomy was constructed after the gauge groups were known.
- Electroweak unification: At high energies, EM and the weak force unify into the electroweak force with gauge group SU(2) × U(1). The fork taxonomy treats them as separate forces with different fork types. How the fork-type distinction (presence/absence vs. forced-choice) behaves at high energies — whether it dissolves, reproducing electroweak unification — is unaddressed.
The conceptual advance is genuine — one mechanism producing three gauge groups through two parameters. The formalization gap is equally genuine. Both facts belong on the same page.
The formal version
The mathematical chain. The fork taxonomy provides the discrete state count. The existing formal apparatus promotes it to a continuous symmetry group:
Discrete states → ℂn (Born rule) → GL(n,ℂ) (perspectivalism: no preferred basis) → U(n) (unitarity) → SU(n) × U(1) (factoring out the determinant).
For U(1): n = 1 state. For SU(2): n = 2 states. For SU(3): n = 3 states. The fork taxonomy determines n; the theorem chain produces the gauge group.
What the fork taxonomy adds. Before the taxonomy, the framework had the GL → SU chain (Theorems 2, 4, 5) but no account of why n takes the values 1, 2, and 3. The taxonomy provides the input — the discrete state count — from physical mechanism rather than empirical observation. The retrodiction charge (the numbers were chosen because they produce the right answer) is deferred to an earlier step: the argument proceeds from signal sharing → fork type → fork count → state count → gauge group, without consulting QCD at any step. However, the fork taxonomy itself was constructed with knowledge of the target numbers. The retrodiction is pushed back, not eliminated.
Global vs. local. The chain above produces global symmetry groups. Physical gauge theories are local — the gauge transformation can vary from point to point, and compensating fields (gauge bosons) arise to preserve invariance. For U(1), algebraic local invariance is automatic (scalar phases commute with everything, Theorem 4). For SU(2) and SU(3), independent basis rotations at different nodes do NOT preserve the intertwining condition — compensating factors are algebraically necessary, which is the categorical origin of non-abelian gauge connections. The Grothendieck construction provides the formal tool for the full local theory, but this construction has not been executed.
Existing approaches to gauge group unification — Grand Unified Theories (Georgi-Glashow SU(5), Pati-Salam, SO(10)), Connes’ noncommutative geometry, Furey’s division algebra program — all develop the gauge groups from algebraic structure (embedding in larger groups, noncommutative algebras, division algebras). The fork taxonomy develops them from a physical mechanism: not “which algebra contains SU(3) × SU(2) × U(1)?” but “what physical mechanism produces exactly these three factors with these specific ranks?” This is a qualitatively different kind of explanation.
Sources
Standard Model gauge structure -- Weinberg, S. (1995), The Quantum Theory of Fields, Vol. II, Cambridge University Press. Anomaly cancellation -- Peskin, M.E. & Schroeder, D.V. (1995), An Introduction to Quantum Field Theory, Westview Press, Ch. 20. Grand unification -- Georgi, H. & Glashow, S.L. (1974), Phys. Rev. Lett. 32, 438–441; Pati, J.C. & Salam, A. (1974), Phys. Rev. D 10, 275–289. Noncommutative geometry -- Connes, A. (1994), Noncommutative Geometry, Academic Press. Division algebra program -- Furey, C. (2018), Phys. Lett. B 785, 84–89. Non-abelian gauge theory -- Yang, C.N. & Mills, R.L. (1954), Phys. Rev. 96, 191–195. Gluon discovery -- TASSO Collaboration (1979), Phys. Lett. B 86, 243–249.