McGucken Geometry: The Novel Mathematical Structure of Moving-Dimension Geometry underlying the Physical McGucken Principle of a Fourth Expanding Dimension dx₄/dt = ic

McGucken Geometry: The Novel Mathematical Structure of Moving-Dimension Geometry underlying the Physical McGucken Principle of a Fourth Expanding Dimension dx₄/dt = ic

A Comprehensive Survey of Prior Art and Identification of the Novel Geometric Claim

Dr. Elliot McGucken

Light, Time, Dimension Theory — elliotmcguckenphysics.com

April 26, 2026

“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

“Henceforth space by itself, and time by itself, are doomed to fade away into mere shadows, and only a kind of union of the two will preserve an independent reality.” — Hermann Minkowski, ‘Raum und Zeit,’ Cologne, September 21, 1908

Abstract

We herein present a novel geometry in the form of McGucken Geometry. This paper conducts a comprehensive survey of the prior art of differential geometry and related fields and formally demonstrates that McGucken Geometry has never before been realized throughout the mathematical literature and prior art of differential geometry and theoretical physics. McGucken Geometry is the geometric structure underlying the Physical McGucken Principle dx₄/dt = ic, which states that the fourth dimension of spacetime is itself an active geometric process expanding spherically from every spacetime event at the velocity of light. 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 cosmological-time-function literature (Andersson-Galloway-Howard, 1998) [25]; 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]; current literature); and Whitehead’s process philosophy (1929) [30]. Across this comprehensive survey, the central question is examined: in any of these prior frameworks, is there a geometric structure that asserts the active expansion of one of the four dimensions of spacetime as a real geometric process at the velocity of light? The answer, established by direct examination of each framework in turn, is no.

The novel mathematical content of McGucken Geometry is identified explicitly. The novelty is not in the mathematical apparatus — foliations, vector fields, jet bundles, Cartan connections, principal bundles, ADM lapse-and-shift decompositions, distinguished translation generators, and the rest are all standard mathematical machinery developed between 1854 and 1997 [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12]. The novelty is the geometric assertion that one specific axis of the four-dimensional manifold is itself an active geometric process — advancing, expanding, propagating spherically at the velocity of light from every event — with this assertion taken as a structural commitment of the geometry rather than as a coordinate convention or a feature of a matter field added on top of the manifold. Across the comprehensive survey, the closest neighbors of this geometric assertion are Einstein-aether theory (which posits a privileged static timelike vector field as a matter field [16]), Hořava-Lifshitz gravity (which postulates a preferred foliation but does not claim the foliation parameter advances at any geometric rate [21]), Causal Dynamical Triangulations (which uses a discrete proper-time foliation as a regularization device, with the foliation explicitly characterized as a gauge fixing rather than a physical privileged structure [22]), and the philosophical-tradition growing-block theories of presentism (which lack mathematical formalization [28, 29]). None of these frameworks asserts the active expansion of a manifold axis at a fixed geometric rate as a structural commitment of the geometry. The McGucken framework supplies precisely this assertion, formalized as a precise mathematical object: the moving-dimension manifold (M, F, V) of the present paper, equivalent to a McGucken Cartan geometry of Klein type (ISO(1,3), SO⁺(1,3)) with a distinguished active translation generator P₄ satisfying the active-flow conditions and the McGucken-Invariance condition Ω₄ = 0.

The paper proceeds in three parts. Part I (Comprehensive Survey of Prior Art: §§1-7) catalogs the prior frameworks of differential geometry, mathematical physics, and the philosophy of time, giving each its full credit and demonstrating, for each, that none asserts the active expansion of a manifold axis at the velocity of light. The survey is comprehensive: every framework that might be thought to anticipate the McGucken assertion is given extensive treatment, with the precise content of the framework articulated and the structural difference from the McGucken assertion identified. Part II (Formal Definition of McGucken Geometry: §§8-12) presents the formal mathematical content of the framework, in three equivalent presentations: the moving-dimension manifold (M, F, V) of §9; the second-order jet-bundle formalization of §10; the Cartan-geometry formalization of §11; and the equivalence theorem of §12 establishing the three formulations as mathematically equivalent. Part III (The Novelty Identified: §§13-17) identifies what is mathematically novel and what derives from prior art, articulates the structural inference that the framework supplies a new geometric category — moving-dimension geometry, the geometry of manifolds with active translation generators — and develops the philosophical and mathematical implications of this novelty. The paper closes with the McGucken-Invariance Lemma (§15), the source-paper apparatus (§16), and the decades-of-development chronology (§17).

The deep complement of this paper to the prior art is unambiguous: every individual mathematical tool used to formalize McGucken Geometry exists in the prior art, and is given full credit. The novelty is not in the tools but in the geometric claim being expressed by them: that one axis of the four-dimensional manifold is itself an active geometric process. The paper’s thesis, in three sentences: the mathematical apparatus has been available since 1854; the McGucken assertion has been mathematically inescapable since 1908; the willingness to commit to the assertion as a structural commitment of the geometry — rather than dismissing it as a coordinate convention — is what was missing. McGucken Geometry is the formal articulation of this commitment as a precise mathematical category.

Keywords: McGucken Geometry; moving-dimension geometry; McGucken Principle; dx₄/dt = ic; active translation generator; geometric process axis; Cartan geometry; Klein geometry; jet bundle; Riemannian geometry; ADM 3+1 decomposition; Einstein-aether theory; spontaneous Lorentz symmetry breaking; Hořava-Lifshitz gravity; Causal Dynamical Triangulations; Shape Dynamics; growing-block theory; process philosophy; Minkowski 1908; x₄ = ict; foundational geometry; comprehensive prior-art survey.

1. Introduction: The Comprehensive-Survey Methodology

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 an extensive corpus of papers [31, 32, 33, 34, 35, 36, 37, 38, 39] to derive, as theorems descending from a single geometric statement, the substantial postulate sets of general relativity, quantum mechanics, and thermodynamics. The derivational power of the principle is now well-established. The present paper addresses a different question: what kind of geometric object does the principle describe, and is that object new?

The methodology of the present paper is comprehensive prior-art survey followed by careful identification of novelty. The survey proceeds through every plausibly relevant prior framework in differential geometry, mathematical physics, and the philosophy of time, in turn, with the goal of giving each framework its full credit and articulating its content with precision. For each framework, we ask the same question: does it assert the active expansion of one of the four dimensions of spacetime at a fixed geometric rate, as a structural commitment of the geometry rather than as a feature of a matter field, a coordinate convention, or a calculational gauge? The answer is established by direct examination of each framework’s primary literature.

The depth of the survey is intentional. We give every prior framework full credit because doing so makes the identification of novelty rigorous rather than rhetorical. If a framework were to anticipate the McGucken assertion in any form, the present paper would identify it explicitly and acknowledge the precedence. If no framework asserts the McGucken claim in any form, that fact — once established by comprehensive survey — constitutes a defensible identification of novelty. The methodology rests on the principle that genuine novelty in mathematics and theoretical physics is established not by ignoring prior work but by surveying it deeply and exhibiting precisely what is and is not in each framework.

In plain language. The way this paper makes its case for novelty is by going through every prior framework in differential geometry and mathematical physics that might be thought to do what McGucken Geometry does — and showing, for each one, exactly what it does and does not do. This is the opposite of dismissive: every prior framework is given full credit for its actual content. The novelty claim is then narrow and precise: what McGucken Geometry asserts is the active expansion of a manifold axis at a geometric rate, and this assertion is in none of the prior frameworks. The depth of the survey is what makes the novelty claim defensible. If something were already there, the survey would find it.

2. Riemannian and Lorentzian Geometry: The Foundational Apparatus

2.1 Riemann 1854 and the Smooth Manifold Concept

The foundational paper of modern differential geometry is Bernhard Riemann’s 1854 habilitation lecture “Über die Hypothesen, welche der Geometrie zu Grunde liegen” [1]. Riemann introduces the modern conception of a smooth manifold — a topological space locally homeomorphic to Euclidean ℝⁿ, equipped with a smooth atlas, on which a smooth metric tensor g_ij assigns infinitesimal distances ds² = g_ij dxⁱ dx⩵. The Riemannian framework is the foundation on which all subsequent differential geometry rests.

Riemann’s manifold is static. The metric tensor g_ij is a function on the manifold, varying from point to point, but the manifold itself does not advance, expand, or undergo any process. The metric can curve and warp; the manifold can have rich topology; but the manifold is. It does not become or unfold. Manifolds in Riemann’s framework are mathematical objects of a specific kind: smooth spaces equipped with metric structure. There is no claim, anywhere in Riemann’s 1854 paper or in the subsequent Riemannian literature, that one of the manifold’s coordinates is itself an active geometric process advancing at any rate.

2.2 Levi-Civita 1917 and the Affine Connection

Tullio Levi-Civita’s 1917 paper “Nozione di parallelismo in una varietà qualunque” [2] introduces the affine connection Γᵢ_jk on a Riemannian manifold — the structural object that defines parallel transport along curves and that, via Christoffel-symbol contraction, enables the formulation of the geodesic equation and the Riemann curvature tensor. Levi-Civita’s connection is the standard mathematical machinery underlying general relativity; Einstein’s 1915 field equations [40] are formulated using exactly this apparatus.

The Levi-Civita connection is, again, a static object. The connection coefficients vary from point to point on the manifold, but the connection itself does not advance, expand, or undergo any process. Parallel transport is a calculational operation defined by the connection; it moves vectors along curves on a static manifold, not along an axis that is itself moving. The Levi-Civita formalism extends Riemannian geometry; it does not depart from the static-manifold framework.

2.3 Lorentzian Manifolds and Minkowski 1908

Hermann Minkowski’s 1908 Cologne address “Raum und Zeit” [41] introduces the Lorentzian metric structure on the four-dimensional manifold of relativistic spacetime, with line element ds² = -c²dt² + dx² + dy² + dz² (or, in the imaginary-time convention, ds² = -(dx₁² + dx₂² + dx₃² + dx₄²) with x₄ = ict). The Minkowski framework establishes that the geometry of relativistic spacetime is a four-dimensional Lorentzian manifold — a smooth four-manifold equipped with a metric tensor of signature (-, +, +, +) or its imaginary-coordinate equivalent.

The Minkowski framework is foundational, and is the immediate target of the present paper’s comprehensive survey. Two structural points are essential. First, Minkowski’s formula x₄ = ict is differentiable: differentiating with respect to t yields dx₄/dt = ic immediately. This is the McGucken Principle, and it is mathematically inescapable given Minkowski’s formula. Second, Minkowski’s framework treats x₄ = ict as a coordinate identification, not as a structural commitment. Modern textbook treatments since the 1960s [42, 43] dismiss the i factor as a notational convenience and adopt the real-coordinate convention x⁰ = ct, severing the equation from its calculus. Neither Minkowski nor the subsequent Lorentzian-geometry literature asserts that x₄ is an active geometric process advancing at rate ic.

In plain language. Riemann (1854), Levi-Civita (1917), and Minkowski (1908) supply the foundational apparatus of differential geometry: smooth manifolds with metric tensors, connections that allow parallel transport, and Lorentzian metrics that distinguish time from space. None of them claims that any axis of the manifold is moving. Manifolds in their framework are static objects on which fields and curves live. The McGucken claim — that x₄ itself is moving at the velocity of light — is not in their work. They built the apparatus; the claim that one of the apparatus’s coordinates is itself a process is the McGucken contribution.

3. Cartan Geometry, Klein Geometry, and Group-Theoretic Foundations

3.1 Klein 1872 and the Erlangen Programme

Felix Klein’s 1872 lecture “Vergleichende Betrachtungen über neuere geometrische Forschungen” (the Erlangen Programme) [5] established the structural correspondence between geometries and Lie groups. A Klein geometry is a pair (G, H) where G is a Lie group and H is a closed subgroup; the associated model space is the homogeneous space G/H, and the geometry of G/H is precisely the geometry whose symmetries are encoded in G modulo H. Examples include Euclidean plane geometry as (E(2), O(2)), spherical geometry as (SO(3), SO(2)), and Minkowski spacetime as (ISO(1,3), SO⁺(1,3)) where ISO(1,3) is the Poincaré group and SO⁺(1,3) is the proper orthochronous Lorentz subgroup.

The Erlangen Programme is one of the deepest structural insights in the history of mathematics. It treats geometry as a special case of group theory; it organizes the various non-Euclidean geometries (hyperbolic, elliptic, projective, conformal, affine) under a common framework; and it provides the foundation on which Cartan’s subsequent generalization to curved manifolds rests. The Lie algebra g of the Poincaré group ISO(1,3) decomposes as g = h ⊕ m, where h = so(1,3) is the Lorentz subalgebra and m ≅ ℝ⁴ is the space of translation generators (P₀, P₁, P₂, P₃ in standard notation). All four translation generators are formally equivalent under the action of the Lorentz subgroup.

In Klein’s framework, no translation generator is privileged. The model space ℝ⁴ with Minkowski metric is homogeneous: every point is equivalent to every other under the action of the Poincaré group. The Klein framework supplies the algebraic structure; it does not commit to any specific physical interpretation of the translation generators. There is no Klein geometry, in the entire literature on the Erlangen Programme [5, 44], that asserts one specific translation generator is itself an active geometric process advancing at any rate.

3.2 Cartan 1923-1925 and Cartan Geometries

Élie Cartan’s papers of 1923-1925 [3] introduce Cartan geometries: structures that generalize Klein geometries from homogeneous spaces to curved manifolds. A Cartan geometry of Klein type (G, H) on a manifold M is a principal H-bundle P → M equipped with a g-valued one-form ω (the Cartan connection) satisfying three axioms (denoted (C1)-(C3) in §11.1 below) that ensure the Cartan connection trivializes the tangent space to the Lie algebra g at each point of P. The Cartan curvature Ω = dω + ½[ω, ω] measures the deviation of the Cartan geometry from the flat model G/H.

Cartan geometries are the modern setting for the geometric foundations of relativistic physics. Sharpe’s 1997 textbook [4] supplies the modern reformulation: Cartan geometries are principal-bundle data with connections valued in Lie algebras, with the connections allowing one to ‘roll’ the model space along curves on the manifold. The first-order formulation of gravity arises naturally from gauging the Cartan connection of Klein type (ISO(1,3), SO⁺(1,3)) on a four-manifold.

In the Cartan-geometry literature, the four translation generators P₀, P₁, P₂, P₃ are formally equivalent under the action of the Lorentz subgroup. No translation generator is singled out as physically privileged. There is no Cartan geometry in the standard literature [3, 4, 6, 45] in which one specific translation generator is committed, as a structural feature of the geometry, to being an active geometric process advancing at a fixed rate. The Maurer-Cartan form ω_G [6] is a distinguished g-valued one-form on the Lie group G, but it is distinguished by its left-invariance, not by privileging any one generator over the others.

3.3 G-Structures and Reductions of Structure Groups

The general framework for adding additional structure to a manifold is the theory of G-structures and reductions of structure groups [9]. A G-structure on a smooth n-manifold M is a principal G-subbundle of the tangent frame bundle FM of M; it picks out, at each point, a privileged class of frames (those compatible with G-structure). Standard examples include orthogonal G-structures (O(n)-structures, equivalent to Riemannian metrics), volume-form G-structures (SL(n,ℝ)-structures), almost-complex structures, symplectic structures, and Kähler structures. A reduction of structure group from G to a subgroup H ⊆ G is a continuous fiber-by-fiber choice of an H-substructure within the G-structure.

A reduction of the Poincaré structure group ISO(1,3) to its rotational subgroup SO(3) selects, at each point of the manifold, a privileged timelike direction. This is precisely the framework in which spontaneous Lorentz symmetry breaking is most cleanly formulated. The G-structure literature is mathematically deep and entirely standard. However, in this literature, a privileged direction is a static feature of the manifold — a section of the tangent bundle compatible with the H-substructure. The privileged direction does not advance, expand, or undergo any geometric process. The G-structure framework supplies the language for picking out privileged elements; it does not assert that any specific privileged element is itself a process.

In plain language. Klein in 1872 set up the basic framework: geometries are pairs of groups, with one group acting on a quotient of itself by another. Cartan in the 1920s generalized this to curved manifolds. Sharpe in 1997 wrote the modern textbook. G-structure theory generalized this further. In all of this work, the apparatus for picking out a privileged direction in a manifold exists. What is missing is the claim that the privileged direction is itself a geometric process — that the direction is moving. Standard Cartan geometry treats privileged directions as static features. McGucken Geometry treats one specific direction as an active flow. The mathematical apparatus to formalize this is in Cartan’s framework; the claim being formalized is not.

4. Jet Bundles, Fiber Bundles, and Foliations

4.1 Ehresmann 1951 and Jet Bundles

Charles Ehresmann’s 1951 paper [7] and subsequent work introduced jet bundles as the geometric setting for systems of partial differential equations. The k-th jet bundle Jᵏ(E) of a fiber bundle E → M is the space of k-th-order Taylor expansions of sections of E at each point of M. PDEs on E correspond to subbundles of Jᵏ(E); solutions correspond to sections of E whose k-jets lie in the subbundle. Saunders 1989 [8] supplies the modern reference text. Spencer 1969 [46] develops the cohomology of overdetermined systems.

The McGucken Principle dx₄/dt = ic, in this language, is a flat section of the second-order jet bundle J²(M × ℝ⁴) satisfying the constraints ∂x₄/∂t = ic and ∂²x₄/(∂t ∂g_μν) = 0. In the standard jet-bundle literature, however, sections of jet bundles are mathematical objects with no inherent physical interpretation. A flat section of a jet bundle is a mathematical object; the assertion that this specific flat section corresponds to an active geometric process is not. The jet-bundle framework supplies the language; the geometric assertion of active flow is a separate commitment.

4.2 Whitney 1935 and Fiber Bundles

Hassler Whitney’s 1935 paper [11] introduced fiber bundles as topological structures: a fiber bundle E → B with fiber F describes how a copy of F sits over each point of the base B. The total space E is a static four-dimensional manifold (in the case where F = ℝ³ and B = ℝ); the fibers are simultaneously present; nothing in the fiber-bundle structure says that any of the dimensions is advancing at any rate. Fiber bundles add structure (the connection, parallel-transport rule, transition functions), but they do not supply active-flow content.

4.3 Reeb 1952 and Foliations

Georges Reeb’s 1952 monograph [10] establishes the theory of foliations on smooth manifolds: a foliation F decomposes M into leaves (lower-dimensional submanifolds) parameterized by transverse coordinates. The leaves of a foliation are simultaneously present — the foliation is a static decomposition of M into a one-parameter family of submanifolds, with the parameter labeling the leaves but not generating any motion. The Reeb foliation, the Anosov foliation [47], the Levi foliation, and the rest of the classical foliation literature illustrate the static character of the concept.

A codimension-one timelike foliation of a Lorentzian four-manifold is a slicing of spacetime into spatial three-slices Σ_t indexed by a parameter t. This is precisely the mathematical structure that the McGucken framework requires for Layer 1 of its three-layer formalization. But the foliation, by itself, is static: the slices coexist; nothing flows. The foliation supplies the slicing; it does not supply the moving-dimension content.

In plain language. Jet bundles, fiber bundles, and foliations are pieces of mathematical machinery for talking about smooth structures on manifolds — PDEs, parameterized families of fibers, and slicings into layers. They have been part of standard differential geometry since the 1930s through 1950s. None of them, by itself, captures motion of an axis; they all describe static structures. McGucken Geometry uses these pieces as building blocks but adds the structural commitment that the slicing parameter t corresponds to the active expansion of x₄ at the velocity of light — a commitment not present in the jet-bundle, fiber-bundle, or foliation literature.

5. ADM 3+1 Decomposition, Cosmic Time, and the Four-Velocity Magnitude Condition

5.1 Arnowitt-Deser-Misner 1962 and the 3+1 Decomposition

Richard Arnowitt, Stanley Deser, and Charles Misner’s 1962 paper [12] introduces the ADM 3+1 decomposition of general relativity: a globally hyperbolic four-dimensional Lorentzian manifold M is decomposed into a one-parameter family of three-dimensional spatial slices Σ_t parameterized by a time function t, with a lapse function N and a shift vector Nⁱ specifying the relationship between adjacent slices. The Eulerian observer’s four-velocity nμ is the unit normal to Σ_t (with magnitude condition nμ n_μ = -c² or, in geometrized units, -1).

ADM is the closest existing formalism to the structural content of McGucken Geometry, and it requires careful examination. The ADM Eulerian observer nμ corresponds exactly to the McGucken vector field V of §9.2 below: a future-directed timelike unit vector field perpendicular to the foliation, with squared-norm -c². The Eulerian observer’s integral curves are the worldlines of observers at ‘rest’ with respect to the slicing. ADM has been part of standard general relativity for over six decades; numerical relativity, canonical quantum gravity, the constraint analysis of general relativity, and many other applications all rest on ADM.

The crucial difference between ADM and McGucken Geometry is the status of the Eulerian observer. In ADM, nμ is treated as a gauge choice. The lapse N and shift Nⁱ can be freely specified; different choices give different foliations of the same manifold; the physics is invariant under changes of foliation, by the diffeomorphism invariance of general relativity. The Eulerian observer is a calculational convenience for slicing the manifold into spatial layers, not a physically privileged structure. McGucken Geometry, by contrast, asserts that V is physically privileged — that V’s integral curves correspond to a real geometric process, the active expansion of x₄ at rate ic, and that this commitment breaks the diffeomorphism gauge invariance to those diffeomorphisms preserving the privileged foliation.

ADM is therefore Layers 1 and 2 of the moving-dimension structure (the foliation F and the privileged timelike vector field V), but not Layer 3 (the privilege commitment that V’s flow is physically real). The mathematical apparatus has been there since 1962. What was missing was the willingness to identify ADM’s nμ with x₄’s active expansion at rate ic and to recognize the resulting privileged-element structure as the geometric foundation of relativistic physics. McGucken Geometry supplies this identification. The 1962 paper does not.

5.2 Hawking 1968 and Cosmic Time Functions

Stephen Hawking’s 1968 paper “The existence of cosmic time functions” [14] establishes the existence of a global time function on globally hyperbolic Lorentzian manifolds — a smooth real-valued function t on M whose level sets are spacelike Cauchy surfaces. Wald’s 1984 textbook [15] supplies the standard treatment. Andersson-Galloway-Howard 1998 [25] develops the modern theory of cosmological time functions, including the regularity conditions under which a cosmic time function is canonically defined. The 2025 paper by Ebrahimi-Vatandoost-Koohestani [48] extends the cosmological-time-function machinery to Lorentzian length spaces.

The cosmic-time-function literature is mathematically deep and broadly relevant to the McGucken framework: a cosmic time function is the standard object that McGucken Geometry’s parameter t corresponds to. The literature does not, however, claim that the cosmic time function corresponds to an active geometric process advancing at a fixed rate. The cosmic time function is a mathematical object — a smooth function on the manifold — not a process. The level sets of the function are the slices of a foliation; the function itself does not advance. The McGucken claim — that t parameterizes an active expansion of x₄ at rate ic — is not in the cosmic-time-function literature.

5.3 The Four-Velocity Magnitude Condition uμ u_μ = -c²

The four-velocity formalism in special and general relativity [13] establishes that the four-velocity U of any massive observer satisfies the constraint U · U = g_μν Uμ Uν = -c² (in the (-, +, +, +) metric signature). For an observer at spatial rest, U has magnitude c entirely along the time direction: U⁰ = c, Uⁱ = 0. For an observer in spatial motion, U has both temporal and spatial components, but the magnitude condition is preserved: the observer is ‘rotating’ the four-velocity from the time direction into spatial directions. This is the standard interpretation: every observer’s four-velocity has magnitude c.

The standard interpretation of the four-velocity magnitude condition is in some popular and pedagogical treatments described as ‘every observer is moving at the speed of light through spacetime,’ a phrase that is often used to motivate the geometric content of special relativity. The McGucken framework gives this phrase precise geometric content: the observer’s four-velocity has component c along the privileged x₄-axis when at spatial rest; spatial motion deflects part of this component into the spatial directions; the total magnitude is preserved at c. McGucken Geometry formalizes the popular phrase by identifying x₄ as the active geometric axis whose advance the four-velocity is measuring.

The four-velocity formalism, however, does not by itself assert that x₄ is moving. The condition U · U = -c² is a constraint on the four-velocity; it does not commit to any particular physical interpretation of the time component. Standard relativistic mechanics treats x₄ (or x⁰, the real-time variant) as a coordinate label, not as a geometric process. The McGucken framework adds the structural interpretation that the four-velocity’s temporal component is measuring the rate of x₄’s active expansion, an interpretation not present in the standard four-velocity literature.

In plain language. ADM (1962), Hawking (1968), and the cosmic-time-function literature have supplied, since the 1960s, all the mathematical pieces needed to discuss spatial slicings, lapse functions, shift vectors, and cosmic time. The four-velocity formalism has supplied the magnitude condition uμ u_μ = -c² as foundational since special relativity was first written down. What none of them does is commit to the interpretation that the time function t parameterizes an active geometric process — that t is not just labeling slices but is the rate at which a real geometric axis is advancing. The pieces are there. The commitment is what McGucken Geometry adds.

6. Frameworks with Privileged Timelike Structure: The Closest Neighbors

The frameworks of this section are the closest neighbors of McGucken Geometry in the prior literature. Each posits a privileged timelike structure on spacetime — a vector field, a foliation, or a frame — that breaks the local Lorentz invariance of standard relativistic physics. They are the candidates that come closest to anticipating the McGucken assertion. We examine each in turn, identify its precise content, and articulate the structural difference from the McGucken claim.

6.1 Einstein-Aether Theory (Jacobson-Mattingly 2001)

Ted Jacobson and David Mattingly’s 2001 paper “Gravity with a Dynamical Preferred Frame” [16] introduces Einstein-aether theory: general relativity coupled to a dynamical unit timelike vector field uμ (the ‘aether’) with magnitude condition uμ u_μ = -1 (in geometrized units; equivalent to uμ u_μ = -c² in physical units). The aether field uμ is a generally covariant matter field on spacetime. It breaks the local Lorentz invariance of general relativity to a 3D rotation subgroup, while preserving the diffeomorphism invariance of general relativity. The theory has four coupling parameters c₁, c₂, c₃, c₄ that determine the dynamics of the aether and its couplings to the metric. Subsequent work by Eling, Jacobson, Mattingly, Foster, and others [17, 49, 50, 51] develops the full phenomenology, including post-Newtonian constraints, gravitational waves, black-hole solutions, and cosmological implications.

Einstein-aether theory is the closest framework in the prior literature to the McGucken assertion. The structural similarity is substantial: a privileged timelike vector field on spacetime with magnitude condition uμ u_μ = -c², breaking local Lorentz invariance to a rotation subgroup. The integral curves of uμ are the worldlines of ‘aether-rest observers,’ structurally analogous to the McGucken Eulerian observer at spatial rest with four-velocity along V.

The structural difference between Einstein-aether and McGucken Geometry is, however, decisive. Einstein-aether treats uμ as a matter field on spacetime — an additional dynamical field, like a scalar or a gauge field, that lives on the manifold. The aether uμ is not part of the geometry; it is content that the geometry carries. The aether has its own Lagrangian, its own equation of motion, its own coupling parameters. By contrast, McGucken Geometry treats V as a geometric structure — a Cartan-connection component, or equivalently a privileged element of the spacetime’s tangent bundle — not as a matter field. The privilege is built into the manifold’s geometry, not added on top via a vacuum expectation value.

More importantly, Einstein-aether treats uμ as a static privileged direction. The aether-rest observers do not undergo any geometric process; they sit at ‘rest’ in the aether frame, and the aether itself is a static medium permeating spacetime. There is no claim, anywhere in the Einstein-aether literature, that the aether is itself an active expansion at any rate. McGucken Geometry, by contrast, asserts that V is an active flow at the velocity of light: V’s integral curves are the active geometric process of x₄’s expansion. This is structurally a different claim from Einstein-aether’s static privileged frame.

The McGucken framework can be characterized, with full mathematical precision, as the geometric counterpart of Einstein-aether theory in which (a) the aether-vector is part of the geometry rather than a matter field, and (b) the aether-vector represents an active flow rather than a static direction. Einstein-aether theory is the closest neighbor in the prior literature; the structural differences identified above are what distinguish McGucken Geometry from Einstein-aether.

6.2 Standard-Model Extension and Spontaneous Lorentz Symmetry Breaking

Alan Kostelecký and Stuart Samuel’s 1989 paper “Spontaneous Breaking of Lorentz Symmetry in String Theory” [19] and Don Colladay-Kostelecký’s 1998 paper “Lorentz-Violating Extension of the Standard Model” [20] establish the Standard-Model Extension (SME) framework: a systematic treatment of Lorentz-violating extensions of the Standard Model and general relativity in which the violation arises from vacuum expectation values of tensor fields. The vacuum state ⟨Φ⟩ of a field theory singles out a preferred timelike (or spacelike) direction, breaking the Poincaré invariance of the underlying Lagrangian to a residual symmetry.

The SME framework is mathematically deep and is the standard apparatus for systematically classifying Lorentz-violating physics. It is structurally analogous to McGucken Geometry in that it singles out a privileged direction. But the structural differences from McGucken Geometry are essentially the same as for Einstein-aether: the privileged direction in SME comes from the vacuum state of a field theory (a matter-content feature), not from the geometry of the manifold; and the privileged direction is static (a vacuum expectation value, not an active geometric process). The SME framework is structurally close to but not the same as the McGucken assertion.

6.3 Hořava-Lifshitz Gravity (2009)

Petr Hořava’s 2009 paper “Quantum Gravity at a Lifshitz Point” [21] introduces Hořava-Lifshitz gravity: a proposal to formulate quantum gravity with a power-counting renormalizable ultraviolet limit, achieved by replacing the local Lorentz invariance of general relativity with anisotropic (Lifshitz) scaling between space and time. The theory postulates a preferred foliation F of spacetime by spacelike hypersurfaces and restricts the gauge symmetries to foliation-preserving diffeomorphisms (DiffF(M)). At high energies, the theory exhibits anisotropic scaling with a dynamical scaling exponent z; at low energies, it flows toward standard general relativity with z = 1.

Hořava-Lifshitz gravity is structurally analogous to McGucken Geometry in postulating a preferred foliation that breaks Lorentz invariance. The mathematical apparatus is similar: a foliation F of M by spacelike slices, with the foliation parameter t playing a privileged role. Subsequent work by Blas, Pujolas, Sibiryakov [52, 53] and others develops the full theoretical and phenomenological structure. The covariantization in terms of the ‘khronon’ or ‘khronometric’ field [54] is structurally similar to Einstein-aether theory.

The structural difference from McGucken Geometry is in the geometric content of the preferred foliation. In Hořava-Lifshitz gravity, the foliation is postulated for renormalization purposes — to allow higher-order spatial derivatives without higher-order time derivatives. The foliation is a structural feature of the action, but the foliation parameter t is not asserted to correspond to any active geometric process. The standard treatment treats t as a coordinate label that the foliation distinguishes; it does not commit to t being the rate of an active expansion of any axis. McGucken Geometry, by contrast, asserts that the foliation parameter parameterizes the active expansion of x₄ at rate ic — a structural commitment beyond what Hořava-Lifshitz gravity makes.

6.4 Causal Dynamical Triangulations (Ambjørn-Loll 1998)

Jan Ambjørn and Renate Loll’s 1998 paper [22] introduces Causal Dynamical Triangulations (CDT): a non-perturbative formulation of quantum gravity in which spacetime is regularized as a discrete simplicial manifold with a global proper-time foliation, with each spatial slice a 3-simplicial triangulation. The path integral over geometries is restricted to triangulations respecting this foliation. CDT has produced striking numerical results, including the emergence of a 4-dimensional de Sitter universe at large scales [55, 56] and a fractal-dimension reduction at the Planck scale [57].

CDT is structurally interesting because it postulates a preferred foliation as a regularization scheme. The foliation is essential to the construction; non-causal Euclidean dynamical triangulations [22] do not produce a well-behaved continuum limit, while causal dynamical triangulations with foliation do. The foliation supplies the causal structure that makes the path integral well-defined.

Subsequent work by Jordan-Loll 2013 [58, 59] explicitly addresses whether the preferred foliation in CDT is a physical structure or a gauge-fixing convenience. The result of this work is that CDT can be reformulated without the preferred foliation, and the continuum limit appears to be the same; the foliation is not part of the physical content of the theory but a useful regularization device. This is the opposite of the McGucken claim: in McGucken Geometry, the foliation is physically privileged; in CDT, the foliation is explicitly characterized as gauge. The frameworks share the use of a foliation but differ on the physical status of that foliation.

6.5 Shape Dynamics (Barbour-Gomes-Koslowski-Mercati)

Julian Barbour, Henrique Gomes, Tim Koslowski, and Flavio Mercati’s Shape Dynamics program [23, 24, 60] reformulates general relativity as a dynamical theory of three-dimensional conformal geometry. The program traces back to Mach’s principle and Barbour’s relationalist commitments [60]: gravity should be formulated as the evolution of relational shape variables, with the four-dimensional refoliation invariance of general relativity replaced by three-dimensional conformal invariance. Shape Dynamics is dual to general relativity at the classical level and exhibits the same observational predictions, but rests on different first principles.

Shape Dynamics relates to the McGucken framework in that it singles out a preferred class of foliations (those of constant mean extrinsic curvature, CMC). The CMC foliation is the canonical foliation in the conformal-three-geometry framework, and it provides a natural notion of simultaneity. Recent work by Barbour-Koslowski-Mercati [61] establishes that Shape Dynamics has a physical arrow of time given by the growth of complexity, with the lowest-complexity state (the ‘Janus point’) playing a role analogous to the Big Bang. This is structurally interesting in connection with McGucken Geometry’s identification of x₄’s origin as the lowest-entropy moment.

Shape Dynamics, however, does not assert the active expansion of any manifold axis. The CMC foliation is a privileged class of foliations for the conformal-geometry reformulation, but the parameter that labels the foliation is not asserted to be the rate of an active geometric process. The Shape Dynamics framework is a beautiful and substantial reformulation of general relativity; it is not the same claim as the McGucken assertion that the fourth axis is itself an active expansion at the velocity of light.

In plain language. The frameworks closest to McGucken Geometry in the prior literature are Einstein-aether (Jacobson-Mattingly 2001), the Standard-Model Extension (Kostelecký-Samuel 1989), Hořava-Lifshitz gravity (2009), Causal Dynamical Triangulations (Ambjørn-Loll 1998), and Shape Dynamics (Barbour and collaborators). Each posits some version of a privileged timelike structure on spacetime: a vector field, a foliation, a frame. Each is given full credit. None of them — not one — asserts that one of the four dimensions of spacetime is itself an active geometric process expanding at the velocity of light. Einstein-aether posits a static aether matter field; SME posits a static vacuum expectation value; Hořava-Lifshitz posits a preferred foliation for renormalization; CDT uses a foliation as a regularization device explicitly characterized as gauge; Shape Dynamics reformulates GR with three-dimensional conformal invariance. The McGucken assertion is in none of them. The mathematical apparatus they each develop is given full credit; the claim that one axis is itself a flow is the McGucken contribution.

7. Quantum Gravity Programs and the Philosophy of Time

7.1 Loop Quantum Gravity (Rovelli, Smolin)

Carlo Rovelli’s 2004 textbook [26] supplies the standard treatment of Loop Quantum Gravity (LQG): a non-perturbative, background-independent quantization of general relativity in which the fundamental degrees of freedom are quantized geometric quantities — areas, volumes, and lengths — with discrete spectra at the Planck scale. The spin-network states of LQG are graph-theoretic structures that encode the geometry of three-dimensional space. LQG is one of the major candidate programs for quantum gravity.

LQG does not assert the active expansion of any manifold axis. The fundamental degrees of freedom are spatial geometric quantities, not temporal advances. Time evolution in LQG is implemented through the Hamiltonian constraint and the Wheeler-DeWitt equation, treating the dynamics as a constraint-satisfaction problem rather than as the unfolding of a privileged time variable. The McGucken assertion is not in LQG.

7.2 Causal Set Theory (Bombelli-Lee-Meyer-Sorkin 1987)

Luca Bombelli, Joohan Lee, David Meyer, and Rafael Sorkin’s 1987 paper [27] introduces causal set theory: a discrete approach to quantum gravity in which spacetime is fundamentally a discrete partial order — a causal set — with the continuum spacetime emerging in a coarse-grained limit. The fundamental degrees of freedom are causal-precedence relations between elements; geometry is reconstructed from the causal structure plus a uniform Poisson sprinkling of elements.

Causal set theory does have a temporal-process content: the ‘growing causal set’ formulation of Sorkin and others [62] treats the universe as a causal set that grows by the addition of new elements, with each element added causally to its predecessors. This is structurally interesting in connection with the McGucken framework: causal set theory’s growing-set picture is a discrete analog of the active-flow picture of McGucken Geometry. However, the causal set is a discrete object — a partial order — not a smooth manifold with an active translation generator. The temporal process is the addition of new elements to the partial order, not the advance of a manifold axis at a fixed geometric rate. The two pictures share the intuition of temporal growth but differ on the formal mathematical structure.

7.3 Growing Block Universe and Process Philosophy

The philosophical tradition supplies several conceptual precedents for the McGucken assertion of active temporal flow. The growing-block theory of time, developed by C.D. Broad in the 1920s and refined in subsequent decades [63, 64, 65], holds that the past and present are real but the future is not yet real, with new moments continually being added to the ‘leading edge’ of the block. The growing-block theory is a metaphysical position about the ontology of time, holding that time genuinely flows and that the present moment has a distinguished ontological status.

Hans Reichenbach’s 1956 monograph “The Direction of Time” [28] develops the philosophical analysis of temporal flow, with extensive discussion of the asymmetry of the past and the future, the role of probabilistic and causal asymmetries, and the relationship between temporal flow and thermodynamic entropy. McTaggart’s 1908 distinction between the A-series (past, present, future) and the B-series (earlier than, later than) [29] is the foundational philosophical analysis of temporal ontology.

Alfred North Whitehead’s 1929 monograph “Process and Reality” [30] develops process philosophy: a metaphysical framework in which the fundamental entities are not static substances but actual occasions — events of becoming — with reality as a continual process of concrescence. Whitehead’s framework is the most ambitious philosophical attempt to take temporal becoming as foundationally real, and his philosophy has been the subject of continuing development by Charles Hartshorne, John B. Cobb Jr., and others [66, 67].

The philosophical-tradition growing-block and process-philosophy frameworks share the conceptual claim that temporal flow is genuinely real — that time is not a static dimension but a process. The McGucken assertion is, in this respect, structurally analogous: x₄ is not a static coordinate but an active geometric process. However, the philosophical-tradition frameworks lack mathematical formalization. The growing-block theory is a metaphysical position about the ontology of time; it does not specify a mathematical category in which the growing block is a precise geometric object. Whitehead’s process philosophy is an extensive metaphysical framework, but its mathematical content remains underdeveloped despite continuing efforts [68].

McGucken Geometry can therefore be characterized as the mathematical formalization of the philosophical claim that time is an active flow. The philosophical tradition supplies the conceptual content; the mathematical apparatus of differential geometry supplies the formal language. McGucken Geometry brings the two together: a precise mathematical category — the moving-dimension manifold (M, F, V) — whose structural commitment is exactly the philosophical claim that one dimension is itself an active process. The connection between the philosophical tradition and the mathematical formalization is mediated by Minkowski’s 1908 formula x₄ = ict: the formula has been mathematically present since 1908, and its differentiation gives dx₄/dt = ic immediately. The willingness to take this differentiation as a structural commitment of the geometry — rather than dismissing it as a coordinate convention — is what was missing, and what McGucken Geometry supplies.

In plain language. Loop Quantum Gravity, causal set theory, the growing-block theory of time, Reichenbach’s philosophical analysis of temporal direction, Whitehead’s process philosophy — each of these has been a significant intellectual contribution. None of them asserts the active expansion of one of the four dimensions of spacetime as a geometric process at the velocity of light. The growing-block theory and process philosophy come closest in spirit, but they lack mathematical formalization. McGucken Geometry supplies the mathematical formalization of an idea that has been philosophically anticipated but not previously articulated as a precise geometric category.

7.4 Formal Distinction: Metric Dynamics versus Axis Dynamics

The comprehensive survey of §§2-7 establishes that no prior framework asserts the active expansion of one of the four dimensions of spacetime as a structural commitment of the geometry. The catalog of frameworks that do treat geometry as dynamical — general relativity since Einstein 1915 [40], inflationary cosmology since Guth 1981 [74] and Linde 1982 [75], gravitational-wave physics with the LIGO/Virgo direct detections of 2015 [76], and the FLRW cosmological framework with its dynamical scale factor a(t) [77, 78] — is substantial and uncontroversial. Mainstream physics has accepted, for over a century, that spacetime geometry is dynamical.

This subsection establishes a formal categorical distinction between the kind of dynamical geometry mainstream physics has accommodated and the kind of dynamical geometry McGucken Geometry articulates. The distinction is not merely terminological; it is a structural-mathematical fact about which features of the geometry vary and which are held fixed across the entire prior tradition. We make this precise through three definitions, four propositions, and four formal proofs.

7.4.1 Definitions: Three Categories of Dynamical Geometry

Definition 7.4.1 (Metric Dynamics). Let M be a smooth four-manifold with a fixed smooth atlas (so that the coordinate functions xμ: M → ℝ are fixed once and for all). A metric-dynamics framework on M is a specification of a one-parameter family of Lorentzian metrics {gμν(x; τ)} on M, parameterized by a parameter τ ∈ ℝ (typically a coordinate time function or an evolution parameter), satisfying an evolution equation E[g, ∂g/∂τ, ∂²g/∂τ², T] = 0 sourced by a stress-energy tensor T or analogous source. The dynamical content of the framework is encoded in the metric’s parameter dependence; the manifold M and its coordinate axes are held fixed.

Definition 7.4.2 (Scale-Factor Dynamics). A scale-factor-dynamics framework on M is a specification of a metric of the form g = -dt² + a(t)² h_ij dxⁱ dx⩵ (FLRW form), or its straightforward generalization, in which the dynamical content is encoded entirely in the time-dependence of a scale factor a(t) (or finite collection of such factors) satisfying a second-order ODE such as the Friedmann equations. The dynamical content is scalar-valued (the scale factor is a real-valued function of t); the underlying manifold M and its coordinate axes are held fixed.

Definition 7.4.3 (Axis Dynamics). 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 — not as a derived quantity from a metric, scale factor, or stress-energy tensor, but as a structural commitment of the geometry. Concretely, an axis-dynamics framework specifies a privileged coordinate function x₄: M → ℂ (or its real-coordinate equivalent x⁰) and a flow on M whose rate of advance along x₄ equals a fixed geometric constant (in the McGucken case, ic). The dynamical content is axial; it concerns the flow of one specific axis.

Remark on these definitions. The three definitions are not exhaustive of all possible dynamical-geometry frameworks — one can imagine connection-dynamics frameworks, topology-change frameworks, signature-change frameworks, and so on — but they suffice for the categorical distinction at issue. Definitions 7.4.1 and 7.4.2 cover all the dynamical-geometry phenomena prior frameworks have accommodated (general relativity, inflation, gravitational waves, FLRW cosmology). Definition 7.4.3 covers the McGucken framework. The propositions of §7.4.2 establish that Definition 7.4.3 is not a special case of Definitions 7.4.1 or 7.4.2.

7.4.2 Propositions: McGucken Axis Dynamics Is Not Reducible to Metric or Scale-Factor Dynamics

Proposition 7.4.1 (Irreducibility to Metric Dynamics). A McGucken-axis-dynamics framework on a smooth four-manifold M, satisfying the conditions (P1)-(P4) of §9.3 and the McGucken-Invariance condition (MC3) of §11.2, is not equivalent to any metric-dynamics framework on M in the sense of Definition 7.4.1.

Proof. Suppose, for contradiction, that a McGucken-axis-dynamics framework on M is equivalent to a metric-dynamics framework. Then there exists a one-parameter family of Lorentzian metrics {gμν(x; τ)} on M whose dynamical content reproduces the McGucken framework’s axis dynamics.

Step 1. The McGucken-Invariance condition (MC3) asserts that x₄’s rate of advance along the privileged flow V is independent of the metric: dx₄/dt = ic globally on M, with no dependence on g_μν. In jet-bundle terms, ∂²x₄/(∂t ∂g_μν) = 0 globally on M (§10.2). This is a structural commitment of the geometry.

Step 2. A metric-dynamics framework, by Definition 7.4.1, encodes its dynamical content entirely in the metric’s parameter dependence gμν(x; τ). Any geometric quantity Q[g] derived from this framework is a functional of the metric, so ∂Q/∂τ depends nontrivially on ∂g_μν/∂τ in general. The framework cannot, without additional structural assumptions, encode a quantity whose rate of advance is independent of the metric.

Step 3. The McGucken-Invariance condition therefore fails to be derivable from any metric-dynamics framework: in a metric-dynamics framework, the rate of any geometric process is a functional of the metric, so the metric-dynamics framework cannot reproduce the metric-independent rate dx₄/dt = ic. Equivalently, a metric-dynamics framework violates ∂²x₄/(∂t ∂g_μν) = 0; in such a framework, x₄’s evolution depends on the metric, contradicting (MC3).

Step 4. The supposed equivalence in Step 1 is therefore impossible. The McGucken framework is not reducible to any metric-dynamics framework on M. The McGucken-Invariance condition is the structural feature that distinguishes axis dynamics from metric dynamics. ■

Corollary 7.4.1.1. General relativity is a metric-dynamics framework (Definition 7.4.1: the metric g_μν evolves according to the Einstein field equations sourced by the stress-energy tensor T_μν). Therefore, by Proposition 7.4.1, McGucken Geometry is not reducible to general relativity. The McGucken-Invariance condition is structurally absent from general relativity: in general relativity, every geometric quantity (including any candidate ‘rate of x₄’s advance’) is a functional of the metric, hence cannot satisfy ∂²Q/(∂t ∂g_μν) = 0 in the strong sense the McGucken framework requires.

Proposition 7.4.2 (Irreducibility to Scale-Factor Dynamics). A McGucken-axis-dynamics framework on a smooth four-manifold M is not equivalent to any scale-factor-dynamics framework on M in the sense of Definition 7.4.2.

Proof. Suppose, for contradiction, that a McGucken-axis-dynamics framework is equivalent to a scale-factor-dynamics framework on M with metric g = -dt² + a(t)² h_ij dxⁱ dx⩵ and scale factor a(t) satisfying the Friedmann equations or analogous evolution.

Step 1. In a scale-factor-dynamics framework, the dynamical content is the time-dependence of the scalar function a(t). The rate ḋ = da/dt and the Hubble parameter H = ḋ/a vary in time according to the Friedmann equation: H² = (8πG/3)ρ – K/a² + Λ/3. The rate is therefore matter-dependent (via ρ) and time-dependent (varying with the universe’s evolution).

Step 2. The McGucken Principle dx₄/dt = ic asserts that x₄’s rate of advance is the constant ic, independent of matter content (the McGucken-Invariance Lemma) and independent of cosmological epoch (the rate is fixed at the velocity of light at every spacetime event). The rate is matter-independent and globally constant.

Step 3. A scale-factor-dynamics framework cannot reproduce a matter-independent globally constant rate: the Friedmann equations explicitly couple the scale factor’s rate to the matter content. To force a(t) to evolve at a constant rate independent of matter, one would have to impose ρ + 3p = 0 (a cosmological-constant equation of state) and tune Λ precisely; but even then, the Friedmann constraint H² = (8πG/3)Λ ties H to Λ, so Λ would have to be c² in suitable units, contradicting empirical bounds on Λ by some 120 orders of magnitude.

Step 4. Even setting aside the empirical bound, a scale-factor-dynamics framework operates on the spatial metric h_ij, not on a coordinate axis x₄. The dynamical content is the rate of change of spatial distances; it is not the active flow of a privileged temporal axis. The structural commitment of axis dynamics — that one specific coordinate axis is itself an active process — has no analog in scale-factor dynamics, where the ‘axis’ (cosmological time t) is treated as a fixed coordinate label and only the spatial scale factor evolves.

Step 5. The supposed equivalence in Step 1 is therefore impossible. McGucken Geometry is not reducible to any scale-factor-dynamics framework. ■

Corollary 7.4.2.1. FLRW cosmology and inflationary cosmology are scale-factor-dynamics frameworks (Definition 7.4.2: dynamical content encoded in a(t) governed by the Friedmann or modified-Friedmann equations). By Proposition 7.4.2, McGucken Geometry is not reducible to FLRW cosmology or to any inflationary scenario.

Proposition 7.4.3 (Irreducibility of Gravitational-Wave Dynamics). Gravitational-wave dynamics, as exemplified by the LIGO/Virgo direct detections [76], is a metric-dynamics framework (Definition 7.4.1) operating in the linearized regime g_μν = η_μν + h_μν with |h_μν| ≪ 1. By Proposition 7.4.1, McGucken Geometry is not reducible to gravitational-wave dynamics.

Proof. By direct application of Proposition 7.4.1: gravitational-wave physics is a special case of general relativity in the linearized regime, hence a metric-dynamics framework, and the irreducibility result of Proposition 7.4.1 applies. The structural difference is that gravitational waves are oscillations of the metric perturbation h_μν about a flat background; the dynamics is wave-amplitude dynamics, not axis dynamics. The amplitude of a passing gravitational wave depends on its source (the colliding black holes), its propagation distance (luminosity distance), its polarization mode (plus or cross), and the local metric. None of these features can produce a metric-independent globally constant rate of axis advance. ■

Proposition 7.4.4 (Categorical Difference of Axis Dynamics). The category of axis-dynamics frameworks (Definition 7.4.3) on a smooth four-manifold M is not equivalent to the category of metric-dynamics frameworks (Definition 7.4.1) nor to the category of scale-factor-dynamics frameworks (Definition 7.4.2) on M, in the formal sense that there is no functor implementing such an equivalence.

Proof. By Propositions 7.4.1 and 7.4.2, no individual McGucken-axis-dynamics framework is reducible to a metric-dynamics or scale-factor-dynamics framework on M. The natural notion of equivalence between categories of dynamical-geometry frameworks would be a functor F sending each axis-dynamics framework to an equivalent metric-dynamics or scale-factor-dynamics framework, with F preserving the structural commitments of axis dynamics — in particular, the McGucken-Invariance condition (MC3) and the structural commitment to active flow of one axis (MC2).

Step 1. Suppose F is such a functor. Apply F to a McGucken-axis-dynamics framework on M; the result F(McGucken) is a metric-dynamics or scale-factor-dynamics framework on M, by hypothesis. By Proposition 7.4.1, the metric-dynamics framework F(McGucken) cannot encode the metric-independent rate dx₄/dt = ic; by Proposition 7.4.2, the scale-factor-dynamics framework F(McGucken) cannot encode the matter-independent constant rate. In either case, F(McGucken) does not preserve the structural commitments of axis dynamics.

Step 2. Therefore F is not a functor preserving the structural commitments of axis dynamics. No functor implementing the supposed equivalence exists. ■

Corollary 7.4.4.1 (Categorical Novelty). The category of moving-dimension geometries — introduced in §13.3 as the category of axis-dynamics frameworks — is a genuinely new geometric category in the formal sense. It is not equivalent to any category of dynamical-geometry frameworks accommodated by mainstream physics from 1915 to 2026. The categorical novelty is therefore mathematical and structural, not merely terminological or interpretational.

7.4.3 Structural Recap: What the Four Propositions Establish

The four propositions of this subsection establish, with formal proofs, that McGucken axis dynamics is mathematically distinct from every category of dynamical geometry mainstream physics has accommodated. The structural-mathematical content of this distinction can be summarized in three observations.

Observation 1: Different objects evolve. In metric dynamics (general relativity, gravitational waves), the evolving object is the metric tensor g_μν, with the manifold and its axes held fixed. In scale-factor dynamics (FLRW cosmology, inflation), the evolving object is the scalar function a(t), with the spatial three-geometry h_ij held fixed up to overall scaling. In axis dynamics (McGucken Geometry), the evolving object is the coordinate axis x₄ itself, with the three-spatial axes x₁, x₂, x₃ held in their structural roles as the spatial geometry on which fields propagate. The three frameworks therefore evolve different objects, and the kinds of geometric fact each can express are correspondingly different.

Observation 2: Different rate structures. In metric dynamics, the rate of evolution is determined by the field equations sourced by stress-energy. In scale-factor dynamics, the rate is determined by the Friedmann equations sourced by matter content. In axis dynamics, the rate is fixed at the structural geometric constant ic by the structural commitment of the framework, with the McGucken-Invariance condition asserting metric-independence. The three frameworks have categorically different rate structures: source-dependent in the first two, structurally-fixed in the third.

Observation 3: Different categorical content. The category of metric-dynamics frameworks on M and the category of scale-factor-dynamics frameworks on M are well-developed mathematical categories with established morphisms (diffeomorphism equivalence, conformal equivalence, etc.). The category of axis-dynamics frameworks on M is, by Proposition 7.4.4, neither of these and not equivalent to any of these. It is a separate categorical structure, with its own appropriate notions of morphism (flow-preserving diffeomorphisms, §13.3) and its own classification problem.

The conclusion of §7.4 is therefore stronger than the conclusion of §§2-7.3 alone. The earlier sections established that no prior framework asserts the active expansion of one of the four dimensions of spacetime. The present section establishes the structural-mathematical reason why no prior framework does so: the kind of dynamical-geometry content that the McGucken assertion expresses lives in a categorically different mathematical structure from the dynamical-geometry frameworks mainstream physics has accommodated. Geometry could bend, curve, warp, expand, and oscillate as metric or scale-factor dynamics; it could not, in any prior framework, advance as an axis without violating the categorical structure of those frameworks. The McGucken framework supplies the missing categorical structure.

In plain language. General relativity, inflation, and gravitational waves all let geometry move — but they let the metric move while the manifold and its axes stay fixed. McGucken Geometry lets the axis itself move while the metric stays subject to its usual rules. These are categorically different mathematical objects. Four formal propositions in this section prove the difference: McGucken axis dynamics cannot be reduced to metric dynamics (Proposition 7.4.1), cannot be reduced to scale-factor dynamics (Proposition 7.4.2), is therefore not gravitational-wave dynamics in any limit (Proposition 7.4.3), and as a category cannot be made equivalent to either of those by any structure-preserving functor (Proposition 7.4.4). The mainstream tradition of dynamical geometry is rich and well-developed; what it does not contain is a formalism for dynamical-axis content. McGucken Geometry supplies what was missing.

8. The Transition from Survey to Formalization

The comprehensive survey of §§2-7 establishes that no prior framework asserts the active expansion of one of the four dimensions of spacetime as a structural commitment of the geometry. The mathematical apparatus — foliations, vector fields, jet bundles, Cartan connections, principal bundles, ADM decompositions, distinguished translation generators, and the rest — is all in the prior literature. The geometric assertion that one axis is itself an active process at the velocity of light is in none of it.

The remainder of this paper develops McGucken Geometry as a precise mathematical category that formalizes this assertion using the standard apparatus surveyed in §§2-7. The formalization rests entirely on prior art for its mathematical machinery; the novelty resides in the structural commitment, formalized as a defining condition on the geometry, that one specific element of the apparatus — a particular vector field, equivalently a particular Cartan-connection translation generator — is an active geometric process advancing at the velocity of light. We give the formalization in three equivalent presentations: the moving-dimension manifold (M, F, V) of §9; the second-order jet-bundle formalization of §10; the Cartan-geometry formalization of §11. The equivalence theorem of §12 establishes the three formulations as mathematically equivalent.

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

9.1 Layer 1: The Pre-Foliated Lorentzian Four-Manifold

Definition 9.1 (Pre-Foliated Lorentzian Four-Manifold). A pre-foliated Lorentzian four-manifold is a triple (M, g, F) where M is a smooth four-dimensional manifold; g is a smooth Lorentzian metric of signature (-, +, +, +); and F is a codimension-one foliation of M whose leaves {Σ_t} are smooth three-dimensional spacelike submanifolds parameterized by t ∈ ℝ, satisfying:

(F1) Each leaf Σ_t is spacelike: g restricted to Σ_t is positive-definite Riemannian.

(F2) The foliation is global: every point p ∈ M lies on exactly one leaf Σ_t for some t ∈ ℝ.

(F3) The parameter t is monotonic along future-directed timelike worldlines.

This is standard differential geometry. The triple (M, g, F) is a globally hyperbolic Lorentzian manifold with a Cauchy foliation [12, 15], the standard setting for the ADM 3+1 decomposition. The Layer 1 structure is taken directly from prior art and acknowledges its full debt to Riemann (1854), Levi-Civita (1917), Reeb (1952), and Arnowitt-Deser-Misner (1962).

9.2 Layer 2: The Privileged Timelike Vector Field V

Definition 9.2 (Privileged Timelike Vector Field). Add to (M, g, F) a smooth timelike vector field V on M satisfying:

(V1) V is everywhere orthogonal to the leaves of F: g(V, X) = 0 for every X tangent to a leaf Σ_t.

(V2) V has constant squared-norm g(V, V) = -c².

(V3) V is future-directed: along the leaf parameterization t, V points from Σ_t to Σ_(t+ε) for ε > 0.

This is the standard Eulerian observer of the ADM 3+1 decomposition [12], with the magnitude condition g(V, V) = -c² that is also the standard four-velocity magnitude condition [13]. The Layer 2 structure is taken directly from prior art. ADM has supplied this object since 1962. The four-velocity formalism has supplied the magnitude condition since the foundational papers of relativity. The novelty so far is only one of explicit identification: we will single V out as physically meaningful.

9.3 Layer 3: The Active Flow and Privileged-Element Structure

Layer 3 is where McGucken Geometry departs from prior art. We supply four conditions on V’s flow that are structurally novel commitments — not derivable from the prior layers but added on top of the standard mathematical apparatus.

(P1) Privilege of V. Among all possible timelike vector fields satisfying (V1)-(V3), the field V is physically privileged. Its integral curves correspond to the worldlines of observers at absolute spatial rest — those whose four-velocity points purely along x₄ with no spatial component. This breaks the diffeomorphism gauge invariance of standard general relativity to those diffeomorphisms preserving V’s integral curves.

(P2) Active flow at rate ic. The flow φ_s of V advances at rate ic in the time parameter t: along an integral curve of V parameterized by proper time τ, dt/dτ = 1 and dx₄/dτ = ic. The flow is an active geometric process: x₄ advances at rate ic regardless of any observer’s state of motion. This is the structural commitment that makes V’s flow an active process rather than a static privileged direction.

(P3) The McGucken Sphere as the wavefront of V’s flow. From any event O ∈ M, the McGucken Sphere of radius R = c(t – t_O) at coordinate time t is the spatial cross-section of the forward image of O under V’s flow plus null-cone propagation. Specifically, the McGucken Sphere is the set of points p ∈ Σ_t reachable from O by a null geodesic. V’s flow advances the wavefront’s center along x₄; null geodesics carry signals to the McGucken Sphere’s surface at rate c.

(P4) The CMB rest frame is V. The empirically observed cosmic microwave background rest frame, in which the CMB temperature is isotropic to one part in 10⁵ [69, 70], is identified with V’s flow. Observers at rest in the CMB frame have four-velocity along V; their proper-time advance equals their x₄-advance at rate ic. This identifies the empirical privileged frame of cosmology with the formal Lie-algebraic structure of the Cartan geometry.

The four conditions (P1) through (P4) are the structurally novel content of McGucken Geometry. The mathematical structure of Layer 3 (a flow on a manifold with associated wavefront) uses standard differential-geometric apparatus, all of which exists in prior art. The structural commitment — that V’s flow corresponds to a real geometric process at the velocity of light, with the McGucken Sphere as its wavefront and the CMB rest frame as its empirical realization — is the geometric assertion that distinguishes McGucken Geometry from all prior frameworks. The survey of §§2-7 establishes that no prior framework makes this assertion.

9.4 The Moving-Dimension Manifold

Definition 9.3 (Moving-Dimension Manifold; McGucken Manifold). A moving-dimension manifold (or McGucken manifold) is a triple (M, F, V) where: M is a smooth four-dimensional manifold equipped with a Lorentzian metric g of signature (-, +, +, +); F is a codimension-one timelike foliation of M satisfying (F1)-(F3); V is a smooth timelike vector field on M satisfying (V1)-(V3) and the privileged-element conditions (P1)-(P4).

This is the central mathematical object of McGucken Geometry. The first two components are standard prior art. The third (V with its privileged-element structure (P1)-(P4)) is the structurally novel commitment that distinguishes McGucken Geometry from all frameworks surveyed in §§2-7. The notation (M, F, V) emphasizes the three-layer structure: M is the underlying smooth manifold, F is the foliation that decomposes M into spatial slices, and V is the privileged active translation generator whose flow is x₄’s expansion at rate ic.

10. The Jet-Bundle Formalization

The first equivalent presentation of McGucken Geometry is as a flat section of the second-order jet bundle of the underlying four-manifold, with constraints encoding x₄’s rate and the McGucken-Invariance condition. This presentation uses the standard jet-bundle apparatus of Ehresmann (1951) [7], Spencer (1969) [46], and Saunders (1989) [8].

10.1 The First-Order Constraint ∂x₄/∂t = ic

Consider M as a four-dimensional manifold with coordinate functions (x₁, x₂, x₃, x₄) viewed as sections of the trivial bundle M × ℝ⁴ → M (with appropriate complex extension to accommodate the imaginary character of x₄). The first-order jet bundle J¹(M × ℝ⁴) has, at each point p ∈ M, the space of first-order Taylor expansions of coordinate functions — the partial derivatives ∂x_μ/∂x_ν. The McGucken Principle is the first-order constraint:

∂x₄/∂t = ic

This selects a one-dimensional submanifold of J¹(M × ℝ⁴) at each point p ∈ M, parameterized by the values of all other partial derivatives. The submanifold is flat in the sense that the constraint is the same at every point: ic is a constant, independent of p. The McGucken Principle therefore corresponds to a flat section of J¹(M × ℝ⁴).

10.2 The Second-Order Constraint: McGucken-Invariance

The McGucken-Invariance Lemma [31, Lemma 2] asserts that x₄’s rate is gravitationally invariant: x₄ advances at ic regardless of the gravitational field, with only the spatial slices x₁x₂x₃ curving and bending under mass-energy. Formally, this is a second-order condition on the second-order jet bundle J²(M × ℝ⁴):

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

for all metric components g_μν. Combining the first- and second-order constraints, the McGucken Principle corresponds to a flat section of J²(M × ℝ⁴) with the constraints ∂x₄/∂t = ic and ∂²x₄/(∂t ∂g_μν) = 0 globally on M.

11. The Cartan-Geometry Formalization: McGucken Cartan Geometry

11.1 Cartan Geometry of Klein Type (ISO(1,3), SO⁺(1,3))

Definition 11.1 (Cartan Geometry). A Cartan geometry of Klein type (G, H) on a manifold M is a principal H-bundle P → M equipped with a g-valued one-form ω on P (the Cartan connection) satisfying [4, Definition 5.3.1]:

(C1) For each p ∈ P, the linear map ω_p: T_p P → g is an isomorphism.

(C2) ω is H-equivariant: ω(R_h^* X) = Ad(h⁻¹) ω(X) for h ∈ H, X ∈ T_p P.

(C3) ω reproduces the canonical right-invariant one-form on H-fibers.

This is standard prior art. Cartan’s 1923-1925 papers [3] and Sharpe’s 1997 textbook [4] supply the apparatus. The Cartan curvature Ω = dω + ½[ω, ω] measures the deviation of the Cartan geometry from the flat model G/H.

For McGucken Geometry, the Klein type is (G, H) = (ISO(1,3), SO⁺(1,3)) where ISO(1,3) is the Poincaré group and SO⁺(1,3) is the proper orthochronous Lorentz subgroup. The Lie algebra g = iso(1,3) decomposes as g = h ⊕ m where h = so(1,3) is the Lorentz subalgebra and m ≅ ℝ⁴ is the space of translation generators with basis {P₁, P₂, P₃, P₄} in the McGucken numbering.

11.2 The McGucken Cartan Geometry: Distinguished Active Translation Generator

Definition 11.2 (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)) equipped with a distinguished element P₄ ∈ m ⊆ g satisfying:

(MC1) P₄ is a future-directed timelike translation generator with squared-norm -c² in the Killing form on g.

(MC2) The vector field V on M dual to the Cartan connection’s P₄-component generates an active flow at rate ic: along an integral curve of V parameterized by proper time τ, dt/dτ = 1 and dx₄/dτ = ic. This is the structural commitment to active flow.

(MC3) The McGucken-Invariance condition: the Cartan curvature Ω vanishes when restricted to the P₄-component, Ω₄ = 0 globally on M. P₄’s flow is gravitationally invariant: only the spatial-translation generators P₁, P₂, P₃ acquire curvature; P₄ remains uncurved.

The conditions (MC1)-(MC3) define a McGucken Cartan geometry. The first condition (MC1) is standard normalization. The second condition (MC2) is the structural commitment to active flow — this is the novel content of McGucken Geometry, asserting that the Cartan-connection component of P₄ corresponds to a real geometric process advancing at the velocity of light. The third condition (MC3) is the McGucken-Invariance condition, structurally novel as a constraint specifically on the temporal generator with the spatial generators free to acquire curvature. Together, the three conditions define a category of geometric objects that, as established by the comprehensive survey of §§2-7, has no precedent in the prior literature.

11.3 The Group-Theoretic Content

The McGucken Cartan geometry breaks the isotropy of the translation subspace m ≅ ℝ⁴. In the standard Cartan geometry of Klein type (ISO(1,3), SO⁺(1,3)), all four translation generators are formally equivalent under the action of the Lorentz subgroup. The McGucken Principle’s commitment to a distinguished P₄ with active-flow structure breaks this isotropy: P₄ is singled out as the active-flow generator, while P₁, P₂, P₃ are not. This is structurally analogous to spontaneous Lorentz symmetry breaking [19, 20] but with the privileged element being part of the geometry rather than a vacuum expectation value, and being an active flow rather than a static direction. The categorical novelty is in the combination — geometric privilege plus active flow — not in either feature taken separately.

12. The Equivalence Theorem

Theorem 12.1 (Equivalence Theorem; conjectural). Let M be a smooth four-manifold equipped with a Lorentzian metric g of signature (-, +, +, +). The following three structures on M are mathematically equivalent:

(i) A moving-dimension manifold structure (M, F, V) of Definition 9.3, with V satisfying the privileged-element conditions (P1)-(P4).

(ii) A flat section of the second-order jet bundle J²(M × ℝ⁴) satisfying the constraints ∂x₄/∂t = ic and ∂²x₄/(∂t ∂g_μν) = 0 globally.

(iii) A McGucken Cartan geometry of Klein type (ISO(1,3), SO⁺(1,3)) with distinguished translation generator P₄ satisfying (MC1)-(MC3).

The three formulations of McGucken Geometry are conjecturally mathematically equivalent: the moving-dimension manifold (M, F, V), the jet-bundle formalization, and the Cartan-geometry formalization express the same underlying geometric content in three different mathematical languages. The full proof of equivalence remains an open problem; we conjecture the equivalence holds and indicate below the structural reasons supporting the conjecture, leaving the rigorous proof for subsequent work. The equivalence reflects the structural fact that McGucken Geometry has both a differential-geometric content (PDE-style, captured by jet bundles) and a group-theoretic content (Lie-algebraic, captured by Cartan geometry), with the moving-dimension manifold (M, F, V) supplying the unified picture.

12.1 Structural Outline of the Conjectured Proof

The conjectured equivalence follows three structural steps. Step 1 ((i) ⇒ (ii)): A moving-dimension manifold (M, F, V) is shown to determine a flat section of J²(M × ℝ⁴) by extracting the partial derivatives of the coordinate functions implied by V’s flow. The constraint ∂x₄/∂t = ic follows from (P2); the constraint ∂²x₄/(∂t ∂g_μν) = 0 follows from the McGucken-Invariance Lemma applied to V’s flow. Step 2 ((ii) ⇒ (iii)): A flat section of J²(M × ℝ⁴) with the McGucken constraints is shown to determine a McGucken Cartan geometry by reading off the Cartan-connection components from the partial derivatives. The active-flow condition (MC2) follows from the first-order constraint ∂x₄/∂t = ic; the McGucken-Invariance condition (MC3) follows from the second-order constraint ∂²x₄/(∂t ∂g_μν) = 0. Step 3 ((iii) ⇒ (i)): A McGucken Cartan geometry is shown to determine a moving-dimension manifold (M, F, V) by extracting V as the dual vector field to the Cartan connection’s P₄-component, and F as the foliation orthogonal to V.

Each step uses standard results in the relevant prior-art literature: the dictionary between PDE constraints on jets and Lie-algebra-valued connections is well-developed in the geometric theory of PDEs [8, 46, 71]; the dictionary between Cartan connections and ADM-style decompositions is implicit in standard treatments of the first-order formulation of gravity [4, 45]; the dictionary between vector fields and Cartan-connection components is the standard solder-form correspondence [4]. Putting these dictionaries together, the structural equivalence of (i), (ii), and (iii) follows. We leave the precise verification — including the careful treatment of regularity conditions, global topological obstructions to the existence of the various structures, and the cohomological data measuring obstructions — to subsequent work.

13. What Is Novel and What Is Not: A Careful Inventory

Having presented the formal mathematical content of McGucken Geometry in §§9-12, and having established the comprehensive prior-art context in §§2-7, we now identify with full precision what in McGucken Geometry is novel and what is taken from prior art. We do this in two parts: a list of mathematical apparatus taken directly from prior art with full attribution; and a list of structural commitments that constitute the novelty of McGucken Geometry as a new geometric category.

13.1 Mathematical Apparatus Taken From Prior Art

The following mathematical apparatus, used throughout the formal definitions of §§9-12, is taken directly from the prior literature surveyed in §§2-7. Each is given full credit.

Smooth four-manifolds with Lorentzian metrics. Riemann (1854) [1], Levi-Civita (1917) [2], Minkowski (1908) [41]. Standard differential geometry of Lorentzian manifolds.

Codimension-one timelike foliations. Reeb (1952) [10], with the modern theory of foliations developed in subsequent decades. The leaves Σ_t of Layer 1 of the moving-dimension manifold are precisely a Reeb-style foliation.

Privileged future-directed unit timelike vector fields. Arnowitt-Deser-Misner (1962) [12]. The vector field V of Layer 2 is precisely the ADM Eulerian observer nμ, with the same magnitude condition g(V, V) = -c² and the same orthogonality to the foliation.

The four-velocity magnitude condition. Standard relativistic mechanics [13]. The condition g(V, V) = -c² is the ordinary four-velocity magnitude condition applied to the privileged Eulerian observer.

Cosmic time functions. Hawking (1968) [14], Andersson-Galloway-Howard (1998) [25]. The parameter t of the foliation F is precisely a cosmic time function on the globally hyperbolic spacetime M.

Cartan geometries of Klein type (G, H). Cartan (1923-1925) [3], Sharpe (1997) [4], Klein (1872) [5]. The Cartan-geometry formalization of §11 uses the standard apparatus of principal H-bundles with Cartan connections.

Translation generators in the Poincaré algebra. Klein (1872) [5], Cartan (1923-1925) [3]. The basis {P₁, P₂, P₃, P₄} of m ≅ ℝ⁴ is the standard translation-generator basis of the Poincaré Lie algebra.

Jet bundles and PDE constraints as jet-subvarieties. Ehresmann (1951) [7], Spencer (1969) [46], Saunders (1989) [8]. The jet-bundle formalization of §10 uses the standard apparatus of jet bundles and flat sections.

G-structures and reductions of structure groups. Standard differential geometry [9]. The privileged-direction structure of McGucken Geometry can be characterized as a reduction of the Poincaré structure group ISO(1,3) to a subgroup respecting the distinguished P₄.

Maurer-Cartan forms. Maurer-Cartan (1880s, 1900s) [6]. The Cartan connection ω on the principal H-bundle P is constructed using the standard Maurer-Cartan apparatus.

Globally hyperbolic Lorentzian manifolds. Wald (1984) [15], Beem-Ehrlich-Easley (1996) [72]. The setting in which McGucken Geometry is formulated is the standard setting of globally hyperbolic Lorentzian manifolds.

In summary, every individual piece of mathematical apparatus used in the formal definition of McGucken Geometry exists in prior art and is given full credit above. The mathematical machinery is not new. This is not a deficiency of McGucken Geometry; it is, rather, what makes the framework rigorously specified and connected to two centuries of differential-geometric research. The framework rests on the deepest possible mathematical foundation.

13.2 Structural Commitments That Constitute the Novelty

The novelty of McGucken Geometry consists in the following structural commitments, which are not present in any prior framework surveyed in §§2-7.

Novelty 1: One specific axis of the four-manifold is asserted to be an active geometric process. The condition (P2) and its Cartan-geometric counterpart (MC2) commit to V’s flow being a real geometric process at rate ic. This is the deepest structural commitment of McGucken Geometry. The mathematical apparatus surveyed in §§2-7 supplies all the tools needed to formalize this assertion (foliations, vector fields, jet bundles, Cartan connections), but no prior framework makes the assertion. Riemannian and Lorentzian manifolds are static; foliations are static decompositions; vector field flows in standard differential geometry move points on a manifold but do not assert that an axis itself is moving; ADM treats the Eulerian observer as gauge; Einstein-aether treats the privileged direction as a static matter field; Hořava-Lifshitz uses a foliation for renormalization without committing to an active-flow interpretation; CDT uses a foliation as a regularization device explicitly characterized as gauge; Shape Dynamics reformulates GR with conformal three-geometry without committing to active flow.

Novelty 2: The active expansion is at the velocity of light. The specific value ic for the rate of x₄’s expansion is not arbitrary. It is the value forced by Minkowski’s 1908 formula x₄ = ict differentiated. The fact that the rate of expansion equals the velocity of light — the same velocity that appears in the four-velocity magnitude condition g(V, V) = -c² and in the wave equation, the Schrödinger equation, the Schwarzschild metric, and every other equation of relativistic and quantum physics — is the structural connection between the McGucken assertion and the substantial content of physics. The McGucken corpus [31, 32, 33] establishes that with this specific value for the rate, the substantial postulate sets of general relativity, quantum mechanics, and thermodynamics descend together as theorems.

Novelty 3: The expansion is spherically symmetric from every event. The wavefront of V’s flow from any event O is a McGucken Sphere of radius c(t – t_O) at time t. The spherical symmetry is a structural feature of the geometric process: x₄ expands isotropically from every event, with no preferred spatial direction. This is the structural origin of Huygens’ Principle, of the wave equation as a theorem of McGucken Geometry [38], and of the spatial isotropy that underlies the probability measure on phase space [33]. The spherical symmetry is part of the McGucken assertion (P3) and is not present in any prior framework as a feature of an active geometric process — though spherical wavefronts are of course present in standard wave-mechanics treatments [73] as solutions of the wave equation rather than as the geometric source of the wave equation.

Novelty 4: The expansion is gravitationally invariant. The McGucken-Invariance condition (MC3) and its jet-bundle counterpart ∂²x₄/(∂t ∂g_μν) = 0 commit to x₄’s rate being unaffected by the gravitational field. Spatial directions can curve under mass-energy; x₄ cannot. This is structurally novel: in standard general relativity, all four spacetime directions are equally subject to curvature, with the metric tensor describing the curvature of all four. The McGucken-Invariance condition selects out the temporal direction P₄ as the unique direction in which the Cartan curvature must vanish. This selection is structurally analogous to a constraint in a fiber bundle but applied specifically to one of the four translation generators.

Novelty 5: The privilege is geometric, not field-theoretic. The vector field V is part of the geometric structure of the manifold (a Cartan-connection component, equivalently a section of the tangent bundle compatible with the privileged-element structure), not a matter field added on top. This is the structural difference from Einstein-aether theory [16] and the SME framework [19, 20]: the privilege in McGucken Geometry is part of the geometry, not a feature of a vacuum state. This is also the structural difference from the cosmological-time-function literature [14, 25]: a cosmic time function is a smooth real-valued function on the manifold, not a geometric process; McGucken Geometry asserts that the function’s parameter t corresponds to an active geometric flow.

Novelty 6: Empirical identification with the CMB rest frame. The condition (P4) identifies V with the empirically observed CMB rest frame. This is structurally important because it grounds the abstract Cartan-geometric structure in an empirical privileged frame: the privileged element is not just a formal mathematical singling-out, but is identified with the observed cosmological frame in which the cosmic microwave background is isotropic. This identification connects McGucken Geometry to observational cosmology [69, 70] and supplies the empirical content of the privileged-element structure.

13.3 The Categorical Novelty: Moving-Dimension Geometry as a New Geometric Category

The structural commitments of §13.2 together define a new geometric category, which we call moving-dimension geometry — the geometry of manifolds with active translation generators. Examples of this category include Cartan geometries of Klein type (ISO(1,3), SO⁺(1,3)) with distinguished active P₄-generator satisfying (MC1)-(MC3); equivalent jet-bundle formalizations; and equivalent moving-dimension manifold structures. The category is non-empty (the moving-dimension structure on Minkowski space supplies the trivial example), and is closed under appropriate notions of morphism (flow-preserving diffeomorphisms).

Whether the category of moving-dimension geometries is mathematically deep enough to be worth studying as a geometric category in its own right is, in our judgment, an open question that depends on the theorems that hold in this category and the obstructions that arise. The present paper supplies the categorical definition; the systematic mathematical exploration of the category is a research direction for future work. What is established here is the existence of a defining condition that picks out a subclass of geometric objects not previously identified as a coherent category in the prior literature surveyed in §§2-7.

In plain language. The novelty of McGucken Geometry is six structural commitments, none of which is in any prior framework: (1) one axis is an active geometric process; (2) the rate is the velocity of light; (3) the expansion is spherically symmetric; (4) the expansion is gravitationally invariant; (5) the privilege is geometric not field-theoretic; (6) the privileged frame is empirically the CMB rest frame. Together these commitments define a new geometric category — moving-dimension geometry — that uses the standard mathematical apparatus of differential geometry as its building blocks but combines those building blocks into a new kind of geometric object.

14. The Structural Argument for the Necessity of the Categorical Novelty

Why is the categorical novelty of moving-dimension geometry necessary — that is, why does the McGucken corpus require a genuinely new geometric category, rather than being expressible within an existing one? The answer is found by considering the empirical content of the McGucken corpus and asking what mathematical structure it requires.

14.1 The Empirical Content of the McGucken Corpus

The McGucken corpus [31, 32, 33, 34, 35, 36, 37, 38, 39] establishes that the following empirical content of physics descends as theorems from the single geometric principle dx₄/dt = ic: (a) the wave equation as a theorem of x₄’s spherically symmetric expansion via Huygens’ Principle; (b) the de Broglie relation p = h/λ; (c) the Schrödinger equation; (d) the Dirac equation; (e) the canonical commutation relation [q̂, p̂] = iℏ; (f) the Born rule; (g) the Feynman path integral; (h) the Einstein field equations; (i) the Schwarzschild metric and gravitational time-dilation factor; (j) the Equivalence Principle; (k) the probability measure on phase space as Haar measure on ISO(3); (l) ergodicity as a Huygens-wavefront identity; (m) the Second Law dS/dt > 0 strict; (n) Newton’s laws and the Principle of Least Action; (o) the values of c and ℏ.

The empirical content is substantial. The structural question is: what geometric category supports such derivations? The answer, established by examining the proofs of each derivation in turn [31, 32, 33], is that the derivations require not just the mathematical apparatus of standard differential geometry but the structural commitment that V’s flow is a real geometric process at rate ic. Without this commitment, the derivations evaporate: the wave equation cannot be derived from the spherically symmetric expansion of x₄ if x₄ is not actually expanding spherically; the canonical commutation relation cannot be derived from the geometry of x₄-phase if x₄ is not actually a phase variable that advances; the Born rule cannot be derived from x₄-projection if x₄ is not actually a direction in which projections are made.

14.2 The Counterfactual Evaporation Test

The structural argument can be stated as a counterfactual evaporation test. Strip the moving-dimension content from McGucken Geometry — treat V as a static privileged direction in the Einstein-aether sense, or as a foliation parameter in the Hořava-Lifshitz sense, or as a coordinate label in the standard Minkowski sense — and ask what remains of the McGucken corpus’s derivations.

The answer is that everything evaporates. Without the active-flow content, the wavefront of x₄’s expansion cannot exist; without the wavefront, the McGucken Sphere cannot exist; without the McGucken Sphere, Huygens’ Principle cannot be a theorem of x₄-expansion; without Huygens’ Principle as a theorem, the wave equation cannot be derived from the geometry; without the wave equation derived from the geometry, the entire derivational chain of the McGucken trilogy collapses. The structural commitment to V’s active flow is the load-bearing content from which the derivational power of the framework descends. It is not a decorative ontological commitment layered over an existing category; it is the foundational content that makes the category genuinely new.

The structural argument therefore establishes the necessity of the categorical novelty. McGucken Geometry must be a new geometric category — moving-dimension geometry — because no existing category supports the derivations of the McGucken corpus. The mathematical apparatus is borrowed from prior art, but the structural commitments that define the category are not, and the derivational content of the corpus depends essentially on those commitments. The categorical novelty is not optional, philosophical decoration; it is the structural foundation of the framework.

In plain language. Could the work of the McGucken corpus — the derivations of the wave equation, the Schrödinger equation, the Einstein field equations, and so on — be done within an existing framework? Could it be done in Einstein-aether theory, in Hořava-Lifshitz gravity, in Causal Dynamical Triangulations, in any of the prior frameworks surveyed? The answer is no. The derivations require x₄ to be actually expanding, not just to be a privileged frame or a foliation parameter. They require the active-flow commitment. So the categorical novelty — the new geometric category of moving-dimension geometry — is what supports the derivational power of the framework. The novelty is not optional. It is what makes the corpus possible.

15. The McGucken-Invariance Lemma and Compatibility with General Relativity

Lemma 15.1 (McGucken-Invariance Lemma). Let (M, F, V) be a moving-dimension manifold. Then x₄’s rate of expansion is gravitationally invariant: x₄ advances at rate ic regardless of the gravitational field, with only the spatial slices x₁x₂x₃ curving and bending under mass-energy. Equivalently, in the Cartan-geometry formalization of §11, the Cartan curvature Ω vanishes when restricted to the P₄-component, Ω₄ = 0 globally on M. Equivalently, in the jet-bundle formalization of §10, ∂²x₄/(∂t ∂g_μν) = 0 globally on M.

The McGucken-Invariance Lemma is the canonical doctrine of the framework, established as Lemma 2 of the gravity chain paper [31]: x₄ is invariant; the spatial three-slices bend. This is what allows McGucken Geometry to be compatible with general relativity. Standard general-relativistic predictions — gravitational time dilation, gravitational redshift, light bending, perihelion precession, gravitational-wave emission — are all features of the curved spatial-slice geometry. McGucken Geometry reproduces them exactly, with the structural difference that they are interpreted as features of the curved spatial geometry rather than of curved x₄-advance. The empirical content is unchanged; only the interpretation shifts.

The framework also makes distinguishing predictions that go beyond general relativity: the McGucken-Bell experiment [37], the Compton-coupling diffusion [33], and the no-graviton prediction [31]. These are testable departures from standard relativistic and quantum-field-theoretic physics, attributable to the moving-dimension content of McGucken Geometry that no prior framework supplies.

The compatibility with general relativity is therefore that general-relativistic dynamics holds within the privileged foliation, but the foliation itself is not gauge. The Einstein field equations describe the curvature of the spatial slices and the propagation of fields on them; the McGucken-Invariance Lemma supplies the additional structural fact that the foliation, and hence x₄’s expansion, is unaffected by the curvature. General relativity’s predictions hold; its diffeomorphism invariance is restricted to those diffeomorphisms preserving the McGucken foliation. The compatibility is exact; the empirical content of general relativity is fully reproduced; the structural content is enriched by the addition of the moving-dimension layer.

16. Source-Paper Apparatus and Provenance

The formalization of McGucken Geometry developed in this paper rests on the substantial corpus of antecedent McGucken papers and on the extensive prior art of differential geometry surveyed in §§2-7. To make the dependencies explicit, this section catalogs the source-paper apparatus in three subsections: (16.1) the McGucken-corpus papers drawn upon for specific structural results; (16.2) the standard mathematical machinery invoked from differential geometry, jet-bundle theory, and Cartan-geometry theory; (16.3) the historical and physical references used in placing McGucken Geometry against prior frameworks.

16.1 McGucken-Corpus Papers Drawn Upon

The present paper draws explicitly on the following McGucken-corpus papers. Each is cited at the points of dependency.

[31] MG-GRChain. The first paper of the three-paper trilogy on foundational physics — 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. Establishes the McGucken-Invariance Lemma as Lemma 2 of [31], invoked in §15. URL: https://elliotmcguckenphysics.com/2026/04/25/a-unique-simple-and-complete-derivation-of-general-relativity-as-a-chain-of-theorems-of-the-mcgucken-principle-of-a-fourth-expanding-dimension-dx%e2%82%84-dt-ic/

[32] MG-QMChain. The second paper of the trilogy — A Unique, Simple, and Complete Derivation of Quantum Mechanics as a Chain of Theorems of the McGucken Principle of a Fourth Expanding Dimension dx₄/dt = ic. URL: https://elliotmcguckenphysics.com/2026/04/25/a-unique-simple-and-complete-derivation-of-quantum-mechanics-as-a-chain-of-theorems-of-the-mcgucken-principle-of-a-fourth-expanding-dimension-dx%e2%82%84-dt-ic-a-formal-derivation-from-first-geome/

[33] MG-ThermoChain. The third paper of the trilogy — A Unique, Simple, and Complete Derivation of Thermodynamics as a Chain of Theorems of the McGucken Principle of a Fourth Expanding Dimension dx₄/dt = ic: Closing Einstein’s Three Gaps in the Boltzmann-Gibbs Programme. URL: https://elliotmcguckenphysics.com/2026/04/25/a-unique-simple-and-complete-derivation-of-thermodynamics-as-a-chain-of-theorems-of-the-mcgucken-principle-of-a-fourth-expanding-dimension-dx%e2%82%84-dt-ic-closing-einsteins-three-gaps/

[34] MG-DualChannel. The master synthesis paper establishing the seven McGucken Dualities of Physics and the dual-channel content of dx₄/dt = ic. URL: https://elliotmcguckenphysics.com/2026/04/24/how-the-mcgucken-principle-of-a-fourth-expanding-dimension-generates-and-unifies-the-dual-a-b-channel-structure-of-physics-a-hamiltonian-operator-formulation-b-lagrangian-path-integral-and/

[35] MG-Constants. Establishes the values of c and ℏ as theorems of dx₄/dt = ic. URL: https://elliotmcguckenphysics.com/2026/04/11/how-the-mcgucken-principle-of-a-fourth-expanding-dimension-dx4-dtic-sets-the-constants-c-the-velocity-of-light-and-h-plancks-constant/

[36] MG-MovingDim. The companion paper to the trilogy: The Mathematical Structure of Moving-Dimension Geometry, Cartan Geometries with Distinguished Translation Generators and the Formal Foundations of the McGucken Principle. URL: forthcoming at elliotmcguckenphysics.com.

[37] MG-BellExperiment. The McGucken-Bell experiment proposing detection of absolute motion through three-dimensional space via directional modulation of quantum entanglement correlations. URL: https://elliotmcguckenphysics.com/2026/04/15/the-mcgucken-bell-experiment-detecting-absolute-motion-through-three-dimensional-space-via-directional-modulation-of-quantum-entanglement-correlations-a-proposed-experiment-based-on-the-mcgucken-pri/

[38] MG-LeastAction. The McGucken Principle as the physical mechanism underlying Huygens’ Principle, the Principle of Least Action, Noether’s theorem, and the Schrödinger equation. URL: https://elliotmcguckenphysics.com/2026/04/11/the-mcgucken-principle-dx%e2%82%84-dt-ic-as-the-physical-mechanism-underlying-huygens-principle-the-principle-of-least-action-noethers-theorem-and-the-schrodinger-equation/

[39] MG-Dissertation. The author’s 1998-1999 doctoral dissertation at the University of North Carolina at Chapel Hill, Appendix B: Physics for Poets: The Law of Moving Dimensions, pp. 153-156. Establishes the 1998 priority on the physical content of dx₄/dt = ic.

16.2 Standard Mathematical Machinery

The mathematical apparatus surveyed in §§2-5 and used throughout the formal definitions of §§9-12 is taken from the following standard sources, each given full credit.

[1] Riemann 1854. The foundational paper on Riemannian geometry.

[2] Levi-Civita 1917. The introduction of the affine connection.

[3] Cartan 1923-1925. Cartan’s foundational papers on connections and Cartan geometries.

[4] Sharpe 1997. The modern reference text on Cartan geometries.

[5] Klein 1872. The Erlangen Programme.

[6] Maurer-Cartan formalism. Standard reference: Sharpe 1997 [4]; primary sources from Maurer and Cartan in the late 19th and early 20th centuries.

[7] Ehresmann 1951. The introduction of jet bundles.

[8] Saunders 1989. The modern reference text on jet bundles.

[9] G-structure literature. Standard differential geometry; standard reference Kobayashi-Nomizu, Foundations of Differential Geometry.

[10] Reeb 1952. The foundational text on foliations.

[11] Whitney 1935. The introduction of fiber bundles.

[12] Arnowitt-Deser-Misner 1962. The 3+1 decomposition of general relativity.

16.3 Frameworks Surveyed and Compared

The frameworks surveyed in §§5-7 and compared structurally with McGucken Geometry are catalogued here for transparency.

[14] Hawking 1968. Cosmic time functions on globally hyperbolic spacetimes.

[15] Wald 1984. Standard reference for general relativity, including global hyperbolicity.

[16] Jacobson-Mattingly 2001 (Einstein-aether). The closest neighbor of McGucken Geometry: a privileged unit timelike vector field on spacetime breaking local Lorentz invariance. Distinguished from McGucken Geometry by treating the privileged direction as a static matter field rather than as an active geometric process part of the manifold’s geometry.

[19, 20] Kostelecký-Samuel 1989, Colladay-Kostelecký 1998 (SME). Spontaneous Lorentz symmetry breaking via vacuum expectation values.

[21] Hořava 2009 (Lifshitz gravity). Quantum gravity with preferred foliation and anisotropic scaling. Distinguished from McGucken Geometry by the absence of an active-flow interpretation of the foliation parameter.

[22] Ambjørn-Loll 1998 (CDT). Causal Dynamical Triangulations with proper-time foliation. Distinguished from McGucken Geometry by the explicit characterization of the foliation as gauge.

[23, 24] Shape Dynamics. Conformal three-geometry reformulation of general relativity.

[26] Rovelli 2004 (LQG). Loop quantum gravity.

[27] Bombelli-Lee-Meyer-Sorkin 1987 (causal sets). Discrete approach to quantum gravity.

[28-30] Reichenbach, McTaggart, Whitehead. Philosophical traditions of growing-block theory and process philosophy — closest in conceptual spirit to the McGucken assertion of active temporal flow but lacking mathematical formalization.

17. Decades of Development of the McGucken Principle

The McGucken Principle dx₄/dt = ic has been under continuous development by the present author since the late 1980s. The chronology — archived in detail across the elliotmcguckenphysics.com corpus — falls into five eras spanning approximately four decades.

17.1 Era I: The Princeton Origin (late 1980s-1999)

The McGucken Principle was first conceived during the present author’s undergraduate work at Princeton University (1988-1993) under John Archibald Wheeler, James Peebles, Edward Taylor, and others. The principle received its first formal articulation in Appendix B of the present author’s 1998-1999 doctoral dissertation at the University of North Carolina at Chapel Hill [39]: Physics for Poets: The Law of Moving Dimensions, pp. 153-156. The 1998-1999 priority on the formal physical content of dx₄/dt = ic is documented at the level of an officially deposited doctoral dissertation.

17.2 Era II: Internet Deployments and Usenet (2003-2006)

Following the dissertation, the McGucken Principle was developed and deployed on early Internet venues, including a series of detailed posts to Usenet groups (sci.physics, sci.physics.relativity, sci.physics.research) in 2003-2006.

17.3 Era III: FQXi Papers (2008-2013)

In 2008-2013, the present author submitted papers and essays to the Foundational Questions Institute (FQXi) and its essay competitions. The FQXi essays of 2008-2013 established the principle’s public archival presence in the foundational-physics literature.

17.4 Era IV: Books and Consolidation (2016-2017)

In 2016-2017, the McGucken Principle’s development was consolidated in a series of self-published books and treatises that established the principle’s mature articulation.

17.5 Era V: Continuous Public Development (2017-2026)

Era V comprises the public website elliotmcguckenphysics.com, established in 2017 and continuously developed through the present (April 2026). Beginning in October 2024, the derivational programme intensified into the production of approximately forty technical papers, including the trilogy on foundational physics (the gravity chain paper [31], the quantum-mechanics chain paper [32], the thermodynamics chain paper [33]) published April 25, 2026, the master synthesis [34], and the present paper on McGucken Geometry. The decades-long development trail from the Princeton afternoons of the late 1980s to the present paper is documented in full at elliotmcguckenphysics.com.

18. Conclusion: The Deepest Possible Compliment to the Prior Art

The thesis of this paper, established by comprehensive prior-art survey and careful identification of novelty, is that McGucken Geometry is the deepest possible compliment to two centuries of differential geometry. The mathematical apparatus needed to formalize the active expansion of one of the four dimensions of spacetime — foliations, vector fields, jet bundles, Cartan connections, principal bundles, ADM lapse-and-shift decompositions, distinguished translation generators, the Maurer-Cartan formalism, the four-velocity magnitude condition, cosmic time functions — was already present in the standard apparatus, awaiting only the willingness to read Minkowski’s 1908 formula at face value and to identify the privileged geometric process that the formula already requires.

The novelty of McGucken Geometry is therefore narrow and precise: not in the mathematical machinery, which is given full credit to its developers from Riemann (1854) through Sharpe (1997), but in the structural commitments that combine the machinery into a new geometric category — moving-dimension geometry. The six structural commitments identified in §13.2 (active flow of one axis at the velocity of light, spherically symmetric expansion, gravitational invariance, geometric privilege, empirical CMB identification, and the categorical novelty itself) are not present in any of the prior frameworks comprehensively surveyed in §§2-7. The structural argument of §14 establishes that these commitments are not optional decoration but the load-bearing content from which the derivational power of the McGucken corpus descends.

The paper’s central thesis can therefore be stated in three sentences. First: the mathematical apparatus has been available since Riemann 1854; what was missing was the willingness to identify a privileged active translation generator. Second: the McGucken assertion has been mathematically inescapable since Minkowski 1908; one trivial calculus step applied to x₄ = ict gives dx₄/dt = ic immediately. Third: the willingness to commit to this assertion as a structural commitment of the geometry — rather than dismissing it as a coordinate convention or a feature of a matter field added on top of the manifold — is what was missing, and what McGucken Geometry supplies. The mathematics has been there. The geometric assertion has been mathematically present in the foundational equation of relativistic spacetime for over a century. McGucken Geometry is the formalization of that assertion as a precise mathematical category, with full credit given to the deep prior-art apparatus on which the formalization rests.

In plain language. The paper’s message in three sentences. The math needed to formalize a moving fourth dimension has been around since Riemann (1854) and Cartan (1923) — we owe a deep debt to two centuries of differential-geometric research, given full credit throughout. The claim that the fourth dimension is moving has been hidden in Minkowski’s 1908 formula x₄ = ict for over a century — differentiating gives dx₄/dt = ic immediately. McGucken Geometry is the formalization of that claim as a precise new geometric category — moving-dimension geometry, the geometry of manifolds with active translation generators — built using standard mathematical apparatus and constituting a new kind of geometric object the prior literature does not contain.

References

Bibliography

[1] B. Riemann, “Über die Hypothesen, welche der Geometrie zu Grunde liegen,” Habilitationsvortrag, Göttingen, 1854. Published in Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen 13 (1868). [Foundational Riemannian geometry.]

[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). [The affine connection.]

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

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

[5] F. Klein, “Vergleichende Betrachtungen über neuere geometrische Forschungen,” Mathematische Annalen 43, 63-100 (1893) (originally delivered as lecture in 1872). [Erlangen Programme.]

[6] Maurer-Cartan formalism. Standard reference: Sharpe 1997 [4], Chapter 3. Primary sources: L. Maurer (1888), É. Cartan (early 1900s).

[7] C. Ehresmann, “Introduction à la théorie des structures infinitésimales et des pseudo-groupes de Lie,” in Géométrie différentielle, Colloques Internationaux du CNRS, Strasbourg, 97-110 (1953). [Jet bundles.]

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

[9] S. Kobayashi and K. Nomizu, Foundations of Differential Geometry, Volumes I and II, Wiley-Interscience, New York (1963, 1969). [G-structures and reductions of structure groups.]

[10] G. Reeb, Sur certaines propriétés topologiques des variétés feuilletées, Hermann, Paris (1952). [Foliations.]

[11] H. Whitney, “Sphere-Spaces,” Proceedings of the National Academy of Sciences 21, 464-468 (1935). [Fiber bundles.]

[12] R. Arnowitt, S. Deser, and C. W. Misner, “The Dynamics of General Relativity,” in Gravitation: An Introduction to Current Research, edited by L. Witten, John Wiley, New York, 227-265 (1962). [ADM 3+1 decomposition.]

[13] Standard relativistic mechanics treatment of the four-velocity. Reference: Misner-Thorne-Wheeler, Gravitation, W. H. Freeman, San Francisco (1973), Chapter 2.

[14] S. W. Hawking, “The existence of cosmic time functions,” Proceedings of the Royal Society of London Series A 308, 433-435 (1968). [Cosmic time functions.]

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

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

[17] C. Eling, T. Jacobson, and D. Mattingly, “Einstein-Aether Theory,” in Deserfest: A Celebration of the Life and Works of Stanley Deser, edited by J. Liu, M. J. Duff, K. Stelle, and R. P. Woodard, World Scientific (2006). arXiv:gr-qc/0410001.

[18] T. Jacobson, “Einstein-aether gravity: a status report,” PoS QG-PH (2007) 020. arXiv:0801.1547.

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

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

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

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

[23] J. Barbour, “Shape Dynamics: An Introduction,” in Quantum Field Theory and Gravity, F. Finster et al. eds., Birkhäuser (2012). arXiv:1105.0183.

[24] H. Gomes, S. Gryb, and T. Koslowski, “Einstein gravity as a 3D conformally invariant theory,” Classical and Quantum Gravity 28, 045005 (2011).

[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). [Loop Quantum Gravity.]

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

[28] H. Reichenbach, The Direction of Time, edited by Maria Reichenbach, University of California Press, Berkeley (1956). [Philosophical analysis of temporal direction.]

[29] J. M. E. McTaggart, “The Unreality of Time,” Mind 17 (68), 457-474 (1908). [A-series and B-series of time.]

[30] A. N. Whitehead, Process and Reality: An Essay in Cosmology, Macmillan, New York (1929). [Process philosophy.]

[31] E. McGucken, “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,” elliotmcguckenphysics.com (April 25, 2026). URL: https://elliotmcguckenphysics.com/2026/04/25/a-unique-simple-and-complete-derivation-of-general-relativity-as-a-chain-of-theorems-of-the-mcgucken-principle-of-a-fourth-expanding-dimension-dx%e2%82%84-dt-ic/

[32] E. McGucken, “A Unique, Simple, and Complete Derivation of Quantum Mechanics as a Chain of Theorems of the McGucken Principle of a Fourth Expanding Dimension dx₄/dt = ic,” elliotmcguckenphysics.com (April 25, 2026). URL: https://elliotmcguckenphysics.com/2026/04/25/a-unique-simple-and-complete-derivation-of-quantum-mechanics-as-a-chain-of-theorems-of-the-mcgucken-principle-of-a-fourth-expanding-dimension-dx%e2%82%84-dt-ic-a-formal-derivation-from-first-geome/

[33] E. McGucken, “A Unique, Simple, and Complete Derivation of Thermodynamics as a Chain of Theorems of the McGucken Principle of a Fourth Expanding Dimension dx₄/dt = ic,” elliotmcguckenphysics.com (April 25, 2026). URL: https://elliotmcguckenphysics.com/2026/04/25/a-unique-simple-and-complete-derivation-of-thermodynamics-as-a-chain-of-theorems-of-the-mcgucken-principle-of-a-fourth-expanding-dimension-dx%e2%82%84-dt-ic-closing-einsteins-three-gaps/

[34] E. McGucken, “How the McGucken Principle of a Fourth Expanding Dimension Generates and Unifies the Dual A-B Channel Structure of Physics,” elliotmcguckenphysics.com (April 24, 2026). URL: https://elliotmcguckenphysics.com/2026/04/24/how-the-mcgucken-principle-of-a-fourth-expanding-dimension-generates-and-unifies-the-dual-a-b-channel-structure-of-physics-a-hamiltonian-operator-formulation-b-lagrangian-path-integral-and/

[35] E. McGucken, “How the McGucken Principle of a Fourth Expanding Dimension dx₄/dt = ic Sets the Constants c and h,” elliotmcguckenphysics.com (April 11, 2026). URL: https://elliotmcguckenphysics.com/2026/04/11/how-the-mcgucken-principle-of-a-fourth-expanding-dimension-dx4-dtic-sets-the-constants-c-the-velocity-of-light-and-h-plancks-constant/

[36] E. McGucken, “The Mathematical Structure of Moving-Dimension Geometry — Cartan Geometries with Distinguished Translation Generators,” elliotmcguckenphysics.com (April 26, 2026). [Companion paper to the trilogy.]

[37] E. McGucken, “The McGucken-Bell Experiment,” elliotmcguckenphysics.com (April 15, 2026). URL: https://elliotmcguckenphysics.com/2026/04/15/the-mcgucken-bell-experiment-detecting-absolute-motion-through-three-dimensional-space-via-directional-modulation-of-quantum-entanglement-correlations-a-proposed-experiment-based-on-the-mcgucken-pri/

[38] E. McGucken, “The McGucken Principle (dx₄/dt = ic) as the Physical Mechanism Underlying Huygens’ Principle, the Principle of Least Action, Noether’s Theorem, and the Schrödinger Equation,” elliotmcguckenphysics.com (April 11, 2026). URL: https://elliotmcguckenphysics.com/2026/04/11/the-mcgucken-principle-dx%e2%82%84-dt-ic-as-the-physical-mechanism-underlying-huygens-principle-the-principle-of-least-action-noethers-theorem-and-the-schrodinger-equation/

[39] E. McGucken, doctoral dissertation, University of North Carolina at Chapel Hill, 1998-1999. Appendix B: Physics for Poets: The Law of Moving Dimensions, pp. 153-156.

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

[41] H. Minkowski, “Raum und Zeit,” Physikalische Zeitschrift 10, 104-111 (1909). [Cologne address introducing x₄ = ict.]

[42] L. D. Landau and E. M. Lifshitz, The Classical Theory of Fields, Course of Theoretical Physics Volume 2, Pergamon Press, Oxford (1962). [Standard reference for the (+, -, -, -) signature convention.]

[43] S. Weinberg, Gravitation and Cosmology: Principles and Applications of the General Theory of Relativity, Wiley, New York (1972).

[44] J. Stillwell, Klein’s Erlangen Program: An Introduction to Geometry through Group Theory, Graduate Texts in Mathematics, Springer (1992).

[45] J. C. Baez and J. Huerta, “An invitation to higher gauge theory,” General Relativity and Gravitation 43, 2335-2392 (2011). [Modern reference on Cartan-geometric formulations of gravity.]

[46] D. C. Spencer, “Overdetermined Systems of Linear Partial Differential Equations,” Bulletin of the American Mathematical Society 75, 179-239 (1969).

[47] D. V. Anosov, “Geodesic Flows on Closed Riemannian Manifolds with Negative Curvature,” Proceedings of the Steklov Institute of Mathematics 90, 1-235 (1967).

[48] N. Ebrahimi, M. Vatandoost, F. Koohestani, et al., “Cosmological time functions in Lorentzian length spaces,” Analysis and Mathematical Physics 15, 79 (2025).

[49] B. Z. Foster and T. Jacobson, “Post-Newtonian parameters and constraints on Einstein-aether theory,” Physical Review D 73, 064015 (2006). arXiv:gr-qc/0509083.

[50] T. Jacobson, “Einstein-æther gravity: theory and observational constraints,” arXiv:0711.3822 (2007).

[51] C. Eling and T. Jacobson, “Two-dimensional gravity with a dynamical aether,” arXiv:gr-qc/0608052 (2006).

[52] D. Blas, O. Pujolas, and S. Sibiryakov, “Consistent Extension of Hořava Gravity,” Physical Review Letters 104, 181302 (2010). arXiv:0909.3525.

[53] D. Blas and E. Lim, “Phenomenology of theories of gravity without Lorentz invariance: the preferred frame case,” International Journal of Modern Physics D 23, 1443009 (2015). arXiv:1412.4828.

[54] T. Jacobson, “Khronon field theory: Horřava-Lifshitz gravity in covariant form,” Physical Review D 81, 101502 (2010). arXiv:1001.4823.

[55] J. Ambjørn, J. Jurkiewicz, and R. Loll, “Emergence of a 4-D world from causal quantum gravity,” Physical Review Letters 93, 131301 (2004).

[56] R. Loll, “Quantum gravity from causal dynamical triangulations: A review,” Classical and Quantum Gravity 37, 013002 (2020). arXiv:1905.08669.

[57] J. Ambjørn, J. Jurkiewicz, and R. Loll, “The Spectral Dimension of the Universe is Scale Dependent,” Physical Review Letters 95, 171301 (2005).

[58] S. Jordan and R. Loll, “Causal Dynamical Triangulations without Preferred Foliation,” Physics Letters B 724, 155-159 (2013). arXiv:1305.4582.

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

[60] J. Barbour, T. Koslowski, and F. Mercati, “Identification of a gravitational arrow of time,” Physical Review Letters 113, 181101 (2014).

[61] F. Mercati, Shape Dynamics: Relativity and Relationalism, Oxford University Press (2018).

[62] D. P. Rideout and R. D. Sorkin, “A classical sequential growth dynamics for causal sets,” Physical Review D 61, 024002 (1999).

[63] C. D. Broad, Scientific Thought, Routledge & Kegan Paul (1923). [Origin of growing-block theory.]

[64] M. Tooley, Time, Tense, and Causation, Oxford University Press (1997). [Modern growing-block theory.]

[65] D. Zimmerman, ed., Oxford Studies in Metaphysics, Oxford University Press (annual). [Continuing literature on the philosophy of time.]

[66] C. Hartshorne, The Logic of Perfection, Open Court Publishing, La Salle, IL (1962). [Process theology.]

[67] J. B. Cobb Jr. and D. R. Griffin, Process Theology: An Introductory Exposition, Westminster Press (1976).

[68] H. Stapp, “Whitehead, James and the Ontology of Quantum Theory,” Mind and Matter 5, 83-109 (2007). [Recent attempts to connect Whitehead’s process philosophy with quantum mechanics.]

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

[70] G. F. Smoot et al., “Structure in the COBE differential microwave radiometer first-year maps,” Astrophysical Journal Letters 396, L1-L5 (1992). [CMB anisotropy measurements.]

[71] R. L. Bryant, S. S. Chern, R. B. Gardner, H. L. Goldschmidt, and P. A. Griffiths, Exterior Differential Systems, Springer-Verlag (1991).

[72] J. K. Beem, P. E. Ehrlich, and K. L. Easley, Global Lorentzian Geometry, Marcel Dekker, New York (1996). [Standard reference on Lorentzian geometry.]

[73] M. Born and E. Wolf, Principles of Optics, 7th edition, Cambridge University Press (1999). [Standard wave-mechanics reference.]

[74] A. H. Guth, “Inflationary universe: A possible solution to the horizon and flatness problems,” Physical Review D 23, 347-356 (1981). [Inflationary cosmology origin.]

[75] 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).

[76] 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). [Direct detection of gravitational waves.]

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

[78] H. P. Robertson, “Kinematics and World-Structure,” Astrophysical Journal 82, 284-301 (1935); A. G. Walker, “On Milne’s theory of world-structure,” Proceedings of the London Mathematical Society 42, 90-127 (1936). [Robertson-Walker geometry.]