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.

In the ambient space of signature $(-,-,+,\dots ,+)$, AdS is $X\cdot X=-L^2$. Let an arbitrary event have embedding vector $X_P$, and let $V_P$ be any future unit timelike tangent, soThe complete family through that event isDirect substitution gives $X^2=-L^2$ and ${\dot{X}}^2=-1$. Its ambient acceleration is $\ddot{X}=-X/L^2$, normal to the hyperboloid, so its tangential covariant acceleration vanishes. This proves that $s$ is proper time and that each curve is a timelike geodesic, rather than just guessing sinusoidal tracks from the diagram.

An AdS isometry can place any chosen $P$ at $T=\rho =0$. Rotate the spatial direction into the displayed signed diameter. Write the initial local velocity as $v=\tanh \chi$, with $|v|<1$. Then $X_{-1}=L\cos (s/L)$, $X_0=L\cosh \chi \sin (s/L)$ and $X_1=L\sinh \chi \sin (s/L)$. Eliminating $s$ using the global coordinates givesVarying the speed gives the drawn family; suppressed spatial directions can be restored by varying the tangent direction. It represents all timelike initial directions after the isometry and spatial rotations.

Every finite-speed curve turns before the conformal boundary. At proper time $\pi L$, all reach $-X_P$; at $2\pi L$ their ambient coordinates return to $X_P$. This is Anti-de Sitter timelike geodesic refocusing. On the universal cover the global time has advanced by $\pi$ and $2\pi$, respectively, so these are later events. They are not closed timelike curves. The limits $|v|\to 1$ approach the null directions and are not timelike members of the family.

In ordinary spherical coordinates, $t\in \mathbb{R}$, $r\in [0,\infty )$, $\theta \in [0,\pi ]$ and $\varphi \in [0,2\pi )$ with periodic identification. The regular coordinate chart excludes the origin and polar axes; the endpoint ranges include the usual spherical identifications. With null coordinates $u=t-r$ and $v=t+r$, both are real and their joint domain is $v\ge u$. The inverse relations giveThe arctangent coordinates obey $-\pi /2<p\le q<\pi /2$. Since $du={\sec }^{2}pdp$ and $dv={\sec }^{2}qdq$, the rescaled metric isNow $T=p+q$, $R=q-p$, so $4dpdq=d{T}^2-d{R}^2$. Thus the Minkowski conformal compactification hasThe full coordinate ranges are linked, not independent: $T\in (-\pi ,\pi )$ and $R\in [0,\pi )$ with $|T|+R<\pi$. Inverse coordinates are $p=(T-R)/2$, $q=(T+R)/2$, $t=[\tan q+\tan p]/2$, $r=[\tan q-\tan p]/2$. The conformal factor isThe unphysical metric extends as the unit-radius Einstein static universe on $\mathbb{R}\times S^3$, where $0\le R\le \pi$ with the endpoint two-spheres collapsed. Physical Minkowski spacetime occupies the triangular radial domain $R\ge 0$, $|T|+R<\pi$; the edge $R=0$ 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 ${\mathcal{I}}^{+}$ has $v\to +\infty$ with finite $u$, while ${\mathcal{I}}^{-}$ has $u\to -\infty$ with finite $v$. A diagram point with $0<R<\pi$ stands for a two-sphere, and each null boundary is topologically $\mathbb{R}\times S^2$; their three corners are points after the angular collapse. On the null boundaries $\Omega =0$ and $d\Omega \ne 0$, 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 $t=t_0+E\tau$, $\mathbf{x}={\mathbf{x}}_0+\mathbf{p}\tau$, with $E>0$ and $E^2-|\mathbf{p}{|}^2=1$. At future infinity $u,v\to +\infty$, so $p,q\to \pi /2$ and the curve ends at $i^{+}$. At past infinity both tend to $-\infty$, giving $i^{-}$. Every complete inertial timelike path has these endpoints, regardless of velocity.

For a future-directed null geodesic, $t=t_0+E\lambda$, $\mathbf{x}={\mathbf{x}}_0+E\mathbf{n}\lambda$ with $|\mathbf{n}|=1$. As $\lambda \to +\infty$, $v\to +\infty$ but $u$ has a finite limit; the endpoint lies on ${\mathcal{I}}^{+}$. As $\lambda \to -\infty$, $u\to -\infty$ but $v$ has a finite limit, giving an endpoint on ${\mathcal{I}}^{-}$. A conformal transformation preserves these null paths as unparametrized geodesics. The null affine parameter under a conformal rescaling obeys $d\tilde{\lambda }/d\lambda ={\Omega }^2$; here ${\Omega }^2=O({\lambda }^{-2})$ 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 $t=t_0+a\lambda$, $\mathbf{x}={\mathbf{x}}_0+\mathbf{b}\lambda$, with $|\mathbf{b}|>|a|$. At either end $r>|t|$ asymptotically, $u\to -\infty$ and $v\to +\infty$, so both ends approach $i^0$. Timelike and spacelike physical geodesic paths are not generally geodesics of the rescaled metric. Their physical proper time or length is infinite, while $\Omega =O(|\lambda {|}^{-2})$ gives finite unphysical proper time or length near the endpoints. Infinity at finite diagram coordinates does not imply incompleteness of physical Minkowski geodesics.

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.

Use units $c=1$, signature $(+---)$, and the weak-field metric $g_{ab}={\eta }_{ab}+h_{ab}$. Define the trace-reversed metric perturbation by ${\bar{h}}_{ab}=h_{ab}-{\eta }_{ab}h/2$, with $h={\eta }^{ab}{h}_{ab}$. In the Lorenz gauge in linearized gravity, ${\partial }^a{\bar{h}}_{ab}=0$, the sign convention of Q2 givesFor completeness, the linearized Ricci tensor in this convention isSubstituting the Lorenz condition ${\partial }_c{h}^c{}_b={\partial }_{b}h/2$ and trace reversing gives the stated Einstein tensor. For a stationary source, $\square =-{\nabla }^2$, so ${\nabla }^2{\bar{h}}_{ab}=16\pi G{T}_{ab}$.

Keep the monopole terms of order $ϵ=GM/R$ and the leading term linear in the rotation rate. Since $\Omega R=O({ϵ}^{1/2})$, the latter metric term is of order $ϵ\Omega R=O({ϵ}^{3/2})$ on the shell. Thus it would disappear from a strictly order-$ϵ$ truncation; the requested approximation must retain the leading rotation correction as well. Terms $T_{ij}=\rho v_i{v}_j$ generate metric corrections of order $ϵ(\Omega R{)}^2=O({ϵ}^2)$ and are neglected. Corrections to four-velocity normalization and the supporting shell stresses affect the omitted higher orders. To retained order,The minus sign in $T_{0i}$ comes from lowering its spatial index; using $T^{0i}$ in its place would reverse the dragging direction.

The scalar Poisson solution regular at the centre and vanishing at spatial infinity is ${\bar{h}}_{00}=-4GM/r$ outside the shell and ${\bar{h}}_{00}=-4GM/R=-4ϵ$ inside. Continuity and the derivative jump ${\bar{h}}_{00}^{\prime }(R^{+})-{\bar{h}}_{00}^{\prime }(R^{-})=4GM/R^2$ verify the density $M\delta (r-R)/(4\pi R^2)$. Also ${\bar{h}}_{ij}=0$ at this order. Undoing trace reversal givesComparing with the scalar parts of the interior line element yields $A=-ϵ$ and $C=ϵ$.

For the mass-current contribution writeEach nonzero angular component is a degree-one spherical harmonic. The supplied Laplacian eigenvalue therefore givesAway from the shell, the two radial solutions are $r$ and $r^{-2}$. Regularity at $r=0$ and decay at infinity select $F_{\mathrm{in}}=ar$ and $F_{\mathrm{out}}=b/r^2$. Continuity at $R$ requires $b=a{R}^3$, and integrating the differential equation across the shell givesThus $a=4GM\Omega /(3R)=\omega$, with $F_{\mathrm{in}}=\omega r$. Trace reversal leaves mixed components unchanged, so $h_{0i}=\omega (\hat{\mathbf{z}}\times \mathbf{x}{)}_i=\omega (-y,x,0{)}_i$. The paper writes $g_{0i}=-B_i$, giving the frame dragging inside a slowly rotating spherical shellThis dipole matching is valid throughout $r<R$; it does not assume the observation point is very close to the centre. The stationary current is divergence-free, so this solution also satisfies the Lorenz gauge. The exterior result is $h_{0i}=2G(\mathbf{J}\times \mathbf{x}{)}_i/r^3$, where the thin shell has $\mathbf{J}=(2/3)M{R}^2\mathbf{\Omega }$, providing a check on the coefficient.

To identify the freely falling frames inside, let ${\mathcal{R}}_z(\theta )$ be the ordinary spatial rotation by angle $\theta$. Define the inertial coordinates inside a slowly rotating spherical shell byDifferentiating and dropping ${ϵ}^2$, products beyond the retained rotation order, and ${\omega }^2$ giveswhich is precisely the interior metric. Thus the retained interior curvature is zero, despite its nontrivial relation to the nonrotating coordinates anchored at infinity. Timelike geodesics in these local inertial coordinates are straight lines $\mathbf{X}={\mathbf{X}}_0+\mathbf{V}T$, with $|\mathbf{V}|<1$. In the original coordinates this isunderstood to the same perturbative order. Their coordinate equation is $d^2\mathbf{x}/d{t}^2=2\mathbf{\omega }\times d\mathbf{x}/dt$ to first rotation order. There is no interior Newtonian acceleration from the constant potential; the velocity-dependent term is the apparent Coriolis term relative to the locally dragged inertial axes.

A freely transported gyroscope at rest in the interior to the retained order has constant spatial direction in the $\mathbf{X}$ frame, hence its direction in the original axes obeys $d\mathbf{S}/dt=\mathbf{\omega }\times \mathbf{S}$. Local inertial axes precess in the same sense as the shell, at $\omega =(4ϵ/3)\Omega$ relative to distant nonrotating axes. This is the interior Lense-Thirring precession. For a weak shell the dragging is only a small fraction of its angular velocity, not perfect corotation. It is compatible with the equivalence principle: rotation relative to distant axes is a comparison between frames, and local flatness at the retained order does not make that comparison vanish. Quadratic rotation terms, which would include centrifugal effects and additional curvature, are outside the requested leading approximation.

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.

Printed metric tensor. There is a genuine false premise. For the metric tensor actually printed, introduce $T=\sinh t$. Since $dT=\cosh tdt$ and $T$ ranges over all real values,This is global two-dimensional Minkowski spacetime, an example of how a time-dependent lapse can disguise flat spacetime. A future-directed timelike geodesic from the stated event, parametrized by proper time $s$, hasFor $p\ne 0$ the spatial position is unbounded, not periodic; $t$ is strictly increasing. The curve $p=1$, $E=\sqrt{2}$ is an explicit counterexample. Physically these are inertial particles moving at constant Minkowski velocity $p/E$. The nonlinear original time coordinate does not create a confining force.

Likely intended spatial lapse. The hint instead fits the different metric tensor $d{s}^2=-{\cosh }^{2}xd{t}^2+d{x}^2$, the unit-radius two-dimensional anti-de Sitter spacetime in global static coordinates. This interpretation is not substituted silently for the printed one. For that metric tensor the conserved energy is $E={\cosh }^{2}xdt/ds$, and normalization givesPutting $y=\sinh x$ gives ${\dot{y}}^2+y^2=E^2-1$, hence an outgoing geodesic from the origin hasThe supplied integral shows that $t$ increases by $\pi$ over each proper-time half-period. Thus the spatial oscillation repeats after proper time $2\pi$ and coordinate time $2\pi$, with turning points $|x|=\mathrm{arcosh}E$. It describes gravitationally confined inertial motion in AdS. On the universal cover, $t$ is not identified and the worldline is not closed; identifying $t$ modulo $2\pi$ makes the timelike geodesic closed. For $E=1$ the central particle stays at $x=0$.

General relativity models spacetime by a smooth four-dimensional Lorentzian manifold whose metric tensor governs clock readings, causal cones and free-particle motion. The Einstein equivalence principle motivates local special relativity and universal geodesic free fall for test bodies; it does not by itself select a unique gravitational field equation. We assume a Levi-Civita connection, a metric tensor as the gravitational field with no additional dynamical gravitational variables, and matter with a covariantly conserved stress-energy tensor. Units have $c=1$.

The existence of local inertial frames is a local statement. At any regular event choose an orthonormal frame and Riemann normal coordinates, so that $g_{ab}={\eta }_{ab}$ and ${\Gamma }^a{}_{bc}=0$ at the event, with metric signature $(+---)$. Metric compatibility then gives ${\partial }_c{g}_{ab}=0$ there. The geodesic equation at that point is the special-relativistic inertial equation. Along a timelike geodesic, a parallel-transported orthonormal frame gives Fermi normal coordinates, eliminating the connection along the central worldline. These constructions do not in general eliminate second derivatives of the metric tensor in a neighborhood. The Riemann curvature tensor is built from the derivatives of the connection coefficients as well as their quadratic terms; nonzero Riemann curvature tensor components can remain when all connection coefficients vanish at a chosen point. Conversely, Polar coordinates in Minkowski spacetime can have nonzero connection coefficients but zero Riemann curvature tensor. Connection coefficients alone are therefore not an invariant measure of gravity.

For the tensorial content, consider a two-parameter family of geodesics parametrized by an affine parameter, with tangent $U$ and connecting field $J$. Their coordinate construction gives $[U,J]=0$, and torsion-freeness gives ${\nabla }_{U}J={\nabla }_{J}U$. Since ${\nabla }_{U}U=0$, commuting derivatives in the convention of Question 1 yields geodesic deviation:The left side is covariant relative acceleration, rather than the second coordinate derivative of an arbitrary separation. In an orthonormal frame in free fall with $U=(1,0,0,0)$, its spatial components are $D^2{J}^i/d{\tau }^2=-R^i{}_{00j}{J}^j$. This is a measurable tidal force, and a coordinate transformation cannot make a nonzero Riemann curvature tensor disappear. It is the distinction between gravity at one event and the behavior of an extended freely falling laboratory.

In a static Newtonian limit, $g_{00}=1+2\Phi$ and ${\Gamma }^i{}_{00}={\partial }_i\Phi$, so the test-body acceleration is $-\nabla \Phi$. The curvature-sign convention in Killing derivative identities gives $R^i{}_{00j}\simeq {\partial }_i{\partial }_j\Phi$. Hence relative acceleration is the negative Hessian of the gravitational potential. For the Newtonian potential of a point mass $\Phi =-GM/r$, the Hessian has radial eigenvalue $-2GM/r^3$ and two tangential eigenvalues $GM/r^3$: radial separations stretch and tangential ones compress. Outside the source the Ricci tensor can vanish while the Riemann curvature tensor remains nonzero. Its vacuum tidal part is encoded by the Weyl tensor; vacuum does not mean flatness. Gravitational waves likewise carry Riemann curvature tensor disturbances without a local material source.

To obtain the field equations, make the additional dynamical assumptions explicit: locality and diffeomorphism invariance of general relativity; a symmetric metric tensor field equation using at most second derivatives of the metric tensor; a geometrical left-hand side linear in the Riemann curvature tensor with constant coefficients; and compatibility with local matter conservation. These restrictions exclude higher-curvature or extra-field alternatives. Under them the available rank-two curvature contractions give the ansatzThe contracted Bianchi identity and metric compatibility giveFor this to vanish identically for arbitrary metric tensors, $b=-a/2$. Assuming $a\ne 0$ and absorbing its normalization into the coupling givesThe permitted constant term is the cosmological constant. Its value is not fixed by the equivalence principle. Conservation of $T$ follows for generally covariant matter on its equations of motion: varying the matter action under a compactly supported infinitesimal diffeomorphism, then integrating its term $T^{ab}{\nabla }_a{\xi }_b$ by parts, gives ${\nabla }_a{T}^{ab}=0$. The divergence-free Einstein tensor is consistent with this identity.

The coupling sign must be fixed in the actual curvature-sign convention in Killing derivative identities, with $R_{ab}=R^c{}_{acb}$. For the static weak-field approximation, $R_{00}\simeq -\Delta \Phi$. Set $\Lambda =0$ for the local asymptotically flat Newtonian comparison. In four dimensions the trace equation gives $R=-\kappa T$, so $R_{00}=\kappa (T_{00}-\frac{1}{2}{g}_{00}T)\simeq \kappa \rho /2$ for slowly moving matter. Matching $\Delta \Phi =4\pi G\rho$ forces $\kappa =-8\pi G$. Thus, with this convention,Under the opposite curvature-sign convention in Killing derivative identities the coupling sign reverses, as in Einstein-equation coupling under reversed curvature. This sign statement is compatible with the supplied linearized handout. Local inertial frames remove the connection at an event; tidal Riemann curvature tensor effects remain tensorial, and the field equations require dynamical assumptions beyond the equivalence principle.

Birkhoff theorem states that every spherically symmetric vacuum solution of Einstein's equations with zero cosmological constant is locally Schwarzschild, with a constant mass parameter. In particular its exterior vacuum geometry is locally static even if the spherical material source moves. Assuming no exterior matter or outgoing matter radiation, the region outside the collapsing star is vacuum with its conserved total mass $M$, so the given Schwarzschild metric is appropriate there. Spherical gravitational radiation does not provide an extra time-dependent vacuum degree of freedom. Matter emission would invalidate the vacuum premise.

Use units $G=c=1$ and signature $(-,+,+,+)$ as in the displayed metric. For a radial timelike geodesic, stationarity gives conserved energy per unit mass $\mathcal{E}=F\dot{t}$. Proper-time normalization giveson the ingoing branch. At the horizon $F\to 0$, so $\dot{r}\to -\mathcal{E}$, with $\mathcal{E}>0$ for an infaller from the exterior. Henceis finite near the horizon. If release is from rest at a finite radius, the integrable square-root behavior at the release point also gives finite elapsed proper time. Thus the observer crosses the horizon in finite proper time; the Schwarzschild coordinate singularity is not a physical barrier.

By contrastso $t\sim -2M\log (r-2M)+\text{constant}$ diverges. Schwarzschild time is the limiting proper time of stationary observers at infinity. For actual signals, an outward radial null ray adds a propagation delay involving $r_{\ast }=r+2M\log (r/(2M)-1)$; signals emitted ever closer to the horizon reach a distant observer ever later and increasingly redshifted. No signal emitted at or inside the event horizon reaches that observer. Thus “seeing crossing only after infinite time” means an asymptotic observational limit, not an eventual finite-time sighting.

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 $X_0^2-X_1^2-X_2^2=-1$ in ambient signature $(+--)$, parametrized by $X_0=\sinh t$, $X_1=\cosh t\cos \chi$, $X_2=\cosh t\sin \chi$. Unwrapping $\chi$ instead gives its universal cover.

For two-dimensional anti-de Sitter spacetime, the embedding $X_0^2+X_1^2-X_2^2=1$ in ambient signature $(++-)$ is parametrized by $X_0=\cosh r\cos t$, $X_1=\cosh r\sin t$, $X_2=\sinh r$. On this hyperboloid $r\in \mathbb{R}$ and $t$ is periodic modulo $2\pi$, creating closed timelike circles. The physically usual universal cover removes that periodicity:Both signs of $r$ are needed for the full two-dimensional spatial line. Taking $r\ge 0$ 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 $+2$ and $-2$. The de Sitter spatial scale factor $a(t)=\cosh t$ contracts to a nonzero minimum and then expands; $t=0$ is not a big-bang singularity. The AdS metric is static, and ${\partial }_t$ is timelike everywhere because $g_{tt}={\cosh }^{2}r>0$.

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 $X$. Differentiating the constraint and setting $X^{\prime 2}=\kappa$, with $\kappa =1,0,-1$ for timelike, null and spacelike curves, givesEvery solution stays in the two-plane spanned by its initial point $P$ and tangent $V$, so every geodesic is a plane section through the ambient origin. For de Sitter, these are $P\cosh s+V\sinh s$ for timelike curves, $P+sV$ for null curves, and $P\cos s+V\sin s$ 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 $P\cos s+V\sin s$, null curves are $P+sV$, and spacelike curves are $P\cosh s+V\sinh s$. Timelike curves close after proper time $2\pi$ 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 $P_{\chi }={\cosh }^{2}td\chi /ds$, and normalization givesConstant-$\chi$ observers are timelike geodesics. Nontrivial null geodesics have affine parameter proportional to $\sinh t$, which diverges at both $t\to \pm \infty$. In AdS the conserved static energy is $E={\cosh }^{2}rdt/ds$, withFor timelike curves, $E\ge 1$ andThey oscillate through the center and never reach spatial infinity; $r=0$ is the $E=1$ geodesic. For null curves, $\lambda =\pm \sinh r/E+\text{constant}$, 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 ${\cos }^2\eta$ gives the conformal cylinder of two-dimensional de Sitter spacetime. The past and future conformal infinities are spacelike circles at $\eta =\mp \pi /2$. Null curves are $\chi =\pm \eta +\text{constant}$ modulo $2\pi$. Although the conformal-time interval is finite, their physical affine parameters and timelike observers' proper times are infinite at its ends. Constant-$\eta$ 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 $\psi =\pm \pi /2$. Null curves have $t\pm \psi =\text{constant}$. A signal from any finite $r$ reaches the center in coordinate time $|\psi |<\pi /2$, and a null curve crosses the entire conformal strip in time $\pi$. 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 $\chi =0$, let $d(\chi ,0)\in [0,\pi ]$ 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 $d(\chi ,0)<\eta +\pi /2$, 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 $d(\chi ,0)<\pi /2-|\eta |$. 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 $r=0$, every event at finite $r$ can send a signal to the observer, and can receive one, because time is unbounded and the coordinate distance $|\psi |$ 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.

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.

The original spherical coordinates have $t\in \mathbb{R}$, $0\le r<\infty$, $0\le \theta \le \pi$ and $0\le \varphi <2\pi$, with $\varphi$ periodic. The angular coordinates degenerate at the polar axis and all angles identify at $r=0$; a regular spherical chart uses $r>0$, $0<\theta <\pi$ and suitable overlapping angular patches.

The retarded time $u=t-r$ and advanced coordinate $v=t+r$ both range over $\mathbb{R}$, with the joint restriction $u\le v$. Their inverse relations are $t=(u+v)/2$ and $r=(v-u)/2$, soSet $p=\arctan u$, $q=\arctan v$. ThenThe conformal factor is $\Omega =2\cos p\cos q>0$. Since $(\tan q-\tan p)\cos p\cos q=\sin (q-p)$, multiplication by ${\Omega }^2$ givesFinally $T=p+q$ and $R=q-p$ give $4dpdq=d{T}^2-d{R}^2$. HenceThis is a region of the Einstein static universe, with positive time and negative spatial signature. The exact joint coordinate domain isor equivalently $R\ge 0$ and $|T|+R<\pi$. The regular radial chart has $R>0$; $R=0$ is the ordinary centre. The angular ranges are unchanged. It is important not to treat the stated individual ranges of $T,R$ 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 $i^{+}=(\pi ,0)$, past timelike infinity $i^{-}=(-\pi ,0)$ and spacelike infinity $i^0=(0,\pi )$. They are ideal boundary points, not events of physical Minkowski spacetime.

For a complete inertial timelike geodesic, $\mathbf{x}=\mathbf{b}+\mathbf{v}t$ with $|\mathbf{v}|<1$. As $t\to +\infty$, both $t-r$ and $t+r$ tend to $+\infty$, so $p,q\to \pi /2$ and the curve ends at $i^{+}$. As $t\to -\infty$, both tend to $-\infty$, giving $i^{-}$. These endpoints occur at infinite physical proper time.

For a complete null geodesic, write $\mathbf{x}=\mathbf{b}+\mathbf{n}t$, $|\mathbf{n}|=1$. To the future, $r=t+\mathbf{n}\cdot \mathbf{b}+O(1/t)$, so $u\to -\mathbf{n}\cdot \mathbf{b}$ is finite and $v\to +\infty$. Thus $q\to \pi /2$ with $p$ finite: the endpoint lies on ${\mathcal{I}}^{+}$. To the past, $v\to -\mathbf{n}\cdot \mathbf{b}$ remains finite while $u\to -\infty$, giving ${\mathcal{I}}^{-}$. Physical affine parameter is infinite at both ends. Along a radial null path, $dT=\pm dR$, so the diagram represents its null directions at $45$ degrees.

For a complete spacelike geodesic, take $t=t_0+a\lambda$, $\mathbf{x}=\mathbf{b}+\mathbf{w}\lambda$ with $|\mathbf{w}|>|a|$. At either end $r>|t|$ asymptotically, so $u\to -\infty$, $v\to +\infty$ and $(T,R)\to (0,\pi )$. Both ends therefore reach $i^0$, again at infinite physical affine parameter. These are the geodesic endpoints in Minkowski conformal compactification.

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 $d\tilde{\lambda }/d\lambda \propto {\Omega }^2$. Since $\Omega =O(1/|\lambda |)$ near a generic null-infinity endpoint, the unphysical parameter can converge while the physical parameter diverges. At $i^{\pm }$ and $i^0$, the usual smooth-boundary condition $d\Omega \ne 0$ degenerates; these vertices should not be treated as regular points of null infinity.