- •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
1.5 Representations of the Lorentz Group |
19 |
transformations can be reduced to the hyperbolic rotations contained in the group SO(1, D − 1).
1.5 Representations of the Lorentz Group
As we already stressed the general advances in Lie group theory and Lie algebras were already conspicuous by the time Special Relativity was introduced, but the study of the Lorentz group proceeded for some time on an independent track, related to physics, and peculiarities of the case so(1, 3) were widely used and incorporated into the treatment. From the point of view of Mathematics, Èlie Cartan discovered the representations of the so(D, C) Lie algebras that now we name spinorial in 1913 [7], namely in between the advent of Special Relativity and that of General Relativity. From the point of view of Physics, Pauli introduced the intrinsic spin of quantum particles in 1927 [8] and, by means of the three σ -matrices named after him, he constructed the spinor representation of the three-dimensional rotation group SO(3). Pauli’s construction and three-dimensional spinors are quite special since they appear as a manifestation of the sporadic isomorphism so(3) su(2). In 1928 Paul Dirac discovered the fully relativistic theory of the electrons by introducing the anti-commuting γ -matrices and, in this way, he was able to show the connection between spinors and the Lorentz group [9]. Actually what Dirac did was the construction of the spinor representation of so(1, 3). Dirac spinors in D = 4 are once again special, since they appear as a manifestation of another sporadic isomorphism of Lie algebras, namely so(1, 3) sl(2, C). Yet, as it was already implicitly contained in Cartan’s paper of 1913, the existence of spinor representations is an intrinsic property of all Lie algebras of type so(D) and the systematic way to construct them is via the study of the Clifford algebras of Γ -matrices, defined by the following anti-commutation relations:
{Γa , Γb} = 2ηab × 1 |
(1.5.1) |
An exhaustive study of Γ -matrices and spinors is contained in Appendix A, to which we also refer for conventions. In this chapter we will study all representations of the Lorentz group and for the physically relevant case D = 4 we will dwell on the special features provided by the sporadic isomorphisms mentioned above.
From a general point of view the irreducible representations of so(1, D − 1) divide into two classes that have a profound physical significance, since they match with the spin-statistics theorem of Quantum Field Theory:
Bosons The bosonic representations of so(1, D − 1) are obtained from all tensor products of the fundamental representation, in other words they are tensors tμ1μ2...μn with n-indices. These tensors can be split into irreducible representations by means of two subsequent operations. First one applies to tμ1μ2...μn one of the symmetrization-anti-symmetrization schemes codified in the Young
20 |
1 Special Relativity: Setting the Stage |
tableaux available for the considered rank n. For instance for the case of n = 5 we have the following possibilities:
|
|
|
|
|
|
|
|
|
|
; |
|
; |
|
|
; |
||||
(1.5.2)
;;
Secondly one subtracts from the symmetrized tensor all of his available η-traces so as to make it traceless.
Fermions The fermionic representations of so(1, D − 1) are obtained by taking the tensor product of any of the available bosonic representations with the fundamental spinor representation. In other words a fermionic representation is a spinor-tensor Ξμα1μ2...μn with one spinor index α and n vector indices. The spinor tensor can be made irreducible by subtracting all of its γ -traces in order to make it γ -traceless.
The spin-statistics theorem states that any quantum-field which transforms in a bosonic representation of the Lorentz group as defined above, obeys the BoseEinstein statistics, while any field which transforms in a fermionic representation obeys the Fermi-Dirac statistics. At the classical level this implies that bosonic fields are commuting real number valued, while fermionic fields are anti-commuting Grassmann number valued.
The above description of irreducible bosonic and fermionic representations will become clear through the analysis of a couple of examples. Consider for simplicity the case n = 2, which means a tensor tμν with two indices. The irreducible bosonic representations contained a priori in this tensor are three:
1.A symmetric traceless tensor defined as tˆ(μ,ν) = t(μ,ν) − D1 ημν ηρσ tρσ .
2.An antisymmetric tensor defined as t[μ,ν].
3.A scalar defined by the trace of the original tensor ηρσ tρσ .
In the above discussion the round bracket (. . . ) capsulated indices while the square bracket [. . . ] same.
denotes symmetrization on the endenotes anti-symmetrization of the
1.5.1 The Fundamental Spinor Representation
As usual, it is easier to discuss representations at the level of the corresponding Lie algebras rather than at the finite group level. We saw that the generators Jμν of
1.5 Representations of the Lorentz Group |
21 |
the Lorentz algebra so(1, D − 1), forming a set of D × D matrices which contains 12 D(D − 1) elements, satisfy the commutation relations (1.4.9). If we construct a representation of the D-dimensional Clifford algebra (1.5.1), then according to the notation introduced in the Appendix (see (A.3.1)) we can set:
Jμν(s) = |
1 |
Γμν |
(1.5.3) |
4 |
and we can easily verify that these generators satisfy the same commutation relations (1.4.9) as Jμν . So doing we succeeded in constructing a representation of the Lorentz algebra in dimension 2[D/2], which is the dimension of the gamma matrices. Such a representation is the spinor representation. Fields valued in the carrier vector space of the latter are the Dirac spinor fields. They are usually denoted as follows:
|
ψ |
1 |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
||
|
ψ |
|
|
|
|
|
|
|
ψ |
. |
|
|
|
2[ |
D/2 |
(1.5.4) |
|
.. |
|
|
≡ |
] |
||||
|
= |
|
; |
|
|
|
|
ψ −1
ψ
The entries of ψ are generically complex. As we discuss in Sect. A.4 of the appendix, Dirac spinors are not necessarily irreducible. Depending on the dimension D we can impose the Majorana or the Weyl condition, which are Lorentz invariant, or even both of them and, in this way, we obtain irreducible spinors.
A spinor tensor Ξμα1μ2...μn that is irreducible both as a spinor and as a tensor can be further reduced by subtracting Lorentz invariant γ -traces. Consider for instance a spinor tensor Ξ(μν) which is symmetric and traceless as a rank two tensor:
ημν Ξ(μν) = 0 |
(1.5.5) |
In a Lorentz invariant way we can extract from Ξ(μν) a spinor vector by setting:
Θμ = Γ ν Ξ(μν) |
(1.5.6) |
In order to obtain a fully irreducible representation of the Lorentz group we have to substract such γ -traces:
ˆ |
(μν) = Ξ(μν) − |
a |
ρ |
|
(1.5.7) |
|
|
Γ(μΓ |
Ξν)ρ |
||||
D |
|
|||||
Ξ |
|
|
|
|
|
|
where α is an appropriate coefficient that can be calculated in each dimension D
in order that the new object Ξ |
could satisfy the condition Γ ν Ξ |
(μν) = |
0 and |
ˆ(μν) |
ˆ |
|
corresponded to a fully irreducible representation of the D-dimensional Lorentz group.
22 |
1 Special Relativity: Setting the Stage |
1.5.2The Two-Valued Homomorphism SO(1, 3) SL(2, C) in the Four-Dimensional Case
Let us enlarge the set of Pauli matrices introducing also:
σ0 = |
1 |
0 |
(1.5.8) |
0 |
1 |
and let us define the following linear combination of the four sigmas:
X |
= |
xμσμ |
x0 + x3 |
x1 − ix2x3 |
(1.5.9) |
|
|
= x1 + ix2 |
x0 − x3 |
|
Consider now a generic element A SL(2, C). By definition A is a complex unimodular 2 × 2 matrix:
|
|
|
|
|
α |
β |
; det A = 1 |
αδ − βγ = 1 |
|
A = γ |
δ |
(1.5.10) |
||
Calculating the determinant of X we find: |
|
|
||
|
|
det X = xμxν ημν |
(1.5.11) |
|
On the other hand, for each A SL(2, C) we have: |
|
|||
|
|
det X ≡ det A†XA |
= det X |
(1.5.12) |
|
|
|
|
|
Since σμ provide a complete basis set for 2 × 2 matrices it follows that X is some other linear combination of the same matrices with new coefficients x˜μ:
X = x˜μσμ |
(1.5.13) |
Necessarily the new coefficients must be linear combination of the old ones:
x˜μ = Λμν xν |
(1.5.14) |
and from (1.5.12) we deduce: |
|
x˜μx˜ν ημν = xμxν ημν |
(1.5.15) |
By virtue of its own definition the 4 × 4 matrix Λ SO(1, 3) is an element of the Lorentz group.
This simple construction shows that to each element of A SL(2, C) we can uniquely associate a Lorentz group element Λ. The explicit form of the latter is easily obtained using the trace orthogonality of the σ μ matrices, namely 12 Tr(σμσν ) = δμν . Relying on this we can write:
Λμν = |
1 |
|
2 Tr σμAσν A† |
(1.5.16) |
