advanced28 min studyLesson 810 in Physics

Local light cones do not determine a spacetime’s global health

Separate causal character, extendibility, completeness, horizons, and curvature singularities through flat examples.

On this page

What you’ll understand

  • Distinguish local causal tangents from global causal relations.
  • Define geodesic completeness using maximal affine extensions.
  • Diagnose a regular horizon separately from curvature divergence or artificial domain truncation.

A light cone determines which directions are locally timelike or null. It does not tell us whether a curve can continue indefinitely, whether it returns to its starting event, or whether a coordinate patch omits regular spacetime. Those are global questions. We will distinguish causal structure and geodesic completeness using a flat Rindler wedge, then use a periodic-time quotient to show that complete flat geometry can still have closed timelike curves.

Causal curves require a future choice and a global path

With signature −+++, a causal tangent is nonzero and has nonpositive squared norm. A time orientation chooses one continuous future cone. A future-directed causal curve keeps its tangent in that cone, piecewise smoothly if necessary. Timelike reachability and causal reachability are statements about the existence of entire curves between events, not merely a comparison of coordinate time labels. In curved spacetime there may be no preferred global coordinate time, and a locally valid timelike coordinate direction need not define a global ordering.

A closed timelike curve violates chronology even if every local metric neighborhood looks ordinary. Global hyperbolicity is a stronger causal condition involving an appropriate Cauchy evolution structure; local Lorentzian signature alone does not imply it. Horizons are also global or observer-region-dependent concepts. A Rindler horizon bounds an accelerated observer’s wedge in flat spacetime, while an event horizon is defined through reachability of an asymptotic region in a full spacetime. Neither concept is defined by declaring a divergent metric component to be physical.

gμνx˙μx˙ν≤0(causal),g(u,u)=−c2(timelike proper-time tangent),g(k,k)=0(null tangent)g_{\mu\nu}\dot x^\mu\dot x^\nu\le0\quad\text{(causal)},\qquad g(u,u)=-c^2\quad\text{(timelike proper-time tangent)},\qquad g(k,k)=0\quad\text{(null tangent)}
Dots may use a regular curve parameter; the inequality also requires a nonzero tangent and a chosen future orientation for future-directedness. u=dx/dτ with τ in seconds has norm −c². A null affine tangent k has no canonical proper-time normalization.↔ Scroll wide equations horizontally.

Completeness is a property of maximally extended geodesics

A spacetime is geodesically complete if every maximally extended affine geodesic has parameter domain all real numbers, up to affine rescaling. Timelike proper time is affine; null curves need another affine parameter. An arbitrary finite segment is not evidence of incompleteness because it may simply be extended within the spacetime. The diagnostic concerns a maximal geodesic reaching a finite affine endpoint with no further event available in that manifold. Timelike, null, and spacelike completeness can also be considered separately.

An open subset of Minkowski spacetime can be incomplete merely because regular events were excluded. Such a subset can admit an extension. A curvature scalar diverging at a finite reachable endpoint can obstruct a smooth regular extension, but finite scalars do not prove completeness or exclude all singular behavior. In Schwarzschild geometry the invariant 48m²/r⁶ is finite at r=2m and diverges at r=0. Regular horizon-penetrating coordinates extend the first surface; they do not eliminate the latter curvature divergence. Statements about singularities must specify the spacetime and regularity class being considered.

T=ρsinh⁡η,X=ρcosh⁡η,ρ>0,ds2=−ρ2dη2+dρ2,X>∣T∣T=\rho\sinh\eta,\quad X=\rho\cosh\eta,\quad \rho>0,\qquad ds^2=-\rho^2d\eta^2+d\rho^2,\qquad X>|T|
T=ct, X and ρ have length units and η is dimensionless. This is the right Rindler wedge of two-dimensional flat Minkowski space, with Riemann curvature zero. Its coordinate horizon lies outside the chart domain; additional flat transverse directions can be included for four-dimensional spacetime.↔ Scroll wide equations horizontally.

Extension and causal consistency answer independent questions

A geodesic leaving a restricted wedge at finite affine parameter can continue in the containing Minkowski spacetime, so the wedge’s incompleteness is not a curvature singularity. Conversely a flat quotient with periodic timelike direction can be geodesically complete while containing closed timelike geodesics. Local curvature, global topology, causal restrictions, and completeness are independent pieces of geometric information. Singularity theorems combine precise global, focusing, and energy assumptions to infer incompleteness; they should not be paraphrased as a claim that every metric divergence proves infinite curvature.

The spacetime lab tests only the local null-cone aspect. Reset and set both controls to β=0,ct=0.6; with fixed x=0.6 predict transformed (x′,ct′)=(0.6,0.6) and interval readout zero. Reset and set β=0.6,ct=0.6, predicting (0.3,0.3), again null. The readout uses ct²−x², opposite our metric sign but also zero here. This one-event flat-space boost cannot establish global reachability, identify a spacetime quotient, or test geodesic completeness.

Reach a Rindler horizon at finite affine length

In Minkowski coordinates consider the null geodesic T=λ and X=L−λ, with L=4 m and affine λ in metres. Start at λ=0 inside the right Rindler wedge. Find its first future horizon crossing and explain whether the endpoint is singular in Minkowski spacetime.

  1. The tangent is (dT/dλ,dX/dλ)=(1,−1), so its norm is −1+1=0. Both coordinates are affine-linear and the Minkowski connection vanishes.

  2. The future wedge boundary is X=T. Solving L−λ=λ gives λ=L/2=2 m, with T=X=2 m. It is reached after finite affine parameter.

  3. Within the wedge, ρ²=X²−T²=L²−2Lλ tends to zero and η diverges as this crossing is approached. The Cartesian geodesic continues smoothly beyond λ=2 m in flat Minkowski spacetime, so the wedge endpoint is not a curvature singularity.

The result

The null geodesic reaches the future Rindler horizon at λ=2 m. It is incomplete when restricted to that wedge but extends regularly in Minkowski spacetime.

Explore the model

Interactive lab

Interactive lab · spacetime

Preserve a null direction under a local boost

Reset and set BOTH controls to β=0,ct=0.6: predict (x′,ct′)=(0.6,0.6). Reset and set β=0.6,ct=0.6: predict (0.3,0.3). The fixed x is 0.6 and both interval readouts are zero. This local flat-space check contains no global topology or completeness test.

Preserve a null direction under a local boostA fixed x = 0.6 event is Lorentz transformed with c = 1. Playback highlights the relation between coordinate descriptions; it does not move the event. Current readings: Lorentz factor γ: 1.12; Event x′: 0.168; Event ct′: 0.817. All parameters are adjustable with the labeled controls below.−4.69−2.3502.354.69−2.2−1.101.12.2x or x′ · c = 1ct or ct′EE′ct² − x² = 0.64
Original eventTransformed eventLight cone
Lorentz factor γ
1.12
Event x′
0.168
Event ct′
0.817
t = 0 s

A fixed x = 0.6 event is Lorentz transformed with c = 1. Playback highlights the relation between coordinate descriptions; it does not move the event. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forNull-cone invariance is necessary local geometry, while global causality and affine extension require additional information.

Check your understanding

A null geodesic reaches a Rindler wedge boundary at finite affine parameter while continuing smoothly in Minkowski coordinates. What follows?

Try it yourself

Take flat two-dimensional spacetime with metric −dT²+dX² and identify T with T+L, where L=6 m. Consider X=0 and one circuit in the positive T direction. Find its proper duration using c=3×10⁸ m/s. Explain its causal character and whether curvature or geodesic completeness alone rules it out.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

The quotient identifies the two endpoint events. Straight geodesics in the Minkowski covering space project to geodesics for all affine parameters.

Compare with the solution

The circuit is timelike and has cΔτ=L, so Δτ=6/(3×10⁸)=2.0×10⁻⁸ s=20 ns. It returns to the same event, forming a closed timelike geodesic and violating chronology. The quotient is flat and geodesically complete because every covering-space affine geodesic projects for all real parameter values. Neither zero curvature nor completeness guarantees acceptable global causal structure.

Take it with you

  • Causal character is local, while reachability and closed curves are global.
  • Completeness concerns maximal affine geodesics within a specified spacetime.
  • A coordinate horizon, an extendible domain edge, and a curvature singularity are distinct diagnoses.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.