Reconstructing a gauge group from retained structures

Ask what the record preserves

Rather than choose a familiar group name first, specify a carrier and its physically retained structures. The allowed frame changes are the transformations preserving all those structures. A positive inner product gives orthogonal or unitary transformations; additional tensors can reduce that freedom.

This stabilizer approach suits SMM/DTT because completion is already a proposal about retained distinctions. Its strength depends on independently explaining why a particular metric, decomposition, or tensor survives. Selecting structures solely because their stabilizer resembles a desired interaction group reverses the explanatory task. A reconstruction should begin with the source and instrument that produce them.

Two Hermitian blocks give a product of unitary groups

Supply a complex carrier V=V₃⊕V₂ with dimensions three and two. Suppose the completion record retains the two subspaces separately and retains a positive Hermitian metric on each. A permitted frame change must then act as A on V₃ and B on V₂, with A∈U(3) and B∈U(2).

The separate-block condition matters. If only the combined five-dimensional metric were retained and mixing were allowed, the frame group would instead be U(5). If further basis vectors or projectors were fixed, it could become smaller. Carrier rank by itself therefore does not determine the gauge group; the full retained comparison structure does.

The three-dimensional complex carrier in this example should also be distinguished from a three-dimensional real spatial readout. Equal numerical ranks do not identify their transformation laws. A physical reconstruction needs an explicit map or shared source argument before relating an internal carrier to spatial dimension.

A product volume imposes one determinant condition

Now retain a nonzero tensor in the one-dimensional space Λ³V₃⊗Λ²V₂ and require it to be fixed exactly. A acts on the first volume by det A and B on the second by det B. The invariant tensor imposes:

The group has real dimension 9+4−1=12. Its Lie algebra consists of anti-Hermitian block matrices whose total trace is zero. This leaves an eight-dimensional traceless three-block algebra, a three-dimensional traceless two-block algebra, and one central direction. Requiring the tensor itself to be fixed is stronger than retaining only the line it spans; that weaker condition would not remove the product determinant phase.

Derive the six-element kernel

Define a map from SU(3)×SU(2)×U(1) by (A₀,B₀,z)↦(z⁻²A₀,z³B₀). The determinants multiply to z⁻⁶z⁶=1. Every pair in G has such a preimage: choose a sixth root fixing the determinant of its three-block and absorb the remaining phases into special-unitary factors.

The kernel consists of z⁶=1 with A₀=z²I₃ and B₀=z⁻³I₂. There are six possibilities, giving the quotient. The finite identification is part of the global group, not an extra continuous generator. It affects which representations descend from the product group and which charge assignments are globally consistent.

The central weights fix a convention, not a coupling

In the chosen integral convention the Hermitian central generator is Q=diag(−2I₃,+3I₂). Its trace is −6+6=0 and tr Q²=12+18=30. For small Hermitian block curvatures X₃=X₃⁰−2fI₃ and X₂=X₂⁰+3fI₂, with traceless X_m⁰:

Thus independent quadratic responses can induce the central coefficient 12κ₃+18κ₂. This trace identity is exact in the stated normalization. Rescaling the central generator changes its coordinate coefficient. Interpreting κ values as physical couplings requires normalized currents, kinetic terms, a matching scale, and the actual dynamical response.

The group is one layer of a field theory

A group with this form does not specify which chiral matter representations occur, how their charges are normalized physically, whether anomalies cancel, or which interactions and masses are allowed. It also does not produce a connection with nonzero curvature. One may place a flat connection on a carrier with a large structure group.

A complete physical account requires dynamical fields or an equivalent observable construction, a matter spectrum, a Hamiltonian or action, and controlled scale matching. A positive finite auxiliary gap does not replace the continuum quantum-field analysis. The algebraic reconstruction is valuable precisely because it isolates one explicit layer that can be proved without silently importing the others.

A concrete source-selection programme

The next SMM/DTT theorem should derive the two carrier blocks and the preserved product-volume tensor from a declared source update and completion instrument. It should explain why the tensor is retained coherently, why no additional transformations survive, and why the result remains stable under allowed perturbations of the preparation.

The six nested inner roles may supply the dependency structure for that construction, but six temporal roles are not six gauge generators. A useful test is to alter one retention rule and calculate the changed stabilizer, then ask whether the source dynamics excludes that alternative. Establishing such exclusion would turn a conditional group construction into a substantive selection principle.

Continue with the articles

• Relational transport and gauge freedom

  Explain why independently unframed record fibers require a rule for comparison. Introduce gauge transport as a conditional reconstruction idea, distinct from the draft’s exact Hamiltonian results.

• What the holonomy Hessian does and does not contain

  Explore the exact trace structure of the response near identity holonomy. Explain why the absence of an independent squared-trace term matters for the model’s coefficient relations.

• Two phase actions and determinant closure

  Compare the inherited polynomial phase with the selected coherent-output phase. Explain why determinant closure can produce a 137-fold condition only after the stated phase identifications.

• The remaining gap-proof obligation

  Summarize the draft’s distinction between finite-volume constructions, screening results, and a volume-uniform quantum gap. Explain the connected-expansion step that remains unproved and the separate gauge-matching problem.