Introduction and scientific position

Introduction and scientific position

Position in the sequence

Paper 1 [16] established source–readout non-equivalence and identified the descent obstructions that prevent a readout from being inverted. Paper 2 [17] characterized when the information lost by a readout obstructs a nominated target, and what any target-sufficient extension is obliged to distinguish. Paper 3 [18] constructed, for a set-indexed family $\{R_\alpha\}_{\alpha\in A}$ of invariant source relations and a declared readout $p\colon S\to T$, the canonical minimal completion $$E_A \;=\; \operatorname{Im}\bigl(p,R_A\bigr) \;\subseteq\; T\times\prod_{\alpha\in A}V_\alpha , \qquad R_A=(R_\alpha)_{\alpha\in A},\tag{1}$$ together with its quotient realization $S\twoheadrightarrow E_A$ and its terminal universal property among surjective extensions through which $p$ and every $R_\alpha$ factor.

Construction (1) is purely set-theoretic. It is indifferent to whether the relation values $(t,(v_\alpha))$ can be produced by any geometry at all. Paper 4 supplies exactly the missing ingredient:

When do the abstract relation coordinates of Paper 3 arise from compatible global metrics, bundles, connections, matter fields, boundary data, and gauge-invariant observables?

The answer has the structure of a realization boundary. Not every point of the Cartesian product $T\times\prod_\alpha V_\alpha$ is attained; the attainable points are precisely the image of a geometric evaluation map, and that image is constrained by descent (Čech cocycle and overlap conditions), by invariance (the relations must be constant on orbits of the allowed symmetry groupoid), and by the admissibility class chosen for the model (regularity, signature, causal structure, boundary and asymptotic conditions). The abstract completion is then realized relative to the invariant geometric relations declared, and only on that restricted domain.

Progression of the paper

The paper follows a single line of development. Compatible local geometric data glue to global fields (Section 3, Theorem 3.4). Physical configurations are reduced by allowed bundle isomorphisms and diffeomorphisms (Section 2, Definition 2.9). Invariant global geometric relations become well-defined functions on the reduced orbit space (Section 4). Their joint image with a declared readout realizes the canonical completion of Paper 3 (Section 5, Theorem 5.3). Flat $U(1)$ connections on an oriented circle provide an exact classification example (Section 6, Theorem 6.5). Invariant relation-dependent actions generate stress-energy, currents, and matter response through functional variation (Section 7, Theorem 7.8). Gauge and diffeomorphism invariance impose the corresponding Ward–Noether identities (Section 8, Theorem 8.4 and Proposition 8.5).

Scope

The scope restrictions recorded here are load-bearing and are used explicitly in the statements of the theorems below. It is not claimed that every abstract completion of Paper 3 is geometrically realizable; realizability is a nontrivial condition, and Corollary 3.7 exhibits the obstruction. It is not claimed that any finite list of curvature scalars separates arbitrary Lorentzian geometries; separation is a hypothesis to be established on the restricted domain of a given model, and Remark 4.6 records why no general result of that kind is available. Gauge potentials and coordinate representatives are never treated as physical states: all realization relations are functions on the orbit space $S_{\mathrm{geo}}$. A loop observable is not treated as diffeomorphism invariant unless the loop itself is included in the configuration data and transformed with it, or the observable is formed by an invariant construction over loops, or the declared boundary data pins the relevant homology class; Section 4.4 makes these alternatives precise and requires a model to declare which it uses. Global relation coordinates are not treated as independent dynamical fields unless a model explicitly promotes them to fields. No new physical interaction or empirical claim is introduced, and no claim is made about the physical status of our universe: the relation-dependent action of Section 7 is a template for admissible couplings, and its consequences are theorems about that template, not predictions. Finally, the projected-dynamics and memory machinery of Paper 5, and the Randall–Sundrum construction of Paper 7, are not used and are not assumed; where the present results terminate in an open dynamical question, this is stated as such (Section 9).