Causal projection along a spacelike circular fiber
ID: causal-projection-along-a-spacelike-circular-fiber
For with , projection of every causal curve is causal for , since . Conversely, the lift defined by along any given base curve has the same norm as that curve. Thus the orbit-space metric describes the projected causal structure exactly. A Penrose diagram suppressing that circle is a quotient diagram, not the metric of a constant- slice.
New to topics? Read the docs here!