The vacuum Einstein field equations with positive cosmological constant admit a closed spherical slicing with scale factor . The time-symmetric slice is at . The substitution gives and , so the metric is . The conformal metric is a finite-time slab of the Einstein static universe, with spacelike conformal infinities .
For positive spatial curvature and positive cosmological constant, the effective potential has its maximum at
The critical case has
and contains the Einstein static universe.
With nonnegative conserved pressureless matter and radiation in cosmology, set , , and . The Friedmann equation becomes . For negative vacuum density the potential rises strictly from negative infinity to positive infinity, so an expanding branch has one maximum scale factor. For positive vacuum density it has one maximum: energy above that maximum gives monotonic expansion or contraction, energy below it gives disjoint recollapsing and bouncing branches, and equality admits an Einstein static universe together with asymptotic monotonic branches.
In ordinary spherical coordinates, , , and with periodic identification. The regular coordinate chart excludes the origin and polar axes; the endpoint ranges include the usual spherical identifications. With null coordinates and , both are real and their joint domain is . The inverse relations give
The arctangent coordinates obey . Since and , the rescaled metric is
Now , , so . Thus the Minkowski conformal compactification has
The full coordinate ranges are linked, not independent: and with . Inverse coordinates are , , , . The conformal factor is
The unphysical metric extends as the unit-radius Einstein static universe on , where with the endpoint two-spheres collapsed. Physical Minkowski spacetime occupies the triangular radial domain , ; the edge is the ordinary spatial center, not an infinity or physical boundary.
In the closure, the infinite-coordinate limits have locations
These are future timelike infinity, past timelike infinity, spacelike infinity, future null infinity and past null infinity. For example has with finite , while has with finite . A diagram point with stands for a two-sphere, and each null boundary is topologically ; their three corners are points after the angular collapse. On the null boundaries and , whereas the three corners have a degenerate zero gradient. Thus a compactifying metric can be smooth there even though those infinity points are not ordinary smooth null-boundary points.
The geodesic endpoints in Minkowski conformal compactification can be established directly. A physical inertial timelike geodesic has , , with and . At future infinity , so and the curve ends at . At past infinity both tend to , giving . Every complete inertial timelike path has these endpoints, regardless of velocity.
For a future-directed null geodesic, , with . As , but has a finite limit; the endpoint lies on . As , but has a finite limit, giving an endpoint on . A conformal transformation preserves these null paths as unparametrized geodesics. The null affine parameter under a conformal rescaling obeys ; here at the null endpoints, so the unphysical affine parameter reaches them in finite time, although the physical affine parameter is infinite.
A physical spacelike geodesic has , , with . At either end asymptotically, and , so both ends approach . Timelike and spacelike physical geodesic paths are not generally geodesics of the rescaled metric. Their physical proper time or length is infinite, while gives finite unphysical proper time or length near the endpoints. Infinity at finite diagram coordinates does not imply incompleteness of physical Minkowski geodesics.
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.
For an Einstein static universe, both and vanish. The Friedmann acceleration equation gives
and therefore implies
The Friedmann equation additionally fixes the spatial curvature:
Thus the acceleration balance is necessary but must be accompanied by the static energy constraint.
Set . The Friedmann effective potential for matter, radiation and vacuum now reads
With nonzero nonnegative dust or radiation, tends to at both ends. Its stationary point satisfies
Equivalently when ; the right-hand side decreases strictly, so there is exactly one stationary point. It is a maximum because
The energy line in the preceding sketch therefore gives five broad types of history:
  • Monotonic expansion. For , the universe expands from to arbitrarily large .
  • Monotonic contraction. Reversing cosmic time gives the corresponding contracting history.
  • Recollapse. For , the inner allowed interval ends at : the universe expands from zero to and contracts back to zero.
  • Bounce. The outer allowed interval starts at . A universe contracting from large reaches and re-expands. Here , so at the turning point.
  • Static equilibrium. For , and give the Einstein static universe.
At the critical energy there are also marginal branches within the monotonic classes: expansion from zero can approach asymptotically, or expansion can start asymptotically at and proceed to infinity; contraction gives their reversals. They must not be mistaken for reaching the static solution in finite time. Indeed near the maximum,
so diverges logarithmically. The static equilibrium is unstable. Since , the recollapsing, bouncing and static cases require positive spatial curvature .
The physical spherical coordinates cover , , , and with periodic identification. The center and the polar axes are the usual coordinate singularities, rather than physical curvature singularities; a regular polar chart restricts and . For the null coordinates,
Thus the physical metric tensor is
The conformal transformation followed by , gives , , and
Consequently . Finally , converts to , yielding
The ranges must retain their joint constraints:
Equivalently, and , with . The angles retain their original ranges and identifications. Extending to negative values would double-count the radial polar geometry. The conformal factor is
The unphysical metric tensor extends onto the Einstein static universe, while physical Minkowski spacetime occupies the triangular region in its radial Penrose diagram. The edge is the regular center and belongs to the physical region away from its endpoints.
The conformal boundary consists of the following infinities. Future null infinity has , hence with , and corresponds to finite with . Past null infinity has , hence , and corresponds to finite with . Future timelike infinity is , past timelike infinity is , and spacelike infinity is . Although angles label points on null infinity, their two-spheres collapse at these three endpoint locations in the compactified picture.
Figure 1.
The radial Minkowski conformal diagram and the endpoints of timelike, null and spacelike geodesics
. Details.
For the geodesic endpoints in Minkowski conformal compactification, one can check the limits directly. A timelike inertial trajectory is with . At both and tend to , so and the trajectory ends at future timelike infinity. At both tend to , giving past timelike infinity. This includes a stationary inertial worldline with bounded .
For a null inertial trajectory, . As , , so has a finite limit while ; its future endpoint lies on future null infinity. As , , giving a finite limiting and , hence a past endpoint on past null infinity. Radial null geodesic paths have constant. A ray passing through the center changes its angular direction; in the angle-suppressed radial diagram it reflects at rather than terminating there.
A spacelike geodesic is also a straight line, now parametrized so that . At either end, asymptotically, , , and the endpoint is spacelike infinity. A radial spacelike line at has two opposite-angle halves which project onto the same horizontal interval in the diagram.
The conformal compactification endpoints occur at finite but at infinite physical proper time or affine parameter; Minkowski spacetime is geodesically complete. The conformal preservation of null geodesic paths does not preserve an affine parameter: if is physically affine, an unphysical affine parameter satisfies up to a constant. Along a complete null ray this can have a finite integral at infinity. Timelike and spacelike physical geodesic paths are not generally geodesics of the rescaled metric tensor, so their drawn curves must not be interpreted as freely falling unphysical observers.
Finally, every physical event can send an outgoing null ray to future null infinity, so is all of Minkowski spacetime. Its black-hole region and intrinsic event horizon are empty. The null edges in the diagram are infinity, not horizons concealing part of the physical manifold. Complete inertial observers likewise have no observer event horizon. Accelerated observers restricted to a Rindler wedge can have a Rindler horizon, but that is observer-dependent and does not contradict the horizon-free Minkowski spacetime. The conformal diagram compactifies infinity; it does not introduce a physical horizon.
The original spherical coordinates have , , and , with periodic. The angular coordinates degenerate at the polar axis and all angles identify at ; a regular spherical chart uses , and suitable overlapping angular patches.
The retarded time and advanced coordinate both range over , with the joint restriction . Their inverse relations are and , so
Set , . Then
The conformal factor is . Since , multiplication by gives
Finally and give . Hence
This is a region of the Einstein static universe, with positive time and negative spatial signature. The exact joint coordinate domain is
or equivalently and . The regular radial chart has ; is the ordinary centre. The angular ranges are unchanged. It is important not to treat the stated individual ranges of as independent. The inverse map and conformal factor provide a useful check:
The resulting Minkowski conformal compactification has a triangular radial Penrose diagram. The two sloping boundary edges are
These are future null infinity and past null infinity. The three vertices are future timelike infinity , past timelike infinity and spacelike infinity . They are ideal boundary points, not events of physical Minkowski spacetime.
For a complete inertial timelike geodesic, with . As , both and tend to , so and the curve ends at . As , both tend to , giving . These endpoints occur at infinite physical proper time.
For a complete null geodesic, write , . To the future, , so is finite and . Thus with finite: the endpoint lies on . To the past, remains finite while , giving . Physical affine parameter is infinite at both ends. Along a radial null path, , so the diagram represents its null directions at degrees.
For a complete spacelike geodesic, take , with . At either end asymptotically, so , and . Both ends therefore reach , again at infinite physical affine parameter. These are the geodesic endpoints in Minkowski conformal compactification.
Only conformal preservation of null geodesic paths is guaranteed. The pictured timelike and spacelike curves are images of physical geodesics, not generally geodesics of the unphysical metric. For a null path, an unphysical affine parameter satisfies . Since near a generic null-infinity endpoint, the unphysical parameter can converge while the physical parameter diverges. At and , the usual smooth-boundary condition degenerates; these vertices should not be treated as regular points of null infinity.
Complete Minkowski spacetime has no black-hole event horizon. Every physical event can send an outgoing null signal to , so the black-hole region is empty. There is likewise no particle or future event horizon for an eternal inertial observer: any finite event can eventually signal that observer. Null infinity is a conformal boundary, not a physical horizon. Uniformly accelerated observers can have Rindler horizons, but that is an observer-dependent restriction and is not a horizon of the full inertial Minkowski spacetime.
Differentiate the Friedmann equation and use the cosmological continuity equation to obtain . The relation extends to turning points by continuity. Radiation obeys , while dark energy with has constant density. Substitution at gives , and at arbitrary gives
Put . For , the upward-opening polynomial has roots , with . The expanding Big Bang branch reaches in finite time. There but , so expansion turns to contraction; it returns to in finite time, a Big Crunch. A sketch of has the forbidden negative interval between the roots, while is a line crossing zero at two.
For , . The branch starting at zero has , giving
At small , , the radiation-dominated scale factor. At large , . It approaches an Einstein static universe with equal radiation and dark-energy densities, rather than recollapsing or entering unbounded expansion.
Figure 1.
Radiation–Lambda turning points and the critical scale factor
. Details.
Use the original PDF's spatial Ricci component ; the converted TeX's is a transcription defect. Continue with and signature . Tracing the vacuum Einstein field equations with a cosmological constant gives , and hence . The time component therefore gives . Substituting this into the spatial component gives
The left side is strictly positive, so is necessary for a real positive closed scale factor. Define . The acceleration equation has solution , and the first integral fixes . Taking the positive scale-factor branch and shifting the origin to the minimum gives
The universe contracts for , has its nonzero minimum at , and expands for . The minimum is a smooth bounce, not a curvature singularity.
Introduce the dimensionless time . Then the closed slicing of de Sitter spacetime is
One can identify it explicitly: in five-dimensional Minkowski space, set and , where . These coordinates satisfy , 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. Write
Direct differentiation and elementary trigonometry give , and . Therefore
Multiplying by 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 are
The angular-coordinate degeneracies at the poles are the usual regular spherical ones.
Radial null lines satisfy , 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 and at and ; they are excluded from the physical spacetime and are not curvature singularities. The vertical sides and represent the regular north and south poles of the three-sphere, not spatial edges of the universe.
Figure 1.
Global de Sitter Penrose diagram with spacelike conformal infinities and a comoving observer's particle and event horizons
. Details.
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 , but its conformal duration is finite. For a comoving observer at ,
Since at every finite time, a particle horizon exists. The corresponding null boundary in the diagram is , emerging from the observer's past endpoint at . 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 at finite time, so the observer has a cosmological event horizon. Its null line ends at the observer's future endpoint on . Both horizon spheres have areal radius , though their comoving angular positions differ except at . 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- 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 . 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- 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 , and . With , and the positive conformal factor , multiplication by gives
Consequently the Minkowski conformal compactification is
The spatial metric is the round unit three-sphere. The extended unphysical metric is therefore that of the Einstein static universe, with unit spatial radius. Physical Minkowski spacetime occupies only the diamond-shaped causal patch of this cylinder, or a triangle after restricting to nonnegative spherical radius; it is not the whole cylinder.
The complete coordinate ranges and joint restrictions are
The polar angles have the usual coordinate degeneracies at their poles and at . In the extended Einstein static universe one may let and , but these are not the ranges of the original physical patch. In its interior . The line is the regular centre , not a component of infinity.
The conformal completion has future timelike infinity , past timelike infinity , and spacelike infinity . The open sloping boundaries are
namely 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.
Figure 1.
Minkowski Penrose triangle with timelike, spacelike and null infinities, the regular centre and representative causal and spacelike geodesics
. Details.
A timelike geodesic is an inertial worldline with . As , both and tend to , giving and endpoint . At past infinity both tend to , giving . These endpoints are reached at infinite physical proper time, although at finite conformal coordinate time . A null geodesic has . In its outgoing future, approaches a finite retarded time while , giving an endpoint on ; in its incoming past, has a finite limit and , giving an endpoint on . A spacelike geodesic is a straight line with spatial tangent larger than its temporal tangent, so , at either end and both endpoints are in the compactified radial description. All these physical geodesics are complete. Only the unparametrized null geodesics are necessarily preserved as geodesics of the unphysical metric; timelike and spacelike images need not be its geodesics.
For horizons, distinguish a property of the spacetime from a property of an observer or of an initial-data hypersurface. Complete inertial observers have no particle horizon: in the flat cosmological slicing , the past light-travel distance is infinite. There is no finite-age initial singularity truncating communication between comoving observers. This statement does not say that an event receives signals from spacelike-separated events at the same time.
There is also no black-hole event horizon, because every event can send a future-directed null ray to future null infinity. Nevertheless accelerated timelike observers can have both future and past observer event horizons. For an entire observer worldline , define them by and , using its complete future and past respectively. An inertial observer's chronological past and future of the whole worldline are both all of Minkowski spacetime. By contrast, for the uniformly accelerated worldline in a Cartesian spatial direction,
its null coordinates obey and . An event with can signal to a sufficiently late point of this worldline, whereas an event with cannot; finite transverse displacements do not change that conclusion as . Similarly the worldline can signal to precisely the events with . Thus its two observer event horizons are
They are the Rindler horizons, and their accessible common region is . They do not indicate a curvature singularity or a failure of global predictability.
Finally Minkowski spacetime is a globally hyperbolic spacetime: every inextendible causal curve crosses each complete spacelike plane exactly once. Indeed is strictly monotone along future-directed causal curves, and the speed bound prevents an inextendible curve from ending at finite by escaping to spatial infinity. Its time range is therefore all of . These planes are Cauchy hypersurfaces with full domain of dependence, so there are no Cauchy horizons associated with complete Cauchy data.
A Cauchy horizon is, however, defined relative to a specified initial surface. Under a literal existence reading of “admits”, non-Cauchy initial surfaces can have such horizons even in flat spacetime. For example the edgeless spacelike hyperboloid has . To see this, inside the future light cone and are positive and nondecreasing on future-directed causal curves. Their product increases past on every future-inextendible curve from below the hyperboloid; every past-inextendible curve from above it crosses down through before leaving the cone. Outside the cone there is an inextendible null curve avoiding the hyperboloid. The future light cone itself is its past Cauchy horizon. The time-reversed hyperboloid gives a future Cauchy horizon. This is the dependence of a Cauchy horizon on the initial hypersurface, not an intrinsic loss of predictability of full Minkowski spacetime. Thus a categorical claim that no choice of partial initial surface can ever have a Cauchy horizon would be too strong.
For the Einstein static universe with and , the acceleration equation gives . The first Friedmann equation then gives , so
Keep fixed and use the specified perturbation closure . Linearization of the constraint gives . In the acceleration equation the background terms cancel, leaving
Thus
The growing mode establishes linear instability of the static universe; a specially chosen decaying perturbation does not remove instability. This uses the pressure-density relation explicitly supplied for the perturbation. If zero density is allowed, there is also the degenerate vacuum static case , , which is not the positive-density static universe considered here.
For and ,
The unique maximum occurs at
The critical closed matter-cosmological-constant universe is obtained from :
If , then : the energy line lies above the barrier, and a universe expanding from passes over it and expands forever toward de Sitter behavior. If , the exact solution at is the Einstein static universe; the Big-Bang branch approaches it only asymptotically, while a separate branch can emerge from it and expand forever. If , the equation has two positive roots . The Big-Bang branch expands to and recollapses, while the disconnected large- branch contracts to and undergoes a Friedmann bounce for pressureless matter and positive cosmological constant. These are all qualitatively different possibilities.
Figure 1. . Energy-line diagrams for zero, positive, and negative cosmological constant, including the subcritical, critical, and supercritical closed cases. Details.
In the orthonormal frame, the comoving perfect fluid in general relativity has and . The Einstein field equations with cosmological constant therefore give
Thus
Choosing
gives and . The metric is then the Einstein static universe supported by pressureless matter and positive vacuum energy.