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.
Flat local geometry without completeness
Explicit Lorentzian model manifolds illustrating that local flatness does not imply global causal regularity or geodesic completeness; these are mathematical countermodels, not claims about nature.
Example
Use SI length coordinates: , the periods , and the affine parameters below are measured in metres; the displayed metric has dimensionless components and its line element has units square metres. Thus the tangent is dimensionless with norm , while the physical four-velocity is and the ideal proper-time increment is , with in metres per second. For , consider the flat Lorentzian cylinder and the open slab , each with metric and future direction , where is induced by the covering coordinate on . The cylinder curve , , is a closed future timelike geodesic. The slab contains a timelike geodesic defined on a finite affine interval that cannot be extended inside the slab. Thus locally Minkowski metrics need not preclude a closed future timelike geodesic or a finite-affine-interval geodesic that cannot be extended within its manifold.
Facts & Assumptions
Given: , the quotient cylinder and open slab with the displayed metric.
The definition distinguishes a prescribed smooth Lorentzian background from any claim of completeness or global inertial structure (Particle spacetime, observers and worldlines).
A geodesic is an affinely parametrized curve satisfying ; in a chart with constant metric components, each coordinate line is an affine geodesic of the metric-selected connection (Geodesic of an affine connection, A chart with constant metric components has vanishing metric-selected Christoffel symbols and curvature).
Verification
The quotient coordinate has local lifts to real intervals; on every such chart the metric components are constant Minkowski components. The curve is locally a coordinate line with tangent , norm , and future sign. By [F2] it is a future timelike affine geodesic. Since , it is closed.
In the slab, for is a vertical coordinate line with unit future timelike tangent; [F2] makes it an affine geodesic on this finite interval. If it extended continuously to as a curve in , its first coordinate would have to equal , which is excluded from the slab; the same obstruction holds at . Therefore it cannot be extended within this manifold despite the locally constant metric.