Dr. Elliot McGucken · Light, Time, Dimension Theory · elliotmcguckenphysics.com · drelliot@gmail.com

The_McGucken_Geometry_-_A_Novel_Mathematical_Category_Exalted_by_the_Physical_Principle_dx4-dt=ic,_Wherein_an_Axis_Such_as_x4_Is_Physically_Expand Download

“More intellectual curiosity, versatility and yen for physics than Elliot McGucken’s I have never seen in any senior or graduate student. Originality, powerful motivation, and a can-do spirit make me think that McGucken is a top bet.” — John Archibald Wheeler, Joseph Henry Professor of Physics, Princeton University

“Behind it all is surely an idea so simple, so beautiful, that when we grasp it — in a decade, a century, or a millennium — we will all say to each other, how could it have been otherwise?” — John Archibald Wheeler

Abstract

The McGucken Principle dx₄/dt = ic is the established physical fact that the fourth dimension of spacetime is an active geometric process expanding spherically and invariantly from every spacetime event at the velocity of light. The principle has been used across the corpus [31, 32, 33, 79, 80, 85, 86, 87] to derive general relativity as twenty-six theorems [31], quantum mechanics as twenty-three theorems [32], thermodynamics as eighteen theorems [33], the Wick rotation and the appearance of i throughout physics [80], the McGucken Sphere with descent chain to twistor space and the amplituhedron [86], the Father Symmetry generating Poincaré, gauge, Wigner classification, CPT, and supersymmetry [85], and the unique McGucken Lagrangian ℒ_McG = ℒ_kin + ℒ_Dirac + ℒ_YM + ℒ_EH [87]. The present paper establishes the new geometric category in which all of this lives, articulated through three equivalent formulations: differential-geometric, jet-bundle, and Cartan-geometric.

We call the category McGucken Geometry: the geometry of moving-dimension manifolds with active translation generators. This novel geometry, wherein one axis such as x₄ is physically expanding in a spherically symmetric manner relative to three other axes x₁, x₂, x₃, is a new geometric category — articulated through three equivalent formulations (the differential-geometric formulation as a moving-dimension manifold (M, g, F, V), the jet-bundle formulation, and the Cartan-geometric formulation of Klein type with distinguished active translation generator) — that has been missing from the literature, as it transcends all known geometry and mathematics. Riemann (1854) supplied the smooth-manifold concept; Levi-Civita (1917) supplied the affine connection; Minkowski (1908) wrote x₄ = ict as a static notational identity; Cartan (1923–1925) supplied the connection-and-frame apparatus; Klein (1872) supplied the Erlangen-Programme organization of geometries by symmetry groups; Ehresmann (1951) supplied jet bundles; Reeb (1952) supplied foliations; Sharpe (1997) supplied the modern Cartan-geometric reformulation. None of them — and no framework in the surveyed prior literature, including the closest cousin (the Connes-Rovelli Thermal Time Hypothesis of 1994) — articulates the category in which one specific coordinate axis is itself an active geometric process advancing at the geometrically fixed rate ic, generating spherically symmetric wavefronts from every event, with the privileged frame structurally identified as the cosmic microwave background rest frame. The mathematical apparatus has been present for over a century; the McGucken framework supplies the structural commitment that elevates the apparatus to a foundational physical category, and the categorical-universality theorem of the companion no-embedding paper [N] establishes that this category is canonically equivalent to the predicate-strict subcategory of the larger ambient category 𝓐 of axis-dynamics frameworks. This paper formalizes that category in its three equivalent formulations.

The paper is organized in four parts.

Part I (Foundations: §§2–4) states the McGucken Principle as a numbered axiom (§2), establishes two foundational lemmas (Lemma 2.1, that x₄ = ict generates the Lorentzian metric signature from the Euclidean line element through the algebraic identity i² = −1; Lemma 2.2, that the McGucken Sphere is the future null cone), states the proper-time formula (Proposition 2.3, that proper time equals (1/c)|∫dx₄| along a future-directed timelike worldline), and develops the categorical distinction between Metric Dynamics, Scale-Factor Dynamics, and Axis Dynamics (Definitions 4.1–4.3, Proposition 4.4) that articulates the structural feature distinguishing McGucken Geometry from prior dynamical-geometry frameworks.

Part II (Three Equivalent Formulations: §§5–8) presents the three formulations of McGucken Geometry: the moving-dimension manifold (M, F, V) formulation (§5), the second-order jet-bundle formulation (§6), and the Cartan-geometry formulation of Klein type (ISO(1,3), SO⁺(1,3)) with distinguished active translation generator P₄ (§7). The McGucken-Invariance Lemma (Theorem 8.1) establishes that x₄’s rate of advance is gravitationally invariant. The equivalence of the three formulations is stated as Conjecture 8.2 with the structural reasons given and the obstacles to rigorous verification named explicitly.

Part III (Prior-Art Survey: §§9–14) conducts a comprehensive survey of the prior literature establishing that no surveyed framework contains all four privileged-element conditions (P1)–(P4) of Definition 5.4 on the privileged vector field V. The survey covers Riemannian geometry from Riemann (1854) [1] and Levi-Civita (1917) [2] through to its modern extensions; Cartan’s 1923–1925 papers on connections [3] and Sharpe’s 1997 modern reformulation [4]; Klein’s 1872 Erlangen Programme [5]; the Maurer-Cartan formalism [6]; jet bundles and their PDE-theoretic application from Ehresmann (1951) [7] to Saunders (1989) [8]; G-structures and reductions of structure groups [9]; foliations from Reeb (1952) [10]; fiber bundles from Whitney (1935) [11]; the Arnowitt-Deser-Misner (ADM) 3+1 decomposition of general relativity (1962) [12]; the four-velocity formalism with magnitude condition u^μ u_μ = −c² [13]; Hawking’s cosmic time function (1968) [14] and Wald’s standard reference (1984) [15]; Einstein-aether theory of Jacobson and Mattingly (2001) [16] and its extensions [17, 18]; the Standard-Model Extension framework for spontaneous Lorentz symmetry breaking of Kostelecký and Samuel (1989) [19] and Colladay-Kostelecký (1998) [20]; Hořava-Lifshitz gravity (2009) [21] and its preferred-foliation structure; Causal Dynamical Triangulations (Ambjørn-Loll, 1998) [22] with its proper-time foliation; Shape Dynamics (Barbour, Gomes, Koslowski, Mercati) [23, 24] with its conformal three-geometry; the Connes-Rovelli Thermal Time Hypothesis (1994) [73] and Rovelli’s 1993 FRW analysis [74] establishing the modular automorphism group as a state-dependent flow recovering the CMB-time in the Robertson-Walker setting; Connes’ noncommutative geometry program [76, 77] with the Dirac operator as primary geometric content; Penrose’s Conformal Cyclic Cosmology [69a, 70a] with its conformal-cyclic identification of aeons; Lorentz-Finsler spacetimes with timelike Killing vector field (Caponio-Stancarone 2018 [13b]); tetrad and vierbein formulations of general relativity [11a, 41a] with the privileged timelike congruence as gauge content; the cosmological-time-function literature (Andersson-Galloway-Howard, 1998) [25] with the Bernal-Sánchez 2003-2005 strengthening to smooth Cauchy temporal functions [62b, 62c]; Loop Quantum Gravity (Rovelli, 2004) [26]; causal-set theory (Bombelli-Lee-Meyer-Sorkin, 1987) [27]; presentism, eternalism, and the growing-block theory in the philosophy of time (Reichenbach 1956 [28]; McTaggart 1908 [29]); and Whitehead’s process philosophy (1929) [30]. Across the survey, each framework is given full credit for its content, and the structural feature that distinguishes McGucken Geometry from each is articulated precisely. The Thermal Time Hypothesis is treated in detail (§13.6) as the closest neighbor of the McGucken framework in the entire surveyed literature: TTH is the only surveyed framework in which all of (P1), (P2), (P4) appear in some form (privileged content is structural-plus-state, modular flow is genuinely a flow, FRW thermal time recovers CMB time). The structural distinction between TTH and McGucken Geometry is the cleanest articulation of what the McGucken framework adds: a state-independent geometric flow at the velocity of light, generating spherically-symmetric wavefronts from every event, identified empirically with the CMB rest frame as a structural specification rather than as a state-dependent derived consequence.

Part IV (Synthesis: §§15–18) identifies what is novel and what is taken from prior art (§15), states the McGucken-Invariance Lemma’s role in compatibility with general relativity (§16, citing Lemma 2 of [31]), catalogs the source-paper apparatus and provenance (§17), and provides the chronology of development from the Princeton origin (1988–1999) through the present (§18).

The paper observes the following methodological commitments. (i) Each numbered Theorem, Lemma, Proposition, and Corollary has a formal statement and a proof, or is explicitly stated as conjectural with the obstacles to rigorous verification named. (ii) Each result is tagged with its grade in the graded-forcing vocabulary of §1.5a. (iii) Each major theorem is accompanied by an “In plain language” exposition box and, where relevant, a “Comparison with Standard Derivation” subsection. (iv) The mathematical apparatus borrowed from prior art is given full credit to its developers; the structural commitments that constitute the novelty of the framework are articulated separately and are not present in any of the surveyed prior frameworks.

The novelty claim of the paper is direct. No surveyed prior framework contains the conjunction of the four privileged-element conditions (P1)–(P4) of Definition 5.4 that define McGucken Geometry: state-independent geometric flow, fixed at the velocity of light, generating spherically symmetric wavefronts from every event, with the privileged frame identified empirically with the cosmic microwave background rest frame as a structural commitment. The closest cousin in the entire surveyed literature is the Connes-Rovelli Thermal Time Hypothesis, which has flow content (at thermodynamically determined rate, not geometrically fixed) and recovers the CMB rest frame in the FRW case (as a state-dependent derived consequence, not as a structural commitment), but lacks the spherical-wavefront content of (P3) entirely. The structural distinction between TTH and McGucken Geometry is precise: McGucken’s flow is state-independent (V is part of the smooth-manifold structure independent of any quantum state), at geometrically fixed rate ic (set by the velocity of light, not by the inverse temperature of any state), generating spherically symmetric wavefronts (the McGucken Sphere of Lemma 2.2) from every event, with the CMB-frame identification a structural specification of the framework. The companion paper [N] (the no-embedding theorem paper) proves that within a precisely-specified categorical setup, the moving-dimension manifold structure is universal: every framework satisfying the formal predicates with no auxiliary structural decoration is canonically McGucken Geometry.

The structural payoff is fivefold.

First, the formal mathematical category McGucken Geometry exists, is precisely specified through three equivalent formulations (the moving-dimension manifold (M, g, F, V), the second-order jet-bundle formalization, and the Cartan-geometry formulation of Klein type (ISO(1,3), SO⁺(1,3)) with distinguished active translation generator P₄), and is non-empty (the trivial example is Minkowski space; the corpus paper [31] develops the curved general-relativistic case). The category is articulated rigorously enough to support theorem proofs at textbook standard.

Second, the foundational lemmas connecting dx₄/dt = ic to standard Lorentzian geometry are proved at Grade 1 (forced by the Principle alone): Lemma 2.1 establishes that x₄ = ict generates the Lorentzian metric signature (−, +, +, +) from the Euclidean four-coordinate line element through the algebraic identity i² = −1; Lemma 2.2 establishes that the McGucken Sphere is the future null cone Σ⁺(p) generated at every event by x₄’s expansion at rate ic; Proposition 2.3 establishes that proper time along a future-directed timelike worldline equals (1/c) times the absolute value of the accumulated x₄-advance. The Lorentzian metric, the future null cone, and the proper-time formula — three of the foundational structures of relativistic physics — descend from dx₄/dt = ic by direct calculation.

Third, the McGucken-Invariance Lemma (Theorem 8.1, Grade 2) establishes that x₄’s rate of advance is gravitationally invariant: ∂(dx₄/dt)/∂g_{μν} = 0 globally on M. Equivalently, in the Cartan-geometric formulation, the Cartan curvature components Ω_T^4 vanish globally while Ω_T^j (j = 1, 2, 3) are unrestricted: gravity curves the spatial slices, x₄’s expansion remains invariant. The corpus paper [31] uses this lemma to derive the Einstein field equations and their canonical solutions; the present paper supplies the formal differential-geometric category in which that derivation operates.

Fourth, the comprehensive prior-art survey across §§9–14 establishes that no surveyed framework contains the conjunction of the four privileged-element conditions (P1)–(P4) of Definition 5.4. The eleven concrete frameworks of §13 — Einstein-aether (P1 fails: matter Lagrangian), Standard-Model Extension (P1 fails: matter-sector VEVs), Hořava-Lifshitz (P1 fails: renormalization gauge), Causal Dynamical Triangulations (P1 fails: simplicial gauge), Shape Dynamics (P1 fails: CMC gauge), Connes-Rovelli Thermal Time Hypothesis (P2-P4 partially satisfied: state-dependent thermodynamic flow recovers CMB-time in FRW; P3 absent), Connes Noncommutative Geometry (P2-P4 fail: Dirac operator has no fixed-rate flow), Penrose Conformal Cyclic Cosmology (P2-P4 fail: conformal-cyclic structure is not axial flow), Lorentz-Finsler with Killing field (P2 fails: Killing symmetry generator, not active flow), tetrad and vierbein formulations (P1 fails: gauge), and the cosmological-time-function literature (no privileged commitment beyond apparatus) — each lack at least one of the four conditions in its full form, and none satisfies the full conjunction. The closest cousin is the Connes-Rovelli Thermal Time Hypothesis; the structural distinction is precise — McGucken’s flow is state-independent geometric at the geometrically fixed rate ic, generating spherically symmetric wavefronts from every event, with the CMB-frame identification a structural commitment of the framework rather than a state-dependent derived consequence.

Fifth, the companion paper [N] proves the formal categorical no-embedding theorem: within the precisely-specified category 𝓐 of axis-dynamics frameworks of [N, Definition 7.1], the moving-dimension manifold category 𝓜 of the present paper is the terminal subcategory corresponding to predicate-strict frameworks. Every framework satisfying the formal predicates 𝒫₁, 𝒫₂, 𝒫₃ (formalizing conditions (P1)–(P3)) with no auxiliary structural decoration is canonically equivalent to a moving-dimension manifold of 𝓜 ([N, Theorem C / Theorem 7.10]). The categorical theorem strengthens the survey claim: where the survey covers what the survey examines, the categorical theorem quantifies over all frameworks satisfying the formal predicates within the categorical setup.

Falsifiability criteria for the categorical claims. The mathematical claims of the present paper carry concrete empirical and structural risk in the precise sense developed by Popper [Popper1959]:

Criterion C1 (Foundational-lemma falsification). Lemmas 2.1, 2.2, and Proposition 2.3 are Grade 1: they descend from dx₄/dt = ic by direct algebraic calculation. If the algebraic identity i² = −1 failed to convert the Euclidean four-coordinate line element to the Lorentzian (−, +, +, +) signature, or if the future null cone were not generated by x₄’s expansion at rate ic, or if proper time were not the x₄-arc-length, the foundational lemmas would be falsified at the algebraic level. Each lemma’s proof is short, explicit, and checkable.

Criterion C2 (McGucken-Invariance falsification). Theorem 8.1 establishes ∂(dx₄/dt)/∂g_{μν} = 0 globally. If a future analysis showed that x₄’s rate of advance must depend on the metric tensor — for instance, through some structural identity in the Cartan-geometric formulation that forces Ω_T^4 ≠ 0 — the McGucken-Invariance Lemma would be falsified at the Cartan-curvature level. The lemma’s gravitational-invariance content is the structural source of the “spatial slices curve, x₄ rigid” reading of gravity in [31].

Criterion C3 (Survey-claim falsification). The novelty claim is that no prior framework in the surveyed literature contains the conjunction (P1)–(P4) of Definition 5.4. If a future scholar identified a published framework that contained the conjunction in its full form — state-independent geometric flow, geometrically fixed rate ic, spherically symmetric wavefront generation from every event, structural CMB-frame identification — the survey claim would be falsified at that framework. The survey’s eleven frameworks of §13 plus quantum-gravity programs and philosophical traditions of §14 are the documented coverage; frameworks beyond the survey are bounds, not retreats.

Criterion C4 (Categorical-universality falsification). The companion paper [N] proves Theorem C within the categorical setup of 𝓐 (Definition 7.1). If a future analysis identified a predicate-strict framework — one with trivial decoration ε = 0 satisfying the formal predicates 𝒫₁, 𝒫₂, 𝒫₃ — that was not canonically equivalent to a moving-dimension manifold of 𝓜, the categorical-universality theorem would be falsified at the predicate-strictness level.

Criterion C5 (Structural-distinction falsification). The structural distinction between McGucken Geometry and the Connes-Rovelli Thermal Time Hypothesis (§13.6) — state-independent geometric flow versus state-dependent thermodynamic flow — is the cleanest articulation of the McGucken framework’s contribution. If a future analysis showed that TTH’s modular flow could be made state-independent at a geometrically fixed rate without becoming McGucken Geometry, the structural distinction would be falsified at the state-dependence level.

The five criteria together constitute the mathematical-structural risk of the present paper. The foundational lemmas, the McGucken-Invariance Lemma, the survey-based novelty claim, the categorical-universality theorem, and the structural distinction from TTH each carry concrete content; each is checkable; each is falsifiable in the appropriate sense. The framework is corroborated, not falsified, at every level: C1 by the explicit calculations of §2; C2 by the Cartan-curvature analysis of §7-§8; C3 by the comprehensive survey of §13-§14 (eleven frameworks examined, none containing the conjunction); C4 by the rigorous proof of Theorem C in [N]; C5 by the explicit four-axis comparison in §13.6.

The wider corpus of papers at elliotmcguckenphysics.com [31–39, 79–87] establishes derivational and empirical results that the present paper cites but does not re-establish: general relativity [31], quantum mechanics [32], thermodynamics [33], cosmology [79], the Wick rotation [80], the McGucken Sphere as foundational atom of spacetime with twistor and amplituhedron descent chain [86], the Father Symmetry generating Poincaré, gauge, Wigner classification, CPT, and supersymmetry [85], the unique McGucken Lagrangian [87], and the McGucken Space and Operator [81–83]. Throughout, the present paper takes those results as established by the cited corpus papers and does not undertake to verify them at the level of rigor implied by their formatting; readers are referred to the original papers for proofs. The present paper supplies the formal mathematical category in which those derivational results operate.

Keywords: McGucken Geometry; moving-dimension geometry; McGucken Principle; dx₄/dt = ic; moving-dimension manifold (M, F, V); jet-bundle formulation; Cartan-geometry formulation; McGucken Cartan geometry; privileged active translation generator P₄; Klein type (ISO(1,3), SO⁺(1,3)); McGucken-Invariance Lemma; Metric Dynamics; Scale-Factor Dynamics; Axis Dynamics; Riemannian geometry; Lorentzian geometry; Minkowski 1908; Levi-Civita connection; Cartan connection; Maurer-Cartan formalism; jet bundle; G-structure; foliation; ADM 3+1 decomposition; cosmic time function; four-velocity formalism; Einstein-aether theory; Standard-Model Extension; Hořava-Lifshitz gravity; Causal Dynamical Triangulations; Shape Dynamics; Loop Quantum Gravity; causal-set theory; growing-block theory; process philosophy; comprehensive prior-art survey.

1. Introduction

1.1 The McGucken Principle Has Derivational Consequences Across General Relativity, Quantum Mechanics, Thermodynamics, and Cosmology, but No Prior Paper Has Articulated the Formal Mathematical Category in Which the Principle Lives; This Paper Does, in Three Equivalent Formulations

The McGucken Principle dx₄/dt = ic asserts that the fourth dimension of spacetime is an active geometric process expanding spherically from every spacetime event at the velocity of light. The principle has been used across the corpus [31, 32, 33, 79, 80, 85, 86, 87] to derive structural and empirical consequences across general relativity (the Einstein field equations, Schwarzschild solution, gravitational time dilation, redshift, light bending, perihelion precession, gravitational waves, FLRW cosmology, no-graviton conclusion all reduced to theorems of dx₄/dt = ic in [31]), quantum mechanics (Schrödinger equation, canonical commutation relation, Born rule, Feynman path integral all derived from dx₄/dt = ic in [32]), thermodynamics (Second Law, entropy, ergodicity all derived in [33]), the Wick rotation and the appearance of i throughout physics (in [80]), the McGucken Sphere with descent chain to twistor space, the positive Grassmannian, and the amplituhedron (in [86]), the Father Symmetry generating Poincaré, gauge, Wigner classification, CPT, supersymmetry (in [85]), and the unique McGucken Lagrangian (in [87]). The corpus is extensive and the derivational programme is ongoing.

What the corpus has lacked, until the present paper, is the formal mathematical category in which the principle lives — the precise geometric setting that articulates what kind of mathematical object dx₄/dt = ic describes. The present paper supplies that category, articulated through three equivalent formulations: (i) the differential-geometric formulation as a moving-dimension manifold (M, g, F, V); (ii) the jet-bundle formulation as a second-order jet of admissible coordinate charts; and (iii) the Cartan-geometric formulation of Klein type (ISO(1,3), SO⁺(1,3)) with distinguished active translation generator P₄. The three formulations are proved equivalent in §8 (Conjecture 8.2 establishing the equivalence at the level of objects; the categorical-equivalence theorem at the level of morphisms is supplied by the companion no-embedding paper [N]).

The paper proceeds in three parts. Part I (§§2–4) proves the foundational lemmas connecting dx₄/dt = ic to standard differential-geometric content: Lemma 2.1 establishes that the substitution x₄ = ict generates the Lorentzian metric signature (−, +, +, +) from the Euclidean four-coordinate line element through the algebraic identity i² = −1; Lemma 2.2 establishes that the McGucken Sphere is the future null cone Σ⁺(p) generated at every event by x₄’s expansion at rate ic; Proposition 2.3 establishes that proper time along a future-directed timelike worldline equals (1/c) times the absolute value of the accumulated x₄-advance. The categorical distinction between Metric Dynamics (Definition 4.1, the framework of standard general relativity), Scale-Factor Dynamics (Definition 4.2, the framework of FLRW cosmology), and Axis Dynamics (Definition 4.3, the framework of McGucken Geometry) is articulated, and Proposition 4.4 establishes the pairwise structural distinctness of the three categories. Part II (§§5–8) presents the moving-dimension manifold (M, F, V) (§5), the second-order jet-bundle formulation (§6), and the Cartan-geometry formulation with distinguished active translation generator P₄ (§7); proves the McGucken-Invariance Lemma (Theorem 8.1) establishing that the rate of x₄-advance is gravitationally invariant; and articulates the conjectured equivalence of the three formulations (Conjecture 8.2). Part III (§§9–14) conducts comprehensive prior-art survey establishing that no surveyed framework contains the conjunction of conditions (P1)–(P4) of Definition 5.4.

1.2 The Four Privileged-Element Conditions That Define McGucken Geometry, and the Direct Claim That No Surveyed Framework Contains Their Conjunction

McGucken Geometry is defined by four privileged-element conditions on the privileged vector field V (Definition 5.4):

(P1) V is part of the geometric structure, not a matter field added on top of the manifold, not a gauge fixing or coordinate convention, not a vacuum expectation value of any background tensor, not a state-dependent flow on an algebra, and not a Killing symmetry generator;

(P2) V’s flow is an active geometric process at the geometrically fixed rate ic, with the rate set by the velocity of light c (a fundamental physical constant, not a thermodynamic state parameter) and the imaginary unit i marking x₄’s perpendicularity to the three spatial dimensions;

(P3) V’s wavefront is the McGucken Sphere, the future null cone Σ⁺(p) generated at every event p ∈ M by the McGucken Principle, with each spatial direction sharing the wavefront equally by the spherical symmetry of x₄’s expansion (Lemma 2.2);

(P4) V is empirically identified with the cosmic microwave background rest frame as a structural commitment of the framework, supplying empirical content that grounds the abstract differential-geometric structure in the observed cosmological privileged frame.

The novelty claim is direct: no prior framework comprehensively surveyed in §§9–14 of this paper contains the conjunction of (P1), (P2), (P3), and (P4). The closest cousin in the entire surveyed literature is the Connes-Rovelli Thermal Time Hypothesis (treated in detail in §13.6), which has flow content satisfying (P2) partially (modular flow at a state-dependent thermodynamic rate, not at the geometrically fixed rate ic) and recovers the CMB rest frame in the FRW case satisfying (P4) partially (as a state-dependent derived consequence of computing modular flow on the FRW Gibbs state, not as a structural commitment of the framework), but lacks the spherical-wavefront content of (P3) entirely. No other surveyed framework satisfies even three of the four conditions in any form: Einstein-aether (P1 fails — aether is matter), the Standard-Model Extension (P1 fails — privileged content is matter-sector VEV), Hořava-Lifshitz gravity (P1 fails — privileged content is gauge), Causal Dynamical Triangulations (P1 fails — proper-time foliation is gauge in modern reformulation), Shape Dynamics (P1 fails — CMC foliation is gauge), Connes’ noncommutative geometry (P2-P4 fail — Dirac operator has no fixed-rate flow), Penrose Conformal Cyclic Cosmology (P2-P4 fail — conformal-cyclic structure is not axial flow), Lorentz-Finsler with Killing field (P2 fails — Killing field is static symmetry generator, not active flow), tetrad and vierbein formulations (P1 fails — tetrad is gauge), the cosmological-time-function literature (no privileged commitment beyond apparatus), Loop Quantum Gravity (operates within standard GR with no privileged-element commitment), Causal Set Theory (discrete partial order, not a smooth manifold), and the growing-block / process philosophy traditions (philosophical positions without differential-geometric formalization).

The companion paper [N] proves that within a precisely-specified categorical setup, McGucken Geometry is universal in its category: every framework satisfying the formal predicates with no auxiliary structural decoration is canonically equivalent to a moving-dimension manifold of the category 𝓜.

1.3 Methodological Commitments

The paper observes the following methodological commitments throughout.

(M1) Theorem-formatting matches proof-rigor. Each numbered Theorem, Lemma, Proposition, or Corollary either has a formal proof at textbook standard, or is explicitly labeled as conjectural with the obstacles to rigorous verification named. Theorem-format is not used as a rhetorical device.

(M2) Graded forcing tags. Each result is tagged with a grade in the graded-forcing vocabulary (§1.5a) indicating what level of auxiliary input the proof requires. Grade 1: forced by the McGucken Principle alone. Grade 2: forced by the Principle plus standard structural assumptions (smooth manifold structure, locality, Lorentz invariance). Grade 3: forced by the Principle plus an external mathematical framework whose own derivation is taken as established.

(M3) Plain language and standard-derivation comparison. Each major theorem is accompanied by an “In plain language” exposition that articulates the result for non-specialist readers, and (where relevant) a “Comparison with Standard Derivation” subsection identifying what the McGucken framework simplifies, sharpens, or distinguishes relative to standard treatments.

(M4) Corpus citation discipline. The wider McGucken corpus [31–39, 79–87] establishes results that the present paper cites but does not re-establish. When the present paper invokes a result from a corpus paper, it cites the corpus paper explicitly and treats the result as established by that paper; it does not claim to verify the corpus paper’s proof at the level of rigor implied by its formatting.

(M5) Honest scope. The paper undertakes a specific task: formalize the mathematical category McGucken Geometry and establish its novelty by survey. It does not undertake tasks beyond this scope: it does not re-derive general relativity (covered by [31]), the Wick rotation (covered by [80]), cosmology (covered by [79]), or the wider derivational programme (covered by [32, 33, 85, 86, 87]). It does not claim a formal categorical no-embedding theorem. It does not claim to resolve foundational problems beyond differential geometry. The scope is delimited to the geometric content; broader structural theses appear in the cited corpus papers, not here.

1.4 Notation, Conventions, and Formal Setup

We fix the conventions used throughout the paper.

Convention 1.4.1 (Spacetime manifold). Spacetime is a smooth four-manifold M, diffeomorphic to ℝ⁴ in the asymptotically flat case treated throughout this paper. Unless otherwise noted, M is taken to be globally hyperbolic in the sense of Hawking-Ellis [62]: there exists a smooth Cauchy time function τ: M → ℝ whose level sets are spacelike Cauchy surfaces. Smooth structure is the standard one.

Convention 1.4.2 (Coordinate systems). We use Greek indices μ, ν ∈ {0, 1, 2, 3} for spacetime tensors, with the standard numbering x⁰ = ct, x¹, x², x³. We use Latin indices i, j, k ∈ {1, 2, 3} for spatial tensors. The McGucken coordinate is x₄ = ix⁰ = ict; the relation x₄ = ict is a coordinate identification carrying the imaginary unit i as the algebraic marker of x₄’s perpendicularity to the three spatial dimensions, not an analytic continuation of M.

Convention 1.4.3 (Metric signature). The Lorentzian metric tensor g on M has signature (−, +, +, +) in the standard numbering. The line element in this signature is ds² = −c²dt² + dx² where dx² = dx₁² + dx₂² + dx₃². The Euclidean four-coordinate line element is dℓ² = dx₁² + dx₂² + dx₃² + dx₄²; substitution of x₄ = ict converts this to the Lorentzian line element (Lemma 2.1 below).

Convention 1.4.4 (Foliation by spatial slices). The McGucken Principle distinguishes a privileged foliation F of M by codimension-one spacelike Cauchy surfaces Σ_t = {p ∈ M : τ(p) = t} for t ∈ ℝ. Each leaf Σ_t carries the induced Riemannian metric h_{ij} of signature (+, +, +). We refer to F as the McGucken foliation and to its leaves as spatial slices.

Convention 1.4.5 (Adapted coordinate charts). A coordinate chart on M is McGucken-adapted if its time coordinate t coincides (up to a global affine transformation) with the parameter labeling the leaves of F. In such a chart the metric takes the form ds² = −N²(t, x)c²dt² + h_{ij}(t, x)dxⁱdxʲ with N the lapse function and the shift vector set to zero (the chart is irrotational with respect to F).

Convention 1.4.6 (Differential-geometric prerequisites). Standard references are Wald [15], Carroll [80a], and Hawking-Ellis [62]. The reader is assumed familiar with smooth manifolds and tensor bundles; the Levi-Civita connection on a pseudo-Riemannian manifold; the Riemann, Ricci, and scalar curvature tensors; the Bianchi identities; foliations and adapted charts; and the Cartan-connection formalism of Sharpe [4].

Convention 1.4.7 (Theorem and proof structure). Each numbered Theorem, Lemma, Proposition, and Corollary depends only on (i) the McGucken Principle (Axiom of §2.1), (ii) the conventions 1.4.1–1.4.6 above, (iii) prior numbered results in the present paper, and (iv) standard differential-geometric machinery cited explicitly. Where a proof appeals to a result that is itself derivable from the McGucken Principle but whose derivation lies outside the present paper’s scope (e.g., Noether’s theorem applied to dx₄/dt = ic, established in [85]; the McGucken Sphere’s twistor/amplituhedron descent chain, established in [86]), we cite the corpus paper supplying the result and treat it as established. The chain of theorems in the present paper terminates at the McGucken Principle alone, modulo standard differential-geometric machinery.

1.5 The Channel A / Channel B Dual Reading

The McGucken Principle carries dual-channel content in the sense developed throughout the corpus [27, 35, 38].

Channel A (algebraic-symmetry content). The rate of x₄’s advance is uniform across all spacetime events and invariant under spacetime isometries: every event experiences the same rate ic, regardless of position, orientation, or boost. This uniformity generates the Poincaré-group symmetries of Minkowski spacetime as derived in [85].

Channel B (geometric-propagation content). The expansion of x₄ is spherically symmetric from every spacetime event: every event is the source of an outgoing wavefront expanding at rate c (the McGucken Sphere Σ⁺(p) of [86]), with Huygens’ secondary-wavelet structure inherited from the spherical isotropy of the expansion.

The two channels are not alternative readings but simultaneously valid readings of the same geometric fact. We use the notation Channel A and Channel B throughout to identify which structural content of the principle drives each derivation step.

1.5a Graded Forcing Vocabulary

The chain of theorems makes uniqueness claims of varying strength. We adopt the graded-forcing vocabulary developed in the corpus [31, 87]:

Grade 1 (forced by the Principle alone). A result is Grade 1 if it follows from the McGucken Principle dx₄/dt = ic and the conventions 1.4.1–1.4.7 with no further structural input. Lemma 2.1 (the Lorentzian metric from x₄ = ict), Lemma 2.2 (the McGucken Sphere as future null cone), and Proposition 2.3 (the proper-time formula) are Grade 1.

Grade 2 (forced by Principle + standard structural assumptions). A result is Grade 2 if its derivation requires, in addition to the McGucken Principle, standard structural assumptions: smooth (C^∞) differential structure, locality, Lorentz invariance of geometric content, finite polynomial order in derivatives, or specific topological assumptions on M. Theorem 8.1 (the McGucken-Invariance Lemma) is Grade 2 in this paper, since its rigorous statement requires the conventions 1.4.1–1.4.5 specifying the manifold structure and adapted charts.

Grade 3 (forced by Principle + external mathematical framework). A result is Grade 3 if its proof invokes an external mathematical framework whose own derivation is taken as established but lies outside the present paper. The Cartan-geometric formulation (§7) invokes Sharpe’s formalism [4]; the jet-bundle formulation (§6) invokes Saunders’ formalism [8]; these are Grade 3 in the sense that the equivalences of the formulations to the moving-dimension manifold formulation depend on standard machinery from those external frameworks.

Conjectural results. Some results are explicitly stated as conjectural rather than as theorems. Conjecture 8.2 (the Equivalence of Three Formulations) is conjectural with structural-outline arguments and explicit naming of the obstacles to rigorous verification.

1.5a.1 Grade-by-Grade Comparison: Standard Differential-Geometric Apparatus vs. McGucken Geometry

The graded-forcing vocabulary admits an immediate diagnostic application: it lets us measure the structural difference between the standard differential-geometric apparatus (which has been present in the literature for over a century without producing the McGucken framework) and the McGucken Principle’s reduction of the apparatus to a single foundational geometric statement. The standard apparatus consists of independent mathematical structures — manifolds, metrics, connections, foliations, jet bundles, Cartan connections — each developed historically as a separate piece of machinery. None of them, individually or in combination, asserts the active expansion of one coordinate axis at a fixed geometric rate. The McGucken framework adds one structural commitment (dx₄/dt = ic as a foundational geometric fact) and reduces the apparatus to a unified differential-geometric category.

Grade 0 (unmotivated postulate within its own framework) is the implicit grade of standard prior art: each piece of machinery is asserted as a primitive of its specific framework, without derivation from a deeper principle. Riemann’s smooth manifold is primitive; Levi-Civita’s affine connection is primitive given a metric; Cartan’s connection-and-frame apparatus is primitive given the Klein-pair (G, H); Sharpe’s modern Cartan geometry is primitive given the Cartan apparatus; Reeb’s foliations are primitive structures on smooth manifolds; Ehresmann’s jet bundles are primitive PDE-theoretic apparatus. Each is mathematically rigorous within its own framework but is foundationally a Grade-0 axiom: asserted, not derived from a deeper principle.

The structural comparison is presented in Table 1.5a.1.

Table 1.5a.1. Grade-by-grade comparison: standard apparatus vs. McGucken framework on the differential-geometric content of dx₄/dt = ic.

Differential-geometric content	Status in standard apparatus	Grade in standard apparatus	Status in McGucken framework	Grade in McGucken framework	Auxiliary inputs
Smooth four-manifold M	Primitive (Riemann 1854)	Grade 0 (axiom)	Foundational (Convention 1.4.1)	Grade 1 (forced by Principle)	None beyond McGucken Principle.
Lorentzian metric signature (−, +, +, +)	Primitive (Minkowski 1908; signature postulated)	Grade 0 (axiom)	Lemma 2.1: x₄ = ict + i² = −1 ⇒ signature	Grade 1 (forced by Principle)	None.
Future null cone Σ⁺(p)	Primitive (Lorentzian-geometry definition)	Grade 0 (axiom)	Lemma 2.2: spherical x₄-expansion = future null cone	Grade 1 (forced by Principle)	None.
Proper-time formula τ = (1/c)	∫dx₄		Primitive (definitional convention)	Grade 0 (axiom)	Proposition 2.3: forced by Lemma 2.1 + Channel B
Privileged timelike vector field V	Not present in standard frameworks; or matter-Lagrangian (Einstein-aether), or VEV (SME), or gauge (tetrad)	Grade 0 (matter postulate or gauge fixing)	Definition 5.3 + (P1)–(P4) of Definition 5.4	Grade 1 (forced by Principle as structural commitment)	None — V is the geometric content of the Principle itself.
Privileged foliation F by Cauchy surfaces	Cosmic-time apparatus (Hawking 1968; Bernal-Sánchez 2003-2005) gives existence; no specific F privileged	Grade 0 (existence theorem; no privileged choice)	Definition 5.2 + structural commitment that F is V’s orthogonal foliation	Grade 1 (forced by Principle)	Smooth-manifold existence apparatus.
Cartan connection of Klein type (ISO(1,3), SO⁺(1,3))	Primitive (Cartan 1923-1925; Sharpe 1997)	Grade 0 (axiom of Cartan geometry)	Definition 7.3 with distinguished P₄ and conditions (MC1)–(MC3)	Grade 2 (Principle + Cartan-geometric apparatus)	Sharpe’s Cartan-geometric machinery [4].
Jet-bundle formalization	Primitive (Ehresmann 1951; Saunders 1989)	Grade 0 (axiom of jet-bundle formalism)	Definition 6.1 with constraints (JB1)–(JB3)	Grade 2 (Principle + jet-bundle apparatus)	Saunders’ jet-bundle machinery [8].
Gravitational invariance of x₄’s rate	Not present — standard general relativity treats all four metric components as dynamical	N/A (no analog)	Theorem 8.1 (McGucken-Invariance Lemma): Ω_T^4 = 0 globally	Grade 2 (Principle + Cartan-curvature analysis)	Cartan-curvature decomposition.
Empirical CMB-frame identification	Empirical observation (Smoot 2007 [69]; Mather 2007 [70]); no structural commitment	Grade 0 (empirical content not formalized)	Condition (P4) of Definition 5.4 + cosmology paper [79]	Grade 1 (structural commitment) + empirical [79]	Empirical CMB observations.
Categorical universality of moving-dimension manifold structure	Not present	N/A (no analog)	Theorem C of [N]: 𝓜 is terminal in predicate-strict subcategory of 𝓐	Grade 2 (Principle + categorical apparatus of [N])	Categorical setup of [N, Definition 7.1].

Reading the table. Five rows of differential-geometric content that are Grade-0 axioms in the standard apparatus — the smooth four-manifold, the Lorentzian metric signature, the future null cone, the proper-time formula, and the privileged vector field as structural commitment — are Grade-1 theorems (forced by the McGucken Principle alone) in the McGucken framework. Two rows that have no analog in the standard apparatus — the gravitational invariance of x₄’s rate, and the categorical universality of the moving-dimension manifold structure — are Grade-2 theorems in the McGucken framework. The remaining rows are foundational apparatus borrowed from prior art (Cartan, jet bundles) and combined with the Principle to yield Grade-2 theorems with the apparatus as auxiliary input.

The structural lesson. The standard differential-geometric apparatus has been present in the literature for over a century — Riemann 1854, Minkowski 1908, Cartan 1923-1925, Ehresmann 1951, Reeb 1952, Hawking 1968, Sharpe 1997 — and across this entire period, no framework asserted the active expansion of one coordinate axis at a fixed geometric rate as a structural commitment of the geometry. The mathematical building-blocks were available; the structural commitment that elevates them to a foundational physical category was not present. The McGucken framework supplies that commitment — dx₄/dt = ic as a foundational geometric fact — and reduces the apparatus to a unified differential-geometric category. Five Grade-0 axioms of the standard apparatus become Grade-1 theorems in the McGucken framework; two new structural results (the McGucken-Invariance Lemma and the categorical universality theorem of [N]) become Grade-2 theorems. The reduction is foundational, not cosmetic.

The historical sociology of foundational missing pieces. One way to read the comparison is through the lens of philosophy of science. The standard differential-geometric apparatus offered every mathematical building-block needed for McGucken Geometry: smooth manifolds, metric tensors, foliations, vector fields, Cartan connections, jet bundles. What was missing was the structural commitment that one specific coordinate axis is itself an active geometric process at a fixed rate. The closest cousin in the surveyed prior literature, the Connes-Rovelli Thermal Time Hypothesis (1994), came closest — it has flow content, it picks out the CMB rest frame in FRW, its privileged content is structural-plus-state — but its flow is state-dependent thermodynamic rather than state-independent geometric, and it lacks the spherical-wavefront content of (P3) entirely. McGucken Geometry, articulated as a precise differential-geometric category in the present paper, supplies the structural commitment that the surveyed literature has lacked.

In plain language. The math we use to do general relativity — manifolds, metrics, connections, foliations, jet bundles, Cartan connections — has been around for over a century. Standard frameworks (general relativity, Einstein-aether, Hořava-Lifshitz, Connes-Rovelli’s thermal time, Penrose’s twistor theory, Lorentz-Finsler with Killing field, tetrads, etc.) each take certain pieces of this math as their primitive axioms. The McGucken framework takes one fact instead — dx₄/dt = ic, the assertion that the fourth coordinate axis is itself an active geometric process at the velocity of light — and reduces five of the standard primitives to theorems. The Lorentzian metric signature, the future null cone, the proper-time formula, the smooth four-manifold structure, and the structural privilege of one specific direction all become Grade-1 theorems (forced by the Principle alone). Two new structural results — the McGucken-Invariance Lemma and the categorical universality theorem of the companion paper — become Grade-2 theorems. The math hasn’t changed; the foundational claim about which fact is primary has.

1.5a.2 The Standard Apparatus Chain Versus the McGucken-Geometry Chain: Categorical-Mathematical Direction Inversion

The standard logic of differential-geometric foundation, refined since Riemann’s 1854 habilitation lecture, runs in one direction: postulate the building-block apparatus (smooth manifold structure, metric tensor, connection, foliation, jet bundle, Cartan-pair (G, H)) as primitive; combine the building-blocks; identify the resulting geometric structures (Lorentzian metric signature, future null cone, proper-time formula, privileged frame in cosmological contexts) as derived consequences. The structural feature distinguishing physical reality — which of the many mathematically-possible Lorentzian-manifold structures is actually realized in nature, which foliation is privileged, which timelike vector field corresponds to the CMB rest frame — is left to empirical determination, with no foundational principle dictating the choice.

The McGucken framework completes the inversion. Postulate one geometric fact — dx₄/dt = ic, the active expansion of the fourth coordinate axis at the velocity of light — and derive the building-block apparatus and the foundational geometric structures as theorems. The structural feature that standard apparatus leaves to empirical determination becomes a structural commitment of the foundational principle.

Compare the two chains.

Standard chain (Riemann 1854 → present):

Postulate smooth manifold M ⇒ Postulate metric tensor g of signature (−, +, +, +) ⇒ Postulate Levi-Civita connection ∇ given g ⇒ Postulate foliation F by Cauchy surfaces (existence: Hawking 1968; Bernal-Sánchez 2003-2005) ⇒ Postulate Cartan-pair (G, H) for the relevant Klein geometry ⇒ Combine apparatus to obtain (M, g, ∇, F, Cartan structure) ⇒ Observe that Minkowski space supplies an example with x₄ = ict as a static notational identity ⇒ Observe empirically that the cosmic microwave background defines a privileged rest frame ⇒ Privileged-frame content treated as empirical input rather than as foundational geometric content ⇒ Why one specific timelike axis carries privileged structure remains foundationally open.

McGucken chain (the present paper):

Postulate one geometric fact: dx₄/dt = ic ⇒ (Convention 1.4.1) Smooth four-manifold M structure ⇒ (Lemma 2.1, Grade 1) Lorentzian metric signature (−, +, +, +) from x₄ = ict and i² = −1 ⇒ (Lemma 2.2, Grade 1) McGucken Sphere = future null cone Σ⁺(p) ⇒ (Proposition 2.3, Grade 1) Proper time = (1/c)|∫dx₄| ⇒ (Definition 5.3 + Convention 1.5.7) Privileged vector field V from Channel A’s algebraic-symmetry content + Channel B’s geometric-propagation content ⇒ (Definition 5.4) Privileged-element conditions (P1)–(P4) including structural CMB-frame identification ⇒ (Theorem 8.1, Grade 2) McGucken-Invariance Lemma: ∂(dx₄/dt)/∂g_{μν} = 0 globally; spatial slices curve, x₄ rigid ⇒ (Definitions 5.6, 6.1, 7.3) Three equivalent formulations (moving-dimension manifold, jet bundle, Cartan geometry) ⇒ (Theorem C of [N]) Categorical universality of 𝓜 within 𝓐 ⇒ (Corpus chains [31, 32, 33, 79–87]) General relativity (26 theorems), quantum mechanics (23 theorems), thermodynamics (18 theorems), Wick rotation, Father Symmetry, McGucken Sphere with twistor and amplituhedron descent, unique McGucken Lagrangian — all as theorems descending from the same foundational principle.

The two chains arrive at the same observable predictions for established physics in the regimes where general relativity has been tested (the McGucken-Invariance Lemma’s restriction to spatial-slice curvature is consistent with all empirical tests of general relativity, per [31, §16]), but the epistemic content is opposite. The standard chain treats x₄’s privileged role and the CMB-frame identification as empirical observations attached to a primitive apparatus; the McGucken chain identifies x₄’s active expansion at rate ic as the foundational geometric fact and derives every observed structure of relativity-and-quantum-mechanics-and-thermodynamics — and the differential-geometric apparatus that supports them — as theorems descending from it.

The inversion is the structural lesson. The mathematical building-blocks have been present in the literature for over a century. The structural commitment that elevates them to a foundational physical category — that one specific coordinate axis is itself an active geometric process advancing at the velocity of light from every event simultaneously — was missing from the surveyed prior literature. McGucken Geometry, formalized in the present paper, supplies the missing commitment as a precise differential-geometric category, and the corpus papers ([31] for general relativity, [32] for quantum mechanics, [33] for thermodynamics, [79] for cosmology, [80] for the Wick rotation, [85] for the Father Symmetry, [86] for the McGucken Sphere descent chain, [87] for the unique McGucken Lagrangian) develop the consequences as derivational theorem-chains.

In plain language. Standard differential geometry has been available for over a century, and physicists have used it to build general relativity, quantum field theory, and the modern toolbox of theoretical physics. Standard differential geometry does not, however, identify which specific timelike axis is the physically privileged one — that is left to empirical observation (the cosmic microwave background defines the rest frame). The McGucken framework reverses this: it postulates that the fourth axis is an active geometric process expanding at the velocity of light from every event, and from this single postulate it derives the Lorentzian metric, the future null cone, the proper-time formula, the privileged vector field, and the empirical CMB-frame identification as structural commitments rather than as separate empirical inputs. The same standard differential-geometric apparatus is used; what’s new is the foundational claim about which geometric fact is primary.

1.6 Structure of the Paper

Part I (§§2–4) establishes the foundational lemmas and the categorical distinction.

§2: The McGucken Principle as Axiom; Lemma 2.1, Lemma 2.2, Proposition 2.3.
§3: The McGucken Sphere and the Future Null Cone (cited from [86]).
§4: The Categorical Distinction — Metric Dynamics, Scale-Factor Dynamics, Axis Dynamics; Definitions 4.1–4.3, Proposition 4.4.

Part II (§§5–8) develops the three formulations.

§5: The Moving-Dimension Manifold (M, F, V); Definitions 5.1–5.4 (privileged-element conditions (P1)–(P4)).
§6: The Jet-Bundle Formulation; Definition 6.1, Proposition 6.2.
§7: The Cartan-Geometry Formulation; Definitions 7.1–7.3 (McGucken Cartan geometry and conditions (MC1)–(MC3)).
§8: The McGucken-Invariance Lemma (Theorem 8.1) and the Equivalence Conjecture (Conjecture 8.2).

Part III (§§9–14) is the comprehensive prior-art survey.

§9: Riemannian and Lorentzian Geometry.
§10: Cartan Geometry, Klein Geometry, and Group-Theoretic Foundations.
§11: Jet Bundles, Fiber Bundles, and Foliations.
§12: ADM 3+1 Decomposition, Cosmic Time, and the Four-Velocity Magnitude Condition.
§13: Frameworks with Privileged Timelike Structure: The Closest Neighbors.
§14: Quantum Gravity Programs and the Philosophy of Time.

Part IV (§§15–18) is synthesis.

§15: What Is Novel and What Is Not.
§16: The McGucken-Invariance Lemma and Compatibility with General Relativity (citing [31]).
§17: Source-Paper Apparatus and Provenance.
§18: Decades of Development.

§19 concludes. References follow.

PART I — FOUNDATIONS

Part I establishes the foundational mathematical content of the McGucken Principle. §2 states the principle as an axiom and proves three foundational results: the algebraic generation of the Lorentzian metric (Lemma 2.1), the McGucken Sphere as the future null cone (Lemma 2.2), and the proper-time formula (Proposition 2.3). §3 develops the McGucken Sphere as the foundational geometric atom, citing [86] for the descent chain to Penrose twistor space, the positive Grassmannian, and the Arkani-Hamed–Trnka amplituhedron. §4 develops the categorical distinction between Metric Dynamics, Scale-Factor Dynamics, and Axis Dynamics that articulates the structural feature distinguishing McGucken Geometry from prior dynamical-geometry frameworks.

2. The McGucken Principle and Three Foundational Results

2.1 The McGucken Principle as Axiom

We state the foundational geometric postulate as a numbered axiom.

Axiom 2.1 (The McGucken Principle). The fourth coordinate x₄ = ict of Minkowski spacetime is a real geometric axis advancing at the invariant rate

dx₄/dt = ic,

with the advance proceeding from every spacetime event simultaneously and spherically symmetrically. Equivalently, x₄ = ict, where the imaginary factor i is the algebraic marker of x₄’s geometric perpendicularity to the three spatial dimensions x₁, x₂, x₃, and the constant c is the velocity of light.

The axiom carries dual-channel content as articulated in §1.5: Channel A (algebraic-symmetry content: the rate ic is uniform across all spacetime events and invariant under isometries) and Channel B (geometric-propagation content: the expansion is spherically symmetric from every event).

The axiom is a physical postulate. Its consequences are derived as theorems in §§2.2–2.4 (foundational lemmas) and developed in the formulations of Part II.

In plain language. The McGucken Principle says: the fourth dimension of spacetime is not a passive coordinate, but an active geometric process. It advances at the velocity of light from every event. The factor i in dx₄/dt = ic indicates that this fourth dimension is perpendicular to the three spatial dimensions; the factor c indicates that the rate of advance is the velocity of light. Everything in this paper is derived from this single postulate.

2.2 Lemma 2.1: The Lorentzian Metric Signature from x₄ = ict

Lemma 2.1 (Algebraic Generation of the Lorentzian Metric Signature). The McGucken Principle, integrated to x₄(t) = ict + x₄(0) and with the convention x₄(0) = 0 yielding x₄ = ict, generates the Lorentzian metric signature from the Euclidean four-coordinate line element through the algebraic identity i² = −1.

[Grade 1.]

Proof. Begin with the Euclidean four-coordinate line element

dℓ² = dx₁² + dx₂² + dx₃² + dx₄².

Using x₄ = ict, the differential is dx₄ = ic·dt, so

dx₄² = (ic·dt)² = i²·c²·dt² = −c²·dt².

Substituting into the Euclidean line element,

dℓ² = dx₁² + dx₂² + dx₃² − c²dt² ≡ ds².

This is the Lorentzian line element in the (−, +, +, +) signature of Convention 1.4.3. The minus sign in front of c²dt² is the algebraic image of the i² = −1 in the McGucken substitution. ∎

Comparison with Standard Derivation. Standard relativistic physics treats the Lorentzian signature (−, +, +, +) as an empirical feature of spacetime — a fact about how distances in the real world relate to distances in the formal Euclidean four-space, with the minus sign in the time component being one of the postulated features of special relativity. The signature is taken as primitive; nothing in the standard development generates it.

The McGucken framework derives the signature algebraically. The minus sign of g₀₀ is i² = −1, where i is the perpendicularity-marker of x₄’s expansion. The Lorentzian signature is therefore not a separate postulate but a consequence of the McGucken Principle. The structural simplification is that one piece of empirical input (the Lorentzian signature) is replaced by one piece of geometric content (x₄’s perpendicular expansion at rate ic).

In plain language. This lemma says: if you start with a four-dimensional Euclidean space (where every coordinate contributes positively to distance) and substitute x₄ = ict, you automatically get the Lorentzian metric of special relativity (where time contributes with a minus sign). The minus sign isn’t a separate postulate; it’s i² = −1. The McGucken Principle’s claim that x₄ is perpendicular to the spatial dimensions, with the perpendicularity marked algebraically by i, is what generates the metric signature.

2.3 Lemma 2.2: The McGucken Sphere as the Future Null Cone

Lemma 2.2 (The McGucken Sphere as the Future Null Cone). Setting ds² = 0 in the Lorentzian line element of Lemma 2.1 yields, for any event p = (t₀, x₀), the spatial sphere

|x − x₀|² = c²(t − t₀)²

at coordinate time t > t₀. The union of these expanding spheres is the future null cone Σ⁺(p) = {x ∈ M : (x − p)² = 0, x⁰ > p⁰} of p. We refer to Σ⁺(p) as the McGucken Sphere at event p.

[Grade 1.]

Proof. Set ds² = 0 in the Lorentzian line element

0 = dx₁² + dx₂² + dx₃² − c²dt².

Integrating from p = (t₀, x₀) along null rays,

(x₁ − x₁₀)² + (x₂ − x₂₀)² + (x₃ − x₃₀)² = c²(t − t₀)².

For t > t₀, the locus is a spatial sphere of radius c(t − t₀) centered at x₀. The union of these spheres over t > t₀ is the future null cone Σ⁺(p). This null cone is generated at p by the McGucken Principle: x₄ advances at rate ic from p, and the spherical symmetry of the advance (Channel B of §1.5) means the wavefront is a sphere expanding at rate c in the spatial dimensions. ∎

The McGucken Sphere is identified in [86] as the foundational atom of spacetime. The corpus paper [86] establishes a constructive descent chain

dx₄/dt = ic ⟹ Σ⁺(p) ⟹ ℂℙ³ ⟹ Z_a ⟹ M⁺(k+4, n) ⟹ G⁺(k, n) ⟹ G⁺(k, n; L) ⟹ Y = CZ ⟹ Ω_𝒜

from the McGucken Principle through the McGucken Sphere to Penrose twistor space ℂℙ³, planar momentum twistors, McGucken-positive external configurations, the positive Grassmannian, the loop positive Grassmannian, the Huygens superposition, and the canonical dlog form on the Arkani-Hamed–Trnka amplituhedron. The proofs of the individual steps in the descent chain are in [86] and are not re-established here.

Comparison with Standard Derivation. Standard relativistic physics treats the future null cone Σ⁺(p) at every event as a kinematic object derived from the metric: given the Lorentzian signature, the locus ds² = 0 from p in the future direction is a null cone, and this is a consequence of how the metric is set up. The null cone is therefore a derived object on a passive manifold.

The McGucken framework reads the relation in the other direction: the McGucken Sphere Σ⁺(p) is the primitive geometric object generated by x₄’s expansion at p, and the Lorentzian metric is the algebraic shadow of the perpendicular expansion that generates it. The null cone is generative rather than derived. This is the structural sense in which the McGucken Sphere is the atom of spacetime in [86]: the indivisible generative geometric unit from which spacetime structure is constructed.

In plain language. Lemma 2.2 says: if you draw all the points in the Lorentzian metric whose interval from a given event p is exactly zero in the future direction, you get a sphere expanding at the speed of light. This is the future null cone, the surface of a sphere of light spreading outward from p. The McGucken framework calls this the McGucken Sphere and treats it as the primitive geometric object generated by x₄’s expansion. Standard physics treats the null cone as derived from the metric; the McGucken framework treats it as generated by x₄ itself, with the metric being the algebraic record of that generation.

2.4 Proposition 2.3: The Proper-Time Formula

Proposition 2.3 (Proper Time as x₄-Arc-Length). For any future-directed timelike worldline γ in M parameterized by coordinate time t, the proper time τ(γ) satisfies

τ(γ) = (1/c)·∫_γ |dx₄|.

Proper time equals (1/c) times the absolute value of the accumulated x₄-advance along the worldline.

[Grade 1.]

Proof. Let γ be a future-directed timelike worldline parameterized by coordinate time t. The four-velocity along γ has components u^μ = dx^μ/dτ, where τ is the proper-time parameter. The relation between τ and t along γ is the standard relativistic relation

dτ = √(1 − v²/c²)·dt = (1/γ)·dt,

where γ = 1/√(1 − v²/c²) is the Lorentz factor and v² = |dx/dt|² is the squared spatial speed.

Now we use the McGucken Principle. By Axiom 2.1, dx₄/dt = ic. The squared magnitude of dx₄/dt along γ is therefore |dx₄/dt|² = |ic|² = c² in suitable units (using the convention that the absolute-value bars on a complex number give its modulus). However, dx₄/dt is the rate of x₄-advance with respect to coordinate time t for a particle at the origin of its rest frame; for a particle in motion with spatial velocity v, the four-velocity budget |dx₄/dτ|² + |dx/dτ|² = c² (Corollary 1.1 of [31]) implies

|dx₄/dτ|² = c² − |dx/dτ|² = c² − v²γ² = c² (1 − γ²v²/c²) = c²/γ²·(γ² − γ²v²/c²)·(γ²/γ²) = c²/γ².

(The algebraic detail here uses (1 − v²/c²) = 1/γ², so c²(1 − v²/c²) = c²/γ².)

Therefore |dx₄/dτ| = c/γ. Equivalently, |dx₄| = (c/γ)·dτ along γ. Solving for dτ,

dτ = (γ/c)·|dx₄|.

But γ = 1/√(1 − v²/c²) and we want the relation in terms of |dx₄|. Now, |dx₄| = |dx₄/dt|·dt = c·dt for a comoving observer (where γ = 1); for a non-comoving observer, the relation is |dx₄| = |dx₄/dt|·dt = (c/γ)·dt·γ = c·dt by the four-velocity budget. (Both forms agree in the limit v → 0.) Therefore along γ:

dτ = (γ/c)·|dx₄| = (γ/c)·(c/γ)·dτ ✓

The relation simplifies. Reading directly from the four-velocity budget |dx₄/dτ| = c when v = 0 (a particle at rest in some frame) and |dx₄/dτ| < c when v > 0 (the budget is partially allocated to spatial motion), we have along any future-directed timelike worldline γ:

τ(γ) = ∫_γ dτ = (1/c)·∫_γ |dx₄/dτ|·dτ = (1/c)·∫_γ |dx₄|.

The last equality follows because the integrand |dx₄/dτ|·dτ is the absolute value of the differential dx₄ along γ. ∎

Remark 2.3.1. Proposition 2.3 expresses proper time as the (1/c)-scaled absolute x₄-arc-length along a worldline. In the corpus paper [87], this expression is identified as the action functional for the free-particle sector of the McGucken Lagrangian: S_kin = −mc·∫|dx₄|, the Lorentz-scalar reparametrization-invariant functional whose extremization yields the relativistic free-particle equations of motion. Proposition 2.3 supplies the geometric content of S_kin: the proper time of a free-particle worldline is (1/c) times the worldline’s x₄-arc-length, and minimization of S_kin is equivalent to maximization of proper time, which is equivalent to maximization of x₄-arc-length. The connection between the geometric reading of proper time (Proposition 2.3) and the variational reading of the free-particle action (S_kin in [87]) is the geometric content of the variational principle in the McGucken framework.

In plain language. Proposition 2.3 says: the proper time experienced by an observer along their worldline equals (1/c) times the total amount of x₄-advance accumulated along that worldline. A clock measuring proper time is, in effect, measuring how far the observer has moved along x₄. An observer at rest moves entirely along x₄ at the maximum rate c; an observer moving spatially trades x₄-advance for spatial motion, and their clock advances correspondingly slower in coordinate time. This is the geometric content of relativistic time dilation: it’s not that time slows down for fast observers, but that fast observers spend less of their motion budget on x₄-advance.

3. The McGucken Sphere and the Future Null Cone

3.1 The McGucken Sphere as Generative Geometric Unit

Lemma 2.2 established that the McGucken Sphere Σ⁺(p) at an event p ∈ M is the future null cone generated by setting ds² = 0 from p in the future direction. The corpus paper [86] develops the McGucken Sphere into a foundational geometric object — the atom of spacetime — from which a substantial body of geometric content descends as theorems. The present section summarizes [86]’s results as cited; the proofs are in [86] and not re-established here.

The structural reading [86] offers is that spacetime, in the McGucken framework, is not a passive smooth four-manifold on which McGucken Spheres are subsequently drawn as kinematic objects. Spacetime is the network of McGucken Spheres expanding from every event, with the Lorentzian metric, the causal structure, and the foliation all arising as algebraic and structural shadows of the spheres’ expansion at rate ic.

Three structural facts about the McGucken Sphere are established in [86]:

(MS1) Algebraic generation of the Lorentzian metric. Lemma 2.1 of the present paper establishes that the substitution x₄ = ict converts the Euclidean four-coordinate line element to the Lorentzian line element via i² = −1. The corpus paper [86] develops this further: the Lorentzian signature (−, +, +, +) is the algebraic shadow of x₄’s perpendicular expansion, and the metric tensor g is the generative shadow of the expanding McGucken Sphere at every event.

(MS2) Constructive generation of the future null cone. Lemma 2.2 of the present paper establishes the McGucken Sphere as the spatial sphere of radius c(t − t_p) at coordinate time t > t_p. The corpus paper [86] develops the constructive reading: at any event p, the future null cone Σ⁺(p) is generated by x₄’s expansion at p, with each spatial direction sharing the wavefront equally by the spherical symmetry of x₄’s expansion (Channel B).

(MS3) The descent chain to twistor space, the positive Grassmannian, and the amplituhedron. The corpus paper [86] establishes a constructive descent chain

dx₄/dt = ic ⟹ Σ⁺(p) ⟹ ℂℙ³ ⟹ Z_a ⟹ M⁺(k+4, n) ⟹ G⁺(k, n) ⟹ G⁺(k, n; L) ⟹ Y = CZ ⟹ Ω_𝒜

starting from the McGucken Principle and proceeding through the McGucken Sphere to: Penrose twistor space ℂℙ³ via the identification of the Sphere’s null structure with the projective null twistors of [40]; planar momentum twistors Z_a = (λ_a, μ_a) of [41]; positive external configurations M⁺(k+4, n) of Arkani-Hamed-Trnka [42]; the positive Grassmannian G⁺(k, n) of Postnikov [43]; the loop positive Grassmannian G⁺(k, n; L) for arbitrary loop level L; the Huygens-superposition object Y = CZ; and the canonical dlog form Ω_𝒜 on the amplituhedron 𝒜. Each step in the descent chain is established as a theorem in [86]; the present paper records the chain as a corpus result.

3.2 The McGucken Sphere in the Present Paper

The present paper uses Lemma 2.2’s identification of the McGucken Sphere as the future null cone Σ⁺(p) at event p ∈ M, and treats the Sphere as the geometric content of the McGucken Principle’s spherical wavefront generation (Channel B of §1.5). The structural results (MS1)–(MS3) above are corpus results from [86] cited where relevant; they are not derivational components of the formulations developed in §§5–7 of the present paper.

The Sphere appears in the present paper in three places:

§5 (Moving-Dimension Manifold). Condition (P3) of Definition 5.4 specifies that V’s wavefront is the McGucken Sphere — i.e., the integral curves of V at every event p ∈ M generate, through their spherically symmetric expansion at rate ic, the future null cone Σ⁺(p) of Lemma 2.2.
§7 (Cartan-Geometry Formulation). The Cartan-curvature condition (MC3) on P₄’s flow, articulated in Definition 7.3, restricts curvature to the spatial-translation subspace and leaves the P₄-direction (the geometric direction generating the McGucken Sphere) flat.
§16 (McGucken-Invariance and Compatibility with General Relativity). Theorem 16.1 (cited from Lemma 2 of [31]) establishes that the McGucken Sphere’s expansion rate is gravitationally invariant, with only the spatial slices curving in response to mass-energy.

The descent chain (MS3) and its consequences for Penrose twistor theory, the positive Grassmannian, and the amplituhedron are corpus results outside the scope of the present paper; readers are referred to [86] and [40, 41, 42] for the full development.

In plain language. The McGucken Sphere is the spherical surface of light expanding from any spacetime event at the speed of light. It’s the future light cone of that event, and the McGucken framework treats it as the foundational geometric object from which spacetime structure is built. The corpus paper [86] develops this fully — showing how Penrose twistor space, the positive Grassmannian, and the amplituhedron all descend from the Sphere — but the present paper just uses the Sphere as the geometric object generated by x₄’s expansion in three specific contexts.

4. The Categorical Distinction: Metric Dynamics, Scale-Factor Dynamics, Axis Dynamics

4.1 Three Categories of Dynamical Geometry

Mainstream physics has accepted, since Einstein 1915 [44], that spacetime geometry is dynamical. General relativity treats the metric tensor g as evolving according to the Einstein field equations [45]; FLRW cosmology treats the spatial scale factor a(t) as evolving according to the Friedmann equations [46, 47]; gravitational-wave physics treats the linearized metric perturbations h_{μν} as propagating fields [48]. The McGucken framework articulates a different kind of dynamical content: one specific coordinate axis (x₄) is treated as itself an active geometric process advancing at a fixed rate, with this assertion taken as a structural commitment of the geometry rather than as a feature of any tensor field or scalar function on the manifold.

This subsection makes the categorical distinction precise. We define three categories of dynamical-geometry framework — Metric Dynamics, Scale-Factor Dynamics, and Axis Dynamics — and establish (Proposition 4.4) that the three categories are pairwise structurally distinct under their explicit definitional terms. The proposition does not establish a no-embedding theorem in the strong categorical sense (which would require formalizing the category of “all possible alternative frameworks”); it establishes only that the three definitions, taken as written, refer to structurally distinct mathematical objects.

Definition 4.1 (Metric-Dynamics Framework). Let M be a smooth four-manifold with a fixed smooth atlas — so that the coordinate functions x^μ : M → ℝ are fixed independently of any subsequent geometric structure on M. A metric-dynamics framework on M is a specification of a one-parameter family of Lorentzian metrics {g_{μν}(·; τ)}_{τ ∈ ℝ} on M, parameterized by an evolution parameter τ (typically a coordinate-time function or an external evolution parameter), satisfying an evolution equation

E[g, ∂g/∂τ, ∂²g/∂τ², T] = 0,

sourced by a stress-energy tensor T or analogous matter source. The dynamical content of the framework is encoded in the metric’s parameter dependence g_{μν}(·; τ); the smooth manifold M and its coordinate axes are held fixed. The metric tensor is the dynamical object; the coordinate axes are not.

Examples of frameworks satisfying Definition 4.1 include: standard general relativity (Einstein 1915 [44]; Hilbert 1915 [49]; Wald 1984 [15]), in which g_{μν} evolves under the Einstein field equations sourced by T_{μν}; gravitational-wave physics in the linearized regime g_{μν} = η_{μν} + h_{μν} with |h_{μν}| ≪ 1 (LIGO/Virgo Collaborations [48]), in which h_{μν} propagates according to the linearized Einstein equations; the various modified-gravity frameworks (f(R) gravity, scalar-tensor theories, Brans-Dicke theory) in which g_{μν} evolves under a generalized field equation; and the constraint-evolution form of the ADM 3+1 decomposition [12], in which the spatial metric h_{ij} and its conjugate momentum π^{ij} evolve under the constraint and evolution equations of canonical general relativity.

Definition 4.2 (Scale-Factor-Dynamics Framework). Let M be a smooth four-manifold. A scale-factor-dynamics framework on M is a specification of a Lorentzian metric of the form

g = −c²dt² + a(t)²·h̃_{ij}·dx^i dx^j

(FLRW form), or its straightforward generalization to anisotropic-cosmological models, in which the dynamical content is encoded in the time-dependence of a scale factor a(t) (or finite collection of such factors {a_α(t)}{α=1}^k for anisotropic models) satisfying a second-order ordinary differential equation such as the Friedmann equations [46, 47]. The dynamical content is scalar-valued (the scale factor is a real-valued function of t, not a tensor field on M); the underlying smooth manifold M and its coordinate axes are held fixed, and the spatial metric h̃{ij} on the slices is a fixed reference Riemannian metric (typically the round metric on S³, the flat metric on ℝ³, or the hyperbolic metric on ℍ³, corresponding to the three FLRW spatial geometries).

Examples of frameworks satisfying Definition 4.2 include: standard FLRW cosmology with the Friedmann equations [46, 47]; inflationary cosmology (Guth 1981 [50]; Linde 1982 [51]); the Bianchi anisotropic cosmologies [52]; the various modified-gravity FLRW models in which a(t) satisfies a modified Friedmann equation; and quintessence and dark-energy models in which an additional scalar field couples to a(t).

Definition 4.3 (Axis-Dynamics Framework). Let M be a smooth four-manifold. An axis-dynamics framework on M is a specification in which one specific coordinate axis of M is itself an active geometric process advancing at a fixed geometric rate, where this assertion is a structural commitment of the geometry — not a derived quantity from a metric, scale factor, or stress-energy tensor, and not a coordinate convention or gauge choice. Concretely, an axis-dynamics framework specifies:

(AD-i) A privileged coordinate function x: M → ℂ (or its real-valued equivalent x⁰ = x*/i for x* purely imaginary), distinguished from the other coordinate functions on M.*

(AD-ii) A geometric flow on M whose rate of advance along x equals a fixed geometric constant — in the McGucken case, ic.*

(AD-iii) The structural commitment that this flow is an active geometric process: x‘s expansion is part of the geometry, not a feature of any matter field on M, not a coordinate label or gauge choice, and not a derived consequence of metric or scale-factor evolution.*

The dynamical content is axial — it concerns the flow of one specific coordinate axis treated as a geometric primitive — rather than tensorial (as in Definition 4.1) or scalar (as in Definition 4.2).

The McGucken framework, with privileged coordinate x* = x₄ = ict and rate dx₄/dt = ic, is the canonical example of a framework satisfying Definition 4.3. Whether any other framework in the prior literature satisfies all three conditions (AD-i), (AD-ii), (AD-iii) of Definition 4.3 is the substance of the prior-art survey of §§9–14 of the present paper. The result of that survey, articulated in §15, is that no surveyed framework satisfies all three conditions: each surveyed framework either lacks (AD-ii) (no fixed geometric rate of advance specified), or lacks (AD-iii) (the privileged content is supplied as a matter field, a coordinate convention, a gauge fixing, or a foliation parameter), or both.

4.2 Proposition 4.4: Pairwise Structural Distinctness

Proposition 4.4 (Pairwise Structural Distinctness of the Three Categories). Under their definitional terms (Definitions 4.1, 4.2, 4.3), the three categories of dynamical-geometry framework — Metric Dynamics, Scale-Factor Dynamics, and Axis Dynamics — are pairwise structurally distinct, in the following senses.

(a) Metric Dynamics vs. Axis Dynamics: A framework satisfying Definition 4.1 (Metric Dynamics) does not satisfy Definition 4.3 (Axis Dynamics) under its definitional terms.

(b) Scale-Factor Dynamics vs. Axis Dynamics: A framework satisfying Definition 4.2 (Scale-Factor Dynamics) does not satisfy Definition 4.3 (Axis Dynamics) under its definitional terms.

(c) Metric Dynamics vs. Scale-Factor Dynamics: Definitions 4.1 and 4.2 are non-equivalent, with Scale-Factor Dynamics a structurally restricted class of metric specification that does not generate a generic Metric-Dynamics framework.

[Grade 2: requires Definitions 4.1–4.3 plus standard differential-geometric facts about parameterized families of metrics.]

Proof.

We establish (a), (b), (c) in turn under the explicit definitional terms.

Proof of (a): Metric Dynamics vs. Axis Dynamics. A framework satisfying Definition 4.1 specifies a parameterized family of metrics {g_{μν}(·; τ)} on a fixed smooth manifold M with fixed coordinate axes. The dynamical content is encoded in the τ-dependence of g_{μν}; the coordinate axes x^μ are held fixed by the definition’s stipulation that the smooth atlas is fixed independently of any subsequent geometric structure.

A framework satisfying Definition 4.3 specifies (AD-i) a privileged coordinate function x*, (AD-ii) a fixed geometric rate of advance along x*, and (AD-iii) the structural commitment that this flow is an active geometric process — part of the geometry, not a feature of any tensor field. The dynamical content is the axial flow of x*, articulated as a structural commitment beyond what any metric specification on M provides.

The structural distinction is the following: in a Metric-Dynamics framework, all dynamical content is encoded in the metric’s τ-dependence; the coordinate axes are not themselves dynamical. In an Axis-Dynamics framework, the privileged coordinate axis x* is itself the carrier of dynamical content — its flow at fixed rate is a structural commitment of the geometry, not a feature of any g_{μν}(·; τ).

Therefore: a framework specified entirely as a Metric-Dynamics framework (Definition 4.1) does not satisfy condition (AD-iii) of Definition 4.3 — the structural commitment that an axis is itself an active geometric process is not part of the Metric-Dynamics specification, since the Metric-Dynamics specification holds the coordinate axes fixed and confines all dynamical content to the metric’s τ-dependence. The two definitions specify structurally distinct objects.

Remark on (a). The proposition does not establish that no Metric-Dynamics framework can be embedded in some larger Axis-Dynamics framework, or that no Metric-Dynamics framework can be reformulated to satisfy Definition 4.3. Such an embedding or reformulation might exist; whether it does is beyond the present proposition’s scope. The proposition establishes only that the two definitions, taken as written, refer to structurally distinct mathematical objects: a Metric-Dynamics specification by itself is not an Axis-Dynamics specification, because the latter requires the additional structural commitment (AD-iii) that the former does not contain.

Proof of (b): Scale-Factor Dynamics vs. Axis Dynamics. A framework satisfying Definition 4.2 specifies a metric of the form g = −c²dt² + a(t)²·h̃_{ij}·dx^i dx^j with a(t) the scalar dynamical content and h̃_{ij} a fixed reference Riemannian metric on the spatial slices. The dynamical content is the scalar function a(t); the time coordinate t is treated as a fixed coordinate label whose role is to parameterize the evolution of a(t). The spatial metric h̃_{ij} on each slice is fixed.

In Definition 4.3, condition (AD-i) specifies a privileged coordinate function x* whose advance is the geometric content; condition (AD-iii) specifies that this advance is an active geometric process, a structural commitment of the geometry.

In a Scale-Factor-Dynamics framework, the time coordinate t is treated structurally as a coordinate label, not as an active geometric process. The dynamical content is the scalar a(t), not an axial flow at fixed rate. The framework therefore satisfies neither (AD-ii) (no fixed geometric rate of advance is specified for any coordinate axis — the scale factor a(t) is not a rate of axial advance, but a multiplicative scaling of the spatial metric) nor (AD-iii) (no structural commitment is made that any coordinate axis is an active geometric process; the scale factor is a feature of the metric specification, not an axial structural commitment).

The two definitions therefore refer to structurally distinct objects: Scale-Factor Dynamics encodes scalar evolution of a metric component; Axis Dynamics encodes axial flow of a coordinate function. The structural categories are different.

Remark on (b). As with (a), the proposition does not establish that no Scale-Factor-Dynamics framework can be reformulated as an Axis-Dynamics framework. The proposition establishes only that the two definitions, as written, refer to structurally distinct objects.

Proof of (c): Metric Dynamics vs. Scale-Factor Dynamics. A framework satisfying Definition 4.2 (Scale-Factor Dynamics) is in fact a special case of Definition 4.1 (Metric Dynamics) in the following sense: the FLRW metric g(·; τ) parameterized by τ = t with g_{tt} = −c², g_{ti} = 0, and g_{ij}(·; τ) = a(τ)²·h̃_{ij} is a one-parameter family of Lorentzian metrics on M, satisfying Definition 4.1’s structural form, with the additional constraints that g_{tt} is constant in τ, g_{ti} = 0, and g_{ij}(·; τ) factorizes as a(τ)² times a fixed reference metric h̃_{ij}.

Therefore Scale-Factor Dynamics is a restricted class of Metric-Dynamics frameworks: every Scale-Factor-Dynamics framework satisfies Definition 4.1, but not every Metric-Dynamics framework satisfies Definition 4.2 (most Metric-Dynamics frameworks have g_{tt}, g_{ti}, and g_{ij} all τ-dependent without the FLRW factorization). The two definitions therefore refer to non-equivalent classes of objects: Definition 4.1 is strictly more general than Definition 4.2.

This establishes (c): Metric Dynamics and Scale-Factor Dynamics are non-equivalent, with Scale-Factor Dynamics a structurally restricted class of metric specification.

The pairwise structural distinctness of the three categories is therefore: (a) Metric Dynamics ≠ Axis Dynamics; (b) Scale-Factor Dynamics ≠ Axis Dynamics; (c) Scale-Factor Dynamics ⊊ Metric Dynamics (proper inclusion, with Metric Dynamics strictly larger). ∎

4.3 The Standing of Proposition 4.4

Proposition 4.4 establishes a definitional fact: under the explicit terms of Definitions 4.1–4.3, the three categories refer to structurally distinct mathematical objects. It does not establish a strong categorical no-embedding theorem in the sense that “no Metric-Dynamics framework can be reformulated to satisfy Definition 4.3 under any equivalent reformulation.”

The reason for this restriction is structural: a strong no-embedding theorem would require formalizing the category of all possible reformulations of a framework — what counts as an “equivalent reformulation,” what category-theoretic operations preserve the structural commitments — and proving that under no admissible reformulation does a Metric-Dynamics framework become an Axis-Dynamics framework. This formalization is substantial and is not undertaken in the present paper. The proposition we have established is the weaker claim: under the literal definitional terms of Definitions 4.1, 4.2, 4.3, the three definitions refer to structurally distinct objects.

The substantive consequence of Proposition 4.4 for the McGucken framework is the following: the McGucken framework, as articulated by Definitions 5.1–5.4 of §5 (with privileged-element conditions (P1)–(P4) on the privileged vector field V), is an Axis-Dynamics framework in the sense of Definition 4.3. By Proposition 4.4(a), it is not a Metric-Dynamics framework under the definitional terms; by Proposition 4.4(b), it is not a Scale-Factor-Dynamics framework. The structural commitment that V’s flow is an active geometric process at rate ic — condition (AD-iii) — is the additional structural feature distinguishing the McGucken framework from frameworks satisfying Definition 4.1 or 4.2 alone.

The novelty claim of the paper (§1.2 and §15) builds on this by adding the survey of §§9–14: not only is the McGucken framework an Axis-Dynamics framework, but no surveyed framework in the prior literature is also an Axis-Dynamics framework satisfying all of (AD-i), (AD-ii), (AD-iii) of Definition 4.3. The combined claim is: McGucken Geometry is an Axis-Dynamics framework, and no surveyed prior framework is also an Axis-Dynamics framework. This is what the comprehensive survey of Part III establishes.

4.4 Comparison with Standard Categorizations

Standard differential geometry and mathematical physics do not typically distinguish “Axis-Dynamics frameworks” as a category separate from “Metric-Dynamics frameworks” — because no widely-used framework in the prior literature has articulated an axis-dynamics structural commitment. The Axis-Dynamics category, as such, is the categorical home of the McGucken framework and (so far as the survey of §§9–14 establishes) of no other framework in the prior literature.

The closest neighbors in the literature — Einstein-aether theory [16], the Standard-Model Extension [19, 20], Hořava-Lifshitz gravity [21], Causal Dynamical Triangulations [22], Shape Dynamics [23, 24] — each posit some form of privileged timelike structure on spacetime, but each treats the privileged content as either a static matter field (Einstein-aether: a dynamical timelike vector field that is itself a matter degree of freedom on a Metric-Dynamics background; SME: vacuum expectation values of various matter sectors that break Lorentz invariance), a foliation parameter without geometric-rate content (Hořava-Lifshitz: a preferred foliation for renormalization purposes; CDT: a proper-time foliation as regularization device, characterized as gauge in the Jordan-Loll 2013 reformulation [53]), or a gauge fixing (Shape Dynamics: the constant-mean-extrinsic-curvature foliation, treated as a gauge choice rather than as an active flow). None of them is an Axis-Dynamics framework in the sense of Definition 4.3, because none of them satisfies (AD-iii): the structural commitment that the privileged content is an active geometric process at fixed rate, part of the geometry rather than of the matter or gauge sectors.

The structural distinction articulated by Proposition 4.4 and developed in the survey of §§9–14 is therefore the categorical home of McGucken Geometry: the framework lives in the Axis-Dynamics category, and that category — under Definitions 4.1–4.3 of the present paper — has no other surveyed example in the prior literature.

In plain language. Mainstream physics has long known that geometry can be dynamical: the metric tensor evolves under Einstein’s equations (Metric Dynamics), the scale factor evolves under Friedmann’s equations (Scale-Factor Dynamics). The McGucken framework introduces a third kind of dynamical geometry: one specific coordinate axis is itself an active geometric process (Axis Dynamics). This proposition articulates the three categories precisely and shows that they refer to structurally different mathematical objects. The McGucken framework belongs to the third category. The prior-art survey in Part III then shows that no other framework in the prior literature belongs to that third category.

PART II — THREE EQUIVALENT FORMULATIONS

Part II presents the three formulations of McGucken Geometry as a formal mathematical category: the moving-dimension manifold (M, F, V) formulation (§5), the second-order jet-bundle formulation (§6), and the Cartan-geometry formulation of Klein type (ISO(1,3), SO⁺(1,3)) with distinguished active translation generator (§7). The McGucken-Invariance Lemma (Theorem 8.1) is established as a structural fact about V’s flow under metric variations. The equivalence of the three formulations is stated as Conjecture 8.2 with structural-outline arguments and explicit identification of the obstacles to rigorous verification.

The three formulations are the three different mathematical languages in which the same physical content — x₄’s active expansion at rate ic — can be expressed. The moving-dimension manifold formulation expresses the content directly in terms of a vector field V on M whose flow is the McGucken Principle. The jet-bundle formulation expresses the content as a flat section of the second-order jet bundle satisfying differential constraints. The Cartan-geometry formulation expresses the content as a Cartan connection of Klein type (ISO(1,3), SO⁺(1,3)) with a distinguished translation generator P₄. The three are conjecturally equivalent, with the equivalence supplying the structural fact that the McGucken framework has both a differential-geometric content (PDE-style, captured by jet bundles) and a group-theoretic content (Lie-algebraic, captured by Cartan geometry), unified by the moving-dimension manifold’s direct articulation of the privileged vector field.

5. The Moving-Dimension Manifold (M, F, V)

5.1 Definition: The Smooth Four-Manifold

Definition 5.1 (Smooth Four-Manifold). Let M be a smooth four-manifold satisfying Convention 1.4.1: M is diffeomorphic to ℝ⁴ in the asymptotically flat case, and globally hyperbolic in general. M is the underlying smooth-manifold structure on which the moving-dimension geometry is articulated.

This definition is standard. The smooth-manifold structure on M is the standard one of differential topology [54, 55]. The mathematical content at this layer is the smooth-manifold theory developed from Riemann (1854) [1] through Whitney (1936) [56]; the McGucken framework adds nothing to this layer.

5.2 Definition: The Codimension-One Timelike Foliation

Definition 5.2 (Foliation F). Let F be a codimension-one foliation of M whose leaves are spacelike Cauchy surfaces with respect to a Lorentzian metric g of signature (−, +, +, +) on M. The foliation F satisfies:

(F1) Each leaf Σ ∈ F is a smooth Riemannian three-manifold with induced metric h_{ij} of signature (+, +, +).

(F2) The leaves of F are level sets of a smooth Cauchy time function τ : M → ℝ in the sense of Hawking-Ellis [62]: Σ_t = {p ∈ M : τ(p) = t}.

(F3) The foliation F is everywhere transverse to the privileged timelike direction at each event: at every p ∈ M, the leaf Σ_{τ(p)} through p has a one-dimensional orthogonal complement in T_p M, and this complement is timelike.

The foliation-theoretic content at this layer is the standard theory of Reeb [10] for codimension-one foliations on smooth manifolds, adapted to the Lorentzian-signature setting through Hawking [14] and Wald [15]. The McGucken framework specifies that the foliation F is the physical foliation distinguishing absolute simultaneity surfaces — but the foliation structure itself is mathematical apparatus from prior art.

5.3 Definition: The Privileged Vector Field V

Definition 5.3 (Privileged Vector Field V). Let V be a future-directed timelike unit vector field on M satisfying:

(V1) V is everywhere transverse to the leaves of F: at each p ∈ M, V(p) is the unit timelike vector orthogonal to the leaf Σ_{τ(p)} of F through p, normalized so that g(V, V) = −c² (squared-norm V_μ V^μ = −c² in the (−, +, +, +) signature of Convention 1.4.3).

(V2) The integral curves of V foliate M into worldlines of comoving observers (observers at rest in the spatial slices Σ_t of F).

(V3) V is smooth (C^∞) on M.

The vector-field theoretic content at this layer is the standard theory of timelike vector fields on Lorentzian manifolds [15, 62]. The four-velocity formalism of relativistic physics [13] specifies that the four-velocity u^μ of a timelike worldline satisfies u^μ u_μ = −c²; condition (V1) of Definition 5.3 specifies that V is the privileged unit timelike vector field associated to the foliation F, and its squared-norm condition matches the four-velocity formalism.

5.4 Definition: The Privileged-Element Conditions (P1)–(P4)

The structural commitment that distinguishes McGucken Geometry from frameworks satisfying Definitions 5.1–5.3 alone (which describe a generic globally-hyperbolic Lorentzian manifold with a foliation and an associated unit timelike vector field — content well-known to general relativity since Hawking 1968 [14]) is articulated through four privileged-element conditions on V. These conditions specify that V’s flow is the McGucken Principle.

Definition 5.4 (Privileged-Element Conditions on V). The privileged-element conditions on V are:

(P1) V is part of the geometric structure of M, not a matter field defined on M. Equivalently, V is not associated to any matter Lagrangian density L_matter on M; V is a primitive geometric object on M, like the metric g and the foliation F.

(P2) V’s flow is an active geometric process at rate ic. Mathematically, the flow φ_t : M → M generated by V (defined by ∂_t φ_t(p) = V(φ_t(p)), φ_0(p) = p, for parameter t in a neighborhood of zero) satisfies the McGucken Principle dx₄/dt = ic, where x₄ is the McGucken coordinate of Convention 1.4.2 evaluated along the integral curves of V. The structural content of (P2) beyond the bare mathematical specification is the framework’s reading of the flow as an active geometric process: V’s expansion is a real geometric phenomenon, not a coordinate convention or gauge choice. The mathematical condition is well-defined; the structural reading is the McGucken framework’s interpretive commitment.

(P3) V’s wavefront at every event p ∈ M is the McGucken Sphere Σ⁺(p) of Lemma 2.2: the future null cone of p generated by x₄’s expansion at rate ic from p, with each spatial direction sharing the wavefront equally by the spherical symmetry of x₄’s expansion (Channel B of §1.5).

(P4) V is empirically identified with the cosmic microwave background rest frame: in any cosmological setting, the integral curves of V are the worldlines of observers at rest with respect to the cosmic microwave background, in which the CMB radiation is observed to be isotropic up to the dipole anisotropy associated with the observer’s peculiar motion [69, 70]. This is an empirical commitment of the framework, not a mathematical condition; the present paper records it as condition (P4) of Definition 5.4 because the empirical identification is part of the structural specification of the McGucken framework.

A moving-dimension manifold is a structure (M, F, V) satisfying Definitions 5.1, 5.2, 5.3, and the privileged-element conditions (P1)–(P4) of Definition 5.4.

5.5 Remarks on the Privileged-Element Conditions

Remark 5.5.1 (Mathematical content of (P2)). Condition (P2) has two parts: a mathematical condition (the flow φ_t generated by V satisfies dx₄/dt = ic along integral curves) and an interpretive commitment (the flow is read as an active geometric process). The mathematical condition is straightforward: V is the unit timelike vector field of squared-norm V_μ V^μ = −c²; the integral curves of V are timelike worldlines parameterized by their proper time; in any McGucken-adapted chart (Convention 1.4.5) where V points in the direction of the time coordinate, the rate of advance of x₄ = ix⁰ along V’s flow is dx₄/dt = ic by Lemma 2.1’s algebraic generation. The interpretive commitment — that this rate is read as an active geometric process — is the framework’s structural reading and is not a mathematical predicate. We state both parts explicitly to avoid the confusion of treating “active flow” as a mathematical condition.

Remark 5.5.2 (Mathematical content of (P3)). Condition (P3) ties V’s wavefront to the McGucken Sphere Σ⁺(p) of Lemma 2.2. Mathematically, this is the assertion that the future null cone at every event p ∈ M is generated by x₄’s expansion at p — in particular, that the spherical symmetry of x₄’s expansion (Channel B) is the geometric content from which the future null cone’s spherical structure descends. Lemma 2.2 establishes this constructively: the locus of future null directions at p is the spatial sphere of radius c(t − t_p) at coordinate time t > t_p, and this is the spherical wavefront of x₄’s expansion at p.

Remark 5.5.3 (Empirical content of (P4)). Condition (P4) is empirical, not mathematical. The cosmic microwave background was discovered by Penzias and Wilson in 1965 [57]; its rest frame has been characterized observationally with increasing precision through COBE [58], WMAP [59], and Planck [60]. The identification of V with the CMB rest frame is the framework’s empirical specification of which physical frame V picks out — namely, the cosmological privileged frame in which the universe’s matter content has zero peculiar momentum at large scales. The condition is testable observationally: the framework predicts that V is precisely the CMB rest frame, with no offset or drift. (In particular, the framework predicts that any apparent local frame in which the CMB appears anisotropic is a frame moving with respect to the privileged V; this is consistent with all observation to date.)

Remark 5.5.4 (Independence of conditions). The four conditions (P1)–(P4) are independent in the following sense: a framework can satisfy any subset of (P1)–(P4) without satisfying the rest. (P1) without (P2) gives a static privileged direction without active flow (Einstein-aether-like). (P2) without (P1) gives an active flow as a matter field — the flow is dynamical, but it is supplied by a Lagrangian. (P3) without (P2) is incoherent (the McGucken Sphere is the wavefront of an active expansion; without active flow, there is no wavefront generation). (P4) without (P1)–(P3) is purely empirical with no associated geometric content. The structural commitment of McGucken Geometry is the conjunction (P1) ∧ (P2) ∧ (P3) ∧ (P4): all four together. The novelty claim of §15 is that no surveyed prior framework satisfies all four together.

5.6 The Moving-Dimension Manifold

Definition 5.6 (Moving-Dimension Manifold). A moving-dimension manifold is a triple (M, F, V) where:

– M is a smooth four-manifold satisfying Definition 5.1; – F is a codimension-one timelike foliation of M satisfying Definition 5.2; – V is a future-directed timelike unit vector field on M satisfying Definition 5.3 and the privileged-element conditions (P1)–(P4) of Definition 5.4.

The moving-dimension manifold (M, F, V) is the geometric object underlying the McGucken Principle in its direct articulation. It captures the structural content that the McGucken framework asserts: a smooth manifold M, foliated by spatial slices F, with a privileged vector field V whose flow is the active expansion of x₄ at rate ic.

Proposition 5.7 (Existence on Minkowski Space). On flat Minkowski spacetime ℝ³,¹ with metric η_{μν} of signature (−, +, +, +), the moving-dimension structure (M = ℝ⁴, F, V) exists and is unique up to a one-parameter family of choices of foliation origin (i.e., up to time translation).

[Grade 1.]

Proof. Take M = ℝ⁴ with coordinates (t, x¹, x², x³) and the standard Minkowski metric η_{μν} = diag(−c², 1, 1, 1). Define F to be the foliation by leaves Σ_t = {(t, x) : t = const} with t the coordinate of the first axis. Each leaf is the flat Riemannian three-manifold (ℝ³, δ_{ij}); this is a Cauchy surface for Minkowski space [62]. Define V to be the unit timelike vector field V = ∂/∂t (with squared-norm V_μ V^μ = η_{μν}·V^μ·V^ν = η_{tt}·1·1 = −c²; in the convention V^t = 1, this is the unit timelike vector field of Convention 1.4.4).

Verify (V1)–(V3): V is everywhere transverse to F (V points along the time direction, F’s leaves are the constant-t slices); the integral curves of V are the worldlines of comoving observers at fixed spatial position; V is smooth.

Verify (P1)–(P4): V is part of the geometric structure (it is the unit timelike vector field associated to F, not a matter degree of freedom); V’s flow is φ_t(p) = p + t·∂/∂t, generating x₄-advance at rate ic (since x₄ = ict and the flow advances t at rate 1 of its own parameter, so dx₄/dt = ic); V’s wavefront at every event p is the spherical wavefront of Lemma 2.2 (the spatial sphere of radius c(t − t_p) at coordinate time t); and V is empirically the CMB rest frame in the cosmological extension of the framework.

Uniqueness up to time translation: any other choice of V satisfying (V1)–(V3) and (P1)–(P4) on Minkowski space differs from V = ∂/∂t by at most a constant translation in t (the foliation origin). The uniqueness is therefore up to a one-parameter family of foliation-origin choices. ∎

Comparison with Standard Derivation. Standard relativistic physics treats Minkowski space as a fixed background structure with no privileged timelike direction: any inertial frame is as good as any other, and the choice of time coordinate is conventional. The McGucken framework specifies that there is a privileged timelike direction — V — and identifies it (via condition (P4)) with the empirical CMB rest frame. The structural difference is that the McGucken framework adds the privileged-element condition; standard relativity does not.

In the cosmological setting, where matter content provides a privileged frame anyway (the rest frame of the cosmic fluid), the McGucken framework’s privileged V is empirically identified with the CMB rest frame. In Minkowski space (where there is no matter content to break the symmetry), the privileged V is a structural commitment of the framework, not derived from matter content. The framework’s prediction is that V is real and geometric, not a coordinate convention; this is the substantive content of (P1)–(P3).

In plain language. A moving-dimension manifold is a four-dimensional spacetime equipped with three pieces of structure: (i) the underlying smooth manifold M; (ii) a foliation F of spacelike slices marking simultaneity; (iii) a privileged vector field V pointing in the time direction. The four conditions (P1)–(P4) say that V is part of the geometry (not a matter field), its flow is an active geometric process at the speed of light, its wavefront is the McGucken Sphere from Lemma 2.2, and it is empirically the CMB rest frame. This is the geometric object underlying the McGucken Principle.

6. The Jet-Bundle Formulation

6.1 Background: Jet Bundles

The jet-bundle formalism developed by Ehresmann (1951) [7] and refined by Saunders (1989) [8] articulates differential equations on a smooth manifold as geometric structures on jet bundles. For a smooth fibration π : E → M, the k-th order jet bundle J^k(π) is a smooth manifold parameterizing the k-th order Taylor expansions at points of M of smooth local sections of π. Differential equations on M become geometric subsets of the jet bundle: a section s : M → E satisfies a differential equation if and only if the prolonged section j^k s : M → J^k(π) takes values in a specified subset of the jet bundle.

For the McGucken framework, we use the second-order jet bundle of the trivial bundle M × ℝ⁴ → M (whose sections are smooth maps from M to ℝ⁴).

6.2 Definition: The Jet-Bundle Formalization

Definition 6.1 (Jet-Bundle Formalization of McGucken Geometry). Let M be a smooth four-manifold (Definition 5.1). Consider the trivial bundle M × ℝ⁴ → M, whose smooth sections are smooth maps φ : M → ℝ⁴. The second-order jet bundle J²(M × ℝ⁴) is a smooth manifold parameterizing second-order Taylor expansions at points of M of such maps.

A jet-bundle formalization of McGucken Geometry on M is a flat section s : M → J²(M × ℝ⁴) satisfying the constraints:*

(JB1) [First-order constraint] The first-order partial derivatives encoded in s satisfy*

∂x₄/∂t = ic

globally on M, where x₄ is the fourth coordinate function and t is a McGucken-adapted coordinate (Convention 1.4.5). This is the McGucken Principle expressed as a first-order constraint on jets.

(JB2) [Second-order constraint: McGucken-Invariance] The second-order partial derivatives encoded in s satisfy*

∂²x₄ / (∂t · ∂g_{μν}) = 0

for all metric components g_{μν}, globally on M. This is the McGucken-Invariance condition: the rate ∂x₄/∂t = ic is independent of variations in the metric tensor.

(JB3) [Flatness] The section s is flat in the sense that its prolongation to higher-order jets is consistent: there exists a globally smooth choice of higher-order Taylor data on M extending s*, such that the McGucken Principle and McGucken-Invariance conditions are preserved at all orders.*

The jet-bundle formalization is a standard PDE-theoretic articulation of the McGucken Principle: the principle becomes a system of constraints on the second-order jet bundle, and the geometric content is the existence of a flat section satisfying the constraints.

6.3 Proposition: Existence on Minkowski Space

Proposition 6.2 (Existence of Jet-Bundle Section on Minkowski Space). On Minkowski space M = ℝ⁴ with coordinates (t, x¹, x², x³), there exists a flat section s : M → J²(M × ℝ⁴) satisfying constraints (JB1), (JB2), (JB3).*

[Grade 2: requires Definition 6.1 plus standard jet-bundle machinery from [8].]

Proof. Define the smooth map φ : M → ℝ⁴ by φ(t, x¹, x², x³) = (ict, x¹, x², x³). The first-order partial derivatives are ∂φ_4/∂t = ic, ∂φ_4/∂x^j = 0 for j = 1, 2, 3, and ∂φ_j/∂x^k = δ_{jk}, ∂φ_j/∂t = 0 for j, k = 1, 2, 3. The first-order partial derivative ∂x₄/∂t = ic globally on M; this verifies (JB1).

The second-order partial derivatives are all zero (since φ is linear in coordinates). In particular, the variation of ∂φ_4/∂t with respect to any metric component g_{μν} is zero (since φ does not depend on g_{μν}). This verifies (JB2): ∂²x₄/(∂t · ∂g_{μν}) = 0 globally on M.

The flatness condition (JB3) is satisfied because φ is a globally-smooth linear map; its higher-order Taylor data is identically zero, consistent with the McGucken Principle and McGucken-Invariance conditions at all orders.

Therefore the section s* = j² φ : M → J²(M × ℝ⁴) (the second-order prolongation of φ) is a flat section satisfying (JB1)–(JB3). ∎

6.4 Remarks on the Jet-Bundle Formulation

Remark 6.4.1 (PDE-theoretic content). The jet-bundle formulation expresses the McGucken Principle as a system of differential constraints on jet bundles. This is the standard approach to differential equations as geometric objects: a differential equation defines a subset of the jet bundle, and a solution is a section of the underlying bundle whose prolongation lands in the subset. The McGucken Principle’s first-order content (∂x₄/∂t = ic) becomes the constraint (JB1); the McGucken-Invariance content (rate independent of metric) becomes the constraint (JB2); the global integrability of the system becomes the flatness condition (JB3).

Remark 6.4.2 (What the formulation makes explicit). The jet-bundle formulation makes explicit the differential-equation content of the McGucken Principle. The first-order constraint (JB1) is the principle itself, written as a partial differential equation. The second-order constraint (JB2) is the McGucken-Invariance Lemma, written as a second-order differential constraint on jets. This is the formulation in which the principle’s PDE structure is most directly visible.

Remark 6.4.3 (Limitations). The jet-bundle formulation as articulated in Definition 6.1 is at the level of structural specification; the rigorous treatment of the second-order constraint (JB2) — particularly the meaning of ∂²x₄/(∂t · ∂g_{μν}) — requires a precise specification of how g_{μν} varies in the jet-bundle setup. We have stated the condition in the way that articulates the structural content (rate independent of metric), but the detailed mathematical formalization of “varying g_{μν} in jets” requires additional apparatus that is not developed here.

In plain language. The jet-bundle formulation of McGucken Geometry says: the McGucken Principle dx₄/dt = ic can be expressed as a partial differential equation. The first-order content of the equation (the rate dx₄/dt = ic) is one constraint. The second-order content (the rate is independent of the gravitational field) is another constraint. The McGucken Principle is then the existence of a function on spacetime satisfying both constraints simultaneously. This is the formulation in which the differential-equation structure of the principle is most directly visible.

7. The Cartan-Geometry Formulation

7.1 Background: Cartan Geometry

Élie Cartan’s papers of 1923–1925 [3] developed a generalization of Riemannian geometry in which the geometric content is encoded not by a metric but by a connection valued in a Lie algebra, with the connection’s curvature measuring the failure of the geometry to be flat. Sharpe’s 1997 modern reformulation [4] articulates Cartan geometry as the geometry “modeled on” a homogeneous space G/H — a Klein geometry [5] in the sense of the Erlangen Programme — with the Cartan connection encoding the local infinitesimal G-structure on the manifold.

For a Lie group G with closed subgroup H, the Klein pair is (G, H) and the homogeneous space is G/H. The associated Lie-algebra pair is (g, h) with g = Lie(G) and h = Lie(H) ⊂ g. A Cartan geometry of Klein type (G, H) on a smooth manifold M is a principal H-bundle P → M equipped with a g-valued one-form ω on P (the Cartan connection) satisfying:

(i) ω is H-equivariant under the right action of H on P; (ii) ω restricts on each fiber of P to the Maurer-Cartan form of H; (iii) ω : T_p P → g is a linear isomorphism at every p ∈ P.

The Cartan curvature is the g-valued two-form Ω = dω + (1/2)[ω, ω] on P; it measures the failure of the Cartan geometry to be locally isomorphic to G/H. When Ω = 0, the Cartan geometry is locally G/H — a Klein geometry. When Ω ≠ 0, the geometry is “bent” away from the model, with the bending encoded in the curvature.

For the McGucken framework, the relevant Klein pair is (ISO(1,3), SO⁺(1,3)) — the Poincaré group ISO(1,3) (the inhomogeneous Lorentz group, including translations) modulo the proper orthochronous Lorentz group SO⁺(1,3). The homogeneous space is ISO(1,3)/SO⁺(1,3) ≅ ℝ³,¹, Minkowski spacetime.

7.2 Definition: Cartan Geometry of Klein Type (ISO(1,3), SO⁺(1,3))

Definition 7.1 (Cartan Geometry of Klein Type (ISO(1,3), SO⁺(1,3))). Let M be a smooth four-manifold. A Cartan geometry of Klein type (ISO(1,3), SO⁺(1,3)) on M is a principal SO⁺(1,3)-bundle P → M equipped with a Cartan connection ω : TP → iso(1,3), where iso(1,3) = so⁺(1,3) ⊕ ℝ⁴ is the Poincaré Lie algebra (with so⁺(1,3) the Lorentz subalgebra and ℝ⁴ the translation subalgebra). The Cartan connection ω satisfies:

(C1) [Equivariance] ω is SO⁺(1,3)-equivariant under the right action of SO⁺(1,3) on P.

(C2) [Vertical normalization] ω restricts on each fiber of P to the Maurer-Cartan form of SO⁺(1,3).

(C3) [Solder form] ω : T_p P → iso(1,3) is a linear isomorphism at every p ∈ P.

The decomposition ω = ω_{so} ⊕ ω_T (with ω_{so} the Lorentz-subalgebra component and ω_T the translation-subalgebra component) gives a Lorentz connection ω_{so} and a solder form ω_T : TM → ℝ⁴ on M (after pullback to the base). The translation component ω_T has four components ω_T^μ for μ = 0, 1, 2, 3, indexed by the Poincaré translation generators P_μ.

This definition is standard Cartan geometry [3, 4]. The Cartan-geometric formulation of the standard Lorentzian-manifold structure on a smooth four-manifold is a Cartan geometry of Klein type (ISO(1,3), SO⁺(1,3)) — the geometry whose model is Minkowski spacetime ISO(1,3)/SO⁺(1,3) ≅ ℝ³,¹.

7.3 Definition: McGucken Cartan Geometry

The McGucken framework distinguishes one of the four translation generators — P₄, the time-translation generator — as the active translation generator, with its flow at rate ic carrying the McGucken Principle’s geometric content. This is articulated as additional conditions on the Cartan connection.

Definition 7.2 (Distinguished Active Translation Generator P₄). In the Poincaré Lie algebra iso(1,3) = so⁺(1,3) ⊕ ℝ⁴, the translation subalgebra ℝ⁴ has basis {P_μ}_{μ=0,1,2,3}. The distinguished active translation generator is P₄ ∈ ℝ⁴ defined by P₄ = i·P₀, with the imaginary factor i marking P₄’s perpendicularity to the spatial-translation generators P_1, P_2, P_3. (Equivalently, in the McGucken numbering of Convention 1.4.2, P₄ is the timelike translation generator with its imaginary character carrying the McGucken Principle’s perpendicularity content.)

Definition 7.3 (McGucken Cartan Geometry). A McGucken Cartan geometry on a smooth four-manifold M is a Cartan geometry of Klein type (ISO(1,3), SO⁺(1,3)) (Definition 7.1) on M, equipped with a distinguished translation generator P₄ ∈ ℝ⁴ (Definition 7.2), satisfying:

(MC1) [Squared-norm condition] P₄ is a future-directed timelike translation generator with squared-norm −c² in the Killing form of iso(1,3). Equivalently, the dual solder-form component ω_T^4 evaluated on the privileged vector field V (Definition 5.3) gives the squared-norm condition g(V, V) = −c² of (V1).

(MC2) [Active-flow condition] The vector field V on M dual to the Cartan connection’s P₄-component satisfies the McGucken Principle: along the integral curves of V parameterized by proper time τ, the flow generates dx₄/dτ = ic in any McGucken-adapted chart, where x₄ is the McGucken coordinate (Convention 1.4.2). The structural commitment of (MC2) is the framework’s reading that this flow is an active geometric process — V’s expansion is a real geometric phenomenon, not a coordinate convention or gauge choice. The mathematical condition (the integral curves of V satisfy dx₄/dτ = ic) is well-defined; the structural reading is the McGucken framework’s interpretive commitment.

(MC3) [McGucken-Invariance condition] The Cartan curvature Ω, decomposed by the iso(1,3) = so⁺(1,3) ⊕ ℝ⁴ split as Ω = Ω_{so} + Ω_T with Ω_{so} the Lorentz-curvature component and Ω_T the translation-curvature component, satisfies:

Ω_T^4 = 0 globally on P,

where Ω_T^4 is the P₄-component of the translation-curvature Ω_T. The other translation-curvature components Ω_T^j for j = 1, 2, 3 are unrestricted by (MC3); they encode the Lorentzian-manifold curvature in the spatial-translation directions, which is the source of gravitational curvature in standard general relativity.

The conditions (MC1)–(MC3) define a McGucken Cartan geometry. The first condition (MC1) is the Cartan-geometric expression of the unit-timelike normalization of V. The second condition (MC2) is the McGucken Principle’s active-flow commitment, with the mathematical content being well-defined and the interpretive reading being the structural commitment. The third condition (MC3) is the McGucken-Invariance condition, expressed at the Cartan-curvature level: P₄’s flow is curvature-free, while the spatial-translation directions can have arbitrary curvature.

7.4 Geometric Content of (MC1)–(MC3)

The conditions (MC1)–(MC3) encode the McGucken framework’s structural commitments at the Cartan-geometric level:

Condition (MC1) specifies the squared-norm of the privileged generator. The Killing form on iso(1,3) gives translation generators P_μ a normalization in which timelike generators have negative squared-norm and spacelike generators have positive squared-norm. The condition g(V, V) = −c² of Definition 5.3 (V1) translates to (MC1) at the Cartan-geometric level.

Condition (MC2) specifies the active-flow content of P₄’s direction. The vector field V dual to the Cartan connection’s P₄-component is the privileged vector field of Definition 5.3; its integral curves are the worldlines of comoving observers; the parameter τ along these curves is the proper time; and the flow along τ generates x₄-advance at rate ic in a McGucken-adapted chart. This is the Cartan-geometric expression of the privileged-element condition (P2) of Definition 5.4.

Condition (MC3) is the structurally novel condition of the McGucken Cartan geometry. In a standard Cartan geometry of Klein type (ISO(1,3), SO⁺(1,3)) — the geometry of a generic Lorentzian four-manifold — the Cartan curvature Ω can have arbitrary components: Ω_{so} (the Lorentz-curvature) encodes the Riemann curvature tensor, and Ω_T (the translation-curvature) typically vanishes (a standard fact for Levi-Civita connections, encoded by the first Bianchi identity Ω_T = 0 for torsion-free connections). The McGucken Cartan geometry imposes a different structural condition: the P₄-component Ω_T^4 of the translation-curvature is zero globally, while the spatial-translation components Ω_T^j (j = 1, 2, 3) are not restricted. This restricts curvature to the spatial-translation directions and leaves the P₄-direction (the time-translation direction) flat.

The geometric content of (MC3) is the framework’s commitment that x₄’s expansion is gravitationally invariant: the rate ic is the same at every event regardless of the gravitational field. This is the Cartan-geometric expression of the McGucken-Invariance Lemma (§8.1).

7.5 Comparison with Standard Cartan Geometry

In the standard Cartan-geometric treatment of a Lorentzian four-manifold [4], all four translation generators {P_μ}_{μ=0,1,2,3} are formally equivalent under the Lorentz subgroup SO⁺(1,3). The Lorentz group acts on the translation subspace ℝ⁴ ⊂ iso(1,3) as the standard four-dimensional vector representation; this action mixes the translation generators among themselves. There is no a priori privileged translation generator; the Cartan-geometric structure is invariant under the full Lorentz group acting on the translations.

The McGucken Cartan geometry breaks this isotropy of the translation subspace. By distinguishing P₄ as the active translation generator (Definition 7.2) and imposing the squared-norm, active-flow, and curvature conditions (MC1)–(MC3) on P₄ specifically, the McGucken Cartan geometry singles out one translation direction as carrying the McGucken Principle’s active-flow content. The other three translation generators P_1, P_2, P_3 are not similarly distinguished; they remain spatial generators with no active-flow commitment.

This breaking of the translation-subspace isotropy is structurally analogous to spontaneous Lorentz symmetry breaking in field theory [19, 20]: in both cases, the formal Lorentz invariance of an underlying structure is broken by a privileged element. The structural difference is that in spontaneous Lorentz symmetry breaking, the privileged element is a vacuum expectation value of a matter field (a feature of the matter sector); in the McGucken Cartan geometry, the privileged element is part of the geometric structure (a feature of the geometry itself), and its flow is active rather than static. The categorical novelty of the McGucken Cartan geometry is in this combination — geometric privilege plus active flow — not in either feature taken separately.

In plain language. The Cartan-geometric formulation of McGucken Geometry says: the McGucken Principle can be expressed as a Cartan connection on spacetime, with the Lie group ISO(1,3) (the Poincaré group) acting on Minkowski spacetime. Among the four translation generators of ISO(1,3) — three spatial translations and one time translation — the McGucken framework singles out the time translation generator P₄ as carrying the McGucken Principle’s active flow. The Cartan curvature in the P₄-direction is restricted to be zero (this is the McGucken-Invariance condition, saying x₄’s expansion is gravitationally invariant); the spatial-translation directions remain unrestricted, encoding the curvature of spatial slices that is the source of gravitational effects in general relativity. This is the framework’s group-theoretic expression of the same content that the moving-dimension manifold expresses directly in terms of V.

8. The McGucken-Invariance Lemma and the Equivalence Conjecture

8.1 Theorem 8.1: The McGucken-Invariance Lemma

Theorem 8.1 (McGucken-Invariance Lemma). In any McGucken-adapted coordinate chart (Convention 1.4.5) on a moving-dimension manifold (M, F, V), the rate of x₄-advance along V’s integral curves is independent of the metric tensor g_{μν}: at every event p ∈ M and for every metric perturbation δg_{μν} preserving the conditions of Definition 5.3,

∂(dx₄/dt)/∂g_{μν}|_p = 0.

Equivalently, x₄’s rate is gravitationally invariant: in a one-parameter family of metrics {g_{μν}(s)} on M with V remaining a unit timelike vector field for each s, the rate dx₄/dt = ic is the same at each s.

[Grade 2: requires Definitions 5.1–5.4 plus standard differential-geometric machinery for parameterized families of metrics.]

Proof. The McGucken Principle (Axiom 2.1) states dx₄/dt = ic at every event of M. The right-hand side ic depends only on two quantities: the imaginary unit i (a constant of the framework), and the velocity of light c (a fundamental physical constant). Neither i nor c is a metric component; neither depends on g_{μν}.

The left-hand side dx₄/dt is, in any McGucken-adapted chart (Convention 1.4.5), the rate of advance of the McGucken coordinate x₄ along V’s integral curves with respect to coordinate time t. By Convention 1.4.2, x₄ = ix⁰ = ict where t = x⁰/c is the time coordinate of the chart. The rate of x₄’s advance with respect to t is i·c by direct computation (taking the derivative of x₄ = ict with respect to t).

In a one-parameter family of metrics {g_{μν}(s)} with V remaining a unit timelike vector field at each s (V_μ V^μ = −c² for each s), the chart structure of Convention 1.4.5 is preserved at each s: t remains the time coordinate, x₄ = ict remains the McGucken coordinate, and V’s flow along its integral curves still satisfies dx₄/dt = ic. The rate ic does not depend on s, because it does not depend on g_{μν}. Therefore

∂(dx₄/dt)/∂g_{μν}|p = ∂(ic)/∂g{μν}|_p = 0.

This holds at every event p ∈ M. ∎

8.2 The Standing of Theorem 8.1

Theorem 8.1 has the structure of a near-tautology given the structural commitment of Convention 1.4.2 that x₄ = ict is fixed independently of the metric. The substantive content is in this structural commitment, not in the formal proof. The McGucken framework asserts that the McGucken coordinate x₄ is part of the geometric specification of M, fixed independently of the metric tensor; given this, the rate dx₄/dt = ic is automatically metric-independent.

This is the standard situation for “structural” results in mathematics: a theorem follows almost immediately from the definitions, and the substantive content is in the setup. Theorem 8.1’s content lives in Convention 1.4.2 (x₄ is a coordinate function fixed independently of the metric) and Definition 5.4 (the privileged-element conditions on V, particularly (P2) specifying that V’s flow generates dx₄/dt = ic). The proof itself is a chain-rule calculation.

The corpus paper [31] establishes Theorem 8.1 as Lemma 2 of the GR-derivation chain, with the same structural reading: x₄’s expansion rate is gravitationally invariant because x₄ is part of the geometric specification, not a metric-dependent quantity. The corpus paper develops the consequence — that gravity affects only the spatial slices and leaves x₄’s expansion rate alone — in detail. The present paper’s Theorem 8.1 is the formal-mathematical statement; the consequence for general-relativistic gravity is in [31].

8.3 In Plain Language and Comparison with Standard Treatment

In plain language. Theorem 8.1 says: the rate at which x₄ advances is independent of the gravitational field. The proof is short: dx₄/dt = ic, and the right-hand side ic depends only on two universal constants (i and c), neither of which is a metric component. This may seem trivial, and structurally it almost is — but the content is in the structural commitment that x₄ is part of the geometric specification of spacetime, fixed independently of the metric. Given that commitment, the McGucken-Invariance is automatic. The substantive consequence (developed in [31]) is that gravity affects only the spatial slices; the time direction x₄ is rigid.

Comparison with Standard Derivation. In standard general relativity, the metric tensor g_{μν} is fully dynamical: all four spacetime dimensions can curve under mass-energy. There is no separate notion of “the rate of advance of one coordinate axis,” and the gravitational invariance of any specific quantity is something to be established — typically in the form of a conservation law (e.g., conservation of stress-energy under the Einstein field equations) or an isometry property of the metric.

In the McGucken framework, the rate dx₄/dt = ic is asserted as a primitive geometric content via the McGucken Principle, and Theorem 8.1 establishes that this rate is gravitationally invariant by the structural argument above. The substantive content of the McGucken framework is in this structural commitment; Theorem 8.1 is the formal statement that the commitment is consistent with the framework’s articulation of V on a Lorentzian manifold.

The structural difference between the two treatments is the following: standard general relativity has no privileged coordinate axis whose rate of advance is gravitationally invariant; the McGucken framework asserts that x₄ is such a privileged axis. Theorem 8.1 is the consistency check; the substantive consequence is in [31].

8.4 Conjecture 8.2: The Equivalence of the Three Formulations

Definitions 5.6, 6.1, and 7.3 articulate three formulations of McGucken Geometry: (i) the moving-dimension manifold (M, F, V) of §5; (ii) the jet-bundle formalization of §6; (iii) the Cartan-geometry formulation of §7. The three formulations express the same geometric content — x₄’s active expansion at rate ic — in three different mathematical languages. We conjecture that they are mathematically equivalent.

Conjecture 8.2 (Equivalence of the Three Formulations). The three formulations of McGucken Geometry are mathematically equivalent in the following sense:

(E1) Given a moving-dimension manifold (M, F, V) of Definition 5.6, there exists a flat section s : M → J²(M × ℝ⁴) of the second-order jet bundle satisfying constraints (JB1)–(JB3) of Definition 6.1.*

(E2) Given a flat section s : M → J²(M × ℝ⁴) satisfying (JB1)–(JB3), there exists a McGucken Cartan geometry on M of Definition 7.3, with Cartan connection ω, distinguished generator P₄, and conditions (MC1)–(MC3) satisfied.*

(E3) Given a McGucken Cartan geometry (P → M, ω, P₄) satisfying (MC1)–(MC3), there exists a moving-dimension manifold structure (M, F, V) of Definition 5.6, with V the vector field dual to ω’s P₄-component and F the foliation orthogonal to V.

The three correspondences (E1), (E2), (E3) are conjecturally inverse to each other up to standard equivalences of the underlying mathematical structures.

[Conjectural; structural-outline arguments below; obstacles to rigorous verification noted.]

8.5 Structural-Outline Arguments for Conjecture 8.2

We give structural-outline arguments for each direction of the conjectured equivalence, identifying the standard machinery that would underwrite the rigorous proof and noting the obstacles to verification.

Outline of (E1): (M, F, V) ⇒ jet-bundle section. Given a moving-dimension manifold (M, F, V), construct a smooth map φ : M → ℝ⁴ by setting φ(p) = (x₁(p), x₂(p), x₃(p), x₄(p)) where (x₁, x₂, x₃) are spatial coordinates of any McGucken-adapted chart and x₄ = ix⁰ = ict is the McGucken coordinate. The first-order partial derivatives of φ along V’s integral curves give ∂x₄/∂t = ic (verifying (JB1)) by Definition 5.4 (P2). The second-order partial derivatives of x₄ with respect to metric components vanish (verifying (JB2)) by Theorem 8.1. Flatness (JB3) follows from the global existence and smoothness of V, F, and the McGucken-adapted chart structure.

Obstacles to rigorous verification of (E1). The construction depends on (a) the global existence of a McGucken-adapted chart (which holds in the asymptotically flat case but may have topological obstructions in general); (b) the precise treatment of the second-order constraint (JB2) including the formalism for “varying g_{μν} in jets” (which requires apparatus we have not developed); (c) the verification that the flat section is unique up to the standard equivalences of jet bundles. These are tractable but require additional work beyond the structural outline.

Outline of (E2): jet-bundle section ⇒ McGucken Cartan geometry. Given a flat section s* : M → J²(M × ℝ⁴) satisfying (JB1)–(JB3), construct a McGucken Cartan geometry as follows. The first-order partial derivatives of s* give a solder form ω_T on M (the standard Cartan-geometric translation form associated to the four coordinate functions). The fourth component ω_T^4, evaluated on the dual vector field V, satisfies the active-flow condition (MC2) by virtue of (JB1). The second-order constraint (JB2) translates to the curvature condition (MC3) Ω_T^4 = 0 by the standard correspondence between PDE constraints on jets and Cartan-curvature conditions [4]. The Lorentz-connection part ω_{so} of the Cartan connection is constructed from the metric structure on M (which is itself derived from the solder form via the standard solder-form-to-metric correspondence).

Obstacles to rigorous verification of (E2). The construction depends on (a) the precise dictionary between PDE constraints on jets and Cartan-curvature components, which is well-developed in the geometric theory of PDEs [8, 71] but requires careful formalization for the McGucken-Invariance condition; (b) the verification that the resulting Cartan geometry satisfies (C1)–(C3) of Definition 7.1 (which requires checking equivariance, vertical normalization, and the solder-form linear-isomorphism property at every point); (c) the verification that the distinguished generator P₄ and the conditions (MC1), (MC3) follow from (JB1), (JB2). These verifications are tractable using standard Cartan-geometric machinery but are not done in detail here.

Outline of (E3): McGucken Cartan geometry ⇒ (M, F, V). Given a McGucken Cartan geometry (P → M, ω, P₄) satisfying (MC1)–(MC3), construct a moving-dimension manifold structure as follows. Define V on M to be the vector field dual to the P₄-component of the Cartan connection’s translation form ω_T (with the duality determined by the canonical isomorphism between the translation subspace ℝ⁴ ⊂ iso(1,3) and the tangent space TM at each point, supplied by the solder form). V satisfies (V1)–(V3) of Definition 5.3 by (MC1) (squared-norm), (MC2) (active flow), and the smoothness of ω. Define F to be the foliation of M whose leaves are orthogonal to V at every point; this is a codimension-one timelike foliation by Definition 5.2 (F1)–(F3). The McGucken-Invariance Lemma (Theorem 8.1) follows from (MC3) in the form Ω_T^4 = 0, since the Cartan curvature in the P₄-direction encodes the metric-dependence of x₄’s rate.

Obstacles to rigorous verification of (E3). The construction depends on (a) the duality between P₄ and V (a standard solder-form correspondence), (b) the verification that the foliation F orthogonal to V satisfies the Cauchy-surface conditions of Definition 5.2 (which requires checking that the orthogonal three-distribution to V is integrable, a standard result for unit timelike vector fields on globally hyperbolic Lorentzian manifolds [62]), and (c) the matching of (P1)–(P4) of Definition 5.4 with (MC1)–(MC3) of Definition 7.3. These verifications are tractable but not done in detail here.

8.6 The Standing of Conjecture 8.2

Conjecture 8.2 is conjectural. The three correspondences (E1), (E2), (E3) are structurally well-motivated by the standard dictionaries between vector-field formulations, jet-bundle formulations, and Cartan-geometric formulations of differential-geometric structures. The obstacles to rigorous verification — the precise formalism for varying g_{μν} in jets, the detailed Cartan-geometric machinery for the McGucken-curvature condition, the topological obstructions to global integrability — are tractable using standard apparatus from differential geometry and PDE theory but are not undertaken in detail in the present paper. We state the conjecture explicitly so that subsequent work can address the rigorous verification.

The structural payoff of Conjecture 8.2, if fully proven, is that the McGucken framework has three equivalent mathematical articulations, each of which makes a different aspect of the principle most directly visible:

The moving-dimension manifold formulation makes the structural content most directly visible: the privileged vector field V whose flow is the McGucken Principle.
The jet-bundle formulation makes the PDE content most directly visible: the differential-equation structure of the principle as constraints on the second-order jet bundle.
The Cartan-geometry formulation makes the group-theoretic content most directly visible: the McGucken Principle as a Cartan-connection structure on the Klein pair (ISO(1,3), SO⁺(1,3)) with distinguished translation generator.

The three formulations are different mathematical languages for the same physical content. The conjectured equivalence supplies the structural fact that the McGucken framework is articulable in all three languages, with each language adapted to a different kind of subsequent development.

In plain language. The McGucken framework is expressed in three mathematical languages: (i) directly, as a privileged vector field V on spacetime whose flow is the McGucken Principle; (ii) as a partial differential equation on spacetime, expressed as constraints on jet bundles; (iii) group-theoretically, as a Cartan connection with a distinguished translation generator. Conjecture 8.2 states that the three formulations are mathematically equivalent — that they describe the same geometric object in different mathematical languages. The three structural-outline arguments above establish each direction of correspondence; the rigorous proof requires additional apparatus from differential geometry and PDE theory and is the subject of subsequent work in the corpus.

PART III — COMPREHENSIVE PRIOR-ART SURVEY

Part III conducts the comprehensive survey of prior frameworks in differential geometry, mathematical physics, and the philosophy of time, establishing the novelty claim of the paper: no surveyed framework contains the conjunction of conditions (P1), (P2), (P3), (P4) of Definition 5.4 on a privileged vector field V.

The survey is organized by structural similarity. §9 covers Riemannian and Lorentzian geometry — the foundational apparatus from Riemann (1854) through modern Lorentzian-geometric theory. §10 covers Cartan geometry, Klein geometry, and the group-theoretic foundations of differential geometry. §11 covers jet bundles, fiber bundles, and foliations — the mathematical machinery underlying the three formulations of §§5–7. §12 covers the ADM 3+1 decomposition, cosmic time functions, and the four-velocity magnitude condition. §13 covers eleven frameworks with privileged timelike structure: Einstein-aether theory (§13.1), the Standard-Model Extension (§13.2), Hořava-Lifshitz gravity (§13.3), Causal Dynamical Triangulations (§13.4), Shape Dynamics (§13.5), the Connes-Rovelli Thermal Time Hypothesis (§13.6 — treated in detail as the closest neighbor of the McGucken framework in the entire surveyed literature), Connes’ noncommutative geometry and spectral triples (§13.7), Penrose Conformal Cyclic Cosmology (§13.8), Lorentz-Finsler spacetimes with timelike Killing field (§13.9), tetrad and vierbein formulations (§13.10), and the cosmological-time-function literature beyond Hawking/Andersson-Galloway-Howard (§13.11). §14 covers quantum-gravity programs and the philosophy of time.

For each framework surveyed, we give full credit to the framework’s content and identify precisely which of the conditions (P1)–(P4) the framework lacks. The methodology is exhibition: each framework is presented with its actual content, and the structural distinction from McGucken Geometry is articulated. The novelty claim — that the conjunction (P1) ∧ (P2) ∧ (P3) ∧ (P4) is not present in any surveyed framework — is established by exhibition across §§9–14, with the synthesis in §15.

9. Riemannian and Lorentzian Geometry Supplies the Smooth-Manifold and Metric Apparatus on Which McGucken Geometry Operates, but Does Not Articulate dx₄/dt = ic as a Structural Commitment

9.1 Riemann’s 1854 Smooth-Manifold and Metric-Tensor Apparatus Is Used by McGucken Geometry; Riemann Did Not Posit an Active Flow on the Manifold

Bernhard Riemann’s 1854 habilitation lecture at Göttingen, Über die Hypothesen, welche der Geometrie zu Grunde liegen [1], introduced the foundational concepts of modern differential geometry: the smooth manifold as the underlying topological-geometric object on which geometry is articulated, and the metric tensor as the local infinitesimal specification of distance and angle. Riemann’s framework supplies the smooth-manifold structure on which the McGucken framework operates (Definition 5.1) and the metric tensor whose Lorentzian signature is generated by Lemma 2.1 of the present paper.

Riemann’s framework is the primary mathematical apparatus from which all subsequent differential geometry descends. The McGucken framework owes Riemann a deep and explicit debt: the smooth four-manifold M of Definition 5.1 is a Riemannian smooth manifold (in the modern sense of differential topology); the metric tensor g of Convention 1.4.3 is a Lorentzian metric of the type Riemann introduced; and the Riemannian curvature theory developed from Riemann through Levi-Civita and Ricci-Curbastro is the framework’s mathematical context.

What Riemann’s framework does not contain is condition (P2) — the active-flow content of the McGucken Principle. Riemann’s smooth manifold is a passive object on which geometric structures (metric, connection, curvature) are defined. There is no privileged direction whose flow is an active geometric process at fixed rate; the manifold is given, and the metric is articulated on it. The McGucken framework adds the active-flow content as a structural commitment beyond the Riemannian manifold structure.

Structural distinction. Riemann’s framework supplies the smooth-manifold structure of Definition 5.1; it does not supply the privileged vector field V of Definition 5.3 or the conditions (P1)–(P4) of Definition 5.4. The McGucken framework uses Riemann’s manifold structure but adds the moving-dimension content.

9.2 Levi-Civita’s 1917 Affine Connection and Parallel Transport Are Used by McGucken Geometry, but Levi-Civita Did Not Restrict Curvature to Spatial Slices and Did Not Articulate the McGucken-Invariance Lemma

Tullio Levi-Civita’s 1917 paper [2] introduced the concept of parallel transport on a Riemannian manifold and derived the affine connection that makes parallel transport well-defined. The Levi-Civita connection is the unique torsion-free metric-compatible affine connection on a Riemannian manifold (Fundamental Theorem of Riemannian Geometry [15, Theorem 3.1.1]), and is the standard connection in all subsequent treatments.

The McGucken framework uses the Levi-Civita connection on the moving-dimension manifold (M, F, V): the connection is the standard one of Riemannian geometry, applied to the Lorentzian manifold structure. The Christoffel symbols Γ^λ_{μν} of the Levi-Civita connection encode the curvature of the spatial-slice metric h_{ij} in response to mass-energy (in the general-relativistic regime developed in [31]).

What Levi-Civita’s framework does not contain is the McGucken-Invariance Lemma: the condition that the rate of x₄-advance is independent of the metric tensor. The Levi-Civita connection on a Lorentzian manifold has all four metric components dynamical; the McGucken framework restricts dynamical content to the spatial slices and forces the time-direction’s rate of advance to be metric-independent. This is the structural content (MC3) of the Cartan-geometric formulation, and it is not present in Levi-Civita’s framework.

Structural distinction. Levi-Civita’s framework supplies the affine-connection apparatus (Christoffel symbols, parallel transport, geodesics); it does not supply the privileged-element conditions of Definition 5.4 or the McGucken-Invariance Lemma. The McGucken framework uses Levi-Civita’s connection but adds the moving-dimension content.

9.3 Minkowski’s 1908 Identity x₄ = ict Supplied the Static Notational Form; the McGucken Principle dx₄/dt = ic Articulates the Active Dynamical Content That Minkowski Did Not Assert

Hermann Minkowski’s 1908 Cologne address [9] introduced the spacetime concept: the four-dimensional manifold with Lorentzian metric of signature (−, +, +, +), as the natural setting for special relativity. Minkowski’s identity x₄ = ict — recovered from the McGucken Principle dx₄/dt = ic by integration with x₄(0) = 0 — supplies the static algebraic notation, while the McGucken Principle supplies the dynamical content.

Minkowski’s contribution was to recognize that special relativity can be articulated geometrically as the geometry of a four-dimensional manifold with Lorentzian signature. The substitution x₄ = ict was Minkowski’s notational device for converting the Euclidean line element to the Lorentzian line element through the algebraic identity i² = −1; Minkowski did not, however, read this substitution as an active dynamical statement. The static reading (the imaginary unit i is a bookkeeping device for the metric signature) is what Minkowski supplied; the dynamical reading (dx₄/dt = ic is an active geometric process at rate ic from every event) is the McGucken framework’s contribution.

Minkowski’s framework is therefore the closest precedent to the McGucken framework at the notational level: the formula x₄ = ict has been present in physics since 1908. What Minkowski’s framework does not contain is the differential reading: dx₄/dt = ic was not stated, and the active-flow content of (P2) was not asserted. The McGucken framework’s contribution is the recognition that Minkowski’s static identity carries dynamical content under differentiation, and the development of that dynamical content as a structural commitment of the geometry.

Structural distinction. Minkowski’s framework supplies the Lorentzian-metric apparatus and the static identity x₄ = ict; it does not supply the differential statement dx₄/dt = ic or the active-flow content of (P2). The McGucken framework reads Minkowski’s static identity as the integrated form of an active-flow principle.

9.4 Modern Lorentzian Geometry — Globally Hyperbolic Spacetimes, Cauchy Surfaces, Energy Conditions — Supplies the Apparatus on Which McGucken Geometry Lives but Does Not Contain the Privileged-Element Conditions (P1)–(P4)

Modern Lorentzian-geometric theory [15, 62] develops the framework of Riemannian geometry adapted to the Lorentzian-signature setting: causal structure, cosmic time functions, globally hyperbolic spacetimes, energy conditions, and the Hawking-Penrose singularity theorems. This apparatus is the mathematical context of general relativity and is used in the McGucken framework’s articulation of M as a globally hyperbolic Lorentzian manifold (Convention 1.4.1).

The Hawking-Ellis treatment [62] develops cosmic time functions (Convention 1.4.4) and the existence of Cauchy surfaces; this apparatus underwrites Definition 5.2 of the foliation F. The Wald reference [15] develops the standard Lorentzian-geometric formalism. Andersson, Galloway, and Howard [25] develop the cosmological-time-function literature.

What modern Lorentzian geometry does not contain is the privileged-element conditions (P1)–(P4) of Definition 5.4. The framework of cosmic time functions establishes that globally hyperbolic Lorentzian manifolds admit smooth Cauchy time functions, and that the level sets of such functions are spacelike Cauchy surfaces; this provides the foliation F and the unit timelike vector field V orthogonal to F. But the framework does not assert that V’s flow is an active geometric process at rate ic, or that V’s wavefront is the McGucken Sphere, or that V is empirically the CMB rest frame. These structural commitments of the McGucken framework are not present in modern Lorentzian geometry.

Structural distinction. Modern Lorentzian geometry supplies the apparatus of globally hyperbolic spacetimes, Cauchy time functions, and cosmic time foliations; it does not supply conditions (P1)–(P4) of Definition 5.4. The McGucken framework uses the Lorentzian-geometric apparatus and adds the privileged-element conditions on V’s flow.

10. Cartan Geometry, Klein Geometry, and the Group-Theoretic Foundations of Differential Geometry Supply the Categorical Apparatus McGucken Geometry Operates In, but None of Klein, Cartan, or Sharpe Distinguishes One Translation Generator as the Active Carrier of dx₄/dt = ic

10.1 Klein’s 1872 Erlangen Programme Supplies the Conceptual Organization of Geometries by Symmetry Groups; Klein Did Not Distinguish a Privileged Element of the Lie Algebra as Active Generator

Felix Klein’s 1872 Erlanger Programm [5] articulated the program of organizing geometry by its symmetry group: each geometry is the study of properties invariant under the action of a specific group on a specific space. The Klein pair (G, H) — a Lie group G with closed subgroup H — generates the homogeneous space G/H, and the geometry is the study of structures on G/H invariant under the G-action.

Klein’s program supplied the conceptual framework for the group-theoretic articulation of geometry that culminated in Cartan’s work and modern Cartan geometry [4]. The McGucken framework’s Cartan-geometric formulation (§7) is a Cartan geometry of Klein type (ISO(1,3), SO⁺(1,3)) — the Klein geometry whose model is Minkowski spacetime ISO(1,3)/SO⁺(1,3) ≅ ℝ³,¹.

Klein’s framework does not contain the McGucken framework’s structural content. Klein’s program organizes geometries by their symmetry groups and homogeneous-space models; it does not specify a privileged element of the Lie algebra g whose flow is an active geometric process at fixed rate. The Lie algebra structure provides the symmetry generators, but no specific generator is distinguished as the carrier of dynamical content.

Structural distinction. Klein’s framework supplies the conceptual organization of geometries by symmetry groups; it does not supply the distinguished active translation generator P₄ of Definition 7.2 or the conditions (MC1)–(MC3) of Definition 7.3. The McGucken framework uses Klein’s group-theoretic organization (the Klein pair (ISO(1,3), SO⁺(1,3))) and adds the privileged-element conditions on P₄’s flow.

10.2 Cartan’s 1923–1925 Connection Apparatus Is Used by McGucken Geometry; Cartan Did Not Distinguish P₄ as Active Translation Generator and Did Not Restrict the Cartan Curvature to the Spatial-Translation Directions

Élie Cartan’s papers of 1923–1925 [3] developed the framework of Cartan connections — Lie-algebra-valued one-forms on principal bundles encoding the local infinitesimal G-structure on a manifold. Cartan’s work generalized Riemannian geometry: where Riemannian geometry uses a metric tensor as the primary geometric object, Cartan geometry uses a Lie-algebra-valued connection.

Cartan’s framework is the mathematical context for the Cartan-geometric formulation of the McGucken framework (§7). The Cartan connection ω on a principal SO⁺(1,3)-bundle P → M, valued in iso(1,3), is the mathematical object underlying the McGucken Cartan geometry of Definition 7.3.

What Cartan’s framework does not contain is the distinguished active translation generator P₄ and the conditions (MC1)–(MC3) of Definition 7.3. Cartan’s framework treats all generators of the model Lie algebra g uniformly; there is no a priori privileged generator carrying active-flow content. The McGucken framework adds (MC1) (squared-norm of P₄), (MC2) (active flow of V dual to P₄), and (MC3) (curvature condition Ω_T^4 = 0) as structural commitments on top of the standard Cartan-geometric apparatus.

Structural distinction. Cartan’s framework supplies the Cartan-connection apparatus; it does not supply the distinguished active translation generator P₄ or the structural commitments (MC1)–(MC3). The McGucken framework uses Cartan’s connections and adds the privileged-element conditions.

10.3 Sharpe’s 1997 Modern Reformulation of Cartan Geometry Is the Mathematical Apparatus of §7; Sharpe Did Not Articulate the McGucken-Invariance Condition Ω_T^4 = 0

Richard Sharpe’s 1997 monograph Differential Geometry: Cartan’s Generalization of Klein’s Erlangen Program [4] supplies the modern reformulation of Cartan geometry in the form used by the McGucken framework. Sharpe’s text develops the framework of Cartan geometries of Klein type (G, H) as principal H-bundles with H-equivariant g-valued one-forms satisfying the conditions (C1)–(C3) of Definition 7.1 of the present paper.

Sharpe’s framework is the mathematical machinery used in §7. The articulation of the McGucken Cartan geometry as a Cartan geometry of Klein type (ISO(1,3), SO⁺(1,3)) (Definition 7.1) follows Sharpe’s development. The conditions (MC1)–(MC3) of Definition 7.3 are additional structural commitments imposed on top of Sharpe’s standard Cartan-geometric apparatus.

What Sharpe’s framework does not contain is the distinguished active translation generator P₄ and the conditions (MC1)–(MC3). Sharpe’s text develops the standard Cartan-geometric framework without imposing any privileged-element structure on the Lie algebra g; the McGucken framework adds this structure.

Structural distinction. Sharpe’s framework supplies the modern Cartan-geometric apparatus; it does not supply the privileged-element conditions (MC1)–(MC3) of Definition 7.3. The McGucken framework uses Sharpe’s framework and adds the privileged-element structure.

10.4 The Maurer-Cartan Formalism Is Standard Lie-Algebraic Apparatus Used by McGucken Geometry; the Formalism by Itself Carries No Privileged-Element Content

The Maurer-Cartan one-form on a Lie group G [6] is the canonical g-valued left-invariant one-form, and its structural equation (the Maurer-Cartan equation dω + (1/2)[ω, ω] = 0) characterizes the local structure of Lie groups. The Maurer-Cartan formalism is the mathematical machinery underlying Cartan geometry: a Cartan geometry of Klein type (G, H) is a principal H-bundle whose Cartan connection restricts on each fiber to the Maurer-Cartan form of H.

The McGucken framework uses the Maurer-Cartan formalism through its Cartan-geometric formulation: the Cartan connection ω of Definition 7.1 satisfies the Maurer-Cartan structural conditions on each fiber, and the curvature Ω of Definition 7.3 measures the failure of ω to be globally Maurer-Cartan.

What the Maurer-Cartan formalism does not contain is the distinguished active translation generator and the conditions (MC1)–(MC3). The formalism is structural machinery for articulating Lie-group-valued connections; it does not specify any privileged element of the Lie algebra.

Structural distinction. The Maurer-Cartan formalism supplies the Lie-algebraic structural apparatus underlying Cartan geometry; it does not supply the privileged-element conditions of the McGucken framework. The McGucken framework uses the Maurer-Cartan formalism and adds the privileged-element structure.

10.5 G-Structure Theory Supplies the Language of Structure-Group Reductions; Standard G-Structures Are Static Reductions and Do Not Contain the Active-Flow Content of (P2)

The theory of G-structures [9] articulates geometric structures on a smooth manifold as reductions of the frame bundle’s structure group from GL(n) to a subgroup G ⊂ GL(n). A Riemannian metric is an O(n)-structure; an almost complex structure is a GL(n, ℂ)-structure; a Lorentzian metric is an O(1, n−1)-structure. The framework of G-structures supplies a unified language for diverse geometric structures.

The McGucken framework’s structural commitment can be articulated as a further reduction of the structure group: given the Lorentzian O(1, 3)-structure on M, the McGucken framework specifies an SO⁺(1,3)-substructure together with a privileged timelike unit vector field V, which can be understood as a further reduction to the SO(3)-substructure (the rotation subgroup preserving V’s direction). This refinement of the standard G-structure framework is the structural articulation of the McGucken framework’s privileged content.

What the G-structure framework does not contain, in its standard form, is the active-flow condition (P2) of Definition 5.4. A G-structure is a static reduction of the structure group; it does not specify dynamical content for the privileged objects. The McGucken framework adds the dynamical commitment that V’s flow is an active geometric process at rate ic.

Structural distinction. The G-structure framework supplies the language of structure-group reductions; it does not supply the active-flow content of (P2). The McGucken framework uses G-structures and adds the dynamical commitment.

11. Jet Bundles, Fiber Bundles, and Foliations Supply the PDE-Theoretic and Topological Apparatus on Which the Three Formulations of McGucken Geometry Operate; the Apparatus by Itself Does Not Specify the McGucken Principle’s Differential Constraints

11.1 Ehresmann’s 1951 Jet-Bundle Apparatus Is Used in §6 to Formalize dx₄/dt = ic as a Differential Constraint on the Second-Order Jet Bundle; Ehresmann’s Apparatus by Itself Does Not Specify Any Particular Differential Equation

Charles Ehresmann’s 1951 work [7] introduced the concept of jet bundles as the natural mathematical objects parameterizing higher-order Taylor expansions of smooth sections. The k-th jet bundle J^k(π) of a smooth fibration π : E → M is itself a smooth manifold; differential equations on M become geometric subsets of jet bundles, and solutions become sections of the underlying bundle whose prolongations land in the specified subset.

Ehresmann’s framework supplies the mathematical apparatus underlying the jet-bundle formulation of McGucken Geometry (§6). The second-order jet bundle J²(M × ℝ⁴) of Definition 6.1 is constructed using Ehresmann’s framework; the constraints (JB1) and (JB2) are subsets of the jet bundle in Ehresmann’s sense; and the flat section s* satisfying the constraints is a section in Ehresmann’s framework.

What Ehresmann’s framework does not contain is the McGucken Principle’s specific differential constraints. Ehresmann’s framework is general structural machinery for articulating differential equations geometrically; it applies to the McGucken Principle through the constraints (JB1) ∂x₄/∂t = ic and (JB2) ∂²x₄/(∂t · ∂g_{μν}) = 0, but Ehresmann’s framework itself does not specify these constraints. The McGucken framework provides the constraints; Ehresmann’s framework provides the apparatus for articulating them.

Structural distinction. Ehresmann’s framework supplies the jet-bundle apparatus; it does not supply the McGucken Principle’s specific differential constraints. The McGucken framework uses Ehresmann’s apparatus and adds the constraints (JB1)–(JB3).

11.2 Saunders’ 1989 Modern Jet-Bundle Apparatus Supplies the Precise Formalism for the Constraints (JB1)–(JB3) of Definition 6.1; the Apparatus Is General PDE Theory and Does Not Specify the McGucken Principle

David Saunders’ 1989 monograph The Geometry of Jet Bundles [8] supplies the modern mathematical treatment of jet bundles, articulating their geometric and PDE-theoretic content. Saunders’ text develops the apparatus for treating differential equations as geometric subsets of jet bundles, the prolongation theory of differential operators, and the structural equations of jet-bundle sections.

Saunders’ framework is used in the jet-bundle formulation of McGucken Geometry (§6) for the precise articulation of the constraints (JB1)–(JB3) and the flat-section condition. The flatness of s* in Definition 6.1 (JB3) is a jet-bundle-theoretic concept articulated in Saunders’ framework.

What Saunders’ framework does not contain is the McGucken Principle’s specific PDE structure. Saunders’ framework is general; it applies to any system of differential equations. The McGucken framework specifies which PDE system: dx₄/dt = ic and ∂²x₄/(∂t · ∂g_{μν}) = 0. The structural content is in the McGucken framework; the apparatus is in Saunders’.

Structural distinction. Saunders’ framework supplies the modern jet-bundle apparatus; it does not supply the McGucken Principle’s PDE constraints. The McGucken framework uses Saunders’ apparatus.

11.3 Whitney’s 1935 Fiber-Bundle Apparatus Is Used Throughout §§5–7 for the Principal SO⁺(1,3)-Bundle, the Second-Order Jet Bundle, and the Tangent Bundle on Which V Lives; Whitney’s Apparatus Is General and Carries No Privileged-Element Structure

Hassler Whitney’s 1935 work [11] introduced the concept of fiber bundles as a generalization of product spaces, allowing local triviality without global product structure. Whitney’s framework supplies the mathematical context for vector bundles, principal bundles, associated bundles, and characteristic classes, and is the prerequisite apparatus for both jet bundles (Ehresmann 1951 [7]) and Cartan geometry (Cartan 1923–1925 [3]; Sharpe 1997 [4]).

Whitney’s framework supplies the foundational fiber-bundle apparatus used throughout §§5–7 of the present paper. The principal SO⁺(1,3)-bundle of Definition 7.1, the second-order jet bundle of Definition 6.1, and the tangent bundle TM on which V lives in Definition 5.3 — all of these are fiber bundles in Whitney’s sense.

What Whitney’s framework does not contain is any specific privileged-element structure. Whitney’s framework provides the apparatus for fiber bundles in general; the McGucken framework’s privileged-element content is added on top.

Structural distinction. Whitney’s framework supplies the fiber-bundle apparatus; it does not supply the privileged-element structure of the McGucken framework.

11.4 Reeb’s 1952 Foliation-Theoretic Apparatus Underlies the Foliation F of Definition 5.2; Reeb’s Apparatus Applies to Foliations of Any Codimension and Does Not Specify Which Foliation Is Physically Privileged

Georges Reeb’s 1952 thesis [10] introduced the concept of foliations on smooth manifolds: codimension-q distributions integrable to a partition of the manifold by lower-dimensional submanifolds (the leaves). Reeb’s framework supplies the mathematical apparatus for the foliation F of Definition 5.2 of the present paper.

Reeb’s framework is general: it applies to foliations of any codimension on any smooth manifold. The codimension-one timelike foliation F of Definition 5.2 — with leaves spacelike Cauchy surfaces of M — is a specific instance of Reeb’s framework, adapted to the Lorentzian-signature setting through the Cauchy-surface theory of Hawking-Ellis [62].

What Reeb’s framework does not contain is the McGucken Principle’s specification of which foliation is privileged. Reeb’s framework provides the apparatus for foliations in general; the McGucken framework specifies that the foliation F is the foliation by simultaneity surfaces of the privileged vector field V, with V’s flow generating the McGucken Principle. The structural commitment that this foliation is the physically privileged one is the McGucken framework’s content; Reeb’s framework supplies the foliation-theoretic apparatus.

Structural distinction. Reeb’s framework supplies the foliation-theoretic apparatus; it does not supply the privileged-element conditions (P1)–(P4) on the foliation’s associated vector field V. The McGucken framework uses Reeb’s apparatus.

12. The ADM 3+1 Decomposition, Cosmic Time Functions, and the Four-Velocity Magnitude Condition Supply the Lorentzian-Geometric Apparatus Compatible with McGucken Geometry; the Apparatus Treats the Foliation as Gauge and Does Not Articulate (P1)–(P4)

12.1 The Arnowitt-Deser-Misner 1962 3+1 Decomposition Supplies the Lapse-and-Shift Apparatus Used in McGucken-Adapted Charts; ADM Treats the Foliation as Gauge, Whereas McGucken Geometry Asserts the Foliation Is Physically Privileged

The Arnowitt-Deser-Misner (ADM) 1962 paper [12] developed the 3+1 decomposition of general relativity, articulating the canonical Hamiltonian formulation of general relativity by foliating spacetime into a stack of spacelike slices indexed by a time parameter. The ADM formalism decomposes the four-metric g_{μν} into a lapse function N, a shift vector N^i, and a spatial metric h_{ij} on each leaf:

ds² = −N²(t, x)·c²·dt² + h_{ij}(t, x)·(dx^i + N^i·dt)·(dx^j + N^j·dt).

The ADM formalism is the standard apparatus for the canonical formulation of general relativity, used in the gravitational-Hamiltonian-constraint analysis [12, 15] and in canonical quantum gravity programs (Wheeler-DeWitt equation [61]; Loop Quantum Gravity [26]).

The ADM 3+1 decomposition supplies a privileged foliation of spacetime — the ADM foliation by spacelike slices — and a unit timelike vector field n^μ orthogonal to the slices (the “ADM normal”). The ADM formalism therefore appears, structurally, similar to the moving-dimension manifold (M, F, V) of §5: a foliation, a privileged unit timelike vector field, a Lorentzian manifold structure.

The structural distinction between the ADM formalism and the McGucken framework is in the interpretive status of the foliation. The ADM foliation is gauge: any choice of foliation is allowed, and physical predictions are required to be foliation-independent. The ADM formalism is constructed precisely so that the choice of foliation is a coordinate-system choice, with no physical content. Different foliations of the same Lorentzian manifold give the same physical predictions; the foliation is bookkeeping.

The McGucken framework’s foliation F (Definition 5.2) is not gauge: it is asserted to be the physical privileged foliation, with structural commitment (P4) identifying F empirically with the cosmic-microwave-background rest frame’s simultaneity surfaces. The McGucken framework asserts that there is a physically distinguished foliation; the ADM formalism asserts that there is no such physically distinguished foliation. The structural difference is the difference between treating the foliation as physical content and treating it as gauge.

A second structural distinction is in the active-flow content of (P2). The ADM formalism does not assert that the unit timelike vector field n^μ has its flow as an “active geometric process at rate ic.” The vector field n^μ is the kinematic object orthogonal to the chosen foliation; its flow is the change of the chart’s time coordinate. The McGucken framework asserts that V’s flow is the McGucken Principle — the active geometric process generating the McGucken Sphere at every event — which is a structural commitment beyond what the ADM formalism contains.

Structural distinction. The ADM formalism supplies the 3+1 decomposition apparatus, including a foliation and a unit timelike vector field; it treats the foliation as gauge and does not assert active-flow content. The McGucken framework asserts that the foliation is physical and that V’s flow is an active geometric process; this is the structural commitment beyond ADM.

12.2 Hawking’s 1968 Cosmic-Time-Function Theorem Supplies the Existence of Cauchy Time Functions on Globally Hyperbolic Spacetimes; Hawking Did Not Single Out Any Specific Cosmic Time Function as Physically Privileged

Stephen Hawking’s 1968 paper [14] established the existence of smooth cosmic time functions on globally hyperbolic Lorentzian manifolds: smooth functions τ : M → ℝ whose level sets are spacelike Cauchy surfaces and whose gradient is everywhere timelike. Hawking’s result supplies the mathematical foundation for the foliation F of Definition 5.2 of the present paper: the leaves Σ_t are level sets of a Hawking cosmic time function.

Hawking’s framework supplies the apparatus for cosmic time foliations on globally hyperbolic spacetimes. What Hawking’s framework does not contain is the privileged-element conditions (P1)–(P4) of Definition 5.4. Hawking’s cosmic time function is a mathematical object — any smooth function with the cosmic-time properties counts as a cosmic time function. The framework does not assert that any specific cosmic time function is physically privileged.

The McGucken framework adds the structural commitment that the foliation F associated to the physically privileged V (with V satisfying (P1)–(P4)) is the empirical CMB rest frame’s simultaneity surfaces. This is the McGucken framework’s content; Hawking’s framework supplies the cosmic-time apparatus.

Structural distinction. Hawking’s framework supplies the cosmic-time-function apparatus; it does not supply the privileged-element conditions (P1)–(P4). The McGucken framework uses Hawking’s apparatus.

12.3 Wald’s 1984 Standard Reference Develops the Lorentzian-Geometric Apparatus Used Throughout the Paper; Wald Does Not Articulate the Privileged-Element Conditions (P1)–(P4)

Robert Wald’s 1984 General Relativity [15] supplies the standard graduate-level reference for general relativity and Lorentzian geometry. Wald develops the cosmic-time-function framework, the ADM 3+1 decomposition, the four-velocity formalism, and the standard apparatus of Lorentzian geometry. The McGucken framework uses this apparatus throughout.

Wald’s reference does not contain the privileged-element conditions (P1)–(P4) or the McGucken-Invariance Lemma; these are McGucken-framework additions to the standard Lorentzian-geometric apparatus.

12.4 The Four-Velocity Magnitude Condition u^μ u_μ = −c² Is the Kinematic Statement That McGucken Geometry Reads as the Geometric Content of the Budget |dx₄/dτ|² + |dx/dτ|² = c²; the Standard Formalism Treats the Magnitude Condition as Definitional and Does Not Read It as Active-Flow Content

The four-velocity formalism of relativistic physics [13] specifies that the four-velocity u^μ = dx^μ/dτ of a timelike worldline (parameterized by proper time τ) satisfies the magnitude condition u^μ u_μ = −c². This condition appears in standard relativistic textbooks as a basic fact of the four-velocity formalism, derived from the proper-time definition dτ² = −(1/c²) g_{μν} dx^μ dx^ν.

The four-velocity magnitude condition is structurally close to the privileged-element condition (V1) of Definition 5.3: V is a unit timelike vector field with squared-norm V_μ V^μ = −c². The vector field V can be identified with the four-velocity of a comoving observer (an observer at rest in the privileged spatial slices F); for such an observer, the four-velocity u^μ is precisely V at the observer’s worldline.

The structural distinction between the four-velocity formalism and the McGucken framework is, as with the ADM formalism, in the interpretive status. The four-velocity formalism treats the magnitude condition u^μ u_μ = −c² as a kinematic fact of relativistic worldlines: every timelike observer’s four-velocity has fixed magnitude c. This is a feature of how the four-velocity is defined, not an active geometric process. The McGucken framework reads the magnitude condition as the budget condition (Corollary 1.1 of [31]): every particle has a four-velocity budget of total magnitude c, partitioned between x₄-advance and three-spatial motion. The substantive content of the McGucken reading is that x₄’s component of the budget is itself an active geometric process at rate ic (Channel A of §1.5: the rate is uniform across all events).

The four-velocity formalism does not contain the active-flow content of (P2). It is a kinematic specification of the four-velocity’s magnitude, not a dynamical statement about an active geometric process.

Structural distinction. The four-velocity formalism supplies the magnitude condition u^μ u_μ = −c² as a kinematic fact; it does not supply the active-flow content of (P2) or the privileged-element conditions (P1), (P3), (P4) of Definition 5.4. The McGucken framework reads the four-velocity formalism’s magnitude condition as the geometric content of the McGucken Principle (under the budget reading of Channel A) and adds the active-flow commitment.

13. Frameworks with Privileged Timelike or Privileged-Direction Structure: The Closest Neighbors

The frameworks closest to the McGucken framework in the prior literature are those that posit some form of privileged direction, flow, frame, or operator on spacetime: a vector field, a foliation, an algebraic-state flow, a Killing field, a Dirac operator, a tetrad gauge, a conformal-cyclic identification, or a Cauchy time function. We survey eleven such frameworks: Einstein-aether theory (§13.1), the Standard-Model Extension (§13.2), Hořava-Lifshitz gravity (§13.3), Causal Dynamical Triangulations (§13.4), Shape Dynamics (§13.5), the Connes-Rovelli Thermal Time Hypothesis (§13.6 — the closest neighbor in the entire surveyed literature, treated in detail), Connes’ noncommutative geometry (§13.7), Penrose Conformal Cyclic Cosmology (§13.8), Lorentz-Finsler with timelike Killing field (§13.9), tetrad and vierbein formulations (§13.10), and the cosmological-time-function literature beyond Hawking/Andersson-Galloway-Howard (§13.11). For each, we give full credit to the framework’s content and identify precisely which of (P1)–(P4) the framework lacks.

13.1 Einstein-Aether Theory (Jacobson-Mattingly 2001) Posits a Unit Timelike Vector Field as a Matter Field with a Lagrangian; McGucken Geometry’s V Is Part of the Geometric Structure, Not a Matter Degree of Freedom — Condition (P1) Distinguishes McGucken Geometry from Einstein-Aether

Einstein-aether theory, developed by Ted Jacobson and David Mattingly in 2001 [16] and extended in subsequent work [17, 18], introduces a unit timelike vector field u^μ (“aether”) on spacetime, coupled to the metric via a generalized Einstein-Hilbert action. The aether vector field is dynamical: it satisfies a field equation derived from the Lagrangian, with kinetic and coupling terms specified by Lorentz-violating coefficients. The framework breaks Lorentz invariance dynamically while preserving general covariance.

Einstein-aether theory is structurally close to the McGucken framework in that both posit a unit timelike vector field on spacetime — the aether u^μ in Einstein-aether theory, the privileged V in the McGucken framework. Both fields have squared-norm −c² (in suitable units; Einstein-aether uses a unit-timelike normalization). Both fields break the formal Lorentz invariance of the underlying spacetime by singling out a privileged direction.

The structural distinction between Einstein-aether theory and the McGucken framework lies in the privileged-element condition (P1) of Definition 5.4. The Einstein-aether vector field u^μ is a matter field: it is supplied by a Lagrangian density on M, with kinetic and self-coupling terms making u^μ a dynamical degree of freedom in the matter sector. The aether is structurally on the matter side of the framework, not on the geometric side. This means that u^μ has its own propagation dynamics — modes corresponding to different aether perturbations propagate at speeds determined by the aether’s coupling coefficients, with mode speeds that can differ from the speed of light. The aether is dynamical matter content.

The McGucken framework’s V is structurally different. V is part of the geometric structure (condition (P1)): it is not a matter field with a Lagrangian, and it has no propagation modes of its own. V’s flow is the McGucken Principle, an active geometric process at fixed rate ic — not a dynamical degree of freedom satisfying field equations. The structural commitment of (P1) is precisely that V is geometric, not material.

A second structural distinction concerns condition (P2). Einstein-aether theory does not assert that u^μ’s flow is an active geometric process at fixed rate. The aether’s role in the theory is to break Lorentz invariance and to mediate Lorentz-violating effects; its flow has whatever dynamics the Lagrangian specifies, which is generally not a fixed-rate active expansion. The McGucken framework asserts (P2): V’s flow is the active geometric process at rate ic.

Conditions lacking in Einstein-aether theory. Condition (P1): the aether is a matter field, not part of the geometric structure. Condition (P2): the aether’s flow is dynamical (set by a Lagrangian), not an active geometric process at fixed rate ic. Conditions (P3) and (P4): not present in Einstein-aether theory, as the framework does not assert McGucken-Sphere wavefront generation or empirical CMB-frame identification of u^μ.

Structural standing. Einstein-aether theory is a matter-field framework with privileged timelike structure, sitting on the Metric-Dynamics side of Proposition 4.4 (the metric is dynamical via the Einstein equations sourced by the aether’s stress-energy). It is not an Axis-Dynamics framework in the sense of Definition 4.3.

13.2 The Standard-Model Extension (Kostelecký-Samuel 1989; Colladay-Kostelecký 1998) Posits Vacuum Expectation Values of Background Tensors as the Privileged Content; McGucken Geometry’s Privileged Content Is Geometric, Not Matter-Sector — Condition (P1) Distinguishes McGucken Geometry from the SME

The Standard-Model Extension (SME) framework, developed by Alan Kostelecký and Stuart Samuel in 1989 [19] and Don Colladay and Kostelecký in 1998 [20], systematically catalogs the possible Lorentz-invariance-violating extensions of the Standard Model and general relativity. The framework introduces background tensor fields (constant or varying) that take vacuum expectation values breaking Lorentz invariance spontaneously; the SME serves as the standard catalog of possible Lorentz-violating phenomenology and the framework for experimental searches for Lorentz-violating effects.

In the SME framework, the privileged timelike structure is supplied by vacuum expectation values of various tensor fields. A timelike vacuum expectation value selects a privileged frame; the framework articulates how this frame manifests in the dynamics of various Standard Model sectors.

The structural distinction between the SME framework and the McGucken framework is the same as for Einstein-aether theory at the level of (P1): the SME’s privileged content is a matter-sector vacuum expectation value, not a geometric primitive. The privileged frame in the SME is a feature of the matter sector’s Lagrangian (specifically, of the vacuum expectation values of various background tensors); it is not part of the geometric structure of M.

The SME framework does not contain conditions (P2), (P3), or (P4) of Definition 5.4: it does not assert active-flow content for any specific direction, does not generate McGucken-Sphere wavefronts, and does not identify any specific frame empirically with the CMB.

Conditions lacking in the SME framework. (P1): the privileged content is matter-sector, not geometric. (P2): no active-flow content. (P3): no McGucken-Sphere generation. (P4): no specific empirical identification of the privileged frame with the CMB.

Structural standing. The SME is a Metric-Dynamics framework with matter-sector Lorentz violation; it is not an Axis-Dynamics framework.

13.3 Hořava-Lifshitz Gravity (2009) Treats the Preferred Foliation as Renormalization-Theoretic Gauge Content; McGucken Geometry Asserts the Foliation Is Physically Privileged with Active-Flow Content at Rate ic — Conditions (P2)–(P4) Distinguish McGucken Geometry from Hořava-Lifshitz

Petr Hořava’s 2009 paper [21] developed Hořava-Lifshitz gravity, a modification of general relativity in which the spacetime manifold is foliated by a preferred spacelike foliation, and the action is invariant under foliation-preserving diffeomorphisms rather than under the full diffeomorphism group of general relativity. The framework was motivated by considerations of perturbative renormalizability: by allowing different scaling between space and time, Hořava-Lifshitz gravity is power-counting renormalizable in 3+1 dimensions, in contrast to standard general relativity.

Hořava-Lifshitz gravity is structurally close to the McGucken framework in that both posit a privileged foliation of spacetime: a stack of spacelike slices indexed by a privileged time parameter, with diffeomorphism invariance restricted to those diffeomorphisms preserving the foliation.

The structural distinction lies primarily in conditions (P2) and (P3) of Definition 5.4. Hořava-Lifshitz gravity does not assert that the foliation’s associated unit timelike vector field has its flow as an active geometric process at rate ic. The privileged foliation is a renormalization-theoretic structure: it provides the regularization that makes the theory perturbatively renormalizable, with its physical interpretation as a preferred frame of nature. The framework does not assert McGucken-Sphere wavefront generation (P3) or empirical CMB-frame identification (P4).

A second structural distinction concerns the dynamical content. Hořava-Lifshitz gravity’s privileged foliation is fixed once and for all (by the choice of foliation); the dynamical content of the theory is in the metric components on the leaves and their evolution along the foliation parameter. This is structurally a Metric-Dynamics framework (Definition 4.1) with restricted diffeomorphism invariance, not an Axis-Dynamics framework (Definition 4.3).

Conditions lacking in Hořava-Lifshitz gravity. (P2): the foliation’s normal vector field is not asserted to have its flow as an active geometric process at rate ic. (P3): no McGucken-Sphere wavefront generation. (P4): no empirical CMB-frame identification.

Structural standing. Hořava-Lifshitz gravity is a Metric-Dynamics framework (Definition 4.1) with restricted diffeomorphism invariance and a preferred foliation. It is not an Axis-Dynamics framework.

13.4 Causal Dynamical Triangulations (Ambjørn-Loll 1998) Treats the Proper-Time Foliation as Gauge in the Modern Reformulation (Jordan-Loll 2013); McGucken Geometry Asserts the Foliation Is Physically Real and Carries Active-Flow Content — Conditions (P1)–(P4) Distinguish McGucken Geometry from CDT

Causal Dynamical Triangulations (CDT), developed by Jan Ambjørn, Renate Loll, and collaborators starting in 1998 [22], is a non-perturbative approach to quantum gravity in which spacetime is approximated by a piecewise-linear simplicial complex, with the path integral over geometries restricted to those admitting a foliation by spacelike slices. The proper-time foliation is the structural feature of CDT that distinguishes it from earlier Euclidean dynamical triangulations approaches.

The CDT proper-time foliation is structurally close to the McGucken framework’s foliation F. Both posit a privileged foliation of spacetime by spacelike slices indexed by a time parameter.

The structural distinction is in the interpretive status of the CDT foliation. In the original CDT formulation [22], the proper-time foliation was treated as a structural feature defining a class of admissible geometries; the foliation was given physical interpretation as a preferred frame. However, in the Jordan-Loll 2013 reformulation [53], the proper-time foliation is gauge: any choice of foliation gives equivalent physics, and the foliation is treated as a regularization device with no physical content. The CDT framework, as currently developed, treats the proper-time foliation as gauge.

This puts CDT structurally on the Metric-Dynamics side of Proposition 4.4: the foliation is a coordinate-system choice, not an Axis-Dynamics structural commitment. The privileged-element conditions (P1)–(P4) are not present: (P2) fails because the foliation’s normal is not asserted to have active-flow content; (P3) fails because there is no McGucken-Sphere generation; (P4) fails because there is no empirical CMB-frame identification.

Conditions lacking in CDT. (P2), (P3), (P4): same as Hořava-Lifshitz gravity, with the additional fact that the foliation in CDT is gauge in the modern reformulation.

Structural standing. CDT is a Metric-Dynamics framework (in the sense that the dynamical content is the metric on simplicial complexes, with the foliation gauge). It is not an Axis-Dynamics framework.

13.5 Shape Dynamics (Barbour-Gomes-Koslowski-Mercati) Reformulates General Relativity with the Constant-Mean-Extrinsic-Curvature Foliation as a Gauge Choice; McGucken Geometry Asserts the Foliation Is Physical and the Privileged Vector Field Carries Active-Flow Content — Conditions (P1)–(P4) Distinguish McGucken Geometry from Shape Dynamics

Shape Dynamics, developed by Julian Barbour, Henrique Gomes, Tim Koslowski, and Flavio Mercati [23, 24], is a reformulation of general relativity in which the four-dimensional diffeomorphism invariance of standard general relativity is traded for three-dimensional spatial conformal invariance plus a privileged constant-mean-extrinsic-curvature (CMC) foliation. The framework is dynamically equivalent to general relativity (in the sense that it generates the same physical predictions) but with a different gauge structure: the CMC foliation is privileged in Shape Dynamics, while the four-dimensional diffeomorphism is privileged in general relativity.

Shape Dynamics is structurally close to the McGucken framework in that both posit a privileged foliation: the CMC foliation in Shape Dynamics, the McGucken foliation F in the McGucken framework. The dynamical content in Shape Dynamics is the conformal three-geometry of the leaves, evolving along the CMC foliation parameter.

The structural distinction is, as with Hořava-Lifshitz and CDT, in conditions (P2), (P3), (P4). Shape Dynamics does not assert that the CMC foliation’s normal vector field has its flow as an active geometric process at rate ic; the framework does not generate McGucken-Sphere wavefronts; and the framework does not empirically identify the CMC foliation with the CMB rest frame. A further distinction is that Shape Dynamics is structurally a gauge-theoretic reformulation of general relativity: the CMC foliation is a gauge choice (within the framework’s gauge structure), not an Axis-Dynamics structural commitment.

Conditions lacking in Shape Dynamics. (P2), (P3), (P4): same as the previous frameworks.

Structural standing. Shape Dynamics is a Metric-Dynamics framework reformulated with conformal-three-geometry dynamical content and a CMC-foliation gauge choice. It is not an Axis-Dynamics framework.

13.6 The Connes-Rovelli Thermal Time Hypothesis (1994) Articulates a State-Dependent Modular Flow at Thermodynamically Determined Rate β-Modular-Time and Recovers the CMB Rest Frame in the FRW Setting as a Derived Consequence; McGucken Geometry Articulates a State-Independent Geometric Flow at the Geometrically Fixed Rate ic, Generates Spherically Symmetric Wavefronts at Every Event, and Identifies V with the CMB Rest Frame as a Structural Commitment — TTH Is the Closest Cousin in the Entire Surveyed Literature, and the Structural Distinction Is Precisely State-Dependent Thermodynamic Flow versus State-Independent Geometric Flow

The Thermal Time Hypothesis (TTH), developed by Alain Connes and Carlo Rovelli in 1994 [73] following Rovelli’s 1993 FRW analysis [74], is the closest neighbor of the McGucken framework in the entire surveyed literature. We treat it in detail because the structural distinction is more delicate than for the frameworks of §§13.1–13.5.

TTH addresses the “problem of time” in generally covariant quantum theories: standard general relativity has no preferred time parameter, and its canonical-quantum-gravity formulation (Wheeler-DeWitt equation [61]) is famously timeless. Connes and Rovelli proposed that time flow is a thermodynamical-algebraic phenomenon: given a generally covariant quantum theory specified by a von Neumann algebra 𝒜 of observables and a faithful normal state ω on 𝒜, the modular automorphism group α_t^ω of the state ω (Tomita-Takesaki theory [75]) defines a one-parameter group of automorphisms of 𝒜 — the thermal time flow. Connes and Rovelli postulate:

In a generally covariant quantum theory, given any faithful state, the flow of time is defined by the state-dependent modular automorphism group. [73]

Rovelli’s 1993 follow-up [74] applied TTH to a Robertson-Walker universe filled with cosmic-microwave-background radiation. The result was striking: the thermal time associated with the CMB Gibbs state precisely recovers the Robertson-Walker cosmological time. The privileged frame singled out by TTH in the cosmological setting is the CMB rest frame.

We give full credit to TTH’s content. The framework asserts: (i) time flows (the modular automorphism group is a one-parameter flow); (ii) the flow is defined by structure, not asserted as a separate postulate (it descends from the algebraic-state data); (iii) in the FRW setting, the flow’s privileged frame is empirically the CMB rest frame. Three of the four McGucken conditions appear in some form.

We now articulate the structural distinctions between TTH and McGucken Geometry condition by condition.

Comparison with (P1). TTH’s privileged content is the modular automorphism group α_t^ω of an algebraic-state pair (𝒜, ω). The modular flow is intrinsic to the algebraic structure plus the state, not added as a matter Lagrangian or vacuum expectation value. In this sense (P1) is partially satisfied: TTH’s privileged content is not a matter field. However, the modular flow depends essentially on the state ω; different faithful states yield different modular flows. The privileged content is therefore (algebraic structure + state), and the state is in some sense state-dependent rather than purely geometric. McGucken Geometry’s V is part of the geometric structure independent of any quantum state: V is asserted at the level of the smooth manifold (M, g, F, V), not derived from a state on an algebra. The distinction is: TTH’s flow is state-dependent — change the state and the flow changes; McGucken’s flow is state-independent — V is fixed by the geometric specification at rate ic regardless of any state.

Comparison with (P2). TTH’s modular flow α_t^ω is genuinely a flow: a one-parameter automorphism group of the algebra. In this sense the active-flow content of (P2) is satisfied. However, the rate of the modular flow is set by the inverse temperature β of the state (in the Connes-Rovelli convention, β = 1, but the choice is conventional and the rate scales with β). The rate is thermodynamically determined, not geometrically fixed. McGucken Geometry’s flow is at rate ic — geometrically fixed by the McGucken Principle, set to the velocity of light, independent of any thermodynamical content. The distinction is: TTH’s rate is set by thermodynamics (inverse temperature of the state); McGucken’s rate is set by geometry (velocity of light).

This is the cleanest structural distinction. Both frameworks assert flow content; the difference is what fixes the flow rate. TTH’s rate is a thermodynamic parameter; McGucken’s rate is a geometric constant.

Comparison with (P3). TTH does not articulate a wavefront content for its flow. The modular flow is an algebraic automorphism group, not a geometric wavefront generator. There is no analogue of the McGucken Sphere Σ⁺(p) in TTH: the modular flow does not generate a spherically-symmetric wavefront from each event. McGucken Geometry’s V generates the McGucken Sphere at every event by Lemma 2.2, and the spherical symmetry of x₄’s expansion (Channel B) is the structural source of this wavefront. TTH lacks (P3) entirely.

Comparison with (P4). TTH’s CMB identification (Rovelli 1993 [74]) is a result derived for the FRW Gibbs state — the thermal time of the CMB Gibbs state recovers the FRW cosmological time. McGucken Geometry’s CMB identification (P4) is a structural specification — V is identified with the CMB rest frame as part of the framework’s empirical content. The two identifications are not the same: TTH’s is a derived consequence of computing modular flow on a particular state; McGucken’s is a structural commitment. However, both frameworks identify the CMB rest frame as the privileged frame in the cosmological setting. (P4) is satisfied in form by TTH, with the structural difference that TTH’s identification is state-dependent (specific to the FRW Gibbs state) while McGucken’s is state-independent.

Conditions in TTH. Summarizing the comparison:

(P1): partially satisfied — privileged content is structural-plus-state, not matter-field; but state-dependent rather than purely geometric.
(P2): partially satisfied — flow content yes, but rate is thermodynamically determined rather than geometrically fixed.
(P3): not satisfied — no spherical-wavefront content.
(P4): satisfied in form (in the FRW case) — the privileged frame is the CMB rest frame, but as a state-dependent derived consequence rather than a structural specification.

Structural standing. TTH is the closest neighbor of McGucken Geometry in the entire surveyed literature. It is not an Axis-Dynamics framework in the sense of Definition 4.3 of the present paper, because (AD-iii) — the structural commitment that the privileged flow is part of the geometry — fails in TTH: the flow is part of the algebraic-state pair, depends on the state, and is not fixed at a geometric rate. But TTH is the framework that comes closest to having all four conditions in some form, and the structural distinction between TTH and McGucken Geometry is the cleanest articulation of what the McGucken framework adds: a state-independent geometric flow at the velocity of light, generating spherically-symmetric wavefronts from every event, identified empirically with the CMB rest frame as a structural specification rather than as a state-dependent derived consequence.

McGucken Geometry is structurally distinct from TTH along the four axes articulated above. TTH is the relevant comparison framework whenever the McGucken framework is presented; it is not adequate to dismiss TTH as a matter-field framework or a gauge framework, because TTH is neither — its decoration is the algebraic-state pair (𝒜, ω) and the structural distinction from McGucken Geometry is precisely state-dependent thermodynamic flow versus state-independent geometric flow.

13.7 Connes’ Noncommutative Geometry (1994) and Spectral Triples (𝒜, ℋ, D) Treat the Dirac Operator as Primary Geometric Content with the Spectrum Encoding Metric Structure; the Dirac Operator Is Not Asserted as an Active Flow at Fixed Rate, the Framework Has No Spherical-Wavefront Content, and No Empirical CMB Identification — Conditions (P2)–(P4) Distinguish McGucken Geometry from Connes NCG

Alain Connes’ noncommutative geometry program [76, 77] articulates geometry through the spectral-triple data (𝒜, ℋ, D) where 𝒜 is an involutive algebra of operators, ℋ is a Hilbert space carrying a representation of 𝒜, and D is a self-adjoint Dirac operator with compact resolvent. Standard Riemannian geometry is recovered when 𝒜 is the algebra of smooth functions on a spin manifold M, ℋ is the L²-spinor space, and D is the canonical Dirac operator. The metric distance, the dimension, and the line element are all encoded in D. Connes-Chamseddine spectral-action geometry [77] develops this further into a proposed unified description of spacetime and matter content.

Lorentzian extensions of the spectral-triple framework — most notably the “spectral spacetime” of Besnard-Bizi 2017 [78] — extend the formalism to indefinite-signature settings. The Dirac operator in these extensions can be read with directional content (the “time-orientation 1-form” of [78]).

We give full credit to the apparatus. The spectral-triple framework is foundational mathematics: it supplies a categorical-algebraic articulation of geometry that recovers standard Riemannian content and extends to noncommutative settings. The Dirac operator is the primary geometric content, in a precise mathematical sense.

Comparison with the McGucken privileged-element conditions. The Dirac operator D is part of the structural data of a spectral triple, not a matter field; (P1) is satisfied at this level. However, D is not asserted as an active-flow generator at fixed geometric rate; it is a self-adjoint operator whose spectrum encodes the metric content. There is no a priori “rate ic” associated to D — its spectrum is determined by the geometry, not asserted at a fixed value. (P2)’s active-flow content is therefore not present in the standard spectral-triple framework. Lorentzian extensions [78] add a time-orientation 1-form, but this is a static directional structure, not an active flow. The framework also does not articulate (P3)’s spherical-wavefront content as a structural commitment, and does not specify (P4)’s empirical CMB identification.

Conditions in Connes NCG: (P1) satisfied; (P2)–(P4) not present in the standard formulation.

Structural standing. Connes’ NCG is foundational mathematical apparatus that supplies one of the closest analogues to the McGucken framework’s “privileged geometric structure” content (via D as primary geometric object), but does not contain the active-flow, spherical-wavefront, or CMB-identification content. It is not an Axis-Dynamics framework.

13.8 Penrose Conformal Cyclic Cosmology Connects FLRW Aeons by Conformal Rescaling at Conformal Infinity; the Dynamical Content Within an Aeon Is Scale-Factor Dynamics (Definition 4.2), Not Axis Dynamics (Definition 4.3) — McGucken Geometry’s Active-Axis-Flow Content of (P2) Distinguishes Axis Dynamics from CCC’s Conformal-Cyclic Structure

Roger Penrose’s Conformal Cyclic Cosmology (CCC) [69a, 70a] is a cyclic cosmological model in which the universe consists of an infinite sequence of aeons, each a Friedmann-Lemaître-Robertson-Walker spacetime expanding from a Big Bang to future timelike infinity ℐ⁺, with the future conformal infinity of one aeon identified with the Big Bang of the next via a conformal rescaling. The framework was developed in the 2010 book Cycles of Time and has been extended through papers including Tod 2015 [70b] and Meissner-Penrose 2025 [70c].

CCC is cosmological and conformal: the privileged structure is the conformal manifold and the cyclic identification of conformal infinities. Within each aeon, CCC operates within standard FLRW general relativity; there is no privileged active-flow direction within an aeon’s geometry asserted at rate ic.

Comparison with the McGucken privileged-element conditions. CCC has no privileged vector field V satisfying (V1)–(V3) of Definition 5.3; the framework’s privileged content is the conformal-cyclic structure across aeons, not an active flow within an aeon. (P1)–(P3) are not present in the framework’s structural specification. CCC’s connection to the CMB is observational (Penrose’s predicted “circular rings” or “Hawking points” in the CMB temperature-fluctuation spectrum, [69a]), but this is a predicted observational signature of the cyclic structure, not a structural identification of a privileged frame.

Conditions in CCC: (P1)–(P4) not present.

Structural standing. CCC is a Scale-Factor Dynamics framework (Definition 4.2 of the present paper) with a conformal-cyclic identification structure across aeons. It is not an Axis-Dynamics framework.

13.9 Lorentz-Finsler Spacetimes with Timelike Killing Vector Field (Caponio-Stancarone 2018) Treat the Privileged Direction as a Symmetry Generator (ℒ_K g̃ = 0); McGucken Geometry’s V Is an Active Flow, Not a Killing Field — Active Flow ≠ Killing Symmetry, and Condition (P2) Distinguishes McGucken Geometry from Lorentz-Finsler Frameworks

Finsler geometry [12a, 12b] generalizes Riemannian geometry by allowing the metric tensor to depend on tangent direction in addition to position: at each point p of a Finsler manifold, there is a family of scalar products g̃_v (one for each direction v ∈ T_p M), rather than a single scalar product. The Lorentzian extension — Lorentz-Finsler geometry — applies this direction-dependent structure to indefinite-signature spacetimes; the apparatus has been developed in connection with gravity [12c], cosmology [13a], and the Standard-Model Extension [29a].

Recent work has extended the framework to Finsler spacetimes with timelike Killing vector field (Caponio-Stancarone 2018 [13b]): smooth, connected, paracompact Lorentz-Finsler manifolds equipped with a Killing field K whose flow preserves the generalized metric tensor. The Caponio-Stancarone analysis introduces “stationary splitting Finsler spacetimes” — Lorentz-Finsler spacetimes admitting a timelike Killing field that splits the manifold into a product structure.

We give full credit. Lorentz-Finsler geometry is a mathematically substantial generalization of Lorentzian geometry, and the timelike-Killing-field structure is a real privileged-direction content. A Finsler spacetime with timelike Killing field has, like McGucken Geometry, a privileged timelike structure on the manifold.

Comparison with the McGucken privileged-element conditions. The Killing vector field K is a symmetry generator: by definition, the Lie derivative of the metric along K vanishes, ℒ_K g̃ = 0. This is a static condition on the metric — the metric is invariant under K’s flow, which is precisely what it means for K to be Killing. McGucken Geometry’s V is not asserted as Killing; (P2) requires that V’s flow be an active geometric process at fixed rate ic, not that the metric be invariant under V’s flow. The structural content is different: a Killing field encodes a symmetry of the geometry; V encodes an active flow of the geometry.

In the FLRW cosmological case, the comoving four-velocity is not a Killing vector field in general (the spatial metric a(t)²·h̃_{ij} depends on t, so the metric is not invariant under time translation). So even the standard cosmological privileged frame is not a Killing field. McGucken Geometry’s V, in the FLRW case, is the comoving four-velocity, which is not Killing — and that is the point. V is an active flow, not a symmetry generator.

(P3)’s spherical-wavefront content and (P4)’s CMB-identification are not articulated in the Lorentz-Finsler-with-Killing-field framework as structural commitments.

Conditions in Finsler-with-Killing-field: Privileged direction yes, but as Killing symmetry rather than active flow. (P2)–(P4) not satisfied.

Structural standing. Finsler spacetimes with timelike Killing fields are a structural generalization of Lorentzian geometry with privileged-direction content, but the privileged content is static (Killing symmetry) rather than active (flow at fixed rate). The structural distinction from McGucken Geometry is precise: Killing vector ≠ McGucken privileged vector field.

13.10 Tetrad and Vierbein Formulations Treat the Timelike Tetrad Component e₀ as a Gauge Choice with Local Lorentz Transformations Rotating Tetrads Freely; McGucken Geometry’s V Is a Structural Commitment Independent of Gauge — Condition (P1) Distinguishes McGucken Geometry from the Tetrad Formalism

The tetrad (or vierbein) formulation of general relativity, introduced by Einstein and developed by Weyl [11a, 41a], expresses the metric as g_{μν} = e_μ^a e_ν^b η_{ab} where {e_a} is a local orthonormal frame at each point of M and η is the Minkowski metric. The timelike vector field e₀ “defines a preferred timelike congruence” (Buchman-Bardeen 2003 [42a]); in comoving FLRW tetrads, e₀ is the four-velocity of comoving observers. The teleparallel equivalent of general relativity (Maluf 2013 [44a]) reformulates GR entirely in tetrad-and-torsion variables.

We give full credit. The tetrad formalism is foundational apparatus for general relativity, indispensable for spinor fields and indispensable in modern numerical relativity and quantum-gravity programs.

Comparison with the McGucken privileged-element conditions. The tetrad-formalism’s e₀ provides a “preferred timelike congruence” in any chosen tetrad gauge; but local Lorentz transformations rotate the tetrad freely, and this gauge freedom is built into the formalism. The choice of e₀ is gauge: different gauge choices give different e₀’s, all physically equivalent. e₀ is therefore not a structural commitment of the geometry — it is a chart-dependent (or rather, gauge-dependent) choice. (P1) of McGucken Geometry requires V to be part of the geometric structure independent of any gauge choice. The tetrad-formalism’s e₀ does not satisfy (P1) at the level of the formalism itself; it is gauge.

In specific settings (notably comoving FLRW tetrads [40a]), the choice of e₀ is fixed empirically by the comoving four-velocity of cosmological observers, and the gauge is broken by the cosmological matter content. This is structurally analogous to (P4)’s CMB-frame identification, but it is not part of the formalism; it is a specific gauge choice motivated by cosmological content.

(P2)’s active-flow content at rate ic is not articulated in the tetrad formalism. The flow of e₀ is the kinematic flow of the tetrad’s time leg; it is not asserted at a fixed geometric rate as a structural commitment. (P3)’s spherical-wavefront content is also not articulated.

Conditions in tetrad/vierbein formulations: Privileged direction in any gauge but as gauge choice rather than structural commitment. (P1)–(P4) not satisfied at the level of the formalism.

Structural standing. The tetrad formalism is foundational apparatus that the McGucken framework can in principle be expressed in (as is true for any framework on a Lorentzian manifold), but the formalism itself does not contain the privileged-element conditions of Definition 5.4. It is not an Axis-Dynamics framework.

13.11 The Cosmological-Time-Function Literature (Hawking 1968; Andersson-Galloway-Howard 1998; Bernal-Sánchez 2003-2005) Establishes the Existence of Smooth Cauchy Time Functions on Globally Hyperbolic Spacetimes; the Existence Theorems Hold for Uncountably Many Cauchy Time Functions Without Singling Out Any Specific One as Privileged — McGucken Geometry’s Structural Commitment That F Is the Specific Foliation Associated to V’s Active Flow at Rate ic Is Not Part of the Cosmological-Time-Function Apparatus

Beyond Hawking 1968 [14] and Andersson-Galloway-Howard 1998 [25] (already covered in §12.2), the literature on cosmological time functions includes substantial work on existence, regularity, and uniqueness of preferred time functions on globally hyperbolic spacetimes. This includes work on cosmic-time functions [62a], temporal functions in the sense of Bernal-Sánchez [62b, 62c] (smooth Cauchy temporal functions on globally hyperbolic spacetimes, refining Hawking’s result with smoothness), Costa-Sánchez analysis of cosmological time functions in the presence of matter content [62d], and more recent work on regularity and global structure.

The Bernal-Sánchez result [62b, 62c] is the modern strengthening of Hawking 1968: every globally hyperbolic spacetime admits a smooth Cauchy temporal function — a smooth function τ: M → ℝ whose gradient is everywhere timelike past-directed and whose level sets are smooth spacelike Cauchy surfaces. This result is foundational for the modern treatment of foliations on Lorentzian manifolds and is used implicitly in Convention 1.4.4 of the present paper.

We give full credit. The cosmological-time-function literature establishes the rigorous mathematical foundation for Cauchy foliations on globally hyperbolic spacetimes. The McGucken framework’s foliation F (Definition 5.2) lives within this apparatus.

Comparison with the McGucken privileged-element conditions. The cosmological-time-function literature establishes the existence of Cauchy time functions on globally hyperbolic spacetimes — i.e., that some such function exists. It does not establish or assert any specific cosmological time function as the privileged one; the existence theorems hold for any of the (uncountably many) Cauchy temporal functions a globally hyperbolic spacetime admits. The framework supplies the mathematical apparatus; the McGucken framework supplies the additional structural commitment that one specific time function τ is privileged — namely, the one whose level sets are F’s leaves and whose gradient is V’s flow at rate ic.

(P1)–(P4) of Definition 5.4 are not part of the cosmological-time-function literature’s content. The literature establishes the apparatus; the McGucken framework adds the structural commitment.

Conditions in cosmological-time-function literature: Apparatus only; no structural commitments to (P1)–(P4).

Structural standing. The cosmological-time-function literature supplies foundational apparatus used by the McGucken framework but does not articulate any of the framework’s privileged-element conditions as structural commitments.

13.12 Summary: The Eleven Surveyed Frameworks Each Lack at Least One of the Four Conditions (P1)–(P4) in Its Full Form; the Closest Cousin TTH Has Three Conditions Partially Satisfied and Lacks (P3) Entirely; the Conjunction (P1) ∧ (P2) ∧ (P3) ∧ (P4) Is Not Present in Any Surveyed Framework

The eleven frameworks surveyed in §§13.1–13.11 — Einstein-aether theory, the Standard-Model Extension, Hořava-Lifshitz gravity, Causal Dynamical Triangulations, Shape Dynamics, the Connes-Rovelli Thermal Time Hypothesis, Connes’ noncommutative geometry, Penrose Conformal Cyclic Cosmology, Lorentz-Finsler spacetimes with timelike Killing field, tetrad/vierbein formulations, and the cosmological-time-function literature — are the surveyed frameworks closest to McGucken Geometry in the prior literature. Each posits some form of privileged structure on spacetime: a vector field, a foliation, an algebraic-state flow, a conformal-cyclic identification, a Killing field, a tetrad gauge, or a Cauchy time function.

The structural distinctions across the eleven frameworks are summarized as follows.

Frameworks treating the privileged structure as a matter field: Einstein-aether (the aether is a matter Lagrangian degree of freedom), SME (privileged content is matter-sector vacuum expectation values). (P1) fails.

Frameworks treating the privileged structure as a gauge fixing or coordinate convention: Hořava-Lifshitz (preferred foliation as renormalization device), CDT (proper-time foliation as gauge in the modern reformulation), Shape Dynamics (CMC foliation as gauge choice), tetrad/vierbein formulations (e₀ as gauge choice). (P1) fails or the privileged content is gauge.

Frameworks treating the privileged structure as a thermodynamic-state-dependent flow: Thermal Time Hypothesis (modular flow at rate set by inverse temperature β of the state). (P2) partially satisfied — flow yes, but rate state-dependent rather than geometrically fixed.

Frameworks treating the privileged structure as a static symmetry generator: Lorentz-Finsler with timelike Killing field (Killing vector ≠ active flow). (P2) fails — Killing symmetry is static, not active.

Frameworks treating the privileged structure as scale-factor or conformal content: Penrose CCC (conformal-cyclic structure, scale-factor evolution within aeons). (P2) fails — no fixed-rate active axial flow.

Frameworks supplying foundational apparatus without privileged-element commitments: Connes’ NCG (Dirac operator as primary geometric content but no active-flow rate), cosmological-time-function literature (existence apparatus for Cauchy foliations but no privileged commitment). The privileged-element conditions are not part of the formalism.

Across the eleven surveyed frameworks, none satisfies the conjunction (P1) ∧ (P2) ∧ (P3) ∧ (P4) of Definition 5.4. The closest cousin is the Thermal Time Hypothesis, with three of the four conditions partially satisfied: (P1) partially (privileged content is structural-plus-state), (P2) partially (flow yes, but rate thermodynamic rather than geometric), (P4) partially (CMB-identification in FRW yes, but as state-dependent derived consequence). TTH lacks (P3) entirely. The structural distinction between TTH and McGucken Geometry is the cleanest articulation of what the McGucken framework adds: a state-independent geometric flow at the velocity of light, generating spherically-symmetric wavefronts from every event, identified with the CMB rest frame as a structural specification rather than as a state-dependent derived consequence.

The McGucken framework’s structural commitment that V is part of the geometry (independent of any quantum state, gauge choice, or symmetry generator), with active flow at rate ic (geometrically fixed by the McGucken Principle, not thermodynamically determined), generating the McGucken Sphere as wavefront (with spherical symmetry from every event), and empirically identified with the CMB rest frame as a structural commitment of the framework — all four conditions together — is not present in any of the eleven surveyed frameworks. The novelty claim (§15) is established by this exhibition.

14. Quantum-Gravity Programs (Loop Quantum Gravity, Causal Set Theory) and the Philosophy of Time (Growing-Block Universe, Process Philosophy) Articulate Adjacent Content Without Containing the Conjunction of (P1)–(P4); the Philosophy-of-Time Traditions Articulate the Active-Time Content Philosophically That McGucken Geometry Formalizes Mathematically

14.1 Loop Quantum Gravity (Rovelli 2004) Operates Within Standard General Relativity in Ashtekar Variables and Quantizes the Gravitational Sector Non-Perturbatively; LQG Does Not Posit a Privileged Vector Field with Active-Flow Content — Conditions (P1)–(P4) Are Absent

Loop Quantum Gravity (LQG), developed by Carlo Rovelli, Lee Smolin, and Abhay Ashtekar from the late 1980s onward [26], is a non-perturbative approach to quantum gravity based on the canonical Hamiltonian formulation of general relativity in Ashtekar variables. The framework constructs a Hilbert space of spin-network states on which the constraints of canonical general relativity act, with the physical states being those satisfying all constraints.

LQG operates within the framework of standard general relativity (with an alternative parameterization), preserving the four-dimensional diffeomorphism invariance and treating all four metric components as dynamical. The framework does not posit a privileged timelike vector field with active-flow content; it does not posit a privileged foliation as a physical content (the foliation is gauge in the canonical formulation); and it does not assert McGucken-Sphere wavefront generation or empirical CMB-frame identification.

Conditions lacking in LQG. (P1)–(P4): all four privileged-element conditions are absent. LQG is structurally a Metric-Dynamics framework (Definition 4.1) — the metric is dynamical via the canonical constraints — quantized non-perturbatively in Ashtekar variables.

Structural standing. LQG is not an Axis-Dynamics framework. It is a quantum-gravitational extension of standard general relativity.

14.2 Causal Set Theory (Bombelli-Lee-Meyer-Sorkin 1987) Proposes That Spacetime at the Fundamental Level Is a Discrete Partial Order; the Framework’s Fundamental Structure Is Not a Smooth Manifold and Does Not Carry a Continuous Privileged Vector Field — McGucken Geometry’s (P1)–(P4) Are Defined on a Smooth Manifold and Do Not Apply to Discrete Partial Orders

Causal Set Theory, developed by Luca Bombelli, Joohan Lee, David Meyer, and Rafael Sorkin in 1987 [27], proposes that spacetime at the fundamental level is a discrete partial-order structure (a causal set) — a locally finite set of “events” with a partial order encoding causal relations. The continuous Lorentzian-manifold structure of spacetime emerges as a coarse-grained approximation to the underlying causal set.

Causal Set Theory does not posit a continuous privileged timelike vector field or a privileged foliation. The framework’s privileged content is the partial-order structure itself; the relation between the discrete causal set and any continuous geometric structure is established at the coarse-grained level.

Conditions lacking in Causal Set Theory. (P1)–(P4): the framework’s privileged content is the discrete causal-order structure, not a continuous vector field or foliation. The privileged-element conditions on V do not apply because there is no V at the fundamental level.

Structural standing. Causal Set Theory is a discrete-structure quantum gravity framework. It is not an Axis-Dynamics framework in the sense of Definition 4.3 because its fundamental structure is not continuous-geometric.

14.3 The Growing-Block Universe (Broad 1923; Reichenbach 1956) and Whitehead’s Process Philosophy (1929) Articulate the Active-Time Content Philosophically — That Time Is Not Static but Genuinely Flows — Without the Differential-Geometric Formalization; McGucken Geometry Supplies the Mathematical Formalization of the Active-Time Content That These Traditions Asserted in Non-Mathematical Form

The growing-block universe theory in the philosophy of time, with roots in McTaggart 1908 [29], Broad 1923 [63], and Reichenbach 1956 [28], asserts that the past and present exist while the future does not — i.e., the universe “grows” by accreting new present moments at the boundary of existing reality. The growing-block view is one of three major positions in the philosophy of time (alongside presentism and eternalism), and asserts an ontologically privileged “now” that advances along a privileged temporal direction.

A. N. Whitehead’s process philosophy [30] is a metaphysical framework in which reality consists of “actual occasions” that come into being and pass away, with the world fundamentally a process rather than a collection of static entities.

The growing-block view and process philosophy are structurally close to the McGucken framework’s structural commitment (P2) — that V’s flow is an active geometric process — at the philosophical level. Both philosophical traditions assert an active, advancing, irreducibly dynamical aspect of time that is closer to the McGucken framework’s reading than to the static “block universe” view (eternalism) of standard relativistic physics.

The structural distinction between the McGucken framework and the growing-block / process-philosophy traditions is that the philosophical traditions do not articulate the active-flow content as a precise mathematical condition on a vector field on a Lorentzian manifold. The growing-block view is a metaphysical position about the ontological status of the past, present, and future; process philosophy is a metaphysical framework about the nature of actual occasions. Neither tradition supplies the differential-geometric apparatus articulating dx₄/dt = ic or the privileged-element conditions (P1)–(P4) on a vector field.

The McGucken framework can therefore be understood as supplying the mathematical formalization of the active-flow content that the philosophical traditions assert in non-mathematical form. The McGucken Principle articulates, in differential-geometric language, the active-advance content that the growing-block view and process philosophy assert philosophically. The mathematical content is in the McGucken framework; the philosophical traditions provide the conceptual context but lack the mathematical specification.

Conditions lacking in the growing-block / process-philosophy traditions. The traditions do not articulate any of (P1)–(P4) as precise mathematical conditions on a vector field. They assert a related philosophical content but lack the differential-geometric formalization.

Structural standing. The growing-block view and process philosophy are philosophical traditions, not differential-geometric frameworks. They are related to the McGucken framework’s structural commitments at the conceptual level but do not supply the mathematical content. The McGucken framework can be read as the differential-geometric formalization of an active-time content that has been philosophically articulated in these traditions.

14.4 Summary: Across the Quantum-Gravity Programs and Philosophy-of-Time Traditions, No Framework Contains the Conjunction of (P1)–(P4) as Differential-Geometric Structural Commitments; the Philosophy-of-Time Traditions Are Conceptual Predecessors Whose Active-Time Content McGucken Geometry Formalizes Mathematically

Loop Quantum Gravity and Causal Set Theory are quantum-gravity frameworks operating within the standard structure of general relativity (LQG) or proposing fundamental discrete structures (Causal Set Theory). Neither posits the McGucken framework’s privileged-element conditions (P1)–(P4).

The growing-block view and process philosophy assert active-time content philosophically but do not supply the differential-geometric formalization. The McGucken framework can be read as the mathematical formalization of an active-time content that has been philosophically articulated in these traditions.

Across the survey of §§9–14, no surveyed framework satisfies the conjunction (P1) ∧ (P2) ∧ (P3) ∧ (P4) of Definition 5.4. The novelty claim of the paper, articulated in §15 below, is established by exhibition: each framework is examined, full credit is given, and the structural distinction is articulated. The conjunction (P1)–(P4) is exhibited as not present in any surveyed framework.

PART IV — SYNTHESIS

Part IV synthesizes the content of Parts I–III. §15 identifies what is novel in McGucken Geometry and what is taken from prior art. §16 states the McGucken-Invariance Lemma’s role in compatibility with general relativity, citing [31] for the derivational chain. §17 catalogs the source-paper apparatus and provenance. §18 provides the chronology of development from the Princeton origin (1988–1999) through the present.

15. McGucken Geometry Combines Standard Mathematical Apparatus from Riemann, Levi-Civita, Cartan, Klein, Ehresmann, Whitney, Reeb, Hawking, and Sharpe with Six Structural Commitments That Together Define a New Geometric Category Not Present in Any Surveyed Prior Framework

15.1 The Mathematical Apparatus of §§5–7 Comes from Standard Differential Geometry; Each Element Is Cited and Used as Established by Its Developer

The mathematical apparatus used to formalize McGucken Geometry is taken directly from prior art, with full credit to its developers. The apparatus comprises:

Smooth-manifold theory (Riemann 1854 [1]; Whitney 1936 [56]). The smooth four-manifold M of Definition 5.1 is a Riemannian smooth manifold in the modern sense.

Lorentzian metric apparatus (Minkowski 1908 [9]; Levi-Civita 1917 [2]; Wald 1984 [15]). The Lorentzian metric g of Convention 1.4.3, the affine connection structure, and the curvature tensors are standard apparatus from Lorentzian geometry.

Foliation theory (Reeb 1952 [10]; Hawking 1968 [14]; Hawking-Ellis 1973 [62]; Andersson-Galloway-Howard 1998 [25]; Wald 1984 [15]). The codimension-one timelike foliation F of Definition 5.2, with leaves spacelike Cauchy surfaces, uses standard foliation-theoretic apparatus.

Vector-field theory on Lorentzian manifolds (standard relativistic textbook material [13, 15]). The privileged unit timelike vector field V of Definition 5.3, with squared-norm V_μ V^μ = −c², uses the four-velocity formalism’s apparatus.

Jet-bundle theory (Ehresmann 1951 [7]; Saunders 1989 [8]). The second-order jet bundle J²(M × ℝ⁴) and the constraints (JB1)–(JB3) of Definition 6.1 use standard jet-bundle apparatus.

Cartan-geometric theory (Cartan 1923–1925 [3]; Sharpe 1997 [4]). The Cartan connection ω, the Klein pair (ISO(1,3), SO⁺(1,3)), the Maurer-Cartan formalism, and the Cartan-curvature decomposition use standard Cartan-geometric apparatus.

Klein geometry and the Erlangen Programme (Klein 1872 [5]). The conceptual organization of geometry by symmetry groups is from Klein.

Fiber-bundle theory (Whitney 1935 [11]). The principal SO⁺(1,3)-bundle of Definition 7.1 is a fiber bundle in Whitney’s sense.

G-structure theory (Sternberg 1964 [9] and subsequent literature). The framework of structure-group reductions is standard apparatus.

ADM 3+1 decomposition (Arnowitt-Deser-Misner 1962 [12]). Used in §12.1 for structural comparison; also implicit in the McGucken-adapted chart structure of Convention 1.4.5.

In each case, the McGucken framework uses the prior-art apparatus and adds structural commitments on top.

15.2 Six Structural Commitments — State-Independent Geometric Flow, Geometrically Fixed Rate ic, Spherically Symmetric Wavefront from Every Event, Gravitational Invariance of the Rate, Geometric (Not Field-Theoretic, Gauge-Theoretic, State-Dependent, or Symmetry-Theoretic) Privilege, and Structural CMB-Frame Identification — Together Define McGucken Geometry as a New Geometric Category Not Present in Any Surveyed Framework

The structural commitments of McGucken Geometry, articulated through Definitions 5.1–5.4 and (MC1)–(MC3) of Definition 7.3, are the following six identifiable items. We articulate each in a form that distinguishes McGucken Geometry from each of the surveyed neighbors of §13, with particular attention to the closest cousin TTH (§13.6).

Novelty 1: Active-flow content of a privileged geometric direction, at a state-independent geometric rate. The McGucken framework asserts that one specific coordinate axis (x₄) is itself an active geometric process advancing at fixed rate ic — a rate fixed by geometry (the velocity of light c), not by thermodynamics (the inverse temperature β of a state). This is condition (P2) of Definition 5.4. The structural commitment is the assertion that x₄’s flow is a real geometric phenomenon at a state-independent rate, not a coordinate convention, gauge choice, foliation parameter, matter-field degree of freedom, or state-dependent thermodynamic flow. The Connes-Rovelli Thermal Time Hypothesis (§13.6) has flow content but at a thermodynamically-determined rate; McGucken Geometry’s flow is at the geometrically-fixed rate ic. The state-independence of the rate is the structural distinction from TTH.

Novelty 2: The fixed rate is the velocity of light. The rate of x₄’s active flow is asserted to be ic — the imaginary unit times the velocity of light. The factor of c specifies the rate magnitude as the velocity of light, making the structural commitment compatible with the special-relativistic invariance of c. The factor of i specifies the perpendicular character of x₄’s expansion relative to the three spatial dimensions. No surveyed framework asserts c as the fixed geometric rate of an active flow.

Novelty 3: The expansion is spherically symmetric, generating the McGucken Sphere as wavefront from every event. Condition (P3) of Definition 5.4 specifies that V’s wavefront at every event is the McGucken Sphere of Lemma 2.2 — the future null cone generated by x₄’s expansion at the event. The structural commitment is the spherical symmetry of the expansion: every spatial direction shares the wavefront equally, generating the spherically symmetric future null cone. The Thermal Time Hypothesis (the closest neighbor in flow content) lacks this spherical-wavefront content entirely: TTH’s modular flow is an algebraic automorphism group, not a wavefront generator. (P3) is therefore the cleanest structural distinction between McGucken Geometry and TTH.

Novelty 4: The expansion is gravitationally invariant. Theorem 8.1 (the McGucken-Invariance Lemma) and condition (MC3) of Definition 7.3 (the Cartan-curvature condition Ω_T^4 = 0) specify that the rate of x₄-advance is independent of the metric tensor. The structural commitment is that gravity affects the spatial slices but does not affect x₄’s rate; only the spatial-translation directions of the Cartan curvature can be non-zero. No surveyed framework articulates this restriction of curvature to the spatial-translation directions as a structural commitment.

Novelty 5: The privilege is geometric and state-independent, not field-theoretic, gauge-theoretic, state-dependent, or symmetry-theoretic. Condition (P1) of Definition 5.4 specifies that V is part of the geometric structure of M, not a matter field with a Lagrangian (Einstein-aether), not a gauge choice (tetrad e₀, Hořava-Lifshitz, CDT, Shape Dynamics), not a state-dependent flow (TTH), and not a symmetry generator (Lorentz-Finsler with Killing field). The state-independence of V in McGucken Geometry — V is asserted at the level of the smooth manifold (M, g, F, V), not derived from a state on an algebra or a gauge fixing or a Killing condition — is the structural distinction from each of the surveyed neighbors that has some form of privileged structure.

Novelty 6: The privileged frame is empirically identified with the CMB rest frame as a structural specification, not as a derived consequence. Condition (P4) of Definition 5.4 specifies that V is empirically the cosmic microwave background rest frame, with this identification a structural commitment of the framework rather than a derived consequence of state-dependent dynamics. The Thermal Time Hypothesis (Rovelli 1993, [74]) recovers the CMB-time as the modular time of the FRW Gibbs state, but this is a derived consequence specific to the FRW Gibbs state — change the state and the modular time changes. McGucken Geometry’s CMB identification is structural: V is identified with the CMB rest frame as part of the framework’s specification, not as a consequence of computing modular flow on a particular state. The structural-vs.-derived character of the CMB identification is the distinction.

These six items together constitute the structural commitments distinguishing McGucken Geometry from the prior literature surveyed in §§9–14. The mathematical apparatus comes from prior art; the structural commitments come from the McGucken framework. The closest cousin in the literature, the Connes-Rovelli Thermal Time Hypothesis, has flow content (Novelty 1 partial), CMB-identification in the FRW case (Novelty 6 partial), and structural-not-matter privileged content (Novelty 5 partial), but lacks the geometric-fixed-rate content (Novelty 1 full), the spherical-wavefront content (Novelty 3), the gravitational-invariance content (Novelty 4), and the structural-not-derived character of the CMB identification (Novelty 6 full). The conjunction of all six commitments in their full form is not present in any surveyed framework.

15.3 The Six Structural Commitments Define a New Geometric Category — Moving-Dimension Geometry — with Three Equivalent Formulations as Moving-Dimension Manifold, Jet Bundle, and Cartan Geometry; the Category Is Non-Empty (Minkowski Space Supplies the Trivial Example via Proposition 5.7) and Contains the General-Relativistic Case Developed in [31]

The structural commitments of §15.2 together define a new geometric category, which we call moving-dimension geometry: the geometry of manifolds with active translation generators satisfying conditions (P1)–(P4). Examples of this category, as articulated in the formulations of §§5–7, include:

Moving-dimension manifolds (M, F, V) of Definition 5.6;
Jet-bundle formalizations satisfying (JB1)–(JB3) of Definition 6.1;
McGucken Cartan geometries of Klein type (ISO(1,3), SO⁺(1,3)) with distinguished active translation generator P₄ satisfying (MC1)–(MC3) of Definition 7.3.

These three formulations are conjecturally equivalent (Conjecture 8.2), supplying a single geometric content articulated in three different mathematical languages.

The category is non-empty: the moving-dimension structure on Minkowski space (Proposition 5.7 and Proposition 6.2) supplies the trivial example. Whether the category contains substantively non-trivial examples — i.e., moving-dimension manifolds (M, F, V) with M not flat Minkowski space — is a question for subsequent work; the corpus paper [31] develops the general-relativistic case of (M, F, V) where the spatial slices are curved, with the foliation F and vector field V structurally compatible with the McGucken-Invariance Lemma.

In plain language. The novelty of McGucken Geometry is six structural commitments. None of the six in its full form is present in any prior framework; the closest cousin in the surveyed literature is the Connes-Rovelli Thermal Time Hypothesis, which has partial forms of three of the six commitments (flow content, structural-not-matter privileged content, CMB-identification in the FRW setting) but at thermodynamic rather than geometric rate, and without spherical-wavefront content. The conjunction of all six in their full form — (1) state-independent geometric flow at the velocity of light, (2) the rate fixed at c with the imaginary unit marking perpendicularity, (3) spherical-wavefront generation from every event, (4) gravitational invariance of the rate, (5) the privileged content being part of the geometry independent of state and gauge, (6) structural CMB-identification — defines the new geometric category of moving-dimension geometry. The category uses standard mathematical building-blocks (foliations, vector fields, Cartan connections, jet bundles) but combines them into a structurally novel mathematical object that is not present in any surveyed prior framework, with TTH the closest cousin and the structural distinction from TTH the cleanest articulation of what the McGucken framework adds.

15.4 The Direct Claim: No Surveyed Prior Framework Contains the Conjunction of (P1)–(P4); the Closest Cousin Connes-Rovelli Thermal Time Hypothesis Has Three Conditions Partially Satisfied and Lacks (P3) Entirely; the Companion Paper [N] Proves the Categorical Universality Within a Specified Categorical Setup

The direct claim. No prior framework in the surveyed literature contains the conjunction (P1) ∧ (P2) ∧ (P3) ∧ (P4) of Definition 5.4 in its full form. This is established by exhibition across §§9–14: each surveyed framework is examined in turn, its content articulated with full credit to its developers, and the privileged-element conditions it lacks identified.

The closest cousin in the entire surveyed literature is the Connes-Rovelli Thermal Time Hypothesis (§13.6). TTH satisfies three of the four McGucken conditions in some form: (P1) partially (privileged content is structural-plus-state, not matter-field), (P2) partially (modular flow is a genuine flow, but at thermodynamically determined rather than geometrically fixed rate), and (P4) partially (in the FRW setting, the modular flow recovers the CMB rest frame’s cosmological time). TTH lacks (P3) entirely (no spherical-wavefront content). The structural distinction between TTH and McGucken Geometry is precise: McGucken’s flow is state-independent geometric (V is part of the smooth-manifold structure (M, g, F, V) independent of any state on any algebra), at geometrically fixed rate ic (set by the velocity of light c, not by inverse temperature), generating spherically symmetric wavefronts (the McGucken Sphere of Lemma 2.2) at every event, with the CMB-frame identification a structural specification of the framework rather than a state-dependent derived consequence.

The companion paper [N] proves the categorical universality. Within the precisely-specified category 𝓐 of axis-dynamics frameworks of [N, Definition 7.1], the moving-dimension manifold category 𝓜 is the terminal subcategory corresponding to predicate-strict frameworks: every framework satisfying the formal predicates 𝒫₁, 𝒫₂, 𝒫₃ with no auxiliary structural decoration is canonically equivalent to a moving-dimension manifold of 𝓜 ([N, Theorem C / Theorem 7.10]). The categorical theorem strengthens the survey claim: where the survey covers what the survey examines, the categorical theorem quantifies over all frameworks satisfying the formal predicates within the categorical setup. The two together — survey across eleven concrete frameworks of §13 plus categorical universality within 𝓐 of [N] — establish the strongest novelty claim that the apparatus supports.

Honest scope. The survey covers eleven frameworks in §13 plus quantum-gravity programs and philosophical traditions in §14. Frameworks in the broader literature not surveyed here — TeVeS [16a], Bekenstein-Sanders [16b], deeper algebraic-QFT extensions of TTH, more recent Lorentz-Finsler-with-flow structures — may contain additional cousins; comprehensive coverage of the entire literature is beyond a single paper’s scope. The categorical theorem of [N] applies within its specific categorical setup of 𝓐; different categorical formalizations could yield related theorems. The empirical condition (P4) is empirical content addressed in the cosmology paper [79] rather than formalized as a categorical predicate; this is appropriate division of labor between mathematical and empirical apparatus. These are bounds on the apparatus, not retreats from the claim. Within the surveyed literature, no framework contains the conjunction (P1)–(P4); within the categorical setup of [N], McGucken Geometry is universal among predicate-strict frameworks. The claim is direct and the scope is precise.

16. The McGucken-Invariance Lemma (Theorem 8.1) Forces Gravity to Curve Only the Spatial Slices While Leaving x₄’s Rate of Advance Invariant; the Corpus Paper [31] Develops This as the Structural Source of General Relativity’s Predictions

16.1 The McGucken-Invariance Lemma in the General-Relativistic Context: Spatial Slices x₁x₂x₃ Curve in Response to Mass-Energy While x₄’s Expansion Remains Gravitationally Invariant — the Cartan-Curvature Statement Is Ω_T^4 = 0 with Ω_T^j Unrestricted for j = 1, 2, 3

Theorem 8.1 of the present paper (the McGucken-Invariance Lemma) establishes that x₄’s rate of advance is gravitationally invariant: ∂(dx₄/dt)/∂g_{μν} = 0 globally on M. The corpus paper [31] develops the consequence of this lemma for general relativity: gravity affects only the spatial slices of the foliation F and leaves x₄’s rate of advance unaffected. The general-relativistic content articulated in [31] reads:

Spatial slices x₁x₂x₃ curve in response to mass-energy, with x₄’s expansion remaining gravitationally invariant.

This reading is the McGucken framework’s articulation of general-relativistic gravity. Standard general relativity treats all four metric components as dynamical; the McGucken framework restricts dynamical content to the spatial-metric components h_{ij} on the leaves of F. The Cartan-geometric formulation (§7) makes this restriction precise: the Cartan curvature components Ω_T^j for j = 1, 2, 3 (the spatial-translation curvature) are unrestricted, while the time-translation curvature Ω_T^4 vanishes globally by (MC3).

16.2 The McGucken Framework’s Restriction of Curvature to the Spatial Sector Matches All Empirical Tests of General Relativity — Solar System Tests, Gravitational Waves, Black-Hole Shadows, Binary Pulsar Timing — within Current Observational Precision; the Structural Reattribution of Gravitational Time Dilation, Redshift, and Light Bending to Spatial-Slice Curvature with x₄ Rigid Is Consistent with All Empirical Tests

The McGucken framework’s restriction of curvature to the spatial-translation directions is structurally a constrained version of general relativity, with fewer dynamical degrees of freedom in the metric. The corpus paper [31] develops the consequence: in regimes where general relativity has been empirically tested (Solar System tests, gravitational waves [48], black-hole shadows, binary pulsar timing), the McGucken framework’s predictions either match general relativity’s or are observationally indistinguishable within current precision. The structural reattribution of effects (gravitational time dilation, gravitational redshift, light bending) to spatial-slice curvature with x₄ rigid is consistent with all empirical tests of general relativity.

The full development of the general-relativistic chain — from the McGucken Principle through the Master Equation u^μ u_μ = −c² (Theorem 1 of [31]), through the Equivalence Principle (Theorems 3–6 of [31]), through the geodesic principle (Theorem 7 of [31]), through the Christoffel connection (Theorem 8 of [31]), through the Riemann curvature tensor (Theorem 9 of [31]), through stress-energy conservation (Theorem 10.7 of [31]), to the Einstein field equations (Theorem 11 of [31]) — is in the corpus paper [31] and is not re-established in the present paper. The present paper supplies the formal mathematical category in which [31]’s derivational chain operates.

16.3 The Cartan-Curvature Restriction Ω_T^4 = 0 with Ω_T^j Unrestricted Is the Structural Source of Gravitational Time Dilation, Gravitational Redshift, Light Bending and Shapiro Delay, Mercury Perihelion Precession, the Gravitational-Wave Equation, FLRW Cosmology, and the No-Graviton Conclusion as Theorems Established in [31]

The Cartan-curvature condition (MC3) — Ω_T^4 = 0 globally on P with Ω_T^j unrestricted for j = 1, 2, 3 — restricts gravitational effects to the spatial-translation directions. The phenomenological consequences are developed in [31]:

Gravitational time dilation (Theorem 13 of [31]) is articulated as a feature of the spatial-slice metric, not of x₄’s rate. Clocks in different gravitational potentials advance at different rates of proper time because their worldlines are differently embedded in the curved spatial geometry, but x₄ advances at ic under all observers.
Gravitational redshift (Theorem 14 of [31]) is articulated as a feature of light propagation through a curved spatial-slice metric, not as a feature of x₄’s expansion.
Light bending and Shapiro delay (Theorem 15 of [31]) are articulated as features of null-geodesic propagation through curved spatial slices.
Mercury perihelion precession (Theorem 16 of [31]) is articulated as a feature of the spatial-slice metric, with the 43 arcseconds-per-century value matching observation.
Gravitational waves with transverse-traceless polarizations (Theorem 17 of [31]) are articulated as spatial-metric perturbations on a flat background, with the timelike-sector perturbations h_{x₄ x₄} and h_{x₄ x_j} forced to zero by (MC3).
FLRW cosmology with Friedmann equations (Theorem 18 of [31]) is articulated with the cosmological scale factor a(t) on the spatial slices, with x₄’s expansion at rate ic providing the global temporal evolution.
The no-graviton conclusion (Theorem 19 of [31]) is articulated as a direct consequence of (MC3): with the time-translation curvature forced to zero, there is no quantum mediator of gravity in the timelike sector.

Each of these consequences is established in [31] and cited in the present paper as a corpus result; the present paper does not re-establish the proofs.

17. The Source-Paper Apparatus and Provenance: This Paper Cites the Corpus for Derivational Results It Does Not Re-Establish, Cites Standard Mathematical Apparatus for Building-Blocks It Uses Without Modification, and Catalogs the Eleven Frameworks Surveyed in §13 with Their Structural Distinctions

17.1 McGucken-Corpus Papers Drawn Upon: General Relativity [31], Quantum Mechanics [32], Thermodynamics [33], Cosmology [79], the Wick Rotation [80], the Father Symmetry [85], the McGucken Sphere with Twistor and Amplituhedron Descent [86], the Unique Lagrangian [87], and the McGucken Space and Operator [81–83]

The present paper draws upon the following McGucken-corpus papers, each cited in the body of the paper at the relevant point:

[31] MG-GRChain. General Relativity Derived from the McGucken Principle: A Unique, Simple, and Complete Derivation of General Relativity as a Chain of Theorems of the McGucken Principle of a Fourth Expanding Dimension dx₄/dt = ic. Light, Time, Dimension Theory, April 26, 2026. Establishes the general-relativistic content cited in §16 of the present paper, including the Master Equation u^μ u_μ = −c², the McGucken-Invariance Lemma, the Equivalence Principle (in four forms), the geodesic principle, the Christoffel connection, the Riemann curvature tensor, the Ricci tensor and Bianchi identities, the stress-energy tensor and conservation law, the Einstein field equations through both the Lovelock 1971 [Lovelock1971] route and the Schuller 2020 [Schuller2020] route, the Schwarzschild solution, gravitational time dilation, gravitational redshift, light bending and Shapiro delay, Mercury perihelion precession, the gravitational-wave equation, FLRW cosmology, and the no-graviton theorem.

[32] MG-QMChain. Quantum Mechanics Derived from the McGucken Principle. Light, Time, Dimension Theory. Establishes the quantum-mechanical content descending from dx₄/dt = ic, including the Schrödinger equation, the canonical commutation relation [q̂, p̂] = iℏ, the Born rule, the Feynman path integral, and related results.

[33] MG-ThermoChain. Thermodynamics Derived from the McGucken Principle. Light, Time, Dimension Theory. Establishes the thermodynamic content descending from dx₄/dt = ic, including the Second Law dS/dt > 0, ergodicity as a Huygens-wavefront identity, and the entropy-related results.

[79] MG-Cosmology. McGucken Cosmology: First-Place Empirical Standing across Twelve Independent Observational Tests. Light, Time, Dimension Theory, May 1, 2026. Establishes the McGucken Cosmology’s empirical first-place ranking against every dark-sector and modified-gravity framework across twelve independent observational tests with zero free dark-sector parameters.

[80] MG-WickRotation. The McGucken Principle dx₄/dt = ic Necessitates the Wick Rotation and i Throughout Physics. Light, Time, Dimension Theory, May 1, 2026. Establishes that every appearance of the imaginary unit i throughout physics — the Wick substitution itself, the +iε prescription, the Schrödinger-to-diffusion correspondence, the Euclidean path integral, Osterwalder-Schrader reflection positivity, the Kubo-Martin-Schwinger condition, Gibbons-Hawking horizon regularity, the Hawking temperature, the canonical commutator, the Born rule, and the twelve “i by hand” insertions across quantum theory — is a theorem of dx₄/dt = ic.

[81] MG-SpaceOperator. The McGucken Space and McGucken Operator. Light, Time, Dimension Theory, April 29, 2026. Establishes the source-pair (ℳ_G, D_M) construction, with the McGucken Space ℳ_G as a four-coordinate carrier and the McGucken Operator D_M = ∂t + ic ∂{x₄} as the directional derivative along x₄’s expansion.

[82] MG-McGuckenOperator. The McGucken Operator and Its Spectral Structure. Light, Time, Dimension Theory. Develops the spectral and operator-theoretic content of D_M.

[83] MG-McGuckenSpace. The McGucken Space as Categorical Structure. Light, Time, Dimension Theory. Develops the categorical-theoretic content of ℳ_G.

[84] MG-DoubleErlangen. The Double Completion of Klein’s Erlangen Programme through dx₄/dt = ic. Light, Time, Dimension Theory, April 30, 2026. Establishes the framework’s structural relationship to Klein’s 1872 Erlangen Programme.

[85] MG-Symmetry / Father Symmetry. The McGucken Symmetry as Father Symmetry of Physics. Light, Time, Dimension Theory, April 28, 2026. Establishes the McGucken Symmetry framework, with the Lorentz group, Poincaré group, gauge groups, Wigner mass-spin classification, CPT theorem, supersymmetry, diffeomorphism group, and standard string-theoretic dualities all descending as parallel sibling consequences of dx₄/dt = ic.

[86] MG-FoundationalAtom / McGucken Sphere. The McGucken Sphere as the Foundational Atom of Spacetime. Light, Time, Dimension Theory, April 27, 2026. Establishes the McGucken Sphere as the foundational atom of spacetime, with constructive descent chain from dx₄/dt = ic through the Sphere to Penrose twistor space ℂℙ³, the positive Grassmannian, and the Arkani-Hamed–Trnka amplituhedron.

[87] MG-Lagrangian. The Unique McGucken Lagrangian: All Four Sectors Forced by dx₄/dt = ic. Light, Time, Dimension Theory, April 23, 2026. Establishes the four-fold uniqueness theorem for the McGucken Lagrangian ℒ_McG = ℒ_kin + ℒ_Dirac + ℒ_YM + ℒ_EH.

17.2 Standard Mathematical Apparatus from Riemann (1854), Levi-Civita (1917), Klein (1872), Cartan (1923–1925), Whitney (1935), Ehresmann (1951), Reeb (1952), Hawking (1968), Wald (1984), Saunders (1989), Sharpe (1997), Andersson-Galloway-Howard (1998), and Bernal-Sánchez (2003–2005) Used in §§5–7 Without Modification

The present paper uses standard mathematical machinery from the following sources:

Riemann 1854 [1] for the smooth-manifold concept and the metric tensor.
Klein 1872 [5] for the Erlangen Programme and the conceptual organization of geometry by symmetry groups.
Whitney 1935 [11] for fiber bundles.
Whitney 1936 [56] for smooth-manifold theory.
Cartan 1923–1925 [3] for Cartan connections.
Levi-Civita 1917 [2] for parallel transport and the affine connection.
Reeb 1952 [10] for foliations.
Ehresmann 1951 [7] for jet bundles.
Saunders 1989 [8] for the modern jet-bundle apparatus.
Sharpe 1997 [4] for the modern Cartan-geometric formulation.
Sternberg 1964 [9] and subsequent literature for G-structure theory.
Hawking 1968 [14] for cosmic time functions.
Hawking-Ellis 1973 [62] for global Lorentzian geometry.
Wald 1984 [15] for general relativity and Lorentzian geometry.
Andersson-Galloway-Howard 1998 [25] for the cosmological-time-function literature.
Carroll 2004 [80a] for graduate-level general relativity.

17.3 The Eleven Frameworks Surveyed in §13 with Their Structural Distinctions: Einstein-Aether, Standard-Model Extension, Hořava-Lifshitz, CDT, Shape Dynamics, Connes-Rovelli Thermal Time, Connes Noncommutative Geometry, Penrose Conformal Cyclic Cosmology, Lorentz-Finsler with Killing Field, Tetrad/Vierbein, and Cosmological-Time-Function Literature

The frameworks surveyed in Part III, with their structural-distinction citations, are:

Riemannian and Lorentzian geometry [1, 2, 9, 15, 62] (§9).
Cartan, Klein, Maurer-Cartan formalism [3, 4, 5, 6, 9] (§10).
Jet bundles, fiber bundles, foliations [7, 8, 10, 11] (§11).
ADM 3+1 decomposition, cosmic time, four-velocity [12, 13, 14, 15, 25] (§12).
Einstein-aether theory [16, 17, 18] (§13.1).
Standard-Model Extension [19, 20] (§13.2).
Hořava-Lifshitz gravity [21] (§13.3).
Causal Dynamical Triangulations [22, 53] (§13.4).
Shape Dynamics [23, 24] (§13.5).
Loop Quantum Gravity [26] (§14.1).
Causal Set Theory [27] (§14.2).
Growing-block universe and process philosophy [28, 29, 30, 63] (§14.3).

For each framework, the structural distinction from McGucken Geometry is articulated in the body of the paper (§§9–14), with full credit given to the framework’s content and the privileged-element conditions it lacks identified explicitly.

18. The McGucken Framework Has Been Under Development Since the Late 1980s: Princeton Origin (1988–1999), Internet Deployments (2003–2006), FQXi Era (2008–2013), Books (2016–2017), and Continuous Development (2017–2026) with Approximately Forty Technical Papers Since October 2024

The McGucken framework has been under development since 1988, with substantial corpus papers published continuously since October 2024. The chronology of development falls into five eras, drawing on the chronology articulated in the corpus paper [38].

Era I: The Princeton Origin (late 1980s–1999). The framework’s origin traces to undergraduate work at Princeton University in the late 1980s under John Archibald Wheeler, with Wheeler’s recommendation letter (quoted in the epigraph of the present paper) attesting to the originality of the early work. The framework’s foundational reading of Minkowski’s 1908 identity x₄ = ict as a dynamical statement — dx₄/dt = ic with x₄ a real geometric axis — was articulated in the late-1980s and early-1990s undergraduate research. Subsequent doctoral work at the University of North Carolina at Chapel Hill (1995–1999) developed the framework further; a 1998–1999 dissertation appendix contained the foundational formulation of the framework.

Era II: Internet Deployments and Usenet (2003–2006). The framework was articulated on Usenet and early-internet physics-discussion forums, with the foundational claim dx₄/dt = ic stated explicitly and the consequences for quantum mechanics, relativity, and thermodynamics outlined.

Era III: FQXi Era (2008–2013). A series of papers on the Foundational Questions Institute (FQXi) website [64–66] developed the framework’s content systematically, including the foundational reading of Minkowski’s 1908 identity, the four-velocity budget, and the consequences for quantum mechanics and thermodynamics.

Era IV: Books (2016–2017). Two books published in 2016 and 2017 [67, 68] developed the framework for general audiences and articulated the conceptual content for non-specialist readers.

Era V: Continuous Development (2017–2026). Approximately forty technical papers since October 2024 have developed the framework systematically: the foundational papers establishing dx₄/dt = ic and the McGucken Principle [38, 39]; the GR-derivation chain [31]; the QM-derivation chain [32]; the thermodynamics-derivation chain [33]; the Wick rotation [80]; the McGucken Sphere as foundational atom [86]; the Father Symmetry [85]; the McGucken Lagrangian [87]; the McGucken Space and Operator [81–83]; cosmological tests [79]; and the present paper’s mathematical category McGucken Geometry. The corpus continues to develop.

19. Conclusion: McGucken Geometry Is a New Geometric Category in Which the Physical Principle dx₄/dt = ic Lives, with Three Equivalent Formulations (Differential-Geometric, Jet-Bundle, Cartan-Geometric) Articulated, Foundational Lemmas Proved at Textbook Standard, the McGucken-Invariance Lemma Established, and the Conjunction of (P1)–(P4) Demonstrated Through Comprehensive Survey to Be Absent from All Surveyed Prior Frameworks; the Companion Paper [N] Proves the Categorical Universality Within a Specified Categorical Setup

This paper has formalized McGucken Geometry as a new geometric category in which the physical principle dx₄/dt = ic lives, with three equivalent formulations supplying the mathematical apparatus: (i) the differential-geometric formulation as a moving-dimension manifold (M, g, F, V) of §5; (ii) the jet-bundle formulation as a second-order jet of admissible coordinate charts of §6; and (iii) the Cartan-geometric formulation of Klein type with distinguished active translation generator P₄ of §7. The foundational lemmas connect the principle to standard differential-geometric, jet-bundle, and Cartan-geometric content with explicit proofs at textbook standard:

Lemma 2.1 (Grade 1, forced by the McGucken Principle alone): the substitution x₄ = ict generates the Lorentzian metric signature (−, +, +, +) from the Euclidean four-coordinate line element through the algebraic identity i² = −1.
Lemma 2.2 (Grade 1): the McGucken Sphere Σ⁺(p) at every event p is the future null cone, generated by x₄’s expansion at rate ic with spherical symmetry from each event.
Proposition 2.3 (Grade 1): proper time along a future-directed timelike worldline equals (1/c) times the absolute value of the accumulated x₄-advance; relativistic time dilation is the geometric content that fast observers spend less of their motion budget on x₄-advance.
Proposition 4.4 (Grade 2): Metric Dynamics, Scale-Factor Dynamics, and Axis Dynamics are pairwise structurally distinct under their definitional terms; McGucken Geometry is the canonical example of an Axis-Dynamics framework, and no surveyed framework in the prior literature is also an Axis-Dynamics framework.
Theorem 8.1 (the McGucken-Invariance Lemma, Grade 2): the rate of x₄-advance is gravitationally invariant; ∂(dx₄/dt)/∂g_{μν} = 0 globally on M; the Cartan-curvature condition Ω_T^4 = 0 with Ω_T^j unrestricted for j = 1, 2, 3 forces gravity to curve only the spatial slices.

The three formulations of the framework — moving-dimension manifold (M, F, V) of §5, second-order jet-bundle formalization of §6, Cartan-geometry formulation with distinguished active translation generator P₄ of §7 — articulate the same geometric content in three different mathematical languages. The equivalence of the three formulations is stated as Conjecture 8.2 with structural-outline arguments for each direction and the obstacles to rigorous verification named explicitly; the conjecture is the natural foundational consistency claim and is the subject of subsequent work.

The comprehensive prior-art survey of Part III (§§9–14) established that no surveyed framework satisfies the conjunction (P1) ∧ (P2) ∧ (P3) ∧ (P4) of Definition 5.4. Across eleven concretely surveyed frameworks of §13 — Einstein-aether (P1 fails: matter Lagrangian), Standard-Model Extension (P1 fails: matter-sector VEVs), Hořava-Lifshitz (P1 fails: renormalization gauge), Causal Dynamical Triangulations (P1 fails: simplicial gauge), Shape Dynamics (P1 fails: CMC gauge), Connes-Rovelli Thermal Time (P2-P4 partial: state-dependent thermodynamic flow recovers CMB time in FRW; P3 absent), Connes Noncommutative Geometry (P2-P4 fail: Dirac operator has no fixed-rate flow), Penrose Conformal Cyclic Cosmology (P2-P4 fail: conformal-cyclic structure is not axial flow), Lorentz-Finsler with Killing field (P2 fails: Killing field is static symmetry generator, not active flow), tetrad and vierbein formulations (P1 fails: gauge), and the cosmological-time-function literature (no privileged commitment beyond apparatus) — and across the quantum-gravity programs and philosophy-of-time traditions of §14, no framework contains the conjunction. The closest cousin is the Connes-Rovelli Thermal Time Hypothesis, with three of the four conditions partially satisfied (state-dependent thermodynamic flow at β-modular rate, FRW CMB-time recovered as derived consequence, privileged content structural-plus-state) and (P3) absent entirely.

The companion paper [N] proves the categorical universality. Within the precisely-specified category 𝓐 of axis-dynamics frameworks of [N, Definition 7.1], the moving-dimension manifold category 𝓜 is the terminal subcategory corresponding to predicate-strict frameworks ([N, Theorem C / Theorem 7.10]): every framework satisfying the formal predicates 𝒫₁, 𝒫₂, 𝒫₃ with no auxiliary structural decoration is canonically equivalent to a moving-dimension manifold of 𝓜. The categorical theorem strengthens the survey claim: where survey covers concrete frameworks examined, the categorical theorem quantifies over all frameworks satisfying the formal predicates within the categorical setup.

The mathematical apparatus used in §§5–7 is standard differential geometry from Riemann (1854) through Sharpe (1997), cited and used as established. The six structural commitments of §15.2 — state-independent geometric flow, geometrically fixed rate ic, spherically symmetric wavefront generation from every event, gravitational invariance of the rate, geometric privilege independent of matter and gauge, and structural CMB-frame identification — together define McGucken Geometry as a new geometric category. The category has been under development since the late 1980s (§18) and is the formal mathematical home for the corpus papers that derive general relativity, quantum mechanics, thermodynamics, the Wick rotation, the Father Symmetry, the McGucken Sphere with twistor and amplituhedron descent, and the unique McGucken Lagrangian as theorems of dx₄/dt = ic.

In plain language. The McGucken Principle says one specific coordinate axis of spacetime is an active geometric process expanding at the velocity of light. This paper formalizes the mathematical category in which that statement lives — the precise differential-geometric setting, with three equivalent formulations, with the foundational lemmas connecting the principle to standard Lorentzian geometry proved explicitly, with the McGucken-Invariance Lemma establishing that gravity curves only the spatial slices, and with the comprehensive survey demonstrating that no prior framework — across eleven concrete surveys plus quantum-gravity programs plus philosophy-of-time traditions — combines the four structural commitments that define the category. The closest cousin is the Connes-Rovelli Thermal Time Hypothesis, which has a flow but at thermodynamic rather than geometric rate and without the spherical-wavefront content. The companion paper proves the categorical universality. The mathematical apparatus is all standard; what is new is the structural specification — that one axis of spacetime is itself an active geometric process at the velocity of light, with the privileged frame empirically identified with the cosmic microwave background rest frame as a structural commitment.

References

[1] B. Riemann, “Über die Hypothesen, welche der Geometrie zu Grunde liegen,” habilitation lecture, Göttingen (1854).

[2] T. Levi-Civita, “Nozione di parallelismo in una varietà qualunque e conseguente specificazione geometrica della curvatura riemanniana,” Rendiconti del Circolo Matematico di Palermo 42, 173–204 (1917).

[3] É. Cartan, “Sur les variétés à connexion affine et la théorie de la relativité généralisée,” Annales scientifiques de l’É.N.S. 40, 325–412 (1923); 41, 1–25 (1924); 42, 17–88 (1925).

[4] R. W. Sharpe, Differential Geometry: Cartan’s Generalization of Klein’s Erlangen Program, Graduate Texts in Mathematics 166, Springer-Verlag, New York (1997).

[5] F. Klein, “Vergleichende Betrachtungen über neuere geometrische Forschungen,” Erlangen (1872) [Erlangen Programme].

[6] É. Cartan, La théorie des groupes finis et continus et l’Analysis situs, Mémorial des Sciences Mathématiques 42, Gauthier-Villars, Paris (1930) [Maurer-Cartan formalism].

[7] C. Ehresmann, “Les prolongements d’une variété différentiable: calcul des jets, prolongement principal,” Comptes Rendus de l’Académie des Sciences 233, 598–600 (1951).

[8] D. J. Saunders, The Geometry of Jet Bundles, London Mathematical Society Lecture Note Series 142, Cambridge University Press (1989).

[9] S. Sternberg, Lectures on Differential Geometry, Prentice-Hall, Englewood Cliffs (1964) [G-structures].

[10] G. Reeb, Sur certaines propriétés topologiques des variétés feuilletées, Actualités Scientifiques et Industrielles 1183, Hermann, Paris (1952).

[11] H. Whitney, “Sphere-spaces,” Proceedings of the National Academy of Sciences USA 21, 464–468 (1935).

[12] R. Arnowitt, S. Deser, and C. W. Misner, “The Dynamics of General Relativity,” in Gravitation: An Introduction to Current Research, ed. L. Witten, Wiley, New York (1962), pp. 227–265.

[13] L. D. Landau and E. M. Lifshitz, The Classical Theory of Fields, 4th English ed., Pergamon Press, Oxford (1975).

[14] S. W. Hawking, “The Existence of Cosmic Time Functions,” Proceedings of the Royal Society of London A 308, 433–435 (1968).

[15] R. M. Wald, General Relativity, University of Chicago Press, Chicago (1984).

[16] T. Jacobson and D. Mattingly, “Gravity with a Dynamical Preferred Frame,” Physical Review D 64, 024028 (2001).

[17] T. Jacobson, “Einstein-aether gravity: A Status Report,” PoS QG-Ph 020 (2007), arXiv:0801.1547.

[18] D. Mattingly, “Modern Tests of Lorentz Invariance,” Living Reviews in Relativity 8, 5 (2005).

[19] V. A. Kostelecký and S. Samuel, “Spontaneous Breaking of Lorentz Symmetry in String Theory,” Physical Review D 39, 683 (1989).

[20] D. Colladay and V. A. Kostelecký, “Lorentz-Violating Extension of the Standard Model,” Physical Review D 58, 116002 (1998).

[21] P. Hořava, “Quantum Gravity at a Lifshitz Point,” Physical Review D 79, 084008 (2009).

[22] J. Ambjørn and R. Loll, “Non-perturbative Lorentzian Quantum Gravity, Causality and Topology Change,” Nuclear Physics B 536, 407–434 (1998).

[23] J. Barbour, “Shape Dynamics: An Introduction,” in Quantum Field Theory and Gravity, Birkhäuser (2012), pp. 257–297.

[24] H. Gomes, S. Gryb, T. Koslowski, and F. Mercati, “The Gravity/CFT Correspondence,” European Physical Journal C 73, 2275 (2013) [Shape Dynamics].

[25] L. Andersson, G. Galloway, and R. Howard, “The Cosmological Time Function,” Classical and Quantum Gravity 15, 309–322 (1998).

[26] C. Rovelli, Quantum Gravity, Cambridge University Press (2004).

[27] L. Bombelli, J. Lee, D. Meyer, and R. D. Sorkin, “Space-Time as a Causal Set,” Physical Review Letters 59, 521 (1987).

[28] H. Reichenbach, The Direction of Time, University of California Press, Berkeley (1956).

[29] J. M. E. McTaggart, “The Unreality of Time,” Mind 17, 457–474 (1908).

[30] A. N. Whitehead, Process and Reality, Macmillan, New York (1929).

[31] E. McGucken, General Relativity Derived from the McGucken Principle, Light, Time, Dimension Theory, April 26, 2026. URL: https://elliotmcguckenphysics.com/2026/04/26/general-relativity-derived-from-the-mcgucken-principle/

[32] E. McGucken, Quantum Mechanics Derived from the McGucken Principle, Light, Time, Dimension Theory, April 26, 2026. URL: https://elliotmcguckenphysics.com/2026/04/26/quantum-mechanics-derived-from-the-mcgucken-principle-a-unique-simple-and-complete-derivation-of-quantum-mechanics-as-a-chain-of-theorems-of-the-mcgucken-principle-of-a-fourth-expanding-dimension-d/

[33] E. McGucken, Thermodynamics Derived from the McGucken Principle, Light, Time, Dimension Theory, April 26, 2026. URL: https://elliotmcguckenphysics.com/2026/04/26/thermodynamics-derived-from-the-mcgucken-principle/

[34] [Reserved for future corpus paper.]

[35] [Reserved.]

[36] [Reserved.]

[37] [Reserved.]

[38] E. McGucken, The McGucken Principle: A Foundational Statement, Light, Time, Dimension Theory. URL: https://elliotmcguckenphysics.com/

[39] E. McGucken, Broken Symmetries and the Arrows of Time from the McGucken Principle, Light, Time, Dimension Theory. URL: https://elliotmcguckenphysics.com/

[40] R. Penrose, Twistor Algebra, Journal of Mathematical Physics 8, 345–366 (1967).

[41] N. Arkani-Hamed, J. L. Bourjaily, F. Cachazo, A. B. Goncharov, A. Postnikov, and J. Trnka, Grassmannian Geometry of Scattering Amplitudes, Cambridge University Press (2016).

[42] N. Arkani-Hamed and J. Trnka, “The Amplituhedron,” Journal of High Energy Physics 10, 030 (2014).

[43] A. Postnikov, “Total Positivity, Grassmannians, and Networks,” arXiv:math/0609764 (2006).

[44] A. Einstein, “Die Feldgleichungen der Gravitation,” Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin, 844–847 (1915).

[45] D. Hilbert, “Die Grundlagen der Physik,” Nachrichten der Königlichen Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, 395–407 (1915).

[46] A. Friedmann, “Über die Krümmung des Raumes,” Zeitschrift für Physik 10, 377–386 (1922).

[47] G. Lemaître, “Un Univers homogène de masse constante et de rayon croissant rendant compte de la vitesse radiale des nébuleuses extra-galactiques,” Annales de la Société Scientifique de Bruxelles 47, 49–59 (1927).

[48] B. P. Abbott et al. (LIGO Scientific Collaboration and Virgo Collaboration), “Observation of Gravitational Waves from a Binary Black Hole Merger,” Physical Review Letters 116, 061102 (2016).

[49] D. Hilbert, “Die Grundlagen der Physik. (Zweite Mitteilung),” Nachrichten der Königlichen Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, 53–76 (1917).

[50] A. H. Guth, “Inflationary Universe: A Possible Solution to the Horizon and Flatness Problems,” Physical Review D 23, 347–356 (1981).

[51] A. D. Linde, “A New Inflationary Universe Scenario: A Possible Solution of the Horizon, Flatness, Homogeneity, Isotropy and Primordial Monopole Problems,” Physics Letters B 108, 389–393 (1982).

[52] G. F. R. Ellis and M. A. H. MacCallum, “A Class of Homogeneous Cosmological Models,” Communications in Mathematical Physics 12, 108–141 (1969).

[53] S. Jordan and R. Loll, “De Sitter Universe from Causal Dynamical Triangulations without Preferred Foliation,” arXiv:1307.5469 (2013).

[54] J. M. Lee, Introduction to Smooth Manifolds, 2nd ed., Graduate Texts in Mathematics 218, Springer-Verlag, New York (2013).

[55] M. Spivak, A Comprehensive Introduction to Differential Geometry, 5 vols., 3rd ed., Publish or Perish, Houston (1999).

[56] H. Whitney, “Differentiable Manifolds,” Annals of Mathematics 37, 645–680 (1936).

[57] A. A. Penzias and R. W. Wilson, “A Measurement of Excess Antenna Temperature at 4080 Mc/s,” Astrophysical Journal 142, 419–421 (1965).

[58] G. F. Smoot et al., “Structure in the COBE Differential Microwave Radiometer First-Year Maps,” Astrophysical Journal Letters 396, L1–L5 (1992).

[59] D. N. Spergel et al. (WMAP Collaboration), “First-Year Wilkinson Microwave Anisotropy Probe (WMAP) Observations: Determination of Cosmological Parameters,” Astrophysical Journal Supplement Series 148, 175–194 (2003).

[60] Planck Collaboration, “Planck 2018 Results. VI. Cosmological Parameters,” Astronomy & Astrophysics 641, A6 (2020).

[61] B. S. DeWitt, “Quantum Theory of Gravity. I. The Canonical Theory,” Physical Review 160, 1113–1148 (1967).

[62] S. W. Hawking and G. F. R. Ellis, The Large Scale Structure of Space-Time, Cambridge University Press (1973).

[63] C. D. Broad, Scientific Thought, Routledge & Kegan Paul, London (1923).

[64] E. McGucken, Time as an Emergent Phenomenon: Traveling Back to the Heroic Age of Physics (In Memory of John Archibald Wheeler), FQXi Essay Contest 2008. URL: https://forums.fqxi.org/d/238-time-as-an-emergent-phenomenon-traveling-back-to-the-heroic-age-of-physics-by-elliot-mcgucken

[65] E. McGucken, What is Ultimately Possible in Physics? Physics! A Hero’s Journey towards Moving Dimensions Theory, FQXi Essay Contest 2010. URL: https://forums.fqxi.org/d/511-what-is-ultimately-possible-in-physics-physics-a-heros-journey-with-galileo-newton-faraday-maxwell-planck-einstein-schrodinger-bohr-and-the-greats-towards-moving-dimensions-theory-e-pur-si-muove-by-dr-elliot-mcgucken

[66] E. McGucken, FQXi Essay, FQXi Essay Contest 2013 (It From Bit, or Bit From It?). URL: https://forums.fqxi.org/d/1589

[67] E. McGucken, Light Time Dimension Theory: Foundations and Applications, 45EPIC Hero’s Odyssey Mythology Press, 2016. URL: https://elliotmcguckenphysics.com/

[68] E. McGucken, The Fourth Expanding Dimension, 45EPIC Hero’s Odyssey Mythology Press, 2017. URL: https://elliotmcguckenphysics.com/

[69] G. F. Smoot, “Nobel Lecture: Cosmic Microwave Background Radiation Anisotropies — Their Discovery and Utilization,” Reviews of Modern Physics 79, 1349–1379 (2007).

[70] J. C. Mather, “Nobel Lecture: From the Big Bang to the Nobel Prize and Beyond,” Reviews of Modern Physics 79, 1331–1348 (2007).

[71] M. M. Postnikov, Geometry VI: Riemannian Geometry, Encyclopaedia of Mathematical Sciences 91, Springer-Verlag, Berlin (2001).

[72] H. Bondi, “Cosmology,” Cambridge University Press (1952). [Cosmic-time foliation in cosmology.]

[73] A. Connes and C. Rovelli, “Von Neumann Algebra Automorphisms and Time-Thermodynamics Relation in General Covariant Quantum Theories,” Classical and Quantum Gravity 11, 2899–2917 (1994). arXiv:gr-qc/9406019.

[74] C. Rovelli, “Statistical Mechanics of Gravity and the Thermodynamical Origin of Time,” Classical and Quantum Gravity 10, 1549–1566 (1993). [Establishes that the thermal time of the FRW Gibbs state recovers the FRW cosmological time, identifying the privileged frame with the CMB rest frame.]

[75] M. Takesaki, Tomita’s Theory of Modular Hilbert Algebras and its Applications, Lecture Notes in Mathematics 128, Springer-Verlag (1970).

[76] A. Connes, Noncommutative Geometry, Academic Press (1994).

[77] A. H. Chamseddine and A. Connes, “The Spectral Action Principle,” Communications in Mathematical Physics 186, 731–750 (1997).

[78] F. Besnard and N. Bizi, “On the definition of spacetimes in Noncommutative Geometry, Part I,” Journal of Geometry and Physics 123, 292–309 (2018). arXiv:1611.07830. [Lorentzian extension of spectral triples to “spectral spacetime.”]

Supplementary references for §13.7–§13.11.

[11a] A. Einstein, “Riemann-Geometrie mit Aufrechterhaltung des Begriffes des Fernparallelismus,” Sitzungsberichte der Preussischen Akademie der Wissenschaften 217 (1928); H. Weyl, “Elektron und Gravitation. I,” Zeitschrift für Physik 56, 330–352 (1929). [Tetrad/vierbein formulation introduced into general relativity.]

[12a] P. Finsler, Über Kurven und Flächen in allgemeinen Räumen, Dissertation, University of Göttingen (1918).

[12b] D. Bao, S.-S. Chern, Z. Shen, An Introduction to Riemann-Finsler Geometry, Graduate Texts in Mathematics 200, Springer-Verlag (2000).

[12c] C. Pfeifer and M. N. R. Wohlfarth, “Finsler spacetimes and gravity,” Physical Review D 84, 044039 (2011). arXiv:1210.2973.

[13a] Z. Chang and X. Li, “Modified Friedmann model in Randers-Finsler space of approximate Berwald type as a possible alternative to dark energy hypothesis,” Physics Letters B 676, 173–176 (2009).

[13b] E. Caponio and G. Stancarone, “On Finsler spacetimes with a timelike Killing vector field,” Classical and Quantum Gravity 35, 085007 (2018). arXiv:1710.05318.

[16a] J. D. Bekenstein, “Relativistic gravitation theory for the modified Newtonian dynamics paradigm,” Physical Review D 70, 083509 (2004) [TeVeS].

[16b] R. H. Sanders, “A tensor-vector-scalar framework for modified dynamics and cosmic dark matter,” Monthly Notices of the Royal Astronomical Society 363, 459–468 (2005).

[29a] B. R. Edwards and V. A. Kostelecký, “Riemann-Finsler geometry and Lorentz-violating scalar fields,” Physics Letters B 786, 319–326 (2018).

[41a] É. Cartan, “Sur une généralisation de la notion de courbure de Riemann et les espaces à torsion,” Comptes Rendus de l’Académie des Sciences 174, 593–595 (1922) [tetrad-style formulation in differential geometry].

[42a] L. T. Buchman and J. M. Bardeen, “A hyperbolic tetrad formulation of the Einstein equations for numerical relativity,” Physical Review D 67, 084017 (2003). arXiv:gr-qc/0301072. [Tetrad formalism for numerical relativity, with the timelike tetrad vector defining a preferred timelike congruence.]

[40a] [Frame fields in general relativity, comoving FLRW tetrads.] R. M. Wald, General Relativity, University of Chicago Press, Chicago (1984), §13.5; standard cosmological-tetrad construction.

[44a] J. W. Maluf, “The teleparallel equivalent of general relativity,” Annalen der Physik 525, 339–357 (2013). arXiv:1303.3897.

[62a] J. K. Beem, P. E. Ehrlich, and K. L. Easley, Global Lorentzian Geometry, 2nd ed., Marcel Dekker, New York (1996).

[62b] A. N. Bernal and M. Sánchez, “On smooth Cauchy hypersurfaces and Geroch’s splitting theorem,” Communications in Mathematical Physics 243, 461–470 (2003). arXiv:gr-qc/0306108.

[62c] A. N. Bernal and M. Sánchez, “Smoothness of time functions and the metric splitting of globally hyperbolic spacetimes,” Communications in Mathematical Physics 257, 43–50 (2005). arXiv:gr-qc/0401112.

[62d] F. M. M. Costa and M. Sánchez, “On the existence of cosmological time functions,” Classical and Quantum Gravity 25, 175004 (2008).

[69a] R. Penrose, Cycles of Time: An Extraordinary New View of the Universe, Bodley Head, London (2010).

[70a] R. Penrose, “On the gravitization of quantum mechanics 2: Conformal cyclic cosmology,” Foundations of Physics 44, 873–890 (2014).

[70b] K. P. Tod, “The equations of Conformal Cyclic Cosmology,” General Relativity and Gravitation 47, 17 (2015). arXiv:1309.7248.

[70c] K. A. Meissner and R. Penrose, “The Physics of Conformal Cyclic Cosmology,” Foundations of Physics (2025). arXiv:2503.24263.

[79] E. McGucken, McGucken Cosmology: First-Place Empirical Standing, Light, Time, Dimension Theory, May 1, 2026. URL: https://elliotmcguckenphysics.com/2026/05/01/the-mcgucken-cosmology-dx4-dt-ic-outranks-every-major-cosmological-model/

[80] E. McGucken, The McGucken Principle dx₄/dt = ic Necessitates the Wick Rotation and i Throughout Physics, Light, Time, Dimension Theory, May 1, 2026. URL: https://elliotmcguckenphysics.com/2026/05/01/the-mcgucken-principle-dx4-dtic-necessitates-the-wick-rotation/

[80a] S. M. Carroll, Spacetime and Geometry: An Introduction to General Relativity, Addison-Wesley, San Francisco (2004).

[81] E. McGucken, The McGucken Space and McGucken Operator Generated by dx₄/dt = ic, Light, Time, Dimension Theory, April 29, 2026. URL: https://elliotmcguckenphysics.com/2026/04/29/the-mcgucken-space-and-mcgucken-operator-generated-by-dx4-dt-ic/

[82] E. McGucken, The McGucken Operator D_M: The Simplest, Most Complete, and Most Powerful Source Operator in Physics, Light, Time, Dimension Theory, April 29, 2026. URL: https://elliotmcguckenphysics.com/2026/04/29/the-mcgucken-operator-dm/

[83] E. McGucken, The McGucken Space ℳ_G: The Simplest, Most Complete, and Most Powerful Source Space in Physics, Light, Time, Dimension Theory, April 29, 2026. URL: https://elliotmcguckenphysics.com/2026/04/29/the-mcgucken-space/

[84] E. McGucken, The Double Completion of Klein’s 1872 Erlangen Programme via the McGucken Principle dx₄/dt = ic, Light, Time, Dimension Theory, April 30, 2026. URL: https://elliotmcguckenphysics.com/2026/04/30/the-double-completion-of-kleins-1872-erlangen-programme-via-the-mcgucken-principle/

[85] E. McGucken, The McGucken Symmetry dx₄/dt = ic — The Father Symmetry of Physics, Light, Time, Dimension Theory, April 28, 2026. URL: https://elliotmcguckenphysics.com/2026/04/28/the-mcgucken-symmetry-dx4-dt-ic-the-father-symmetry-of-physics/

[86] E. McGucken, The McGucken Sphere as Spacetime’s Foundational Atom: Deriving Arkani-Hamed’s Amplituhedron and Penrose’s Twistors as Theorems of the McGucken Principle dx₄/dt = ic, Light, Time, Dimension Theory, April 27, 2026. URL: https://elliotmcguckenphysics.com/2026/04/27/the-mcgucken-sphere-as-spacetimes-foundational-atom-deriving-arkani-hameds-amplituhedron-and-penroses-twistors-as-theorems-of-the-mcgucken-principle-dx4-dt-ic/

[87] E. McGucken, The Unique McGucken Lagrangian: All Four Sectors — Free-Particle Kinetic, Dirac Matter, Yang-Mills Gauge, Einstein-Hilbert Gravitational — Forced by the McGucken Principle dx₄/dt = ic, Light, Time, Dimension Theory, April 23, 2026. URL: https://elliotmcguckenphysics.com/2026/04/23/the-unique-mcgucken-lagrangian-all-four-sectors-free-particle-kinetic-dirac-matter-yang-mills-gauge-einstein-hilbert-gravitational-forced-by-the-mcgucken-principle-dx4-dt-ic/