- •Preface
- •Acknowledgements
- •Contents
- •2.1 Introduction and a Short History of Black Holes
- •2.2 The Kruskal Extension of Schwarzschild Space-Time
- •2.2.1 Analysis of the Rindler Space-Time
- •2.2.2 Applying the Same Procedure to the Schwarzschild Metric
- •2.2.3 A First Analysis of Kruskal Space-Time
- •2.3 Basic Concepts about Future, Past and Causality
- •2.3.1 The Light-Cone
- •2.3.2 Future and Past of Events and Regions
- •Achronal Sets
- •Time-Orientability
- •Domains of Dependence
- •Cauchy surfaces
- •2.4.1 Conformal Mapping of Minkowski Space into the Einstein Static Universe
- •2.4.2 Asymptotic Flatness
- •2.5 The Causal Boundary of Kruskal Space-Time
- •References
- •3.1 Introduction
- •3.2 The Kerr-Newman Metric
- •3.2.1 Riemann and Ricci Curvatures of the Kerr-Newman Metric
- •3.3 The Static Limit in Kerr-Newman Space-Time
- •Static Observers
- •3.4 The Horizon and the Ergosphere
- •The Horizon Area
- •3.5 Geodesics of the Kerr Metric
- •3.5.2 The Hamilton-Jacobi Equation and the Carter Constant
- •3.5.3 Reduction to First Order Equations
- •3.5.4 The Exact Solution of the Schwarzschild Orbit Equation as an Application
- •3.5.5 About Explicit Kerr Geodesics
- •3.6 The Kerr Black Hole and the Laws of Thermodynamics
- •3.6.1 The Penrose Mechanism
- •3.6.2 The Bekenstein Hawking Entropy and Hawking Radiation
- •References
- •4.1 Historical Introduction to Modern Cosmology
- •4.2 The Universe Is a Dynamical System
- •4.3 Expansion of the Universe
- •4.3.1 Why the Night is Dark and Olbers Paradox
- •4.3.2 Hubble, the Galaxies and the Great Debate
- •4.3.4 The Big Bang
- •4.4 The Cosmological Principle
- •4.5 The Cosmic Background Radiation
- •4.6 The New Scenario of the Inflationary Universe
- •4.7 The End of the Second Millennium and the Dawn of the Third Bring Great News in Cosmology
- •References
- •5.1 Introduction
- •5.2 Mathematical Interlude: Isometries and the Geometry of Coset Manifolds
- •5.2.1 Isometries and Killing Vector Fields
- •5.2.2 Coset Manifolds
- •5.2.3 The Geometry of Coset Manifolds
- •5.2.3.1 Infinitesimal Transformations and Killing Vectors
- •5.2.3.2 Vielbeins, Connections and Metrics on G/H
- •5.2.3.3 Lie Derivatives
- •5.2.3.4 Invariant Metrics on Coset Manifolds
- •5.2.3.5 For Spheres and Pseudo-Spheres
- •5.3 Homogeneity Without Isotropy: What Might Happen
- •5.3.1 Bianchi Spaces and Kasner Metrics
- •5.3.1.1 Bianchi Type I and Kasner Metrics
- •5.3.2.1 A Ricci Flat Bianchi II Metric
- •5.3.3 Einstein Equation and Matter for This Billiard
- •5.3.4 The Same Billiard with Some Matter Content
- •5.3.5 Three-Space Geometry of This Toy Model
- •5.4 The Standard Cosmological Model: Isotropic and Homogeneous Metrics
- •5.4.1 Viewing the Coset Manifolds as Group Manifolds
- •5.5 Friedman Equations for the Scale Factor and the Equation of State
- •5.5.1 Proof of the Cosmological Red-Shift
- •5.5.2 Solution of the Cosmological Differential Equations for Dust and Radiation Without a Cosmological Constant
- •5.5.3 Embedding Cosmologies into de Sitter Space
- •5.6 General Consequences of Friedman Equations
- •5.6.1 Particle Horizon
- •5.6.2 Event Horizon
- •5.6.3 Red-Shift Distances
- •5.7 Conceptual Problems of the Standard Cosmological Model
- •5.8 Cosmic Evolution with a Scalar Field: The Basis for Inflation
- •5.8.1 de Sitter Solution
- •5.8.2 Slow-Rolling Approximate Solutions
- •5.8.2.1 Number of e-Folds
- •5.9 Primordial Perturbations of the Cosmological Metric and of the Inflaton
- •5.9.1 The Conformal Frame
- •5.9.2 Deriving the Equations for the Perturbation
- •5.9.2.1 Meaning of the Propagation Equation
- •5.9.2.2 Evaluation of the Effective Mass Term in the Slow Roll Approximation
- •5.9.2.3 Derivation of the Propagation Equation
- •5.9.3 Quantization of the Scalar Degree of Freedom
- •5.9.4 Calculation of the Power Spectrum in the Two Regimes
- •5.9.4.1 Short Wave-Lengths
- •5.9.4.2 Long Wave-Lengths
- •5.9.4.3 Gluing the Long and Short Wave-Length Solutions Together
- •5.9.4.4 The Spectral Index
- •5.10 The Anisotropies of the Cosmic Microwave Background
- •5.10.1 The Sachs-Wolfe Effect
- •5.10.2 The Two-Point Temperature Correlation Function
- •5.10.3 Conclusive Remarks on CMB Anisotropies
- •References
- •6.1 Historical Outline and Introduction
- •6.1.1 Fermionic Strings and the Birth of Supersymmetry
- •6.1.2 Supersymmetry
- •6.1.3 Supergravity
- •6.2 Algebro-Geometric Structure of Supergravity
- •6.3 Free Differential Algebras
- •6.3.1 Chevalley Cohomology
- •Contraction and Lie Derivative
- •Definition of FDA
- •Classification of FDA and the Analogue of Levi Theorem: Minimal Versus Contractible Algebras
- •6.4 The Super FDA of M Theory and Its Cohomological Structure
- •6.4.1 The Minimal FDA of M-Theory and Cohomology
- •6.4.2 FDA Equivalence with Larger (Super) Lie Algebras
- •6.5 The Principle of Rheonomy
- •6.5.1 The Flow Chart for the Construction of a Supergravity Theory
- •6.6 Summary of Supergravities
- •Type IIA Super-Poicaré Algebra in the String Frame
- •The FDA Extension of the Type IIA Superalgebra in the String Frame
- •The Bianchi Identities
- •6.7.1 Rheonomic Parameterizations of the Type IIA Curvatures in the String Frame
- •Bosonic Curvatures
- •Fermionic Curvatures
- •6.7.2 Field Equations of Type IIA Supergravity in the String Frame
- •6.8 Type IIB Supergravity
- •SL(2, R) Lie Algebra
- •Coset Representative of SL(2, R)/O(2) in the Solvable Parameterization
- •The SU(1, 1)/U(1) Vielbein and Connection
- •6.8.2 The Free Differential Algebra, the Supergravity Fields and the Curvatures
- •The Curvatures of the Free Differential Algebra in the Complex Basis
- •The Curvatures of the Free Differential Algebra in the Real Basis
- •6.8.3 The Bosonic Field Equations and the Standard Form of the Bosonic Action
- •6.9 About Solutions
- •References
- •7.1 Introduction and Conceptual Outline
- •7.2 p-Branes as World Volume Gauge-Theories
- •7.4 The New First Order Formalism
- •7.4.1 An Alternative to the Polyakov Action for p-Branes
- •7.6 The D3-Brane: Summary
- •7.9 Domain Walls in Diverse Space-Time Dimensions
- •7.9.1 The Randall Sundrum Mechanism
- •7.9.2 The Conformal Gauge for Domain Walls
- •7.10 Conclusion on This Brane Bestiary
- •References
- •8.1 Introduction
- •8.2 Supergravity and Homogeneous Scalar Manifolds G/H
- •8.2.3 Scalar Manifolds of Maximal Supergravities in Diverse Dimensions
- •8.3 Duality Symmetries in Even Dimensions
- •8.3.1 The Kinetic Matrix N and Symplectic Embeddings
- •8.3.2 Symplectic Embeddings in General
- •8.5 Summary of Special Kähler Geometry
- •8.5.1 Hodge-Kähler Manifolds
- •8.5.2 Connection on the Line Bundle
- •8.5.3 Special Kähler Manifolds
- •8.6 Supergravities in Five Dimension and More Scalar Geometries
- •8.6.1 Very Special Geometry
- •8.6.3 Quaternionic Geometry
- •8.6.4 Quaternionic, Versus HyperKähler Manifolds
- •References
- •9.1 Introduction
- •9.2 Black Holes Once Again
- •9.2.2 The Oxidation Rules
- •Orbit of Solutions
- •The Schwarzschild Case
- •The Extremal Reissner Nordström Case
- •Curvature of the Extremal Spaces
- •9.2.4 Attractor Mechanism, the Entropy and Other Special Geometry Invariants
- •9.2.5 Critical Points of the Geodesic Potential and Attractors
- •At BPS Attractor Points
- •At Non-BPS Attractor Points of Type I
- •At Non-BPS Attractor Points of Type II
- •9.2.6.2 The Quartic Invariant
- •9.2.7.1 An Explicit Example of Exact Regular BPS Solution
- •The Metric
- •The Scalar Field
- •The Electromagnetic Fields
- •The Fixed Scalars at Horizon and the Entropy
- •The Metric
- •The Scalar Field
- •The Electromagnetic Fields
- •The Fixed Scalars at Horizon and the Entropy
- •9.2.9 Resuming the Discussion of Critical Points
- •Non-BPS Case
- •BPS Case
- •9.2.10 An Example of a Small Black Hole
- •The Metric
- •The Complex Scalar Field
- •The Electromagnetic Fields
- •The Charges
- •Structure of the Charges and Attractor Mechanism
- •9.2.11 Behavior of the Riemann Tensor in Regular Solutions
- •9.3.4 The SO(8) Spinor Bundle and the Holonomy Tensor
- •9.3.5 The Well Adapted Basis of Gamma Matrices
- •9.3.6 The so(8)-Connection and the Holonomy Tensor
- •9.3.7 The Holonomy Tensor and Superspace
- •9.3.8 Gauged Maurer Cartan 1-Forms of OSp(8|4)
- •9.3.9 Killing Spinors of the AdS4 Manifold
- •9.3.10 Supergauge Completion in Mini Superspace
- •9.3.11 The 3-Form
- •9.4.1 Maurer Cartan Forms of OSp(6|4)
- •9.4.2 Explicit Construction of the P3 Geometry
- •9.4.3 The Compactification Ansatz
- •9.4.4 Killing Spinors on P3
- •9.4.5 Gauge Completion in Mini Superspace
- •9.4.6 Gauge Completion of the B[2] Form
- •9.5 Conclusions
- •References
- •10.1 The Legacy of Volume 1
- •10.2 The Story Told in Volume 2
- •Appendix A: Spinors and Gamma Matrix Algebra
- •A.2 The Clifford Algebra
- •A.2.1 Even Dimensions
- •A.2.2 Odd Dimensions
- •A.3 The Charge Conjugation Matrix
- •A.4 Majorana, Weyl and Majorana-Weyl Spinors
- •Appendix B: Auxiliary Tools for p-Brane Actions
- •B.1 Notations and Conventions
- •Appendix C: Auxiliary Information About Some Superalgebras
- •C.1.1 The Superalgebra
- •C.2 The Relevant Supercosets and Their Relation
- •C.2.1 Finite Supergroup Elements
- •C.4 An so(6) Inversion Formula
- •Appendix D: MATHEMATICA Package NOVAMANIFOLDA
- •Coset Manifolds (Euclidian Signature)
- •Instructions for the Use
- •Description of the Main Commands of RUNCOSET
- •Structure Constants for CP2
- •Spheres
- •N010 Coset
- •RUNCOSET Package (Euclidian Signature)
- •Main
- •Spin Connection and Curvature Routines
- •Routine Curvapack
- •Routine Curvapackgen
- •Contorsion Routine for Mixed Vielbeins
- •Calculation of the Contorsion for General Manifolds
- •Calculation for Cartan Maurer Equations and Vielbein Differentials (Euclidian Signature)
- •Routine Thoft
- •AdS Space in Four Dimensions (Minkowski Signature)
- •Lie Algebra of SO(2, 3) and Killing Metric
- •Solvable Subalgebra Generating the Coset and Construction of the Vielbein
- •Killing Vectors
- •Trigonometric Coordinates
- •Test of Killing Vectors
- •MANIFOLDPROVA
- •The 4-Dimensional Coset CP2
- •Calculation of the (Pseudo-)Riemannian Geometry of a Kasner Metric in Vielbein Formalism
- •References
- •Index
14 |
2 Extended Space-Times, Causal Structure and Penrose Diagrams |
All these features of our toy model apply also to the case of Schwarzschild spacetime once it is extended with the same procedure. The image of the coordinate singularity r = 2m will be a null-like surface, interpreted as event horizon, which can be reached in a finite proper-time but only after an infinite interval of coordinate time. What will be new and of utmost physical interest is precisely the interpretation of the locus r = 2m as an event horizon H which leads to the concept of Black-Hole. Yet this interpretation can be discovered only through the Kruskal extension of Schwarzschild space-time and this latter can be systematically derived via the same algorithm we have applied to the Rindler toy model.
2.2.2 Applying the Same Procedure to the Schwarzschild Metric
We are now ready to analyze the Schwarzschild metric (2.2.1) by means of the tokens illustrated above. The first step consists of reducing it to two-dimensions by fixing the angular coordinates to constant values θ = θ0, φ = φ0. In this way the metric (2.2.1) reduces to:
|
. = − 1 − |
2m |
dt2 + 1 − |
2m |
|
−1 |
|
dsSchwarz2 |
|
|
dr2 |
(2.2.17) |
|||
r |
r |
Next, in the reduced space spanned by the coordinates r and t we look for the nullgeodesics. From the equation:
− 1 − |
2r |
t˙2 + 1 − |
r |
− |
1 |
(2.2.18) |
|||||
r˙2 = 0 |
|||||||||||
|
|
|
m |
|
|
|
2m |
|
|
|
|
we obtain: |
|
|
|
|
|
|
|
|
|
|
|
|
dt |
= ± |
|
r |
|
|
t = ±r (r) |
(2.2.19) |
|||
|
|
|
|
|
|||||||
dr |
r |
− |
2m |
||||||||
|
|
|
|
|
|
|
|
|
|
|
where we have introduced the so called Regge-Wheeler tortoise coordinate defined by the following indefinite integral:
r (r) ≡ |
r |
r2m dr = r + 2m log |
2m − 1 |
(2.2.20) |
|||
|
|
|
|
|
|
r |
|
|
|
|
− |
|
|
|
|
Hence, in full analogy with (2.2.6), we can introduce the null coordinates |
|
||||||
t + r (r) = v; |
v = const |
|
(incoming null geodesics) |
(2.2.21) |
|||
t − r (r) = u; |
u = const |
|
(outgoing null geodesics) |
|
and the analogue of Fig. 2.4 is now given by Fig. 2.6. Inspection of this picture reveals the same properties we had already observed in the case of the Rindler toy model. What is important to stress in the present model is that each point of the
2.2 The Kruskal Extension of Schwarzschild Space-Time |
15 |
Fig. 2.6 Null geodesics of the Schwarzschild metric in the r, t plane. The thin curves are incoming (v = const), while the thick ones are outgoing (u = const). Each point in this picture represents a 2-sphere, parameterized by the angles θ0 and φ0. The thick vertical line is the surface r = rS = 2m corresponding to the coordinate singularity. As in the case of the Rindler toy model the null– geodesics incoming from infinity reach the coordinate singularity only at asymptotically late times
t →> +∞. Similarly outgoing null-geodesics were on this surface only at asymptotically early times t → −∞
diagram actually represents a 2-sphere parameterized by the two angles θ and φ that we have freezed at the constant values θ0 and φ0. Since we cannot make fourdimensional drawings some pictorial idea of what is going on can be obtained by replacing the 2-sphere with a circle S1 parameterized by the azimuthal angle φ. In this way we obtain a three-dimensional space-time spanned by coordinates t , x = r cos φ, y = r sin φ. In this space the null-geodesics of Fig. 2.6 become twodimensional surfaces. Indeed these null-surfaces are nothing else but the projections θ = θ0 = π/2 of the true null surfaces of the Schwarzschild metric. In Fig. 2.7 we present two examples of such projected null surfaces, one incoming and one outgoing.
Having found the system of incoming and outgoing null-geodesics we go over to point (iii) of our programme and we make a coordinate change from t , r to u, v. By straightforward differentiation of (2.2.20), (2.2.21) we obtain:
|
= − |
|
− |
r |
|
2 |
; |
|
= |
2 |
|
||
dr |
|
1 |
|
rS |
|
|
du − dv |
|
dt |
|
|
du + dv |
(2.2.22) |
|
|
|
|
|
|
|
|
so that the reduced Schwarzschild metric (2.2.17) becomes:
dsSchwarz2 |
. = − |
rS |
du dv |
|
1 − r |
(2.2.23) |
16 |
2 Extended Space-Times, Causal Structure and Penrose Diagrams |
Fig. 2.7 An example of two null surfaces generated by null geodesics of the Schwarzschild metric in the r, t plane
Using the definition (2.2.20) of the tortoise coordinate we can also write:
|
− r |
= − |
|
2rS |
− rS |
|
||
1 |
|
rS |
|
exp |
v − u |
exp |
r |
(2.2.24) |
|
|
|
|
|
which combined with (2.2.22) yields:
Schwarz. = |
− rS |
|
2rS |
r |
|
|
|
|||
ds2 |
exp |
r |
exp |
v − u |
|
rS |
du |
|
dv |
(2.2.25) |
|
|
|
In complete analogy with (2.2.12) we can now introduce the new coordinates:
U = − exp − |
2rS ; |
V = exp − |
2rS |
(2.2.26) |
|
u |
|
u |
|
that play the role of affine parameters along the incoming and outgoing null geodesics.
Then by straightforward differentiation of (2.2.26) the reduced Schwarzschild
metric (2.2.25) becomes: |
|
|
|
|
|
|
2 |
|
r3 |
|
r |
|
|
= −4 |
S |
exp − |
|
dU dV |
(2.2.27) |
|
dsSchwarz. |
|
|
||||
r |
rS |
where the variable r = r(U, V ) is the function of the independent coordinates U , V implicitly determined by the transcendental equation:
r + rS log |
r |
− 1 |
= rS log(−U V ) |
(2.2.28) |
rS |
In analogy with our treatment of the Rindler toy model we can make a final coordinate change to new variables X, T related to U , V as in (2.2.14). These, together
2.2 The Kruskal Extension of Schwarzschild Space-Time |
17 |
with the angular variables θ , φ make up the Kruskal coordinate patch which, putting together all the intermediate steps, is related to the original coordinate patch t , r, θ , φ by the following transition function:
polar |
φ = |
φ |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
θ |
|
|
|
θ |
|
|
|
|
|
|
|
|
|
|
|
||
|
( |
r= |
|
|
1) exp |
|
|
|
T |
|
|
X |
|
|
|||||
versus |
|
|
|
|
|
|
|
r |
|
|
|
2 |
|
|
2 |
(2.2.29) |
|||
|
|
|
|
|
|
− |
|
[ |
|
] = |
|
|
− |
|
|
|
|||
Kruskal |
|
|
r |
= |
|
|
− |
r |
≡ |
|
|
|
|
|
|
|
|||
coord. |
|
|
|
|
log( T |
|
2 arctanh T |
|
|||||||||||
rS |
|
|
|
+X ) |
|
|
|||||||||||||
|
|
|
t |
|
|
|
|
T |
X |
|
|
|
|
|
|
X |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
In Kruskal coordinates the Schwarzschild metric (2.2.1) takes the final form:
2 |
= 4 |
rS3 |
exp |
r |
−dT |
2 |
+ dX |
2 |
+ r |
2 |
dθ |
2 |
+ sin |
2 |
|
2 |
|
(2.2.30) |
dsKrusk |
|
|
|
|
|
|
|
θ dφ |
|
|||||||||
r |
rS |
|
|
|
|
|
|
where the r = r(X, T ) is implicitly determined in terms of X, T by the transcendental equations (2.2.29).
2.2.3 A First Analysis of Kruskal Space-Time
Let us now consider the general properties of the space-time (MKrusk, gKrusk) identified by the metric (2.2.30) and by the implicit definition of the variable r contained in (2.2.29). This analysis is best done by inspection of the two-dimensional diagram displayed in Fig. 2.8. This diagram lies in the plane {X, T }, each of whose points represents a two sphere spanned by the angle-coordinates θ and φ. The first thing to remark concerns the physical range of the coordinates X, T . The Kruskal manifold MKrusk does not coincide with the entire plane, rather it is the infinite portion of the latter comprised between the two branches of the hyperbolic locus:
T 2 − X2 = −1 |
(2.2.31) |
This is the image in the X, T -plane of the r = 0 locus which is a genuine singularity of both the original Schwarzschild metric and of its Kruskal extension. Indeed from (5.9.6)–(5.9.11) of Volume 1 we know that the intrinsic components of the curvature tensor depend only on r and are singular at r = 0, while they are perfectly regular at r = 2m. Therefore no geodesic can be extended in the X, T plane beyond (2.2.31) which constitutes a boundary of the manifold.
Let us now consider the image of the constant r surfaces. Here we have to distinguish two cases: r > rS or r < rS . We obtain:
{X, T } = {h cosh p, h sinh p}; |
h = e |
r |
rS − 1 |
for r > rS |
|||||
rS |
|||||||||
|
|
|
|
r |
|
||||
|
|
r |
|
|
|
|
|
(2.2.32) |
|
{X, T } = {h sinh p, h cosh p}; |
h = e |
1 − rS |
for r < rS |
||||||
rS |
|||||||||
|
|
|
|
|
|
r |
|
|
18 |
2 Extended Space-Times, Causal Structure and Penrose Diagrams |
Fig. 2.8 A two-dimensional diagram of Kruskal space-time
These are the hyperbolae drawn in Fig. 2.8. Calculating the |
normal vector N μ |
= |
|||||||||
|
μ |
N |
ν |
g |
|
|
|||||
{∂pT , ∂p X, 0, 0} to theseμ |
surfaces, we find that it is time-like N |
|
|
μν |
< 0 for |
||||||
N |
ν |
|
|
|
|
|
|
|
|
||
r > rS and space-like N |
|
gμν > 0 for r < rS . Correspondingly, according to a |
discussion developed in the next section, the constant r surfaces are space-like outside the sphere of radius rS and time-like inside it. The dividing locus is the pair of straight lines X = ±T which correspond to r = rS and constitute a null-surface, namely one whose normal vector is light-like. This null-surface is the event horizon, a concept whose precise definition needs, in order to be formulated, a careful reconsideration of the notions of Future, Past and Causality in the context of General Relativity. The next two sections pursue such a goal and by their end we will be able to define Black-Holes and their Horizons. Here we note the following. If we solve the geodesic equation for time-like or null-like geodesics with arbitrary initial data inside region II of Fig. 2.8 then the end point of that geodesic is always located on the singular locus T 2 − X2 = −1 and the whole development of the curve occurs inside region II. The formal proof of this statement is involved and it will be overcome by the methods of Sects. 2.3 and 2.4. Yet there is an intuitive argument which provides the correct answer and suffices to clarify the situation. Disregarding the angular variables θ and φ the Kruskal metric (2.2.30) reduces to:
2 |
|
|
|
2 |
|
|
2 |
|
|
|
|
r3 |
|
r |
|
|
= |
− |
|
+ |
|
; |
|
= |
4 |
S |
|
|
(2.2.33) |
||||
dsKrusk |
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
S |
|||||||||
|
F (X, T ) |
dT |
|
|
dX |
|
|
F (X, T ) |
|
r |
exp r |
so that it is proportional to two-dimensional Minkowski metric dsMink2 = −dT 2 + dX2 through the positive definite function F (X, T ). In the language of Sect. 2.4
this fact means that, reduced to two-dimensions, Kruskal and Minkowski metrics are conformally equivalent. According to Lemma 2.4.1 proved later on, conformally equivalent metrics share the same light-like geodesics, although the time-like and space-like ones may be different. This means that in two-dimensional Kruskal space-time light travels along straight lines of the form X = ±T + k where k is some constant. This is the same statement as saying that at any point p of the {X, T } plane the tangent vector to any curve is time-like or light-like and oriented to the future if