Penrose diagram

Last updated
Penrose diagram of an infinite Minkowski universe, horizontal axis u, vertical axis v Penrose diagram.svg
Penrose diagram of an infinite Minkowski universe, horizontal axis u, vertical axis v

In theoretical physics, a Penrose diagram (named after mathematical physicist Roger Penrose) is a two-dimensional diagram capturing the causal relations between different points in spacetime through a conformal treatment of infinity. It is an extension (suitable for the curved spacetimes of e.g. general relativity) of the Minkowski diagram of special relativity where the vertical dimension represents time, and the horizontal dimension represents a space dimension. Using this design, all light rays take a 45° path . Locally, the metric on a Penrose diagram is conformally equivalent to the metric of the spacetime depicted. The conformal factor is chosen such that the entire infinite spacetime is transformed into a Penrose diagram of finite size, with infinity on the boundary of the diagram. For spherically symmetric spacetimes, every point in the Penrose diagram corresponds to a 2-dimensional sphere .

Contents

Basic properties

While Penrose diagrams share the same basic coordinate vector system of other spacetime diagrams for local asymptotically flat spacetime, it introduces a system of representing distant spacetime by shrinking or "crunching" distances that are further away. Straight lines of constant time and straight lines of constant space coordinates therefore become hyperbolae, which appear to converge at points in the corners of the diagram. These points and boundaries represent conformal infinity for spacetime, which was first introduced by Penrose in 1963. [1]

Penrose diagrams are more properly (but less frequently) called Penrose–Carter diagrams (or Carter–Penrose diagrams), [2] acknowledging both Brandon Carter and Roger Penrose, who were the first researchers to employ them. They are also called conformal diagrams, or simply spacetime diagrams (although the latter may refer to Minkowski diagrams).

Two lines drawn at 45° angles should intersect in the diagram only if the corresponding two light rays intersect in the actual spacetime. So, a Penrose diagram can be used as a concise illustration of spacetime regions that are accessible to observation. The diagonal boundary lines of a Penrose diagram correspond to the region called "null infinity", or to singularities where light rays must end. Thus, Penrose diagrams are also useful in the study of asymptotic properties of spacetimes and singularities. An infinite static Minkowski universe, coordinates is related to Penrose coordinates by:

The corners of the Penrose diagram, which represent the spacelike and timelike conformal infinities, are from the origin.

Black holes

Penrose diagrams are frequently used to illustrate the causal structure of spacetimes containing black holes. Singularities in the Schwarzschild solution are denoted by a spacelike boundary, unlike the timelike boundary found on conventional spacetime diagrams. This is due to the interchanging of timelike and spacelike coordinates within the horizon of a black hole (since space is uni-directional within the horizon, just as time is uni-directional outside the horizon). The singularity is represented by a spacelike boundary to make it clear that once an object has passed the horizon it will inevitably hit the singularity even if it attempts to take evasive action.

Penrose diagrams are often used to illustrate the hypothetical Einstein–Rosen bridge connecting two separate universes in the maximally extended Schwarzschild black hole solution. The precursors to the Penrose diagrams were KruskalSzekeres diagrams. (The Penrose diagram adds to Kruskal and Szekeres' diagram the conformal crunching of the regions of flat spacetime far from the hole.) These introduced the method of aligning the event horizon into past and future horizons oriented at 45° angles (since one would need to travel faster than light to cross from the Schwarzschild radius back into flat spacetime); and splitting the singularity into past and future horizontally-oriented lines (since the singularity "cuts off" all paths into the future once one enters the hole).

The Einstein–Rosen bridge closes off (forming "future" singularities) so rapidly that passage between the two asymptotically flat exterior regions would require faster-than-light velocity, and is therefore impossible. In addition, highly blue-shifted light rays (called a blue sheet) would make it impossible for anyone to pass through.

Penrose diagrams of various black hole solutions Penrose Diagrams of various black hole solutions.svg
Penrose diagrams of various black hole solutions

The maximally extended solution does not describe a typical black hole created from the collapse of a star, as the surface of the collapsed star replaces the sector of the solution containing the past-oriented white hole geometry and other universe.

While the basic space-like passage of a static black hole cannot be traversed, the Penrose diagrams for solutions representing rotating and/or electrically charged black holes illustrate these solutions' inner event horizons (lying in the future) and vertically oriented singularities, which open up what is known as a time-like "wormhole" allowing passage into future universes. In the case of the rotating hole, there is also a "negative" universe entered through a ring-shaped singularity (still portrayed as a line in the diagram) that can be passed through if entering the hole close to its axis of rotation. These features of the solutions are, however, not stable under perturbations and not believed to be a realistic description of the interior regions of such black holes; the true character of their interiors is still an open question.

See also

Related Research Articles

The weak and the strong cosmic censorship hypotheses are two mathematical conjectures about the structure of gravitational singularities arising in general relativity.

A wormhole is a hypothetical structure connecting disparate points in spacetime, and is based on a special solution of the Einstein field equations.

<span class="mw-page-title-main">Gravitational singularity</span> Condition in which spacetime itself breaks down

A gravitational singularity, spacetime singularity or simply singularity is a condition in which gravity is predicted to be so intense that spacetime itself would break down catastrophically. As such, a singularity is by definition no longer part of the regular spacetime and cannot be determined by "where" or "when". Gravitational singularities exist at a junction between general relativity and quantum mechanics; therefore, the properties of the singularity cannot be described without an established theory of quantum gravity. Trying to find a complete and precise definition of singularities in the theory of general relativity, the current best theory of gravity, remains a difficult problem. A singularity in general relativity can be defined by the scalar invariant curvature becoming infinite or, better, by a geodesic being incomplete.

In general relativity, a white hole is a hypothetical region of spacetime and singularity that cannot be entered from the outside, although energy-matter, light and information can escape from it. In this sense, it is the reverse of a black hole, from which energy-matter, light and information cannot escape. White holes appear in the theory of eternal black holes. In addition to a black hole region in the future, such a solution of the Einstein field equations has a white hole region in its past. This region does not exist for black holes that have formed through gravitational collapse, however, nor are there any observed physical processes through which a white hole could be formed.

In Einstein's theory of general relativity, the Schwarzschild metric is an exact solution to the Einstein field equations that describes the gravitational field outside a spherical mass, on the assumption that the electric charge of the mass, angular momentum of the mass, and universal cosmological constant are all zero. The solution is a useful approximation for describing slowly rotating astronomical objects such as many stars and planets, including Earth and the Sun. It was found by Karl Schwarzschild in 1916.

In mathematical physics, a closed timelike curve (CTC) is a world line in a Lorentzian manifold, of a material particle in spacetime, that is "closed", returning to its starting point. This possibility was first discovered by Willem Jacob van Stockum in 1937 and later confirmed by Kurt Gödel in 1949, who discovered a solution to the equations of general relativity (GR) allowing CTCs known as the Gödel metric; and since then other GR solutions containing CTCs have been found, such as the Tipler cylinder and traversable wormholes. If CTCs exist, their existence would seem to imply at least the theoretical possibility of time travel backwards in time, raising the spectre of the grandfather paradox, although the Novikov self-consistency principle seems to show that such paradoxes could be avoided. Some physicists speculate that the CTCs which appear in certain GR solutions might be ruled out by a future theory of quantum gravity which would replace GR, an idea which Stephen Hawking labeled the chronology protection conjecture. Others note that if every closed timelike curve in a given space-time passes through an event horizon, a property which can be called chronological censorship, then that space-time with event horizons excised would still be causally well behaved and an observer might not be able to detect the causal violation.

In general relativity, Eddington–Finkelstein coordinates are a pair of coordinate systems for a Schwarzschild geometry which are adapted to radial null geodesics. Null geodesics are the worldlines of photons; radial ones are those that are moving directly towards or away from the central mass. They are named for Arthur Stanley Eddington and David Finkelstein. Although they appear to have inspired the idea, neither ever wrote down these coordinates or the metric in these coordinates. Roger Penrose seems to have been the first to write down the null form but credits it to the above paper by Finkelstein, and, in his Adams Prize essay later that year, to Eddington and Finkelstein. Most influentially, Misner, Thorne and Wheeler, in their book Gravitation, refer to the null coordinates by that name.

The Penrose–Hawking singularity theorems are a set of results in general relativity that attempt to answer the question of when gravitation produces singularities. The Penrose singularity theorem is a theorem in semi-Riemannian geometry and its general relativistic interpretation predicts a gravitational singularity in black hole formation. The Hawking singularity theorem is based on the Penrose theorem and it is interpreted as a gravitational singularity in the Big Bang situation. Penrose was awarded the Nobel Prize in Physics in 2020 "for the discovery that black hole formation is a robust prediction of the general theory of relativity", which he shared with Reinhard Genzel and Andrea Ghez.

<span class="mw-page-title-main">Anti-de Sitter space</span> Maximally symmetric Lorentzian manifold with a negative cosmological constant

In mathematics and physics, n-dimensional anti-de Sitter space (AdSn) is a maximally symmetric Lorentzian manifold with constant negative scalar curvature. Anti-de Sitter space and de Sitter space are named after Willem de Sitter (1872–1934), professor of astronomy at Leiden University and director of the Leiden Observatory. Willem de Sitter and Albert Einstein worked together closely in Leiden in the 1920s on the spacetime structure of the universe. Paul Dirac was the first person to rigorously explore anti-de Sitter space, doing so in 1963.

The Kerr metric or Kerr geometry describes the geometry of empty spacetime around a rotating uncharged axially symmetric black hole with a quasispherical event horizon. The Kerr metric is an exact solution of the Einstein field equations of general relativity; these equations are highly non-linear, which makes exact solutions very difficult to find.

An asymptotically flat spacetime is a Lorentzian manifold in which, roughly speaking, the curvature vanishes at large distances from some region, so that at large distances, the geometry becomes indistinguishable from that of Minkowski spacetime.

In physics, a Killing horizon is a geometrical construct used in general relativity and its generalizations to delineate spacetime boundaries without reference to the dynamic Einstein field equations. Mathematically a Killing horizon is a null hypersurface defined by the vanishing of the norm of a Killing vector field. It can also be defined as a null hypersurface generated by a Killing vector, which in turn is null at that surface.

<span class="mw-page-title-main">Kruskal–Szekeres coordinates</span> Coordinate system for the Schwarzschild geometry

In general relativity, Kruskal–Szekeres coordinates, named after Martin Kruskal and George Szekeres, are a coordinate system for the Schwarzschild geometry for a black hole. These coordinates have the advantage that they cover the entire spacetime manifold of the maximally extended Schwarzschild solution and are well-behaved everywhere outside the physical singularity. There is no misleading coordinate singularity at the horizon.

In general relativity, the metric tensor is the fundamental object of study. The metric captures all the geometric and causal structure of spacetime, being used to define notions such as time, distance, volume, curvature, angle, and separation of the future and the past.

In general relativity, an apparent horizon is a surface that is the boundary between light rays that are directed outwards and moving outwards and those directed outward but moving inward.

Gullstrand–Painlevé coordinates are a particular set of coordinates for the Schwarzschild metric – a solution to the Einstein field equations which describes a black hole. The ingoing coordinates are such that the time coordinate follows the proper time of a free-falling observer who starts from far away at zero velocity, and the spatial slices are flat. There is no coordinate singularity at the Schwarzschild radius. The outgoing ones are simply the time reverse of ingoing coordinates.

In mathematical physics, the causal structure of a Lorentzian manifold describes the causal relationships between points in the manifold.

In astrophysics, an event horizon is a boundary beyond which events cannot affect an observer. Wolfgang Rindler coined the term in the 1950s.

In theoretical physics, null infinity is a region at the boundary of asymptotically flat spacetimes. In general relativity, straight paths in spacetime, called geodesics, may be space-like, time-like, or light-like. The distinction between these paths stems from whether the spacetime interval of the path is positive, negative, or zero. Light-like paths physically correspond to physical phenomena which propagate through space at the speed of light, such as electromagnetic radiation and gravitational radiation. The boundary of a flat spacetime is known as conformal infinity, and can be thought of as the end points of all geodesics as they go off to infinity. The region of null infinity corresponds to the terminus of all null geodesics in a flat Minkowski space. The different regions of conformal infinity are most often visualized on a Penrose diagram, where they make up the boundary of the diagram. There are two distinct region of null infinity, called past and future null infinity, which can be denoted using a script 'I' as and . These two regions are often referred to as 'scri-plus' and 'scri-minus' respectively. Geometrically, each of these regions actually has the structure of a topologically cylindrical three dimensional region.

References

  1. Penrose, Roger (15 January 1963). "Asymptotic properties of fields and space-times". Physical Review Letters. 10 (2): 66–68. Bibcode:1963PhRvL..10...66P. doi: 10.1103/PhysRevLett.10.66 .
  2. Carroll, Sean (2004). Spacetime and Geometry – An Introduction to General Relativity. Addison Wesley. p. 471. ISBN   0-8053-8732-3.