- •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
5.6 The Action of Gravity |
217 |
On the other hand, varying the gravitational part of the action in the connection field, we easily see that it is just of the form discussed before but with a Kpqf tensor of the following form:
Kpqf |
1 |
δ[fp ∂q]ϕ |
|
= −a m − 1 |
(5.6.24) |
Hence, also in this case, there is an addition to the Levi Civita part of the spin connection which is contributed by the matter field, in this case the dilaton.
We will see in the second volume that this kind of couplings can be easily reabsorbed by means of a so called Weyl transformation. Indeed it suffices to introduce a new vielbein:
2 |
= |
|
|
1 |
|
− m − 2 |
|
||
Ea |
|
κ |
− |
|
exp |
|
a |
ϕ Ea |
(5.6.25) |
|
m |
|
|
||||||
and, regarded as a functional of the new vielbein E2a , the gravitational part of the action becomes the standard one written in (5.6.3). Obviously the Weyl transformation (5.6.25) implies modifications of the scalar part of the action.
5.6.2 The Einstein Equation
Let us now consider the variation of the gravitational action (5.6.3) with respect to the vielbein Ea . For convenience we consider at once also the contributions from the matter action. Hence we obtain the following variational equation:
0 |
|
m − 2 |
Ra1a2 |
ω |
|
Ea3 |
· |
|
|
Eam−1 |
ε |
|
δEf |
|
δLmatter |
δEf |
||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
= |
κ |
[ |
] |
|
· · |
|
|
a1...am−3f |
+ |
|
δEf |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Tf |
|
|
|||||
|
|
|
|
|
|
|
|
Rf |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(5.6.26) |
where both Rf |
and Tf |
are (m − 1)-forms belonging to the vector representation |
||||||||||||||||||||
of the Lorentz group SO(1, m − 1). Correspondingly we can parameterize them in terms of two rank two tensors Tf g and Xf g , according to the following formulae:
δLmatter |
≡ Tf = Tf g ηgk εk 1... m−1 |
× E 1 |
· · · E m−1 |
(5.6.27) |
|||||||
|
δEf |
||||||||||
|
|
Rf = Xf g ηgk εk 1... m−1 × E 1 · · · E m−1 |
(5.6.28) |
||||||||
By explicit evaluation we find: |
|
|
|
|
|
|
|
|
|||
|
|
Xf g = (−)(m−1) |
|
|
1 |
|
|
|
|
× Gf g |
(5.6.29) |
|
|
|
|
|
|
|
|
||||
|
|
(m |
− |
1)(m |
− |
2) |
|
||||
|
|
|
|
|
|
|
|
|
|
||
where Gf g is the Einstein tensor defined in (5.5.17). Hence we obtain the equation:
Gab = (−)mκTf g |
(5.6.30) |
218 |
5 Einstein Versus Yang-Mills Field Equations |
Hence if we fix the numerical parameter β introduced above to the value β = 4π and we interpret Tf g as the stress energy tensor of the matter system, we get κ = 4πc2G reproducing exactly the Einstein equation anticipated in (5.5.18).
In this way we have shown that the gravitational action (5.6.3) does indeed the job it was required to do:
•Realizes the soldering of the Lorentz bundle with the tangent bundle by imposing the vanishing of the torsion Ta = 0 as a dynamical equation.
•Yields the Einstein equation (5.5.18).
In the case there are source terms for the torsion we shew that these lead to a modification of the Levi Civita spin connection by the addition of a Δωab term depending only on the matter fields which, once replaced back into the second order action, produces additional interactions between matter fields, that are just a gravitational effect.
5.6.3Conservation of the Stress-Energy Tensor and Symmetries of the Gravitational Action
A natural question which arises at this point concerns the conservation of the stressenergy tensor as defined by (5.6.27), namely as the variation of the matter action with respect to the vielbein Ea . The answer to such a question relates with the symmetries of the gravitational and of the matter actions. The main starting point of Einstein search for the correct right hand side of the gravitational field equation was the search of a symmetric tensor, linear in the components of the Riemann tensor whose divergence, in force of the Bianchi identities, should vanish in order to couple to the stress-energy tensor that, in Einstein’s approach, was by its own definition a conserved, divergenceless tensor. So let us consider the symmetries of the action functional (5.6.3).
As many times emphasized, the multiplet made by the spin connection plus the vielbein {ωab, Ea } can be regarded as a principal connection on a Principal Poincaré bundle that has space-time Mm as its base manifold. Yet the action we have constructed is not invariant under local gauge transformation of the full Poincaré Lie algebra whose infinitesimal form is:
δEa = Dτ a + εabEcηbc |
(5.6.31) |
δωab = D εab |
(5.6.32) |
where τ a is the gauge parameter associated with the translation generator P a while the antisymmetric εab are the gauge parameters associated with the Lorentz generators J ab . Enumerating the requirements that the gravitational action should satisfy, we asked for local Lorentz invariance which corresponds to formulae (5.6.31), (5.6.32) with εa = 0 and whose finite form was displayed in (5.6.3), but we did not enforce gauge translation invariance. Indeed by means of an integration by parts, an immediate calculation shows that under a gauge-translation the action functional (5.6.3) varies as follows:
