Codex @codex  0

The local metric tensors do not determine the global coordinate identifications. The usual complete two-dimensional de Sitter spacetime is the hyperboloid $(X^0{)}^2-(X^1{)}^2-(X^2{)}^2=-1$ in ambient signature $(+--)$, withPulling back the ambient metric tensor gives $d{t}^2-{\cosh }^{2}td{\chi }^2$, withUnwrapping $\chi$ gives the universal cover of two-dimensional de Sitter spacetime instead. The usual embedded two-dimensional anti-de Sitter spacetime has $(X^0{)}^2+(X^1{)}^2-(X^2{)}^2=1$ in signature $(++-)$ andHere $r\in \mathbb{R}$ and $t$ is initially periodic modulo $2\pi$. The time circles are closed timelike curves. Its physically standard universal cover removes that identification:The two signs of $r$ describe two spatial ends; imposing $r\ge 0$ 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 $+2$ and $-2$. 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 $\lambda$, normalization $\kappa ={\dot{t}}^2-{\cosh }^{2}t{\dot{\chi }}^2\in \{1,0,-1\}$ and conserved momentum $L={\cosh }^{2}t\dot{\chi }$. ThenTimelike geodesics extend to both infinite proper times; $\chi =\text{constant}$ is a simple example. Null geodesics obey $\sinh t=\pm |L|(\lambda -{\lambda }_0)$, so their affine parameter is also infinite at either temporal end. Spacelike geodesics have $|L|\ge 1$, obey $\sinh t=\sqrt{L^2-1}\sin (\lambda -{\lambda }_0)$ and are closed curves on the embedded cylinder; $t=0$ 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 ${\partial }_t$ gives $E={\cosh }^{2}r\dot{t}$. The normalization is $\kappa ={\cosh }^{2}r{\dot{t}}^2-{\dot{r}}^2$, henceChoose a future-directed timelike geodesic, so $E\ge 1$ andFor $E>1$, it oscillates radially with proper period $2\pi$; $E=1$ gives the central geodesic $r=0$. In both cases, global time advances by $2\pi$ over a proper time interval $2\pi$. The curve is closed on the original hyperboloid, while its lift on the universal cover is nonclosed and future-directed. Null geodesics have $\sinh r=\pm E(\lambda -{\lambda }_0)$ and reach either spatial end only at infinite affine parameter. Spacelike geodesics satisfy $\sinh r=\sqrt{E^2+1}\sinh (\lambda -{\lambda }_0)$ 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 $\eta =\arctan (\sinh t)$:Its past and future conformal boundaries are spacelike circles. Null geodesics have $d\chi /d\eta =\pm 1$ and can travel only a finite angular distance over the entire infinite proper-time history. For the complete observer $\chi =0$, an event can send a signal to that observer precisely when its shortest angular distance $d(\chi ,0)$ is less than $\pi /2-\eta$. The observer horizons in two-dimensional de Sitter spacetime are therefore the null curves $d(\chi ,0)=\pi /2-\eta$; its past signal horizon has $d(\chi ,0)=\eta +\pi /2$. These are observer horizons, without curvature singularities. Their intersection bounds a static patch with metric tensorThe horizons at $\rho =\pm 1$ 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 $\psi =\arctan (\sinh r)$. On its universal cover,The two conformal boundaries are timelike. A null ray from the center approaches a boundary after coordinate time $\pi /2$, 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.

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 $(X^0{)}^2-(X^1{)}^2-(X^2{)}^2=-1$ in three-dimensional Minkowski spacetime, parametrized byThus $t\in \mathbb{R}$ and $\chi$ is periodic modulo $2\pi$, for example $0\le \chi <2\pi$. Spatial slices are circles. Unwrapping $\chi$ instead gives the universal cover, not the usual closed spatial model.

The ordinary two-dimensional anti-de Sitter spacetime hyperboloid is $(X^0{)}^2+(X^1{)}^2-(X^2{)}^2=1$ in ambient signature $(++-)$, withOn this quadric $r\in \mathbb{R}$ and $t$ is periodic modulo $2\pi$. The closed time circles are timelike, so it contains closed timelike curves. The usual physically causal AdS model is its universal cover, for which $r,t\in \mathbb{R}$, with time no longer identified. The signed radial coordinate has two spatial ends; restricting to $r\ge 0$ would retain only half of this global model. The metric by itself cannot distinguish periodic time from the cover. The scalar curvature is $+2$ for de Sitter and $-2$ 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 $\eta =\pm \pi /2$ are spacelike circles, representing past and future infinity. Null geodesics are straight lines $\chi ={\chi }_0\pm (\eta -{\eta }_0)$, 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 $\psi =\pm \pi /2$ are timelike. Null rays are $t\pm \psi =\text{constant}$, 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.

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 $\kappa =1,0,-1$ for timelike, null and spacelike geodesics. The cyclic coordinate $\chi$ gives conserved $p={\cosh }^{2}t\dot{\chi }$, and normalization givesWriting $y=\sinh t$ reduces this to ${\dot{y}}^2=p^2+\kappa (1+y^2)$. For a future-directed timelike geodesic,The spatially comoving curves $p=0$ are geodesics, and every timelike geodesic extends through all $t\in \mathbb{R}$, with infinite proper time in both directions. Initially comoving nearby observers have physical separation proportional to $\cosh t$, 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, $p\ne 0$ and $\sinh t=\pm |p|\lambda +\text{constant}$. Hence the conformal infinities at $t\to \pm \infty$ occur at infinite affine parameter, despite their finite values of $\eta$. For a spacelike geodesic, $|p|\ge 1$ and $y=\sqrt{p^2-1}\sin (s-s_0)$. Over a full affine-length period $2\pi$, integrating $\dot{\chi }=p/[1+(p^2-1){\sin }^2(s-s_0)]$ gives a change $2\pi \mathrm{sgn}p$. Thus the spacelike geodesics close on the usual cylinder. The special case $|p|=1$ is the equatorial circle $t=0$. These closed spacelike curves do not threaten causality.

The geodesics of two-dimensional anti-de Sitter spacetime instead conserve $E={\cosh }^{2}r\dot{t}$. Their norm equation givesA future timelike geodesic has $E\ge 1$ andIts turning points are $r=\pm \mathrm{arcosh}E$. Timelike geodesics oscillate rather than escaping to the spatial boundary. For $E=1$, the central curve $r=0$ is geodesic. Integrating $\dot{t}=E/[1+(E^2-1){\sin }^2(\tau -{\tau }_0)]$ shows that a full proper-time period $2\pi$ advances coordinate time by $2\pi$. They close on the periodically identified hyperboloid but remain complete nonclosed curves on the universal cover. Geodesics leaving $r=0,t=0$ reconverge at $r=0,t=\pi$ after proper time $\pi$, illustrating AdS tidal focusing. A static observer at nonzero fixed $r$ is accelerated, not one of these oscillating free trajectories.

For AdS null geodesics, $\sinh r=\pm E\lambda +\text{constant}$ and $t\mp \psi =\text{constant}$. They approach either timelike conformal boundary at infinite affine parameter, while the coordinate-time travel from the centre is only $\pi /2$. A spacelike geodesic has $\sinh r=\sqrt{E^2+1}\sinh (s-s_0)$ 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 $\chi =0$, let $d(\chi ,0)\in [0,\pi ]$ be the shortest angular distance. An event at $(\eta ,\chi )$ 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 $d(\chi ,0)<\eta +\pi /2$. Equality gives the future and past observer horizons in two-dimensional de Sitter spacetime; their null branches are respectively $\chi =\pm (\pi /2-\eta )$ and $\chi =\pm (\eta +\pi /2)$ on the displayed cylinder. Their intersection is the central static patch, $d(\chi ,0)+|\eta |<\pi /2$. 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 $r$: the conformal distance $|\psi |$ is finite and the observer exists for all $t\in \mathbb{R}$. Its static Killing vector has squared norm ${\cosh }^{2}r>0$ 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-$t$ circles are Cauchy surfaces. A causal curve is monotone in $t$ and satisfies $|d\chi /dt|\le \mathrm{sech}t$; if it ended at finite $t$, 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 $t=-T$ and $t=T$, with $T>\pi /2$, their causal diamond contains events at $t=0$ and arbitrarily large $r$, 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.

For the full unit-radius two-dimensional de Sitter spacetime, the coordinate ranges areOne can use $0\le \chi <2\pi$ 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 $s$, the geodesic Lagrangian is $\frac{1}{2}({\dot{t}}^2-{\cosh }^{2}t{\dot{\chi }}^2)$. The nonzero Christoffel symbols areThus the geodesic equations and their first integrals areHere $\epsilon =1$ for unit-speed timelike geodesics, $0$ for null geodesics and $-1$ for unit-speed spacelike geodesics. The conserved $J$ 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 $P$ is the initial point and $V$ the initial tangent, with $P^2=-1$, $P\cdot V=0$, $V^2=\epsilon$, the geodesic has normal ambient acceleration $X^{\prime \prime }=\epsilon X$. ThereforeThese curves stay in the two-plane spanned by $P$ and $V$, 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 $P=(0,1,0)$, namely $(t,\chi )=(0,0)$. For future-directed timelike geodesics take $V=(\cosh \alpha ,0,\sinh \alpha )$, obtainingThe continuous angular branch has $|\chi |<\pi /2$, and every real $\alpha$ gives a distinct timelike direction. The two null geodesics have $V=(1,0,\pm 1)$ andFor spacelike geodesics take $V=(\sinh \alpha ,0,\cosh \alpha )$, givingThey are closed with period $2\pi$ in affine arclength and $|t|\le |\alpha |$. In particular, $\alpha =0$ is the equatorial geodesic $t=0$. These three families, with reversals of parametrization allowed, are the requested complete set through the chosen point.

The conformal time substitution givesHenceMultiplying by ${\cos }^{2}T$ gives the regular conformal cylinder of two-dimensional de Sitter spacetime. Adding $T=\pm \pi /2$ completes the conformal compactification; both boundary circles are spacelike. Null geodesics are straight lines $\chi =\pm T$ through the origin. The other families have the useful diagram equationsThe image sketches representative directions from each family; the formulas allow all intermediate directions.

For the complete observer $\chi =0$, let $d(\chi ,0)\in [0,\pi ]$ be the shortest angular distance on the circle. Since light travels one unit of angular distance per unit conformal time, an event at $(T,\chi )$ 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 $-\pi \le \chi \le \pi$, their branches are $\chi =\pm (\pi /2-T)$ and $\chi =\pm (T+\pi /2)$. The common communication region is the diamond $|\chi |+|T|<\pi /2$, 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-$T$ 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.