LemmaStatement: AI-adaptedProof: AI-generatedPipeline-generatedprecheck passverified 2026-10-22 (gpt-6.1-sol)

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

A complete temporal flow identifies smooth Cauchy slices

Physical scope

A differential-topological statement about two smooth Cauchy hypersurfaces and a supplied complete timelike product flow; no field equation or empirical claim is involved.

Statement

Let $(M, g, N)$ be a time-oriented smooth Lorentzian four-manifold. Suppose a smooth three-manifold $S_{0}$ and a smooth diffeomorphism $Ψ : R \times S_{0} \to M$ are supplied such that each curve $s \mapsto Ψ (s, z)$ is an inextendible future timelike curve and $Ψ (0, z) = z$ . Let $Σ \subset M$ be a smooth spacelike Cauchy hypersurface, meaning that it is met exactly once by every inextendible causal curve. Then the second-coordinate projection $P : = {pr}_{S_{0}} \circ Ψ^{- 1} ∣_{Σ} : Σ \to S_{0}$ is a diffeomorphism. In particular, $Σ$ and $S_{0}$ have the same connectedness and compactness properties.

Statement references

Spacelike hypersurfaces, acausal sets, Cauchy sets, domains of dependence and Cauchy horizons

Causal curves, chronological and causal reachability, and inextendibility

Diffeomorphisms and local diffeomorphisms of manifolds

Smooth time-oriented Lorentzian four-manifolds: the geometric objects of the model

The smooth inverse function theorem on manifolds

Facts & Assumptions

Given: A complete timelike product flow $Ψ$ as in the Statement and a smooth spacelike Cauchy hypersurface $Σ$ .

[F1]

The map $Ψ$ is a diffeomorphism, each $s$ -curve is an inextendible future timelike curve, and $Ψ (0, z) = z$ ; these are the explicit product-flow hypotheses. In Causal curves, chronological and causal reachability, and inextendibility, timelikeness of a curve requires a future timelike velocity almost everywhere.

[F2]

Spacelike hypersurfaces, acausal sets, Cauchy sets, domains of dependence and Cauchy horizons: a Cauchy hypersurface meets every inextendible causal curve exactly once, and a smooth spacelike hypersurface has a three-dimensional positive-definite tangent space at each point.

[F3]

The smooth inverse function theorem on manifolds: a smooth map with an isomorphism as differential at a point restricts to a diffeomorphism on suitable open neighborhoods.

[F4]

Write $V (s, z) = d Ψ_{(s, z)} (\partial_{s})$ . It is nonzero because $d Ψ$ is invertible. For each fixed $z$ , the smooth function $s \mapsto g (V (s, z), V (s, z))$ is negative almost everywhere by [F1], hence is nonpositive everywhere: a positive value would, by continuity, give a positive value on an interval of positive measure. Thus every nonzero vector in the orbit tangent line has nonpositive squared norm, whereas [F2] gives positive squared norm for every nonzero vector tangent to $Σ$ . Their intersection is therefore $0$ , even at an exceptional null orbit tangent.

Proof

Given: [F1]–[F4].

1.1F1F2givenconstruct

For each $z \in S_{0}$ , the orbit $s \mapsto Ψ (s, z)$ is an inextendible timelike curve, so [F2] says it meets $Σ$ in exactly one point. Define $P (p)$ by writing $Ψ^{- 1} (p) = (s, z)$ and setting $P (p) = z$ . Every $z$ occurs because its orbit meets $Σ$ , and if $P (p) = P (q)$ then $p, q$ lie on the same orbit, which meets $Σ$ only once; hence $P$ is bijective.

1.2F1given

The map $P$ is smooth because it is the restriction of the smooth map ${pr}_{S_{0}} \circ Ψ^{- 1}$ to the embedded submanifold $Σ$ .

1.3F1F2F4givenalgebra

At $p = Ψ (s, z) \in Σ$ , the kernel of $d ({pr}_{S_{0}} \circ Ψ^{- 1})_{p}$ is the one-dimensional tangent to the $s$ -orbit. If $v \in T_{p} Σ$ is in the kernel, then $v$ lies in that orbit tangent line and is tangent to the spacelike hypersurface. By [F4], $v = 0$ . Since both tangent spaces have dimension three, $d P_{p} : T_{p} Σ \to T_{z} S_{0}$ is an isomorphism.

2.1F3step 1.1step 1.2step 1.3∎

By [F3], $P$ is a local diffeomorphism at every point. It is already a bijection by step 1.1, so its local smooth inverses agree with the unique set-theoretic inverse $P^{- 1}$ on their domains; these neighborhoods cover $S_{0}$ , proving that $P^{- 1}$ is smooth. Thus $P$ is a diffeomorphism.

Remarks

The proof uses the Cauchy property of $Σ$ to identify each flow orbit once, and spacelikeness to make the projection a local diffeomorphism. It does not assert that an arbitrary continuous Cauchy set is smoothly diffeomorphic to a chosen slice.

Depends on

Dependency tree · 2 levels

Sources

Edward Witten, Light Rays, Singularities, and All That, Clay Mathematics Institute lecture notes, arXiv:1901.03928v6 (2023), §5.6, latest v6 PDF (107 pages).