- •Preface
- •Acknowledgements
- •Contents
- •1.1 Introduction
- •1.2 Classical Physics Between the End of the XIX and the Dawn of the XX Century
- •1.2.1 Maxwell Equations
- •1.2.2 Luminiferous Aether and the Michelson Morley Experiment
- •1.2.3 Maxwell Equations and Lorentz Transformations
- •1.3 The Principle of Special Relativity
- •1.3.1 Minkowski Space
- •1.4 Mathematical Definition of the Lorentz Group
- •1.4.1 The Lorentz Lie Algebra and Its Generators
- •1.4.2 Retrieving Special Lorentz Transformations
- •1.5 Representations of the Lorentz Group
- •1.5.1 The Fundamental Spinor Representation
- •1.6 Lorentz Covariant Field Theories and the Little Group
- •1.8 Criticism of Special Relativity: Opening the Road to General Relativity
- •References
- •2.1 Introduction
- •2.2 Differentiable Manifolds
- •2.2.1 Homeomorphisms and the Definition of Manifolds
- •2.2.2 Functions on Manifolds
- •2.2.3 Germs of Smooth Functions
- •2.3 Tangent and Cotangent Spaces
- •2.4 Fibre Bundles
- •2.5 Tangent and Cotangent Bundles
- •2.5.1 Sections of a Bundle
- •2.5.2 The Lie Algebra of Vector Fields
- •2.5.3 The Cotangent Bundle and Differential Forms
- •2.5.4 Differential k-Forms
- •2.5.4.1 Exterior Forms
- •2.5.4.2 Exterior Differential Forms
- •2.6 Homotopy, Homology and Cohomology
- •2.6.1 Homotopy
- •2.6.2 Homology
- •2.6.3 Homology and Cohomology Groups: General Construction
- •2.6.4 Relation Between Homotopy and Homology
- •References
- •3.1 Introduction
- •3.2 A Historical Outline
- •3.2.1 Gauss Introduces Intrinsic Geometry and Curvilinear Coordinates
- •3.2.3 Parallel Transport and Connections
- •3.2.4 The Metric Connection and Tensor Calculus from Christoffel to Einstein, via Ricci and Levi Civita
- •3.2.5 Mobiles Frames from Frenet and Serret to Cartan
- •3.3 Connections on Principal Bundles: The Mathematical Definition
- •3.3.1 Mathematical Preliminaries on Lie Groups
- •3.3.1.1 Left-/Right-Invariant Vector Fields
- •3.3.1.2 Maurer-Cartan Forms on Lie Group Manifolds
- •3.3.1.3 Maurer Cartan Equations
- •3.3.2 Ehresmann Connections on a Principle Fibre Bundle
- •3.3.2.1 The Connection One-Form
- •Gauge Transformations
- •Horizontal Vector Fields and Covariant Derivatives
- •3.4 Connections on a Vector Bundle
- •3.5 An Illustrative Example of Fibre-Bundle and Connection
- •3.5.1 The Magnetic Monopole and the Hopf Fibration of S3
- •The U(1)-Connection of the Dirac Magnetic Monopole
- •3.6.1 Signatures
- •3.7 The Levi Civita Connection
- •3.7.1 Affine Connections
- •3.7.2 Curvature and Torsion of an Affine Connection
- •Torsion and Torsionless Connections
- •The Levi Civita Metric Connection
- •3.8 Geodesics
- •3.9 Geodesics in Lorentzian and Riemannian Manifolds: Two Simple Examples
- •3.9.1 The Lorentzian Example of dS2
- •3.9.1.1 Null Geodesics
- •3.9.1.2 Time-Like Geodesics
- •3.9.1.3 Space-Like Geodesics
- •References
- •4.1 Introduction
- •4.2 Keplerian Motions in Newtonian Mechanics
- •4.3 The Orbit Equations of a Massive Particle in Schwarzschild Geometry
- •4.3.1 Extrema of the Effective Potential and Circular Orbits
- •Minimum and Maximum
- •Energy of a Particle in a Circular Orbit
- •4.4 The Periastron Advance of Planets or Stars
- •4.4.1 Perturbative Treatment of the Periastron Advance
- •References
- •5.1 Introduction
- •5.2 Locally Inertial Frames and the Vielbein Formalism
- •5.2.1 The Vielbein
- •5.2.2 The Spin-Connection
- •5.2.3 The Poincaré Bundle
- •5.3 The Structure of Classical Electrodynamics and Yang-Mills Theories
- •5.3.1 Hodge Duality
- •5.3.2 Geometrical Rewriting of the Gauge Action
- •5.3.3 Yang-Mills Theory in Vielbein Formalism
- •5.4 Soldering of the Lorentz Bundle to the Tangent Bundle
- •5.4.1 Gravitational Coupling of Spinorial Fields
- •5.5 Einstein Field Equations
- •5.6 The Action of Gravity
- •5.6.1 Torsion Equation
- •5.6.1.1 Torsionful Connections
- •The Torsion of Dirac Fields
- •Dilaton Torsion
- •5.6.2 The Einstein Equation
- •5.6.4 Examples of Stress-Energy-Tensors
- •The Stress-Energy Tensor of the Yang-Mills Field
- •The Stress-Energy Tensor of a Scalar Field
- •5.7 Weak Field Limit of Einstein Equations
- •5.7.1 Gauge Fixing
- •5.7.2 The Spin of the Graviton
- •5.8 The Bottom-Up Approach, or Gravity à la Feynmann
- •5.9 Retrieving the Schwarzschild Metric from Einstein Equations
- •References
- •6.1 Introduction and Historical Outline
- •6.2 The Stress Energy Tensor of a Perfect Fluid
- •6.3 Interior Solutions and the Stellar Equilibrium Equation
- •6.3.1 Integration of the Pressure Equation in the Case of Uniform Density
- •6.3.1.1 Solution in the Newtonian Case
- •6.3.1.2 Integration of the Relativistic Pressure Equation
- •6.3.2 The Central Pressure of a Relativistic Star
- •6.4 The Chandrasekhar Mass-Limit
- •6.4.1.1 Idealized Models of White Dwarfs and Neutron Stars
- •White Dwarfs
- •Neutron Stars
- •6.4.2 The Equilibrium Equation
- •6.4.3 Polytropes and the Chandrasekhar Mass
- •6.5 Conclusive Remarks on Stellar Equilibrium
- •References
- •7.1 Introduction
- •7.1.1 The Idea of GW Detectors
- •7.1.2 The Arecibo Radio Telescope
- •7.1.2.1 Discovery of the Crab Pulsar
- •7.1.2.2 The 1974 Discovery of the Binary System PSR1913+16
- •7.1.3 The Coalescence of Binaries and the Interferometer Detectors
- •7.2 Green Functions
- •7.2.1 The Laplace Operator and Potential Theory
- •7.2.2 The Relativistic Propagators
- •7.2.2.1 The Retarded Potential
- •7.3 Emission of Gravitational Waves
- •7.3.1 The Stress Energy 3-Form of the Gravitational Field
- •7.3.2 Energy and Momentum of a Plane Gravitational Wave
- •7.3.2.1 Calculation of the Spin Connection
- •7.3.3 Multipolar Expansion of the Perturbation
- •7.3.3.1 Multipolar Expansion
- •7.3.4 Energy Loss by Quadrupole Radiation
- •7.3.4.1 Integration on Solid Angles
- •7.4 Quadruple Radiation from the Binary Pulsar System
- •7.4.1 Keplerian Parameters of a Binary Star System
- •7.4.2 Shrinking of the Orbit and Gravitational Waves
- •7.4.2.1 Calculation of the Moment of Inertia Tensor
- •7.4.3 The Fate of the Binary System
- •7.4.4 The Double Pulsar
- •7.5 Conclusive Remarks on Gravitational Waves
- •References
- •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: Mathematica Packages
- •B.1 Periastropack
- •Programme
- •Main Programme Periastro
- •Subroutine Perihelkep
- •Subroutine Perihelgr
- •Examples
- •B.2 Metrigravpack
- •Metric Gravity
- •Routines: Metrigrav
- •Mainmetric
- •Metricresume
- •Routine Metrigrav
- •Calculation of the Ricci Tensor of the Reissner Nordstrom Metric Using Metrigrav
- •Index
70 2 Manifolds and Fibre Bundles
Z(f ). This differential form is named the total differential of the function f . In a local chart U with local coordinates x1, . . . , xm we have:
df = |
∂f |
|
∂xj dxj |
(2.5.60) |
More generally we can see that there exists an endomorphism d, (ω → dω) of A (M ) onto itself with the following properties:
(i) ω Ak (M ) |
dω Ak+1(M ) |
|
||||
(ii) ω A (M ) |
d dω = 0 |
|
||||
(iii) ω |
k |
Ak (M ) |
ω |
k |
Ak (M ) |
(2.5.61) |
|
|
|
||||
d(ω(k) ω(k )) = dω(k) ω(k ) + (−1)k ω(k) dω(k ) |
|
|||||
(iv) if f A0(M ) |
df = total differential |
|
In each local coordinate patch the above intrinsic definition of the exterior differential leads to the following explicit representation:
dω(k) = ∂[i1 ωi2...ik+1] dxi1 · · · dxik+1 |
(2.5.62) |
As already stressed the exterior differential is the generalization of the concept of curl, well known in elementary vector calculus.
In the next section we introduce the notions of homotopy, homology and cohomology that are crucial to understand the global properties of manifolds and Lie groups and will also play an important role in formulating supergravity.
2.6 Homotopy, Homology and Cohomology
Differential 1-forms can be integrated along differentiable paths on manifolds. The higher differential p-forms, to be introduced shortly from now, can be integrated on p-dimensional submanifolds. An appropriate discussion of such integrals and of their properties requires the fundamental concepts of algebraic topology, namely homotopy and homology. Also the global properties of Lie groups and their many- to-one relation with Lie algebras can be understood only in terms of homotopy. For this reason we devote the present section to an introductory discussion of homotopy, homology and of its dual, cohomology.
The kind of problems we are going to consider can be intuitively grasped if we consider Fig. 2.20, displaying a closed two-dimensional surface with two handles (actually an oriented, closed Riemann surface of genus g = 2) on which we have drawn several different closed 1-dimensional paths γ1, . . . , γ6.
Consider first the path γ5. It is an intuitive fact that γ5 can be continuously deformed to just a point on the surface. Paths with such a property are named homotopically trivial or homotopic to zero. It is also an intuitive fact that neither γ2, nor γ3, nor γ1, nor γ4 are homotopically trivial. Paths of such a type are homotopically
2.6 Homotopy, Homology and Cohomology |
71 |
Fig. 2.20 A closed surface with two handles marked by several different closed 1-dimensional paths
Fig. 2.21 When we cut a surface along a path that is a boundary, namely it is homologically trivial, the surface splits into two separate parts
Fig. 2.22 The sum of the three paths γ1, γ2, γ3 is homologically trivial, namely γ2 + γ3 is homologous to −γ1
non-trivial. Furthermore we say that two paths are homotopic if one can be continuously deformed into the other. This is for instance the case of γ6 which is clearly homotopic to γ3.
Let us now consider the difference between path γ4 and path γ1 from another viewpoint. Imagine the result of cutting the surface along the path γ4. After the cut the surface splits into two separate parts, R1 and R2 as shown in Fig. 2.21. Such a splitting does not occur if we cut the original surface along the path γ1. The reason for this different behavior resides in this. The path γ4 is the boundary of a region on the surface (the region R1 or, equivalently its complement R2) while γ1 is not the boundary of any region. A similar statement is true for the paths γ2 or γ3. We say that γ4 is homologically trivial while γ1, γ2, γ3 are homologically non-trivial.
Next let us observe that if we simultaneously cut the original surface along γ1, γ2, γ3 the surface splits once again into two separate parts as shown in Fig. 2.22.
This is due to the fact that the sum of the three paths is the boundary of a region: either R1 or R2 of Fig. 2.22. In this case we say that γ2 + γ3 is homologous to −γ1, since the difference γ2 + γ3 − (−γ3) is a boundary.
In order to give a rigorous formulation to these intuitive concepts,which can be extended also to higher dimensional submanifolds of any manifold we proceed as follows.
72 |
2 Manifolds and Fibre Bundles |
2.6.1 Homotopy
Let us come back to Definition 2.3.1 of a curve (or path) in a manifold and slightly generalize it.
Definition 2.6.1 Let [a, b] be a the parameter t and subdivide it
closed interval of the real line R parameterized by into a finite number of closed, partial intervals:
[a, t1], [t1, t2], . . . , [tn−1, tn], [tn, b] |
(2.6.1) |
We name piece-wise differentiable path a continuous map:
γ : [a, b] → M |
(2.6.2) |
of the interval [a, b] into a differentiable manifold M such that there exists a splitting of [a, b] into a finite set of closed subintervals as in (2.6.1) with the property that on each of these intervals the map γ is not only continuous but also infinitely differentiable.
Since we have parametric invariance we can always rescale the interval [a, b]
and reduce it to be |
|
[0, 1] ≡ I |
(2.6.3) |
Let |
|
σ : I → M |
(2.6.4) |
τ : I → M |
|
be two piece-wise differentiable paths with coinciding extrema, namely such that (see Fig. 2.23):
σ (0) = τ (0) = x0 M
(2.6.5)
σ (1) = τ (1) = x1 M
Definition 2.6.2 We say that σ is homotopic to τ and we write σ τ if there exists a continuous map:
F : I × I → M |
(2.6.6) |
|
such that: |
|
|
F (s, 0) = σ (s) |
s I |
|
F (s, 1) = τ (s) |
s I |
(2.6.7) |
F (0, t) = x0 |
t I |
|
F (1, t) = x1 |
t I |
|
2.6 Homotopy, Homology and Cohomology |
73 |
Fig. 2.23 Two paths with coinciding extrema
In particular if σ is a closed path, namely a loop at x0, i.e. if x0 = x1 and if τ
homotopic to σ is the constant loop that is |
|
s I : τ (s) = x0 |
(2.6.8) |
then we say that σ is homotopically trivial and that it can be contracted to a point. It is quite obvious that the homotopy relation σ τ is an equivalence relation.
Hence we shall consider the homotopy classes [σ ] of paths from x0 to x1.
Next we can define a binary product operation on the space of paths in the following way. If σ is a path from x0 to x1 and τ is a path from x1 to x2 we can define a path from x0 to x2 traveling first along σ and then along τ . More precisely we set:
σ τ (t) |
= |
$ σ (2t) |
0 ≤ t ≤ 21 |
(2.6.9) |
|
τ (2t − 1) |
21 ≤ t ≤ 1 |
|
|
What we can immediately verify from this definition is that if σ σ |
and τ τ |
then σ τ σ τ . The proof is immediate and it is left to the reader. Hence without any ambiguity we can multiply the equivalence class of σ with the equivalence class of τ always assuming that the final point of σ coincides with the initial point of τ . Relying on these definitions we have a theorem which is very easy to prove but has an outstanding relevance:
Theorem 2.6.1 Let π1(M , x0) be the set of homotopy classes of loops in the manifold M with base in the point x0 M . If the product law of paths is defined as we just explained above, then with respect to this operation π1(M , x0) is a group whose identity element is provided by the homotopy class of the constant loop at x0 and the inverse of the homotopy class [σ ] is the homotopy class of the loop σ −1 defined by:
σ −1(t) = σ (1 − t) 0 ≤ t ≤ 1 |
(2.6.10) |
(In other words σ −1 is the same path followed backward.)
74 |
2 Manifolds and Fibre Bundles |
Proof Clearly the composition of a loop σ with the constant loop (from now on denoted as x0) yields σ . Hence x0 is effectively the identity element of the group. We still have to show that σ σ −1 x0. The explicit realization of the required homotopy is provided by the following function:
|
= |
σ (2s) |
0 |
≤ |
2s |
≤ |
t |
− |
|
|
|
F (s, t) |
|
σ (t) |
t |
≤ |
2s |
≤ |
2 |
|
t |
(2.6.11) |
|
|
|
|
σ −1(2s − 1) 2 − t ≤ 2s ≤ 2 |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
Let us observe that having defined F as above we have: |
|
|
|
|
|||||||
F (s, 0) = {σ (0) = x0 s I |
|
|
|
|
|
||||||
F (s, 1) |
= |
$ σ (2s) |
|
0 ≤ s 21 |
|
|
|
(2.6.12) |
|||
|
|
σ −1(2s − 1) |
|
21 ≤ s ≤ 1 |
|
|
|||||
and furthermore: |
|
|
|
|
|
|
|
|
|
|
|
F (0, t) = {σ (0) = x0 |
|
t I |
|
|
|
(2.6.13) |
|||||
F (1, t) = ,σ −1(1) = x0 |
t I |
|
|
|
Therefore it is sufficient to check that F (s, t) is continuous. Dividing the square [0, 1] × [0, 1] into three triangles as in Fig. 2.24 we see that F (s, t) is continuous in each of the triangles and that is consistently glued on the sides of the triangles. Hence F as defined in (2.6.11) is continuous. This concludes the proof of the theo-
rem. |
|
|
Theorem 2.6.2 Let α be a path from x0 to x1. Then |
|
|
α |
|
(2.6.14) |
[σ ] −→ α−1σ α |
|
|
is an isomorphism of π1(M , x0) into π1(M , x1). |
|
|
Proof Indeed, since |
|
|
[σ τ ] −→ α−1σ α α−1τ α = α−1σ τ α |
(2.6.15) |
|
α |
α−1 |
|
we see that −→ is a homomorphism. Since also the inverse −→ does exist, then the |
||
homomorphism is actually an isomorphism. |
|
|
From this theorem it follows that in a arc-wise connected manifold, namely in a manifold where every point is connected to any other by at least one piece-wise differentiable path, the group π1(M , x0) is independent from the choice of the base point x0 and we can call it simply π1(M ). The group π1(M ) is named the first homotopy group of the manifold or simply the fundamental group of M .