View source for Penrose diagram

{{Short description|Two-dimensional diagram capturing the causal relations between different points in spacetime}}
{{For|the tensor diagram notation|Penrose graphical notation}}

[[File:Penrose diagram.svg|320px|thumb|Penrose diagram of an infinite [[Hermann Minkowski|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 relation]]s between different points in [[spacetime]] through a [[conformal map|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 plane|horizontal]] dimension represents a space dimension. Using this design, all light rays take a 45° path <math>(c = 1)</math>. Locally, the [[Metric tensor|metric]] on a Penrose diagram is [[conformal equivalence|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 spacetime]]s, every point in the Penrose diagram corresponds to a 2-dimensional sphere <math>(\theta,\phi)</math>.

== 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 "triturando" distances that are further away. Straight lines of constant time and straight lines of constant space coordinates therefore become [[hyperbola]]e, which appear to converge at [[Point (geometry)|point]]s in the corners of the diagram. These points and boundaries represent '''conformal infinity''' for spacetime, which was first introduced by Penrose in 1963.<ref name=penrose1963>{{cite journal |last1=Penrose |first1=Roger |title=Asymptotic proprierties of fields and space-times |journal=Physical Review Letters |date=15 January 1963 |volume=10 |issue=2 |pages=66–68 |doi=10.1103/PhysRevLett.10.66|bibcode=1963PhRvL..10...66P |doi-access=free }}</ref>

Penrose diagrams are more properly (but less frequently) called '''Penrose–Carter diagrams''' (or '''Carter–Penrose diagrams'''),<ref name=carroll2004>{{cite book |last=Carroll |first=Sean |author-link=Sean M. Carroll |year=2004 |title=Spacetime and Geometry – An Introduction to General Relativity |pages=471 |publisher=Addison Wesley |isbn=0-8053-8732-3}}</ref> 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 diagram|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 space|Minkowski universe]], coordinates <math>(x, t)</math> is related to Penrose coordinates <math>(u, v)</math> by:
: <math>\tan(u \pm v) = x \pm t</math>
The corners of the Penrose diagram, which represent the spacelike and timelike conformal infinities, are <math>\pi /2</math> from the origin.

== Black holes ==
Penrose diagrams are frequently used to illustrate the causal structure of spacetimes containing [[black holes]].  Singularities in the [[Schwarzchild Black Hole|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 solution|Schwarzschild black hole solution]]. The precursors to the Penrose diagrams were [[Kruskal–Szekeres coordinates|Kruskal&ndash;Szekeres 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 [[Mathematical singularity|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-shift]]ed light rays (called a '''blue sheet''') would make it impossible for anyone to pass through.
[[File:Penrose Diagrams of various black hole solutions.svg|right|upright=1.5|thumb|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 [[Kerr metric|rotating]] and/or [[Reissner–Nordström metric|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 [[Coordinate axis|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 [[Cosmic censorship hypothesis|true character of their interiors is still an open question]].

== See also ==
* [[Causality]]
* [[Causal structure]]
* [[Conformal cyclic cosmology]]
* [[Weyl transformation]]

== References ==
{{reflist}}
* {{Cite book |last=D'Inverno |first=Ray |url=https://archive.org/details/introducingeinst0000dinv |title=Introducing Einstein's relativity |publisher=Clarendon Press |year=1992 |isbn=978-0-19-859686-8 |edition=Repr |location=Oxford |url-access=registration}} See ''Chapter 17'' (and various succeeding sections) for a very readable introduction to the concept of conformal infinity plus examples.
* {{Cite journal |last=Frauendiener |first=Jörg |year=2004 |title=Conformal Infinity |journal=Living Reviews in Relativity |language=en |volume=7 |issue=1 |pages=1 |bibcode=2004LRR.....7....1F |doi=10.12942/lrr-2004-1 |issn=2367-3613 |pmc=5256109 |pmid=28179863 |doi-access=free}}
* {{Cite journal |last=Carter |first=Brandon |year=1966 |title=Complete Analytic Extension of the Symmetry Axis of Kerr's Solution of Einstein's Equations |url=https://link.aps.org/doi/10.1103/PhysRev.141.1242 |journal=Physical Review |language=en |volume=141 |issue=4 |pages=1242–1247 |bibcode=1966PhRv..141.1242C |doi=10.1103/PhysRev.141.1242 |issn=0031-899X|url-access=subscription }}  See also [https://journals.aps.org/pr/abstract/10.1103/PhysRev.141.1242 on-line version]  (requires a subscription to access)
* {{Cite book |last1=Hawking |first1=Stephen W. |title=The large scale structure of space-time |last2=Ellis |first2=George F. R. |last3=Hawking |first3=S. W. |last4=Ellis |first4=G. F. R. |publisher=Cambridge Univ. Press |year=1973 |isbn=978-0-521-09906-6 |edition=21st |series=Cambridge monographs on mathematical physics |location=Cambridge |name-list-style=amp}} See ''Chapter 5'' for a very clear discussion of Penrose diagrams (the term used by Hawking & Ellis) with many examples.
* {{Cite book |last=Kaufmann |first=William J. III |title=The Cosmic Frontiers of General Relativity |publisher=Little Brown & Co |year=1977 |isbn=978-0-316-48341-4}} Really breaks down the transition from simple Minkowski diagrams, to [[Martin David Kruskal|Kruskal]]-Szekeres diagrams to Penrose diagrams, and goes into much detail the facts and fiction concerning wormholes. Plenty of easy to understand illustrations. A less involved, but still very informative book is his {{Cite book |last=Kaufmann |first=William J. |url=https://archive.org/details/blackholeswarped00kauf |title=Black holes and warped spacetime |date=1979 |publisher=W. H. Freeman |isbn=978-0-7167-1152-0 |location=San Francisco |url-access=registration}}

== External links ==
* [https://astro-gr.org/conformal-diagrams/ Conformal diagrams] – Introduction to conformal diagrams, series of minilectures by Pau Amaro Seoane
* {{Commons category inline|Penrose diagrams}}

{{Relativity}}
{{Roger Penrose}}

[[Category:Diagrams]]
[[Category:Coordinate charts in general relativity]]
[[Category:Mathematical methods in general relativity]]
[[Category:Lorentzian manifolds]]
[[Category:Roger Penrose]]