Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)
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

Physical scope

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: θ,x1,x2,x3, the periods L,ℓ, and the affine parameters s below are measured in metres; the displayed metric has dimensionless components and its line element has units square metres. Thus the tangent dγ/ds is dimensionless with norm −1, while the physical four-velocity is c dγ/ds and the ideal proper-time increment is ds/c, with c in metres per second. For L,ℓ>0, consider the flat Lorentzian cylinder ML=(R/LZ)×R3 and the open slab Sℓ=(0,ℓ)×R3, each with metric −dθ2+∑i=13d(xi)2 and future direction ∂θ, where dθ is induced by the covering coordinate on R/LZ. The cylinder curve γ:R→ML, γ(s)=([s]L,0,0,0), 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: L,ℓ>0, the quotient cylinder and open slab with the displayed metric.

[F1]

The definition distinguishes a prescribed smooth Lorentzian background from any claim of completeness or global inertial structure (Particle spacetime, observers and worldlines).

[F2]

A geodesic is an affinely parametrized curve satisfying Dsγ′=0; 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

1.1givenF1F2constructalgebra

The quotient coordinate [s]L has local lifts to real intervals; on every such chart the metric components are constant Minkowski components. The curve γ(s)=([s]L,0,0,0) is locally a coordinate line with tangent ∂θ, norm −1, and future sign. By [F2] it is a future timelike affine geodesic. Since γ(s+L)=γ(s), it is closed.

2.1givenF2constructalgebra∎

In the slab, β(s)=(s,0,0,0) for s∈(0,ℓ) 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 s=0 as a curve in Sℓ, its first coordinate would have to equal 0, which is excluded from the slab; the same obstruction holds at s=ℓ. Therefore it cannot be extended within this manifold despite the locally constant metric.

Depends on

Dependency tree · 2 levels

Sources