- •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
228 |
6 Supergravity: The Principles |
6.3.1 Chevalley Cohomology
As a necessary preparatory step for our discussion of FDAs let us shortly recall the setup of the Chevalley elliptic complex leading to Lie algebra cohomology. This will also fix our notations and conventions.
Let us consider a (super) Lie algebra G identified through its structure constants τ IJ K which are alternatively introduced through the commutation relation of the generators7
[TI , TK ] = τ IJ K TI |
(6.3.1) |
||
or the Cartan Maurer equations: |
|
|
|
∂eI = |
1 |
τ IJ K eJ eK |
(6.3.2) |
|
|||
2 |
where eI is an abstract set of left-invariant 1-forms. The isomorphism between the two descriptions (6.3.1) and (6.3.2) of the Lie algebra is provided by the duality relations:
eI (TJ ) = δJI |
(6.3.3) |
A p-cochain Ω[p] of the Chevalley complex is just an exterior p-form on the Lie algebra with constant coefficients, namely:
Ω[p] = ΩI1...Ip eI1 · · · eIp |
(6.3.4) |
where the antisymmetric tensor ΩI1...Ip >p adj G, which tisymmetric power of the adjoint representation of G, has Using the Maurer Cartan equations (6.3.2) the coboundary algebraic action on the Chevalley cochains:
belongs to the pth anconstant components. operator ∂ has a pure
∂Ω[p] = ∂ΩI1...Ip+1 eI1 · · · eIp+1
|
|
|
)p−1 |
p |
τ R |
|
|
|
(6.3.5) |
|
∂ΩI |
...I |
( |
ΩI |
...I |
p+1] |
R |
||||
|
||||||||||
1 |
|
p+1 = − |
|
2 [I1I2 |
1 |
|
|
and Jacobi identities guarantee the nilpotency of this operation ∂2 = 0. The cohomology groups H [p](G) are constructed in standard way. The p-cocycles Ω[p] are the closed forms ∂Ω[p] = 0 while the exact p-forms, or p-coboundaries, are those Λ[p] such that they can be written as Λ[p] = ∂Φ[p−1] for some suitable (p − 1)- forms Φ[p−1]. The pth cohomology groups is spanned by the p-cocycles modulo
7For simplicity in this section we adopt a pure Lie algebra notation. Yet every definition presented here has a straightforward extension to superalgebras and indeed when we recall the discussion of how the FDA of M-theory or type II supergravity emerges from the application of Sullivan structural theorems it is within the scope of super Lie algebra cohomology.
6.3 Free Differential Algebras |
229 |
the p-coboundaries. Calling Cp (G) the linear space of p-chains the operator ∂ defined in (6.3.5) induces a sequence of linear maps ∂p :
0 |
∂0 |
1 |
∂1 |
2 |
∂2 |
3 |
∂3 |
4 |
∂4 |
(6.3.6) |
C |
(G) = C |
(G) = C |
(G) = C |
(G) = C |
(G) = · · · |
and we can summarize the definition of the Chevalley cohomology groups in the standard form used for all elliptic complexes:
H (p)(G) ≡ |
ker |
∂p |
(6.3.7) |
Im ∂ |
p−1 |
||
|
|
|
Contraction and Lie Derivative On the Chevalley complex it is also convenient to introduce the operation of contraction with a tangent vector and then of Lie derivative that are the algebraic counterparts of the corresponding operations introduced in (5.2.75)–(5.2.80) for generic differentiable manifolds.
The contraction operator iX associates to every tangent vector, namely to every element of the Lie algebra X G a linear map from the space Cp(G) of the p-
cochains to the space Cp−1(G) of the (p − 1)-cochains: |
|
X G; iX : Cp(G) → Cp−1(G) |
(6.3.8) |
Explicitly we set: |
|
X = XM TM G; iX Ω[p] = pXM ΩMI1...Ip−1 eI1 · · · eIp−1 |
(6.3.9) |
Next we introduce the Lie derivative which to every element of the Lie algebra X G associates a map from the space of p-cochains into itself:
X = XM TM G; X : Cp (G) → Cp (G) |
(6.3.10) |
In full analogy with (5.2.80) the map X is defined as follows: |
|
X ≡ iX ◦ ∂ + ∂ ◦ iX |
(6.3.11) |
and satisfies the necessary property in order to be a representation of the Lie algebra:
[ X , Y ] = [X,Y ] |
(6.3.12) |
By explicit calculation we find that in components the Lie derivative is realized as follows:
|
X |
Ω[p] |
( |
)p−1pXM τ R |
Ω |
I2I3 |
...Ip ]R |
eI1 |
· · · |
eIp |
(6.3.13) |
|
|
= − |
M[I1 |
|
|
|
|
Furthermore if X and Y are any two G Lie algebra-valued space-time forms, respectively of degree x and y, by direct use of the above definitions, one can easily verify the following identity which holds true on any p-cochain C [p]:
iX ◦ Y + (−)xy+1 Y · iX C [p] = −i[X,Y ]C [p] |
(6.3.14) |
which is of great help in many calculations.
230 |
6 Supergravity: The Principles |
6.3.2 General Structure of FDAs and Sullivan’s Theorems
As we just recalled, Free Differential Algebras are a natural categorical extension of the notion of Lie algebra and constitute the natural mathematical environment for the description of the algebraic structure of higher dimensional supergravity theories, hence also of string theory.
Definition of FDA The starting point for FDAs is the generalization of Maurer Cartan equations. As we already emphasized in Sect. 6.3.1 a standard Lie algebra is defined by its structure constants which can be alternatively introduced, either through the commutators of the generators, as in (6.3.1), or through the Maurer Cartan equations obeyed by the dual 1-forms, as in (6.3.2). The relation between the two descriptions is provided by the duality relation in (6.3.3). Adopting the
Maurer Cartan viewpoint, FDAs can now be defined as follows. Consider a formal set of exterior forms {θ A(p)} labeled by the index A and by the degree p, which
may be different for different values of A. Given this set of p-forms we can write the corresponding set of generalized Maurer Cartan equations as follows:
N |
|
|
dθ A(p) + CA(p)B1(p1)...Bn(pn)θ B1(p1) · · · θ Bn(pn) = 0 |
(6.3.15) |
|
n=1 |
|
|
where CA(p) |
are generalized structure constants with the same symme- |
|
B1(p1)...Bn(pn) |
|
|
try as induced by permuting the θ s in the wedge product. They can be non-zero only if:
n |
|
p + 1 = pi |
(6.3.16) |
i=1 |
|
Equations (6.3.15) are self-consistent and define an FDA if and only if d dθ A(p) = 0, upon substitution of (6.3.15) into its own derivative. This procedure yields the generalized Jacobi identities of FDAs.
Classification of FDA and the Analogue of Levi Theorem: Minimal Versus Contractible Algebras A basic theorem of Lie algebra theory states that the most general Lie algebra A is the semidirect product of a semisimple Lie algebra L, called the Levi subalgebra, with Rad(A), namely with the radical of A. By definition this latter is the maximal solvable ideal of A. Sullivan [14] has provided an analogous structural theorem for FDAs. To this effect one needs the notions of minimal FDA and contractible FDA. A minimal FDA is one for which:
C |
A(p) |
= 0 |
(6.3.17) |
B(p+1) |
This excludes the case where a (p + 1)-form appears in the generalized Maurer Cartan equations as a contribution to the derivative of a p-form. In a minimal algebra all non-differential terms are products of at least two elements of the algebra, so that
6.3 Free Differential Algebras |
231 |
all forms appearing in the expansion of dθ A(p) have at most degree p, the degree p + 1 being ruled out.
On the other hand a contractible FDA is one where the only form appearing in the expansion of dθ A(p) has degree p + 1, namely:
dθ A(p) = θ A(p+1) dθ A(p+1) = 0 |
(6.3.18) |
A contractible algebra has a trivial structure. The basis {θ A(p)} can be subdivided in two subsets {ΛA(p)} and {ΩB(p+1)} where A spans a subset of the values taken by
B, so that:
dΩB(p+1) = 0 |
(6.3.19) |
for all values of B and |
|
dΛA(p) = ΩA(p+1) |
(6.3.20) |
Denoting by Mk the vector space generated by all forms of degree p ≤ k and Ck the vector space of forms of degree k, a minimal algebra is shortly defined by the property:
dMk Mk Mk |
(6.3.21) |
while a contractible algebra is defined by the property |
|
dCk Ck+1 |
(6.3.22) |
In analogy to Levi’s theorem, the first theorem by Sullivan states that: The most general FDA is the semidirect sum of a contractible algebra with a minimal algebra.
Sullivan’s First Theorem and the Gauging of FDAs Twenty five years ago in [16] the present author observed that the above mathematical theorem has a deep physical meaning relative to the gauging of algebras. Indeed he proposed the following identifications:
1.The contractible generators ΩA(p+1) + · · · of any given FDA A are to be physically identified with the curvatures.
2.The Maurer Cartan equations that begin with dΩA(p+1) are the Bianchi identities.
3.The algebra which is gauged is the minimal subalgebra M A.
4.The Maurer Cartan equations of the minimal subalgebra M are consistently obtained by those of A by setting all contractible generators to zero.
Sullivan’s Second Structural Theorem and Chevalley Cohomology The second structural theorem proved by Sullivan8 deals with the structure of minimal algebras and it is constructive. Indeed it states that the most general minimal FDA M
8The reader interested in very much detailed explanations on this point can find them both in the original article [14] and in the book [17]. Yet the present book is logically self-contained and the presented view-point is upgraded to a contemporary perspective.
232 |
6 Supergravity: The Principles |
necessarily contains an ordinary Lie subalgebra G M whose associated 1-form generators we can call eI , as in (6.3.2). Additional p-form generators A[p] of M are necessarily, according to Sullivan’s theorem, in one-to-one correspondence with Chevalley p + 1 cohomology classes Γ [p+1](e) of G M. Indeed, given such a class, which is a polynomial in the eI generators, we can consistently write the new higher degree Maurer Cartan equation:
∂A[p] + Γ [p+1](e) = 0 |
(6.3.23) |
where A[p] is a new object that cannot be written as a polynomial in the old objects eI . Considering now the FDA generated by the inclusion of the available A[p], one can inspect its Chevalley cohomology: the cochains are the polynomials in the extended set of forms {A, eI } and the boundary operator is defined by the enlarged set of Maurer Cartan equations. If there are new cohomology classes Γ [p+1](e, A), then one can further extend the FDA by including new p-generators B[p] obeying the Maurer Cartan equation:
∂B[p] + Γ [p+1](e, A) = 0 |
(6.3.24) |
The iterative procedure can now be continued by inspecting the cohomology classes of type Γ [p+1](e, A, B) which lead to new generators C[p] and so on. Sullivan’s theorem states that those constructed in this way are, up to isomorphisms, the most general minimal FDAs.
To be precise, this is not the whole story. There is actually one generalization that should be taken into account. Instead of absolute Chevalley cohomology one can rather consider relative Chevalley cohomology. This means that rather then being G- singlets, the Chevalley p-cochains can be assigned to some linear representation of the Lie algebra G. In this case (6.3.4) is replaced by:
Ωα[p] = ΩIα1...Ip eI1 · · · eIp |
(6.3.25) |
where the index α runs in some representation D: |
|
D : TI → D(TI ) αβ |
(6.3.26) |
and the boundary operator is now the covariant : |
|
Ωα[p] ≡ ∂Ωα[p] + eI D(TI ) αβ Ωβ[p] |
(6.3.27) |
Since 2 = 0, we can repeat all previously explained steps and compute cohomology groups. Each non-trivial cohomology class Γ α[p+1](e) leads to new p-form generators Aα[p] which are assigned to the same G-representation as Γ α[p+1](e). All successive steps go through in the same way as before and Sullivan’s theorem actually states that all minimal FDAs are obtained in this way for suitable choices of the representation D, in particular the singlet.