Published July 21, 2026 | Version v6

A Centre-Charge Selection Rule for the Wilson-Line Potential: The Fundamental Domain of Gauge-Higgs Unification Is Representation-Dependent (Part III)

Authors/Creators

  • 1. Independent researcher

Description

The fundamental domain of gauge-Higgs unification is representation-dependent.

Part II (DOI 10.5281/zenodo.21432627) identified its first gate — that a representation can display the Standard Model's fractional hypercharges only if its Z₄ centre charge a+2b+3c is odd — as the classical centre-charge congruence, and disclaimed it. This Part III shows that the disclaimed gate governs the Higgs sector, and for a reason that fits in one line: advancing the Wilson line by one period is, up to a Weyl reflection, multiplication by the central element −1 of Z(SU(4)) — and the centre charge is by definition how a representation responds to one.

Centre-parity selection. The Z₂ reduction of the centre charge determines which Fourier sector of the Wilson-line potential is allowed to be non-zero. A representation answers the central element with the scalar (−1)^(a+2b+3c), and the sector carrying the opposite sign is identically empty — not suppressed, absent. Matter admissibility, Kaluza–Klein twist pairing, the Fourier support of the potential and the geometry of its vacuum are four readings of that one bit. For fifty years the centre of the gauge group has been read as a restriction on matter; here it also restricts the potential.

The consequence. Akamatsu, Hirose, Maru and Nago halve the Wilson-line search region to α₂ ∈ [0,1/2] using a hypothesis they verify by inspecting their Table 1: equal multiplicities of (m,0) and (m,1) at odd m. That hypothesis is decided by the centre charge, and it inverts on exactly the class of representations able to host the Standard Model, since Part II forces their centre charge odd while the gauge adjoint is unavoidably even. Verified directly on the potential: the 35 is period-1 in α₂ exactly, while every admissible representation violates it by 2–30% of its own scale. The half-domain reduction does not transfer and the full torus must be scanned. This is not an erratum for AHMN, whose field content satisfies its own hypothesis; it is a warning for everything downstream, and the failure mode is silent.

An exact decoupling. The notch annihilates the fermion representation's entire contribution to the leading Kaluza–Klein order of the curvature at α₂=1/2, leaving a gauge-only constant identical across all eight admissible representations. The leading order is degenerate by theorem, so any naturalness ranking over this class is a statement about subleading terms whether or not it is presented as one.

Scope. The mechanism is neither an accident nor universal: the shift equals a central element only when the Wilson-line-neutral slots carry balanced twist signs, which for a single Wilson-line direction requires N even. A brute-force sweep gives no admissible alphabet for SU(3), SU(5), SU(7) and many for SU(4), SU(6), SU(8) — so SU(4) is the smallest group that can carry this selection rule.

Included: the paper in English and Spanish; a sorry-free Lean 4 certificate of the classification theorem; the numbers behind every table and figure as CSV; every script that regenerates a quoted number; and notch_preflight.py, a one-parity-bit check of whether a given representation's fundamental-domain reduction is legal.

Honesty ledger. The centre-charge congruence is classical and we claim none of it. The mechanism behind the vanishing theorem is classical too — {1,−1,t,1/t} has determinant −1, so it parametrizes the improper component of O(4), where an irreducible representation and its associate μ⊗det have opposite characters — and the determinant technique is described by Ayyer and Behrend as routine. Ours are: the principle and its four readings, the dichotomy, the explicit classification of the degenerate class with its Lean certificate, the inversion of the fundamental domain with direct verification, the decoupling corollary, the derivation of the (m,q) projection from the boundary conditions, and the SU(N) sweep. Two classical sources remain unread and are flagged as such in the paper; neither is load-bearing for the physics.

Notes

This record belongs to a five-part series on six-dimensional SU(4) gauge-Higgs unification on the orbifold T²/Z₂ and the symmetric-function identity it exported. The parts are independent papers and are best read in order.

  1. Part I — Anomaly- and Tadpole-Compatible Fermion Completion of Six-Dimensional SU(4) Gauge-Higgs Unification — embeds a Standard-Model quark block in the (3,60) of SU(4) on T²/Z₂, and proves that on this fermion library the localized tadpole never obstructs an anomaly-free completion.
    DOI: 10.5281/zenodo.21432625 · code: github.com/karlesmarin/ghu-su4-completion
  2. Part II — Three Gates to a Quark Generation — the exact criterion for which SU(4) representations contain a Standard-Model quark cell among their T²/Z₂ chiral zero modes: (a+2b+3c) odd, b≥1, a+b+c≥3.
    DOI: 10.5281/zenodo.21432627 · code: github.com/karlesmarin/su4-sm-cell-criterion
  3. Part III (this record) — A Centre-Charge Selection Rule for the Wilson-Line Potential — a period of Wilson line is a central gauge transformation up to Weyl, so the centre charge decides which Fourier sector of the potential may exist; the fundamental domain of gauge-Higgs unification is representation-dependent.
    DOI: 10.5281/zenodo.21438226 · code: github.com/karlesmarin/centre-parity-selection
  4. Part IV — Schur Functions at (1,−1,t,t⁻¹) — on the non-identity component of O(4) every four-row Schur function is zero or ± a product of exactly three SU(2) characters read off the 2-quotient; Part III's vanishing class is its zero locus. Verified exhaustively, not proved.
    DOI: 10.5281/zenodo.21463000 · code: github.com/karlesmarin/schur-nonidentity-o4
  5. Part V — What the Higgs Potential Cannot See — winding parity is the O(4) component label, so the one-loop potential is one operator traced twice, a dimension and an index; the boundary-condition sign η = η₀η₁ rides on the index alone and is therefore invisible exactly on Part IV's vanishing class, which is classified, counted in closed form and machine-checked in Lean 4 — as is the complementary census of the boundary conditions that have no coset sector at all.
    DOI: 10.5281/zenodo.21727094 · code: github.com/karlesmarin/higgs-blind-class

Interactive laboratory. Three self-contained pages to try the results of this series in a browser — no install, no network: karlesmarin.github.io/ghu-explorer · source: github.com/karlesmarin/ghu-explorer

Files

ghu_notch.pdf

Files (2.4 MB)

Name Size Download all
md5:b4f5ca978f580771649b04b6ba47f005
948.8 kB Preview Download
md5:42dc97ed7490a1422c2d33e86e0c8043
432.2 kB Preview Download
md5:65922b2c90180524b365cedd4a4c6ae7
1.0 MB Preview Download
md5:1d80d20b33ccb332ac7ddeb541e774fd
11.3 kB Download
md5:a3c8fee56b6ba61a8dd999e754ee4c9e
8.3 kB Preview Download

Additional details