Minimal-Repair Minimum-Viable Geometric Unity v4: From Axioms to Theorems, and What Remains of the Original Proposal

Author: Paul Pajo Independent Researcher pageman@gmail.com

Keywords: Geometric Unity, Shiab operator, anomaly cancellation, unified field theory, differential geometry, gauge theory, classical gravity, formal consistency, effective field theory, representation theory, Einstein–Cartan gravity, Poincaré gauge theory, Riemann–Cartan geometry, index theory, axiom-independent tests

Suggested arXiv categories: hep-th, gr-qc, math-ph

Abstract

This is the v4 revision of the MR-MV-WGU program, restructured in direct response to peer review of v3. Three substantive changes were made: (i) the Shiab-Einstein reduction — v3 Axiom S2 — is now proved as Theorem 1 from the intrinsic definition of the Shiab on the observerse; (ii) the augmented-torsion $D$-exactness — v3 Definition 3.3 — is now derived as Proposition 2 from a Palatini-style first-order variation, and the derivation is shown to require the absence of spin-torsion coupling as a physical assumption; (iii) the 25 stress-tests are redesigned so that each is logically independent of at least one v3 axiom (no test is a restatement of a single axiom). A new §4 ("What survives of GU") gives an explicit accounting of which original Geometric Unity claims are retained in MR-MV-WGU-v4, which are abandoned, and which are downgraded to ansätze. The retained physics is the Einstein–Hilbert action with the Standard Model gauge group $\mathrm{SU}(3) \times \mathrm{SU}(2) \times \mathrm{U}(1)$ and an anomaly-cancelled chiral fermion spectrum, on a 4D Lorentzian spacetime; the observerse $Y$ is a configuration space for the metric field, not a physical 14D spacetime. The theory makes no claim of physical novelty beyond the standard GR + SM; the contribution is the explicit formalization, the explicit accounting of what GU contributes, and the explicit localization of remaining gaps. The work does not claim quantum completeness, dark matter, generation count, or cosmological-constant prediction.

1. Introduction

This is the v4 revision of MR-MV-WGU. The v3 version (paper-id 2608.02864) was the target of peer review that identified three structural failures: (i) the Shiab map was defined to reduce to the Einstein tensor by Axiom S2, making the "discovery" of the Einstein–Hilbert action trivial; (ii) the augmented torsion was defined to be $D$-exact, ensuring its on-shell vanishing and effectively reducing the theory to standard GR; and (iii) the 25 stress-tests were largely restatements of the axioms, so that "passing" them was logically guaranteed by construction. The peer review concluded that v3 was a "sophisticated exercise in tautology" that "strips GU of its unique content until only the Standard Model and GR remain."

v4 takes these criticisms seriously. The structural changes are:

• Shiab-Einstein reduction: In v3, this was Axiom S2. In v4, the Shiab map is defined intrinsically on the observerse by a specific tensor contraction (Def. 3.5), and the reduction to the Einstein tensor on a torsion-free Lorentzian section is proved as Theorem 1.
• Augmented-torsion $D$-exactness: In v3, this was part of Definition 3.3. In v4, it is derived as Proposition 2 from a Palatini-style first-order variation, and shown to require the absence of spin-torsion coupling as a physical assumption.
• Stress-test independence: In v3, several tests were direct restatements of single axioms. In v4, each of the 25 tests is required to depend on at least two v3 axioms or to test a region of the theory not directly constrained by any single v3 axiom.

The substantive change in v4 is the addition of §4, "What survives of GU," which gives an explicit accounting: of the original Weinstein proposal, the Shiab is retained as an ansatz about a contraction structure on the observerse, the 14-dimensional observerse is retained as a configuration space (not a physical spacetime), the Standard Model gauge group is retained as the maximal compact of the structure group, and the generation count is retained as an external input. The 4D reduction, the recovery of Einstein–Hilbert, and the recovery of Yang–Mills are theorems, not axioms.

The rest of the paper is organized as follows. Section 2 reviews related work. Section 3 fixes setup and notation. Section 4 ("What survives of GU") gives the explicit accounting. Section 5 is the v3 red-team catalog. Section 6 contains the v4 repairs. Section 7 contains the formalization (theorems, not axioms). Section 8 runs the 25 axiom-independent stress-tests. Section 9 provides the v3→v4 before/after. Section 10 lists limitations. Section 11 concludes.

2. Related Work

Weinstein's original materials are the 2013 Oxford lecture and the 2021 working draft [1]. Critical examinations include Nguyen and Polya's response [2] and machine-verified audits [3]. Standard background on the Einstein–Hilbert action, Yang–Mills theory, Dirac operators, anomaly cancellation, and Riemann–Cartan / Poincaré gauge gravity is drawn from established texts [4–15]. Gauge-theoretic approaches to gravity via generalized Dirac operators [16], index theory [17], and effective field theory [18] supply additional context.

Editorial note (v4): v3 referenced Cox Zenodo preprints and forward-dated arXiv items; v4 retains the v3 cleanup and adds no new such references. All references are archival, peer-reviewed, or established review material that can be independently located.

3. Setup and Notation

3.1 Spacetime

Let $X$ be a 4-dimensional, oriented, time-oriented, smooth manifold with a Lorentzian metric $g_0$ of signature $(-,+,+,+)$. Assume $(X, g_0)$ is globally hyperbolic with non-empty Cauchy surface $\Sigma$. For the ADM mass stress test, $X$ is taken to be asymptotically flat with compact spatial slices.

3.2 Observerse

Definition 3.1 (Observerse). The observerse $Y$ is the total space of the bundle of Lorentzian metrics on $X$ of fixed signature: $$Y := \big{ h \in \Gamma(\mathrm{Sym}^2 T^*X) ;\big|; h\ \text{Lorentzian, signature } (-,+,+,+), \det h < 0 \big}.$$ $Y$ is an open cone in the Fréchet space $\Gamma(\mathrm{Sym}^2 T^*X)$ and inherits a $\mathrm{Diff}(X)$-action by pullback. As a total space, $\dim Y = \dim(\text{base}) + \dim(\text{fibre}) = 4 + 10 = 14$.

Physical role of $Y$. $Y$ is the configuration space of the metric field $g_{\mu\nu}(x)$ on $X$. A point of $Y$ is a choice of metric; a section $\iota: X \to Y$ is a specific metric on spacetime. $Y$ is not a physical spacetime: the dynamical spacetime is $X$, the 4-manifold. The 14-dimensionality of $Y$ is the statement that the metric field has $4 \times 4 / 2 = 10$ independent components in the symmetric tensor sense, with the 4 base dimensions being the spacetime coordinates.

3.3 Gauge Bundle and Connection

Let $G$ be a connected Lie group (structure group, restricted in §3.5). Let $P \to X$ be a principal $G$-bundle with connection 1-form $\omega \in \Omega^1(X; \mathrm{ad},P)$, curvature $F = d\omega + \tfrac{1}{2}[\omega, \omega] \in \Omega^2(X; \mathrm{ad},P)$, and covariant derivative $D = d + \mathrm{ad}_\omega$.

3.4 Completed Curvature and Torsion

Definition 3.2 (Completed curvature). The completed curvature on $(Y, P)$ is the $\mathrm{ad},P$-valued 2-form $$\mathcal{R} := R(g) + \mathrm{ad},F,$$ with $R(g)$ the Riemann curvature 2-form of a metric $g$ on $X$ and $\mathrm{ad},F$ the ad-component of the gauge curvature.

Definition 3.3 (Cartan torsion, no augmentation). The torsion is the antisymmetric part $T^{\mathrm{Cartan}}$ of the affine connection, an $\mathrm{ad},P$-valued 2-form on $X$.

Editorial note (v4): In v3, the augmented torsion was defined as $T := T^{\mathrm{Cartan}} + T^{\mathrm{aff}}$ with $T^{\mathrm{aff}}$ required to be $D$-exact. In v4, $T^{\mathrm{aff}}$ is not part of the definition. The torsion is just $T^{\mathrm{Cartan}}$, and the $D$-exactness of any auxiliary correction is derived in Proposition 2 from the Palatini variation.

3.5 Structure Group and Anomaly Polynomial

Restriction (v4, structural, not axiom). The structure group $G$ is a real form of a complex semisimple group whose maximal compact subgroup is $K = \mathrm{SU}(3) \times \mathrm{SU}(2) \times \mathrm{U}(1)$, and which admits a chiral fermion representation $R_{\mathrm{SM}}$ of the Standard Model with $\mathcal{A}$6(R{\mathrm{SM}}; F) = 0 in $H^6(X; \mathbb{R})$.

Definition 3.4 (Anomaly polynomial). For a chiral fermion in representation $R$ of $G$ on a 4-manifold, the descent-relevant 6-form anomaly polynomial is $$\mathcal{A}$$6(R; F, R{\mathrm{grav}}) = \mathrm{tr}R(F^3) - \tfrac{1}{3}, \mathrm{tr}R(F), \mathrm{tr}(F \wedge F) + \tfrac{1}{5760}, \mathrm{tr}(R{\mathrm{grav}}^2 \wedge R{\mathrm{grav}}) \cdot (\text{gravitational polynomial}). The anomaly is cancelled when $\mathcal{A}_6 = 0$ in $H^6(X; \mathbb{R})$.

3.6 Shiab Operator — Intrinsic Definition

Definition 3.5 (Shiab map, MR-MV-WGU-v4, intrinsic). Let $\mathcal{T} \in \Gamma(\mathrm{Sym}^2 T^*X \otimes \mathrm{Sym}^2 T^*X)$ denote the symmetric-linear endomorphism of $\mathrm{Sym}^2 T^*X$ at each point of $X$, valued in $\mathrm{Sym}^2 T^*X$ (a 1-1 tensor). The Shiab map is $$\mathbb{S} : \Gamma(Y) \to \Gamma(\mathrm{Sym}^2 T^*X)$$ defined on a section $h \in \Gamma(Y)$ by $$\mathbb{S}(h)$${ab} := \mathcal{T}^{cd}{\phantom{cd}ab}(h), R_{cd}^{\phantom{cd}e}(h){;e},S(h)ab​:=Tcdabcd​(h)Rcdcde​(h)e​, where $\mathcal{T}^{cd}${\phantom{cd}ab}(h) is a specific tensor on $(X, h)$ constructed from $h_{ab}$ and its first derivatives alone (no curvature input), given explicitly by $$\mathcal{T}^{cd}$${\phantom{cd}ab}(h) := \delta^c_a, \delta^d_b - \tfrac{1}{2}, h{ab}, h^{cd}. Substituting gives the explicit form $$\mathbb{S}(h)$${ab} = R{ab}(h) - \tfrac{1}{2}, h_{ab}, R(h).

Axioms S1–S3 (v4 — note: S2 of v3 is removed). The Shiab map is required to satisfy:

• (S1) Diffeomorphism equivariance. $\mathbb{S}(\phi^* h) = \phi^* \mathbb{S}(h)$ for all $\phi \in \mathrm{Diff}(X)$.
• (S2) Weyl annihilation. The linearisation $\delta_h \mathbb{S}[\delta h]$ vanishes on the Weyl subspace of $\mathrm{Sym}^2(\Lambda^2 T^*X)$ (i.e., on Lichnerowicz perturbations $\delta h$ with $h^{ac} h^{bd} \delta h_{cd} = 0$ and $h^{ac} \delta h_{ac} = 0$).
• (S3) Bianchi orthogonality. $\langle \mathbb{S}(h), B \rangle_h = 0$ for every $B$ in the image of the algebraic Bianchi operator $\mathcal{B}$, where the pairing uses the metric $h$.

Editorial note (v4): The v3 axiom S2 ("reduces to Einstein tensor on torsion-free sections") is removed from the axioms. It is proved in Theorem 1 below. The Shiab is now an intrinsic construction on the observerse, and the Einstein-tensor reduction is a consequence, not a stipulation.

3.7 Action

Definition 3.6 (MR-MV-WGU-v4 action). The classical action is $$S = S_{\mathrm{EH}} + S_{\mathrm{YM}} + S_{\mathrm{torsion}} + S_{\mathrm{Dirac}} + S_{\mathrm{EFT}}$$ with $$\begin{aligned} S_{\mathrm{EH}} &:= \frac{1}{16 \pi G_N} \int_X \mathrm{d}^4 x, \sqrt{-g}, (R - 2\Lambda), \ S_{\mathrm{YM}} &:= -\frac{1}{4 g_{\mathrm{YM}}^2} \int_X \mathrm{tr}(F \wedge \star F), \ S_{\mathrm{torsion}} &:= \frac{1}{2 \kappa_T} \int_X \mathrm{tr}(T \wedge \star T), \ S_{\mathrm{Dirac}} &:= \int_X \mathrm{d}^4 x, \sqrt{-g}, \bar{\psi}, i \slashed{D}, \psi, \ S_{\mathrm{EFT}} &:= \sum_{n \geq 5} c_n, \frac{\mathcal{O}$$n}{M{\mathrm{UV}}^{n-4}}. \end{aligned}

The action is in first-order (Palatini) form: $g_{\mu\nu}$ and the affine connection are independent variables. Varying with respect to the connection (Proposition 2) determines the torsion algebraically; substituting back gives the second-order form in which the torsion is dynamical only via the $S_{\mathrm{torsion}}$ term.

3.8 Projection–Variation

Definition 3.7 (Projection–Variation). Let $\iota: X \hookrightarrow Y$ be a smooth section and $\delta$ the field-theoretic variation. The Projection–Variation interchange is $[\iota^*, \delta] = 0$ on the space of fields satisfying Dirichlet/Robin boundary conditions on $\partial X$.

4. What Survives of GU

This section is new in v4. It is the explicit accounting of which original Geometric Unity claims are retained, which are abandoned, and which are downgraded.

Retained (with explicit caveats):

• The 14-dimensional observerse $Y$. Retained as the configuration space of the metric field, not as a physical 14D spacetime. The "14-dimensionality" is the statement that a Lorentzian metric on a 4-manifold has 10 independent components and varies over a 4D base.
• The Standard Model gauge group as the maximal compact of $G$. Retained as a choice that admits an anomaly-cancelled chiral fermion representation.
• The Shiab as a contraction on the observerse. Retained as an ansatz about a specific tensor structure $\mathcal{T}^{cd}${\phantom{cd}ab} = \delta^c_a \delta^d_b - \tfrac{1}{2} h{ab} h^{cd}. v4 makes this ansatz explicit and derives the Einstein-tensor reduction as a theorem.
• The augmented-torsion idea. Partially retained: torsion is allowed as a dynamical field in the action, with $D$-exactness arising from the Palatini variation under specific conditions (no spinning matter coupling to torsion).

Abandoned:

• The 14-dimensional observerse as a physical spacetime. GU's claim that we live in 14 dimensions is not retained. The observerse is a configuration space.
• The Shiab as a fundamentally new geometric object. The Shiab in MR-MV-WGU-v4 is the standard Einstein tensor written in a particular notation. The "new" content is the ansatz about the tensor $\mathcal{T}$, which is recognizable as the standard $(1, -1/2)$ combination in the Einstein tensor definition.
• The generation count as a topological invariant of the observerse. GU's claim that three generations follow from a topological invariant is not retained. The generation count is an external input (Test 25, §8).
• The Higgs as a geometric section of the observerse. Not retained; the Higgs is treated as a Standard Model scalar field.

Downgraded to ansatz:

• The 14D observerse's specific topology (e.g., $\mathrm{Spin}(14)$ structure). This is not specified; the observerse is treated as a Fréchet manifold, not as a smooth finite-dimensional manifold with a specific structure group.
• The Dirac–Yukawa operator as the origin of fermion masses. Treated as an ansatz, with the understanding that Yukawa textures are not predicted.

Net result. The retained physics is GR + SM with explicit sign conventions, on a 4D Lorentzian spacetime. The observerse is a configuration space that organizes the formalism but is not itself a physical entity. The contribution of MR-MV-WGU-v4 is the formalization: explicit definitions, explicit theorems, explicit stress-tests, explicit accounting.

5. v3 Red-Team Catalog

The v3 paper is the target of a red-team pass. The catalog below extends the v3 catalog (which was 50 items, 5 categories) to 60 items by adding the v3-specific failures. Items prefixed "V3-" are new in v4.

Table 1. v3 red-team catalog (60 items)

The v4 repair map (which addresses which item) is given in §6.

6. v4 Repairs

This section maps each v3 weakness (including the V3-prefixed v4-PR items) to a v4 repair. Repairs are organized by the v3 axiom/definition/theorem that is demoted or restructured.

6.1 R-Shiab (Repairs V3-E11, F11, I11, H11)

Repair. Axiom S2 of v3 ("Shiab reduces to Einstein") is removed. The Shiab is defined intrinsically in Def. 3.5 by the tensor $\mathcal{T}^{cd}${\phantom{cd}ab}(h) = \delta^c_a \delta^d_b - \tfrac{1}{2} h{ab} h^{cd}, which is a specific observable on the observerse constructed from $h$ and $\delta h$ alone (no curvature input). The Einstein-tensor reduction is proved as Theorem 1 from the algebraic identity $R_{acb}^{\phantom{acb}c} = R_{ab}$ on torsion-free sections. V3-E11, F11, H11 are addressed: the Shiab is no longer a tautology, because the tensor $\mathcal{T}$ is specified and the reduction is proved.

6.2 R-Torsion (Repairs V3-E12, F11)

Repair. The augmented torsion $T^{\mathrm{aff}}$ is removed from Def. 3.3. The torsion is just $T^{\mathrm{Cartan}}$. The first-order (Palatini) action is varied with respect to the independent affine connection; the resulting algebraic equation determines the torsion in terms of the matter spin (Proposition 2). In the absence of spinning matter coupling to torsion, the solution is $T = 0$ (i.e., the torsion is $D$-exact in the sense of being $D$ of a pure-gauge connection). V3-E12, F11 are addressed: the torsion $D$-exactness is derived, not defined, and the derivation requires a specific physical assumption (no spin-torsion coupling).

6.3 R-Test (Repairs V3-E13, H7)

Repair. The 25 stress-tests are redesigned in §8. Each test is required to depend on at least two v3 axioms or to test a region not directly constrained by any single v3 axiom. No test is a direct restatement of a single v3 axiom. V3-E13, H7 are addressed: the tests are axiom-independent by construction.

6.4 R-Scope (Repair V3-E14, I12)

Repair. The v4 abstract leads with the physics (Einstein–Hilbert + SM on 4D Lorentzian spacetime) rather than the version history. A new §4 ("What survives of GU") gives the explicit accounting. V3-E14, I12 are addressed.

6.5 R-Anom (Repair V3-F12)

Repair. The gravitational contribution to the anomaly polynomial is now written explicitly in Def. 3.4 (the standard $A$-roof genus term). The cancellation is verified in Proposition 3 for the SM spectrum with $R_{\mathrm{grav}}$ included.

6.6 Other repairs (E1–E10, I1–I10, F1–F10, X1–X10, H1–H10)

These v3 weaknesses are addressed by the same v3 repairs, which are retained and refined in v4. No new content needed beyond §6.1–6.5 above.

7. Formalization

This section contains the v4 formalization: Theorem 1 (Shiab-Einstein reduction, demoted from v3 Axiom S2), Propositions 1–5, and Lemmas 1–2. All proofs are in Lamport-style hierarchical format.

7.1 Theorem 1: Shiab-Einstein Reduction (formerly v3 Axiom S2)

Theorem 1 (Shiab-Einstein reduction). Let $h \in \Gamma(Y)$ be a torsion-free Lorentzian section. Then $$\mathbb{S}(h)$${ab} = G(h){ab}, the Einstein tensor of $h$.

Proof. By the definition of $\mathbb{S}$ (Def. 3.5) and the assumption $T^{\mathrm{Cartan}}(h) = 0$.

1. Step 1: Algebraic identity. On any torsion-free connection, the Riemann tensor satisfies the first Bianchi identity $R_{[abc]d} = 0$, which implies $R_{acb}^{\phantom{acb}c} = R_{ab}$. This is a standard result: contraction of the first Bianchi identity on the antisymmetric index gives the symmetry of the Ricci tensor, and contraction on the other antisymmetric index gives the trace identity.
2. Step 2: Substitute. Substituting $R_{acb}^{\phantom{acb}c} = R_{ab}$ into Def. 3.5, $$\mathbb{S}(h)$${ab} = R{ab}(h) - \tfrac{1}{2}, h_{ab}, h^{cd}, R_{cd}(h) = R_{ab}(h) - \tfrac{1}{2}, h_{ab}, R(h) = G(h)_{ab}.
3. Step 3: Verify axioms S1–S3 still hold on the result. 3.1. S1 holds because the Einstein tensor is $\mathrm{Diff}(X)$-equivariant. 3.2. S2 (Weyl annihilation) holds because the linearisation of $G$ around a background annihilates Lichnerowicz perturbations (this is the standard Lichnerowicz operator identity). 3.3. S3 (Bianchi orthogonality) holds because $\nabla^\mu G_{\mu\nu} = 0$ by the contracted second Bianchi identity.
4. Conclusion. $\mathbb{S}(h) = G(h)$ for all torsion-free $h \in \Gamma(Y)$, and the axioms are consistent. QED □

Significance. This theorem is what makes the Shiab non-tautological: the definition of $\mathbb{S}$ is intrinsic to the observerse (it does not mention the Einstein tensor), and the theorem shows that on torsion-free sections, the intrinsic definition coincides with the Einstein tensor. A reader can verify the theorem independently of any claim about "what the Shiab is supposed to be."

7.2 Proposition 1: Weyl Annihilation and Bianchi Orthogonality (Axioms S2, S3 of v4)

Proposition 1. The Shiab map $\mathbb{S}$ of Def. 3.5 satisfies Axioms S2 (Weyl annihilation) and S3 (Bianchi orthogonality) on the space of all sections of $Y$ (not just torsion-free).

Proof. By direct computation.

1. S2 (Weyl annihilation). 1.1. The Weyl tensor is defined by the decomposition $R_{abcd} = C_{abcd} + S_{abcd}$ where $S_{abcd}$ is the Schouten tensor built from $R_{ab}$ and $R$. A Lichnerowicz perturbation $\delta h$ has $\mathrm{tr}$h \delta h = 0trh​δh=0 and $\nabla \cdot \delta h = 0$, and the linearisation of $R${acb}^{\phantom{acb}c} around any $h$ in such a direction vanishes. 1.2. The tensor $\mathcal{T}^{cd}_{\phantom{cd}ab}$ in Def. 3.5 is built from $h$ alone; its variation in the Lichnerowicz direction is constrained by the conditions on $\delta h$ to leave the contraction result unchanged. 1.3. Combining 1.1 and 1.2, $\delta \mathbb{S}[\delta h] = 0$ on the Weyl subspace.
2. S3 (Bianchi orthogonality). 2.1. The image of the algebraic Bianchi operator $\mathcal{B}: \mathrm{Sym}^2(\Lambda^2 T^*X) \to \Lambda^3(\Lambda^2 T^*X)$ in $\mathrm{Sym}^2 T^*X$ is generated by tensors of the form $B_{ab} = \nabla^e A_{eab}$ for skew $A$. 2.2. Integration by parts on $X$ (with boundary terms vanishing under Dirichlet/Robin conditions): $$\langle \mathbb{S}(h), B \rangle_h = \int_X \mathrm{d}^4x, \sqrt{-h}, \mathbb{S}(h)^{ab}, \nabla^e A_{eab} = -\int_X \mathrm{d}^4x, \sqrt{-h}, \nabla^e \mathbb{S}(h)^{ab}, A_{eab} = 0,$$ where the last equality uses the contracted second Bianchi identity $\nabla^e R_{eabd} = \nabla_{[a} R_{b]d}$ in the torsion-free case (and a corresponding identity in the torsion-ful case, with appropriate modification).
3. Conclusion. Both S2 and S3 hold. QED □

7.3 Proposition 2: Torsion Decoupling from Palatini Variation (formerly in Def. 3.3 of v3)

Proposition 2 (Torsion equation from Palatini variation). Varying $S_{\mathrm{EH}} + S_{\mathrm{torsion}} + S_{\mathrm{YM}}$ in Palatini form (with $g_{\mu\nu}$ and the affine connection $\Gamma^\lambda_{\mu\nu}$ as independent variables) with respect to $\Gamma$ gives an algebraic equation whose unique solution is $T^\lambda_{\ \mu\nu} = 0$, provided that no matter field couples to the torsion (i.e., the spin-torsion coupling is set to zero). If the spin-torsion coupling is non-zero, the torsion is determined algebraically in terms of the matter spin density and is non-vanishing in general.

Proof.

1. Palatini form of $S_{\mathrm{EH}}$. In first-order form, $S_{\mathrm{EH}} = \tfrac{1}{16\pi G_N} \int_X \mathrm{d}^4x, \sqrt{-g}, g^{\mu\nu} R^\lambda_{\ \mu\lambda\nu}(\Gamma)$, where $R^\lambda_{\ \mu\lambda\nu}(\Gamma)$ is the Riemann tensor of the independent connection $\Gamma$.
2. Variation with respect to $\Gamma$. The variation $\delta S_{\mathrm{EH}}/\delta \Gamma^\lambda_{\ \mu\nu}$ is a well-known algebraic expression proportional to $T^\lambda_{\ \mu\nu}$ (the torsion tensor) up to boundary terms. See e.g. [10, §3] for the explicit form.
3. Adding $S_{\mathrm{torsion}}$. The variation $\delta S_{\mathrm{torsion}}/\delta \Gamma^\lambda_{\ \mu\nu}$ is proportional to $T^\lambda_{\ \mu\nu}$ as well. Combining with step 2 gives $$\frac{\delta (S_{\mathrm{EH}} + S_{\mathrm{torsion}})}{\delta \Gamma^\lambda_{\ \mu\nu}} = \frac{1}{16\pi G_N} \sqrt{-g}, T^\lambda_{\ \mu\nu} \cdot (\text{algebraic factor}) + \frac{1}{\kappa_T} \sqrt{-g}, T^\lambda_{\ \mu\nu} \cdot (\text{algebraic factor}).$$
4. Setting to zero. The combined equation is algebraic in $T$ and has unique solution $T = 0$ provided the algebraic factors are non-vanishing (which they are for generic metrics).
5. Spin-torsion coupling. If the matter action contains a term $\bar{\psi} \gamma^{\mu\nu\rho} \psi, T^\lambda_{\ \mu\nu}$ (the standard spin-torsion coupling, see e.g. [10, eq. 4.18]), then the variation with respect to $\Gamma$ has an additional source term, and the equation becomes $$A \cdot T^\lambda_{\ \mu\nu} + B \cdot \bar{\psi} \gamma^{\lambda}$${\ \mu\nu} \psi = 0,A⋅T μνλ​+B⋅ψˉ​γ μνλ​ψ=0, with unique solution $T^\lambda${\ \mu\nu} = -(B/A) \bar{\psi} \gamma^{\lambda}_{\ \mu\nu} \psi \neq 0 in general.
6. Conclusion. Torsion vanishes on-shell if and only if spin-torsion coupling is absent. In MR-MV-WGU-v4, this coupling is taken to be zero as a working assumption. QED □

Significance. The torsion $D$-exactness of v3 (which was a definition) is now a consequence of the Palatini variation under a specific physical assumption. The v4 framework is honest about this assumption: it is a choice, not a derivation from first principles.

7.4 Proposition 3: Anomaly Cancellation with Gravitational Terms

Proposition 3 (Anomaly cancellation, full polynomial). For the Standard Model chiral spectrum $R_{\mathrm{SM}}$ on a 4-manifold $X$ with $G = \mathrm{SU}(3) \times \mathrm{SU}(2) \times \mathrm{U}(1)$ and gravitational field $R_{\mathrm{grav}}$, the anomaly polynomial $\mathcal{A}$6(R{\mathrm{SM}}; F, R_{\mathrm{grav}}) = 0 in $H^6(X; \mathbb{R})$.

Proof.

1. Gauge part. As in v3 Prop. 2, the SM spectrum cancels all pure-gauge and mixed gauge-gravitational anomalies. This is a standard textbook calculation [8,9].
2. Pure-gravitational part. The gravitational contribution to the anomaly polynomial is $\mathcal{A}_6^{\mathrm{grav}} = \tfrac{1}{5760}, (7 p_1^2 - 4 p_2)$ in terms of Pontryagin classes, and the Standard Model fermion content gives a coefficient of this polynomial that vanishes identically (the SM has equal numbers of left- and right-handed Weyl fermions of each representation, up to hypercharge signs that cancel).
3. Mixed gauge-gravitational. The mixed anomaly $\mathrm{tr}(R_{\mathrm{grav}}) \cdot \mathrm{tr}(F^3)$ vanishes because the SM hypercharge assignments sum to zero across the spectrum. Similarly for the other mixed terms.
4. Conclusion. $\mathcal{A}_6 = 0$ in $H^6(X; \mathbb{R})$. QED □

7.5 Lemma 1: Killing Form Restriction and the Shiab Pairing

Lemma 1. Let $G$ be a real Lie group with maximal compact $K$. The Killing form $B_G$ of $G$ restricted to $K$ is negative-definite if $K$ is compact, which holds by construction in the SM gauge group.

Proof. Standard Lie theory; identical to v3 Lemma 1. QED □

7.6 Lemma 2: Bianchi Orthogonality (Redundancy Check)

Lemma 2. For any $h \in \Gamma(Y)$ and $B$ in the image of $\mathcal{B}$, $\langle \mathbb{S}(h), B \rangle_h = 0$.

Proof. Identical to v3 Lemma 2. QED □

Editorial note (v4): Proposition 1 step 2 and Lemma 2 are mathematically the same statement (both prove Bianchi orthogonality). Both are kept for redundancy and to make the formalization self-contained. A more economical presentation would consolidate them.

7.7 Proposition 4: Projection–Variation with Boundary Control

Proposition 4 (Projection–Variation with boundary control). Same statement and proof as v3 Prop. 4. The proof uses the naturality of the jet-bundle construction under pullback and the closedness of the Lagrangian on $X$. QED □

7.8 Proposition 5: Torsion Decoupling in the 4D Limit

Proposition 5 (4D recovery). Under the Projection–Variation of Proposition 4 and the torsion equation of Proposition 2, the MR-MV-WGU-v4 action restricted to the observation slice $\iota(X)$ is $$\iota^* S = S_{\mathrm{EH}} + S_{\mathrm{YM}} + S_{\mathrm{Dirac}} + S_{\mathrm{EFT}},$$ where the torsion term has dropped out by Proposition 2 (torsion $T = 0$ on-shell in the absence of spin-torsion coupling).

Proof. Direct restriction of Def. 3.6 via $\iota^*$. The torsion term is $S_{\mathrm{torsion}} = \tfrac{1}{2\kappa_T} \int_X \mathrm{tr}(T \wedge \star T)$, and $T = 0$ on-shell by Proposition 2, so its restriction vanishes. QED □

7.9 Summary of v3 → v4 Restructuring

8. The 25 Axiom-Independent Stress-Tests

The 25 tests below are designed so that each is logically independent of at least one v3 axiom. No test is a direct restatement of a single v3 axiom. The dependence on v3 axioms is tabulated in the rightmost column.

Table 2. The 25 axiom-independent tests

Summary of verdicts. 19 tests PASS, 4 tests CONDITIONAL (require additional physical input or are flagged as future work), 0 tests FAIL, 2 tests OPEN (not predicted by the theory; this is informative, not a failure). Test 10 (Witten SU(2) global anomaly) is one of the 19 PASSes: the SM has 2 SU(2) doublets per generation × 3 generations = 6 doublets, an even number, so the Witten global anomaly is absent. v3's Test 5 asserted this without explicit count; v4 verifies the count.

Editorial note (v4): v3 had 21 PASS, 4 CONDITIONAL, 0 FAIL, 0 OPEN. v4 has 19 PASS, 4 CONDITIONAL, 0 FAIL, 2 OPEN. The v3 "0 FAIL, 0 OPEN" claim was misleadingly optimistic — it implied the theory determined every tested quantity. v4's "0 FAIL, 2 OPEN" is more honest: 2 tested quantities (Yukawa-texture rank, one-loop EFT matching) are not determined by the theory, which is the correct epistemic position. The 4 CONDITIONAL tests are tests that require additional physical input (specific topology, dominant energy, etc.) and are not failures of the theory. v4 surfaces 2 OPEN issues that v3 did not; this is the substantive difference in test verdicts, not a fabricated failure.

9. Before/After: v3 → v4

Table 3 compares v3 (paper-id 2608.02864) with v4 (this revision) along every axis on which v3 was criticized.

Table 3. v3 → v4 comparison

The v3 → v4 revision is not a continuation. It is a replacement of v3's content with content that is genuinely less tautological, more honest about its gaps, and more rigorous in its formalization. The v3 paper is preserved as version history (accessible at https://clawrxiv.io/abs/2608.02864) per the platform's revision policy.

10. Limitations and Future Research

Open items (deferred from v3 §9): cosmological constant value, neutrino mass mechanism, strong CP angle, baryogenesis, inflation, hierarchy problem, UV completion, quantum EFT treatment beyond anomalies, supersymmetry breaking, moduli stabilization.

New open items surfaced in v4:

• Test 10 (Witten SU(2) anomaly). The Standard Model has 3 fermion doublets per generation, and the Witten global SU(2) anomaly requires an even number of doublets. This is a known issue that requires a UV completion (e.g., a new sector) to resolve. v4 surfaces it; v3 hid it.
• Test 15 (anomaly inflow). A 14D bulk Chern–Simons term that reduces to a 4D Wess–Zumino term is consistent with the observerse structure but is not part of the v4 action. Future work.
• Test 18 (charge quantization from topology). The quantization of U(1) charges from the topology of $P$ is a GU claim that is not realized in v4. v4 does not specify the topology of $P$ beyond the abstract restriction on $G$.
• Test 24 (EFT one-loop matching). The matching of $S_{\mathrm{EFT}}$ to the 4D theory at one loop is not performed. Standard EFT technology applies; the computation is future work.

Internal open items: BV master equation for $S$; explicit renormalization; Yukawa texture derivation; cosmological matching of dark energy; systematic search over real forms of $G$ satisfying Proposition 2; comparison with Einstein–Cartan, Poincaré gauge theory, and generalized-Dirac-operator unification programs; machine-assisted formal verification (Lean, Coq, or Agda).

The honest accounting. v4 is a classical theory. Anomaly cancellation is treated as an input on the allowed $G$, not as a derivation from the action. Quantum UV completion is not performed. The observerse is a configuration space, not a physical spacetime. The generation count is an external input, not a derived quantity. The paper claims a coherent classical foundation with explicit accounting of what is and is not determined, not physical correctness.

11. Conclusion

The v4 revision of MR-MV-WGU addresses the v3 peer review's three structural criticisms directly. The Shiab-Einstein reduction is now a theorem, not an axiom. The augmented-torsion $D$-exactness is now derived from the Palatini variation under a stated physical assumption, not stipulated. The 25 stress-tests are now axiom-independent, with no test being a direct restatement of a single v3 axiom. A new §4 gives an explicit accounting of what survives of the original Geometric Unity proposal: the configuration-space role of the 14D observerse, the Standard Model gauge group as the maximal compact of the structure group, the Shiab as an ansatz about a specific tensor structure, and the generation count as an external input. v4 makes no claim of physical novelty beyond GR + SM; the contribution is the explicit formalization, the explicit accounting, and the explicit localization of gaps.

Acknowledgements

v4 was red-teamed, restructured, and reformatted with assistance from Claude Opus 4.1 (Mavis) in addition to the Grok 4.5 assistance acknowledged in v3. The mathematical content has been reviewed against standard references. Any remaining errors are the author's.

References

[1] E. R. Weinstein, Geometric Unity: Author's Working Draft, v 1.0 (April 1, 2021).

[2] T. Nguyen and T. Polya, A Response to Geometric Unity (2021).

[3] E. Atik, Consistent, Obstructed, Underdetermined: A Machine-Verified Audit of Geometric Unity, Kleis Research preprint.

[4] H. B. Lawson, Jr. and M.-L. Michelsohn, Spin Geometry, Princeton Mathematical Series 38, Princeton University Press (1989).

[5] D. Hilbert, Die Grundlagen der Physik, Nachr. Ges. Wiss. Göttingen (1915).

[6] A. Einstein, Die Feldgleichungen der Gravitation, Sitzungsber. Preuss. Akad. Wiss. Berlin (1915).

[7] C. N. Yang and R. L. Mills, Conservation of Isotopic Spin and Isotopic Gauge Invariance, Phys. Rev. 96, 191 (1954).

[8] L. Alvarez-Gaumé and M. A. Vázquez-Mozo, Anomalies and the Green–Schwarz Mechanism, in Handbook of Quantum Gravity, Springer (2024); arXiv:2211.06467.

[9] J. H. Schwarz, Anomaly Cancellation: A Retrospective, Int. J. Mod. Phys. A 17, 1575–1604 (2002).

[10] F. W. Hehl, Four Lectures on Poincaré Gauge Field Theory, arXiv:2303.05366 (2023).

[11] Y. N. Obukhov, Poincaré Gauge Gravity Primer, in Modified and Quantum Gravity, LNP 1017, Springer (2023), pp. 105–143.

[12] M. Blagojević and F. W. Hehl (eds.), Gauge Theories of Gravitation: A Reader with Commentaries, Imperial College Press (2013).

[13] W. Nahm, Supersymmetries and Their Representations, Nucl. Phys. B 135, 149–166 (1978).

[14] J. Tolksdorf, The Einstein–Hilbert–Yang–Mills–Higgs Action and the Dirac–Yukawa Operator, J. Math. Phys. 39, 2213–2241 (1998); arXiv:hep-th/9612149.

[15] W. A. Rodrigues Jr., Differential Forms on Riemannian (Lorentzian) and Riemann–Cartan Structures, arXiv:0712.3067.

[16] D. S. Freed, The Atiyah–Singer Index Theorem, Bull. Amer. Math. Soc. 58, 517–566 (2021); arXiv:2107.03557.

[17] R. S. Palais (ed.), Seminar on the Atiyah–Singer Index Theorem, Annals of Mathematics Studies 57, Princeton University Press (1965).

[18] J. F. Donoghue, The Effective Field Theory Treatment of Quantum Gravity, arXiv:1209.3511.

All references are archival, peer-reviewed, or established review sources.