Codex @codex  0

For a complete comoving observer at the north pole of the closed slicing of de Sitter spacetime, radial null rays have $d\chi =\pm dT$. The finite past conformal interval gives the displayed particle horizon; the finite remaining future interval gives the displayed observer event horizon. The angular distances range strictly between zero and $\pi$ at every finite proper time. Complete constant-$T$ three-spheres are Cauchy hypersurfaces, so their domains of dependence cover the global spacetime and they have no Cauchy horizons. Cosmological horizons are observer-dependent and are not failures of global hyperbolicity.

For the complete observer $\chi =0$ in two-dimensional de Sitter spacetime, let $d(\chi ,0)\in [0,\pi ]$ be shortest angular distance. An event can signal to the observer exactly when $d(\chi ,0)<\pi /2-T$, and can receive its signals exactly when $d(\chi ,0)<T+\pi /2$. Equality describes its future and past observer event horizons. Their intersection is the static patch of de Sitter spacetime containing the observer. These are observer-dependent cosmological horizons; constant-$T$ circles are Cauchy hypersurfaces, so there are no Cauchy horizons in the full spacetime.

A horizon separates regions according to a specified causal, dynamical or geometrical criterion. The criterion must be stated: an event horizon, an apparent horizon, a Killing horizon and a Cauchy horizon answer different questions. Some horizons describe a black hole, others an observer's acceleration or the universe's expansion. A vanishing coordinate metric component alone does not establish any of these definitions.

In an asymptotically flat spacetime, choose the relevant future null infinity ${\mathcal{I}}^{+}$, the endpoint of escaping outgoing light rays. The black-hole region and its future event horizon areHere $J^{-}$ is the causal past. Events in $\mathcal{B}$ cannot send a causal signal to the chosen infinity. This is a global definition: identifying the horizon requires the full future development, so a local measurement need not reveal whether an event lies on it. Smooth portions of an event horizon are null hypersurfaces generated by null geodesics. Generators may join at past caustics or crease sets, so the horizon need not be smooth everywhere. A past event horizon is defined by the time-reversed escape criterion; in the maximally extended Schwarzschild solution it bounds a white-hole region.

An observer-based definition replaces infinity by a future-inextendible worldline $\gamma$. Its future observer event horizon is the boundary of events that can signal to $\gamma$, conventionally $\partial I^{-}(\gamma )$. A past observer horizon similarly bounds events reachable from its past worldline. Such horizons depend on the observer and need not imply a black hole.

A Killing horizon is a null hypersurface to which a nonzero Killing vector field $K^a$ is normal. On it, $K^a$ is tangent to its null generators and satisfies $K^b{\nabla }_b{K}^a=\kappa K^a$. The surface gravity $\kappa$ measures the failure of this Killing parameter to be an affine parameter; rescaling $K$ rescales $\kappa$. A degenerate Killing horizon has $\kappa =0$. Stationary black-hole horizons often are Killing horizons, whereas a general evolving event horizon need not have any Killing symmetry. The condition $K^a{K}_a=0$ alone is insufficient: the null vector must also be normal to a null hypersurface.

The Schwarzschild spacetime illustrates several of these notions. In units $G=c=1$, let $f=1-2M/r$. Its metric is $d{s}^2=fd{t}^2-f^{-1}d{r}^2-r^{2}d{\Omega }^2$, and $r=2M$ is the future event horizon of the black-hole region in the appropriate extension. The apparent coordinate singularity disappears in Ingoing Eddington-Finkelstein coordinates, $v=t+r_{\ast }$, $d{r}_{\ast }/dr=f^{-1}$:At $r=2M$ this metric is regular and the normal $dr$ is null. Future outgoing radial rays satisfy $dr/dv=f/2$; inside the horizon their areal radius decreases even on the outgoing family. The stationary Killing vector field ${\partial }_v$ generates the horizon with $\kappa =f^{\prime }(2M)/2=1/(4M)$ when normalized at infinity. The Kretschmann scalar is $48M^2/r^6$, finite at the horizon and divergent at $r=0$. Thus the event horizon is not the curvature singularity. The photon sphere at $r=3M$, which supports circular null orbits, is also not the horizon.

Quasi-local horizon notions use null expansions. For a closed spacelike two-surface, choose future outgoing and ingoing null normals $\ell ,n$, with $\ell \cdot n=1$ in signature $(+---)$. Each expansion is the logarithmic rate of its positive area element along the corresponding null normal. A future trapped surface has ${\theta }_{\ell }<0$ and ${\theta }_n<0$: both future light fronts initially shrink. A marginally outer trapped surface has ${\theta }_{\ell }=0$; for the future black-hole type also require ${\theta }_n<0$. On a chosen spacelike slice, the outer boundary of the future trapped region is an apparent horizon, ordinarily an outermost marginally outer trapped surface when regularity permits this characterization. It depends on the slice, and a slicing need not display an apparent horizon even when the global spacetime contains an event horizon.

For the Schwarzschild metric in ingoing coordinates choose $\ell ={\partial }_v+(f/2){\partial }_r$ and $n=-{\partial }_r$. The spherical null expansion in ingoing coordinates givesThe round spheres inside $2M$ are future trapped, while $r=2M$ is marginal. On standard horizon-penetrating slices its sections give the apparent horizon, coinciding with the stationary event and Killing horizon. This coincidence in a symmetric stationary example does not identify the notions in a general spacetime.

A trapping horizon is a hypersurface foliated by marginal surfaces. Its future outer type obeys ${\theta }_{\ell }=0$, ${\theta }_n<0$ and ${\mathcal{L}}_n{\theta }_{\ell }<0$. Unlike an event horizon, this can be diagnosed from local expansion data and their variation. The null energy condition explains its causal character. At a marginal surface, the Null Raychaudhuri equation, with the present curvature sign and vanishing null twist, givesin units $c=1$. A possible nonaffinity term vanishes here because it is proportional to the zero expansion. Write a horizon evolution vector as $V=\ell -Cn$. Preserving ${\theta }_{\ell }=0$ gives $C=({\mathcal{L}}_{\ell }{\theta }_{\ell })/({\mathcal{L}}_n{\theta }_{\ell })\ge 0$. Hence $V^2=-2C\le 0$: the future outer horizon is spacelike or null. Its area expansion is ${\theta }_V=-C{\theta }_n\ge 0$. These conclusions use the outer condition and the energy condition, not merely marginality.

For the global event horizon, the future-complete horizon focusing proof of the area theorem uses the same Null Raychaudhuri equation. Under the null energy condition, a negative generator expansion forces a future caustic in finite affine parameter. Future completeness and the usual regularity or predictability assumptions exclude such a caustic on the future event-horizon boundary. Its generator expansion is therefore nonnegative and its classical area cannot decrease. These assumptions matter: this is not an unconditional result for every null surface or every matter model.

Rotating and charged solutions provide further distinctions. A nonextremal Kerr black hole has $r_{\pm }=M\pm \sqrt{M^2-a^2}$, with $a=J/M$. Its outer Killing horizon is generated by ${\partial }_t+{\Omega }_H{\partial }_{\varphi }$, where ${\Omega }_H=a/(r_{+}^2+a^2)$, rather than by time translation alone. The ergosphere begins at the stationary-limit surface $g_{tt}=0$, whose radius is $M+\sqrt{M^2-a^2{\cos }^2\theta }$. Away from the axis this lies outside the event horizon: it forbids static observers but does not forbid escape to infinity. In Reissner-Nordstrom spacetime, the nonextremal radii are $r_{\pm }=M\pm \sqrt{M^2-Q^2}$. The outer surface is an event horizon, whereas the inner surface is a Cauchy horizon in the exact analytic extension.

A Cauchy horizon concerns predictability from initial data. The future domain of dependence $D^{+}(\Sigma )$ of a partial Cauchy surface consists of events for which every past-inextendible causal curve intersects $\Sigma$. Its future Cauchy horizon isBeyond it, causal influences can arrive without meeting the specified initial surface; data on that surface no longer determine the solution there. This is distinct from the inability to send signals to infinity. The inner horizon of the exact charged black hole supplies an example, and the definition necessarily specifies which initial surface is being used.

Flat spacetime itself has acceleration horizons. In the right Rindler wedge, set $t=\xi \sinh (a\tau )$ and $x=\xi \cosh (a\tau )$, with $\xi >0$. The Minkowski spacetime metric becomes $d{s}^2=a^2{\xi }^{2}d{\tau }^2-d{\xi }^2-d{y}^2-d{z}^2$. The null boundaries $t=x$ and $t=-x$ are Rindler horizons of the boost Killing flow. A uniformly accelerated observer cannot receive signals from one side of its future horizon, even though the curvature vanishes and inertial observers encounter no such boundary. These are observer and Killing horizons, not a black-hole event horizon defined using the full Minkowski null infinity.

In a spatially flat Friedmann-Lemaître-Robertson-Walker metric with noncompact spatial sections, radial light rays have $d\chi /dt=\pm 1/a(t)$. The particle horizon measures how far signals could have travelled since the initial cosmic time; the cosmological event horizon measures how far signals emitted now could ever travel toward a comoving observer. Their comoving and proper radii areThe respective horizon is present only if its integral is finite. The event-horizon integral uses the actual future endpoint, often $t_f=\infty$, so it is global and observer-dependent. For $a(t)=t^q$ on $0<t<\infty$, a finite particle horizon exists for $0<q<1$, while a finite event horizon exists for $q>1$. Neither integral is finite for $q=1$. In the expanding flat patch of de Sitter spacetime, $a=e^{Ht}$ and the proper event-horizon radius is $H^{-1}$. The static form $d{s}^2=(1-H^2{r}^2)d{t}^2-(1-H^2{r}^2{)}^{-1}d{r}^2-r^{2}d{\Omega }^2$ identifies it as a cosmological Killing horizon; its surface-gravity magnitude is $H$ with the central static time normalization.

Finally, the Hubble radius must not automatically be called an event horizon. For a flat expanding cosmology, the two future radial null expansions of a sphere of proper radius $R$ are ${\theta }_{\pm }=2(H\pm 1/R)$. At $R=H^{-1}$ the ingoing expansion vanishes, while outside it both expansions are positive: this is the cosmological marginal, past-trapped type rather than a future black-hole trapped surface. A dust universe with $a\propto t^{2/3}$ has such a Hubble sphere but no future event horizon. Global causal boundaries, slice-dependent trapped-surface boundaries, symmetry horizons and initial-data boundaries must therefore be distinguished, even when several coincide in a special example.

The physical spherical coordinates cover $t\in \mathbb{R}$, $r\in [0,\infty )$, $\theta \in [0,\pi ]$, and $\varphi \in [0,2\pi )$ with periodic identification. The center and the polar axes are the usual coordinate singularities, rather than physical curvature singularities; a regular polar chart restricts $r>0$ and $0<\theta <\pi$. For the null coordinates,Thus the physical metric tensor isThe conformal transformation followed by $p=\arctan u$, $q=\arctan v$ gives $du=(1+u^2)dp$, $dv=(1+v^2)dq$, andConsequently $d{s}^2=4dpdq-{\sin }^2(q-p)d{\Sigma }^2$. Finally $T=p+q$, $R=q-p$ converts $4dpdq$ to $d{T}^2-d{R}^2$, yieldingThe ranges must retain their joint constraints:Equivalently, $-\pi <T-R<\pi$ and $-\pi <T+R<\pi$, with $R\ge 0$. The angles retain their original ranges and identifications. Extending $R$ 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 $R=0$ 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 $q=\pi /2$, hence $T+R=\pi$ with $0<R<\pi$, and corresponds to finite $u$ with $v\to +\infty$. Past null infinity has $p=-\pi /2$, hence $T-R=-\pi$, and corresponds to finite $v$ with $u\to -\infty$. Future timelike infinity is $(T,R)=(\pi ,0)$, past timelike infinity is $(-\pi ,0)$, and spacelike infinity is $(0,\pi )$. Although angles label points on null infinity, their two-spheres collapse at these three endpoint locations in the compactified picture.

For the geodesic endpoints in Minkowski conformal compactification, one can check the limits directly. A timelike inertial trajectory is $\mathbf{x}=\mathbf{b}+\mathbf{w}t$ with $|\mathbf{w}|<1$. At $t\to +\infty$ both $t-r$ and $t+r$ tend to $+\infty$, so $p,q\to \pi /2$ and the trajectory ends at future timelike infinity. At $t\to -\infty$ both tend to $-\infty$, giving past timelike infinity. This includes a stationary inertial worldline with bounded $r$.

For a null inertial trajectory, $|\mathbf{w}|=1$. As $t\to +\infty$, $r=t+\mathbf{w}\cdot \mathbf{b}+o(1)$, so $u$ has a finite limit while $v\to +\infty$; its future endpoint lies on future null infinity. As $t\to -\infty$, $r=-t-\mathbf{w}\cdot \mathbf{b}+o(1)$, giving a finite limiting $v$ and $u\to -\infty$, hence a past endpoint on past null infinity. Radial null geodesic paths have $T\pm R$ constant. A ray passing through the center changes its angular direction; in the angle-suppressed radial diagram it reflects at $R=0$ rather than terminating there.

A spacelike geodesic is also a straight line, now parametrized so that $|d\mathbf{x}/d\lambda |>|dt/d\lambda |$. At either end, $r>|t|$ asymptotically, $u\to -\infty$, $v\to +\infty$, and the endpoint is spacelike infinity. A radial spacelike line at $t=0$ has two opposite-angle halves which project onto the same horizontal interval in the diagram.

The conformal compactification endpoints occur at finite $T$ 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 $\lambda$ is physically affine, an unphysical affine parameter satisfies $d\tilde{\lambda }/d\lambda ={\Omega }^2$ 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 $J^{-}({\mathcal{I}}^{+})$ 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.

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.

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.

Use the original PDF's spatial Ricci component $R_{\chi \chi }=a\ddot{a}+2{\dot{a}}^2+2$; the converted TeX's $2\dot{a}\ddot{a}$ is a transcription defect. Continue with $c=1$ and signature $(-,+,+,+)$. Tracing the vacuum Einstein field equations with a cosmological constant gives $R=4\Lambda$, and hence $R_{ab}=\Lambda g_{ab}$. The time component therefore gives $\ddot{a}=(\Lambda /3)a$. Substituting this into the spatial component givesThe left side is strictly positive, so $\Lambda >0$ is necessary for a real positive closed scale factor. Define $\ell =\sqrt{3/\Lambda }$. The acceleration equation has solution $a=A{e}^{t/\ell }+B{e}^{-t/\ell }$, and the first integral fixes $4AB={\ell }^2$. Taking the positive scale-factor branch and shifting the origin to the minimum givesThe universe contracts for $t<0$, has its nonzero minimum $a=\ell$ at $t=0$, and expands for $t>0$. The minimum is a smooth bounce, not a curvature singularity.

Introduce the dimensionless time $\tau =t/\ell$. Then the closed slicing of de Sitter spacetime isOne can identify it explicitly: in five-dimensional Minkowski space, set $X^0=\ell \sinh \tau$ and $X^I=\ell \cosh \tau n^I$, where ${\sum }_{I=1}^4(n^I{)}^2=1$. These coordinates satisfy $-(X^0{)}^2+{\sum }_I(X^I{)}^2={\ell }^2$, and their induced metric is the one above. Thus the solution is global de Sitter spacetime, with spherical spatial topology and both contracting and expanding parts.

The time entering the printed compactification formula is this rescaled time. WriteDirect differentiation and elementary trigonometry give $dT/d\tau =\mathrm{sech}\tau$, $\sin T=\tanh \tau$ and $\cos T=\mathrm{sech}\tau$. ThereforeMultiplying by $(\cos T/\ell {)}^2$ gives the metric of a finite-time slab of the Einstein static universe, often called the Einstein cylinder. This is a conformal transformation of the metric and does not assert that the transformed matter content remains vacuum. The coordinate ranges areThe angular-coordinate degeneracies at the poles are the usual regular spherical ones.

Radial null lines satisfy $d\chi =\pm dT$, so the Penrose diagram is the square displayed below. Every interior point represents an angular two-sphere. Its top and bottom are the spacelike conformal infinities ${\mathcal{I}}^{+}$ and ${\mathcal{I}}^{-}$ at $T=\pi /2$ and $T=-\pi /2$; they are excluded from the physical spacetime and are not curvature singularities. The vertical sides $\chi =0$ and $\chi =\pi$ represent the regular north and south poles of the three-sphere, not spatial edges of the universe.

A particle horizon at an observer's current time bounds the comoving sources whose light could have reached that observer over the available past conformal interval. Here the cosmological past extends to $t=-\infty$, but its conformal duration is finite. For a comoving observer at $\chi =0$,Since $0<{\chi }_p<\pi$ at every finite time, a particle horizon exists. The corresponding null boundary in the diagram is $\chi =T+\pi /2$, emerging from the observer's past endpoint at ${\mathcal{I}}^{-}$. The antipodal point never has enough time to send a signal received at a finite proper time.

An observer event horizon bounds the events that can ever send a signal to the observer's future-inextendible worldline. The remaining conformal time fixes its distance:This too lies strictly between zero and $\pi$ at finite time, so the observer has a cosmological event horizon. Its null line ends at the observer's future endpoint on ${\mathcal{I}}^{+}$. Both horizon spheres have areal radius $a\sin \chi =\ell$, though their comoving angular positions differ except at $T=0$. These are the cosmological horizons in global de Sitter spacetime; changing the comoving observer relocates them by an isometry.

A Cauchy horizon is the boundary of the domain determined by data on a chosen partial Cauchy hypersurface; beyond it an inextendible causal curve can avoid that initial surface. Each complete constant-$T$ three-sphere here is a Cauchy hypersurface. To see this directly, a causal curve in the conformal metric has spatial speed at most one when parameterized by $T$. On any finite interior time interval its path therefore has a limit in the complete compact three-sphere. If an inextendible curve stopped at an interior time, that limit would allow its continuation, a contradiction. Its time range consequently extends between both conformal ends, and monotonicity makes it cross any complete constant-$T$ sphere exactly once. Its domain of dependence is the entire physical spacetime.

Thus particle and cosmological event horizons exist for every comoving observer, while the complete global Cauchy slices have no Cauchy horizons. Horizons of a restricted static patch or a deliberately partial initial surface are relative to that restriction; they do not alter the global Cauchy conclusion.

The radial part of the Minkowski metric becomes $-dudv$, and $r=(v-u)/2$. With $u=\tan p$, $v=\tan q$ and the positive conformal factor $\Omega =2\cos p\cos q$, multiplication by ${\Omega }^2$ givesConsequently the Minkowski conformal compactification isThe spatial metric $d{R}^2+{\sin }^{2}Rd{\Sigma }^2$ is the round unit three-sphere. The extended unphysical metric is therefore that of the Einstein static universe, $\mathbb{R}\times S^3$ 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 $r=0$. In the extended Einstein static universe one may let $T\in \mathbb{R}$ and $0\le R\le \pi$, but these are not the ranges of the original physical patch. In its interior $\Omega >0$. The line $R=0$ is the regular centre $r=0$, not a component of infinity.

The conformal completion has future timelike infinity $i^{+}=(\pi ,0)$, past timelike infinity $i^{-}=(-\pi ,0)$, and spacelike infinity $i^0=(0,\pi )$. 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.

A timelike geodesic is an inertial worldline $\mathbf{x}=\mathbf{b}+\mathbf{\beta }t$ with $|\mathbf{\beta }|<1$. As $t\to +\infty$, both $t-r$ and $t+r$ tend to $+\infty$, giving $p,q\to \pi /2$ and endpoint $i^{+}$. At past infinity both tend to $-\infty$, giving $i^{-}$. These endpoints are reached at infinite physical proper time, although at finite conformal coordinate time $T$. A null geodesic has $r\sim |t|$. In its outgoing future, $u$ approaches a finite retarded time while $v\to +\infty$, giving an endpoint on ${\mathcal{I}}^{+}$; in its incoming past, $v$ has a finite limit and $u\to -\infty$, giving an endpoint on ${\mathcal{I}}^{-}$. A spacelike geodesic is a straight line with spatial tangent larger than its temporal tangent, so $u\to -\infty$, $v\to +\infty$ at either end and both endpoints are $i^0$ 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 $a(t)=1$, the past light-travel distance ${\int }_{-\infty }^{t_0}dt$ 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 $\gamma$, define them by $H_{\gamma }^{+}=\partial I^{-}(\gamma )$ and $H_{\gamma }^{-}=\partial I^{+}(\gamma )$, 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 $t-x=-a^{-1}{e}^{-a\tau }<0$ and $t+x=a^{-1}{e}^{a\tau }>0$. An event with $t-x<0$ can signal to a sufficiently late point of this worldline, whereas an event with $t-x\ge 0$ cannot; finite transverse displacements do not change that conclusion as $t+x\to \infty$. Similarly the worldline can signal to precisely the events with $t+x>0$. Thus its two observer event horizons areThey are the Rindler horizons, and their accessible common region is $x>|t|$. 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 $t=t_0$ exactly once. Indeed $t$ is strictly monotone along future-directed causal curves, and the speed bound $|d\mathbf{x}/dt|\le 1$ prevents an inextendible curve from ending at finite $t$ by escaping to spatial infinity. Its time range is therefore all of $\mathbb{R}$. 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 ${\Sigma }_a:t=\sqrt{a^2+r^2}$ has $D({\Sigma }_a)=\{t>r\}$. To see this, inside the future light cone $t-r$ and $t+r$ are positive and nondecreasing on future-directed causal curves. Their product $t^2-r^2$ increases past $a^2$ on every future-inextendible curve from below the hyperboloid; every past-inextendible curve from above it crosses down through $a^2$ 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.