- •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
118 |
3 Connections and Metrics |
Since the forms σ are Lie algebra-valued, they can be expanded along a basis of generators tA for G, as we already did in (3.3.49) and the same can be done for the curvature two-form F[σ ], namely we get:
|
F[σ ] = FA[σ ]tA |
(3.3.60) |
||
|
1 |
|
|
|
|
FA[σ ] = dσ A + |
|
CBC A σ B σ C |
|
|
2 |
|
||
where C |
A are the structure constants of the Lie algebra: |
|
||
|
BC |
|
||
|
[tB , tC ] = CBC A tA |
(3.3.61) |
||
and the Maurer Cartan equations (3.3.59) amount to the statement: |
|
|||
|
FA[σL/R ] = 0 |
(3.3.62) |
3.3.2 Ehresmann Connections on a Principle Fibre Bundle
Equipped with the notions developed in the previous Sect. we are finally in a position to introduce the rigorous mathematical definition due to Ehresmann (see Fig. 3.12) of a connection on a generic principle bundle.
Let P (M , G) be a principle fibre-bundle with base-manifold M and structural group G. Let us moreover denote π the projection:
π : P → M |
(3.3.63) |
Consider the action of the Lie group G on the total space P :
g G g : G → G |
(3.3.64) |
By definition this action is vertical in the sense that
u P , g G : π g(u) = π(u) |
(3.3.65) |
namely it moves points only along the fibres. Given any element have denoted by G the Lie algebra of the structural group, we one-dimensional subgroup generated by it
X G where we can consider the
gX (t) = exp[tX], t R |
(3.3.66) |
and consider the curve CX(t, u) in the manifold P obtained by acting with gX (t) on some point u P :
CX(t, u) ≡ gX (t)(u) |
(3.3.67) |
3.3 Connections on Principal Bundles: The Mathematical Definition |
119 |
Fig. 3.12 Charles Ehresmann was born in German speaking Alsace in 1905 from a poor family. His first education was in German, but after Alsace was returned to France in 1918 as a result of Germany’s defeat in World War I, Ehresmann attended only French schools and his University education was entirely French. Indeed in 1924 he entered the École Normale Superiéure from which he graduated in 1927. After that, he served as teacher of Mathematics in the French colony of Morocco and then went to Göttingen that in the late twenties and beginning of the thirties was the major scientific center of the world, at least for Mathematics and Physics. The raising of Nazi power in Germany dismantled the scientific leadership of the country, caused the decay of Göttingen and obliged all the Jewish scientists who so greatly contributed to German culture to emigrate to the United States. Ehresmann also fled from Göttingen to Princeton where he studied for few years until 1934. In that year he returned to France to obtain his doctorate under the supervision of one of the giants of mathematical thought of the XXth century: Elie Cartan. Charles Ehresmann was professor at the Universities of Strasbourg and Clermont Ferrand. In 1955 a special chair of Topology was created for him at the University of Paris which he occupied up to his retirement in 1975. He died in 1979 in Amiens where his second wife, also a mathematician held a chair. Charles Ehresmann was one of the creators of differential topology. He greatly contributed to the development of the notion of fibre-bundles and of the connections defined over them. He founded the mathematical theory of categories
The vertical action of the structural group implies that: |
|
π CX (t, u) = p M if π(u) = p |
(3.3.68) |
These items allow us to construct a linear map # which associates a vector field X# over P to every element X of the Lie algebra G:
# : G X → X# Γ (T P , P ) |
|
|
(3.3.69) |
||
|
d |
CX(t, u)%t |
|
0 |
|
f C∞(P ) X#f (u) ≡ dt f |
= |
||||
|
|
|
% |
|
Focusing on any point u P of the bundle, the map (3.3.69) reduces to a map:
#u : G → TuP |
(3.3.70) |
120 |
3 Connections and Metrics |
Fig. 3.13 The tangent space to a principle bundle P splits at any point u P into a vertical subspace along the fibres and a horizontal subspace parallel to the base manifold. This splitting is the intrinsic geometric meaning of a connection
from the Lie Algebra to the tangent space at u. The map #u is not surjective. We introduce the following:
Definition 3.3.4 At any point p P (M, G) of a principle fibre bundle we name vertical subspace VuP of the tangent space TuP the image of the map #u:
TuP Vu ≡ Im #u |
(3.3.71) |
Indeed any vector t Im #u lies in the tangent space to the fibre Gp , where p ≡ π(u).
The meaning of Definition 3.3.4 becomes clearer if we consider both Fig. 3.13 and a local trivialization of the bundle including u P . In such a local trivialization
the bundle point u is identified by a pair: |
|
|
|
|
|
|
u loc. triv. (p, f ) where |
p M |
(3.3.72) |
||||
−→ |
|
|
f |
|
G |
|
|
|
|
|
|
|
|
and the curve CX (t, u) takes the following appearance: |
|
|
||||
loc. triv. |
p, etXf |
, |
p = π(u) |
(3.3.73) |
||
CX (t, u) −→ |
Correspondingly, naming αi the group parameters, just as in the previous section, and xμ the coordinates on the base space M , a generic function f C∞(P ) is just a function f (x, α) of the m coordinates x and of the n parameters α. Comparing (3.3.69) with (3.3.24) we see that, in the local trivialization, the vertical tangent vector X# reduces to nothing else but to the right-invariant vector field on the group manifold associated with the same Lie algebra element X:
|
loc. triv. |
|
∂ |
|
X# |
−→ |
XR = XRi (α) |
|
(3.3.74) |
∂αi |
As we see from (3.3.74), in a local trivialization a vertical vector contains no derivatives with respect to the base space coordinates. This means that its projection onto the base manifold is zero. Indeed it follows from Definition 3.3.4 that: