Geodesic conserved quantity from a Killing vector Created 2026-09-24 Updated 2026-10-14
Each Killing vector field supplies a conserved quantity for freely moving test particles: it turns a geometric symmetry into a first integral of the geodesic equation. Let be a geodesic with affine parameter , tangent vector , and . Wherever a Killing vector field is defined along the geodesic,The statement applies to Riemannian manifolds and to timelike geodesics, null geodesics and spacelike geodesics in a Lorentzian manifold. It requires an affine parameter; for a massive test particle, proper time is one choice. See Tong, section 4.3.2, equation (4.32).
For a worked example in the Euclidean plane, take with affine parameter and velocity . The Euclidean Killing vector fields for translation and rotation giveThe rotational field along the geodesic is : it changes from at to at , yet its pairing with stays . With toy mass and interpreted as time, the first constant is the component of linear momentum, and the second is the signed component of angular momentum about the origin. Their numerical values use toy units. The geodesic is straight; the rotation flow orbits are circles.
One straight Euclidean geodesic: the rotational Killing field varies while translation momentum and angular momentum stay constant for toy unit mass
. Details. This conservation law follows from metric compatibility and the Killing equation:The geodesic equation kills the acceleration term, and the symmetric product selects the vanishing symmetric derivative. This tensor contraction is the whole proof outline; see Carroll, equation (5.43).
In a stationary spacetime, a chosen time-translation Killing vector field gives Killing energy. With metric signature , , and a massive test particle's four-momentum , the physical normalization isHere generates the axial rotational symmetry when one exists. In coordinates with and , these are and . Both are conserved quantities along the geodesic, even if the metric has a time-angle cross term. A future timelike makes positive for a future massive particle; the scale of depends on the normalization of . Not every spacetime has a global timelike Killing vector field, and a stationary field can become spacelike in an ergoregion of a stationary spacetime. Conservation on the field's domain does not imply a universal global positive energy; see Tong, sections 4.3.1-4.3.2 on the timelike-domain qualification and conserved charges.
A complete inertial timelike geodesic in Minkowski spacetime has with . Under , , both tend to the same endpoint, giving past timelike infinity and future timelike infinity. A complete null geodesic has one finite limiting null coordinate at each end and reaches past null infinity and future null infinity. Complete spacelike geodesics have asymptotically and both ends approach spacelike infinity. The endpoints have finite compactified coordinates but occur at infinite physical affine parameter. A conformal transformation preserves null paths as unparametrized geodesics; it does not generally preserve timelike or spacelike geodesic paths.
A geodesic on the embedded two-dimensional de Sitter spacetime is the intersection with a two-plane through the ambient origin. For initial point and tangent satisfying , , , its affine parametrization is when timelike, when null and when spacelike. These solve . The spacelike geodesics are closed; timelike geodesics and null geodesics extend to both conformal infinities with infinite affine length.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 68 4 Solution Created 2026-10-03 Updated 2026-10-14
The local metric tensors do not determine the global coordinate identifications. The usual complete two-dimensional de Sitter spacetime is the hyperboloid in ambient signature , withPulling back the ambient metric tensor gives , withUnwrapping gives the universal cover of two-dimensional de Sitter spacetime instead. The usual embedded two-dimensional anti-de Sitter spacetime has in signature andHere and is initially periodic modulo . The time circles are closed timelike curves. Its physically standard universal cover removes that identification:The two signs of describe two spatial ends; imposing would retain only half of this complete model.
Both spacetimes have constant curvature and are geodesically complete. In the paper's convention their Ricci scalars are respectively and . Their embeddings show that geodesics are intersections with planes through the ambient origin. They nevertheless have very different causal structures.
For the geodesics of two-dimensional de Sitter spacetime, use an affine parameter , normalization and conserved momentum . ThenTimelike geodesics extend to both infinite proper times; is a simple example. Null geodesics obey , so their affine parameter is also infinite at either temporal end. Spacelike geodesics have , obey and are closed curves on the embedded cylinder; is its simplest spacelike geodesic circle. Unwrapping the spatial circle removes closure but not completeness.
For the geodesics of two-dimensional anti-de Sitter spacetime, the timelike Killing vector gives . The normalization is , henceChoose a future-directed timelike geodesic, so andFor , it oscillates radially with proper period ; gives the central geodesic . In both cases, global time advances by over a proper time interval . The curve is closed on the original hyperboloid, while its lift on the universal cover is nonclosed and future-directed. Null geodesics have and reach either spatial end only at infinite affine parameter. Spacelike geodesics satisfy and also have infinite proper length toward either end. Thus the finite coordinate time discussed below does not imply physical geodesic incompleteness.
The conformal cylinder of two-dimensional de Sitter spacetime follows by setting :Its past and future conformal boundaries are spacelike circles. Null geodesics have and can travel only a finite angular distance over the entire infinite proper-time history. For the complete observer , an event can send a signal to that observer precisely when its shortest angular distance is less than . The observer horizons in two-dimensional de Sitter spacetime are therefore the null curves ; its past signal horizon has . These are observer horizons, without curvature singularities. Their intersection bounds a static patch with metric tensorThe horizons at are regular Killing horizons beyond which this static chart fails, while the global coordinates remain smooth.
For the conformal strip of two-dimensional anti-de Sitter spacetime, set . On its universal cover,The two conformal boundaries are timelike. A null ray from the center approaches a boundary after coordinate time , though its affine parameter diverges. Every interior event can signal to the complete central static observer in finite global time, so that observer has no event horizon. A Poincaré horizon concerns a restricted coordinate patch, and accelerated observers can have different causal horizons.
Finally, the global de Sitter cylinder and its spatial cover are globally hyperbolic: constant-time slices are Cauchy hypersurfaces. The anti-de Sitter universal cover is not globally hyperbolic, because timelike infinity admits incoming signals within finite global time. A field's evolution therefore requires boundary conditions at its two conformal boundaries in addition to initial data. The opposite placement of the conformal boundaries explains why de Sitter observers have cosmological horizons despite global hyperbolicity, while the central anti-de Sitter observer has no event horizon despite the failure of global hyperbolicity.
Conformal cylinder and observer horizons of de Sitter spacetime compared with the timelike boundaries of the anti-de Sitter universal cover
. Details. Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 54 4 Solution Created 2026-10-03 Updated 2026-10-14
In ordinary spherical coordinates, , , and with periodic identification. The regular coordinate chart excludes the origin and polar axes; the endpoint ranges include the usual spherical identifications. With null coordinates and , both are real and their joint domain is . The inverse relations giveThe arctangent coordinates obey . Since and , the rescaled metric isNow , , so . Thus the Minkowski conformal compactification hasThe full coordinate ranges are linked, not independent: and with . Inverse coordinates are , , , . The conformal factor isThe unphysical metric extends as the unit-radius Einstein static universe on , where with the endpoint two-spheres collapsed. Physical Minkowski spacetime occupies the triangular radial domain , ; the edge is the ordinary spatial center, not an infinity or physical boundary.
In the closure, the infinite-coordinate limits have locationsThese are future timelike infinity, past timelike infinity, spacelike infinity, future null infinity and past null infinity. For example has with finite , while has with finite . A diagram point with stands for a two-sphere, and each null boundary is topologically ; their three corners are points after the angular collapse. On the null boundaries and , whereas the three corners have a degenerate zero gradient. Thus a compactifying metric can be smooth there even though those infinity points are not ordinary smooth null-boundary points.
The geodesic endpoints in Minkowski conformal compactification can be established directly. A physical inertial timelike geodesic has , , with and . At future infinity , so and the curve ends at . At past infinity both tend to , giving . Every complete inertial timelike path has these endpoints, regardless of velocity.
For a future-directed null geodesic, , with . As , but has a finite limit; the endpoint lies on . As , but has a finite limit, giving an endpoint on . A conformal transformation preserves these null paths as unparametrized geodesics. The null affine parameter under a conformal rescaling obeys ; here at the null endpoints, so the unphysical affine parameter reaches them in finite time, although the physical affine parameter is infinite.
A physical spacelike geodesic has , , with . At either end asymptotically, and , so both ends approach . Timelike and spacelike physical geodesic paths are not generally geodesics of the rescaled metric. Their physical proper time or length is infinite, while gives finite unphysical proper time or length near the endpoints. Infinity at finite diagram coordinates does not imply incompleteness of physical Minkowski geodesics.
Minkowski conformal compactification and the endpoints of timelike, null and spacelike geodesics
. Details. The original Penrose diagram suppresses the angular spheres. The displayed physical paths illustrate their distinct endpoint types; the two sloping boundaries are null infinity, while the left edge is the regular center.
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 55 4 Solution Created 2026-10-03 Updated 2026-10-14
Both metrics have curvature radius one and signature . Their global topology must be specified as well as their local metric. The usual two-dimensional de Sitter spacetime is the hyperboloid in three-dimensional Minkowski spacetime, parametrized byThus and is periodic modulo , for example . Spatial slices are circles. Unwrapping instead gives the universal cover, not the usual closed spatial model.
The ordinary two-dimensional anti-de Sitter spacetime hyperboloid is in ambient signature , withOn this quadric and is periodic modulo . The closed time circles are timelike, so it contains closed timelike curves. The usual physically causal AdS model is its universal cover, for which , with time no longer identified. The signed radial coordinate has two spatial ends; restricting to would retain only half of this global model. The metric by itself cannot distinguish periodic time from the cover. The scalar curvature is for de Sitter and for AdS in the Ricci convention of Q2. Both are maximally symmetric and have no curvature singularity; these toy two-dimensional metrics illustrate causal geometry rather than the ordinary four-dimensional matter field equations.
For the conformal cylinder of two-dimensional de Sitter spacetime, introduceThenThe conformal boundaries are spacelike circles, representing past and future infinity. Null geodesics are straight lines , with the periodic spatial identification. The finite total conformal-time interval explains the cosmological horizons: light cannot complete a full trip around the circle during the entire history.
For the conformal strip of two-dimensional anti-de Sitter spacetime, useso on the universal coverIts two conformal boundaries at are timelike. Null rays are , and the strip extends for arbitrarily long coordinate time. The distances in these conformal diagrams are not physical lengths: a conformal boundary may be reached in finite coordinate time while lying infinitely far away in physical affine parameter.
Conformal cylinder and observer horizons of two-dimensional de Sitter spacetime, compared with the timelike boundaries and geodesics of the AdS universal cover
. Details. The sides of the de Sitter diagram are identified; its top and bottom are spacelike infinities. The AdS diagram shows a finite window of an infinite time strip, with no identification of top and bottom. Null rays have slope one in both diagrams. The blue curves are timelike geodesics, while the colored de Sitter lines bound the central observer's causal domains.
The geodesics of two-dimensional de Sitter spacetime can be derived directly. Let an overdot denote an affine parameter normalized so that the tangent norm is for timelike, null and spacelike geodesics. The cyclic coordinate gives conserved , and normalization givesWriting reduces this to . For a future-directed timelike geodesic,The spatially comoving curves are geodesics, and every timelike geodesic extends through all , with infinite proper time in both directions. Initially comoving nearby observers have physical separation proportional to , displaying de Sitter's tidal defocusing. Relative separation can initially decrease for other initial velocities; not every pair is monotonically separating.
For a nontrivial null geodesic, and . Hence the conformal infinities at occur at infinite affine parameter, despite their finite values of . For a spacelike geodesic, and . Over a full affine-length period , integrating gives a change . Thus the spacelike geodesics close on the usual cylinder. The special case is the equatorial circle . These closed spacelike curves do not threaten causality.
The geodesics of two-dimensional anti-de Sitter spacetime instead conserve . Their norm equation givesA future timelike geodesic has andIts turning points are . Timelike geodesics oscillate rather than escaping to the spatial boundary. For , the central curve is geodesic. Integrating shows that a full proper-time period advances coordinate time by . They close on the periodically identified hyperboloid but remain complete nonclosed curves on the universal cover. Geodesics leaving reconverge at after proper time , illustrating AdS tidal focusing. A static observer at nonzero fixed is accelerated, not one of these oscillating free trajectories.
For AdS null geodesics, and . They approach either timelike conformal boundary at infinite affine parameter, while the coordinate-time travel from the centre is only . A spacelike geodesic has and connects the two spatial ends with infinite affine length. Both global models are geodesically complete. Reflecting a signal at the AdS conformal boundary is a choice of boundary condition for fields; it is not an automatic continuation of a geodesic at a finite affine endpoint.
For the complete de Sitter observer at , let be the shortest angular distance. An event at can send a signal reaching the observer at a finite future time exactly whenIt can receive a signal sent by the observer at a finite past time exactly when . Equality gives the future and past observer horizons in two-dimensional de Sitter spacetime; their null branches are respectively and on the displayed cylinder. Their intersection is the central static patch, . All complete timelike geodesic observers have analogous horizons by de Sitter symmetry. These are observer-dependent cosmological horizons, not singularities of the global coordinates or Cauchy horizons.
In contrast, the complete central AdS observer can exchange signals with every event at finite : the conformal distance is finite and the observer exists for all . Its static Killing vector has squared norm everywhere. Thus global AdS on its cover has no cosmological event horizon for this observer, although other restricted patches or accelerated observers can have horizons.
The causal predictability distinction is also important. Global de Sitter is globally hyperbolic: constant- circles are Cauchy surfaces. A causal curve is monotone in and satisfies ; if it ended at finite , compactness of the spatial circle would allow an endpoint and extension. Hence an inextendible causal curve crosses every such slice once. AdS on the cover has no closed timelike curves, but it is not globally hyperbolic. For two central events at and , with , their causal diamond contains events at and arbitrarily large , so it is not compact. Initial data alone do not determine field evolution without conditions at the timelike conformal boundaries. de Sitter has spacelike conformal infinities and cosmological observer horizons; covered AdS has timelike conformal infinities and requires boundary data. The distinction between the AdS quadric and its universal cover is also explained in David Tong's general relativity lectures.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 60 4 Solution Created 2026-10-03 Updated 2026-10-14
The physical spherical coordinates cover , , , and with periodic identification. The center and the polar axes are the usual coordinate singularities, rather than physical curvature singularities; a regular polar chart restricts and . For the null coordinates,Thus the physical metric tensor isThe conformal transformation followed by , gives , , andConsequently . Finally , converts to , yieldingThe ranges must retain their joint constraints:Equivalently, and , with . The angles retain their original ranges and identifications. Extending to negative values would double-count the radial polar geometry. The conformal factor isThe unphysical metric tensor extends onto the Einstein static universe, while physical Minkowski spacetime occupies the triangular region in its radial Penrose diagram. The edge is the regular center and belongs to the physical region away from its endpoints.
The conformal boundary consists of the following infinities. Future null infinity has , hence with , and corresponds to finite with . Past null infinity has , hence , and corresponds to finite with . Future timelike infinity is , past timelike infinity is , and spacelike infinity is . Although angles label points on null infinity, their two-spheres collapse at these three endpoint locations in the compactified picture.
The radial Minkowski conformal diagram and the endpoints of timelike, null and spacelike geodesics
. Details. For the geodesic endpoints in Minkowski conformal compactification, one can check the limits directly. A timelike inertial trajectory is with . At both and tend to , so and the trajectory ends at future timelike infinity. At both tend to , giving past timelike infinity. This includes a stationary inertial worldline with bounded .
For a null inertial trajectory, . As , , so has a finite limit while ; its future endpoint lies on future null infinity. As , , giving a finite limiting and , hence a past endpoint on past null infinity. Radial null geodesic paths have constant. A ray passing through the center changes its angular direction; in the angle-suppressed radial diagram it reflects at rather than terminating there.
A spacelike geodesic is also a straight line, now parametrized so that . At either end, asymptotically, , , and the endpoint is spacelike infinity. A radial spacelike line at has two opposite-angle halves which project onto the same horizontal interval in the diagram.
The conformal compactification endpoints occur at finite but at infinite physical proper time or affine parameter; Minkowski spacetime is geodesically complete. The conformal preservation of null geodesic paths does not preserve an affine parameter: if is physically affine, an unphysical affine parameter satisfies up to a constant. Along a complete null ray this can have a finite integral at infinity. Timelike and spacelike physical geodesic paths are not generally geodesics of the rescaled metric tensor, so their drawn curves must not be interpreted as freely falling unphysical observers.
Finally, every physical event can send an outgoing null ray to future null infinity, so is all of Minkowski spacetime. Its black-hole region and intrinsic event horizon are empty. The null edges in the diagram are infinity, not horizons concealing part of the physical manifold. Complete inertial observers likewise have no observer event horizon. Accelerated observers restricted to a Rindler wedge can have a Rindler horizon, but that is observer-dependent and does not contradict the horizon-free Minkowski spacetime. The conformal diagram compactifies infinity; it does not introduce a physical horizon.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 61 4 Solution Created 2026-10-03 Updated 2026-10-14
Take both curvature radii to be one. Coordinate ranges depend on the global identification, which a line element alone cannot fix. For the ordinary two-dimensional de Sitter spacetime,This is the unit hyperboloid in ambient signature , parametrized by , , . Unwrapping instead gives its universal cover.
For two-dimensional anti-de Sitter spacetime, the embedding in ambient signature is parametrized by , , . On this hyperboloid and is periodic modulo , creating closed timelike circles. The physically usual universal cover removes that periodicity:Both signs of are needed for the full two-dimensional spatial line. Taking without an additional construction would omit one of its two ends. The following causal comparison uses the AdS universal cover.
Both models are maximally symmetric Lorentzian manifolds, with constant sectional curvature and no curvature singularities. In the paper's convention their Ricci scalars are respectively and . The de Sitter spatial scale factor contracts to a nonzero minimum and then expands; is not a big-bang singularity. The AdS metric is static, and is timelike everywhere because .
The embeddings give a concise classification of all affinely parametrized geodesics. Geodesic acceleration in the ambient space is normal to the hyperboloid, hence proportional to . Differentiating the constraint and setting , with for timelike, null and spacelike curves, givesEvery solution stays in the two-plane spanned by its initial point and tangent , so every geodesic is a plane section through the ambient origin. For de Sitter, these are for timelike curves, for null curves, and for spacelike curves. Thus timelike geodesics and null geodesics are complete and nonclosed, while spacelike geodesics are closed circles on the ordinary hyperboloid. These are the geodesics of two-dimensional de Sitter spacetime.
For AdS the roles of the circular and hyperbolic solutions are reversed: timelike curves are , null curves are , and spacelike curves are . Timelike curves close after proper time on the hyperboloid, but their lifts on the universal cover continue to ever later time rather than forming closed curves. All three kinds extend for arbitrary affine parameter. This is geodesics of two-dimensional anti-de Sitter spacetime, not an assertion that geodesics reach the conformal boundary in finite physical affine length.
The coordinate first integrals make the behavior concrete. In de Sitter, spatial rotational symmetry gives a conserved , and normalization givesConstant- observers are timelike geodesics. Nontrivial null geodesics have affine parameter proportional to , which diverges at both . In AdS the conserved static energy is , withFor timelike curves, andThey oscillate through the center and never reach spatial infinity; is the geodesic. For null curves, , so both ends are at infinite affine parameter. Spacelike AdS geodesics likewise extend to the two spatial ends.
For the conformal structure, introduce de Sitter conformal timeMultiplying by gives the conformal cylinder of two-dimensional de Sitter spacetime. The past and future conformal infinities are spacelike circles at . Null curves are modulo . Although the conformal-time interval is finite, their physical affine parameters and timelike observers' proper times are infinite at its ends. Constant- circles are Cauchy hypersurfaces; global de Sitter is globally hyperbolic.
For AdS putThe conformal strip of two-dimensional anti-de Sitter spacetime has unbounded time and timelike conformal boundaries at . Null curves have . A signal from any finite reaches the center in coordinate time , and a null curve crosses the entire conformal strip in time . This finite coordinate travel time coexists with infinite physical affine length to the boundary. The covering spacetime has no closed timelike curves, but is not globally hyperbolic: causal curves can arrive from timelike infinity without meeting a proposed initial slice. Field evolution consequently requires boundary conditions as well as initial data. Unwrapping time removes closed timelike curves, not the timelike boundary.
The contrast in observer event horizons follows directly from these null curves. For the complete de Sitter observer , let be shortest angular distance. An event can send a signal to this observer before its future endpoint precisely whenEquality is its future observer event horizon. It can receive a signal emitted by the observer after its past endpoint precisely when , whose equality is the past horizon. In the observer's fundamental domain these horizons are null linesTheir intersection encloses the observer's static patch of de Sitter spacetime, the diamond . They are observer-dependent cosmological horizons, not curvature singularities or Cauchy horizons. Every inertial observer has the corresponding horizons by de Sitter symmetry.
For the complete AdS static observer at , every event at finite can send a signal to the observer, and can receive one, because time is unbounded and the coordinate distance is finite. Thus there is no corresponding global static-observer event horizon. The lapse never vanishes in these coordinates. Restricted accelerated-observer patches can have observer horizons, but those are distinct from the global static model. On the original periodic-time AdS hyperboloid, the more serious issue is closed timelike curves.
Conformal cylinder of de Sitter and covering anti-de Sitter strip, showing null geodesics, observer horizons and causal boundaries
. Details. The figure identifies the de Sitter spatial edges and displays only a finite time window of the AdS covering strip, whose time continues indefinitely. Solid red curves are null geodesics; the oscillating AdS curve is a timelike geodesic. The shaded de Sitter diamond is the static observer's two-way communication region, not the entire spacetime.
The concise comparison is de Sitter has spacelike conformal infinities and cosmological observer horizons; covering AdS has timelike conformal boundaries and no horizon for an eternal global static observer. Both are constant-curvature and geodesically complete, but their geodesic recurrence, global topology, causal boundaries and initial-value properties differ.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 61 4 Solution Created 2026-10-03 Updated 2026-10-14
The original spherical coordinates have , , and , with periodic. The angular coordinates degenerate at the polar axis and all angles identify at ; a regular spherical chart uses , and suitable overlapping angular patches.
The retarded time and advanced coordinate both range over , with the joint restriction . Their inverse relations are and , soSet , . ThenThe conformal factor is . Since , multiplication by givesFinally and give . HenceThis is a region of the Einstein static universe, with positive time and negative spatial signature. The exact joint coordinate domain isor equivalently and . The regular radial chart has ; is the ordinary centre. The angular ranges are unchanged. It is important not to treat the stated individual ranges of as independent. The inverse map and conformal factor provide a useful check:
The resulting Minkowski conformal compactification has a triangular radial Penrose diagram. The two sloping boundary edges areThese are future null infinity and past null infinity. The three vertices are future timelike infinity , past timelike infinity and spacelike infinity . They are ideal boundary points, not events of physical Minkowski spacetime.
For a complete inertial timelike geodesic, with . As , both and tend to , so and the curve ends at . As , both tend to , giving . These endpoints occur at infinite physical proper time.
For a complete null geodesic, write , . To the future, , so is finite and . Thus with finite: the endpoint lies on . To the past, remains finite while , giving . Physical affine parameter is infinite at both ends. Along a radial null path, , so the diagram represents its null directions at degrees.
For a complete spacelike geodesic, take , with . At either end asymptotically, so , and . Both ends therefore reach , again at infinite physical affine parameter. These are the geodesic endpoints in Minkowski conformal compactification.
Radial conformal compactification of Minkowski spacetime with images of complete timelike, null and spacelike geodesics
. Details. Only conformal preservation of null geodesic paths is guaranteed. The pictured timelike and spacelike curves are images of physical geodesics, not generally geodesics of the unphysical metric. For a null path, an unphysical affine parameter satisfies . Since near a generic null-infinity endpoint, the unphysical parameter can converge while the physical parameter diverges. At and , the usual smooth-boundary condition degenerates; these vertices should not be treated as regular points of null infinity.
Complete Minkowski spacetime has no black-hole event horizon. Every physical event can send an outgoing null signal to , so the black-hole region is empty. There is likewise no particle or future event horizon for an eternal inertial observer: any finite event can eventually signal that observer. Null infinity is a conformal boundary, not a physical horizon. Uniformly accelerated observers can have Rindler horizons, but that is an observer-dependent restriction and is not a horizon of the full inertial Minkowski spacetime.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 63 4 Solution Created 2026-10-03 Updated 2026-10-14
For the full unit-radius two-dimensional de Sitter spacetime, the coordinate ranges areOne can use with endpoints identified. If the identification is omitted, the same line element describes the universal covering spacetime instead. The periodicity follows from the hyperboloid embeddingThe induced ambient Minkowski metric is precisely the given Lorentzian metric.
Using an affine parameter , the geodesic Lagrangian is . The nonzero Christoffel symbols areThus the geodesic equations and their first integrals areHere for unit-speed timelike geodesics, for null geodesics and for unit-speed spacelike geodesics. The conserved is the geodesic conserved quantity from a Killing vector for the angular symmetry.
All geodesics of two-dimensional de Sitter spacetime can be written especially simply in the embedding. If is the initial point and the initial tangent, with , , , the geodesic has normal ambient acceleration . ThereforeThese curves stay in the two-plane spanned by and , preserve both constraints and have no tangential acceleration. They consequently solve the geodesic equation and exhaust all initial directions.
An isometry can move the chosen point to , namely . For future-directed timelike geodesics take , obtainingThe continuous angular branch has , and every real gives a distinct timelike direction. The two null geodesics have andFor spacelike geodesics take , givingThey are closed with period in affine arclength and . In particular, is the equatorial geodesic . These three families, with reversals of parametrization allowed, are the requested complete set through the chosen point.
The conformal time substitution givesHenceMultiplying by gives the regular conformal cylinder of two-dimensional de Sitter spacetime. Adding completes the conformal compactification; both boundary circles are spacelike. Null geodesics are straight lines through the origin. The other families have the useful diagram equationsThe image sketches representative directions from each family; the formulas allow all intermediate directions.
Geodesics through one point and observer horizons on the two-dimensional de Sitter conformal cylinder
. Details. For the complete observer , let be the shortest angular distance on the circle. Since light travels one unit of angular distance per unit conformal time, an event at can signal to the observer at some finite future time precisely whenEquality defines its future observer event horizon. Likewise an event can receive a signal emitted by the observer precisely whenand equality defines the past horizon. In the lift , their branches are and . The common communication region is the diamond , the observer's static patch of de Sitter spacetime. These are the observer horizons in two-dimensional de Sitter spacetime. Every complete timelike observer has analogous horizons after a de Sitter isometry; they depend on the observer, rather than enclosing an intrinsic black-hole region.
Despite these horizons, each constant- circle is a Cauchy hypersurface of the full spacetime: any inextendible causal curve crosses it exactly once. The global spacetime is therefore globally hyperbolic and has no Cauchy horizons. The conformal boundaries lie at infinite proper time for complete timelike geodesics and infinite affine distance for complete null geodesics, so their finite height in the diagram is not a physical incompleteness.
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 52 4 Solution Created 2026-10-03 Updated 2026-10-14
The radial part of the Minkowski metric becomes , and . With , and the positive conformal factor , multiplication by givesConsequently the Minkowski conformal compactification isThe spatial metric is the round unit three-sphere. The extended unphysical metric is therefore that of the Einstein static universe, with unit spatial radius. Physical Minkowski spacetime occupies only the diamond-shaped causal patch of this cylinder, or a triangle after restricting to nonnegative spherical radius; it is not the whole cylinder.
The complete coordinate ranges and joint restrictions areThe polar angles have the usual coordinate degeneracies at their poles and at . In the extended Einstein static universe one may let and , but these are not the ranges of the original physical patch. In its interior . The line is the regular centre , not a component of infinity.
The conformal completion has future timelike infinity , past timelike infinity , and spacelike infinity . The open sloping boundaries arenamely future null infinity and past null infinity. Each ordinary interior point of the radial diagram represents a two-sphere, and each point on either open null boundary represents a two-sphere of null directions.
Minkowski Penrose triangle with timelike, spacelike and null infinities, the regular centre and representative causal and spacelike geodesics
. Details. A timelike geodesic is an inertial worldline with . As , both and tend to , giving and endpoint . At past infinity both tend to , giving . These endpoints are reached at infinite physical proper time, although at finite conformal coordinate time . A null geodesic has . In its outgoing future, approaches a finite retarded time while , giving an endpoint on ; in its incoming past, has a finite limit and , giving an endpoint on . A spacelike geodesic is a straight line with spatial tangent larger than its temporal tangent, so , at either end and both endpoints are in the compactified radial description. All these physical geodesics are complete. Only the unparametrized null geodesics are necessarily preserved as geodesics of the unphysical metric; timelike and spacelike images need not be its geodesics.
For horizons, distinguish a property of the spacetime from a property of an observer or of an initial-data hypersurface. Complete inertial observers have no particle horizon: in the flat cosmological slicing , the past light-travel distance is infinite. There is no finite-age initial singularity truncating communication between comoving observers. This statement does not say that an event receives signals from spacelike-separated events at the same time.
There is also no black-hole event horizon, because every event can send a future-directed null ray to future null infinity. Nevertheless accelerated timelike observers can have both future and past observer event horizons. For an entire observer worldline , define them by and , using its complete future and past respectively. An inertial observer's chronological past and future of the whole worldline are both all of Minkowski spacetime. By contrast, for the uniformly accelerated worldline in a Cartesian spatial direction,its null coordinates obey and . An event with can signal to a sufficiently late point of this worldline, whereas an event with cannot; finite transverse displacements do not change that conclusion as . Similarly the worldline can signal to precisely the events with . Thus its two observer event horizons areThey are the Rindler horizons, and their accessible common region is . They do not indicate a curvature singularity or a failure of global predictability.
Finally Minkowski spacetime is a globally hyperbolic spacetime: every inextendible causal curve crosses each complete spacelike plane exactly once. Indeed is strictly monotone along future-directed causal curves, and the speed bound prevents an inextendible curve from ending at finite by escaping to spatial infinity. Its time range is therefore all of . These planes are Cauchy hypersurfaces with full domain of dependence, so there are no Cauchy horizons associated with complete Cauchy data.
A Cauchy horizon is, however, defined relative to a specified initial surface. Under a literal existence reading of “admits”, non-Cauchy initial surfaces can have such horizons even in flat spacetime. For example the edgeless spacelike hyperboloid has . To see this, inside the future light cone and are positive and nondecreasing on future-directed causal curves. Their product increases past on every future-inextendible curve from below the hyperboloid; every past-inextendible curve from above it crosses down through before leaving the cone. Outside the cone there is an inextendible null curve avoiding the hyperboloid. The future light cone itself is its past Cauchy horizon. The time-reversed hyperboloid gives a future Cauchy horizon. This is the dependence of a Cauchy horizon on the initial hypersurface, not an intrinsic loss of predictability of full Minkowski spacetime. Thus a categorical claim that no choice of partial initial surface can ever have a Cauchy horizon would be too strong.








