Scope and empirical qualifications of the maximal globally hyperbolic development: model content, idealisations, and no observational claims

This remark records how Conditional model deduction: the adopted field law and matter model yield a maximal globally hyperbolic development of constraint-satisfying initial data is to be read; it adds no new mathematical claim.

(a) The deduction is conditional on the adopted postulates. The existence and uniqueness of the maximal development is a logical consequence of Adopted Einstein field equation in the direct-equation presentation, Adopted spacetime model and classical domain of the gravitational framework, Adopted matter-content assumptions: fields, equations, stress-energy and energy conditions and the mathematical theorem Existence and uniqueness of the smooth maximal globally hyperbolic development of constrained initial data in the selected matter sectors, applied to data that satisfy the constraints, complete-data regularity and actual local existence/geometric uniqueness/restart hypotheses of the fixed admissible coupled model in Smooth developments of constrained initial data, data-fixing isometries, development embeddings and maximality. Countable Choice and Dependent Choice are mathematical premises. The vacuum, scalar, strict-fluid and nonnegative tilted geodesic dust branches of High-regularity local developments for the selected matter sectors: vacuum with Lambda, scalar, strict barotropic fluid and geodesic dust are included, with independently prescribed dust velocity through zero density; the conclusion is not confined to those four models and does not follow from an arbitrary conserved stress tensor. Granting the postulates, the deduction is a theorem about the model; it is not evidence that the model describes nature.

(b) The initial data are model inputs, not observations. The data $(h,K,{\psi }_0)$ are idealised smooth fields on an idealised smooth connected three-manifold; constraint-satisfying choices are mathematical objects. If a physical situation is modelled by such data, the accuracy of that modelling and the errors in choosing the data are separate questions not addressed by the deduction. No measurement, apparatus, sample or statistical inference occurs in the delivered claims, and none should be attributed to them.

(c) Maximality is a statement inside the smooth globally hyperbolic class. "Maximal" in Smooth developments of constrained initial data, data-fixing isometries, development embeddings and maximality clause (d) means: every smooth development of the same data embeds into $M_{\mathrm{m}\mathrm{a}\mathrm{x}}$ by a data-fixing development embedding. It does not mean that $M_{\mathrm{m}\mathrm{a}\mathrm{x}}$ is geodesically complete, that no larger Lorentzian manifold of any kind extends it, or that it maximises any geometric quantity. Extensions that are not globally hyperbolic, or $C^k$-developments with $k<4$ in the sense of the sector's regularity, are outside the class compared by the theorem.

(d) Uniqueness is up to a unique data-fixing isometry. Two maximal developments of the same data are isometric by exactly one isometry commuting with the initial embeddings and preserving the matter fields and time orientation; the "solution" of the model's initial-value problem is an isometry class of developments, not a distinguished coordinate representative. The uniqueness conclusion says nothing about the multiplicity of stationary or periodic solutions of the field equations unrelated to the given data.

(e) Regularity, matter and topological hypotheses are active. The deduction requires the smooth four-dimensional regularity of the adopted domain, the fixed covariant coupled matter model with its full equations and stress expression, the smoothness and completeness of the initial data in the sense of the constraint framework, and the second countability of the initial manifold. If the sector assumptions are modified (for example to non-smooth matter, matter with additional gauge freedom, or a different stress-energy model), the deduction must be re-established for the modified system; the mathematical reductions of High-regularity local developments for the selected matter sectors: vacuum with Lambda, scalar, strict barotropic fluid and geodesic dust are exactly where those hypotheses enter.

(f) No claim about the observed universe. The statement that "given initial data, the model has a maximal development" is a conditional deduction. It does not assert that the actual universe is globally hyperbolic, that smooth initial data describe any particular epoch, or that any observed phenomenon is predicted by the development of specific data. Comparisons of developments with observations test the combined model and apparatus assumptions; agreement is evidence and not a proof of the model.