Scope and status of the causal and initial-value material: model conditions, predictions and deferred theorems

This note fixes the scope of the page's causal and initial-value content and the status of its claims; it proves nothing by itself.

• Model conditions versus physical readings. Chronology, causality, strong causality, global hyperbolicity, achronality, acausality, the Cauchy-set property and the existence of time or temporal functions are mathematical conditions on a time-oriented smooth Lorentzian four-manifold (Causal curves, chronological and causal reachability, and inextendibility, Chronology, causality, strong causality, global hyperbolicity and time functions, Spacelike hypersurfaces, acausal sets, Cauchy sets, domains of dependence and Cauchy horizons). In the framework's geometric-optics assumption, ideal light rays are future null geodesics (Adopted clock, free-fall and light-ray assumptions of the classical gravitational framework clause (iii)); this specifies the model's ideal ray-propagation rule and does not assert that it exhausts every physical signalling mechanism. A Cauchy set is defined by exactly one parameter intersection with every inextendible curve of the stated causal class. A model with no such set fails that mathematical property; claims about predictive power require specified dynamics, admissible data and well-posedness results, none of which follows from the absence of a Cauchy set alone. These are qualified model interpretations, not observations or proofs about nature. A model with a closed timelike curve is not "mathematically inconsistent": it is a model whose causal structure differs from that of the flat models of the examples page.

• Conditional deductions. The causal-curve class requires continuity and local chart neighborhoods with absolutely continuous coordinates (Causal curves, chronological and causal reachability, and inextendibility). Its chart independence, finite subdivisions and smooth scalar composition are supplied by Chart independence, concatenation, reparametrization and transitivity for causal curves, and temporal monotonicity by Temporal functions are time functions, and time functions forbid closed causal curves, under their stated Countable Choice and Dependent Choice premises. Causal past uses inverse reachability: $p\in J^{-}(S)$ means $p\le q$ for some $q\in S$. With this convention, The flat model is globally hyperbolic and its inertial level sets are Cauchy hypersurfaces and The open flat slab: an incomplete timelike geodesic, a Cauchy slice and global hyperbolicity give the compact-diamond and global-hyperbolicity conclusions for their explicit flat models. The general causal-extension and maximal-geodesic results have their own hypotheses and proofs in Convergent causal ends are extendible, maximal geodesics have no limit, and Cauchy sets are acausal. The flat cylinder's failure of chronology, causality and the Cauchy property (The flat cylinder model: closed timelike curves, total viciousness and no Cauchy set) follows from explicit smooth periodic curves. The local focusing bound along a geodesic congruence is The Raychaudhuri equation for a geodesic congruence and finite-time focusing. These are conditional mathematical deductions; they assert no measurements.

• Initial value material. Spacelike initial data, the constraint equations, developments and maximal developments defines initial data $(\mathrm{\Sigma },h,K,\rho ,j)$ and the constraint equations as the normal and normal-tangential projections of the field equation; The normal and normal-tangential projections of the field equation are the constraint equations proves that data induced by a solution of the field equation (Adopted Einstein field equation in the direct-equation presentation) satisfy the constraints, and the normal, induced metric and second fundamental form are constructed in The future unit normal, induced metric and second fundamental form of a spacelike hypersurface. The page does not assert the converse in any form: the existence of a development of given data, its uniqueness, the maximal globally hyperbolic development, and the equivalence of global hyperbolicity with the existence of a Cauchy hypersurface or of a smooth temporal function with Cauchy levels are not proved here. Those statements require the local Einstein-matter well-posedness theory, the Gauss-Codazzi relations and global causal gluing arguments, and are deferred to the later pages of this track (the convex-normal-neighborhood and full symmetric-hyperbolic pages). The equivalent component form of the constraints in terms of the induced scalar curvature and the divergence of $K$ is deferred with them.

• Focusing versus singularities. The Raychaudhuri theorem of this page is a local differential inequality along one flow line of a smooth geodesic congruence: it bounds the affine parameter range on which the congruence remains smooth under the stated hypotheses. It does not assert that the spacetime ends, that a singularity theorem holds, or that an infinite-curvature point forms. A genuine singularity theorem requires its own energy, causality and global compactness hypotheses and a complete proof, none of which is claimed here; cosmic censorship and chronology protection are not theorems and are not used.

• Empirical status. The page contains no experiment, no apparatus, no measured input, no sampling model and no statistical inference, and it draws no conclusion about nature. A prediction computed from a fully specified model may later be compared with reported observations; such a comparison tests the combined model and its auxiliary assumptions, and agreement is evidence, not a proof of the model or of its postulates.

• Deferred obligations. The causal hierarchy's equivalences, the equivalence of the global-hyperbolicity formulation used here with the Cauchy-hypersurface and smooth-splitting formulations, the existence and uniqueness theory for the Einstein-matter initial value problem, the maximal development, and singularity and censorship statements are obligations of the later pages of the general-relativity track, not of this page.