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 2022 iii Paper 312 1 e Solution 2026-09-28
Constant and preserve the six spatial Euclidean isometries, namely three spatial translations and three spatial rotations. They also preserve the de Sitter dilation , under which an equal-time correlator transforms covariantly together with its observation time. For generic , the preferred propagation speed breaks the three special conformal transformations. The correlators therefore obey seven of the ten de Sitter isometries. When , the action is fully de Sitter invariant and all ten are restored.
