General relativity: Difference between revisions

From Wikipedia
Jump to navigation Jump to search
imported>Quondum
dab
 
imported>Nerd271
 
Line 2: Line 2:
{{For|the graduate textbook by Robert Wald|General Relativity (book){{!}}''General Relativity'' (book)}}
{{For|the graduate textbook by Robert Wald|General Relativity (book){{!}}''General Relativity'' (book)}}
{{For introduction}}
{{For introduction}}
{{Featured article}}
{{Use dmy dates|date=March 2022}}
{{Use dmy dates|date=March 2022}}
[[File:BBH gravitational lensing of gw150914.webm|266px |thumb|Slow motion computer simulation of the black hole [[binary system]] GW150914 as seen by a nearby observer, during 0.33 s of its final [[Binary black hole#Inspiral|inspiral]], [[Binary black hole#Merger|merge]], and [[Binary black hole#Ringdown|ringdown]]. The star field behind the black holes is being heavily distorted and appears to rotate and move, due to extreme [[gravitational lens]]ing, as [[spacetime]] itself is distorted and dragged around by the rotating [[black hole]]s.<ref name="SXSproject">{{cite web |url= https://www.black-holes.org/2016/02/11/gw150914 |title=GW150914: LIGO Detects Gravitational Waves |website=Black-holes.org |date=11 February 2016 |access-date=18 April 2016}}</ref>]]
[[File:BBH gravitational lensing of gw150914.webm|thumb|Slow motion computer simulation of the black hole [[binary system]] GW150914 as seen by a nearby observer, during 0.33 s of its final [[Binary black hole#Inspiral|inspiral]], [[Binary black hole#Merger|merge]], and [[Binary black hole#Ringdown|ringdown]]. The star field behind the black holes is being heavily distorted and appears to rotate and move, due to extreme [[gravitational lens]]ing, as [[spacetime]] itself is distorted and dragged around by the rotating [[black hole]]s.<ref name="SXSproject">{{cite web |url= https://www.black-holes.org/2016/02/11/gw150914 |title=GW150914: LIGO Detects Gravitational Waves |website=Black-holes.org |date=11 February 2016 |access-date=18 April 2016}}</ref>]]
{{General relativity sidebar}}
{{General relativity sidebar}}


'''General relativity''', also known as the '''general theory of relativity''', and as '''Einstein's theory of gravity''', is the [[differential geometry|geometric]] theory of [[gravitation]] published by [[Albert Einstein]] in 1915 and is the currently accepted description of gravitation in [[modern physics]]. General [[theory of relativity|relativity]] generalizes [[special relativity]] and refines [[Newton's law of universal gravitation]], providing a unified description of gravity as a geometric property of [[space]] and [[time in physics|time]], or four-dimensional [[spacetime]]. In particular, the ''[[curvature]] of spacetime'' is directly related to the [[energy]], [[momentum]] and [[Stress (mechanics)|stress]] of whatever is present, including [[matter]] and [[radiation]]. The relation is specified by the [[Einstein field equations]], a system of second-order [[partial differential equation]]s.
'''General relativity''', also known as the '''general theory of relativity''', and as '''Einstein's theory of gravity''', is the [[differential geometry|geometric]] theory of [[gravitation]] published by [[Albert Einstein]] in May 1916 and is the accepted description of the gravitation of macroscopic objects in [[modern physics]]. General [[theory of relativity|relativity]] generalizes [[special relativity]] and refines [[Isaac Newton]]'s [[law of universal gravitation]], providing a unified description of gravity as a geometric property of [[space]] and [[time in physics|time]], or four-dimensional [[spacetime]]. In particular, the ''[[curvature]] of spacetime'' is directly related to the [[energy]], [[momentum]], and [[Stress (mechanics)|stress]] of whatever is present, including [[matter]] and [[radiation]]. The relation is specified by the [[Einstein field equations]], a system of second-order [[partial differential equation]]s. [[John Archibald Wheeler]] summarized it: "Space-time tells matter how to move; matter tells space-time how to curve."


[[Newton's law of universal gravitation]], which describes gravity in classical mechanics, can be seen as a prediction of general relativity for the almost flat spacetime geometry around stationary mass distributions. Some predictions of general relativity, however, are beyond [[Newton's law of universal gravitation]] in [[classical physics]]. These predictions concern the passage of time, the [[geometry]] of space, the motion of bodies in [[free fall]], and the propagation of light, and include [[gravitational time dilation]], [[gravitational lens]]ing, the [[gravitational redshift]] of light, the [[Shapiro time delay]] and [[Gravitational singularity|singularities]]/[[black holes]]. So far, all [[tests of general relativity]] have been in agreement with the theory. The time-dependent solutions of general relativity enable us extrapolate the history of the universe into the past and future, and have provided the modern framework for [[cosmology]], thus leading to the discovery of the [[Big Bang]] and [[cosmic microwave background]] radiation. Despite the introduction of a number of [[Alternatives to general relativity|alternative theories]], general relativity continues to be the simplest theory consistent with [[experimental data]].
Newton's law of universal gravitation, which describes gravity in classical mechanics, can be seen as a prediction of general relativity for the almost flat spacetime geometry around stationary mass distributions. Some predictions of general relativity, however, are beyond Newton's law of universal gravitation in [[classical physics]]. These predictions concern the passage of time, the [[geometry]] of space, the motion of bodies in [[free fall]], and the propagation of light, and include [[gravitational time dilation]], [[gravitational lens]]ing, the [[gravitational redshift]] of light, the [[Shapiro time delay]], [[Gravitational singularity|singularities]] and [[black hole]]s. So far, all [[tests of general relativity]] have been in agreement with the theory. The time-dependent solutions of general relativity enable us to extrapolate the history of the universe into the past and future, and have provided the modern framework for [[cosmology]], thus leading to the discovery of the [[Big Bang]] and [[cosmic microwave background]] radiation. Despite the introduction of a number of [[Alternatives to general relativity|alternative theories]], general relativity continues to be the simplest theory consistent with [[experimental data]].


Reconciliation of general relativity with the laws of [[quantum mechanics|quantum physics]] remains a problem, however, as no self-consistent theory of [[quantum gravity]] has been found. It is not yet known how gravity can be [[Theory of everything|unified]] with the three non-gravitational interactions: [[strong interaction|strong]], [[weak interaction|weak]] and [[electromagnetism|electromagnetic]].
Reconciliation of general relativity with the laws of [[quantum mechanics|quantum physics]] remains a problem, however, as no self-consistent theory of [[quantum gravity]] has been found. It is not yet known how gravity can be [[Theory of everything|unified]] with the three non-gravitational interactions: [[strong interaction|strong]], [[weak interaction|weak]] and [[electromagnetism|electromagnetic]].


Einstein's theory has [[astrophysical]] implications, including the prediction of [[black holes]]—regions of space in which space and time are distorted in such a way that nothing, not even [[photon|light]], can escape from them. Black holes are the end-state for [[massive star]]s. [[Microquasar]]s and [[active galactic nucleus|active galactic nuclei]] are believed to be [[stellar black hole]]s and [[supermassive black hole]]s. It also predicts [[gravitational lensing]], where the bending of light results in distorted and multiple images of the same distant astronomical phenomenon. Other predictions include the existence of [[gravitational wave]]s, which have been [[List of gravitational wave observations|observed directly]] by the physics collaboration [[LIGO]] and other observatories. In addition, general relativity has provided the basis for [[Physical cosmology|cosmological]] models of an [[Metric expansion of space|expanding universe]].
Einstein's theory has [[astrophysical]] implications, including the prediction of [[black hole]]s—regions of space in which space and time are distorted in such a way that nothing, not even [[photon|light]], can escape from them. Black holes are the end-state for [[massive star]]s. [[Microquasar]]s and [[active galactic nucleus|active galactic nuclei]] are believed to be [[stellar black hole]]s and [[supermassive black hole]]s. It also predicts [[gravitational lensing]], where the bending of light results in distorted and multiple images of the same distant astronomical phenomenon. Other predictions include the existence of [[gravitational wave]]s, which have been [[List of gravitational wave observations|observed directly]] by the physics collaboration [[LIGO]] and other observatories. In addition, general relativity has provided the basis for [[Physical cosmology|cosmological]] models of an [[Metric expansion of space|expanding universe]].


<!-- Before any further attempt of deleting the following claim, please, note its sources in the History section, and the conclusive consensus on the TP. -->
<!-- Before any further attempt of deleting the following claim, please, note its sources in the History section, and the conclusive consensus on the TP. -->
Widely acknowledged as a theory of extraordinary [[Mathematical beauty|beauty]], general relativity has often been described as the most beautiful of all existing physical theories.<ref name=":0" />
Widely acknowledged as a theory of extraordinary [[mathematical beauty]], general relativity has often been described as the most beautiful of all existing physical theories.<ref name=":0" />


{{TOC limit|limit=3}}
{{TOC limit|limit=3}}
Line 21: Line 22:
== History ==
== History ==
{{Main|History of general relativity|Classical theories of gravitation}}
{{Main|History of general relativity|Classical theories of gravitation}}
[[Henri Poincaré]]'s 1905 theory of the dynamics of the electron was a relativistic theory which he applied to all forces, including gravity.  While others thought that gravity was instantaneous or of electromagnetic origin, he suggested that relativity was "something due to our methods of measurement". In his theory, he showed that [[gravitational waves]] propagate at the speed of light.<ref>{{harvnb|Poincaré|1905}}</ref> Soon afterwards, Einstein started thinking about how to incorporate [[gravity]] into his relativistic framework. In 1907, beginning with a simple [[thought experiment]] involving an observer in free fall (FFO), he embarked on what would be an eight-year search for a relativistic theory of gravity. After numerous detours and false starts, his work culminated in the presentation to the [[Prussian Academy of Science]] in November 1915 of what are now known as the Einstein field equations, which form the core of Einstein's general theory of relativity.<ref>{{cite web |last1=O'Connor |first1=J.J. |last2=Robertson |first2=E.F. |date=May 1996 |url= http://www-history.mcs.st-and.ac.uk/HistTopics/General_relativity.html |title=General relativity }} {{citation |url=http://www-history.mcs.st-and.ac.uk/Indexes/Math_Physics.html |title=History Topics: Mathematical Physics Index |archive-url=https://web.archive.org/web/20150204231934/http://www-history.mcs.st-and.ac.uk/Indexes/Math_Physics.html |archive-date=4 February 2015 |publisher=School of Mathematics and Statistics, [[University of St. Andrews]] |location=Scotland |access-date=4 February 2015 }}</ref> These equations specify how the geometry of space and time is influenced by whatever matter and radiation are present.<ref>{{harvnb|Pais|1982|loc=ch. 9 to 15}}, {{harvnb|Janssen|2005}}; an up-to-date collection of current research, including reprints of many of the original articles, is {{harvnb|Renn|2007}}; an accessible overview can be found in {{harvnb|Renn|2005|pp=110ff}}. Einstein's original papers are found in [http://einsteinpapers.press.princeton.edu/ Digital Einstein], volumes 4 and 6. An early key article is {{harvnb|Einstein|1907}}, cf. {{harvnb|Pais|1982|loc=ch. 9}}. The publication featuring the field equations is {{harvnb|Einstein|1915}}, cf. {{harvnb|Pais|1982|loc=ch. 11–15}}</ref> A version of [[non-Euclidean geometry]], called [[Riemannian geometry]], enabled Einstein to develop general relativity by providing the key mathematical framework on which he fit his physical ideas of gravity.<ref>Moshe Carmeli (2008).Relativity: Modern Large-Scale Structures of the Cosmos. pp. 92, 93.World Scientific Publishing</ref> This idea was pointed out by mathematician [[Marcel Grossmann]] and published by Grossmann and Einstein in 1913.<ref>Grossmann for the mathematical part and Einstein for the physical part (1913). Entwurf einer verallgemeinerten Relativitätstheorie und einer Theorie der Gravitation (Outline of a Generalized Theory of Relativity and of a Theory of Gravitation), Zeitschrift für Mathematik und Physik, 62, 225–261. [http://www.pitt.edu/~jdnorton/teaching/GR&Grav_2007/pdf/Einstein_Entwurf_1913.pdf English translate]</ref>
[[Henri Poincaré]]'s 1905 theory of the dynamics of the electron was a relativistic theory which he applied to all forces, including gravity.  While others thought that gravity was instantaneous or of electromagnetic origin, he suggested that relativity was "something due to our methods of measurement". In his theory, he proposed that [[gravitational waves]] propagate at the [[speed of light]].<ref>{{harvnb|Poincaré|1905}}</ref> Soon afterwards, Einstein started thinking about how to incorporate [[gravity]] into his relativistic framework. In 1907, beginning with a simple [[thought experiment]] involving an observer in free fall (FFO), he embarked on what would be an eight-year search for a relativistic theory of gravity. After numerous detours and false starts, his work culminated in the presentation to the [[Prussian Academy of Science]] in November 1915 of what are known as the Einstein field equations, which form the core of Einstein's general theory of relativity.<ref>{{cite web |last1=O'Connor |first1=J.J. |last2=Robertson |first2=E.F. |date=May 1996 |url= http://www-history.mcs.st-and.ac.uk/HistTopics/General_relativity.html |title=General relativity }} {{citation |url=http://www-history.mcs.st-and.ac.uk/Indexes/Math_Physics.html |title=History Topics: Mathematical Physics Index |archive-url=https://web.archive.org/web/20150204231934/http://www-history.mcs.st-and.ac.uk/Indexes/Math_Physics.html |archive-date=4 February 2015 |publisher=School of Mathematics and Statistics, [[University of St. Andrews]] |location=Scotland |access-date=4 February 2015 }}</ref> These equations specify how the geometry of space and time is influenced by whatever matter and radiation are present.<ref>{{harvnb|Pais|1982|loc=ch. 9 to 15}}, {{harvnb|Janssen|2005}}; an up-to-date collection of current research, including reprints of many of the original articles, is {{harvnb|Renn|2007}}; an accessible overview can be found in {{harvnb|Renn|2005|pp=110ff}}. Einstein's original papers are found in [https://einsteinpapers.press.princeton.edu/ Digital Einstein], volumes 4 and 6. An early key article is {{harvnb|Einstein|1907}}, cf. {{harvnb|Pais|1982|loc=ch. 9}}. The publication featuring the field equations is {{harvnb|Einstein|1915}}, cf. {{harvnb|Pais|1982|loc=ch. 11–15}}</ref> A version of [[non-Euclidean geometry]], called [[Riemannian geometry]], enabled Einstein to develop general relativity by providing the key mathematical framework on which he fit his physical ideas of gravity.<ref>Moshe Carmeli (2008).Relativity: Modern Large-Scale Structures of the Cosmos. pp. 92, 93.World Scientific Publishing</ref> This idea was pointed out by mathematician [[Marcel Grossmann]] and published by Grossmann and Einstein in 1913.<ref>Grossmann for the mathematical part and Einstein for the physical part (1913). Entwurf einer verallgemeinerten Relativitätstheorie und einer Theorie der Gravitation (Outline of a Generalized Theory of Relativity and of a Theory of Gravitation), Zeitschrift für Mathematik und Physik, 62, 225–261. [http://www.pitt.edu/~jdnorton/teaching/GR&Grav_2007/pdf/Einstein_Entwurf_1913.pdf English translate]</ref>


The Einstein field equations are [[Nonlinear differential equation|nonlinear]] and are considered difficult to solve. Einstein used approximation methods in working out initial predictions of the theory. But in 1916, the astrophysicist [[Karl Schwarzschild]] found the first non-trivial exact solution to the Einstein field equations, the [[Schwarzschild metric]]. This solution laid the groundwork for the description of the final stages of gravitational collapse, and the objects known today as black holes. In the same year, the first steps towards generalizing Schwarzschild's solution to [[electrical charge|electrically charged]] objects were taken, eventually resulting in the [[Reissner–Nordström metric|Reissner–Nordström solution]], which is now associated with [[charged black hole|electrically charged black hole]]s.<ref>{{harvnb|Schwarzschild|1916a}}, {{harvnb|Schwarzschild|1916b}} and {{harvnb|Reissner|1916}} (later complemented in {{harvnb|Nordström|1918}})</ref> In 1917, Einstein applied his theory to the [[universe]] as a whole, initiating the field of relativistic cosmology. In line with contemporary thinking, he assumed a static universe, adding a new parameter to his original field equations—the [[cosmological constant]]—to match that observational presumption.<ref>{{harvnb|Einstein|1917}}, cf. {{harvnb|Pais|1982|loc=ch. 15e}}</ref> By 1929, however, the work of [[Edwin Hubble|Hubble]] and others had shown that the universe is expanding. This is readily described by the expanding cosmological solutions found by [[Alexander Friedmann|Friedmann]] in 1922, which do not require a cosmological constant. [[Georges Lemaître|Lemaître]] used these solutions to formulate the earliest version of the [[Big Bang]] models, in which the universe has evolved from an extremely hot and dense earlier state.<ref>Hubble's original article is {{harvnb|Hubble|1929}}; an accessible overview is given in {{harvnb|Singh|2004|loc=ch. 2–4}}</ref> Einstein later declared the cosmological constant the biggest blunder of his life.<ref>As reported in {{harvnb|Gamow|1970}}. Einstein's condemnation would prove to be premature, cf. section {{slink|#Cosmology}}, below</ref>
The Einstein field equations are [[Nonlinear differential equation|nonlinear]] and are considered difficult to solve. Einstein used approximation methods in working out initial predictions of the theory. But in 1916, the astrophysicist [[Karl Schwarzschild]] found the first non-trivial exact solution to the Einstein field equations, the [[Schwarzschild metric]]. This solution laid the groundwork for the description of the final stages of gravitational collapse, and the objects known today as black holes. In the same year, the first steps towards generalizing Schwarzschild's solution to [[electrical charge|electrically charged]] objects were taken, eventually resulting in the [[Reissner–Nordström metric|Reissner–Nordström solution]], which is associated with [[charged black hole|electrically charged black hole]]s.<ref>{{harvnb|Schwarzschild|1916a}}, {{harvnb|Schwarzschild|1916b}} and {{harvnb|Reissner|1916}} (later complemented in {{harvnb|Nordström|1918}})</ref> In 1917, Einstein applied his theory to the [[universe]] as a whole, initiating the field of relativistic cosmology. In line with contemporary thinking, he assumed a static universe, adding a new parameter to his original field equations—the [[cosmological constant]]—to match that observational presumption.<ref>{{harvnb|Einstein|1917}}, cf. {{harvnb|Pais|1982|loc=ch. 15e}}</ref> By 1929, however, the work of [[Edwin Hubble|Hubble]] and others had shown that the universe is expanding. This is readily described by the expanding cosmological solutions found by [[Alexander Friedmann|Friedmann]] in 1922, which do not require a cosmological constant. [[Georges Lemaître|Lemaître]] used these solutions to formulate the earliest version of the [[Big Bang]] models, in which the universe has evolved from an extremely hot and dense earlier state.<ref>Hubble's original article is {{harvnb|Hubble|1929}}; an accessible overview is given in {{harvnb|Singh|2004|loc=ch. 2–4}}</ref> Einstein later declared the cosmological constant the biggest blunder of his life.<ref>As reported in {{harvnb|Gamow|1970}}. Einstein's condemnation would prove to be premature, cf. section {{slink|#Cosmology}}, below</ref>


During that period, general relativity remained something of a curiosity among physical theories. It was clearly superior to [[Newtonian gravity]], being consistent with special relativity and accounting for several effects unexplained by the Newtonian theory. Einstein showed in 1915 how his theory explained the [[Perihelion precession of Mercury|anomalous perihelion advance]] of the planet [[Mercury (planet)|Mercury]] without any arbitrary parameters ("[[wikt:fudge factor|fudge factor]]s"),<ref>{{harvnb|Pais|1982|pp=253–254}}</ref> and in 1919 an expedition led by [[Arthur Eddington|Eddington]] confirmed general relativity's prediction for the deflection of starlight by the Sun during the total [[solar eclipse of 29 May 1919]],<ref>{{harvnb|Kennefick|2005}}, {{harvnb|Kennefick|2007}}</ref> instantly making Einstein famous.<ref>{{harvnb|Pais|1982|loc=ch. 16}}</ref> Yet the theory remained outside the mainstream of [[theoretical physics]] and astrophysics until developments between approximately 1960 and 1975, now known as the [[History of general relativity#Golden age|golden age of general relativity]].<ref>{{harvnb|Thorne|2003|p=[https://books.google.com/books?id=yLy4b61rfPwC&pg=PA74 74]}}</ref> Physicists began to understand the concept of a black hole, and to identify [[quasar]]s as one of these objects' astrophysical manifestations.<ref>{{harvnb|Israel|1987|loc=ch. 7.8–7.10}}, {{harvnb|Thorne|1994|loc=ch. 3–9}}</ref> Ever more precise solar system tests confirmed the theory's predictive power,<ref>Sections {{slink|#Orbital effects and the relativity of direction}}, {{slink|#Gravitational time dilation and frequency shift}} and {{slink|#Light deflection and gravitational time delay}}, and references therein</ref> and relativistic cosmology also became amenable to direct observational tests.<ref>Section {{slink|#Cosmology}} and references therein; the historical development is in {{harvnb|Overbye|1999}}</ref>
During that period, general relativity remained something of a curiosity among physical theories. It was clearly superior to [[Newtonian gravity]], being consistent with special relativity and accounting for several effects unexplained by the Newtonian theory. Einstein showed in 1915 how his theory explained the [[Perihelion precession of Mercury|anomalous perihelion advance]] of the planet [[Mercury (planet)|Mercury]] without any arbitrary parameters ("[[wikt:fudge factor|fudge factor]]s"),<ref>{{harvnb|Pais|1982|pp=253–254}}</ref> and in 1919 an expedition led by [[Arthur Eddington|Eddington]] confirmed general relativity's prediction for the deflection of starlight by the Sun during the total [[solar eclipse of 29 May 1919]],<ref>{{harvnb|Kennefick|2005}}, {{harvnb|Kennefick|2007}}</ref> instantly making Einstein famous.<ref>{{harvnb|Pais|1982|loc=ch. 16}}</ref> Yet the theory remained outside the mainstream of [[theoretical physics]] and astrophysics until developments between approximately 1960 and 1975 known as the [[History of general relativity#Golden age|golden age of general relativity]].<ref>{{harvnb|Thorne|2003|p=[https://books.google.com/books?id=yLy4b61rfPwC&pg=PA74 74]}}</ref> Physicists began to understand the concept of a black hole, and to identify [[quasar]]s as one of these objects' astrophysical manifestations.<ref>{{harvnb|Israel|1987|loc=ch. 7.8–7.10}}, {{harvnb|Thorne|1994|loc=ch. 3–9}}</ref> Ever more precise solar system tests confirmed the theory's predictive power,<ref>Sections {{slink|#Orbital effects and the relativity of direction}}, {{slink|#Gravitational time dilation and frequency shift}} and {{slink|#Light deflection and gravitational time delay}}, and references therein</ref> and relativistic cosmology also became amenable to direct observational tests.<ref>Section {{slink|#Cosmology}} and references therein; the historical development is in {{harvnb|Overbye|1999}}</ref>


General relativity has acquired a reputation as a theory of extraordinary beauty.<ref name=":0">{{harvnb|Landau|Lifshitz|1975|loc=p. 228}} "...&nbsp;the ''general theory of relativity'' ... was established by Einstein, and represents probably the most beautiful of all existing physical theories."</ref><ref>{{harvnb|Wald|1984|loc=p. 3}}</ref><ref>{{harvnb|Rovelli|2015|loc=pp. 1–6}} "General relativity is not just an extraordinarily beautiful physical theory providing the best description of the gravitational interaction we have so far. It is more."</ref> [[Subrahmanyan Chandrasekhar]] has noted that at multiple levels, general relativity exhibits what [[Francis Bacon]] has termed a "strangeness in the proportion" (''i.e.'' elements that excite wonderment and surprise). It juxtaposes fundamental concepts (space and time ''versus'' matter and motion) which had previously been considered as entirely independent. Chandrasekhar also noted that Einstein's only guides in his search for an exact theory were the principle of equivalence and his sense that a proper description of gravity should be geometrical at its basis, so that there was an "element of revelation" in the manner in which Einstein arrived at his theory.<ref>{{harvnb|Chandrasekhar|1984|loc=p. 6}}</ref> Other elements of beauty associated with the general theory of relativity are its simplicity and symmetry, the manner in which it incorporates invariance and unification, and its perfect logical consistency.<ref>{{harvnb|Engler|2002}}</ref>
General relativity has acquired a reputation as a theory of extraordinary beauty.<ref name=":0">{{harvnb|Landau|Lifshitz|1975|loc=p. 228}} "...&nbsp;the ''general theory of relativity'' ... was established by Einstein, and represents probably the most beautiful of all existing physical theories."</ref><ref>{{harvnb|Wald|1984|loc=p. 3}}</ref><ref>{{harvnb|Rovelli|2015|loc=pp. 1–6}} "General relativity is not just an extraordinarily beautiful physical theory providing the best description of the gravitational interaction we have so far. It is more."</ref> [[Subrahmanyan Chandrasekhar]] has noted that at multiple levels, general relativity exhibits what [[Francis Bacon]] has termed a "strangeness in the proportion" (''i.e.'' elements that excite wonderment and surprise). It juxtaposes fundamental concepts (space and time ''versus'' matter and motion) which had previously been considered as entirely independent. Chandrasekhar also noted that Einstein's only guides in his search for an exact theory were the principle of equivalence and his sense that a proper description of gravity should be geometrical at its basis, so that there was an "element of revelation" in the manner in which Einstein arrived at his theory.<ref>{{harvnb|Chandrasekhar|1984|loc=p. 6}}</ref> Other elements of beauty associated with the general theory of relativity are its simplicity and symmetry, the manner in which it incorporates invariance and unification, and its perfect logical consistency.<ref>{{harvnb|Engler|2002}}</ref>
Line 34: Line 35:
General relativity can be understood by examining its similarities with and departures from classical physics. The first step is the realization that classical mechanics and Newton's law of gravity admit a geometric description. The combination of this description with the laws of special relativity results in a [[heuristic]] derivation of general relativity.<ref>The following exposition re-traces that of {{harvnb|Ehlers|1973|loc=sec. 1}}</ref><ref>{{cite web |last=Al-Khalili |first=Jim |date=26 March 2021 |title=Gravity and Me: The force that shapes our lives |url=https://www.bbc.co.uk/programmes/b08kgv7f |access-date=9 April 2021 |website=www.bbc.co.uk }}</ref>
General relativity can be understood by examining its similarities with and departures from classical physics. The first step is the realization that classical mechanics and Newton's law of gravity admit a geometric description. The combination of this description with the laws of special relativity results in a [[heuristic]] derivation of general relativity.<ref>The following exposition re-traces that of {{harvnb|Ehlers|1973|loc=sec. 1}}</ref><ref>{{cite web |last=Al-Khalili |first=Jim |date=26 March 2021 |title=Gravity and Me: The force that shapes our lives |url=https://www.bbc.co.uk/programmes/b08kgv7f |access-date=9 April 2021 |website=www.bbc.co.uk }}</ref>


=== Geometry of Newtonian gravity<!--'Einstein's elevator experiment' redirects here--> ===
=== Geometry of Newtonian gravity <!--'Einstein's elevator experiment' redirects here--> ===
[[File:Elevator gravity.svg|thumb|According to general relativity, objects in a gravitational field behave similarly to objects within an accelerating enclosure. For example, an observer will see a ball fall the same way in a rocket (left) as it does on Earth (right), provided that the acceleration of the rocket is equal to 9.8&nbsp;m/s<sup>2</sup> (the acceleration due to gravity on the surface of the Earth).]]
[[File:Elevator gravity.svg|thumb|According to general relativity, objects in a gravitational field behave similarly to objects within an accelerating enclosure. For example, an observer will see a ball fall the same way in a rocket (left) as it does on Earth (right), provided that the acceleration of the rocket is equal to 9.8&nbsp;m/s<sup>2</sup> (the acceleration due to gravity on the surface of the Earth).]]
At the base of [[classical mechanics]] is the notion that a [[physical body|body]]'s motion can be described as a combination of free (or [[inertia]]l) motion, and deviations from this free motion. Such deviations are caused by external forces acting on a body in accordance with Newton's second [[Newton's laws of motion|law of motion]], which states that the net [[force]] acting on a body is equal to that body's (inertial) [[mass]] multiplied by its [[acceleration]].<ref>{{harvnb|Arnold|1989|loc=ch. 1}}</ref> The preferred inertial motions are related to the geometry of space and time: in the standard [[frame of reference|reference frames]] of classical mechanics, objects in free motion move along straight lines at constant speed. In modern parlance, their paths are [[geodesic]]s, straight [[world lines]] in [[curved spacetime]].<ref>{{harvnb|Ehlers|1973|pp=5f}}</ref>
At the base of [[classical mechanics]] is the notion that a [[physical body|body]]'s motion can be described as a combination of free (or [[inertia]]l) motion, and deviations from this free motion. Such deviations are caused by external forces acting on a body in accordance with Newton's second [[Newton's laws of motion|law of motion]], which states that the net [[force]] acting on a body is equal to that body's (inertial) [[mass]] multiplied by its [[acceleration]].<ref>{{harvnb|Arnold|1989|loc=ch. 1}}</ref> The preferred inertial motions are related to the geometry of space and time: in the standard [[frame of reference|reference frames]] of classical mechanics, objects in free motion move along straight lines at constant speed. In modern parlance, their paths are [[geodesic]]s, straight [[world lines]] in [[curved spacetime]].<ref>{{harvnb|Ehlers|1973|pp=5f}}</ref>
Line 52: Line 53:
A priori, it is not clear whether the new local frames in free fall coincide with the reference frames in which the laws of special relativity hold—that theory is based on the propagation of light, and thus on electromagnetism, which could have a different set of [[preferred frame]]s. But using different assumptions about the special-relativistic frames (such as their being earth-fixed, or in free fall), one can derive different predictions for the gravitational redshift, that is, the way in which the frequency of light shifts as the light propagates through a gravitational field (cf. [[#Gravitational time dilation and frequency shift|below]]). The actual measurements show that free-falling frames are the ones in which light propagates as it does in special relativity.<ref>{{Harvnb|Ehlers|1973|pp=17ff}}; a derivation can be found in {{Harvnb|Mermin|2005|loc=ch. 12}}. For the experimental evidence, cf. the section [[#Gravitational time dilation and frequency shift|Gravitational time dilation and frequency shift]], below</ref> The generalization of this statement, namely that the laws of special relativity hold to good approximation in freely falling (and non-rotating) reference frames, is known as the [[Equivalence Principle#The Einstein equivalence principle|Einstein equivalence principle]], a crucial guiding principle for generalizing special-relativistic physics to include gravity.<ref>{{Harvnb|Rindler|2001|loc=sec. 1.13}}; for an elementary account, see {{Harvnb|Wheeler|1990|loc=ch. 2}}; there are, however, some differences between the modern version and Einstein's original concept used in the historical derivation of general relativity, cf. {{Harvnb|Norton|1985}}</ref>
A priori, it is not clear whether the new local frames in free fall coincide with the reference frames in which the laws of special relativity hold—that theory is based on the propagation of light, and thus on electromagnetism, which could have a different set of [[preferred frame]]s. But using different assumptions about the special-relativistic frames (such as their being earth-fixed, or in free fall), one can derive different predictions for the gravitational redshift, that is, the way in which the frequency of light shifts as the light propagates through a gravitational field (cf. [[#Gravitational time dilation and frequency shift|below]]). The actual measurements show that free-falling frames are the ones in which light propagates as it does in special relativity.<ref>{{Harvnb|Ehlers|1973|pp=17ff}}; a derivation can be found in {{Harvnb|Mermin|2005|loc=ch. 12}}. For the experimental evidence, cf. the section [[#Gravitational time dilation and frequency shift|Gravitational time dilation and frequency shift]], below</ref> The generalization of this statement, namely that the laws of special relativity hold to good approximation in freely falling (and non-rotating) reference frames, is known as the [[Equivalence Principle#The Einstein equivalence principle|Einstein equivalence principle]], a crucial guiding principle for generalizing special-relativistic physics to include gravity.<ref>{{Harvnb|Rindler|2001|loc=sec. 1.13}}; for an elementary account, see {{Harvnb|Wheeler|1990|loc=ch. 2}}; there are, however, some differences between the modern version and Einstein's original concept used in the historical derivation of general relativity, cf. {{Harvnb|Norton|1985}}</ref>


The same experimental data shows that time as measured by clocks in a gravitational field—[[proper time]], to give the technical term—does not follow the rules of special relativity. In the language of spacetime geometry, it is not measured by the [[Minkowski metric]]. As in the Newtonian case, this is suggestive of a more general geometry. At small scales, all reference frames that are in free fall are equivalent, and approximately Minkowskian. Consequently, we are now dealing with a curved generalization of Minkowski space. The [[metric tensor (general relativity)|metric tensor]] that defines the geometry—in particular, how lengths and angles are measured—is not the Minkowski metric of special relativity, it is a generalization known as a semi- or [[pseudo-Riemannian]] metric. Furthermore, each Riemannian metric is naturally associated with one particular kind of connection, the [[Levi-Civita connection]], and this is, in fact, the connection that satisfies the equivalence principle and makes space locally Minkowskian (that is, in suitable [[Local reference frame|locally inertial coordinates]], the metric is Minkowskian, and its first partial derivatives and the connection coefficients vanish).<ref>{{Harvnb|Ehlers|1973|loc=sec. 1.4}} for the experimental evidence, see once more section [[#Gravitational time dilation and frequency shift|Gravitational time dilation and frequency shift]]. Choosing a different connection with non-zero [[torsion tensor|torsion]] leads to a modified theory known as [[Einstein–Cartan theory]]</ref>
The same experimental data shows that time as measured by clocks in a gravitational field—[[proper time]], to give the technical term—does not follow the rules of special relativity. In the language of spacetime geometry, it is not measured by the [[Minkowski metric]]. As in the Newtonian case, this is suggestive of a more general geometry. At small scales, all reference frames that are in free fall are equivalent, and approximately Minkowskian. Consequently, we are dealing with a curved generalization of Minkowski space. The [[metric tensor (general relativity)|metric tensor]] that defines the geometry—in particular, how lengths and angles are measured—is not the Minkowski metric of special relativity, it is a generalization known as a semi- or [[pseudo-Riemannian]] metric. Furthermore, each Riemannian metric is naturally associated with one particular kind of connection, the [[Levi-Civita connection]], and this is, in fact, the connection that satisfies the equivalence principle and makes space locally Minkowskian (that is, in suitable [[Local reference frame|locally inertial coordinates]], the metric is Minkowskian, and its first partial derivatives and the connection coefficients vanish).<ref>{{Harvnb|Ehlers|1973|loc=sec. 1.4}} for the experimental evidence, see once more section [[#Gravitational time dilation and frequency shift|Gravitational time dilation and frequency shift]]. Choosing a different connection with non-zero [[torsion tensor|torsion]] leads to a modified theory known as [[Einstein–Cartan theory]]</ref>


=== Einstein's equations ===
=== Einstein's equations ===
Line 60: Line 61:
|indent=:
|indent=:
|title='''Einstein's field equations'''
|title='''Einstein's field equations'''
|equation=<math>G_{\mu\nu}\equiv R_{\mu\nu} - {\textstyle 1 \over 2}R\,g_{\mu\nu} = \kappa T_{\mu\nu}\,</math>
|equation=<math>G_{\mu\nu}\equiv R_{\mu\nu} - \tfrac{1}{2}R\,g_{\mu\nu} = \kappa T_{\mu\nu}\,</math>
|cellpadding
|cellpadding
|border
|border
Line 67: Line 68:


On the left-hand side is the [[Einstein tensor]], <math>G_{\mu\nu}</math>, which is symmetric and a specific divergence-free combination of the Ricci tensor <math>R_{\mu\nu}</math> and the metric. In particular,
On the left-hand side is the [[Einstein tensor]], <math>G_{\mu\nu}</math>, which is symmetric and a specific divergence-free combination of the Ricci tensor <math>R_{\mu\nu}</math> and the metric. In particular,
: <math>R=g^{\mu\nu}R_{\mu\nu}</math>
<math display="block">R=g^{\mu\nu}R_{\mu\nu}</math>
is the curvature scalar. The Ricci tensor itself is related to the more general [[Riemann curvature tensor]] as
is the curvature scalar. The Ricci tensor itself is related to the more general [[Riemann curvature tensor]] as
: <math>R_{\mu\nu}={R^\alpha}_{\mu\alpha\nu}.</math>
<math display="block">R_{\mu\nu}={R^\alpha}_{\mu\alpha\nu}.</math>


On the right-hand side, <math>\kappa</math> is a constant and <math>T_{\mu\nu}</math> is the stress–energy tensor. All tensors are written in [[abstract index notation]].<ref>{{Harvnb|Ehlers|1973|pp=19–22}}; for similar derivations, see sections 1 and 2 of ch. 7 in {{Harvnb|Weinberg|1972}}. The Einstein tensor is the only divergence-free tensor that is a function of the metric coefficients, their first and second derivatives at most, and allows the spacetime of special relativity as a solution in the absence of sources of gravity, cf. {{Harvnb|Lovelock|1972}}. The tensors on both side are of second rank, that is, they can each be thought of as 4×4 matrices, each of which contains ten independent terms; hence, the above represents ten coupled equations. The fact that, as a consequence of geometric relations known as [[Bianchi identities]], the Einstein tensor satisfies a further four identities reduces these to six independent equations, e.g. {{Harvnb|Schutz|1985|loc=sec. 8.3}}</ref> Matching the theory's prediction to observational results for [[planet]]ary [[orbit]]s or, equivalently, assuring that the weak-gravity, low-speed limit is Newtonian mechanics, the proportionality constant <math>\kappa</math> is found to be <math display="inline">\kappa={8\pi G}/{c^4}</math>, where <math>G</math> is the [[Newtonian constant of gravitation]] and <math>c</math> the speed of light in vacuum.<ref>{{Harvnb|Kenyon|1990|loc=sec. 7.4}}</ref> When there is no matter present, so that the stress–energy tensor vanishes, the results are the vacuum Einstein equations,
On the right-hand side, <math>\kappa</math> is a constant and <math>T_{\mu\nu}</math> is the stress–energy tensor. All tensors are written in [[abstract index notation]].<ref>{{Harvnb|Ehlers|1973|pp=19–22}}; for similar derivations, see sections 1 and 2 of ch. 7 in {{Harvnb|Weinberg|1972}}. The Einstein tensor is the only divergence-free tensor that is a function of the metric coefficients, their first and second derivatives at most, and allows the spacetime of special relativity as a solution in the absence of sources of gravity, cf. {{Harvnb|Lovelock|1972}}. The tensors on both side are of second rank, that is, they can each be thought of as 4×4 matrices, each of which contains ten independent terms; hence, the above represents ten coupled equations. The fact that, as a consequence of geometric relations known as [[Bianchi identities]], the Einstein tensor satisfies a further four identities reduces these to six independent equations, e.g. {{Harvnb|Schutz|1985|loc=sec. 8.3}}</ref> Matching the theory's prediction to observational results for [[planet]]ary [[orbit]]s or, equivalently, assuring that the weak-gravity, low-speed limit is Newtonian mechanics, the proportionality constant <math>\kappa</math> is found to be <math display="inline">\kappa={8\pi G}/{c^4}</math>, where <math>G</math> is the [[Newtonian constant of gravitation]] and <math>c</math> the speed of light in vacuum.<ref>{{Harvnb|Kenyon|1990|loc=sec. 7.4}}</ref> When there is no matter present, so that the stress–energy tensor vanishes, the results are the vacuum Einstein equations,
: <math>R_{\mu\nu}=0.</math>
<math display="block">R_{\mu\nu}=0.</math>


In general relativity, the [[world line]] of a particle free from all external, non-gravitational force is a particular type of geodesic in curved spacetime. In other words, a freely moving or falling particle always moves along a geodesic.
In general relativity, the [[world line]] of a particle free from all external, non-gravitational force is a particular type of geodesic in curved spacetime. In other words, a freely moving or falling particle always moves along a geodesic.


The [[Geodesics in general relativity|geodesic equation]] is:
The [[Geodesics in general relativity|geodesic equation]] is:
: <math> {d^2 x^\mu \over ds^2}+\Gamma^\mu {}_{\alpha \beta}{d x^\alpha \over ds}{d x^\beta \over ds}=0,</math>
<math display="block"> {d^2 x^\mu \over ds^2}+\Gamma^\mu {}_{\alpha \beta}{d x^\alpha \over ds}{d x^\beta \over ds}=0,</math>
where <math>s</math> is a scalar parameter of motion (e.g. the [[proper time]]), and <math> \Gamma^\mu {}_{\alpha \beta}</math> are [[Christoffel symbols]] (sometimes called the [[affine connection]] coefficients or [[Levi-Civita connection]] coefficients) which is symmetric in the two lower indices. Greek indices may take the values: 0, 1, 2, 3 and the [[summation convention]] is used for repeated indices <math>\alpha</math> and <math>\beta</math>. The quantity on the left-hand-side of this equation is the acceleration of a particle, and so this equation is analogous to [[Newton's laws of motion]] which likewise provide formulae for the acceleration of a particle. This equation of motion employs the [[Einstein notation]], meaning that repeated indices are summed (i.e. from zero to three). The Christoffel symbols are functions of the four spacetime coordinates, and so are independent of the velocity or acceleration or other characteristics of a [[test particle]] whose motion is described by the geodesic equation.
where <math>s</math> is a scalar parameter of motion (e.g. the [[proper time]]), and <math> \Gamma^\mu {}_{\alpha \beta}</math> are [[Christoffel symbols]] (sometimes called the [[affine connection]] coefficients or [[Levi-Civita connection]] coefficients) which is symmetric in the two lower indices. Greek indices may take the values: 0, 1, 2, 3 and the [[summation convention]] is used for repeated indices <math>\alpha</math> and <math>\beta</math>. The quantity on the left-hand-side of this equation is the acceleration of a particle, and so this equation is analogous to [[Newton's laws of motion]] which likewise provide formulae for the acceleration of a particle. This equation of motion employs the [[Einstein notation]], meaning that repeated indices are summed (i.e. from zero to three). The Christoffel symbols are functions of the four spacetime coordinates, and so are independent of the velocity or acceleration or other characteristics of a [[test particle]] whose motion is described by the geodesic equation.


=== Total force in general relativity ===
=== Total force in general relativity ===
{{See also|Two-body problem in general relativity}}
{{See also|Two-body problem in general relativity}}
In general relativity, the effective [[gravitational potential energy]] of an object of mass ''m'' revolving around a massive central body ''M'' is given by<ref>{{cite book |title=Gravitation and Cosmology: Principles and Applications of the General Theory of Relativity|last=Weinberg, Steven|publisher=John Wiley|year=1972|isbn=978-0-471-92567-5}}</ref><ref>{{cite book |title=Relativity, Gravitation and Cosmology: a Basic Introduction|last=Cheng, Ta-Pei|publisher=Oxford and New York: Oxford University Press|year=2005|isbn=978-0-19-852957-6}}</ref>
In general relativity, the effective [[gravitational potential energy]] of an object of mass ''m'' revolving around a massive central body ''M'' is given by<ref>{{cite book |title=Gravitation and Cosmology: Principles and Applications of the General Theory of Relativity|last=Weinberg, Steven|publisher=John Wiley|year=1972|isbn=978-0-471-92567-5}}</ref><ref>{{cite book |title=Relativity, Gravitation and Cosmology: a Basic Introduction|last=Cheng, Ta-Pei|location=Oxford and New York |publisher=Oxford University Press|year=2005|isbn=978-0-19-852957-6}}</ref>
: <math>U_f(r) =-\frac{GMm}{r}+\frac{L^{2}}{2mr^{2}}-\frac{GML^{2}}{mc^{2}r^{3}}</math>
<math display="block">U_f(r) =-\frac{GMm}{r}+\frac{L^{2}}{2mr^{2}}-\frac{GML^{2}}{mc^{2}r^{3}}</math>


A conservative total [[force]] can then be obtained as its [[Force#Potential_energy|negative gradient]]
A conservative total [[force]] can then be obtained as its [[Force#Potential_energy|negative gradient]]
: <math>F_f(r)=-\frac{GMm}{r^{2}}+\frac{L^{2}}{mr^{3}}-\frac{3GML^{2}}{mc^{2}r^{4}}</math>
<math display="block">F_f(r)=-\frac{GMm}{r^{2}}+\frac{L^{2}}{mr^{3}}-\frac{3GML^{2}}{mc^{2}r^{4}}</math>
where ''L'' is the [[angular momentum]]. The first term represents the [[Newton's law of universal gravitation|force of Newtonian gravity]], which is described by the inverse-square law. The second term represents the [[centrifugal force]] in the circular motion. The third term represents the relativistic effect.
where ''L'' is the [[angular momentum]]. The first term represents the [[Newton's law of universal gravitation|force of Newtonian gravity]], which is described by the inverse-square law. The second term represents the [[centrifugal force]] in the circular motion. The third term represents the relativistic effect.


Line 101: Line 102:
General relativity is a [[metric (general relativity)|metric]] theory of gravitation. At its core are [[Einstein's equations]], which describe the relation between the geometry of a four-dimensional [[pseudo-Riemannian manifold]] representing spacetime, and the [[stress–energy tensor|distribution of energy, momentum and stress]] contained in that spacetime.<ref>{{harvnb|Wald|1984|loc=ch. 4}}, {{harvnb|Weinberg|1972|loc=ch. 7}} or, in fact, any other textbook on general relativity</ref> Phenomena that in classical mechanics are ascribed to the action of the force of gravity (such as [[free-fall]], orbital motion, and [[spacecraft]] [[Trajectory|trajectories]]), correspond to inertial motion within a curved geometry of spacetime in general relativity; there is no gravitational force deflecting objects from their natural, straight paths. Instead, gravity corresponds to changes in the properties of space and time, which in turn changes the straightest-possible paths that objects will naturally follow.<ref>At least approximately, cf. {{harvnb|Poisson|2004a}}</ref> The curvature is, in turn, caused by the stress–energy of matter. Paraphrasing the relativist [[John Archibald Wheeler]], spacetime tells matter how to move; matter tells spacetime how to curve.<ref>{{harvnb|Wheeler|1990|p=xi}}</ref>
General relativity is a [[metric (general relativity)|metric]] theory of gravitation. At its core are [[Einstein's equations]], which describe the relation between the geometry of a four-dimensional [[pseudo-Riemannian manifold]] representing spacetime, and the [[stress–energy tensor|distribution of energy, momentum and stress]] contained in that spacetime.<ref>{{harvnb|Wald|1984|loc=ch. 4}}, {{harvnb|Weinberg|1972|loc=ch. 7}} or, in fact, any other textbook on general relativity</ref> Phenomena that in classical mechanics are ascribed to the action of the force of gravity (such as [[free-fall]], orbital motion, and [[spacecraft]] [[Trajectory|trajectories]]), correspond to inertial motion within a curved geometry of spacetime in general relativity; there is no gravitational force deflecting objects from their natural, straight paths. Instead, gravity corresponds to changes in the properties of space and time, which in turn changes the straightest-possible paths that objects will naturally follow.<ref>At least approximately, cf. {{harvnb|Poisson|2004a}}</ref> The curvature is, in turn, caused by the stress–energy of matter. Paraphrasing the relativist [[John Archibald Wheeler]], spacetime tells matter how to move; matter tells spacetime how to curve.<ref>{{harvnb|Wheeler|1990|p=xi}}</ref>


While general relativity replaces the [[scalar field|scalar]] gravitational potential of classical physics by a symmetric [[Tensor#As multidimensional arrays|rank]]-two [[tensor]], the latter reduces to the former in certain [[Correspondence principle#Other scientific theories|limiting cases]]. For [[weak-field approximation|weak gravitational fields]] and [[slow-motion approximation|low speed]] relative to the speed of light, the theory's predictions converge on those of Newton's law of universal gravitation.<ref>{{harvnb|Wald|1984|loc=sec. 4.4}}</ref>
While general relativity replaces the [[scalar field|scalar]] gravitational potential of classical physics by a symmetric [[Tensor#As multidimensional arrays|rank]]-two [[tensor]], the latter reduces to the former in certain [[Correspondence principle#Generalized correspondence principle|limiting cases]]. For [[weak-field approximation|weak gravitational fields]] and [[slow-motion approximation|low speed]] relative to the speed of light, the theory's predictions converge on those of Newton's law of universal gravitation.<ref>{{harvnb|Wald|1984|loc=sec. 4.4}}</ref>


As it is constructed using tensors, general relativity exhibits [[general covariance]]: its laws—and further laws formulated within the general relativistic framework—take on the same form in all [[coordinate system]]s.<ref>{{harvnb|Wald|1984|loc=sec. 4.1}}</ref> Furthermore, the theory does not contain any invariant geometric background structures, i.e. it is [[Background independence|background-independent]]. It thus satisfies a more stringent [[general principle of relativity]], namely that the [[Physical law|laws of physics]] are the same for all observers.<ref>For the (conceptual and historical) difficulties in defining a general principle of relativity and separating it from the notion of general covariance, see {{harvnb|Giulini|2007}}</ref> [[Local spacetime structure|Locally]], as expressed in the equivalence principle, spacetime is [[Minkowski space|Minkowskian]], and the laws of physics exhibit [[local Lorentz invariance]].<ref>section 5 in ch. 12 of {{harvnb|Weinberg|1972}}</ref>
As it is constructed using tensors, general relativity exhibits [[general covariance]]: its laws—and further laws formulated within the general relativistic framework—take on the same form in all [[coordinate system]]s.<ref>{{harvnb|Wald|1984|loc=sec. 4.1}}</ref> Furthermore, the theory does not contain any invariant geometric background structures, i.e. it is [[Background independence|background-independent]]. It thus satisfies a more stringent [[general principle of relativity]], namely that the [[Physical law|laws of physics]] are the same for all observers.<ref>For the (conceptual and historical) difficulties in defining a general principle of relativity and separating it from the notion of general covariance, see {{harvnb|Giulini|2007}}</ref> [[Local spacetime structure|Locally]], as expressed in the equivalence principle, spacetime is [[Minkowski space|Minkowskian]], and the laws of physics exhibit [[local Lorentz invariance]].<ref>section 5 in ch. 12 of {{harvnb|Weinberg|1972}}</ref>


=== Model-building ===
=== Model-building and basic applications===
The core concept of general-relativistic model-building is that of a [[solutions of the Einstein field equations|solution of Einstein's equations]]. Given both Einstein's equations and suitable equations for the properties of matter, such a solution consists of a specific semi-[[Riemannian manifold]] (usually defined by giving the metric in specific coordinates), and specific matter fields defined on that manifold. Matter and geometry must satisfy Einstein's equations, so in particular, the matter's stress–energy tensor must be divergence-free. The matter must, of course, also satisfy whatever additional equations were imposed on its properties. In short, such a solution is a model universe that satisfies the laws of general relativity, and possibly additional laws governing whatever matter might be present.<ref>Introductory chapters of {{Harvnb|Stephani|Kramer|MacCallum|Hoenselaers|2003}}</ref>
The core concept of general-relativistic model-building is that of a [[solutions of the Einstein field equations|solution of Einstein's equations]]. Given both Einstein's equations and suitable equations for the properties of matter, such a solution consists of a specific semi-[[Riemannian manifold]] (usually defined by giving the metric in specific coordinates), and specific matter fields defined on that manifold. Matter and geometry must satisfy Einstein's equations, so in particular, the matter's stress–energy tensor must be divergence-free. The matter must, of course, also satisfy whatever additional equations were imposed on its properties. In short, such a solution is a model universe that satisfies the laws of general relativity, and possibly additional laws governing whatever matter might be present.<ref>Introductory chapters of {{Harvnb|Stephani|Kramer|MacCallum|Hoenselaers|2003}}</ref>


Line 120: Line 121:
Assuming that the equivalence principle holds,<ref>{{Harvnb|Rindler|2001|pp=24–26 vs. pp. 236–237}} and {{Harvnb|Ohanian|Ruffini|1994|pp=164–172}}. Einstein derived these effects using the equivalence principle as early as 1907, cf. {{Harvnb|Einstein|1907}} and the description in {{Harvnb|Pais|1982|pp=196–198}}</ref> gravity influences the passage of time. Light sent down into a [[gravity well]] is [[blueshift]]ed, whereas light sent in the opposite direction (i.e., climbing out of the gravity well) is [[redshift]]ed; collectively, these two effects are known as the gravitational frequency shift. More generally, processes close to a massive body run more slowly when compared with processes taking place farther away; this effect is known as gravitational time dilation.<ref>{{Harvnb|Rindler|2001|pp=24–26}}; {{Harvnb|Misner|Thorne|Wheeler|1973 |loc=§&nbsp;38.5}}</ref>
Assuming that the equivalence principle holds,<ref>{{Harvnb|Rindler|2001|pp=24–26 vs. pp. 236–237}} and {{Harvnb|Ohanian|Ruffini|1994|pp=164–172}}. Einstein derived these effects using the equivalence principle as early as 1907, cf. {{Harvnb|Einstein|1907}} and the description in {{Harvnb|Pais|1982|pp=196–198}}</ref> gravity influences the passage of time. Light sent down into a [[gravity well]] is [[blueshift]]ed, whereas light sent in the opposite direction (i.e., climbing out of the gravity well) is [[redshift]]ed; collectively, these two effects are known as the gravitational frequency shift. More generally, processes close to a massive body run more slowly when compared with processes taking place farther away; this effect is known as gravitational time dilation.<ref>{{Harvnb|Rindler|2001|pp=24–26}}; {{Harvnb|Misner|Thorne|Wheeler|1973 |loc=§&nbsp;38.5}}</ref>


Gravitational redshift has been measured in the laboratory<ref>[[Pound–Rebka experiment]], see {{Harvnb|Pound|Rebka|1959}}, {{Harvnb|Pound|Rebka|1960}}; {{Harvnb|Pound|Snider|1964}}; a list of further experiments is given in {{Harvnb|Ohanian|Ruffini|1994|loc=table 4.1 on p. 186}}</ref> and using astronomical observations.<ref>{{Harvnb|Greenstein|Oke|Shipman|1971}}; the most recent and most accurate Sirius B measurements are published in {{Harvnb|Barstow, Bond et al.|2005}}.</ref> Gravitational time dilation in the Earth's gravitational field has been measured numerous times using [[atomic clocks]],<ref>Starting with the [[Hafele–Keating experiment]], {{Harvnb|Hafele|Keating|1972a}} and {{Harvnb|Hafele|Keating|1972b}}, and culminating in the [[Gravity Probe A]] experiment; an overview of experiments can be found in {{Harvnb|Ohanian|Ruffini|1994|loc=table 4.1 on p. 186}}</ref> while ongoing validation is provided as a side effect of the operation of the [[Global Positioning System]] (GPS).<ref>GPS is continually tested by comparing atomic clocks on the ground and aboard orbiting satellites; for an account of relativistic effects, see {{Harvnb|Ashby|2002}} and {{Harvnb|Ashby|2003}}</ref> Tests in stronger gravitational fields are provided by the observation of [[binary pulsar]]s.<ref>{{Harvnb|Stairs|2003}} and {{Harvnb|Kramer|2004}}</ref> All results are in agreement with general relativity.<ref>General overviews can be found in section 2.1. of Will 2006; Will 2003, pp. 32–36; {{Harvnb|Ohanian|Ruffini|1994|loc=sec. 4.2}}</ref> However, at the current level of accuracy, these observations cannot distinguish between general relativity and other theories in which the equivalence principle is valid.<ref>{{Harvnb|Ohanian|Ruffini|1994|pp=164–172}}</ref>
Gravitational redshift has been measured in the laboratory<ref>[[Pound–Rebka experiment]], see {{Harvnb|Pound|Rebka|1959}}, {{Harvnb|Pound|Rebka|1960}}; {{Harvnb|Pound|Snider|1964}}; a list of further experiments is given in {{Harvnb|Ohanian|Ruffini|1994|loc=table 4.1 on p. 186}}</ref> and using astronomical observations.<ref>{{Harvnb|Greenstein|Oke|Shipman|1971}}; the most recent and most accurate Sirius B measurements are published in {{Harvnb|Barstow, Bond et al.|2005}}.</ref> Gravitational time dilation in the Earth's gravitational field has been measured numerous times using [[atomic clocks]],<ref>Starting with the [[Hafele–Keating experiment]], {{Harvnb|Hafele|Keating|1972a}} and {{Harvnb|Hafele|Keating|1972b}}, and culminating in the [[Gravity Probe A]] experiment; an overview of experiments can be found in {{Harvnb|Ohanian|Ruffini|1994|loc=table 4.1 on p. 186}}</ref> while ongoing validation is provided as a side effect of the operation of the [[Global Positioning System]] (GPS).<ref>GPS is continually tested by comparing atomic clocks on the ground and aboard orbiting satellites; for an account of relativistic effects, see {{Harvnb|Ashby|2002}} and {{Harvnb|Ashby|2003}}</ref> Tests in stronger gravitational fields are provided by the observation of [[binary pulsar]]s.<ref>{{Harvnb|Stairs|2003}} and {{Harvnb|Kramer|2004}}</ref> All results are in agreement with general relativity.<ref>General overviews can be found in section 2.1. of Will 2006; Will 2003, pp. 32–36; {{Harvnb|Ohanian|Ruffini|1994|loc=sec. 4.2}}</ref> However, at the existing level of accuracy, these observations cannot distinguish between general relativity and other theories in which the equivalence principle is valid.<ref>{{Harvnb|Ohanian|Ruffini|1994|pp=164–172}}</ref>
 
In the vicinity of a non-rotating sphere, the time dilation due to gravity, derived from the Schwarzschild metric, is <br>
:<math>t_0 = t_f \sqrt{1 - \frac{2GM}{rc^2}}</math><br>
where<br>
* <math>t_0</math> is the proper time between two events for an observer close to the massive sphere, i.e. deep within the gravitational field
* <math>t_f</math> is the coordinate time between the events for an observer at an arbitrarily large distance from the massive object (this assumes the far-away observer is using [[Schwarzschild coordinates]], a coordinate system where a clock at infinite distance from the massive sphere would tick at one second per second of coordinate time, while closer clocks would tick at less than that rate),
* <math>G</math> is the [[gravitational constant]],
* <math>M</math> is the [[mass]] of the object creating the gravitational field,
* <math>r</math> is the radial coordinate of the observer within the gravitational field (this coordinate is analogous to the classical distance from the center of the object, but is actually a Schwarzschild coordinate; the equation in this form has real solutions for <math>r > r_{\rm s}</math>),
* <math>c</math> is the [[speed of light]].


=== Light deflection and gravitational time delay ===
=== Light deflection and gravitational time delay ===
Line 135: Line 146:
{{Main|Gravitational wave}}
{{Main|Gravitational wave}}
[[File:Gravwav.gif|thumb|Ring of test particles deformed by a passing (linearized, amplified for better visibility) gravitational wave]]
[[File:Gravwav.gif|thumb|Ring of test particles deformed by a passing (linearized, amplified for better visibility) gravitational wave]]
Predicted in 1916<ref>{{cite journal|author=Einstein, A|title=Näherungsweise Integration der Feldgleichungen der Gravitation|date=22 June 1916|url=http://einstein-annalen.mpiwg-berlin.mpg.de/related_texts/sitzungsberichte|journal=[[Prussian Academy of Sciences|Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften Berlin]] |issue=part&nbsp;1|pages=688–696|bibcode=1916SPAW.......688E|access-date=12 February 2016|archive-url=https://web.archive.org/web/20190321062928/http://einstein-annalen.mpiwg-berlin.mpg.de/related_texts/sitzungsberichte|archive-date=21 March 2019}}</ref><ref>{{cite journal|author=Einstein, A|title=Über Gravitationswellen|date=31 January 1918|url=http://einstein-annalen.mpiwg-berlin.mpg.de/related_texts/sitzungsberichte|journal=Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften Berlin|issue=part&nbsp;1|pages=154–167|bibcode=1918SPAW.......154E|access-date=12 February 2016|archive-url=https://web.archive.org/web/20190321062928/http://einstein-annalen.mpiwg-berlin.mpg.de/related_texts/sitzungsberichte|archive-date=21 March 2019}}</ref> by Albert Einstein, there are gravitational waves: ripples in the metric of spacetime that propagate at the speed of light. These are one of several analogies between weak-field gravity and electromagnetism in that, they are analogous to [[electromagnetic wave]]s. On 11 February 2016, the Advanced LIGO team announced that they had [[Gravitational wave observation|directly detected gravitational waves]] from a [[Binary black hole|pair]] of black holes [[Stellar collision|merging]].<ref name="Discovery 2016">{{cite journal |title=Einstein's gravitational waves found at last |journal=Nature News| url=http://www.nature.com/news/einstein-s-gravitational-waves-found-at-last-1.19361 |date=11 February 2016 |last1= Castelvecchi |first1=Davide |last2=Witze |first2=Witze |doi=10.1038/nature.2016.19361 |s2cid=182916902|access-date= 11 February 2016 |doi-access=free }}</ref><ref name="Abbot">{{cite journal |title=Observation of Gravitational Waves from a Binary Black Hole Merger| author1=B. P. Abbott |collaboration=LIGO Scientific Collaboration and Virgo Collaboration| journal=Physical Review Letters| year=2016| volume=116|issue=6| doi= 10.1103/PhysRevLett.116.061102 | pmid=26918975| article-number=061102|arxiv = 1602.03837 |bibcode = 2016PhRvL.116f1102A | s2cid=124959784 }}</ref><ref name="NSF">{{cite web|title = Gravitational waves detected 100 years after Einstein's prediction |website= NSF – National Science Foundation|url = https://www.nsf.gov/news/news_summ.jsp?cntn_id=137628 |date = 11 February 2016}}</ref>
Predicted in 1916<ref>{{cite journal|author=Einstein, A|title=Näherungsweise Integration der Feldgleichungen der Gravitation|date=22 June 1916|url=http://einstein-annalen.mpiwg-berlin.mpg.de/related_texts/sitzungsberichte|journal=[[Prussian Academy of Sciences|Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften Berlin]] |issue=part&nbsp;1|pages=688–696|bibcode=1916SPAW.......688E|access-date=12 February 2016|archive-url=https://web.archive.org/web/20190321062928/http://einstein-annalen.mpiwg-berlin.mpg.de/related_texts/sitzungsberichte|archive-date=21 March 2019}}</ref><ref>{{cite journal|author=Einstein, A|title=Über Gravitationswellen|date=31 January 1918|url=http://einstein-annalen.mpiwg-berlin.mpg.de/related_texts/sitzungsberichte|journal=Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften Berlin|issue=part&nbsp;1|pages=154–167|bibcode=1918SPAW.......154E|access-date=12 February 2016|archive-url=https://web.archive.org/web/20190321062928/http://einstein-annalen.mpiwg-berlin.mpg.de/related_texts/sitzungsberichte|archive-date=21 March 2019}}</ref> by Albert Einstein, there are gravitational waves: ripples in the metric of spacetime that propagate at the speed of light. These are one of several analogies between weak-field gravity and electromagnetism in that, they are analogous to [[electromagnetic wave]]s. On 11 February 2016, the Advanced LIGO team announced that they had [[Gravitational wave observation|directly detected gravitational waves]] from a [[Binary black hole|pair]] of black holes [[Stellar collision|merging]].<ref name="Discovery 2016">{{cite journal |title=Einstein's gravitational waves found at last |journal=Nature News| url=https://www.nature.com/news/einstein-s-gravitational-waves-found-at-last-1.19361 |date=11 February 2016 |last1= Castelvecchi |first1=Davide |last2=Witze |first2=Witze |doi=10.1038/nature.2016.19361 |s2cid=182916902|access-date= 11 February 2016 |doi-access=free }}</ref><ref name="Abbot">{{cite journal |title=Observation of Gravitational Waves from a Binary Black Hole Merger| author1=B. P. Abbott |collaboration=LIGO Scientific Collaboration and Virgo Collaboration| journal=Physical Review Letters| year=2016| volume=116|issue=6| doi= 10.1103/PhysRevLett.116.061102 | pmid=26918975| article-number=061102|arxiv = 1602.03837 |bibcode = 2016PhRvL.116f1102A | s2cid=124959784 }}</ref><ref name="NSF">{{cite web |title = Gravitational waves detected 100 years after Einstein's prediction |website = NSF – National Science Foundation |url = https://www.nsf.gov/news/news_summ.jsp?cntn_id=137628 |date = 11 February 2016 |access-date = 6 April 2018 |archive-date = 19 June 2020 |archive-url = https://web.archive.org/web/20200619020139/https://www.nsf.gov/news/news_summ.jsp?cntn_id=137628 }}</ref>


The simplest type of such a wave can be visualized by its action on a ring of freely floating particles. A sine wave propagating through such a ring towards the reader distorts the ring in a characteristic, rhythmic fashion (animated image to the right).<ref>Most advanced textbooks on general relativity contain a description of these properties, e.g. {{Harvnb|Schutz|1985|loc=ch. 9}}</ref> Since Einstein's equations are [[non-linear]], arbitrarily strong gravitational waves do not obey [[linear superposition]], making their description difficult. However, linear approximations of gravitational waves are sufficiently accurate to describe the exceedingly weak waves that are expected to arrive here on Earth from far-off cosmic events, which typically result in relative distances increasing and decreasing by {{val|e=-21}} or less. Data analysis methods routinely make use of the fact that these linearized waves can be [[Fourier decomposition|Fourier decomposed]].<ref>For example {{Harvnb|Jaranowski|Królak|2005}}</ref>
The simplest type of such a wave can be visualized by its action on a ring of freely floating particles. A sine wave propagating through such a ring towards the reader distorts the ring in a characteristic, rhythmic fashion (animated image to the right).<ref>Most advanced textbooks on general relativity contain a description of these properties, e.g. {{Harvnb|Schutz|1985|loc=ch. 9}}</ref> Since Einstein's equations are [[non-linear]], arbitrarily strong gravitational waves do not obey [[linear superposition]], making their description difficult. However, linear approximations of gravitational waves are sufficiently accurate to describe the exceedingly weak waves that are expected to arrive here on Earth from far-off cosmic events, which typically result in relative distances increasing and decreasing by {{val|e=-21}} or less. Data analysis methods routinely make use of the fact that these linearized waves can be [[Fourier decomposition|Fourier decomposed]].<ref>For example {{Harvnb|Jaranowski|Królak|2005}}</ref>


Some exact solutions describe gravitational waves without any approximation, e.g., a wave train traveling through empty space<ref>{{Harvnb|Rindler|2001|loc=ch. 13}}</ref> or [[Gowdy universe]]s, varieties of an expanding cosmos filled with gravitational waves.<ref>{{Harvnb|Gowdy|1971}}, {{Harvnb|Gowdy|1974}}</ref> But for gravitational waves produced in astrophysically relevant situations, such as the merger of two black holes, numerical methods are presently the only way to construct appropriate models.<ref>See {{Harvnb|Lehner|2002}} for a brief introduction to the methods of numerical relativity, and {{Harvnb|Seidel|1998}} for the connection with gravitational wave astronomy</ref>
Some exact solutions describe gravitational waves without any approximation, e.g., a wave train traveling through empty space<ref>{{Harvnb|Rindler|2001|loc=ch. 13}}</ref> or [[Gowdy universe]]s, varieties of an expanding cosmos filled with gravitational waves.<ref>{{Harvnb|Gowdy|1971}}, {{Harvnb|Gowdy|1974}}</ref> But for gravitational waves produced in astrophysically relevant situations, such as the merger of two black holes, numerical methods are the only way to construct appropriate models.<ref>See {{Harvnb|Lehner|2002}} for a brief introduction to the methods of numerical relativity, and {{Harvnb|Seidel|1998}} for the connection with gravitational wave astronomy</ref>


=== Orbital effects and the relativity of direction ===
=== Orbital effects and the relativity of direction ===
Line 154: Line 165:


In general relativity the perihelion shift <math>\sigma</math>, expressed in radians per revolution, is approximately given by:<ref>{{harvnb|Dediu|Magdalena|Martín-Vide|2015|p=[https://books.google.com/books?id=XmwiCwAAQBAJ&pg=PA141 141]}}</ref>
In general relativity the perihelion shift <math>\sigma</math>, expressed in radians per revolution, is approximately given by:<ref>{{harvnb|Dediu|Magdalena|Martín-Vide|2015|p=[https://books.google.com/books?id=XmwiCwAAQBAJ&pg=PA141 141]}}</ref>
: <math>\sigma=\frac {24\pi^3L^2} {T^2c^2(1-e^2)} \ ,</math>
<math display="block">\sigma=\frac {24\pi^3L^2} {T^2c^2(1-e^2)} \ ,</math>
where:
where:
* <math>L</math> is the [[semi-major axis]]
* <math>L</math> is the [[semi-major axis]]
Line 164: Line 175:
<!--This subsection is linked to from the subsection § Gravitational-wave astronomy in § Astrophysical applications; please do not change its heading -->
<!--This subsection is linked to from the subsection § Gravitational-wave astronomy in § Astrophysical applications; please do not change its heading -->


[[File:PSRJ0737−3039shift2021.png|thumb|upright=0.8|Orbital decay for PSR J0737−3039: time shift (in [[second|s]]), tracked over 16 years (2021).<ref name=":1">{{Cite journal|last1=Kramer|first1=M.|last2=Stairs|first2=I. H.|last3=Manchester|first3=R. N.|last4=Wex|first4=N.|last5=Deller|first5=A. T.|last6=Coles|first6=W. A.|last7=Ali|first7=M.|last8=Burgay|first8=M.|last9=Camilo|first9=F.|last10=Cognard|first10=I.|last11=Damour|first11=T.|date=13 December 2021|title=Strong-Field Gravity Tests with the Double Pulsar|url=https://link.aps.org/doi/10.1103/PhysRevX.11.041050|journal=Physical Review X|language=en|volume=11|issue=4|page=041050|doi=10.1103/PhysRevX.11.041050|arxiv=2112.06795|bibcode=2021PhRvX..11d1050K|s2cid=245124502|issn=2160-3308}}</ref>]]
[[File:PSRJ0737−3039shift2021.png|thumb|upright=0.8|Orbital decay for PSR J0737−3039: time shift, tracked over 16 years (2021).<ref name=":1">{{cite journal |last1=Kramer |first1=M. |last2=Stairs |first2=I. H. |last3=Manchester |first3=R. N. |last4=Wex |first4=N. |last5=Deller |first5=A. T. |last6=Coles |first6=W. A. |last7=Ali |first7=M. |last8=Burgay |first8=M. |last9=Camilo |first9=F. |last10=Cognard |first10=I. |last11=Damour |first11=T. |date=13 December 2021 |title=Strong-Field Gravity Tests with the Double Pulsar |url=https://link.aps.org/doi/10.1103/PhysRevX.11.041050 |journal=Physical Review X |language=en |volume=11 |issue=4 |article-number=041050 |doi=10.1103/PhysRevX.11.041050 |arxiv=2112.06795 |bibcode=2021PhRvX..11d1050K |s2cid=245124502 |issn=2160-3308 }}</ref>]]


According to general relativity, a [[Binary system (astronomy)|binary system]] will emit gravitational waves, thereby losing energy. Due to this loss, the distance between the two orbiting bodies decreases, and so does their orbital period. Within the [[Solar System]] or for ordinary [[double star]]s, the effect is too small to be observable. This is not the case for a close binary pulsar, a system of two orbiting [[neutron star]]s, one of which is a [[pulsar]]: from the pulsar, observers on Earth receive a regular series of radio pulses that can serve as a highly accurate clock, which allows precise measurements of the orbital period. Because neutron stars are immensely compact, significant amounts of energy are emitted in the form of gravitational radiation.<ref>{{Harvnb|Stairs|2003}}, {{Harvnb|Schutz|2003|pp=317–321}}, {{Harvnb|Bartusiak|2000|pp=70–86}}</ref>
According to general relativity, a [[Binary system (astronomy)|binary system]] will emit gravitational waves, thereby losing energy. Due to this loss, the distance between the two orbiting bodies decreases, and so does their orbital period. Within the [[Solar System]] or for ordinary [[double star]]s, the effect is too small to be observable. This is not the case for a close binary pulsar, a system of two orbiting [[neutron star]]s, one of which is a [[pulsar]]: from the pulsar, observers on Earth receive a regular series of radio pulses that can serve as a highly accurate clock, which allows precise measurements of the orbital period. Because neutron stars are immensely compact, significant amounts of energy are emitted in the form of gravitational radiation.<ref>{{harvnb|Stairs|2003}}, {{harvnb|Schutz|2003|pp=317–321}}, {{harvnb|Bartusiak|2000|pp=70–86}}</ref>


The first observation of a decrease in orbital period due to the emission of gravitational waves was made by [[Russell Alan Hulse|Hulse]] and [[Joseph Hooton Taylor, Jr.|Taylor]], using the binary pulsar [[PSR1913+16]] they had discovered in 1974. This was the first detection of gravitational waves, albeit indirect, for which they were awarded the 1993 [[Nobel Prize]] in physics.<ref>{{Harvnb|Weisberg|Taylor|2003}}; for the pulsar discovery, see {{Harvnb|Hulse|Taylor|1975}}; for the initial evidence for gravitational radiation, see {{Harvnb|Taylor|1994}}</ref> Since then, several other binary pulsars have been found, in particular the double pulsar [[PSR J0737−3039]], where both stars are pulsars<ref>{{Harvnb|Kramer|2004}}</ref> and which was last reported to also be in agreement with general relativity in 2021 after 16 years of observations.<ref name=":1" />
The first observation of a decrease in orbital period due to the emission of gravitational waves was made by [[Russell Alan Hulse|Hulse]] and [[Joseph Hooton Taylor, Jr.|Taylor]], using the binary pulsar [[PSR1913+16]] they had discovered in 1974. This was the first detection of gravitational waves, albeit indirect, for which they were awarded the 1993 [[Nobel Prize]] in physics.<ref>{{harvnb|Weisberg|Taylor|2003}}; for the pulsar discovery, see {{harvnb|Hulse|Taylor|1975}}; for the initial evidence for gravitational radiation, see {{harvnb|Taylor|1994}}</ref> Since then, several other binary pulsars have been found, in particular the double pulsar [[PSR J0737−3039]], where both stars are pulsars<ref>{{harvnb|Kramer|2004}}</ref> and which was last reported to also be in agreement with general relativity in 2021 after 16 years of observations.<ref name=":1" />


==== Geodetic precession and frame-dragging ====
==== Geodetic precession and frame-dragging ====
Line 188: Line 199:
{{Main|Gravitational wave|Gravitational-wave astronomy}}
{{Main|Gravitational wave|Gravitational-wave astronomy}}
[[File:LISA.jpg|thumb|upright=0.8|Artist's impression of the space-borne gravitational wave detector [[Laser Interferometer Space Antenna|LISA]]]]
[[File:LISA.jpg|thumb|upright=0.8|Artist's impression of the space-borne gravitational wave detector [[Laser Interferometer Space Antenna|LISA]]]]
Observations of binary pulsars provide strong indirect evidence for the existence of gravitational waves (see [[#Orbital decay|Orbital decay]], above). Detection of these waves is a major goal of current relativity-related research.<ref>{{Harvnb|Barish|2005}}, {{Harvnb|Bartusiak|2000}}, {{Harvnb|Blair|McNamara|1997}}</ref> Several land-based [[gravitational wave detector]]s are currently in operation, most notably the [[Interferometric gravitational wave detector|interferometric detectors]] [[GEO 600]], [[LIGO]] (two detectors), [[TAMA 300]] and [[Virgo interferometer|VIRGO]].<ref>{{Harvnb|Hough|Rowan|2000}}</ref> Various [[pulsar timing array]]s are using [[millisecond pulsar]]s to detect gravitational waves in the 10<sup>−9</sup> to 10<sup>−6</sup> [[hertz]] frequency range, which originate from binary supermassive blackholes.<ref>{{Citation | last1=Hobbs | first1=George |title=The international pulsar timing array project: using pulsars as a gravitational wave detector | last2=Archibald | first2=A. | last3=Arzoumanian | first3=Z. | last4=Backer | first4=D. | last5=Bailes | first5=M. | last6=Bhat | first6=N. D. R. | last7=Burgay | first7=M. | last8=Burke-Spolaor | first8=S. | last9=Champion | first9=D. | display-authors = 8| doi=10.1088/0264-9381/27/8/084013 | date=2010 | journal=Classical and Quantum Gravity | volume=27 | issue=8 | page=084013 |arxiv=0911.5206 |bibcode = 2010CQGra..27h4013H | s2cid=56073764 }}</ref> A European space-based detector, [[Laser Interferometer Space Antenna|eLISA / NGO]], is currently under development,<ref>{{Harvnb|Danzmann|Rüdiger|2003}}</ref> with a precursor mission ([[LISA Pathfinder]]) having launched in December 2015.<ref>{{cite web|url=http://www.esa.int/esaSC/120397_index_0_m.html|title=LISA pathfinder overview|publisher=ESA|access-date=23 April 2012}}</ref>
Observations of binary pulsars provide strong indirect evidence for the existence of gravitational waves (see [[#Orbital decay|Orbital decay]], above). Detection of these waves is a major goal of contemporary relativity-related research.<ref>{{Harvnb|Barish|2005}}, {{Harvnb|Bartusiak|2000}}, {{Harvnb|Blair|McNamara|1997}}</ref> Several land-based [[gravitational wave detector]]s are in operation, for example the [[Interferometric gravitational wave detector|interferometric detectors]] [[GEO 600]], [[LIGO]] (two detectors), [[TAMA 300]] and [[Virgo interferometer|VIRGO]].<ref>{{Harvnb|Hough|Rowan|2000}}</ref> Various [[pulsar timing array]]s are using [[millisecond pulsar]]s to detect gravitational waves in the 10<sup>−9</sup> to 10<sup>−6</sup> [[hertz]] frequency range, which originate from binary supermassive black holes.<ref>{{Citation | last1=Hobbs | first1=George |title=The international pulsar timing array project: using pulsars as a gravitational wave detector | last2=Archibald | first2=A. | last3=Arzoumanian | first3=Z. | last4=Backer | first4=D. | last5=Bailes | first5=M. | last6=Bhat | first6=N. D. R. | last7=Burgay | first7=M. | last8=Burke-Spolaor | first8=S. | last9=Champion | first9=D. | display-authors = 8| doi=10.1088/0264-9381/27/8/084013 | date=2010 | journal=Classical and Quantum Gravity | volume=27 | issue=8 | article-number=084013 |arxiv=0911.5206 |bibcode = 2010CQGra..27h4013H | s2cid=56073764 }}</ref> A European space-based detector, [[Laser Interferometer Space Antenna|eLISA / NGO]], is under development,<ref>{{Harvnb|Danzmann|Rüdiger|2003}}</ref> with a precursor mission ([[LISA Pathfinder]]) having launched in December 2015.<ref>{{cite web|url=https://www.esa.int/esaSC/120397_index_0_m.html|title=LISA pathfinder overview|publisher=ESA|access-date=23 April 2012}}</ref>


Observations of gravitational waves promise to complement observations in the [[electromagnetic spectrum]].<ref>{{Harvnb|Thorne|1995}}</ref> They are expected to yield information about black holes and other dense objects such as neutron stars and white dwarfs, about certain kinds of [[supernova]] implosions, and about processes in the very early universe, including the signature of certain types of hypothetical [[cosmic string]].<ref>{{Harvnb|Cutler|Thorne|2002}}</ref> In February 2016, the Advanced LIGO team announced that they had detected gravitational waves from a black hole merger.<ref name="Discovery 2016" /><ref name="Abbot" /><ref name="NSF" />
Observations of gravitational waves promise to complement observations in the [[electromagnetic spectrum]].<ref>{{Harvnb|Thorne|1995}}</ref> They are expected to yield information about black holes and other dense objects such as neutron stars and white dwarfs, about certain kinds of [[supernova]] implosions, and about processes in the very early universe, including the signature of certain types of hypothetical [[cosmic string]].<ref>{{Harvnb|Cutler|Thorne|2002}}</ref> In February 2016, the Advanced LIGO team announced that they had detected gravitational waves from a black hole merger.<ref name="Discovery 2016" /><ref name="Abbot" /><ref name="NSF" />
Line 195: Line 206:
{{Main|Black hole}}
{{Main|Black hole}}
[[File:Star collapse to black hole.png|thumb|left|Simulation based on the equations of general relativity: a star collapsing to form a black hole while emitting gravitational waves]]
[[File:Star collapse to black hole.png|thumb|left|Simulation based on the equations of general relativity: a star collapsing to form a black hole while emitting gravitational waves]]
Whenever the ratio of an object's mass to its radius becomes sufficiently large, general relativity predicts the formation of a black hole, a region of space from which nothing, not even light, can escape. In the currently accepted models of [[stellar evolution]], neutron stars of around 1.4 [[solar mass]]es, and stellar black holes with a few to a few dozen solar masses, are thought to be the final state for the evolution of massive stars.<ref>{{Harvnb|Miller|2002|loc=lectures 19 and 21}}</ref> Usually a galaxy has one [[supermassive black hole]] with a few million to a few [[1000000000 (number)|billion]] solar masses in its center,<ref>{{Harvnb|Celotti|Miller|Sciama|1999|loc=sec. 3}}</ref> and its presence is thought to have played an important role in the formation of the galaxy and larger cosmic structures.<ref>{{Harvnb|Springel|White|Jenkins|Frenk|2005}} and the accompanying summary {{Harvnb|Gnedin|2005}}</ref>
Whenever the ratio of an object's mass to its radius becomes sufficiently large, general relativity predicts the formation of a black hole, a region of space from which nothing, not even light, can escape. In the accepted models of [[stellar evolution]], neutron stars of around 1.4 [[solar mass]]es, and stellar black holes with a few to a few dozen solar masses, are thought to be the final state for the evolution of massive stars.<ref>{{Harvnb|Miller|2002|loc=lectures 19 and 21}}</ref> Usually a galaxy has one [[supermassive black hole]] with a few million to a few [[1000000000 (number)|billion]] solar masses in its center,<ref>{{Harvnb|Celotti|Miller|Sciama|1999|loc=sec. 3}}</ref> and its presence is thought to have played an important role in the formation of the galaxy and larger cosmic structures.<ref>{{Harvnb|Springel|White|Jenkins|Frenk|2005}} and the accompanying summary {{Harvnb|Gnedin|2005}}</ref>


Astronomically, the most important property of compact objects is that they provide a supremely efficient mechanism for converting gravitational energy into electromagnetic radiation.<ref>{{Harvnb|Blandford|1987|loc=sec. 8.2.4}}</ref> [[Accretion (astrophysics)|Accretion]], the falling of dust or gaseous matter onto stellar or supermassive black holes, is thought to be responsible for some spectacularly luminous astronomical objects, notably diverse kinds of active galactic nuclei on galactic scales and stellar-size objects such as microquasars.<ref>For the basic mechanism, see {{Harvnb|Carroll|Ostlie|1996|loc=sec. 17.2}}; for more about the different types of astronomical objects associated with this, cf. {{Harvnb|Robson|1996}}</ref> In particular, accretion can lead to [[relativistic jet]]s, focused beams of highly energetic particles that are being flung into space at almost light speed.<ref>For a review, see {{Harvnb|Begelman|Blandford|Rees|1984}}. To a distant observer, some of these jets even appear to move [[superluminal motion|faster than light]]; this, however, can be explained as an optical illusion that does not violate the tenets of relativity, see {{Harvnb|Rees|1966}}</ref>
Astronomically, the most important property of compact objects is that they provide a supremely efficient mechanism for converting gravitational energy into electromagnetic radiation.<ref>{{Harvnb|Blandford|1987|loc=sec. 8.2.4}}</ref> [[Accretion (astrophysics)|Accretion]], the falling of dust or gaseous matter onto stellar or supermassive black holes, is thought to be responsible for some spectacularly luminous astronomical objects, especially diverse kinds of active galactic nuclei on galactic scales and stellar-size objects such as microquasars.<ref>For the basic mechanism, see {{Harvnb|Carroll|Ostlie|1996|loc=sec. 17.2}}; for more about the different types of astronomical objects associated with this, cf. {{Harvnb|Robson|1996}}</ref> In particular, accretion can lead to [[relativistic jet]]s, focused beams of highly energetic particles that are being flung into space at almost light speed.<ref>For a review, see {{Harvnb|Begelman|Blandford|Rees|1984}}. To a distant observer, some of these jets even appear to move [[superluminal motion|faster than light]]; this, however, can be explained as an optical illusion that does not violate the tenets of relativity, see {{Harvnb|Rees|1966}}</ref>
General relativity plays a central role in modelling all these phenomena,<ref>For stellar end states, cf. {{Harvnb|Oppenheimer|Snyder|1939}} or, for more recent numerical work, {{Harvnb|Font|2003|loc=sec. 4.1}}; for supernovae, there are still major problems to be solved, cf. {{Harvnb|Buras|Rampp|Janka|Kifonidis|2003}}; for simulating accretion and the formation of jets, cf. {{Harvnb|Font|2003|loc=sec. 4.2}}. Also, relativistic lensing effects are thought to play a role for the signals received from [[X-ray pulsar]]s, cf. {{Harvnb|Kraus|1998}}</ref> and observations provide strong evidence for the existence of black holes with the properties predicted by the theory.<ref>The evidence includes limits on compactness from the observation of accretion-driven phenomena ("[[Eddington luminosity]]"), see {{Harvnb|Celotti|Miller|Sciama|1999}}, observations of stellar dynamics in the center of our own [[Milky Way]] galaxy, cf. {{Harvnb|Schödel|Ott|Genzel|Eckart|2003}}, and indications that at least some of the compact objects in question appear to have no solid surface, which can be deduced from the examination of [[X-ray burst]]s for which the central compact object is either a neutron star or a black hole; cf. {{Harvnb|Remillard|Lin|Cooper|Narayan|2006}} for an overview, {{Harvnb|Narayan|2006|loc=sec. 5}}. Observations of the "shadow" of the Milky Way galaxy's central black hole horizon are eagerly sought for, cf. {{Harvnb|Falcke|Melia|Agol|2000}}</ref>
General relativity plays a central role in modelling all these phenomena,<ref>For stellar end states, cf. {{Harvnb|Oppenheimer|Snyder|1939}} or, for more recent numerical work, {{Harvnb|Font|2003|loc=sec. 4.1}}; for supernovae, there are still major problems to be solved, cf. {{Harvnb|Buras|Rampp|Janka|Kifonidis|2003}}; for simulating accretion and the formation of jets, cf. {{Harvnb|Font|2003|loc=sec. 4.2}}. Also, relativistic lensing effects are thought to play a role for the signals received from [[X-ray pulsar]]s, cf. {{Harvnb|Kraus|1998}}</ref> and observations provide strong evidence for the existence of black holes with the properties predicted by the theory.<ref>The evidence includes limits on compactness from the observation of accretion-driven phenomena ("[[Eddington luminosity]]"), see {{Harvnb|Celotti|Miller|Sciama|1999}}, observations of stellar dynamics in the center of our own [[Milky Way]] galaxy, cf. {{Harvnb|Schödel|Ott|Genzel|Eckart|2003}}, and indications that at least some of the compact objects in question appear to have no solid surface, which can be deduced from the examination of [[X-ray burst]]s for which the central compact object is either a neutron star or a black hole; cf. {{Harvnb|Remillard|Lin|Cooper|Narayan|2006}} for an overview, {{Harvnb|Narayan|2006|loc=sec. 5}}. Observations of the "shadow" of the Milky Way galaxy's central black hole horizon are eagerly sought, cf. {{Harvnb|Falcke|Melia|Agol|2000}}</ref>


Black holes are also sought-after targets in the search for gravitational waves (cf. section {{slink|#Gravitational waves}}, above). Merging [[binary black hole|black hole binaries]] should lead to some of the strongest gravitational wave signals reaching detectors here on Earth, and the phase directly before the merger ("chirp") could be used as a "[[standard candle]]" to deduce the distance to the merger events–and hence serve as a probe of cosmic expansion at large distances.<ref>{{Harvnb|Dalal|Holz|Hughes|Jain|2006}}</ref> The gravitational waves produced as a stellar black hole plunges into a supermassive one should provide direct information about the supermassive black hole's geometry.<ref>{{Harvnb|Barack|Cutler|2004}}</ref>
Black holes are also sought-after targets in the search for gravitational waves (cf. section {{slink|#Gravitational waves}}, above). Merging [[binary black hole|black hole binaries]] should lead to some of the strongest gravitational wave signals reaching detectors on Earth, and the phase directly before the merger ("chirp") could be used as a "[[standard candle]]" to deduce the distance to the merger events–and hence serve as a probe of cosmic expansion at large distances.<ref>{{Harvnb|Dalal|Holz|Hughes|Jain|2006}}</ref> The gravitational waves produced as a stellar black hole plunges into a supermassive one should provide direct information about the supermassive black hole's geometry.<ref>{{Harvnb|Barack|Cutler|2004}}</ref>


=== Cosmology ===
=== Cosmology ===
{{Main|Physical cosmology}}
{{Main|Physical cosmology}}
[[File:Lensshoe hubble.jpg|thumb|This blue horseshoe is a distant galaxy that has been magnified and warped into a nearly complete ring by the strong gravitational pull of the massive foreground luminous red galaxy.]]
[[File:Lensshoe hubble.jpg|thumb|This blue horseshoe is a distant galaxy that has been magnified and warped into a nearly complete ring by the strong gravitational pull of the massive foreground luminous red galaxy.]]
The current models of cosmology are based on [[Einstein's field equations]], which include the cosmological constant <math>\Lambda</math> since it has important influence on the large-scale dynamics of the cosmos,
The existing models of cosmology are based on [[Einstein's field equations]], which include the cosmological constant <math>\Lambda</math> since it has important influence on the large-scale dynamics of the cosmos,
:<math> R_{\mu\nu} - {\textstyle 1 \over 2}R\,g_{\mu\nu} + \Lambda\ g_{\mu\nu} = \frac{8\pi G}{c^{4}}\, T_{\mu\nu} </math>
<math display="block"> R_{\mu\nu} - {\textstyle 1 \over 2}R\,g_{\mu\nu} + \Lambda\ g_{\mu\nu} = \frac{8\pi G}{c^{4}}\, T_{\mu\nu} </math>
where ''<math>g_{\mu\nu}</math>'' is the spacetime metric.<ref>{{Harvnb|Einstein|1917}}; cf. {{Harvnb|Pais|1982|pp=285–288}}</ref> [[Isotropic]] and homogeneous solutions of these enhanced equations, the [[Friedmann–Lemaître–Robertson–Walker metric|Friedmann–Lemaître–Robertson–Walker solutions]],<ref>{{Harvnb|Carroll|2001|loc=ch. 2}}</ref> allow physicists to model a universe that has evolved over the past 14&nbsp;[[1000000000 (number)|billion]]&nbsp;years from a hot, early Big Bang phase.<ref>{{Harvnb|Bergström|Goobar|2003|loc=ch. 9–11}}; use of these models is justified by the fact that, at large scales of around hundred million [[light-year]]s and more, our own universe indeed appears to be isotropic and homogeneous, cf. {{Harvnb|Peebles|Schramm|Turner|Kron|1991}}</ref> Once a small number of parameters (for example the universe's mean matter density) have been fixed by astronomical observation,<ref>E.g. with [[WMAP]] data, see {{Harvnb|Spergel|Verde|Peiris|Komatsu|2003}}</ref> further observational data can be used to put the models to the test.<ref>These tests involve the separate observations detailed further on, see, e.g., fig. 2 in {{Harvnb|Bridle|Lahav|Ostriker|Steinhardt|2003}}</ref> Predictions, all successful, include the initial abundance of chemical elements formed in a period of [[Big Bang nucleosynthesis|primordial nucleosynthesis]],<ref>{{Harvnb|Peebles|1966}}; for a recent account of predictions, see {{Harvnb|Coc, Vangioni‐Flam et al.|2004}}; an accessible account can be found in {{Harvnb|Weiss|2006}}; compare with the observations in {{Harvnb|Olive|Skillman|2004}}, {{Harvnb|Bania|Rood|Balser|2002}}, {{Harvnb|O'Meara|Tytler|Kirkman|Suzuki|2001}}, and {{Harvnb|Charbonnel|Primas|2005}}</ref> the large-scale structure of the universe,<ref>{{Harvnb|Lahav|Suto|2004}}, {{Harvnb|Bertschinger|1998}}, {{Harvnb|Springel|White|Jenkins|Frenk|2005}}</ref> and the existence and properties of a "[[thermal radiation|thermal]] echo" from the early cosmos, the [[cosmic background radiation]].<ref>{{Harvnb|Alpher|Herman|1948}}, for a pedagogical introduction, see {{Harvnb|Bergström|Goobar|2003|loc=ch. 11}}; for the initial detection, see {{Harvnb|Penzias|Wilson|1965}} and, for precision measurements by satellite observatories, {{Harvnb|Mather|Cheng|Cottingham|Eplee|1994}} ([[Cosmic Background Explorer|COBE]]) and {{Harvnb|Bennett|Halpern|Hinshaw|Jarosik|2003}} (WMAP). Future measurements could also reveal evidence about gravitational waves in the early universe; this additional information is contained in the background radiation's [[polarized light|polarization]], cf. {{Harvnb|Kamionkowski|Kosowsky|Stebbins|1997}} and {{Harvnb|Seljak|Zaldarriaga|1997}}</ref>
where ''<math>g_{\mu\nu}</math>'' is the spacetime metric.<ref>{{Harvnb|Einstein|1917}}; cf. {{Harvnb|Pais|1982|pp=285–288}}</ref> [[Isotropic]] and homogeneous solutions of these enhanced equations, the [[Friedmann–Lemaître–Robertson–Walker metric|Friedmann–Lemaître–Robertson–Walker solutions]],<ref>{{Harvnb|Carroll|2001|loc=ch. 2}}</ref> allow physicists to model a universe that has evolved over the past 14&nbsp;[[1000000000 (number)|billion]]&nbsp;years from a hot, early Big Bang phase.<ref>{{Harvnb|Bergström|Goobar|2003|loc=ch. 9–11}}; use of these models is justified by the fact that, at large scales of around hundred million [[light-year]]s and more, our universe indeed appears to be isotropic and homogeneous, cf. {{Harvnb|Peebles|Schramm|Turner|Kron|1991}}</ref> Once a small number of parameters (for example the universe's mean matter density) have been fixed by astronomical observation,<ref>E.g. with [[WMAP]] data, see {{Harvnb|Spergel|Verde|Peiris|Komatsu|2003}}</ref> further observational data can be used to put the models to the test.<ref>These tests involve the separate observations detailed further on, see, e.g., fig. 2 in {{Harvnb|Bridle|Lahav|Ostriker|Steinhardt|2003}}</ref> Predictions, all successful, include the initial abundance of chemical elements formed in a period of [[Big Bang nucleosynthesis|primordial nucleosynthesis]],<ref>{{Harvnb|Peebles|1966}}; for a recent account of predictions, see {{Harvnb|Coc, Vangioni‐Flam et al.|2004}}; an accessible account can be found in {{Harvnb|Weiss|2006}}; compare with the observations in {{Harvnb|Olive|Skillman|2004}}, {{Harvnb|Bania|Rood|Balser|2002}}, {{Harvnb|O'Meara|Tytler|Kirkman|Suzuki|2001}}, and {{Harvnb|Charbonnel|Primas|2005}}</ref> the large-scale structure of the universe,<ref>{{Harvnb|Lahav|Suto|2004}}, {{Harvnb|Bertschinger|1998}}, {{Harvnb|Springel|White|Jenkins|Frenk|2005}}</ref> and the existence and properties of a "[[thermal radiation|thermal]] echo" from the early cosmos, the [[cosmic background radiation]].<ref>{{Harvnb|Alpher|Herman|1948}}, for a pedagogical introduction, see {{Harvnb|Bergström|Goobar|2003|loc=ch. 11}}; for the initial detection, see {{Harvnb|Penzias|Wilson|1965}} and, for precision measurements by satellite observatories, {{Harvnb|Mather|Cheng|Cottingham|Eplee|1994}} ([[Cosmic Background Explorer|COBE]]) and {{Harvnb|Bennett|Halpern|Hinshaw|Jarosik|2003}} (WMAP). Future measurements could also reveal evidence about gravitational waves in the early universe; this additional information is contained in the background radiation's [[polarized light|polarization]], cf. {{Harvnb|Kamionkowski|Kosowsky|Stebbins|1997}} and {{Harvnb|Seljak|Zaldarriaga|1997}}</ref>


Astronomical observations of the cosmological expansion rate allow the total amount of matter in the universe to be estimated, although the nature of that matter remains mysterious in part. About 90% of all matter appears to be dark matter, which has mass (or, equivalently, gravitational influence), but does not interact electromagnetically and, hence, cannot be observed directly.<ref>Evidence for this comes from the determination of cosmological parameters and additional observations involving the dynamics of galaxies and galaxy clusters cf. {{Harvnb|Peebles|1993|loc=ch. 18}}, evidence from gravitational lensing, cf. {{Harvnb|Peacock|1999|loc=sec. 4.6}}, and simulations of large-scale structure formation, see {{Harvnb|Springel|White|Jenkins|Frenk|2005}}</ref> There is no generally accepted description of this new kind of matter, within the framework of known [[particle physics]]<ref>{{Harvnb|Peacock|1999|loc=ch. 12}}, {{Harvnb|Peskin|2007}}; in particular, observations indicate that all but a negligible portion of that matter is not in the form of the usual [[elementary particle]]s ("non-[[baryon]]ic matter"), cf. {{Harvnb|Peacock|1999|loc=ch. 12}}</ref> or otherwise.<ref>Namely, some physicists have questioned whether or not the evidence for dark matter is, in fact, evidence for deviations from the Einsteinian (and the Newtonian) description of gravity cf. the overview in {{Harvnb|Mannheim|2006|loc=sec. 9}}</ref> Observational evidence from redshift surveys of distant supernovae and measurements of the cosmic background radiation also show that the evolution of our universe is significantly influenced by a cosmological constant resulting in an acceleration of cosmic expansion or, equivalently, by a form of energy with an unusual [[equation of state]], known as [[dark energy]], the nature of which remains unclear.<ref>{{Harvnb|Carroll|2001}}; an accessible overview is given in {{Harvnb|Caldwell|2004}}. Here, too, scientists have argued that the evidence indicates not a new form of energy, but the need for modifications in our cosmological models, cf. {{Harvnb|Mannheim|2006|loc=sec. 10}}; aforementioned modifications need not be modifications of general relativity, they could, for example, be modifications in the way we treat the inhomogeneities in the universe, cf. {{Harvnb|Buchert|2008}}</ref>
Astronomical observations of the cosmological expansion rate allow the total amount of matter in the universe to be estimated, although the nature of that matter remains mysterious in part. About 90% of all matter appears to be dark matter, which has mass (or, equivalently, gravitational influence), but does not interact electromagnetically and, hence, cannot be observed directly.<ref>Evidence for this comes from the determination of cosmological parameters and additional observations involving the dynamics of galaxies and galaxy clusters cf. {{Harvnb|Peebles|1993|loc=ch. 18}}, evidence from gravitational lensing, cf. {{Harvnb|Peacock|1999|loc=sec. 4.6}}, and simulations of large-scale structure formation, see {{Harvnb|Springel|White|Jenkins|Frenk|2005}}</ref> There is no generally accepted description of this new kind of matter, within the framework of known [[particle physics]]<ref>{{Harvnb|Peacock|1999|loc=ch. 12}}, {{Harvnb|Peskin|2007}}; in particular, observations indicate that all but a negligible portion of that matter is not in the form of the usual [[elementary particle]]s ("non-[[baryon]]ic matter"), cf. {{Harvnb|Peacock|1999|loc=ch. 12}}</ref> or otherwise.<ref>Namely, some physicists have questioned whether or not the evidence for dark matter is, in fact, evidence for deviations from the Einsteinian (and the Newtonian) description of gravity cf. the overview in {{Harvnb|Mannheim|2006|loc=sec. 9}}</ref> Observational evidence from redshift surveys of distant supernovae and measurements of the cosmic background radiation also show that the evolution of the universe is significantly influenced by a cosmological constant resulting in an acceleration of cosmic expansion or, equivalently, by a form of energy with an unusual [[equation of state]], known as [[dark energy]], the nature of which remains unclear.<ref>{{Harvnb|Carroll|2001}}; an accessible overview is given in {{Harvnb|Caldwell|2004}}. Here, too, scientists have argued that the evidence indicates not a new form of energy, but the need for modifications in our cosmological models, cf. {{Harvnb|Mannheim|2006|loc=sec. 10}}; aforementioned modifications need not be modifications of general relativity, they could, for example, be modifications in the way we treat the inhomogeneities in the universe, cf. {{Harvnb|Buchert|2008}}</ref>


An [[cosmic inflation|inflationary phase]],<ref>A good introduction is {{Harvnb|Linde|2005}}; for a more recent review, see {{Harvnb|Linde|2006}}</ref> an additional phase of strongly accelerated expansion at cosmic times of around 10<sup>−33</sup> seconds, was hypothesized in 1980 to account for several puzzling observations that were unexplained by classical cosmological models, such as the nearly perfect homogeneity of the cosmic background radiation.<ref>More precisely, these are the [[flatness problem]], the [[horizon problem]], and the [[monopole problem]]; a pedagogical introduction can be found in {{Harvnb|Narlikar|1993|loc=sec. 6.4}}, see also {{Harvnb|Börner|1993|loc=sec. 9.1}}</ref> Recent measurements of the cosmic background radiation have resulted in the first evidence for this scenario.<ref>{{Harvnb|Spergel|Bean|Doré|Nolta|2007|loc=sec. 5,6}}</ref> However, there is a bewildering variety of possible inflationary scenarios, which cannot be restricted by current observations.<ref>More concretely, the [[potential]] function that is crucial to determining the dynamics of the [[inflaton]] is simply postulated, but not derived from an underlying physical theory</ref> An even larger question is the physics of the earliest universe, prior to the inflationary phase and close to where the classical models predict the big bang [[Gravitational singularity|singularity]]. An authoritative answer would require a complete theory of quantum gravity, which has not yet been developed<ref>{{Harvnb|Brandenberger|2008|loc=sec. 2}}</ref> (cf. the section on [[#Quantum gravity|quantum gravity]], below).
An [[cosmic inflation|inflationary phase]],<ref>A good introduction is {{Harvnb|Linde|2005}}; for a more recent review, see {{Harvnb|Linde|2006}}</ref> an additional phase of strongly accelerated expansion at cosmic times of around 10<sup>−33</sup> seconds, was hypothesized in 1980 to account for several puzzling observations that were unexplained by classical cosmological models, such as the nearly perfect homogeneity of the cosmic background radiation.<ref>More precisely, these are the [[flatness problem]], the [[horizon problem]], and the [[monopole problem]]; a pedagogical introduction can be found in {{Harvnb|Narlikar|1993|loc=sec. 6.4}}, see also {{Harvnb|Börner|1993|loc=sec. 9.1}}</ref> Recent measurements of the cosmic background radiation have resulted in the first evidence for this scenario.<ref>{{Harvnb|Spergel|Bean|Doré|Nolta|2007|loc=sec. 5,6}}</ref> However, there are a bewildering variety of possible inflationary scenarios, which cannot be restricted by existing observations.<ref>More concretely, the [[potential]] function that is crucial to determining the dynamics of the [[inflaton]] is simply postulated, but not derived from an underlying physical theory</ref> An even larger question is the physics of the earliest universe, prior to the inflationary phase and close to where the classical models predict the big bang [[Gravitational singularity|singularity]]. An authoritative answer would require a complete theory of quantum gravity, which has not yet been developed<ref>{{Harvnb|Brandenberger|2008|loc=sec. 2}}</ref> (cf. the section on [[#Quantum gravity|quantum gravity]], below).


=== Exotic solutions: time travel, warp drives ===
=== Exotic solutions: time travel, warp drives ===
[[Kurt Gödel]] showed<ref>{{harvnb|Gödel|1949}}</ref> that solutions to Einstein's equations exist that contain [[closed timelike curve]]s (CTCs), which allow for loops in time. The solutions require extreme physical conditions unlikely ever to occur in practice, and it remains an open question whether further laws of physics will eliminate them completely. Since then, other—similarly impractical—GR solutions containing CTCs have been found, such as the [[Tipler cylinder]] and [[Wormhole#Traversable wormholes|traversable wormholes]]. [[Stephen Hawking]] introduced [[chronology protection conjecture]], which is an assumption beyond those of standard general relativity to prevent [[time travel]].
[[Kurt Gödel]] showed<ref>{{harvnb|Gödel|1949}}</ref> that solutions to Einstein's equations exist that contain [[closed timelike curve]]s (CTCs), which allow for loops in time. The solutions require extreme physical conditions unlikely ever to occur in practice, and it remains an open question whether further laws of physics will eliminate them completely. Since then, other—similarly impractical—GR solutions containing CTCs have been found, such as the [[Tipler cylinder]] and [[Wormhole#Traversable wormholes|traversable wormholes]]. [[Stephen Hawking]] introduced [[chronology protection conjecture]], which is an assumption beyond those of standard general relativity to prevent [[time travel]].


Some [[exact solutions in general relativity]] such as [[Alcubierre drive]] present examples of [[warp drive]] but these solutions requires exotic matter distribution, and generally suffers from semiclassical instability.
Some [[exact solutions in general relativity]] such as [[Alcubierre drive]] offer examples of [[warp drive]] but these solutions require exotic matter distribution, and generally suffer from semiclassical instability.
<ref>{{Cite journal
<ref>{{cite journal
|last1=Finazzi|first1=Stefano
|last1=Finazzi|first1=Stefano
|last2= Liberati|first2=Stefano
|last2= Liberati|first2=Stefano
Line 225: Line 236:
|journal=Physical Review D
|journal=Physical Review D
|language=en-US
|language=en-US
|volume=79|issue=12|page=124017
|volume=79|issue=12|article-number=124017
|doi=10.1103/PhysRevD.79.124017
|doi=10.1103/PhysRevD.79.124017
|arxiv=0904.0141
|arxiv=0904.0141
Line 237: Line 248:
The spacetime symmetry group for [[special relativity]] is the [[Poincaré group]], which is a ten-dimensional group of three Lorentz boosts, three rotations, and four spacetime translations. It is logical to ask what symmetries, if any, might apply in General Relativity. A tractable case might be to consider the symmetries of spacetime as seen by observers located far away from all sources of the gravitational field. The naive expectation for asymptotically flat spacetime symmetries might be simply to extend and reproduce the symmetries of flat spacetime of special relativity, ''viz.'', the Poincaré group.
The spacetime symmetry group for [[special relativity]] is the [[Poincaré group]], which is a ten-dimensional group of three Lorentz boosts, three rotations, and four spacetime translations. It is logical to ask what symmetries, if any, might apply in General Relativity. A tractable case might be to consider the symmetries of spacetime as seen by observers located far away from all sources of the gravitational field. The naive expectation for asymptotically flat spacetime symmetries might be simply to extend and reproduce the symmetries of flat spacetime of special relativity, ''viz.'', the Poincaré group.


In 1962 [[Hermann Bondi]], M. G. van der Burg, A. W. Metzner<ref name="bondi etal 1962">{{cite journal|title=Gravitational waves in general relativity: VII. Waves from axisymmetric isolated systems|journal= Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences|volume=269|pages=21–52|doi=10.1098/rspa.1962.0161|year=1962|last1=Bondi|first1=H.|last2=Van der Burg|first2=M.G.J.|last3=Metzner|first3=A.|issue=1336|bibcode=1962RSPSA.269...21B|s2cid=120125096}}</ref> and [[Rainer K. Sachs]]<ref name=sachs1962>{{cite journal|title=Asymptotic symmetries in gravitational theory|journal=Physical Review|volume=128|pages=2851–2864|doi=10.1103/PhysRev.128.2851|year=1962|last1=Sachs|first1=R.|issue=6|bibcode=1962PhRv..128.2851S}}</ref> addressed this [[Bondi–Metzner–Sachs group|asymptotic symmetry]] problem in order to investigate the flow of energy at infinity due to propagating [[gravitational wave]]s. Their first step was to decide on some physically sensible boundary conditions to place on the gravitational field at light-like infinity to characterize what it means to say a metric is asymptotically flat, making no ''a priori'' assumptions about the nature of the asymptotic symmetry group—not even the assumption that such a group exists. Then after designing what they considered to be the most sensible boundary conditions, they investigated the nature of the resulting asymptotic symmetry transformations that leave invariant the form of the boundary conditions appropriate for asymptotically flat gravitational fields. What they found was that the asymptotic symmetry transformations actually do form a group and the structure of this group does not depend on the particular gravitational field that happens to be present. This means that, as expected, one can separate the kinematics of spacetime from the dynamics of the gravitational field at least at spatial infinity. The puzzling surprise in 1962 was their discovery of a rich infinite-dimensional group (the so-called BMS group) as the asymptotic symmetry group, instead of the finite-dimensional Poincaré group, which is a subgroup of the BMS group. Not only are the Lorentz transformations asymptotic symmetry transformations, there are also additional transformations that are not Lorentz transformations but are asymptotic symmetry transformations. In fact, they found an additional infinity of transformation generators known as ''supertranslations''. This implies the conclusion that General Relativity (GR) does ''not'' reduce to special relativity in the case of weak fields at long distances. It turns out that the BMS symmetry, suitably modified, could be seen as a restatement of the universal [[soft graviton theorem]] in [[quantum field theory]] (QFT), which relates universal infrared (soft) QFT with GR asymptotic spacetime symmetries.<ref name=strominger2017>{{cite arXiv|title=Lectures on the Infrared Structure of Gravity and Gauge Theory|eprint=1703.05448|year=2017|last1=Strominger|first1=Andrew|class=hep-th|quote=...redacted transcript of a course given by the author at Harvard in spring semester 2016. It contains a pedagogical overview of recent developments connecting the subjects of soft theorems, the memory effect and asymptotic symmetries in four-dimensional QED, nonabelian gauge theory and gravity with applications to black holes. To be published Princeton University Press, 158 pages.}}</ref>
In 1962 [[Hermann Bondi]], M. G. van der Burg, A. W. Metzner<ref name="bondi etal 1962">{{cite journal|title=Gravitational waves in general relativity: VII. Waves from axisymmetric isolated systems|journal= Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences|volume=269|pages=21–52|doi=10.1098/rspa.1962.0161|year=1962|last1=Bondi|first1=H.|last2=Van der Burg|first2=M.G.J.|last3=Metzner|first3=A.|issue=1336|bibcode=1962RSPSA.269...21B|s2cid=120125096}}</ref> and [[Rainer K. Sachs]]<ref name=sachs1962>{{cite journal|title=Asymptotic symmetries in gravitational theory|journal=Physical Review|volume=128|pages=2851–2864|doi=10.1103/PhysRev.128.2851|year=1962|last1=Sachs|first1=R.|issue=6|bibcode=1962PhRv..128.2851S}}</ref> addressed this [[Bondi–Metzner–Sachs group|asymptotic symmetry]] problem in order to investigate the flow of energy at infinity due to propagating [[gravitational wave]]s. Their first step was to decide on some physically sensible boundary conditions to place on the gravitational field at light-like infinity to characterize what it means to say a metric is asymptotically flat, making no ''a priori'' assumptions about the nature of the asymptotic symmetry group—not even the assumption that such a group exists. Then after designing what they considered to be the most sensible boundary conditions, they investigated the nature of the resulting asymptotic symmetry transformations that leave invariant the form of the boundary conditions appropriate for asymptotically flat gravitational fields. What they found was that the asymptotic symmetry transformations actually do form a group and the structure of this group does not depend on the particular gravitational field that happens to be present. This means that, as expected, one can separate the kinematics of spacetime from the dynamics of the gravitational field at least at spatial infinity. The puzzling surprise in 1962 was their discovery of a rich infinite-dimensional group (the so-called BMS group) as the asymptotic symmetry group, instead of the finite-dimensional Poincaré group, which is a subgroup of the BMS group. Not only are the Lorentz transformations asymptotic symmetry transformations, there are also additional transformations that are not Lorentz transformations but are asymptotic symmetry transformations. In fact, they found an additional infinity of transformation generators known as ''supertranslations''. This implies the conclusion that General Relativity (GR) does ''not'' reduce to special relativity in the case of weak fields at long distances. It turns out that the BMS symmetry, suitably modified, could be seen as a restatement of the universal [[soft graviton theorem]] in [[quantum field theory]] (QFT), which relates universal infrared (soft) QFT with GR asymptotic spacetime symmetries.<ref name=strominger2017>{{cite arXiv|title=Lectures on the Infrared Structure of Gravity and Gauge Theory|eprint=1703.05448|year=2017|last1=Strominger|first1=Andrew|author-link1=Andrew Strominger|class=hep-th|quote=...redacted transcript of a course given by the author at Harvard in spring semester 2016. It contains a pedagogical overview of recent developments connecting the subjects of soft theorems, the memory effect and asymptotic symmetries in four-dimensional QED, nonabelian gauge theory and gravity with applications to black holes. To be published Princeton University Press, 158 pages.}}</ref>


=== Causal structure and global geometry ===
=== Causal structure and global geometry ===
Line 246: Line 257:
Aware of the importance of causal structure, [[Roger Penrose]] and others developed what is known as [[Spacetime topology|global geometry]]. In global geometry, the object of study is not one particular solution (or family of solutions) to Einstein's equations. Rather, relations that hold true for all geodesics, such as the [[Raychaudhuri equation]], and additional non-specific assumptions about the nature of matter (usually in the form of [[energy conditions]]) are used to derive general results.<ref>{{Harvnb|Wald|1984|loc=sec. 9.2–9.4}} and {{Harvnb|Hawking|Ellis|1973|loc=ch. 6}}</ref>
Aware of the importance of causal structure, [[Roger Penrose]] and others developed what is known as [[Spacetime topology|global geometry]]. In global geometry, the object of study is not one particular solution (or family of solutions) to Einstein's equations. Rather, relations that hold true for all geodesics, such as the [[Raychaudhuri equation]], and additional non-specific assumptions about the nature of matter (usually in the form of [[energy conditions]]) are used to derive general results.<ref>{{Harvnb|Wald|1984|loc=sec. 9.2–9.4}} and {{Harvnb|Hawking|Ellis|1973|loc=ch. 6}}</ref>


=== Horizons ===
=== Event horizons ===
{{Main|Horizon (general relativity)|No hair theorem|Black hole mechanics}}
{{Main|Horizon (general relativity)|No hair theorem|Black hole mechanics}}
Using global geometry, some spacetimes can be shown to contain boundaries called [[event horizon|horizons]], which demarcate one region from the rest of spacetime. The best-known examples are black holes: if mass is compressed into a sufficiently compact region of space (as specified in the [[hoop conjecture]], the relevant length scale is the [[Schwarzschild radius]]<ref>{{Harvnb|Thorne|1972}}; for more recent numerical studies, see {{Harvnb|Berger|2002|loc=sec. 2.1}}</ref>), no light from inside can escape to the outside. Since no object can overtake a light pulse, all interior matter is imprisoned as well. Passage from the exterior to the interior is still possible, showing that the boundary, the black hole's ''horizon'', is not a physical barrier.<ref>{{Harvnb|Israel|1987}}. A more exact mathematical description distinguishes several kinds of horizon, notably event horizons and [[apparent horizon]]s cf. {{Harvnb|Hawking|Ellis|1973|pp=312–320}} or {{Harvnb|Wald|1984|loc=sec. 12.2}}; there are also more intuitive definitions for isolated systems that do not require knowledge of spacetime properties at infinity, cf. {{Harvnb|Ashtekar|Krishnan|2004}}</ref>
Using global geometry, some spacetimes can be shown to contain boundaries called [[event horizon|horizons]], which demarcate one region from the rest of spacetime. The best-known examples are black holes: if mass is compressed into a sufficiently compact region of space (as specified in the [[hoop conjecture]], the relevant length scale is the [[Schwarzschild radius]], given by the equation <math> r_\text{s} = \frac{2 G M}{c^2} ,</math><ref>{{Harvnb|Thorne|1972}}; for more recent numerical studies, see {{Harvnb|Berger|2002|loc=sec. 2.1}}</ref>), no light from inside can escape to the outside. Since no object can overtake a light pulse, all interior matter is imprisoned as well. Passage from the exterior to the interior is still possible, showing that the boundary, the black hole's ''horizon'', is not a physical barrier.<ref>{{Harvnb|Israel|1987}}. A more exact mathematical description distinguishes several kinds of horizon, notably event horizons and [[apparent horizon]]s cf. {{Harvnb|Hawking|Ellis|1973|pp=312–320}} or {{Harvnb|Wald|1984|loc=sec. 12.2}}; there are also more intuitive definitions for isolated systems that do not require knowledge of spacetime properties at infinity, cf. {{Harvnb|Ashtekar|Krishnan|2004}}</ref>


[[File:Ergosphere of a rotating black hole.svg|thumb|The ergosphere of a rotating black hole, which plays a key role when it comes to extracting energy from such a black hole]]
[[File:Ergosphere of a rotating black hole.svg|thumb|The ergosphere of a rotating black hole, which plays a key role when it comes to extracting energy from such a black hole]]
Line 287: Line 298:
[[File:Calabi yau.jpg|left|thumb|upright|Projection of a [[Calabi–Yau manifold]], one of the ways of [[compactification (physics)|compactifying]] the extra dimensions posited by string theory]]
[[File:Calabi yau.jpg|left|thumb|upright|Projection of a [[Calabi–Yau manifold]], one of the ways of [[compactification (physics)|compactifying]] the extra dimensions posited by string theory]]


The demand for consistency between a quantum description of matter and a geometric description of spacetime,<ref>Put simply, matter is the source of spacetime curvature, and once matter has quantum properties, we can expect spacetime to have them as well. Cf. {{Harvnb|Carlip|2001|loc=sec. 2}}</ref> as well as the appearance of singularities (where curvature length scales become microscopic), indicate the need for a full theory of quantum gravity: for an adequate description of the interior of black holes, and of the very early universe, a theory is required in which gravity and the associated geometry of spacetime are described in the language of quantum physics.<ref>{{Harvnb|Schutz|2003|p=407}}</ref> Despite major efforts, no complete and consistent theory of quantum gravity is currently known, even though a number of promising candidates exist.<ref name="Hamber 2009">{{Harvnb|Hamber|2009}}</ref><ref>A timeline and overview can be found in {{Harvnb|Rovelli|2000}}</ref>
The demand for consistency between a quantum description of matter and a geometric description of spacetime,<ref>Put simply, matter is the source of spacetime curvature, and once matter has quantum properties, we can expect spacetime to have them as well. Cf. {{harvnb|Carlip|2001|loc=sec. 2}}</ref> as well as the appearance of singularities (where curvature length scales become microscopic), indicate the need for a full theory of quantum gravity: for an adequate description of the interior of black holes, and of the very early universe, a theory is required in which gravity and the associated geometry of spacetime are described in the language of quantum physics.<ref>{{harvnb|Schutz|2003|p=407}}</ref> Despite major efforts, no complete and consistent theory of quantum gravity is currently known, even though a number of candidates exist.<ref name="Hamber 2009">{{harvnb|Hamber|2009}}</ref><ref>A timeline and overview can be found in {{harvnb|Rovelli|2000}}</ref>


Attempts to generalize ordinary quantum field theories, used in elementary particle physics to describe fundamental interactions, so as to include gravity have led to serious problems.<ref>{{Harvnb|'t Hooft|Veltman|1974}}</ref> Some have argued that at low energies, this approach proves successful, in that it results in an acceptable [[effective field theory|effective (quantum) field theory]] of gravity.<ref>{{Harvnb|Donoghue|1995}}</ref> At very high energies, however, the perturbative results are badly divergent and lead to models devoid of predictive power ("perturbative [[non-renormalizable|non-renormalizability]]").<ref>In particular, a perturbative technique known as [[renormalization]], an integral part of deriving predictions which take into account higher-energy contributions, cf. {{Harvnb|Weinberg|1996|loc=ch. 17, 18}}, fails in this case; cf. {{Harvnb|Veltman|1975}}, {{Harvnb|Goroff|Sagnotti|1985}}; for a recent comprehensive review of the failure of perturbative renormalizability for quantum gravity see {{Harvnb|Hamber|2009}}</ref>
Attempts to generalize ordinary quantum field theories, used in elementary particle physics to describe fundamental interactions, so as to include gravity have led to serious problems.<ref>{{harvnb|'t Hooft|Veltman|1974}}</ref> Some have argued that at low energies, this approach proves successful, in that it results in an acceptable [[effective field theory|effective (quantum) field theory]] of gravity.<ref>{{Harvnb|Donoghue|1995}}</ref> At very high energies, however, the perturbative results are badly divergent and lead to models devoid of predictive power ("perturbative [[non-renormalizable|non-renormalizability]]").<ref>In particular, a perturbative technique known as [[renormalization]], an integral part of deriving predictions which take into account higher-energy contributions, cf. {{harvnb|Weinberg|1996|loc=ch. 17, 18}}, fails in this case; cf. {{harvnb|Veltman|1975}}, {{harvnb|Goroff|Sagnotti|1985}}; for a recent comprehensive review of the failure of perturbative renormalizability for quantum gravity see {{harvnb|Hamber|2009}}</ref>


[[File:Spin network.svg|thumb|upright|Simple [[spin network]] of the type used in loop quantum gravity]]
[[File:Spin network.svg|thumb|upright|Simple [[spin network]] of the type used in loop quantum gravity]]
One attempt to overcome these limitations is [[string theory]], a quantum theory not of [[point particle]]s, but of minute one-dimensional extended objects.<ref>An accessible introduction at the undergraduate level can be found in {{Harvnb|Zwiebach|2004}}; more complete overviews can be found in {{Harvnb|Polchinski|1998a}} and {{Harvnb|Polchinski|1998b}}</ref> The theory promises to be a [[theory of everything|unified description]] of all particles and interactions, including gravity;<ref>At the energies reached in current experiments, these strings are indistinguishable from point-like particles, but, crucially, different [[normal mode|modes]] of oscillation of one and the same type of fundamental string appear as particles with different ([[Electric charge|electric]] and other) [[Charge (physics)|charges]], e.g. {{Harvnb|Ibanez|2000}}. The theory is successful in that one mode will always correspond to a [[graviton]], the [[messenger particle]] of gravity, e.g. {{Harvnb|Green|Schwarz|Witten|1987|loc=sec. 2.3, 5.3}}</ref> the price to pay is unusual features such as six [[Superstring theory#Extra dimensions|extra dimensions]] of space in addition to the usual three.<ref>{{Harvnb|Green|Schwarz|Witten|1987|loc=sec. 4.2}}</ref> In what is called the [[second superstring revolution]], it was conjectured that both string theory and a unification of general relativity and [[supersymmetry]] known as [[supergravity]]<ref>{{Harvnb|Weinberg|2000|loc=ch. 31}}</ref> form part of a hypothesized eleven-dimensional model known as [[M-theory]], which would constitute a uniquely defined and consistent theory of quantum gravity.<ref>{{Harvnb|Townsend|1996}}, {{Harvnb|Duff|1996}}</ref>
One attempt to overcome these limitations is [[string theory]], a quantum theory not of [[point particle]]s, but of minute one-dimensional extended objects.<ref>An accessible introduction at the undergraduate level can be found in {{harvnb|Zwiebach|2004}}; more complete overviews can be found in {{harvnb|Polchinski|1998a}} and {{harvnb|Polchinski|1998b}}</ref> The theory promises to be a [[theory of everything|unified description]] of all particles and interactions, including gravity;<ref>At the energies reached in current experiments, these strings are indistinguishable from point-like particles, but, crucially, different [[normal mode|modes]] of oscillation of one and the same type of fundamental string appear as particles with different ([[Electric charge|electric]] and other) [[Charge (physics)|charges]], e.g. {{harvnb|Ibanez|2000}}. The theory is successful in that one mode will always correspond to a [[graviton]], the [[messenger particle]] of gravity, e.g. {{harvnb|Green|Schwarz|Witten|1987|loc=sec. 2.3, 5.3}}</ref> the price to pay is unusual features such as six [[Superstring theory#Extra dimensions|extra dimensions]] of space in addition to the usual three.<ref>{{harvnb|Green|Schwarz|Witten|1987|loc=sec. 4.2}}</ref> In what is called the [[second superstring revolution]], it was conjectured that both string theory and a unification of general relativity and [[supersymmetry]] known as [[supergravity]]<ref>{{harvnb|Weinberg|2000|loc=ch. 31}}</ref> form part of a hypothesized eleven-dimensional model known as [[M-theory]], which would constitute a uniquely defined and consistent theory of quantum gravity.<ref>{{harvnb|Townsend|1996}}, {{harvnb|Duff|1996}}</ref>


Another approach starts with the [[canonical quantization]] procedures of quantum theory. Using the initial-value-formulation of general relativity (cf. [[#Evolution equations|evolution equations]] above), the result is the [[Wheeler–deWitt equation]] (an analogue of the [[Schrödinger equation]]) which, regrettably, turns out to be ill-defined without a proper ultraviolet (lattice) cutoff.<ref>{{Harvnb|Kuchař|1973|loc=sec. 3}}</ref> However, with the introduction of what are now known as [[Ashtekar variables]],<ref>These variables represent geometric gravity using mathematical analogues of [[electric field|electric]] and [[magnetic field]]s; cf. {{Harvnb|Ashtekar|1986}}, {{Harvnb|Ashtekar|1987}}</ref> this leads to a promising model known as [[loop quantum gravity]]. Space is represented by a web-like structure called a [[spin network]], evolving over time in discrete steps.<ref>For a review, see {{Harvnb|Thiemann|2007}}; more extensive accounts can be found in {{Harvnb|Rovelli|1998}}, {{Harvnb|Ashtekar|Lewandowski|2004}} as well as in the lecture notes {{Harvnb|Thiemann|2003}}</ref>
Another approach starts with the [[canonical quantization]] procedures of quantum theory. Using the initial-value-formulation of general relativity (cf. [[#Evolution equations|evolution equations]] above), the result is the [[Wheeler–deWitt equation]] (an analogue of the [[Schrödinger equation]]) which turns out to be ill-defined without a proper ultraviolet (lattice) cutoff.<ref>{{harvnb|Kuchař|1973|loc=sec. 3}}</ref> However, with the introduction of what are now known as [[Ashtekar variables]],<ref>These variables represent geometric gravity using mathematical analogues of [[electric field|electric]] and [[magnetic field]]s; cf. {{harvnb|Ashtekar|1986}}, {{harvnb|Ashtekar|1987}}</ref> this leads to a model known as [[loop quantum gravity]]. Space is represented by a web-like structure called a [[spin network]], evolving over time in discrete steps.<ref>For a review, see {{harvnb|Thiemann|2007}}; more extensive accounts can be found in {{harvnb|Rovelli|1998}}, {{Harvnb|Ashtekar|Lewandowski|2004}} as well as in the lecture notes {{harvnb|Thiemann|2003}}</ref>


Depending on which features of general relativity and quantum theory are accepted unchanged, and on what level changes are introduced,<ref>{{Harvnb|Isham|1994}}, {{Harvnb|Sorkin|1997}}</ref> there are numerous other attempts to arrive at a viable theory of quantum gravity, some examples being the lattice theory of gravity based on the Feynman [[Path integral formulation|Path Integral]] approach and [[Regge calculus]],<ref name="Hamber 2009" /> [[Causal dynamical triangulation|dynamical triangulations]],<ref>{{Harvnb|Loll|1998}}</ref> [[causal sets]],<ref>{{Harvnb|Sorkin|2005}}</ref> twistor models<ref>{{Harvnb|Penrose|2004|loc=ch. 33 and refs therein}}</ref> or the path integral based models of [[quantum cosmology]].<ref>{{Harvnb|Hawking|1987}}</ref>
Depending on which features of general relativity and quantum theory are accepted unchanged, and on what level changes are introduced,<ref>{{harvnb|Isham|1994}}, {{harvnb|Sorkin|1997}}</ref> there are numerous other attempts to arrive at a viable theory of quantum gravity, some examples being the lattice theory of gravity based on the Feynman [[Path integral formulation|Path Integral]] approach and [[Regge calculus]],<ref name="Hamber 2009" /> [[Causal dynamical triangulation|dynamical triangulations]],<ref>{{harvnb|Loll|1998}}</ref> [[causal sets]],<ref>{{harvnb|Sorkin|2005}}</ref> twistor models<ref>{{harvnb|Penrose|2004|loc=ch. 33 and refs therein}}</ref> or the path integral based models of [[quantum cosmology]].<ref>{{harvnb|Hawking|1987}}</ref>


[[File:LIGO measurement of gravitational waves.svg|thumb|Observation of gravitational waves from binary black hole merger GW150914]]
[[File:LIGO measurement of gravitational waves.svg|thumb|Observation of gravitational waves from binary black hole merger GW150914]]
All candidate theories still have major formal and conceptual problems to overcome. They also face the common problem that, as yet, there is no way to put quantum gravity predictions to experimental tests (and thus to decide between the candidates where their predictions vary), although there is hope for this to change as future data from cosmological observations and particle physics experiments becomes available.<ref>{{Harvnb|Ashtekar|2007}}, {{Harvnb|Schwarz|2007}}</ref>
All candidate theories still have major formal and conceptual problems to overcome. They also face the common problem that, as yet, there is no way to put quantum gravity predictions to experimental tests (and thus to decide between the candidates where their predictions vary), although there is hope for this to change as future data from cosmological observations and particle physics experiments becomes available.<ref>{{harvnb|Ashtekar|2007}}, {{harvnb|Schwarz|2007}}</ref>


== Current status ==
== Current status ==
General relativity has emerged as a highly successful model of gravitation and cosmology, which has so far passed many unambiguous observational and experimental tests. However, there are strong indications that the theory is incomplete.<ref>{{Harvnb|Maddox|1998|pp=52–59, 98–122}}; {{Harvnb|Penrose|2004|loc=sec. 34.1, ch. 30}}</ref> The problem of quantum gravity and the question of the reality of spacetime singularities remain open.<ref>section [[#Quantum gravity|Quantum gravity]], above</ref> Observational data that is taken as evidence for dark energy and dark matter could also indicate the need for [[Alternatives to general relativity|modifications of gravity]] such as [[MOND]].
General relativity has emerged as a highly successful model of gravitation and cosmology, which has so far unambiguously fitted observational and experimental data. However, there are strong theoretical reasons to consider the theory to be incomplete.<ref>{{harvnb|Maddox|1998|pp=52–59, 98–122}}; {{harvnb|Penrose|2004|loc=sec. 34.1, ch. 30}}</ref> The problem of quantum gravity and the question of the reality of spacetime singularities remain open.<ref>{{slink|#Quantum gravity}}, above</ref> Observational data that is taken as evidence for dark energy and dark matter could also indicate the need to consider [[alternatives to general relativity|alternatives or modifications of general relativity]].


Even taken as is, general relativity is rich with possibilities for further exploration. Mathematical relativists seek to understand the nature of singularities and the fundamental properties of Einstein's equations,<ref>{{Harvnb|Friedrich|2005}}</ref> while numerical relativists run increasingly powerful computer simulations (such as those describing merging black holes).<ref>A review of the various problems and the techniques being developed to overcome them, see {{Harvnb|Lehner|2002}}</ref> In February 2016, it was announced that the existence of gravitational waves was directly detected by the Advanced LIGO team on 14 September 2015.<ref name="NSF" /><ref>See {{Harvnb|Bartusiak|2000}} for an account up to that year; up-to-date news can be found on the websites of major detector collaborations such as [[GEO600]] and [[LIGO]]</ref><ref>For the most recent papers on gravitational wave polarizations of inspiralling compact binaries, see {{Harvnb|Blanchet|Faye|Iyer|Sinha|2008}}, and {{Harvnb|Arun|Blanchet|Iyer|Qusailah|2008}}; for a review of work on compact binaries, see {{Harvnb|Blanchet|2006}} and {{Harvnb|Futamase|Itoh|2006}}; for a general review of experimental tests of general relativity, see {{Harvnb|Will|2006}}</ref> A century after its introduction, general relativity remains a highly active area of research.<ref>See, e.g., the ''[[Living Reviews in Relativity]]'' journal.</ref>
Even taken as is, general relativity provides many possibilities for further exploration. Mathematical relativists seek to understand the nature of singularities and the fundamental properties of Einstein's equations,<ref>{{harvnb|Friedrich|2005}}</ref> while numerical relativists run increasingly powerful computer simulations, such as those describing merging black holes.<ref>A review of the various problems and the techniques being developed to overcome them, see {{harvnb|Lehner|2002}}</ref> In February 2016, it was announced that gravitational waves were directly detected by the Advanced LIGO team on 14 September 2015.<ref name="NSF" /><ref>See {{harvnb|Bartusiak|2000}} for an account up to that year; up-to-date news can be found on the websites of major detector collaborations such as [[GEO600]] and [[LIGO]]</ref><ref>For the most recent papers on gravitational wave polarizations of inspiralling compact binaries, see {{harvnb|Blanchet|Faye|Iyer|Sinha|2008}}, and {{harvnb|Arun|Blanchet|Iyer|Qusailah|2008}}; for a review of work on compact binaries, see {{harvnb|Blanchet|2006}} and {{harvnb|Futamase|Itoh|2006}}; for a general review of experimental tests of general relativity, see {{harvnb|Will|2006}}.</ref> A century after its introduction, general relativity remains a highly active area of research.<ref>See, e.g., the journal ''[[Living Reviews in Relativity]]''.</ref>
{{clear}}
{{clear}}


Line 328: Line 339:
<!-- A number of Citation templates have been expanded since there were limit problems, cf. [[Wikipedia:Template limits]] -->
<!-- A number of Citation templates have been expanded since there were limit problems, cf. [[Wikipedia:Template limits]] -->
{{refbegin|30em}}
{{refbegin|30em}}
* {{Citation
* {{citation
|last1=Alpher
|last1=Alpher |first1=R. A. |author-link=Ralph Asher Alpher
|first1=R. A.
|last2=Herman |first2=R. C.
|author-link=Ralph Asher Alpher
|last2=Herman
|first2=R. C.
|date=1948
|date=1948
|title=Evolution of the universe
|title=Evolution of the universe
Line 344: Line 352:
|s2cid=4113488
|s2cid=4113488
}}
}}
* {{Citation
* {{citation
|last1=Anderson
|last1=Anderson
|first1=J. D.
|first1=J. D.
Line 365: Line 373:
}}
}}
* {{Citation
* {{Citation
|last=Arnold
|last=Arnold |first=V. I. |author-link=Vladimir Arnold
|first=V. I.
|author-link=Vladimir Arnold
|title=Mathematical Methods of Classical Mechanics
|title=Mathematical Methods of Classical Mechanics
|publisher=Springer
|publisher=Springer
Line 406: Line 412:
|journal=Physical Review D
|journal=Physical Review D
|volume=77
|volume=77
|issue=6 |page=064035
|issue=6 |article-number=064035
|s2cid=55825202
|s2cid=55825202
}}
}}
Line 557: Line 563:
|volume=69
|volume=69
|issue=8
|issue=8
|page=082005
|article-number=082005
|doi=10.1103/PhysRevD.69.082005
|doi=10.1103/PhysRevD.69.082005
|arxiv=gr-qc/0310125
|arxiv=gr-qc/0310125
Line 573: Line 579:
|author3-link=Stephen Hawking
|author3-link=Stephen Hawking
|date=1973
|date=1973
|url=http://projecteuclid.org/euclid.cmp/1103858973
|url=https://projecteuclid.org/euclid.cmp/1103858973
|title=The Four Laws of Black Hole Mechanics
|title=The Four Laws of Black Hole Mechanics
|journal=Comm. Math. Phys.
|journal=Comm. Math. Phys.
Line 725: Line 731:
|pages=463–500
|pages=463–500
|bibcode = 1970UsFiN.102..463B
|bibcode = 1970UsFiN.102..463B
|doi=10.3367/ufnr.0102.197011d.0463}}
|doi=10.3367/ufnr.0102.197011d.0463|doi-access=free
}}
* {{Citation
* {{Citation
|last1=Bennett|first1= C. L.
|last1=Bennett|first1= C. L.
Line 867: Line 874:
|volume=25
|volume=25
|issue=16
|issue=16
|page=165003 |s2cid=54608927
|article-number=165003 |s2cid=54608927
}}
}}
* {{Citation
* {{Citation
Line 970: Line 977:
|date=1962
|date=1962
|page=130
|page=130
|isbn=978-1-114-29166-9
|isbn=((978-1-114-29166-9))
}}
}}
* {{Citation
* {{Citation
Line 998: Line 1,005:
|journal=Phys. Rev. Lett.
|journal=Phys. Rev. Lett.
|volume=90
|volume=90
|page=241101
|article-number=241101
|doi=10.1103/PhysRevLett.90.241101
|doi=10.1103/PhysRevLett.90.241101
|arxiv=astro-ph/0303171
|arxiv=astro-ph/0303171
Line 1,212: Line 1,219:
  |issue=6
  |issue=6
  |date=2006
  |date=2006
  |page=063006
  |article-number=063006
  |doi=10.1103/PhysRevD.74.063006
  |doi=10.1103/PhysRevD.74.063006
  |arxiv=astro-ph/0601275
  |arxiv=astro-ph/0601275
Line 1,237: Line 1,244:
  |hdl-access  = free
  |hdl-access  = free
}}
}}
* {{Citation
* {{citation
|last=Donoghue
|last=Donoghue |first=John F. |author1-link=John Donoghue (physicist)
|first=John F.
|contribution=Introduction to the Effective Field Theory Description of Gravity
|contribution=Introduction to the Effective Field Theory Description of Gravity
|date=1995
|date=1995
Line 1,252: Line 1,258:
|page=12024 }}
|page=12024 }}
* {{cite book|title=Theory and Practice of Natural Computing: Fourth International Conference, TPNC 2015, Mieres, Spain, December 15–16, 2015. Proceedings|editor-first1=Adrian-Horia|editor-last1=Dediu|editor-first2=Luis|editor-last2=Magdalena|editor-first3=Carlos|editor-last3=Martín-Vide|publisher=Springer|year=2015|isbn=978-3-319-26841-5|url=https://books.google.com/books?id=XmwiCwAAQBAJ}}
* {{cite book|title=Theory and Practice of Natural Computing: Fourth International Conference, TPNC 2015, Mieres, Spain, December 15–16, 2015. Proceedings|editor-first1=Adrian-Horia|editor-last1=Dediu|editor-first2=Luis|editor-last2=Magdalena|editor-first3=Carlos|editor-last3=Martín-Vide|publisher=Springer|year=2015|isbn=978-3-319-26841-5|url=https://books.google.com/books?id=XmwiCwAAQBAJ}}
* {{Citation
* {{citation
|last=Duff
|last=Duff |first=Michael |author-link=Michael Duff (physicist)
|first=Michael
|author-link=Michael Duff (physicist)
|title=M-Theory (the Theory Formerly Known as Strings)
|title=M-Theory (the Theory Formerly Known as Strings)
|journal=Int. J. Mod. Phys. A
|journal=Int. J. Mod. Phys. A
Line 2,130: Line 2,134:
|date=1972
|date=1972
|pages=337–362
|pages=337–362
|url=http://www.numdam.org/item?id=AIHPA_1972__17_4_337_0
|url=https://www.numdam.org/item?id=AIHPA_1972__17_4_337_0
}}
}}
* {{Citation
* {{Citation
Line 2,330: Line 2,334:
|first=Cole
|first=Cole
|date=2002
|date=2002
|url=http://www.astro.umd.edu/~miller/teaching/astr606/
|url=https://www.astro.umd.edu/~miller/teaching/astr606/
|title=Stellar Structure and Evolution (Lecture notes for Astronomy 606)
|title=Stellar Structure and Evolution (Lecture notes for Astronomy 606)
|publisher=University of Maryland
|publisher=University of Maryland
Line 2,619: Line 2,623:
|volume=76
|volume=76
|issue=11
|issue=11
|page=111017 |s2cid=16276112
|article-number=111017 |s2cid=16276112
}}
}}
* {{Citation
* {{Citation
Line 3,000: Line 3,004:
|journal=Phys. Rev. Lett.
|journal=Phys. Rev. Lett.
|volume=92
|volume=92
|page=121101
|article-number=121101
|date=2004
|date=2004
|doi=10.1103/PhysRevLett.92.121101
|doi=10.1103/PhysRevLett.92.121101
Line 3,328: Line 3,332:
* {{Citation
* {{Citation
|first=Andrzej
|first=Andrzej
|last=Trautman
|last=Trautman |author-link=Andrzej Trautman
|contribution=Einstein–Cartan theory
|contribution=Einstein–Cartan theory
|title=Encyclopedia of Mathematical Physics, Vol. 2
|title=Encyclopedia of Mathematical Physics, Vol. 2
Line 3,564: Line 3,568:
== Further reading ==
== Further reading ==
=== Popular books ===
=== Popular books ===
* {{Citation|ref=none|last=Einstein|first=A.|author-link=Albert Einstein|title=Relativity: The Special and the General Theory|title-link=Relativity: The Special and the General Theory|location=Berlin|date=1916|isbn=978-3-528-06059-6}}{{clarify|reason=Surely Einstein 1916 had a German title published without an ISBN; pick one edition and cite that; don't jam multiple editions into a singe template; name the publisher;|date=December 2024}}
* {{Cite book |last=Einstein |first=Albert |title=Relativity: The Special and the General Theory |title-link=Relativity: The Special and the General Theory |publisher=Princeton University Press |year=2015 |isbn=978-0-691-16633-9 |ref=none}} Reprint of the original 1916 title, with commentary by [[Hanoch Gutfreund]] and [[Jürgen Renn]].
* {{Citation|ref=none|last=Geroch|first= R.|author-link=Robert Geroch| title=General Relativity from A to B|location=Chicago|publisher=University of Chicago Press|date=1981|isbn=978-0-226-28864-2}}
* {{Cite book |last=Eisenstaedt |first=Jean |title=The Curious History of Relativity: How Einstein's Theory of Gravity Was Lost and Found Again |publisher=Princeton University Press |year=2006 |isbn=978-0-691-11865-9 |translator-last=Sangalli |translator-first=Arturo |ref=none}}
* {{Citation|ref=none|author=Lieber, Lillian|author-link=Lillian Lieber| title=The Einstein Theory of Relativity: A Trip to the Fourth Dimension|location=Philadelphia|publisher=Paul Dry Books, Inc.|date=2008|isbn=978-1-58988-044-3}}
* {{Cite book |last=Melia |first=Fulvio |author-link=Fulvio Melia |title=Cracking the Einstein Code: Relativity and the Birth of Black Hole Physics |publisher=University of Chicago Press |year=2009 |isbn=978-0-226-51951-7 |ref=none}} Afterword by [[Roy Kerr]].
* {{Citation |ref=none |author-link=Bernard F. Schutz |last=Schutz |first=Bernard F. |contribution=Gravitational radiation |editor-last=Murdin |editor-first=Paul |title=Encyclopedia of Astronomy and Astrophysics |date=2001 |publisher=Institute of Physics Pub. |isbn=978-1-56159-268-5}}
* {{Citation |last=Geroch |first=Robert |author-link=Robert Geroch |title=General Relativity from A to B |location= |publisher=University of Chicago Press |date=1981 |isbn=978-0-226-28864-2 |ref=none}}.
*{{Cite book|ref=none|title=Black Holes and Time Warps: Einstein's Outrageous Legacy|title-link=Black Holes and Time Warps|last1=Thorne|first1=Kip|last2=Hawking|first2=Stephen|publisher=W. W. Norton|year=1994|isbn=0-393-03505-0|location=New York|author-link=Kip Thorne}}
* {{Citation|author=Lieber, Lillian|author-link=Lillian Lieber| title=The Einstein Theory of Relativity: A Trip to the Fourth Dimension|location=Philadelphia|publisher=Paul Dry Books, Inc.|date=2008|isbn=978-1-58988-044-3 |ref=none}}
* {{Citation|ref=none|author=Wald, Robert M.|author-link=Robert Wald|title=Space, Time, and Gravity: the Theory of the Big Bang and Black Holes|location=Chicago|publisher=University of Chicago Press|date=1992|isbn=978-0-226-87029-8}}
*{{Cite book |title=Black Holes and Time Warps: Einstein's Outrageous Legacy |title-link=Black Holes and Time Warps |last1=Thorne |first1=Kip |publisher=W. W. Norton & Company |year=1994 |isbn=978-0-393-31276-8 |location=New York |author-link=Kip Thorne |ref=none}} Foreword by [[Stephen Hawking]].
* {{Citation|ref=none|author-link=John Archibald Wheeler|last1=Wheeler|first1=John|last2=Ford|first2=Kenneth|date=1998|title=Geons, Black Holes, & Quantum Foam: a life in physics|isbn=978-0-393-31991-0|location=New York|publisher=W. W. Norton}}
* {{Citation|author=Wald, Robert M.|author-link=Robert Wald|title=Space, Time, and Gravity: the Theory of the Big Bang and Black Holes|location=Chicago|publisher=University of Chicago Press|date=1992|isbn=978-0-226-87029-8 |ref=none}}.
* {{Citation|author-link=John Archibald Wheeler|last1=Wheeler|first1=John|last2=Ford|first2=Kenneth|date=1998|title=Geons, Black Holes, & Quantum Foam: a life in physics|isbn=978-0-393-31991-0|location=New York|publisher=W. W. Norton |ref=none}}


=== Beginning undergraduate textbooks ===
=== Beginning undergraduate textbooks ===
*{{cite book |author=Yvonne Choquet-Bruhat |author-link=Yvonne Choquet-Bruhat |title=Introduction to General Relativity, Black Holes, and Cosmology |year=2014 |publisher=[[Oxford University Press]] |isbn=9780191936500 |url=https://academic.oup.com/book/56195}}
 
*{{Citation|ref=none|author1=Taylor, Edwin F.|author2=Wheeler, John Archibald|title=Exploring Black Holes: Introduction to General Relativity|publisher=Addison Wesley|date=2000|isbn=978-0-201-38423-9}}
* {{Cite book |last=Rindler |first=Wolfgang |author-link=Wolfgang Rindler |title=Essential Relativity: Special, General, and Cosmological |publisher=Springer-Verlag |year=1977 |isbn=978-3-540-07970-5 |location=New York |ref=none}}
* {{Cite book |last=Schutz |first=Bernard F. |author-link=Bernard F. Schutz |title=Gravity from the Ground Up: An Introductory Guide to Gravity and General Relativity |publisher=Cambridge University Press |year=2003 |isbn=978-0-521-45506-0 |ref=none}}
 
*{{Cite book |last1=Taylor |first1=Edwin F. |author-link1=Edwin F. Taylor |title=Exploring Black Holes: Introduction to General Relativity |last2=Wheeler |first2=John A. |author-link2=John Archibald Wheeler |publisher=Addison Wesley-Longman |year=2000 |isbn=978-0-201-38423-9 |ref=none}}


=== Advanced undergraduate textbooks ===
=== Advanced undergraduate textbooks ===
*{{cite book |last=Crowell |first=Ben |title=General Relativity |year=2020 |url=https://lightandmatter.com/genrel/}}
*{{Cite book |last=Cheng |first=Ta-Pei |title=Relativity, Gravitation, and Cosmology: A Basic Introduction |publisher=Oxford University Press |year=2004 |isbn=978-0-198-52957-6 |ref=none}}
*{{Citation|ref=none|last= Dirac|first=Paul|author-link=Paul Dirac|title=General Theory of Relativity|publisher=Princeton University Press|date=1996|isbn=978-0-691-01146-2}}
*{{cite book |last=Crowell |first=Ben |title=General Relativity |year=2020 |url=https://lightandmatter.com/genrel/ |ref=none}}
*{{Citation|ref=none|last1=Gron|first1=O.|last2=Hervik|first2=S.| title=Einstein's General theory of Relativity|publisher=Springer|date=2007|isbn=978-0-387-69199-2}}
*{{Cite book |last=Dirac |first=Paul |author-link=Paul Dirac |title=General Theory of Relativity |publisher=Princeton University Press |year=1975 |isbn=978-0-691-01146-2 |ref=none}}
*{{Citation|ref=none|author=Hartle, James B.|author-link=James Hartle|title=Gravity: an Introduction to Einstein's General Relativity|location=San Francisco|publisher=Addison-Wesley|date=2003|isbn=978-0-8053-8662-2}}
*{{Citation|last1=Gron|first1=O.|last2=Hervik|first2=S.| title=Einstein's General theory of Relativity|publisher=Springer|date=2007|isbn=978-0-387-69199-2 |ref=none}}.
*{{Citation|ref=none|author=[[Lane P. Hughston|Hughston, L. P.]]|author2=Tod, K. P.|title=Introduction to General Relativity|location=Cambridge|publisher=Cambridge University Press|date=1991|isbn=978-0-521-33943-8}}
*{{Citation |author=Hartle, James B. |author-link=James Hartle |title=Gravity: an Introduction to Einstein's General Relativity |location=San Francisco |publisher=Addison-Wesley |date=2002 |isbn=978-0-805-38662-2 |ref=none}}.
*{{Citation|ref=none|author=d'Inverno, Ray|title=Introducing Einstein's Relativity|location=Oxford|publisher=Oxford University Press|date=1992|isbn=978-0-19-859686-8|url-access=registration|url=https://archive.org/details/introducingeinst0000dinv}}
*{{Citation|author=[[Lane P. Hughston|Hughston, L. P.]]|author2=Tod, K. P.|title=Introduction to General Relativity|location=Cambridge|publisher=Cambridge University Press|date=1991|isbn=978-0-521-33943-8 |ref=none}}
*{{cite book|ref=none|last=Ludyk|first=Günter|title=Einstein in Matrix Form|date=2013|publisher=Springer|location=Berlin|isbn= 978-3-642-35797-8 |edition=1st}}
*{{Citation|author=d'Inverno, Ray|title=Introducing Einstein's Relativity|location=Oxford|publisher=Oxford University Press|date=1992|isbn=978-0-19-859686-8|url-access=registration|url=https://archive.org/details/introducingeinst0000dinv |ref=none}}.
*{{Citation|ref=none|first=Christian|last=Møller|title=The Theory of Relativity|publisher=Oxford University Press|year=1955|orig-date=1952|url=https://archive.org/details/theoryofrelativi029229mbp|oclc=7644624}}
*{{cite book|last=Ludyk|first=Günter|title=Einstein in Matrix Form|date=2013|publisher=Springer|location=Berlin|isbn= 978-3-642-35797-8 |edition=1st |ref=none}}
*{{Citation|ref=none|author=Moore, Thomas A|title=A General Relativity Workbook|publisher=University Science Books|date=2012|isbn=978-1-891389-82-5}}
*{{Citation|first=Christian|last=Møller|title=The Theory of Relativity|publisher=Oxford University Press|year=1955|orig-date=1952|url=https://archive.org/details/theoryofrelativi029229mbp|oclc=7644624 |ref=none}}.
*{{Citation |ref=none |author-link=Bernard F. Schutz |author=Schutz, B. F. |title=A First Course in General Relativity |edition=Second |publisher=Cambridge University Press |date=2009 |bibcode=2009fcgr.book.....S |isbn=978-0-521-88705-2 |url=https://archive.org/details/firstcourseingen00bern_0}}
*{{Citation|author=Moore, Thomas A|title=A General Relativity Workbook|publisher=University Science Books|date=2012|isbn=978-1-891389-82-5 |ref=none}}.
*{{Cite book |last=Schutz |first=Bernard F. |author-link=Bernard F. Schutz |title=A First Course in General Relativity |publisher=Cambridge University Press |year=2009 |isbn=978-0-521-88705-2 |edition=2nd |ref=none}}
*{{Cite book |last=Zee |first=Anthony |author-link=Anthony Zee |title=Einstein Gravity in a Nutshell |title-link=Einstein Gravity in a Nutshell |publisher=Princeton University Press |year=2013 |isbn=978-0-691-14558-7 |ref=none}}


=== Graduate textbooks ===
=== Graduate textbooks ===
*{{Citation|ref=none|author=Carroll, Sean M. |author-link=Sean M. Carroll |title=Spacetime and Geometry: An Introduction to General Relativity |location=San Francisco |publisher=Addison-Wesley |date=2004 |bibcode=2004sgig.book.....C |isbn=978-0-8053-8732-2}}
*{{Cite book |last=Carroll |first=Sean M. |author-link=Sean M. Carroll |title=Spacetime and Geometry: An Introduction to General Relativity |title-link=Spacetime and Geometry |publisher=Addison-Wesley |year=2003 |isbn=978-0-8053-8732-2 |ref=none}} Reprinted 2019 by Cambridge University Press, {{ISBN|978-1-108-48839-6 |ref=none}}.
*{{Citation|ref=none|last=Grøn|first=Øyvind |author-link=Øyvind Grøn| author2=Hervik, Sigbjørn|title=Einstein's General Theory of Relativity|location=New York|publisher=Springer|date=2007|isbn=978-0-387-69199-2}}
*{{Citation|last=Grøn|first=Øyvind |author-link=Øyvind Grøn| author2=Hervik, Sigbjørn|title=Einstein's General Theory of Relativity|location=New York|publisher=Springer|date=2007|isbn=978-0-387-69199-2 |ref=none}}
*{{Citation|ref=none|author=Landau, Lev D.|author-link=Lev Landau|author2= Lifshitz, Evgeny F.| author2-link=Evgeny Lifshitz|title=The Classical Theory of Fields (4th ed.)|location=London|publisher=Butterworth-Heinemann|date=1980|isbn=978-0-7506-2768-9}}
*{{Citation |author=Landau, Lev D. |author-link=Lev Landau |author2=Lifshitz, Evgeny F. |author2-link=Evgeny Lifshitz |title=Course of Theoretical Physics Volume 2: The Classical Theory of Fields (4th ed.) |title-link=Course of Theoretical Physics#Volume 2 |location=London |publisher=Butterworth-Heinemann |date=1980 |isbn=978-0-7506-2768-9 |ref=none}}.
*{{Cite book|title=Foundations of General Relativity: From Einstein to Black Holes|last=Landsman|first=Klaas|publisher=Radboud University Press|year=2021|isbn=9789083178929|url=https://books.radbouduniversitypress.nl/index.php/rup/catalog/book/foundations_of_general_relativity}}
*{{Cite book|title=Foundations of General Relativity: From Einstein to Black Holes|last=Landsman|first=Klaas|publisher=Radboud University Press|year=2021|isbn=978-90-831789-2-9|url=https://doi.org/10.54195/EFVF4478 |ref=none}}
*{{Citation|ref=none|author=Stephani, Hans|title=General Relativity: An Introduction to the Theory of the Gravitational Field|location=Cambridge|publisher=Cambridge University Press|date=1990|bibcode=1990grit.book.....S |isbn=978-0-521-37941-0}}
*{{Citation|author=Stephani, Hans|title=General Relativity: An Introduction to the Theory of the Gravitational Field|location=Cambridge|publisher=Cambridge University Press|date=1990|bibcode=1990grit.book.....S |isbn=978-0-521-37941-0 |ref=none}}.
*{{Citation|ref=none|author=Charles W. Misner |author2=Kip S. Thorne |author3=John Archibald Wheeler |author3-link=John Archibald Wheeler |author2-link=Kip S. Thorne |author-link=Charles W. Misner| title=Gravitation | title-link=Gravitation (book) |publisher=W. H. Freeman, Princeton University Press |date=1973 |isbn=0-7167-0344-0}}
*{{Cite book |last1=Misner |first1=Charles |author-link1=Charles W. Misner |title=Gravitation |title-link=Gravitation (book) |last2=Thorne |first2=Kip |author-link2=Kip Thorne |last3=Wheeler |first3=John |author-link3=John Archibald Wheeler |publisher=W. H. Freeman |year=1973 |isbn=978-0-716-70344-0 |ref=none}} Reprinted 2017 by Princeton University Press, {{ISBN|978-0-691-17779-3 |ref=none}}.
* {{Citation|ref=none|author = R.K. Sachs | author2= H. Wu | title = General Relativity for Mathematicians | publisher=Springer-Verlag | date = 1977 |bibcode = 1977grm..book.....S | isbn=1-4612-9905-5 | author-link= Rainer K. Sachs}}
* {{cite book |last=Wald |first=Robert M. |title=General Relativity |title-link=General Relativity (book) |publisher=University of Chicago Press |publication-place=Chicago |date=1984 |isbn=978-0-226-87032-8 |oclc=10018614 |author-link=Robert Wald |ref=none}}
* {{cite book |last=Wald |first=Robert M. |title=General Relativity |title-link=General Relativity (book) |publisher=University of Chicago Press |publication-place=Chicago |date=1984 |isbn=0-226-87032-4 |oclc=10018614 |author-link=Robert Wald |ref=none}}
* {{Cite book |last=Weinberg |first=Steven |author-link=Steven Weinberg |title=Gravitation and Cosmology: Principles and Applications of the General Theory of Relativity |publisher=Wiley |year=1972 |isbn=978-0-471-92567-5 |ref=none}}
 
=== Mathematical relativity ===
 
* {{Cite book |last=Callahan |first=James J. |title=The Geometry of Spacetime: An Introduction to Special and General Relativity |publisher=Springer |year=1999 |isbn=978-0-387-98641-8 |ref=none}}
 
* {{cite book |author=Choquet-Bruhat |author-link=Yvonne Choquet-Bruhat |title=General relativity and the Einstein equations |year=2008 |publisher=Oxford University Press |isbn=978-0-199-23072-3 |url= |ref=none|first=Yvonne}}
 
* {{Cite book |last1=Sachs |first1=Rainer K. |author-link1=Rainer K. Sachs |title=General Relativity for Mathematicians |last2=Hu |first2=Hung-hsi |publisher=Springer-Verlag |year=1983 |isbn=978-0-387-90218-0 |ref=none}}


=== Specialists' books ===
=== Specialists' books ===
*{{Cite book|ref=none|title=The Large Scale Structure of Space-time|title-link=The Large Scale Structure of Space-Time|last1=Hawking|first1=Stephen|last2=Ellis|first2=George|publisher=Cambridge University Press|year=1975|isbn=978-0-521-09906-6|author-link=Stephen Hawking|author-link2=George F. R. Ellis}}
*{{Cite book |last=Baumann |first=Daniel |title=Cosmology |publisher=Cambridge University Press |year=2022 |isbn=978-1-108-83807-8 |ref=none}}
*{{Cite book|ref=none|title=A Relativist's Toolkit: The Mathematics of Black-Hole Mechanics|last=Poisson|first=Eric|publisher=Cambridge University Press|year=2007|isbn=978-0-521-53780-3|author-link=Eric Poisson}}
*{{Cite book |last=Chandrasekhar |first=Subrahmanyan |author-link=Subrahmanyan Chandrasekhar |title=The Mathematical Theory of Black Holes |publisher=Oxford University Press |year=1983 |isbn=978-0-198-51291-2 |ref=none}}
*{{Cite book |title=The Large Scale Structure of Space-time |title-link=The Large Scale Structure of Space-Time |last1=Hawking |first1=Stephen |last2=Ellis |first2=George |publisher=Cambridge University Press |year=1973 |isbn=978-0-521-09906-6 |author-link=Stephen Hawking |author-link2=George F. R. Ellis |ref=none}}
*{{Cite book |title=Three Hundred Years of Gravitation |publisher=Cambridge University Press |year=1987 |isbn=9780521343121 |editor-last=Israel |editor-first=Werner |editor-link=Werner Israel |ref=none |editor-last2=Hawking |editor-first2=Stephen}}
*{{Cite book|title=A Relativist's Toolkit: The Mathematics of Black-Hole Mechanics|last=Poisson|first=Eric|publisher=Cambridge University Press|year=2007|isbn=978-0-521-53780-3|author-link=Eric Poisson |ref=none}}
*{{Cite book |last1=Stephani |first1=Hans |author-link1=Hans Stephani |title=Exact Solutions of Einstein's Field Equations |last2=Kramer |first2=Dietrich |last3=MacCallum |first3=Malcolm |last4=Hoenselaers |first4=Cornelius |last5=Herlt |first5=Eduard |publisher=Cambridge University Press |year=2003 |isbn=978-0-521-46702-5 |edition=2nd |ref=none}}
*{{Cite book |last=Will |first=Clifford M. |author-link=Clifford M. Will |title=Theory and Experiment in Gravitational Physics |publisher=Cambridge University Press |year=2018 |isbn=978-1-107-11744-0 |edition=2nd |ref=none}}


=== Journal articles ===
=== Journal articles ===
*{{Citation|ref=none|last=Einstein|first=Albert|author-link=Albert Einstein|title=Die Grundlage der allgemeinen Relativitätstheorie|journal=Annalen der Physik|volume=49|issue=7|date=1916|pages=769–822|doi= 10.1002/andp.19163540702|bibcode= 1916AnP...354..769E|url= https://einsteinpapers.press.princeton.edu/vol6-doc/311}} See also [https://einsteinpapers.press.princeton.edu/vol6-trans/158 English translation at Einstein Papers Project]
*{{Citation|last=Einstein|first=Albert|author-link=Albert Einstein|title=Die Grundlage der allgemeinen Relativitätstheorie|journal=Annalen der Physik|volume=49|issue=7|date=1916|pages=769–822|doi= 10.1002/andp.19163540702|bibcode= 1916AnP...354..769E|url= https://einsteinpapers.press.princeton.edu/vol6-doc/311 |ref=none}} See also [https://einsteinpapers.press.princeton.edu/vol6-trans/158 English translation at Einstein Papers Project]
*{{Citation|ref=none|last1=Flanagan|first1=Éanna É.|first2=Scott A.|last2=Hughes|title=The basics of gravitational wave theory|journal=New J. Phys.|volume=7|issue=1|date=2005|page=204|doi= 10.1088/1367-2630/7/1/204|doi-access=free|arxiv=gr-qc/0501041|bibcode= 2005NJPh....7..204F}}
*{{Citation|last1=Flanagan|first1=Éanna É.|first2=Scott A.|last2=Hughes|title=The basics of gravitational wave theory|journal=New J. Phys.|volume=7|issue=1|date=2005|page=204|doi= 10.1088/1367-2630/7/1/204|doi-access=free|arxiv=gr-qc/0501041|bibcode= 2005NJPh....7..204F |ref=none}}
*{{Citation|ref=none|last1=Landgraf|first1=M.|first2=M.|last2=Hechler|first3=S.|last3=Kemble|date=2005|title=Mission design for LISA Pathfinder|journal=Class. Quantum Grav.|volume=22|issue=10|pages=S487–S492|arxiv= gr-qc/0411071|doi= 10.1088/0264-9381/22/10/048|bibcode= 2005CQGra..22S.487L|s2cid=119476595}}
*{{Citation|last1=Landgraf|first1=M.|first2=M.|last2=Hechler|first3=S.|last3=Kemble|date=2005|title=Mission design for LISA Pathfinder|journal=Class. Quantum Grav.|volume=22|issue=10|pages=S487–S492|arxiv= gr-qc/0411071|doi= 10.1088/0264-9381/22/10/048|bibcode= 2005CQGra..22S.487L|s2cid=119476595 |ref=none}}
*{{Citation|ref=none|last=Nieto|first=Michael Martin|title=The quest to understand the Pioneer anomaly|journal=Europhysics News|volume=37|issue=6|date=2006|pages=30–34|arxiv= gr-qc/0702017|doi= 10.1051/epn:2006604|doi-access=free|bibcode= 2006ENews..37f..30N|url= http://www.europhysicsnews.org/articles/epn/pdf/2006/06/epn06604.pdf |archive-url=https://web.archive.org/web/20150924004350/http://www.europhysicsnews.org/articles/epn/pdf/2006/06/epn06604.pdf |archive-date=2015-09-24 |url-status=live}}
*{{Citation|last=Nieto|first=Michael Martin|title=The quest to understand the Pioneer anomaly|journal=Europhysics News|volume=37|issue=6|date=2006|pages=30–34|arxiv= gr-qc/0702017|doi= 10.1051/epn:2006604|doi-access=free|bibcode= 2006ENews..37f..30N|url= http://www.europhysicsnews.org/articles/epn/pdf/2006/06/epn06604.pdf |archive-url=https://web.archive.org/web/20150924004350/http://www.europhysicsnews.org/articles/epn/pdf/2006/06/epn06604.pdf |archive-date=2015-09-24 |url-status=live |ref=none}}
*{{Citation|ref=none|author-link=Irwin I. Shapiro|last1=Shapiro|first1= I. I.|last2=Pettengill|first2=Gordon|last3=Ash|first3=Michael|last4=Stone|first4=Melvin|last5=Smith|first5=William|last6=Ingalls|first6=Richard|last7=Brockelman|first7=Richard|title=Fourth test of general relativity: preliminary results|journal=Phys. Rev. Lett.|volume=20|issue=22|pages=1265–1269|date=1968|doi= 10.1103/PhysRevLett.20.1265|bibcode= 1968PhRvL..20.1265S}}
*{{Citation|author-link=Irwin I. Shapiro|last1=Shapiro|first1= I. I.|last2=Pettengill|first2=Gordon|last3=Ash|first3=Michael|last4=Stone|first4=Melvin|last5=Smith|first5=William|last6=Ingalls|first6=Richard|last7=Brockelman|first7=Richard|title=Fourth test of general relativity: preliminary results|journal=Phys. Rev. Lett.|volume=20|issue=22|pages=1265–1269|date=1968|doi= 10.1103/PhysRevLett.20.1265|bibcode= 1968PhRvL..20.1265S |ref=none}}
*{{Citation|ref=none|last1=Valtonen|first1= M. J.|last2=Lehto|first2=H. J.|last3=Nilsson|first3=K.|last4=Heidt|first4=J.|last5=Takalo|first5=L. O.|last6=Sillanpää|first6=A.|last7=Villforth|first7=C.|last8=Kidger|first8=M.|display-authors=etal|title=A massive binary black-hole system in OJ 287 and a test of general relativity|journal=Nature|volume=452|issue=7189|pages=851–853|date=2008|doi= 10.1038/nature06896|pmid= 18421348|bibcode= 2008Natur.452..851V|arxiv= 0809.1280|s2cid=4412396}}
*{{Citation|last1=Valtonen|first1= M. J.|last2=Lehto|first2=H. J.|last3=Nilsson|first3=K.|last4=Heidt|first4=J.|last5=Takalo|first5=L. O.|last6=Sillanpää|first6=A.|last7=Villforth|first7=C.|last8=Kidger|first8=M.|display-authors=etal|title=A massive binary black-hole system in OJ 287 and a test of general relativity|journal=Nature|volume=452|issue=7189|pages=851–853|date=2008|doi= 10.1038/nature06896|pmid= 18421348|bibcode= 2008Natur.452..851V|arxiv= 0809.1280|s2cid=4412396 |ref=none}}


== External links ==
== External links ==
Line 3,617: Line 3,640:
{{Wikisource portal|Relativity}}
{{Wikisource portal|Relativity}}
{{Wikisource|Relativity: The Special and General Theory}}
{{Wikisource|Relativity: The Special and General Theory}}
*[https://www.youtube.com/watch?v=UgudCmLobxw ''Einstein's Universe''], documentary produced for Einstein's centenary by [[Nigel Calder]], featuring [[John Archibald Wheeler]], [[Roger Penrose]] and others. [[BBC]].
*[http://www.einstein-online.info/ Einstein Online] {{Webarchive|url=https://web.archive.org/web/20140601190245/http://www.einstein-online.info/ |date=1 June 2014 }}&nbsp;– Articles on a variety of aspects of relativistic physics for a general audience; hosted by the [[Max Planck Institute for Gravitational Physics]]
*[http://www.einstein-online.info/ Einstein Online] {{Webarchive|url=https://web.archive.org/web/20140601190245/http://www.einstein-online.info/ |date=1 June 2014 }}&nbsp;– Articles on a variety of aspects of relativistic physics for a general audience; hosted by the [[Max Planck Institute for Gravitational Physics]]
*[http://www.geo600.de/ GEO600 home page], the official website of the GEO600 project.
*[https://www.geo600.de/ GEO600 home page], the official website of the GEO600 project.
*[http://www.ligo.caltech.edu/ LIGO Laboratory]
*[https://www.ligo.caltech.edu/ LIGO Laboratory]
*[https://web.archive.org/web/20150327100311/http://archive.ncsa.illinois.edu/Cyberia/NumRel/NumRelHome.html NCSA Spacetime Wrinkles]&nbsp;– produced by the numerical relativity group at the [[National Center for Supercomputing Applications|NCSA]], with an elementary introduction to general relativity
*[https://web.archive.org/web/20150327100311/http://archive.ncsa.illinois.edu/Cyberia/NumRel/NumRelHome.html NCSA Spacetime Wrinkles]&nbsp;– produced by the numerical relativity group at the [[National Center for Supercomputing Applications|NCSA]], with an elementary introduction to general relativity
'''{{hlist|Courses|Lectures|Tutorials}}'''
'''{{hlist|Courses|Lectures|Tutorials}}'''
* {{YouTube |id=hbmf0bB38h0&list=EC6C8BDEEBA6BDC78D |title=Einstein's General Theory of Relativity}} (lecture by [[Leonard Susskind]] recorded 22 September 2008 at [[Stanford University]]).
* {{YouTube |id=hbmf0bB38h0&list=EC6C8BDEEBA6BDC78D |title=Einstein's General Theory of Relativity}} (lecture by [[Leonard Susskind]] recorded 22 September 2008 at [[Stanford University]]).
*[https://web.archive.org/web/20160303175347/http://www.luth.obspm.fr/IHP06/ Series of lectures on General Relativity] given in 2006 at the [[Institut Henri Poincaré]] (introductory/advanced).
*[https://web.archive.org/web/20160303175347/http://www.luth.obspm.fr/IHP06/ Series of lectures on General Relativity] given in 2006 at the [[Institut Henri Poincaré]] (introductory/advanced).
*[https://web.archive.org/web/20070707011024/http://math.ucr.edu/home/baez/gr/ General Relativity Tutorials] by [[John Baez]].
*[https://math.ucr.edu/home/baez/gr/ General Relativity Tutorials] by [[John Baez]].
*{{cite web|ref=none |author=Brown, Kevin |title=Reflections on relativity |work=Mathpages.com |url=http://www.mathpages.com/rr/rrtoc.htm |access-date=29 May 2005 |archive-url=https://web.archive.org/web/20151218205507/http://mathpages.com/rr/rrtoc.htm |archive-date=18 December 2015 }}
*{{cite web|ref=none |author=Brown, Kevin |title=Reflections on relativity |work=Mathpages.com |url=https://www.mathpages.com/rr/rrtoc.htm |access-date=29 May 2005 |archive-url=https://web.archive.org/web/20151218205507/http://mathpages.com/rr/rrtoc.htm |archive-date=18 December 2015 }}
*{{cite arXiv|ref=none |author=Carroll, Sean M. |title=Lecture Notes on General Relativity |eprint=gr-qc/9712019 |year=1997 }}
*{{cite arXiv|ref=none |author=Carroll, Sean M. |title=Lecture Notes on General Relativity |eprint=gr-qc/9712019 |year=1997 }}
*{{cite web|ref=none |author=Moor, Rafi |title=Understanding General Relativity |url=http://www.rafimoor.com/english/GRE.htm |access-date=11 July 2006}}
*{{cite web|ref=none |author=Moor, Rafi |title=Understanding General Relativity |url=http://www.rafimoor.com/english/GRE.htm |access-date=11 July 2006}}
*{{cite web|ref=none |author=Waner, Stefan |title=Introduction to Differential Geometry and General Relativity |url=http://www.zweigmedia.com/diff_geom/tc.html |access-date=5 April 2015}}
*{{cite web|ref=none |author=Waner, Stefan |title=Introduction to Differential Geometry and General Relativity |url=https://www.zweigmedia.com/diff_geom/tc.html |access-date=5 April 2015}}
*[https://feynmanlectures.caltech.edu/II_42.html The Feynman Lectures on Physics Vol. II Ch. 42: Curved Space]
*[https://feynmanlectures.caltech.edu/II_42.html The Feynman Lectures on Physics Vol. II Ch. 42: Curved Space]


Line 3,638: Line 3,662:
{{Portal bar|Astronomy|Stars|Outer space|Mathematics|Physics}}
{{Portal bar|Astronomy|Stars|Outer space|Mathematics|Physics}}
{{Authority control}}
{{Authority control}}
{{Featured article}}


<!--
<!--
Line 3,646: Line 3,669:
   See Wikipedia:Categorization for current guidelines (not WP:CSL, which is only a proposal).
   See Wikipedia:Categorization for current guidelines (not WP:CSL, which is only a proposal).
  --->
  --->
[[Category:General relativity| ]]
[[Category:General relativity| ]]
[[Category:Concepts in astronomy]]
[[Category:Concepts in astronomy]]

Latest revision as of 02:58, 27 May 2026

Template:For introduction Template:Featured article

File:BBH gravitational lensing of gw150914.webm
Slow motion computer simulation of the black hole binary system GW150914 as seen by a nearby observer, during 0.33 s of its final inspiral, merge, and ringdown. The star field behind the black holes is being heavily distorted and appears to rotate and move, due to extreme gravitational lensing, as spacetime itself is distorted and dragged around by the rotating black holes.[1]

Template:General relativity sidebar

General relativity, also known as the general theory of relativity, and as Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in May 1916 and is the accepted description of the gravitation of macroscopic objects in modern physics. General relativity generalizes special relativity and refines Isaac Newton's law of universal gravitation, providing a unified description of gravity as a geometric property of space and time, or four-dimensional spacetime. In particular, the curvature of spacetime is directly related to the energy, momentum, and stress of whatever is present, including matter and radiation. The relation is specified by the Einstein field equations, a system of second-order partial differential equations. John Archibald Wheeler summarized it: "Space-time tells matter how to move; matter tells space-time how to curve."

Newton's law of universal gravitation, which describes gravity in classical mechanics, can be seen as a prediction of general relativity for the almost flat spacetime geometry around stationary mass distributions. Some predictions of general relativity, however, are beyond Newton's law of universal gravitation in classical physics. These predictions concern the passage of time, the geometry of space, the motion of bodies in free fall, and the propagation of light, and include gravitational time dilation, gravitational lensing, the gravitational redshift of light, the Shapiro time delay, singularities and black holes. So far, all tests of general relativity have been in agreement with the theory. The time-dependent solutions of general relativity enable us to extrapolate the history of the universe into the past and future, and have provided the modern framework for cosmology, thus leading to the discovery of the Big Bang and cosmic microwave background radiation. Despite the introduction of a number of alternative theories, general relativity continues to be the simplest theory consistent with experimental data.

Reconciliation of general relativity with the laws of quantum physics remains a problem, however, as no self-consistent theory of quantum gravity has been found. It is not yet known how gravity can be unified with the three non-gravitational interactions: strong, weak and electromagnetic.

Einstein's theory has astrophysical implications, including the prediction of black holes—regions of space in which space and time are distorted in such a way that nothing, not even light, can escape from them. Black holes are the end-state for massive stars. Microquasars and active galactic nuclei are believed to be stellar black holes and supermassive black holes. It also predicts gravitational lensing, where the bending of light results in distorted and multiple images of the same distant astronomical phenomenon. Other predictions include the existence of gravitational waves, which have been observed directly by the physics collaboration LIGO and other observatories. In addition, general relativity has provided the basis for cosmological models of an expanding universe.

Widely acknowledged as a theory of extraordinary mathematical beauty, general relativity has often been described as the most beautiful of all existing physical theories.[2]

History

Henri Poincaré's 1905 theory of the dynamics of the electron was a relativistic theory which he applied to all forces, including gravity. While others thought that gravity was instantaneous or of electromagnetic origin, he suggested that relativity was "something due to our methods of measurement". In his theory, he proposed that gravitational waves propagate at the speed of light.[3] Soon afterwards, Einstein started thinking about how to incorporate gravity into his relativistic framework. In 1907, beginning with a simple thought experiment involving an observer in free fall (FFO), he embarked on what would be an eight-year search for a relativistic theory of gravity. After numerous detours and false starts, his work culminated in the presentation to the Prussian Academy of Science in November 1915 of what are known as the Einstein field equations, which form the core of Einstein's general theory of relativity.[4] These equations specify how the geometry of space and time is influenced by whatever matter and radiation are present.[5] A version of non-Euclidean geometry, called Riemannian geometry, enabled Einstein to develop general relativity by providing the key mathematical framework on which he fit his physical ideas of gravity.[6] This idea was pointed out by mathematician Marcel Grossmann and published by Grossmann and Einstein in 1913.[7]

The Einstein field equations are nonlinear and are considered difficult to solve. Einstein used approximation methods in working out initial predictions of the theory. But in 1916, the astrophysicist Karl Schwarzschild found the first non-trivial exact solution to the Einstein field equations, the Schwarzschild metric. This solution laid the groundwork for the description of the final stages of gravitational collapse, and the objects known today as black holes. In the same year, the first steps towards generalizing Schwarzschild's solution to electrically charged objects were taken, eventually resulting in the Reissner–Nordström solution, which is associated with electrically charged black holes.[8] In 1917, Einstein applied his theory to the universe as a whole, initiating the field of relativistic cosmology. In line with contemporary thinking, he assumed a static universe, adding a new parameter to his original field equations—the cosmological constant—to match that observational presumption.[9] By 1929, however, the work of Hubble and others had shown that the universe is expanding. This is readily described by the expanding cosmological solutions found by Friedmann in 1922, which do not require a cosmological constant. Lemaître used these solutions to formulate the earliest version of the Big Bang models, in which the universe has evolved from an extremely hot and dense earlier state.[10] Einstein later declared the cosmological constant the biggest blunder of his life.[11]

During that period, general relativity remained something of a curiosity among physical theories. It was clearly superior to Newtonian gravity, being consistent with special relativity and accounting for several effects unexplained by the Newtonian theory. Einstein showed in 1915 how his theory explained the anomalous perihelion advance of the planet Mercury without any arbitrary parameters ("fudge factors"),[12] and in 1919 an expedition led by Eddington confirmed general relativity's prediction for the deflection of starlight by the Sun during the total solar eclipse of 29 May 1919,[13] instantly making Einstein famous.[14] Yet the theory remained outside the mainstream of theoretical physics and astrophysics until developments between approximately 1960 and 1975 known as the golden age of general relativity.[15] Physicists began to understand the concept of a black hole, and to identify quasars as one of these objects' astrophysical manifestations.[16] Ever more precise solar system tests confirmed the theory's predictive power,[17] and relativistic cosmology also became amenable to direct observational tests.[18]

General relativity has acquired a reputation as a theory of extraordinary beauty.[2][19][20] Subrahmanyan Chandrasekhar has noted that at multiple levels, general relativity exhibits what Francis Bacon has termed a "strangeness in the proportion" (i.e. elements that excite wonderment and surprise). It juxtaposes fundamental concepts (space and time versus matter and motion) which had previously been considered as entirely independent. Chandrasekhar also noted that Einstein's only guides in his search for an exact theory were the principle of equivalence and his sense that a proper description of gravity should be geometrical at its basis, so that there was an "element of revelation" in the manner in which Einstein arrived at his theory.[21] Other elements of beauty associated with the general theory of relativity are its simplicity and symmetry, the manner in which it incorporates invariance and unification, and its perfect logical consistency.[22]

In the preface to Relativity: The Special and the General Theory, Einstein said "The present book is intended, as far as possible, to give an exact insight into the theory of Relativity to those readers who, from a general scientific and philosophical point of view, are interested in the theory, but who are not conversant with the mathematical apparatus of theoretical physics. The work presumes a standard of education corresponding to that of a university matriculation examination, and, despite the shortness of the book, a fair amount of patience and force of will on the part of the reader. The author has spared himself no pains in his endeavour to present the main ideas in the simplest and most intelligible form, and on the whole, in the sequence and connection in which they actually originated."[23]

From classical mechanics to general relativity

General relativity can be understood by examining its similarities with and departures from classical physics. The first step is the realization that classical mechanics and Newton's law of gravity admit a geometric description. The combination of this description with the laws of special relativity results in a heuristic derivation of general relativity.[24][25]

Geometry of Newtonian gravity

File:Elevator gravity.svg
According to general relativity, objects in a gravitational field behave similarly to objects within an accelerating enclosure. For example, an observer will see a ball fall the same way in a rocket (left) as it does on Earth (right), provided that the acceleration of the rocket is equal to 9.8 m/s2 (the acceleration due to gravity on the surface of the Earth).

At the base of classical mechanics is the notion that a body's motion can be described as a combination of free (or inertial) motion, and deviations from this free motion. Such deviations are caused by external forces acting on a body in accordance with Newton's second law of motion, which states that the net force acting on a body is equal to that body's (inertial) mass multiplied by its acceleration.[26] The preferred inertial motions are related to the geometry of space and time: in the standard reference frames of classical mechanics, objects in free motion move along straight lines at constant speed. In modern parlance, their paths are geodesics, straight world lines in curved spacetime.[27]

Conversely, one might expect that inertial motions, once identified by observing the actual motions of bodies and making allowances for the external forces (such as electromagnetism or friction), can be used to define the geometry of space, as well as a time coordinate. However, there is an ambiguity once gravity comes into play. According to Newton's law of gravity, and independently verified by experiments such as that of Eötvös and its successors (see Eötvös experiment), there is a universality of free fall (also known as the weak equivalence principle, or the universal equality of inertial and passive-gravitational mass): the trajectory of a test body in free fall depends only on its position and initial speed, but not on any of its material properties.[28] A simplified version of this is embodied in Einstein's elevator experiment, illustrated in the figure on the right: for an observer in an enclosed room, it is impossible to decide, by mapping the trajectory of bodies such as a dropped ball, whether the room is stationary in a gravitational field and the ball accelerating, or in free space aboard a rocket that is accelerating at a rate equal to that of the gravitational field versus the ball which upon release has nil acceleration.[29]

Given the universality of free fall, there is no observable distinction between inertial motion and motion under the influence of the gravitational force. This suggests the definition of a new class of inertial motion, namely that of objects in free fall under the influence of gravity. This new class of preferred motions, too, defines a geometry of space and time—in mathematical terms, it is the geodesic motion associated with a specific connection which depends on the gradient of the gravitational potential. Space, in this construction, still has the ordinary Euclidean geometry. However, spacetime as a whole is more complicated. As can be shown using simple thought experiments following the free-fall trajectories of different test particles, the result of transporting spacetime vectors that can denote a particle's velocity (time-like vectors) will vary with the particle's trajectory; mathematically speaking, the Newtonian connection is not integrable. From this, one can deduce that spacetime is curved. The resulting Newton–Cartan theory is a geometric formulation of Newtonian gravity using only covariant concepts, i.e. a description which is valid in any desired coordinate system.[30] In this geometric description, tidal effects—the relative acceleration of bodies in free fall—are related to the derivative of the connection, showing how the modified geometry is caused by the presence of mass.[31]

Relativistic generalization

File:Light cone.svg
Light cone of event A

As intriguing as geometric Newtonian gravity may be, its basis, classical mechanics, is merely a limiting case of (special) relativistic mechanics.[32] In the language of symmetry: where gravity can be neglected, physics is Lorentz invariant as in special relativity rather than Galilei invariant as in classical mechanics. (The defining symmetry of special relativity is the Poincaré group, which includes translations, rotations, boosts and reflections.) The differences between the two become significant when dealing with speeds approaching the speed of light, and with high-energy phenomena.[33]

With Lorentz symmetry, additional structures come into play. They are defined by the set of light cones (see image). The light-cones define a causal structure: for each event A, there is a set of events that can, in principle, either influence or be influenced by A via signals or interactions that do not need to travel faster than light (such as event B in the image), and a set of events for which such an influence is impossible (such as event C in the image). These sets are observer-independent.[34] In conjunction with the world-lines of freely falling particles, the light-cones can be used to reconstruct the spacetime's semi-Riemannian metric, at least up to a positive scalar factor. In mathematical terms, this defines a conformal structure[35] or conformal geometry.

Special relativity is defined in the absence of gravity. For practical applications, it is a suitable model whenever gravity can be neglected. Bringing gravity into play, and assuming the universality of free fall motion, an analogous reasoning as in the previous section applies: there are no global inertial frames. Instead there are approximate inertial frames moving alongside freely falling particles. Translated into the language of spacetime: the straight time-like lines that define a gravity-free inertial frame are deformed to lines that are curved relative to each other, suggesting that the inclusion of gravity necessitates a change in spacetime geometry.[36]

A priori, it is not clear whether the new local frames in free fall coincide with the reference frames in which the laws of special relativity hold—that theory is based on the propagation of light, and thus on electromagnetism, which could have a different set of preferred frames. But using different assumptions about the special-relativistic frames (such as their being earth-fixed, or in free fall), one can derive different predictions for the gravitational redshift, that is, the way in which the frequency of light shifts as the light propagates through a gravitational field (cf. below). The actual measurements show that free-falling frames are the ones in which light propagates as it does in special relativity.[37] The generalization of this statement, namely that the laws of special relativity hold to good approximation in freely falling (and non-rotating) reference frames, is known as the Einstein equivalence principle, a crucial guiding principle for generalizing special-relativistic physics to include gravity.[38]

The same experimental data shows that time as measured by clocks in a gravitational field—proper time, to give the technical term—does not follow the rules of special relativity. In the language of spacetime geometry, it is not measured by the Minkowski metric. As in the Newtonian case, this is suggestive of a more general geometry. At small scales, all reference frames that are in free fall are equivalent, and approximately Minkowskian. Consequently, we are dealing with a curved generalization of Minkowski space. The metric tensor that defines the geometry—in particular, how lengths and angles are measured—is not the Minkowski metric of special relativity, it is a generalization known as a semi- or pseudo-Riemannian metric. Furthermore, each Riemannian metric is naturally associated with one particular kind of connection, the Levi-Civita connection, and this is, in fact, the connection that satisfies the equivalence principle and makes space locally Minkowskian (that is, in suitable locally inertial coordinates, the metric is Minkowskian, and its first partial derivatives and the connection coefficients vanish).[39]

Einstein's equations

Having formulated the relativistic, geometric version of the effects of gravity, the question of gravity's source remains. In Newtonian gravity, the source is mass. In special relativity, mass turns out to be part of a more general quantity called the stress–energy tensor, which includes both energy and momentum densities as well as stress: pressure and shear.[40] Using the equivalence principle, this tensor is readily generalized to curved spacetime. Drawing further upon the analogy with geometric Newtonian gravity, it is natural to assume that the field equation for gravity relates this tensor and the Ricci tensor, which describes a particular class of tidal effects: the change in volume for a small cloud of test particles that are initially at rest, and then fall freely. In special relativity, conservation of energy–momentum corresponds to the statement that the stress–energy tensor is divergence-free. This formula, too, is readily generalized to curved spacetime by replacing partial derivatives with their curved-manifold counterparts, covariant derivatives studied in differential geometry. With this additional condition—the covariant divergence of the stress–energy tensor, and hence of whatever is on the other side of the equation, is zero—the simplest nontrivial set of equations are what are called Einstein's (field) equations: Template:Equation box 1

On the left-hand side is the Einstein tensor, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G_{\mu\nu}} , which is symmetric and a specific divergence-free combination of the Ricci tensor Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R_{\mu\nu}} and the metric. In particular, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R=g^{\mu\nu}R_{\mu\nu}} is the curvature scalar. The Ricci tensor itself is related to the more general Riemann curvature tensor as Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R_{\mu\nu}={R^\alpha}_{\mu\alpha\nu}.}

On the right-hand side, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa} is a constant and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T_{\mu\nu}} is the stress–energy tensor. All tensors are written in abstract index notation.[41] Matching the theory's prediction to observational results for planetary orbits or, equivalently, assuring that the weak-gravity, low-speed limit is Newtonian mechanics, the proportionality constant Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa} is found to be Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \kappa={8\pi G}/{c^4}} , where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G} is the Newtonian constant of gravitation and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle c} the speed of light in vacuum.[42] When there is no matter present, so that the stress–energy tensor vanishes, the results are the vacuum Einstein equations, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R_{\mu\nu}=0.}

In general relativity, the world line of a particle free from all external, non-gravitational force is a particular type of geodesic in curved spacetime. In other words, a freely moving or falling particle always moves along a geodesic.

The geodesic equation is: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle {d^2 x^\mu \over ds^2}+\Gamma^\mu {}_{\alpha \beta}{d x^\alpha \over ds}{d x^\beta \over ds}=0,} where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle s} is a scalar parameter of motion (e.g. the proper time), and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Gamma^\mu {}_{\alpha \beta}} are Christoffel symbols (sometimes called the affine connection coefficients or Levi-Civita connection coefficients) which is symmetric in the two lower indices. Greek indices may take the values: 0, 1, 2, 3 and the summation convention is used for repeated indices Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \alpha} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \beta} . The quantity on the left-hand-side of this equation is the acceleration of a particle, and so this equation is analogous to Newton's laws of motion which likewise provide formulae for the acceleration of a particle. This equation of motion employs the Einstein notation, meaning that repeated indices are summed (i.e. from zero to three). The Christoffel symbols are functions of the four spacetime coordinates, and so are independent of the velocity or acceleration or other characteristics of a test particle whose motion is described by the geodesic equation.

Total force in general relativity

In general relativity, the effective gravitational potential energy of an object of mass m revolving around a massive central body M is given by[43][44] Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U_f(r) =-\frac{GMm}{r}+\frac{L^{2}}{2mr^{2}}-\frac{GML^{2}}{mc^{2}r^{3}}}

A conservative total force can then be obtained as its negative gradient Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F_f(r)=-\frac{GMm}{r^{2}}+\frac{L^{2}}{mr^{3}}-\frac{3GML^{2}}{mc^{2}r^{4}}} where L is the angular momentum. The first term represents the force of Newtonian gravity, which is described by the inverse-square law. The second term represents the centrifugal force in the circular motion. The third term represents the relativistic effect.

Alternatives to general relativity

There are alternatives to general relativity built upon the same premises, which include additional rules and/or constraints, leading to different field equations. Examples are Whitehead's theory, Brans–Dicke theory, teleparallelism, f(R) gravity and Einstein–Cartan theory.[45]

Definition and basic applications

The derivation outlined in the previous section contains all the information needed to define general relativity, describe its key properties, and address a question of crucial importance in physics, namely how the theory can be used for model-building.

Definition and basic properties

General relativity is a metric theory of gravitation. At its core are Einstein's equations, which describe the relation between the geometry of a four-dimensional pseudo-Riemannian manifold representing spacetime, and the distribution of energy, momentum and stress contained in that spacetime.[46] Phenomena that in classical mechanics are ascribed to the action of the force of gravity (such as free-fall, orbital motion, and spacecraft trajectories), correspond to inertial motion within a curved geometry of spacetime in general relativity; there is no gravitational force deflecting objects from their natural, straight paths. Instead, gravity corresponds to changes in the properties of space and time, which in turn changes the straightest-possible paths that objects will naturally follow.[47] The curvature is, in turn, caused by the stress–energy of matter. Paraphrasing the relativist John Archibald Wheeler, spacetime tells matter how to move; matter tells spacetime how to curve.[48]

While general relativity replaces the scalar gravitational potential of classical physics by a symmetric rank-two tensor, the latter reduces to the former in certain limiting cases. For weak gravitational fields and low speed relative to the speed of light, the theory's predictions converge on those of Newton's law of universal gravitation.[49]

As it is constructed using tensors, general relativity exhibits general covariance: its laws—and further laws formulated within the general relativistic framework—take on the same form in all coordinate systems.[50] Furthermore, the theory does not contain any invariant geometric background structures, i.e. it is background-independent. It thus satisfies a more stringent general principle of relativity, namely that the laws of physics are the same for all observers.[51] Locally, as expressed in the equivalence principle, spacetime is Minkowskian, and the laws of physics exhibit local Lorentz invariance.[52]

Model-building and basic applications

The core concept of general-relativistic model-building is that of a solution of Einstein's equations. Given both Einstein's equations and suitable equations for the properties of matter, such a solution consists of a specific semi-Riemannian manifold (usually defined by giving the metric in specific coordinates), and specific matter fields defined on that manifold. Matter and geometry must satisfy Einstein's equations, so in particular, the matter's stress–energy tensor must be divergence-free. The matter must, of course, also satisfy whatever additional equations were imposed on its properties. In short, such a solution is a model universe that satisfies the laws of general relativity, and possibly additional laws governing whatever matter might be present.[53]

Einstein's equations are nonlinear partial differential equations and, as such, difficult to solve exactly.[54] Nevertheless, a number of exact solutions are known, although only a few have direct physical applications.[55] The best-known exact solutions, and also those most interesting from a physics point of view, are the Schwarzschild solution, the Reissner–Nordström solution and the Kerr metric, each corresponding to a certain type of black hole in an otherwise empty universe,[56] and the Friedmann–Lemaître–Robertson–Walker and de Sitter universes, each describing an expanding cosmos.[57] Exact solutions of great theoretical interest include the Gödel universe (which opens up the intriguing possibility of time travel in curved spacetimes), the Taub–NUT solution (a model universe that is homogeneous, but anisotropic), and anti-de Sitter space (which has recently come to prominence in the context of what is called the Maldacena conjecture).[58]

Given the difficulty of finding exact solutions, Einstein's field equations are also solved frequently by numerical integration on a computer, or by considering small perturbations of exact solutions. In the field of numerical relativity, powerful computers are employed to simulate the geometry of spacetime and to solve Einstein's equations for interesting situations such as two colliding black holes.[59] In principle, such methods may be applied to any system, given sufficient computer resources, and may address fundamental questions such as naked singularities. Approximate solutions may also be found by perturbation theories such as linearized gravity[60] and its generalization, the post-Newtonian expansion, both of which were developed by Einstein. The latter provides a systematic approach to solving for the geometry of a spacetime that contains a distribution of matter that moves slowly compared with the speed of light. The expansion involves a series of terms; the first terms represent Newtonian gravity, whereas the later terms represent ever smaller corrections to Newton's theory due to general relativity.[61] An extension of this expansion is the parametrized post-Newtonian (PPN) formalism, which allows quantitative comparisons between the predictions of general relativity and alternative theories.[62]

Consequences of Einstein's theory

General relativity has a number of physical consequences. Some follow directly from the theory's axioms, whereas others have become clear only in the course of many years of research that followed Einstein's initial publication.

Gravitational time dilation and frequency shift

File:Gravitational red-shifting.png
Schematic representation of the gravitational redshift of a light wave escaping from the surface of a massive body

Assuming that the equivalence principle holds,[63] gravity influences the passage of time. Light sent down into a gravity well is blueshifted, whereas light sent in the opposite direction (i.e., climbing out of the gravity well) is redshifted; collectively, these two effects are known as the gravitational frequency shift. More generally, processes close to a massive body run more slowly when compared with processes taking place farther away; this effect is known as gravitational time dilation.[64]

Gravitational redshift has been measured in the laboratory[65] and using astronomical observations.[66] Gravitational time dilation in the Earth's gravitational field has been measured numerous times using atomic clocks,[67] while ongoing validation is provided as a side effect of the operation of the Global Positioning System (GPS).[68] Tests in stronger gravitational fields are provided by the observation of binary pulsars.[69] All results are in agreement with general relativity.[70] However, at the existing level of accuracy, these observations cannot distinguish between general relativity and other theories in which the equivalence principle is valid.[71]

In the vicinity of a non-rotating sphere, the time dilation due to gravity, derived from the Schwarzschild metric, is

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t_0 = t_f \sqrt{1 - \frac{2GM}{rc^2}}}

where

  • Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t_0} is the proper time between two events for an observer close to the massive sphere, i.e. deep within the gravitational field
  • Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t_f} is the coordinate time between the events for an observer at an arbitrarily large distance from the massive object (this assumes the far-away observer is using Schwarzschild coordinates, a coordinate system where a clock at infinite distance from the massive sphere would tick at one second per second of coordinate time, while closer clocks would tick at less than that rate),
  • Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G} is the gravitational constant,
  • Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle M} is the mass of the object creating the gravitational field,
  • Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r} is the radial coordinate of the observer within the gravitational field (this coordinate is analogous to the classical distance from the center of the object, but is actually a Schwarzschild coordinate; the equation in this form has real solutions for Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r > r_{\rm s}} ),
  • Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle c} is the speed of light.

Light deflection and gravitational time delay

File:Light deflection.png
Deflection of light (sent out from the location shown in blue) near a compact body (shown in gray)

General relativity predicts that the path of light will follow the curvature of spacetime as it passes near a massive object. This effect was initially confirmed by observing the light of stars or distant quasars being deflected as it passes the Sun.[72]

This and related predictions follow from the fact that light follows what is called a light-like or null geodesic—a generalization of the straight lines along which light travels in classical physics. Such geodesics are the generalization of the invariance of lightspeed in special relativity.[73] As one examines suitable model spacetimes (either the exterior Schwarzschild solution or, for more than a single mass, the post-Newtonian expansion),[74] several effects of gravity on light propagation emerge. Although the bending of light can also be derived by extending the universality of free fall to light,[75] the angle of deflection resulting from such calculations is only half the value given by general relativity.[76]

Closely related to light deflection is the Shapiro time delay, the phenomenon that light signals take longer to move through a gravitational field than they would in the absence of that field. There have been numerous successful tests of this prediction.[77] In the parameterized post-Newtonian formalism (PPN), measurements of both the deflection of light and the gravitational time delay determine a parameter called γ, which encodes the influence of gravity on the geometry of space.[78]

Gravitational waves

File:Gravwav.gif
Ring of test particles deformed by a passing (linearized, amplified for better visibility) gravitational wave

Predicted in 1916[79][80] by Albert Einstein, there are gravitational waves: ripples in the metric of spacetime that propagate at the speed of light. These are one of several analogies between weak-field gravity and electromagnetism in that, they are analogous to electromagnetic waves. On 11 February 2016, the Advanced LIGO team announced that they had directly detected gravitational waves from a pair of black holes merging.[81][82][83]

The simplest type of such a wave can be visualized by its action on a ring of freely floating particles. A sine wave propagating through such a ring towards the reader distorts the ring in a characteristic, rhythmic fashion (animated image to the right).[84] Since Einstein's equations are non-linear, arbitrarily strong gravitational waves do not obey linear superposition, making their description difficult. However, linear approximations of gravitational waves are sufficiently accurate to describe the exceedingly weak waves that are expected to arrive here on Earth from far-off cosmic events, which typically result in relative distances increasing and decreasing by 10−21 or less. Data analysis methods routinely make use of the fact that these linearized waves can be Fourier decomposed.[85]

Some exact solutions describe gravitational waves without any approximation, e.g., a wave train traveling through empty space[86] or Gowdy universes, varieties of an expanding cosmos filled with gravitational waves.[87] But for gravitational waves produced in astrophysically relevant situations, such as the merger of two black holes, numerical methods are the only way to construct appropriate models.[88]

Orbital effects and the relativity of direction

General relativity differs from classical mechanics in a number of predictions concerning orbiting bodies. It predicts an overall rotation (precession) of planetary orbits, as well as orbital decay caused by the emission of gravitational waves and effects related to the relativity of direction.

Precession of apsides

File:Relativistic precession.svg
Newtonian (red) vs. Einsteinian orbit (blue) of a lone planet orbiting a star. The influence of other planets is ignored.

In general relativity, the apsides of any orbit (the point of the orbiting body's closest approach to the system's center of mass) will precess; the orbit is not an ellipse, but akin to an ellipse that rotates on its focus, resulting in a rose curve-like shape (see image). Einstein first derived this result by using an approximate metric representing the Newtonian limit and treating the orbiting body as a test particle. For him, the fact that his theory gave a straightforward explanation of Mercury's anomalous perihelion shift, discovered earlier by Urbain Le Verrier in 1859, was important evidence that he had at last identified the correct form of the gravitational field equations.[89]

The effect can also be derived by using either the exact Schwarzschild metric (describing spacetime around a spherical mass)[90] or the much more general post-Newtonian formalism.[91] It is due to the influence of gravity on the geometry of space and to the contribution of self-energy to a body's gravity (encoded in the nonlinearity of Einstein's equations).[92] Relativistic precession has been observed for all planets that allow for accurate precession measurements (Mercury, Venus, and Earth),[93] as well as in binary pulsar systems, where it is larger by five orders of magnitude.[94]

In general relativity the perihelion shift Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sigma} , expressed in radians per revolution, is approximately given by:[95] Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sigma=\frac {24\pi^3L^2} {T^2c^2(1-e^2)} \ ,} where:

  • Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle L} is the semi-major axis
  • Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T} is the orbital period
  • Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle c} is the speed of light in a vacuum
  • Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle e} is the orbital eccentricity

Orbital decay

File:PSRJ0737−3039shift2021.png
Orbital decay for PSR J0737−3039: time shift, tracked over 16 years (2021).[96]

According to general relativity, a binary system will emit gravitational waves, thereby losing energy. Due to this loss, the distance between the two orbiting bodies decreases, and so does their orbital period. Within the Solar System or for ordinary double stars, the effect is too small to be observable. This is not the case for a close binary pulsar, a system of two orbiting neutron stars, one of which is a pulsar: from the pulsar, observers on Earth receive a regular series of radio pulses that can serve as a highly accurate clock, which allows precise measurements of the orbital period. Because neutron stars are immensely compact, significant amounts of energy are emitted in the form of gravitational radiation.[97]

The first observation of a decrease in orbital period due to the emission of gravitational waves was made by Hulse and Taylor, using the binary pulsar PSR1913+16 they had discovered in 1974. This was the first detection of gravitational waves, albeit indirect, for which they were awarded the 1993 Nobel Prize in physics.[98] Since then, several other binary pulsars have been found, in particular the double pulsar PSR J0737−3039, where both stars are pulsars[99] and which was last reported to also be in agreement with general relativity in 2021 after 16 years of observations.[96]

Geodetic precession and frame-dragging

Several relativistic effects are directly related to the relativity of direction.[100] One is geodetic precession: the axis direction of a gyroscope in free fall in curved spacetime will change when compared, for instance, with the direction of light received from distant stars—even though such a gyroscope represents the way of keeping a direction as stable as possible ("parallel transport").[101] For the Moon–Earth system, this effect has been measured with the help of lunar laser ranging.[102] More recently, it has been measured for test masses aboard the satellite Gravity Probe B to a precision of better than 0.3%.[103][104]

Near a rotating mass, there are gravitomagnetic or frame-dragging effects. A distant observer will determine that objects close to the mass get "dragged around". This is most extreme for rotating black holes where, for any object entering a zone known as the ergosphere, rotation is inevitable.[105] Such effects can again be tested through their influence on the orientation of gyroscopes in free fall.[106] Somewhat controversial tests have been performed using the LAGEOS satellites, confirming the relativistic prediction.[107] Also the Mars Global Surveyor probe around Mars has been used.[108]

Astrophysical applications

Gravitational lensing

File:Einstein cross (cropped).jpg
Einstein cross: four images of the same astronomical object, produced by a gravitational lens

The deflection of light by gravity is responsible for a new class of astronomical phenomena. If a massive object is situated between the astronomer and a distant target object with appropriate mass and relative distances, the astronomer will see multiple distorted images of the target. Such effects are known as gravitational lensing.[109] Depending on the configuration, scale, and mass distribution, there can be two or more images, a bright ring known as an Einstein ring, or partial rings called arcs.[110] The earliest example was discovered in 1979;[111] since then, more than a hundred gravitational lenses have been observed.[112] Even if the multiple images are too close to each other to be resolved, the effect can still be measured, e.g., as an overall brightening of the target object; a number of such "microlensing events" have been observed.[113]

Gravitational lensing has developed into a tool of observational astronomy. It is used to detect the presence and distribution of dark matter, provide a "natural telescope" for observing distant galaxies, and to obtain an independent estimate of the Hubble constant. Statistical evaluations of lensing data provide valuable insight into the structural evolution of galaxies.[114]

Gravitational-wave astronomy

File:LISA.jpg
Artist's impression of the space-borne gravitational wave detector LISA

Observations of binary pulsars provide strong indirect evidence for the existence of gravitational waves (see Orbital decay, above). Detection of these waves is a major goal of contemporary relativity-related research.[115] Several land-based gravitational wave detectors are in operation, for example the interferometric detectors GEO 600, LIGO (two detectors), TAMA 300 and VIRGO.[116] Various pulsar timing arrays are using millisecond pulsars to detect gravitational waves in the 10−9 to 10−6 hertz frequency range, which originate from binary supermassive black holes.[117] A European space-based detector, eLISA / NGO, is under development,[118] with a precursor mission (LISA Pathfinder) having launched in December 2015.[119]

Observations of gravitational waves promise to complement observations in the electromagnetic spectrum.[120] They are expected to yield information about black holes and other dense objects such as neutron stars and white dwarfs, about certain kinds of supernova implosions, and about processes in the very early universe, including the signature of certain types of hypothetical cosmic string.[121] In February 2016, the Advanced LIGO team announced that they had detected gravitational waves from a black hole merger.[81][82][83]

Black holes and other compact objects

File:Star collapse to black hole.png
Simulation based on the equations of general relativity: a star collapsing to form a black hole while emitting gravitational waves

Whenever the ratio of an object's mass to its radius becomes sufficiently large, general relativity predicts the formation of a black hole, a region of space from which nothing, not even light, can escape. In the accepted models of stellar evolution, neutron stars of around 1.4 solar masses, and stellar black holes with a few to a few dozen solar masses, are thought to be the final state for the evolution of massive stars.[122] Usually a galaxy has one supermassive black hole with a few million to a few billion solar masses in its center,[123] and its presence is thought to have played an important role in the formation of the galaxy and larger cosmic structures.[124]

Astronomically, the most important property of compact objects is that they provide a supremely efficient mechanism for converting gravitational energy into electromagnetic radiation.[125] Accretion, the falling of dust or gaseous matter onto stellar or supermassive black holes, is thought to be responsible for some spectacularly luminous astronomical objects, especially diverse kinds of active galactic nuclei on galactic scales and stellar-size objects such as microquasars.[126] In particular, accretion can lead to relativistic jets, focused beams of highly energetic particles that are being flung into space at almost light speed.[127] General relativity plays a central role in modelling all these phenomena,[128] and observations provide strong evidence for the existence of black holes with the properties predicted by the theory.[129]

Black holes are also sought-after targets in the search for gravitational waves (cf. section § Gravitational waves, above). Merging black hole binaries should lead to some of the strongest gravitational wave signals reaching detectors on Earth, and the phase directly before the merger ("chirp") could be used as a "standard candle" to deduce the distance to the merger events–and hence serve as a probe of cosmic expansion at large distances.[130] The gravitational waves produced as a stellar black hole plunges into a supermassive one should provide direct information about the supermassive black hole's geometry.[131]

Cosmology

File:Lensshoe hubble.jpg
This blue horseshoe is a distant galaxy that has been magnified and warped into a nearly complete ring by the strong gravitational pull of the massive foreground luminous red galaxy.

The existing models of cosmology are based on Einstein's field equations, which include the cosmological constant Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Lambda} since it has important influence on the large-scale dynamics of the cosmos, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R_{\mu\nu} - {\textstyle 1 \over 2}R\,g_{\mu\nu} + \Lambda\ g_{\mu\nu} = \frac{8\pi G}{c^{4}}\, T_{\mu\nu} } where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle g_{\mu\nu}} is the spacetime metric.[132] Isotropic and homogeneous solutions of these enhanced equations, the Friedmann–Lemaître–Robertson–Walker solutions,[133] allow physicists to model a universe that has evolved over the past 14 billion years from a hot, early Big Bang phase.[134] Once a small number of parameters (for example the universe's mean matter density) have been fixed by astronomical observation,[135] further observational data can be used to put the models to the test.[136] Predictions, all successful, include the initial abundance of chemical elements formed in a period of primordial nucleosynthesis,[137] the large-scale structure of the universe,[138] and the existence and properties of a "thermal echo" from the early cosmos, the cosmic background radiation.[139]

Astronomical observations of the cosmological expansion rate allow the total amount of matter in the universe to be estimated, although the nature of that matter remains mysterious in part. About 90% of all matter appears to be dark matter, which has mass (or, equivalently, gravitational influence), but does not interact electromagnetically and, hence, cannot be observed directly.[140] There is no generally accepted description of this new kind of matter, within the framework of known particle physics[141] or otherwise.[142] Observational evidence from redshift surveys of distant supernovae and measurements of the cosmic background radiation also show that the evolution of the universe is significantly influenced by a cosmological constant resulting in an acceleration of cosmic expansion or, equivalently, by a form of energy with an unusual equation of state, known as dark energy, the nature of which remains unclear.[143]

An inflationary phase,[144] an additional phase of strongly accelerated expansion at cosmic times of around 10−33 seconds, was hypothesized in 1980 to account for several puzzling observations that were unexplained by classical cosmological models, such as the nearly perfect homogeneity of the cosmic background radiation.[145] Recent measurements of the cosmic background radiation have resulted in the first evidence for this scenario.[146] However, there are a bewildering variety of possible inflationary scenarios, which cannot be restricted by existing observations.[147] An even larger question is the physics of the earliest universe, prior to the inflationary phase and close to where the classical models predict the big bang singularity. An authoritative answer would require a complete theory of quantum gravity, which has not yet been developed[148] (cf. the section on quantum gravity, below).

Exotic solutions: time travel, warp drives

Kurt Gödel showed[149] that solutions to Einstein's equations exist that contain closed timelike curves (CTCs), which allow for loops in time. The solutions require extreme physical conditions unlikely ever to occur in practice, and it remains an open question whether further laws of physics will eliminate them completely. Since then, other—similarly impractical—GR solutions containing CTCs have been found, such as the Tipler cylinder and traversable wormholes. Stephen Hawking introduced chronology protection conjecture, which is an assumption beyond those of standard general relativity to prevent time travel.

Some exact solutions in general relativity such as Alcubierre drive offer examples of warp drive but these solutions require exotic matter distribution, and generally suffer from semiclassical instability. [150]

Advanced concepts

Asymptotic symmetries

The spacetime symmetry group for special relativity is the Poincaré group, which is a ten-dimensional group of three Lorentz boosts, three rotations, and four spacetime translations. It is logical to ask what symmetries, if any, might apply in General Relativity. A tractable case might be to consider the symmetries of spacetime as seen by observers located far away from all sources of the gravitational field. The naive expectation for asymptotically flat spacetime symmetries might be simply to extend and reproduce the symmetries of flat spacetime of special relativity, viz., the Poincaré group.

In 1962 Hermann Bondi, M. G. van der Burg, A. W. Metzner[151] and Rainer K. Sachs[152] addressed this asymptotic symmetry problem in order to investigate the flow of energy at infinity due to propagating gravitational waves. Their first step was to decide on some physically sensible boundary conditions to place on the gravitational field at light-like infinity to characterize what it means to say a metric is asymptotically flat, making no a priori assumptions about the nature of the asymptotic symmetry group—not even the assumption that such a group exists. Then after designing what they considered to be the most sensible boundary conditions, they investigated the nature of the resulting asymptotic symmetry transformations that leave invariant the form of the boundary conditions appropriate for asymptotically flat gravitational fields. What they found was that the asymptotic symmetry transformations actually do form a group and the structure of this group does not depend on the particular gravitational field that happens to be present. This means that, as expected, one can separate the kinematics of spacetime from the dynamics of the gravitational field at least at spatial infinity. The puzzling surprise in 1962 was their discovery of a rich infinite-dimensional group (the so-called BMS group) as the asymptotic symmetry group, instead of the finite-dimensional Poincaré group, which is a subgroup of the BMS group. Not only are the Lorentz transformations asymptotic symmetry transformations, there are also additional transformations that are not Lorentz transformations but are asymptotic symmetry transformations. In fact, they found an additional infinity of transformation generators known as supertranslations. This implies the conclusion that General Relativity (GR) does not reduce to special relativity in the case of weak fields at long distances. It turns out that the BMS symmetry, suitably modified, could be seen as a restatement of the universal soft graviton theorem in quantum field theory (QFT), which relates universal infrared (soft) QFT with GR asymptotic spacetime symmetries.[153]

Causal structure and global geometry

File:Penrose.svg
Penrose–Carter diagram of an infinite Minkowski universe

In general relativity, no material body can catch up with or overtake a light pulse. No influence from an event A can reach any other location X before light sent out at A to X. In consequence, an exploration of all light worldlines (null geodesics) yields key information about the spacetime's causal structure. This structure can be displayed using Penrose–Carter diagrams in which infinitely large regions of space and infinite time intervals are shrunk ("compactified") so as to fit onto a finite map, while light still travels along diagonals as in standard spacetime diagrams.[154]

Aware of the importance of causal structure, Roger Penrose and others developed what is known as global geometry. In global geometry, the object of study is not one particular solution (or family of solutions) to Einstein's equations. Rather, relations that hold true for all geodesics, such as the Raychaudhuri equation, and additional non-specific assumptions about the nature of matter (usually in the form of energy conditions) are used to derive general results.[155]

Event horizons

Using global geometry, some spacetimes can be shown to contain boundaries called horizons, which demarcate one region from the rest of spacetime. The best-known examples are black holes: if mass is compressed into a sufficiently compact region of space (as specified in the hoop conjecture, the relevant length scale is the Schwarzschild radius, given by the equation Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r_\text{s} = \frac{2 G M}{c^2} ,} [156]), no light from inside can escape to the outside. Since no object can overtake a light pulse, all interior matter is imprisoned as well. Passage from the exterior to the interior is still possible, showing that the boundary, the black hole's horizon, is not a physical barrier.[157]

File:Ergosphere of a rotating black hole.svg
The ergosphere of a rotating black hole, which plays a key role when it comes to extracting energy from such a black hole

Early studies of black holes relied on explicit solutions of Einstein's equations, notably the spherically symmetric Schwarzschild solution (used to describe a static black hole) and the axisymmetric Kerr solution (used to describe a rotating, stationary black hole, and introducing interesting features such as the ergosphere). Using global geometry, later studies have revealed more general properties of black holes. With time they become rather simple objects characterized by eleven parameters specifying: electric charge, mass–energy, linear momentum, angular momentum, and location at a specified time. This is stated by the black hole uniqueness theorem: "black holes have no hair", that is, no distinguishing marks like the hairstyles of humans. Irrespective of the complexity of a gravitating object collapsing to form a black hole, the object that results (having emitted gravitational waves) is very simple.[158]

Even more remarkably, there is a general set of laws known as black hole mechanics, which is analogous to the laws of thermodynamics. For instance, by the second law of black hole mechanics, the area of the event horizon of a general black hole will never decrease with time, analogous to the entropy of a thermodynamic system. This limits the energy that can be extracted by classical means from a rotating black hole (e.g. by the Penrose process).[159] There is strong evidence that the laws of black hole mechanics are, in fact, a subset of the laws of thermodynamics, and that the black hole area is proportional to its entropy.[160] This leads to a modification of the original laws of black hole mechanics: for instance, as the second law of black hole mechanics becomes part of the second law of thermodynamics, it is possible for the black hole area to decrease as long as other processes ensure that entropy increases overall. As thermodynamical objects with nonzero temperature, black holes should emit thermal radiation. Semiclassical calculations indicate that indeed they do, with the surface gravity playing the role of temperature in Planck's law. This radiation is known as Hawking radiation (cf. the quantum theory section, below).[161]

There are many other types of horizons. In an expanding universe, an observer may find that some regions of the past cannot be observed ("particle horizon"), and some regions of the future cannot be influenced (event horizon).[162] Even in flat Minkowski space, when described by an accelerated observer (Rindler space), there will be horizons associated with a semiclassical radiation known as Unruh radiation.[163]

Singularities

Another general feature of general relativity is the appearance of spacetime boundaries known as singularities. Spacetime can be explored by following up on timelike and lightlike geodesics—all possible ways that light and particles in free fall can travel. But some solutions of Einstein's equations have "ragged edges"—regions known as spacetime singularities, where the paths of light and falling particles come to an abrupt end, and geometry becomes ill-defined. In the more interesting cases, these are "curvature singularities", where geometrical quantities characterizing spacetime curvature, such as the Ricci scalar, take on infinite values.[164] Well-known examples of spacetimes with future singularities—where worldlines end—are the Schwarzschild solution, which describes a singularity inside an eternal static black hole,[165] or the Kerr solution with its ring-shaped singularity inside an eternal rotating black hole.[166] The Friedmann–Lemaître–Robertson–Walker solutions and other spacetimes describing universes have past singularities on which worldlines begin, namely Big Bang singularities, and some have future singularities (Big Crunch) as well.[167]

Given that these examples are all highly symmetric—and thus simplified—it is tempting to conclude that the occurrence of singularities is an artifact of idealization.[168] The famous singularity theorems, proved using the methods of global geometry, say otherwise: singularities are a generic feature of general relativity, and unavoidable once the collapse of an object with realistic matter properties has proceeded beyond a certain stage[169] and also at the beginning of a wide class of expanding universes.[170] However, the theorems say little about the properties of singularities, and much of current research is devoted to characterizing these entities' generic structure (hypothesized e.g. by the BKL conjecture).[171] The cosmic censorship hypothesis states that all realistic future singularities (no perfect symmetries, matter with realistic properties) are safely hidden away behind a horizon, and thus invisible to all distant observers. While no formal proof yet exists, numerical simulations offer supporting evidence of its validity.[172]

Evolution equations

Each solution of Einstein's equation encompasses the whole history of a universe—it is not just some snapshot of how things are, but a whole, possibly matter-filled, spacetime. It describes the state of matter and geometry everywhere and at every moment in that particular universe. Due to its general covariance, Einstein's theory is not sufficient by itself to determine the time evolution of the metric tensor. It must be combined with a coordinate condition, which is analogous to gauge fixing in other field theories.[173]

To understand Einstein's equations as partial differential equations, it is helpful to formulate them in a way that describes the evolution of the universe over time. This is done in "3+1" formulations, where spacetime is split into three space dimensions and one time dimension. The best-known example is the ADM formalism.[174] These decompositions show that the spacetime evolution equations of general relativity are well-behaved: solutions always exist, and are uniquely defined, once suitable initial conditions have been specified.[175] Such formulations of Einstein's field equations are the basis of numerical relativity.[176]

Global and quasi-local quantities

The notion of evolution equations is intimately tied in with another aspect of general relativistic physics. In Einstein's theory, it turns out to be impossible to find a general definition for a seemingly simple property such as a system's total mass (or energy). The main reason is that the gravitational field—like any physical field—must be ascribed a certain energy, but that it proves to be fundamentally impossible to localize that energy.[177]

Nevertheless, there are possibilities to define a system's total mass, either using a hypothetical "infinitely distant observer" (ADM mass)[178] or suitable symmetries (Komar mass).[179] If one excludes from the system's total mass the energy being carried away to infinity by gravitational waves, the result is the Bondi mass at null infinity.[180] Just as in classical physics, it can be shown that these masses are positive.[181] Corresponding global definitions exist for momentum and angular momentum.[182] There have also been a number of attempts to define quasi-local quantities, such as the mass of an isolated system formulated using only quantities defined within a finite region of space containing that system. The hope is to obtain a quantity useful for general statements about isolated systems, such as a more precise formulation of the hoop conjecture.[183]

Relationship with quantum theory

If general relativity were considered to be one of the two pillars of modern physics, then quantum theory, the basis of understanding matter from elementary particles to solid-state physics, would be the other.[184] However, how to reconcile quantum theory with general relativity is still an open question.

Quantum field theory in curved spacetime

Ordinary quantum field theories, which form the basis of modern elementary particle physics, are defined in flat Minkowski space, which is an excellent approximation when it comes to describing the behavior of microscopic particles in weak gravitational fields like those found on Earth.[185] In order to describe situations in which gravity is strong enough to influence (quantum) matter, yet not strong enough to require quantization itself, physicists have formulated quantum field theories in curved spacetime. These theories rely on general relativity to describe a curved background spacetime, and define a generalized quantum field theory to describe the behavior of quantum matter within that spacetime.[186] Using this formalism, it can be shown that black holes emit a blackbody spectrum of particles known as Hawking radiation leading to the possibility that they evaporate over time.[187] As briefly mentioned above, this radiation plays an important role for the thermodynamics of black holes.[188]

Quantum gravity

File:Calabi yau.jpg
Projection of a Calabi–Yau manifold, one of the ways of compactifying the extra dimensions posited by string theory

The demand for consistency between a quantum description of matter and a geometric description of spacetime,[189] as well as the appearance of singularities (where curvature length scales become microscopic), indicate the need for a full theory of quantum gravity: for an adequate description of the interior of black holes, and of the very early universe, a theory is required in which gravity and the associated geometry of spacetime are described in the language of quantum physics.[190] Despite major efforts, no complete and consistent theory of quantum gravity is currently known, even though a number of candidates exist.[191][192]

Attempts to generalize ordinary quantum field theories, used in elementary particle physics to describe fundamental interactions, so as to include gravity have led to serious problems.[193] Some have argued that at low energies, this approach proves successful, in that it results in an acceptable effective (quantum) field theory of gravity.[194] At very high energies, however, the perturbative results are badly divergent and lead to models devoid of predictive power ("perturbative non-renormalizability").[195]

File:Spin network.svg
Simple spin network of the type used in loop quantum gravity

One attempt to overcome these limitations is string theory, a quantum theory not of point particles, but of minute one-dimensional extended objects.[196] The theory promises to be a unified description of all particles and interactions, including gravity;[197] the price to pay is unusual features such as six extra dimensions of space in addition to the usual three.[198] In what is called the second superstring revolution, it was conjectured that both string theory and a unification of general relativity and supersymmetry known as supergravity[199] form part of a hypothesized eleven-dimensional model known as M-theory, which would constitute a uniquely defined and consistent theory of quantum gravity.[200]

Another approach starts with the canonical quantization procedures of quantum theory. Using the initial-value-formulation of general relativity (cf. evolution equations above), the result is the Wheeler–deWitt equation (an analogue of the Schrödinger equation) which turns out to be ill-defined without a proper ultraviolet (lattice) cutoff.[201] However, with the introduction of what are now known as Ashtekar variables,[202] this leads to a model known as loop quantum gravity. Space is represented by a web-like structure called a spin network, evolving over time in discrete steps.[203]

Depending on which features of general relativity and quantum theory are accepted unchanged, and on what level changes are introduced,[204] there are numerous other attempts to arrive at a viable theory of quantum gravity, some examples being the lattice theory of gravity based on the Feynman Path Integral approach and Regge calculus,[191] dynamical triangulations,[205] causal sets,[206] twistor models[207] or the path integral based models of quantum cosmology.[208]

File:LIGO measurement of gravitational waves.svg
Observation of gravitational waves from binary black hole merger GW150914

All candidate theories still have major formal and conceptual problems to overcome. They also face the common problem that, as yet, there is no way to put quantum gravity predictions to experimental tests (and thus to decide between the candidates where their predictions vary), although there is hope for this to change as future data from cosmological observations and particle physics experiments becomes available.[209]

Current status

General relativity has emerged as a highly successful model of gravitation and cosmology, which has so far unambiguously fitted observational and experimental data. However, there are strong theoretical reasons to consider the theory to be incomplete.[210] The problem of quantum gravity and the question of the reality of spacetime singularities remain open.[211] Observational data that is taken as evidence for dark energy and dark matter could also indicate the need to consider alternatives or modifications of general relativity.

Even taken as is, general relativity provides many possibilities for further exploration. Mathematical relativists seek to understand the nature of singularities and the fundamental properties of Einstein's equations,[212] while numerical relativists run increasingly powerful computer simulations, such as those describing merging black holes.[213] In February 2016, it was announced that gravitational waves were directly detected by the Advanced LIGO team on 14 September 2015.[83][214][215] A century after its introduction, general relativity remains a highly active area of research.[216]

See also

References

  1. "GW150914: LIGO Detects Gravitational Waves". Black-holes.org. 11 February 2016. Retrieved 18 April 2016.
  2. 2.0 2.1 Landau & Lifshitz 1975, p. 228 "... the general theory of relativity ... was established by Einstein, and represents probably the most beautiful of all existing physical theories."
  3. Poincaré 1905
  4. O'Connor, J.J.; Robertson, E.F. (May 1996). "General relativity". History Topics: Mathematical Physics Index, Scotland: School of Mathematics and Statistics, University of St. Andrews, archived from the original on 4 February 2015, retrieved 4 February 2015
  5. Pais 1982, ch. 9 to 15, Janssen 2005; an up-to-date collection of current research, including reprints of many of the original articles, is Renn 2007; an accessible overview can be found in Renn 2005, pp. 110ff. Einstein's original papers are found in Digital Einstein, volumes 4 and 6. An early key article is Einstein 1907, cf. Pais 1982, ch. 9. The publication featuring the field equations is Einstein 1915, cf. Pais 1982, ch. 11–15
  6. Moshe Carmeli (2008).Relativity: Modern Large-Scale Structures of the Cosmos. pp. 92, 93.World Scientific Publishing
  7. Grossmann for the mathematical part and Einstein for the physical part (1913). Entwurf einer verallgemeinerten Relativitätstheorie und einer Theorie der Gravitation (Outline of a Generalized Theory of Relativity and of a Theory of Gravitation), Zeitschrift für Mathematik und Physik, 62, 225–261. English translate
  8. Schwarzschild 1916a, Schwarzschild 1916b and Reissner 1916 (later complemented in Nordström 1918)
  9. Einstein 1917, cf. Pais 1982, ch. 15e
  10. Hubble's original article is Hubble 1929; an accessible overview is given in Singh 2004, ch. 2–4
  11. As reported in Gamow 1970. Einstein's condemnation would prove to be premature, cf. section § Cosmology, below
  12. Pais 1982, pp. 253–254
  13. Kennefick 2005, Kennefick 2007
  14. Pais 1982, ch. 16
  15. Thorne 2003, p. 74
  16. Israel 1987, ch. 7.8–7.10, Thorne 1994, ch. 3–9
  17. Sections § Orbital effects and the relativity of direction, § Gravitational time dilation and frequency shift and § Light deflection and gravitational time delay, and references therein
  18. Section § Cosmology and references therein; the historical development is in Overbye 1999
  19. Wald 1984, p. 3
  20. Rovelli 2015, pp. 1–6 "General relativity is not just an extraordinarily beautiful physical theory providing the best description of the gravitational interaction we have so far. It is more."
  21. Chandrasekhar 1984, p. 6
  22. Engler 2002
  23. Albert Einstein (2011). Relativity – The Special and General Theory. Read Books Ltd. p. 4. ISBN 978-1-4474-9358-7. Extract of page 4
  24. The following exposition re-traces that of Ehlers 1973, sec. 1
  25. Al-Khalili, Jim (26 March 2021). "Gravity and Me: The force that shapes our lives". www.bbc.co.uk. Retrieved 9 April 2021.
  26. Arnold 1989, ch. 1
  27. Ehlers 1973, pp. 5f
  28. Will 1993, sec. 2.4, Will 2006, sec. 2
  29. Wheeler 1990, ch. 2
  30. Ehlers 1973, sec. 1.2, Havas 1964, Künzle 1972. The simple thought experiment in question was first described in Heckmann & Schücking 1959
  31. Ehlers 1973, pp. 10f
  32. Good introductions are, in order of increasing presupposed knowledge of mathematics, Giulini 2005, Mermin 2005, and Rindler 1991; for accounts of precision experiments, cf. part IV of Ehlers & Lämmerzahl 2006
  33. An in-depth comparison between the two symmetry groups can be found in Giulini 2006
  34. Rindler 1991, sec. 22, Synge 1972, ch. 1 and 2
  35. Ehlers 1973, sec. 2.3
  36. Ehlers 1973, sec. 1.4, Schutz 1985, sec. 5.1
  37. Ehlers 1973, pp. 17ff; a derivation can be found in Mermin 2005, ch. 12. For the experimental evidence, cf. the section Gravitational time dilation and frequency shift, below
  38. Rindler 2001, sec. 1.13; for an elementary account, see Wheeler 1990, ch. 2; there are, however, some differences between the modern version and Einstein's original concept used in the historical derivation of general relativity, cf. Norton 1985
  39. Ehlers 1973, sec. 1.4 for the experimental evidence, see once more section Gravitational time dilation and frequency shift. Choosing a different connection with non-zero torsion leads to a modified theory known as Einstein–Cartan theory
  40. Ehlers 1973, p. 16, Kenyon 1990, sec. 7.2, Weinberg 1972, sec. 2.8
  41. Ehlers 1973, pp. 19–22; for similar derivations, see sections 1 and 2 of ch. 7 in Weinberg 1972. The Einstein tensor is the only divergence-free tensor that is a function of the metric coefficients, their first and second derivatives at most, and allows the spacetime of special relativity as a solution in the absence of sources of gravity, cf. Lovelock 1972. The tensors on both side are of second rank, that is, they can each be thought of as 4×4 matrices, each of which contains ten independent terms; hence, the above represents ten coupled equations. The fact that, as a consequence of geometric relations known as Bianchi identities, the Einstein tensor satisfies a further four identities reduces these to six independent equations, e.g. Schutz 1985, sec. 8.3
  42. Kenyon 1990, sec. 7.4
  43. Weinberg, Steven (1972). Gravitation and Cosmology: Principles and Applications of the General Theory of Relativity. John Wiley. ISBN 978-0-471-92567-5.
  44. Cheng, Ta-Pei (2005). Relativity, Gravitation and Cosmology: a Basic Introduction. Oxford and New York: Oxford University Press. ISBN 978-0-19-852957-6.
  45. Brans & Dicke 1961, Weinberg 1972, sec. 3 in ch. 7, Goenner 2004, sec. 7.2, and Trautman 2006, respectively
  46. Wald 1984, ch. 4, Weinberg 1972, ch. 7 or, in fact, any other textbook on general relativity
  47. At least approximately, cf. Poisson 2004a
  48. Wheeler 1990, p. xi
  49. Wald 1984, sec. 4.4
  50. Wald 1984, sec. 4.1
  51. For the (conceptual and historical) difficulties in defining a general principle of relativity and separating it from the notion of general covariance, see Giulini 2007
  52. section 5 in ch. 12 of Weinberg 1972
  53. Introductory chapters of Stephani et al. 2003
  54. A review showing Einstein's equation in the broader context of other PDEs with physical significance is Geroch 1996
  55. For background information and a list of solutions, cf. Stephani et al. 2003; a more recent review can be found in MacCallum 2006
  56. Chandrasekhar 1983, ch. 3,5,6
  57. Narlikar 1993, ch. 4, sec. 3.3
  58. Brief descriptions of these and further interesting solutions can be found in Hawking & Ellis 1973, ch. 5
  59. Lehner 2002
  60. For instance Wald 1984, sec. 4.4
  61. Will 1993, sec. 4.1 and 4.2
  62. Will 2006, sec. 3.2, Will 1993, ch. 4
  63. Rindler 2001, pp. 24–26 vs. pp. 236–237 and Ohanian & Ruffini 1994, pp. 164–172. Einstein derived these effects using the equivalence principle as early as 1907, cf. Einstein 1907 and the description in Pais 1982, pp. 196–198
  64. Rindler 2001, pp. 24–26; Misner, Thorne & Wheeler 1973, § 38.5
  65. Pound–Rebka experiment, see Pound & Rebka 1959, Pound & Rebka 1960; Pound & Snider 1964; a list of further experiments is given in Ohanian & Ruffini 1994, table 4.1 on p. 186
  66. Greenstein, Oke & Shipman 1971; the most recent and most accurate Sirius B measurements are published in Barstow, Bond et al. 2005.
  67. Starting with the Hafele–Keating experiment, Hafele & Keating 1972a and Hafele & Keating 1972b, and culminating in the Gravity Probe A experiment; an overview of experiments can be found in Ohanian & Ruffini 1994, table 4.1 on p. 186
  68. GPS is continually tested by comparing atomic clocks on the ground and aboard orbiting satellites; for an account of relativistic effects, see Ashby 2002 and Ashby 2003
  69. Stairs 2003 and Kramer 2004
  70. General overviews can be found in section 2.1. of Will 2006; Will 2003, pp. 32–36; Ohanian & Ruffini 1994, sec. 4.2
  71. Ohanian & Ruffini 1994, pp. 164–172
  72. Cf. Kennefick 2005 for the classic early measurements by Arthur Eddington's expeditions. For an overview of more recent measurements, see Ohanian & Ruffini 1994, ch. 4.3. For the most precise direct modern observations using quasars, cf. Shapiro et al. 2004
  73. This is not an independent axiom; it can be derived from Einstein's equations and the Maxwell Lagrangian using a WKB approximation, cf. Ehlers 1973, sec. 5
  74. Blanchet 2006, sec. 1.3
  75. Rindler 2001, sec. 1.16; for the historical examples, Israel 1987, pp. 202–204; in fact, Einstein published one such derivation as Einstein 1907. Such calculations tacitly assume that the geometry of space is Euclidean, cf. Ehlers & Rindler 1997
  76. From the standpoint of Einstein's theory, these derivations take into account the effect of gravity on time, but not its consequences for the warping of space, cf. Rindler 2001, sec. 11.11
  77. For the Sun's gravitational field using radar signals reflected from planets such as Venus and Mercury, cf. Shapiro 1964, Weinberg 1972, ch. 8, sec. 7; for signals actively sent back by space probes (transponder measurements), cf. Bertotti, Iess & Tortora 2003; for an overview, see Ohanian & Ruffini 1994, table 4.4 on p. 200; for more recent measurements using signals received from a pulsar that is part of a binary system, the gravitational field causing the time delay being that of the other pulsar, cf. Stairs 2003, sec. 4.4
  78. Will 1993, sec. 7.1 and 7.2
  79. Einstein, A (22 June 1916). "Näherungsweise Integration der Feldgleichungen der Gravitation". Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften Berlin (part 1): 688–696. Bibcode:1916SPAW.......688E. Archived from the original on 21 March 2019. Retrieved 12 February 2016.
  80. Einstein, A (31 January 1918). "Über Gravitationswellen". Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften Berlin (part 1): 154–167. Bibcode:1918SPAW.......154E. Archived from the original on 21 March 2019. Retrieved 12 February 2016.
  81. 81.0 81.1 Castelvecchi, Davide; Witze, Witze (11 February 2016). "Einstein's gravitational waves found at last". Nature News. doi:10.1038/nature.2016.19361. S2CID 182916902. Retrieved 11 February 2016.
  82. 82.0 82.1 Lua error in package.lua at line 80: module 'Module:Citation/CS1/Suggestions' not found.
  83. 83.0 83.1 83.2 "Gravitational waves detected 100 years after Einstein's prediction". NSF – National Science Foundation. 11 February 2016. Archived from the original on 19 June 2020. Retrieved 6 April 2018.
  84. Most advanced textbooks on general relativity contain a description of these properties, e.g. Schutz 1985, ch. 9
  85. For example Jaranowski & Królak 2005
  86. Rindler 2001, ch. 13
  87. Gowdy 1971, Gowdy 1974
  88. See Lehner 2002 for a brief introduction to the methods of numerical relativity, and Seidel 1998 for the connection with gravitational wave astronomy
  89. Schutz 2003, pp. 48–49, Pais 1982, pp. 253–254
  90. Rindler 2001, sec. 11.9
  91. Will 1993, pp. 177–181
  92. In consequence, in the parameterized post-Newtonian formalism (PPN), measurements of this effect determine a linear combination of the terms β and γ, cf. Will 2006, sec. 3.5 and Will 1993, sec. 7.3
  93. The most precise measurements are VLBI measurements of planetary positions; see Will 1993, ch. 5, Will 2006, sec. 3.5, Anderson et al. 1992; for an overview, Ohanian & Ruffini 1994, pp. 406–407
  94. Kramer et al. 2006
  95. Dediu, Magdalena & Martín-Vide 2015, p. 141
  96. 96.0 96.1 Lua error in package.lua at line 80: module 'Module:Citation/CS1/Suggestions' not found.
  97. Stairs 2003, Schutz 2003, pp. 317–321, Bartusiak 2000, pp. 70–86
  98. Weisberg & Taylor 2003; for the pulsar discovery, see Hulse & Taylor 1975; for the initial evidence for gravitational radiation, see Taylor 1994
  99. Kramer 2004
  100. Penrose 2004, § 14.5, Misner, Thorne & Wheeler 1973, § 11.4
  101. Weinberg 1972, sec. 9.6, Ohanian & Ruffini 1994, sec. 7.8
  102. Bertotti, Ciufolini & Bender 1987, Nordtvedt 2003
  103. Kahn 2007
  104. A mission description can be found in Everitt et al. 2001; a first post-flight evaluation is given in Everitt, Parkinson & Kahn 2007; further updates will be available on the mission website Kahn 1996–2012.
  105. Townsend 1997, sec. 4.2.1, Ohanian & Ruffini 1994, pp. 469–471
  106. Ohanian & Ruffini 1994, sec. 4.7, Weinberg 1972, sec. 9.7; for a more recent review, see Schäfer 2004
  107. Ciufolini & Pavlis 2004, Ciufolini, Pavlis & Peron 2006, Iorio 2009
  108. Iorio 2006, Iorio 2010
  109. For overviews of gravitational lensing and its applications, see Ehlers, Falco & Schneider 1992 and Wambsganss 1998
  110. For a simple derivation, see Schutz 2003, ch. 23; cf. Narayan & Bartelmann 1997, sec. 3
  111. Walsh, Carswell & Weymann 1979
  112. Images of all the known lenses can be found on the pages of the CASTLES project, Kochanek et al. 2007
  113. Roulet & Mollerach 1997
  114. Narayan & Bartelmann 1997, sec. 3.7
  115. Barish 2005, Bartusiak 2000, Blair & McNamara 1997
  116. Hough & Rowan 2000
  117. Lua error in package.lua at line 80: module 'Module:Citation/CS1/Suggestions' not found.
  118. Danzmann & Rüdiger 2003
  119. "LISA pathfinder overview". ESA. Retrieved 23 April 2012.
  120. Thorne 1995
  121. Cutler & Thorne 2002
  122. Miller 2002, lectures 19 and 21
  123. Celotti, Miller & Sciama 1999, sec. 3
  124. Springel et al. 2005 and the accompanying summary Gnedin 2005
  125. Blandford 1987, sec. 8.2.4
  126. For the basic mechanism, see Carroll & Ostlie 1996, sec. 17.2; for more about the different types of astronomical objects associated with this, cf. Robson 1996
  127. For a review, see Begelman, Blandford & Rees 1984. To a distant observer, some of these jets even appear to move faster than light; this, however, can be explained as an optical illusion that does not violate the tenets of relativity, see Rees 1966
  128. For stellar end states, cf. Oppenheimer & Snyder 1939 or, for more recent numerical work, Font 2003, sec. 4.1; for supernovae, there are still major problems to be solved, cf. Buras et al. 2003; for simulating accretion and the formation of jets, cf. Font 2003, sec. 4.2. Also, relativistic lensing effects are thought to play a role for the signals received from X-ray pulsars, cf. Kraus 1998
  129. The evidence includes limits on compactness from the observation of accretion-driven phenomena ("Eddington luminosity"), see Celotti, Miller & Sciama 1999, observations of stellar dynamics in the center of our own Milky Way galaxy, cf. Schödel et al. 2003, and indications that at least some of the compact objects in question appear to have no solid surface, which can be deduced from the examination of X-ray bursts for which the central compact object is either a neutron star or a black hole; cf. Remillard et al. 2006 for an overview, Narayan 2006, sec. 5. Observations of the "shadow" of the Milky Way galaxy's central black hole horizon are eagerly sought, cf. Falcke, Melia & Agol 2000
  130. Dalal et al. 2006
  131. Barack & Cutler 2004
  132. Einstein 1917; cf. Pais 1982, pp. 285–288
  133. Carroll 2001, ch. 2
  134. Bergström & Goobar 2003, ch. 9–11; use of these models is justified by the fact that, at large scales of around hundred million light-years and more, our universe indeed appears to be isotropic and homogeneous, cf. Peebles et al. 1991
  135. E.g. with WMAP data, see Spergel et al. 2003
  136. These tests involve the separate observations detailed further on, see, e.g., fig. 2 in Bridle et al. 2003
  137. Peebles 1966; for a recent account of predictions, see Coc, Vangioni‐Flam et al. 2004; an accessible account can be found in Weiss 2006; compare with the observations in Olive & Skillman 2004, Bania, Rood & Balser 2002, O'Meara et al. 2001, and Charbonnel & Primas 2005
  138. Lahav & Suto 2004, Bertschinger 1998, Springel et al. 2005
  139. Alpher & Herman 1948, for a pedagogical introduction, see Bergström & Goobar 2003, ch. 11; for the initial detection, see Penzias & Wilson 1965 and, for precision measurements by satellite observatories, Mather et al. 1994 (COBE) and Bennett et al. 2003 (WMAP). Future measurements could also reveal evidence about gravitational waves in the early universe; this additional information is contained in the background radiation's polarization, cf. Kamionkowski, Kosowsky & Stebbins 1997 and Seljak & Zaldarriaga 1997
  140. Evidence for this comes from the determination of cosmological parameters and additional observations involving the dynamics of galaxies and galaxy clusters cf. Peebles 1993, ch. 18, evidence from gravitational lensing, cf. Peacock 1999, sec. 4.6, and simulations of large-scale structure formation, see Springel et al. 2005
  141. Peacock 1999, ch. 12, Peskin 2007; in particular, observations indicate that all but a negligible portion of that matter is not in the form of the usual elementary particles ("non-baryonic matter"), cf. Peacock 1999, ch. 12
  142. Namely, some physicists have questioned whether or not the evidence for dark matter is, in fact, evidence for deviations from the Einsteinian (and the Newtonian) description of gravity cf. the overview in Mannheim 2006, sec. 9
  143. Carroll 2001; an accessible overview is given in Caldwell 2004. Here, too, scientists have argued that the evidence indicates not a new form of energy, but the need for modifications in our cosmological models, cf. Mannheim 2006, sec. 10; aforementioned modifications need not be modifications of general relativity, they could, for example, be modifications in the way we treat the inhomogeneities in the universe, cf. Buchert 2008
  144. A good introduction is Linde 2005; for a more recent review, see Linde 2006
  145. More precisely, these are the flatness problem, the horizon problem, and the monopole problem; a pedagogical introduction can be found in Narlikar 1993, sec. 6.4, see also Börner 1993, sec. 9.1
  146. Spergel et al. 2007, sec. 5,6
  147. More concretely, the potential function that is crucial to determining the dynamics of the inflaton is simply postulated, but not derived from an underlying physical theory
  148. Brandenberger 2008, sec. 2
  149. Gödel 1949
  150. Lua error in package.lua at line 80: module 'Module:Citation/CS1/Suggestions' not found.
  151. Bondi, H.; Van der Burg, M.G.J.; Metzner, A. (1962). "Gravitational waves in general relativity: VII. Waves from axisymmetric isolated systems". Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences. 269 (1336): 21–52. Bibcode:1962RSPSA.269...21B. doi:10.1098/rspa.1962.0161. S2CID 120125096.
  152. Sachs, R. (1962). "Asymptotic symmetries in gravitational theory". Physical Review. 128 (6): 2851–2864. Bibcode:1962PhRv..128.2851S. doi:10.1103/PhysRev.128.2851.
  153. Strominger, Andrew (2017). "Lectures on the Infrared Structure of Gravity and Gauge Theory". arXiv:1703.05448 [hep-th]. ...redacted transcript of a course given by the author at Harvard in spring semester 2016. It contains a pedagogical overview of recent developments connecting the subjects of soft theorems, the memory effect and asymptotic symmetries in four-dimensional QED, nonabelian gauge theory and gravity with applications to black holes. To be published Princeton University Press, 158 pages.
  154. Frauendiener 2004, Wald 1984, sec. 11.1, Hawking & Ellis 1973, sec. 6.8, 6.9
  155. Wald 1984, sec. 9.2–9.4 and Hawking & Ellis 1973, ch. 6
  156. Thorne 1972; for more recent numerical studies, see Berger 2002, sec. 2.1
  157. Israel 1987. A more exact mathematical description distinguishes several kinds of horizon, notably event horizons and apparent horizons cf. Hawking & Ellis 1973, pp. 312–320 or Wald 1984, sec. 12.2; there are also more intuitive definitions for isolated systems that do not require knowledge of spacetime properties at infinity, cf. Ashtekar & Krishnan 2004
  158. For first steps, cf. Israel 1971; see Hawking & Ellis 1973, sec. 9.3 or Heusler 1996, ch. 9 and 10 for a derivation, and Heusler 1998 as well as Beig & Chruściel 2006 as overviews of more recent results
  159. The laws of black hole mechanics were first described in Bardeen, Carter & Hawking 1973; a more pedagogical presentation can be found in Carter 1979; for a more recent review, see Wald 2001, ch. 2. A thorough, book-length introduction including an introduction to the necessary mathematics Poisson 2004. For the Penrose process, see Penrose 1969
  160. Bekenstein 1973, Bekenstein 1974
  161. The fact that black holes radiate, quantum mechanically, was first derived in Hawking 1975; a more thorough derivation can be found in Wald 1975. A review is given in Wald 2001, ch. 3
  162. Narlikar 1993, sec. 4.4.4, 4.4.5
  163. Horizons: cf. Rindler 2001, sec. 12.4. Unruh effect: Unruh 1976, cf. Wald 2001, ch. 3
  164. Hawking & Ellis 1973, sec. 8.1, Wald 1984, sec. 9.1
  165. Townsend 1997, ch. 2; a more extensive treatment of this solution can be found in Chandrasekhar 1983, ch. 3
  166. Townsend 1997, ch. 4; for a more extensive treatment, cf. Chandrasekhar 1983, ch. 6
  167. Ellis & Van Elst 1999; a closer look at the singularity itself is taken in Börner 1993, sec. 1.2
  168. Here one should remind to the well-known fact that the important "quasi-optical" singularities of the so-called eikonal approximations of many wave equations, namely the "caustics", are resolved into finite peaks beyond that approximation.
  169. Namely when there are trapped null surfaces, cf. Penrose 1965
  170. Hawking 1966
  171. The conjecture was made in Belinskii, Khalatnikov & Lifschitz 1971; for a more recent review, see Berger 2002. An accessible exposition is given by Garfinkle 2007
  172. The restriction to future singularities naturally excludes initial singularities such as the big bang singularity, which in principle be visible to observers at later cosmic time. The cosmic censorship conjecture was first presented in Penrose 1969; a textbook-level account is given in Wald 1984, pp. 302–305. For numerical results, see the review Berger 2002, sec. 2.1
  173. Hawking & Ellis 1973, sec. 7.1
  174. Arnowitt, Deser & Misner 1962; for a pedagogical introduction, see Misner, Thorne & Wheeler 1973, § 21.4–§ 21.7
  175. Fourès-Bruhat 1952 and Bruhat 1962; for a pedagogical introduction, see Wald 1984, ch. 10; an online review can be found in Reula 1998
  176. Gourgoulhon 2007; for a review of the basics of numerical relativity, including the problems arising from the peculiarities of Einstein's equations, see Lehner 2001
  177. Misner, Thorne & Wheeler 1973, § 20.4
  178. Arnowitt, Deser & Misner 1962
  179. Komar 1959; for a pedagogical introduction, see Wald 1984, sec. 11.2; although defined in a totally different way, it can be shown to be equivalent to the ADM mass for stationary spacetimes, cf. Ashtekar & Magnon-Ashtekar 1979
  180. For a pedagogical introduction, see Wald 1984, sec. 11.2
  181. Wald 1984, p. 295 and refs therein; this is important for questions of stability—if there were negative mass states, then flat, empty Minkowski space, which has mass zero, could evolve into these states
  182. Townsend 1997, ch. 5
  183. Such quasi-local mass–energy definitions are the Hawking energy, Geroch energy, or Penrose's quasi-local energy–momentum based on twistor methods; cf. the review article Szabados 2004
  184. An overview of quantum theory can be found in standard textbooks such as Messiah 1999; a more elementary account is given in Hey & Walters 2003
  185. Ramond 1990, Weinberg 1995, Peskin & Schroeder 1995; a more accessible overview is Auyang 1995
  186. Wald 1994, Birrell & Davies 1984
  187. For Hawking radiation Hawking 1975, Wald 1975; an accessible introduction to black hole evaporation can be found in Traschen 2000
  188. Wald 2001, ch. 3
  189. Put simply, matter is the source of spacetime curvature, and once matter has quantum properties, we can expect spacetime to have them as well. Cf. Carlip 2001, sec. 2
  190. Schutz 2003, p. 407
  191. 191.0 191.1 Hamber 2009
  192. A timeline and overview can be found in Rovelli 2000
  193. 't Hooft & Veltman 1974
  194. Donoghue 1995
  195. In particular, a perturbative technique known as renormalization, an integral part of deriving predictions which take into account higher-energy contributions, cf. Weinberg 1996, ch. 17, 18, fails in this case; cf. Veltman 1975, Goroff & Sagnotti 1985; for a recent comprehensive review of the failure of perturbative renormalizability for quantum gravity see Hamber 2009
  196. An accessible introduction at the undergraduate level can be found in Zwiebach 2004; more complete overviews can be found in Polchinski 1998a and Polchinski 1998b
  197. At the energies reached in current experiments, these strings are indistinguishable from point-like particles, but, crucially, different modes of oscillation of one and the same type of fundamental string appear as particles with different (electric and other) charges, e.g. Ibanez 2000. The theory is successful in that one mode will always correspond to a graviton, the messenger particle of gravity, e.g. Green, Schwarz & Witten 1987, sec. 2.3, 5.3
  198. Green, Schwarz & Witten 1987, sec. 4.2
  199. Weinberg 2000, ch. 31
  200. Townsend 1996, Duff 1996
  201. Kuchař 1973, sec. 3
  202. These variables represent geometric gravity using mathematical analogues of electric and magnetic fields; cf. Ashtekar 1986, Ashtekar 1987
  203. For a review, see Thiemann 2007; more extensive accounts can be found in Rovelli 1998, Ashtekar & Lewandowski 2004 as well as in the lecture notes Thiemann 2003
  204. Isham 1994, Sorkin 1997
  205. Loll 1998
  206. Sorkin 2005
  207. Penrose 2004, ch. 33 and refs therein
  208. Hawking 1987
  209. Ashtekar 2007, Schwarz 2007
  210. Maddox 1998, pp. 52–59, 98–122; Penrose 2004, sec. 34.1, ch. 30
  211. § Quantum gravity, above
  212. Friedrich 2005
  213. A review of the various problems and the techniques being developed to overcome them, see Lehner 2002
  214. See Bartusiak 2000 for an account up to that year; up-to-date news can be found on the websites of major detector collaborations such as GEO600 and LIGO
  215. For the most recent papers on gravitational wave polarizations of inspiralling compact binaries, see Blanchet et al. 2008, and Arun et al. 2008; for a review of work on compact binaries, see Blanchet 2006 and Futamase & Itoh 2006; for a general review of experimental tests of general relativity, see Will 2006.
  216. See, e.g., the journal Living Reviews in Relativity.

Bibliography

Further reading

Beginning undergraduate textbooks

Advanced undergraduate textbooks

Graduate textbooks

Mathematical relativity

  • Callahan, James J. (1999). The Geometry of Spacetime: An Introduction to Special and General Relativity. Springer. ISBN 978-0-387-98641-8.

Specialists' books

Journal articles

  • Courses
  • Lectures
  • Tutorials

Template:Relativity Template:Theories of gravitation Template:Einstein Template:Branches of physics Template:Tensors