Gravity, a Geometrical Course Pietro Giuseppe Frè
Gravity, a Geometrical Course
Volume 1: Development of the Theory and Basic Physical Applications Pietro Giuseppe Frè Dipartimento di Fisica Teorica University of Torino Torino, Italy
Additional material to this book can be downloaded from http://extras.springer.com.
ISBN 978-94-007-5360-0 ISBN 978-94-007-5361-7 (eBook) DOI 10.1007/978-94-007-5361-7 Springer Dordrecht Heidelberg New York London
Library of Congress Control Number: 2012950601
© Springer Science+Business Media Dordrecht 2013 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’s location, in its current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. While the advice and information in this book are believed to be true and accurate at the date of pub- lication, neither the authors nor the editors nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein.
Printed on acid-free paper
Springer is part of Springer Science+Business Media (www.springer.com) This book is dedicated to my beloved daughter Laura and to my darling wife Olga. Preface
This book grew out from the Lecture Notes of the course in General Relativity which I gave for more than 15 years at the University of Torino. That course has a long tradition since it was attached to the Chair of Relativity created at the begin- ning of the 1960s for prof. Tullio Regge. In the years 1990Ð1996, while prof. Regge was Member of the European Parliament the course was given by my long time excellent friend and collaborator prof. Riccardo D’Auria. In 1996 I had the honor to be appointed on Regge’s chair1 and I left SISSA of Trieste to take this momen- tous and challenging legacy. Feeling the burden of the task laid on my shoulders I humbly tried to do my best and create a new course which might keep alive the tra- dition established by my so much distinguished predecessors. In my efforts to cope with the expected standards, I obviously introduced my own choices, view-points and opinions that are widely reflected in the present book. The length of the orig- inal course was of about 120 hours (without exercises). In the new 3 + 2system introduced by the Bologna agreements it was split in two courses but, apart from minor readjustments, I continued to consider them just as part one and part two of a unique entity. This was not a random choice but it sprang from the views that in- spired my teaching and the present book. I always held the opinion that University courses should be long, complex and articulated in many aspects. They should not aim at a quick transmission of calculating abilities and of ready to use information, rather they should be as much formative as informative. They should offer a gen- eral overview of a subject as seen by the professor, in this way giving the students the opportunity of developing their own opinions through the critical absorption of those of the teacher. One aspect that I always considered essential is the historical one, concerning on one side the facts, the life and the personalities of the scientists who shaped our present understanding, on the other hand concerning the usually intricate develop- ment of fundamental ideas. The second aspect to which I paid a lot of attention is the use of an updated and as much as possible rigorous mathematical formalism. Moreover I always tried to
1At that time Regge had shifted from the University to the Politecnico of Torino.
vii viii Preface convey the view that Mathematics should not be regarded as a technical tool for the solution of Physical Problems or simply as a language for the formulation of Physical Laws, rather as an essential integral part of the whole game. The third aspect taken not only into account but also into prominence, is the emphasis on important physical applications of the theory: not just exercises, from which I completely refrained, but the full-fledged ab initio development of relevant applications in Astrophysics, Cosmology or Particle Theory. The aim was that of showing, from A to Z, as one goes from the first principles to the actual prediction of experimentally verifiable numbers. For the reader’s or student’s convenience I included the listing of some computer codes, written in MATHEMATICA, that solve some of the posed problems or parts thereof. The aim was, once again formative. In the course of their theoretical studies the students should develop the ability to implement formal calculations on a machine, freeing themselves from the slavery to accidental errors and focusing instead all their mental energies on conceptual points. Furthermore implementation of formulae in a computer code is the real test of their comprehension by the learners, more efficient in its task than any ad-hoc prepared exercise. As for the actual choice of the included and developed material, I was inspired by the following view on the role of the course I used to gave, which I extended as a mission to the present book. General Relativity, Quantum Mechanics, Gauge Theories and Statistical Mechanics are the four pillars of the Physical Thought de- veloped in the XX century. That century laid also the foundations for new theo- ries, whose actual relations with the experimental truth and with observations will be clarified only in the present millennium, but whose profound influence on the current thought is so profound that no-one approaching theoretical studies can ig- nore them: I refer to supersymmetry, supergravity, strings and branes. The role of the course in General Relativity which I assumed as given, was not only that of presenting Einstein Theory, in its formulation, historical development and ap- plications, but also that of comparing the special structure of Gravity in relation with the structure of the Gauge-Theories describing the other fundamental inter- actions. This was specially aimed at the development of critical thinking in the student and as a tool of formative education, preparatory to the study of unified theories. The present one is a Graduate Text Book but it is also meant to be a self-contained account of Gravitational Theory attractive for the person with a basic scientific ed- ucation and a curiosity for the topic who would like to learn it from scratch, being his/her own instructor. Just as the original course given in Torino after the implementation of the Bologna agreements, this book is divided in two volumes: 1. Volume 1: Development of the Theory and Basic Physical Applications. 2. Volume 2: Black Holes, Cosmology and Introduction to Supergravity. Volume 1, starting from a summary of Special Relativity and a sketchy historical introduction of its birth, given in Chap. 1, develops the general current description of the physical world in terms of gauge connections and sections of the bundles on Preface ix which such connections are constructed. The special role of Gravity as the gauge theory of the tangent bundle to the base manifold of all other bundles is empha- sized. The mathematical foundations of the theory are contained in Chaps. 2 and 3. Chapter 2 introduces the basic notions of differential geometry, the definition of manifolds and fibre-bundles, differential forms, vector fields, homology and coho- mology. Chapter 3 introduces the theory of connections and metrics. It includes an extensive historical account of the development of mathematical and physical ideas which eventually lead to both general relativity and modern gauge theories of the non-gravitational interactions. The notion of geodesics is introduced and exempli- fied with the detailed presentation of a pair of examples in two dimensions, one with Lorentzian signature, the other with Euclidian signature. Chapter 4 is devoted to the Schwarzschild metric. It is shown how geodesics of the Schwarzschild metric retrieve the whole building of Newtonian Physics plus corrections that can be very tiny in weak gravitational fields, like that of the Solar System, or gigantic in strong fields, where they lead to qualitatively new physics. The classical tests of General Relativity are hereby discussed, perihelion advance and the bending of light rays, in particular. Chapter 5 introduces the Cartan approach to differential geometry, the vielbein and the spin connection, discusses Bianchi identities and their relation with gauge invariances and eventually introduces Einstein field equations. The dynamical equations of gravity and their derivation from an action principle are developed in a parallel way to their analogues for electrodynamics and non-Abelian gauge theories whose structure and features are constantly compared to those of gravity. The lin- earization of Einstein field equations and the spin of the graviton are then discussed. After that the bottom-up approach to gravity is discussed, namely, following Feyn- man’s ideas, it is shown how a special relativistic linear theory of the graviton field could be uniquely inferred from the conservation of the stress-energy tensor and its non-linear upgrading follows, once the stress-energy tensor of the gravitational field itself is taken into account. The last section of Chap. 5 contains the derivation of the Schwarzschild metric from Einstein equations. Chapter 6 addresses the issue of stellar equilibrium in General Relativity, derives the Tolman Oppenheimer Volkhoff equation and the corresponding mass limits. Next, considering the role of quantum mechanics the Chandrasekhar mass limits for white dwarfs and neutron stars are de- rived. Chapter 7 is devoted to the emission of gravitational waves and to the tests of General Relativity based on the slowing down of the period of double star systems. Volume 2, after a short introductory chapter, the following two chapters are de- voted to Black Holes. In Chap. 2 we begin with a historical account of the notion of black holes from Laplace to the present identification of stellar mass black holes in the galaxy and elsewhere. Next the Kruskal extension of the Schwarzschild solu- tion is considered in full detail preceded by the pedagogical toy example of Rindler space-time. Basic concepts about Future, Past and Causality are introduced next. Conformal Mappings, the Causal Structure of infinity and Penrose diagrams are discussed and exemplified. Chapter 3 deals with rotating black-holes and the Kerr-Newman metric. The usu- ally skipped form of the spin connection and of the Riemann tensor of this metric is calculated and presented in full detail, together with the electric and magnetic x Preface
field strengths associated with it in the case of a charged hole. This is followed by a careful discussion of the static limit, of locally non-rotating observers, of the horizon and of the ergosphere. In a subsequent section the geodesics of the Kerr metric are studied by using the Hamilton Jacobi method and the system is shown to be Liouville integrable with the derivation of the fourth Hamiltonian (the Carter constant) completing the needed shell of four, together with the energy, the angular momentum and the mass. The last section contains a discussion of the analogy be- tween the Laws of Thermodynamics and those of Black Hole dynamics including the Bekenstein-Hawking entropy interpretation of the horizon area. Chapters 4 and 5 are devoted to cosmology. Chapter 4 contains a historical out- line of modern Cosmology starting from Kant’s proposal that nebulae might be dif- ferent island-universes (galaxies in modern parlance) to the current space missions that have measured the Cosmic Microwave Background anisotropies. The crucial historical steps in building up the modern vision of a huge expanding Universe, which is even accelerating at the present moment, are traced back in some detail. From the Olbers paradox to the discovery of the stellar parallax by Bessel, to the Great Debate of 1920 between Curtis and Shapley, how the human estimation of the Universe’s size enlarged, is historically reported. The discovery of the Cepheides law by Henrietta Leavitt, the first determination of the distance to nearby galax- ies by Hubble and finally the first measuring of the universal cosmic recession are the next episodes of this tale. The discovery of the CMB radiation, predicted by Gamow, the hunt for its anisotropies and the recent advent of the Inflationary Uni- verse paradigm are the subsequent landmarks, which are reported together with bi- ographical touches upon the life and personalities of the principal actors in this exciting adventure of the human thought. Chapter 5, entitled Cosmology and General Relativity: Mathematical Descrip- tion of the Universe, provides a full-fledged introduction to Relativistic Cosmology. The chapter begins with a long mathematical interlude on the geometry of coset manifolds. These notions are necessary for the mathematical formulation of the Cosmological Principle, stating homogeneity and isotropy, but have a much wider spectrum of applications. In particular they will be very important in the subsequent chapters about Supergravity. Having prepared the stage with this mathematical pre- liminaries, the next sections deal with homogeneous but not isotropic cosmologies. Bianchi classification of three dimensional Lie groups is recalled, Bianchi metrics are defined and, within Bianchi type I, the Kasner metrics are discussed with some glimpses about the cosmic billiards, realized in Supergravity. Next, as a pedagogi- cal example of a homogeneous but not isotropic cosmology, an exact solution, with and without matter, of Bianchi type II space-time is treated in full detail. After this, we proceed to the Standard Cosmological Model, including both homogeneity and isotropy. Freedman equations, all their implications and known solutions are dis- cussed in detail and a special attention is given to the embedding of the three type of standard cosmologies (open, flat and closed) into de Sitter space. The concept of particle and event horizons is next discussed together with the derivation of exact formulae for read-shift distances. The conceptual problems (horizon and flatness) of the Standard Cosmological Model are next discussed as an introduction to the new Preface xi inflationary paradigm. The basic inflationary model based on one scalar field and the slow rolling regime are addressed in the following sections with fully detailed calculations. Perturbations, the spectrum of fluctuations up to the evaluation of the spectral index and the principles of comparison with the CMB data form the last part of this very long chapter. The last four chapters of the book provide a conceptual, mathematical and de- scriptive introduction to Supergravity, namely to the Beyond GR World. Chapter 6 starts with a historical outline that describes the birth of supersymme- try both in String Theory and in Field Theory, touching also on the biographies and personalities of the theorists who contributed to create this entire new field through a complicated and, as usual, far from straight, path. The chapter proceeds than with the conceptual foundations of Supergravity, in particular with the notion of Free Differential Algebras and with the principle of rheonomy. Sullivan’s structural the- orems are discussed and it is emphasized how the existence of p-forms, that close the supermultiplets of fundamental fields appearing in higher dimensional super- gravities, is at the end of the day a consequence of the superPoincaré Lie algebras through their cohomologies. The structure of M-theory, the constructive principles to build supergravity Lagrangians and the fundamental role of Bianchi identities is emphasized. The last two sections of the chapter contain a thorough account of type IIA and type IIB supergravities in D = 10, the structure of their FDAs, the rheo- nomic parameterization of their curvatures and the full-fledged form of their field equations. Chapter 7 deals with the brane/bulk dualism. The first section contains a concep- tual outline where the three sided view of branes as 1) classical solitonic solutions of the bulk theory, 2) world volume gauge-theories described by suitable world-volume actions endowed with κ-supersymmetry and 3) boundary states in the superconfor- mal field theory description of superstring vacua is spelled out. Next a New First Order Formalism, invented by the author of this book at the beginning of the XXI century and allowing for an elegant and compact construction of κ-supersymmetric Born-Infeld type world-volume actions on arbitrary supergravity backgrounds is de- scribed. It is subsequently applied to the case of the D3-brane, both as an illustration and for the its intrinsic relevance in the gauge/gravity correspondence. The last sec- tions of the chapter are devoted to the presentations of branes as classical solitonic solutions of the bulk theory. General features of the solutions in terms of harmonic functions are presented including also a short review of domain walls and some sketchy description of the Randall-Sundrun mechanism. Chapter 8 is a bestiary of Supergravity Special Geometries associated with its scalar sector. The chapter clarifies the codifying role of the scalar geometry in con- structing the bosonic part of a supergravity Lagrangian. The dominant role among the scalar manifolds of homogeneous symmetric spaces is emphasized illustrating the principles that allow the determination of such U/H cosets for any supergravity theory. The mechanism of symplectic embedding that allows to extend the action of U-isometries from the scalar to the vector field sector are explained in detail within the general theory of electric/magnetic duality rotations. Next the chapter provides a self-contained summary of the most important special geometries appearing in xii Preface
D = 4 and D = 5 supergravity, namely Special Kähler Geometry, Very Special Real Geometry and Quaternionic Geometry. Chapter 9 presents a limited anthology of supergravity solutions aimed at em- phasizing a few relevant new concepts. Relying on the special geometries described in Chap. 8 a first section contains an introduction to supergravity spherical Black Holes, to the attraction mechanism and to the interpretation of the horizon area in terms of a quartic symplectic invariant of the U duality group. The second and third sections deal instead with flux compactifications of both M-theory and type IIA supergravity. The main issue is that of the relation between supersymmetry preser- vation and the geometry of manifolds of restricted holonomy. The problem of super- gauge completion and the role of orthosymplectic superalgebras is also emphasized. Appendices contain the development of gamma matrix algebra necessary for the inclusion of spinors, details on superalgebras and the user guide to Mathematica codes for the computer aided calculation of Einstein equations. Moscow, Russia Pietro Giuseppe Frè University of Torino presently Scientific Counselor of the Italian Embassy in Moscow Acknowledgements
With great pleasure I would like to thank my collaborators and colleagues Pietro Antonio Grassi, Igor Pesando and Mario Trigiante for the many suggestions and discussions we had during the writing of the present book and also for their criti- cal reading of several chapters. Similarly I express my gratitude to the Editors of Springer-Verlag, in particular to Dr. Maria Bellantone, for their continuous assis- tance, constructive criticism and suggestions. My thoughts, while finishing the writing of these volumes, that occurred during solitary winter week-ends in Moscow, were frequently directed to my late parents, whom I miss very much and I will never forget. To them I also express my gratitude for all what they taught me in their life, in particular to my father who, with his own example, introduced me, since my childhood, to the great satisfaction and deep suffering of writing books. Furthermore it is my pleasure to thank my very close friend and collaborator Aleksander Sorin for his continuous encouragement and for many precious consul- tations.
xiii Contents
1 Special Relativity: Setting the Stage ...... 1 1.1 Introduction ...... 1 1.2 Classical Physics Between the End of the XIX and the Dawn oftheXXCentury...... 2 1.2.1MaxwellEquations...... 2 1.2.2 Luminiferous Aether and the Michelson Morley Experiment 4 1.2.3MaxwellEquationsandLorentzTransformations...... 6 1.3 The Principle of Special Relativity ...... 8 1.3.1 Minkowski Space ...... 10 1.4 Mathematical Definition of the Lorentz Group ...... 15 1.4.1 The Lorentz Lie Algebra and Its Generators ...... 16 1.4.2 Retrieving Special Lorentz Transformations ...... 18 1.5RepresentationsoftheLorentzGroup...... 19 1.5.1 The Fundamental Spinor Representation ...... 20 1.5.2 The Two-Valued Homomorphism SO(1, 3) SL(2, C) in the Four-Dimensional Case ...... 22 1.6 Lorentz Covariant Field Theories and the Little Group ...... 23 1.6.1 Representations of the Massless Little Group in D = 4... 27 1.7 Noether’s Theorem, Noether’s Currents and the Stress-Energy Tensor...... 28 1.8 Criticism of Special Relativity: Opening the Road to General Relativity...... 31 References ...... 32 2 Basic Concepts About Manifolds and Fibre Bundles ...... 35 2.1 Introduction ...... 35 2.2DifferentiableManifolds...... 36 2.2.1 Homeomorphisms and the Definition of Manifolds ..... 37 2.2.2 Functions on Manifolds ...... 42 2.2.3 Germs of Smooth Functions ...... 43 2.3 Tangent and Cotangent Spaces ...... 44
xv xvi Contents
2.3.1 Tangent Vectors in a Point p ∈ M ...... 45 2.3.2 Differential Forms in a Point p ∈ M ...... 49 2.4 Fibre Bundles ...... 51 2.5 Tangent and Cotangent Bundles ...... 58 2.5.1 Sections of a Bundle ...... 60 2.5.2 The Lie Algebra of Vector Fields ...... 62 2.5.3 The Cotangent Bundle and Differential Forms ...... 64 2.5.4 Differential k-Forms...... 66 2.6 Homotopy, Homology and Cohomology ...... 70 2.6.1Homotopy...... 72 2.6.2Homology...... 75 2.6.3 Homology and Cohomology Groups: General Construction 81 2.6.4RelationBetweenHomotopyandHomology...... 83 References ...... 84 3 Connections and Metrics ...... 85 3.1 Introduction ...... 85 3.2 A Historical Outline ...... 86 3.2.1 Gauss Introduces Intrinsic Geometry and Curvilinear Coordinates...... 87 3.2.2 Bernhard Riemann Introduces n-Dimensional Metric Manifolds...... 91 3.2.3 Parallel Transport and Connections ...... 94 3.2.4 The Metric Connection and Tensor Calculus from Christoffel to Einstein, via Ricci and Levi Civita . . . 94 3.2.5 Mobiles Frames from Frenet and Serret to Cartan .....102 3.3 Connections on Principal Bundles: The Mathematical Definition . 108 3.3.1 Mathematical Preliminaries on Lie Groups ...... 108 3.3.2 Ehresmann Connections on a Principle Fibre Bundle ....118 3.4 Connections on a Vector Bundle ...... 127 3.5 An Illustrative Example of Fibre-Bundle and Connection .....130 3.5.1 The Magnetic Monopole and the Hopf Fibration of S3 ...130 3.6 Riemannian and Pseudo-Riemannian Metrics: The Mathematical Definition ...... 136 3.6.1 Signatures ...... 137 3.7 The Levi Civita Connection ...... 139 3.7.1 Affine Connections ...... 140 3.7.2 Curvature and Torsion of an Affine Connection ...... 141 3.8 Geodesics ...... 144 3.9 Geodesics in Lorentzian and Riemannian Manifolds: Two Simple Examples...... 145 3.9.1 The Lorentzian Example of dS2 ...... 146 3.9.2 The Riemannian Example of the Lobachevskij-Poincaré Plane...... 151 References ...... 154 Contents xvii
4 Motion of a Test Particle in the Schwarzschild Metric ...... 157 4.1 Introduction ...... 157 4.2 Keplerian Motions in Newtonian Mechanics ...... 160 4.3 The Orbit Equations of a Massive Particle in Schwarzschild Geometry...... 162 4.3.1 Extrema of the Effective Potential and Circular Orbits . . . 165 4.4 The Periastron Advance of Planets or Stars ...... 170 4.4.1 Perturbative Treatment of the Periastron Advance .....174 4.5 Light-Like Geodesics in the Schwarzschild Metric and the Deflection of Light Rays ...... 179 References ...... 185 5 Einstein Versus Yang-Mills Field Equations: The Spin Two Graviton and the Spin One Gauge Bosons ...... 187 5.1 Introduction ...... 187 5.2LocallyInertialFramesandtheVielbeinFormalism...... 189 5.2.1TheVielbein...... 192 5.2.2 The Spin-Connection ...... 193 5.2.3 The Poincaré Bundle ...... 194 5.3 The Structure of Classical Electrodynamics and Yang-Mills Theories ...... 195 5.3.1 Hodge Duality ...... 198 5.3.2 Geometrical Rewriting of the Gauge Action ...... 199 5.3.3 Yang-Mills Theory in Vielbein Formalism ...... 200 5.4 Soldering of the Lorentz Bundle to the Tangent Bundle ...... 204 5.4.1 Gravitational Coupling of Spinorial Fields ...... 207 5.5EinsteinFieldEquations...... 209 5.6TheActionofGravity...... 211 5.6.1TorsionEquation...... 214 5.6.2TheEinsteinEquation...... 217 5.6.3 Conservation of the Stress-Energy Tensor and Symmetries of the Gravitational Action ...... 218 5.6.4ExamplesofStress-Energy-Tensors...... 219 5.7WeakFieldLimitofEinsteinEquations...... 220 5.7.1 Gauge Fixing ...... 222 5.7.2TheSpinoftheGraviton...... 225 5.8 The Bottom-Up Approach, or Gravity à la Feynmann ...... 227 5.9 Retrieving the Schwarzschild Metric from Einstein Equations . . . 233 References ...... 236 6 Stellar Equilibrium: Newton’s Theory, General Relativity, Quantum Mechanics ...... 237 6.1 Introduction and Historical Outline ...... 237 6.2TheStressEnergyTensorofaPerfectFluid...... 242 6.3 Interior Solutions and the Stellar Equilibrium Equation ...... 245 xviii Contents
6.3.1 Integration of the Pressure Equation in the Case ofUniformDensity...... 250 6.3.2TheCentralPressureofaRelativisticStar...... 254 6.4 The Chandrasekhar Mass-Limit ...... 256 6.4.1 The Degenerate Fermi Gas of Very Many Spin One-Half Particles...... 256 6.4.2 The Equilibrium Equation ...... 264 6.4.3 Polytropes and the Chandrasekhar Mass ...... 267 6.5 Conclusive Remarks on Stellar Equilibrium ...... 270 References ...... 271 7 Gravitational Waves and the Binary Pulsars ...... 273 7.1 Introduction ...... 273 7.1.1TheIdeaofGWDetectors...... 274 7.1.2 The Arecibo Radio Telescope ...... 276 7.1.3 The Coalescence of Binaries and the Interferometer Detectors...... 278 7.2 Green Functions ...... 280 7.2.1 The Laplace Operator and Potential Theory ...... 283 7.2.2 The Relativistic Propagators ...... 284 7.3 Emission of Gravitational Waves ...... 286 7.3.1 The Stress Energy 3-Form of the Gravitational Field ....286 7.3.2 Energy and Momentum of a Plane Gravitational Wave . . . 288 7.3.3 Multipolar Expansion of the Perturbation ...... 291 7.3.4 Energy Loss by Quadrupole Radiation ...... 295 7.4 Quadruple Radiation from the Binary Pulsar System ...... 298 7.4.1KeplerianParametersofaBinaryStarSystem...... 298 7.4.2 Shrinking of the Orbit and Gravitational Waves ...... 301 7.4.3TheFateoftheBinarySystem...... 306 7.4.4 The Double Pulsar ...... 307 7.5 Conclusive Remarks on Gravitational Waves ...... 308 References ...... 309 8 Conclusion of Volume 1 ...... 311 Appendix A Spinors and Gamma Matrix Algebra ...... 312 A.1 Introduction to the Spinor Representations of SO(1,D− 1) 312 A.2 The Clifford Algebra ...... 312 A.3 TheChargeConjugationMatrix...... 314 A.4 Majorana, Weyl and Majorana-Weyl Spinors ...... 316 A.5 A Particularly Useful Basis for D = 4 γ -Matrices.....317 Appendix B Mathematica Packages ...... 318 B.1 Periastropack ...... 318 B.2 Metrigravpack ...... 324 Index ...... 331 Chapter 1 Special Relativity: Setting the Stage
For a superficial observer, scientific truth is beyond the possibility of doubt; the logic of science is infallible, and if the scientists are sometimes mistaken, this is only from their mistaking its rule. . . Henri Poincaré
1.1 Introduction
General Relativity and Special Relativity are both credited to Einstein yet, while for the former he has an absolute credit beyond any possible doubt, the latter, notwith- standing Einstein’s essential role in its formulation, appears to spring from the work of several distinguished actors. As a matter of fact, Special Relativity was coming to ripeness in the scientific community just at the time it was formulated by Ein- stein and, although it is always risky to make such statements, I think that it might have been introduced by someone else, also in the case Einstein did not publish it in 1905. The main difference between these two theoretical developments, that are historically separated by a decade of studies, resides in the following. Special Rel- ativity grew from the need to reconcile the theory with some experimental facts, namely the independency of light-speed from the state of motion of the observer, which was revealed by the Michelson and Morley experiment, and the invariance of Maxwell equations with respect to transformations different from those of Galileo, that was discovered by Lorentz. On the contrary General Relativity was not moti- vated by any new experimental data, rather it sprang from a pure logical need, that of formulating the laws of physics in a frame independent way, equally good for any observer, irrespectively of his state of motion. The awareness of such a logical need was probably present in Einstein’s mind before 1905, yet it is doubtful that it might have developed into a concrete research programme without the intermediate step of Special Relativity. Indeed, once Lorentz group replaced Galilei group on the throne of inertial frames, the logical need of liberating physics from privileged observers was accompanied by another urgent clash: the Lorentz non-invariance of Newton’s theory of gravitation. To solve this problem what was required was a substantial mathematical upgrad- ing of early XX century Physics. Differential geometry and the theory of metrics and connections had parallelly developed in Mathematics, starting with the 1828
P.G. Frè, Gravity, a Geometrical Course, DOI 10.1007/978-94-007-5361-7_1, 1 © Springer Science+Business Media Dordrecht 2013 2 1 Special Relativity: Setting the Stage paper of Gauss on curved surfaces and, through the work of Riemann, Christof- fel, Ricci-Curbastro, Bianchi, Levi Civita and the young Cartan, had reached a high degree of development. It was time to adapt Physics to this higher level mathemati- cal language and to incorporate the basic concepts of the new geometry among the building blocks utilized to formulate the fundamental laws of Nature. Einstein did so with General Relativity, discovering that gravitation is nothing else but a mani- festation of the curvature of space-time, interpreted as a Riemannian differentiable manifold. Curiously, Maxwell Theory which, via its Lorentz covariance, motivated Special Relativity, was also a theory of curvature in disguise: the curvature of a principle connection on a fibre-bundle. Indeed Electromagnetism is the simplest ex- ample of what we name nowadays gauge-theories and the electromagnetic potential Aμ is the simplest example of a principal connection. Today we know that more complicated connections on non-Abelian principal bundles describe the other non- gravitational fundamental interactions.
1.2 Classical Physics Between the End of the XIX and the Dawn of the XX Century
James Clerk Maxwell (see Fig. 1.1) put Classical Physics into perfection perform- ing, after that encoded in Newton’s Law, the second great unification of Physics. Before Maxwell there were, on one side, electrostatics, electrodynamics and mag- netism and there was optics on the other. After Maxwell there stood only elec- tromagnetism and its corollary, namely propagating electromagnetic waves, which provide the explanation of what light is. Yet, while completing the classical build- ing, Maxwell opened into it a small window, through which a completely different vision of Physics slept in, first silently and almost reluctantly, to develop then, over the short period of just a few years, into a revolutionary reframing of the whole fabrics of physical thinking.
1.2.1 Maxwell Equations
In his scientific masterpiece [2], Maxwell summarized into four differential equa- tions for the electric field E(t, x) and the magnetic field B(t, x) all the laws of elec- tricity and magnetism that had been explored in the course of the XIX century. When written in the standard notation of three-dimensional vector calculus, they read as follows:
∇·B = 0 (1.2.1) 1 ∂B ∇×E + = 0 (1.2.2) c ∂t ∇·E = 4πρ (1.2.3) 1.2 Classical Physics Between the End of the XIX and the Dawn of the XX Century 3
Fig. 1.1 James Clerk Maxwell (1831–1879) had a short life of only 47 years since he died from ab- dominal cancer in 1879, while he was the first occupant of the Cavendish Professor Chair at Cam- bridge University. He was born in Edinburgh from a family belonging to the peerage, namely to the upper nobility. He studied first at the Edinburgh Academy, then at the University of Edinburgh and finally at Cambridge University, which he attended as a member of the Trinity College (from 1850 to 1856). After finishing studies in mathematics at Cambridge, Maxwell was in Scotland, where he was professor in Aberdeen. Then in 1860 he made return to England with an appointment by the King’s College in London. After his resignation from King’s in 1865 he was once again in Scotland with his wife and lived on his estates. Finally in 1871 he was appointed by Cambridge as first Cavendish professor. The Treatise on Electricity and Magnetism, which contains a complete exposition of Maxwell Equations, was published in 1873 on the basis of previous articles that had appeared starting from 1861. Actually Maxwell began to study electromagnetism already in the years 1855–1856, while he was graduating from Cambridge. The first proposal that light might be identified with an electromagnetic wave dates to an article written by Maxwell in 1864 [1]. Be- sides his fundamental work on Electromagnetism, Maxwell gave other fundamental contributions to mathematical physics. One was the explanation of the nature of Saturn’s rings that Maxwell demonstrated to be necessarily composed of dust of small rocky grains. The other monumental achievement of Maxwell studies is of course in the field of Thermodynamics where, independently from Boltzmann, he formulated in 1866 the kinetic theory of gases and introduced the celebrated Maxwell distribution, which gives the fraction of gas molecules moving at a specified velocity at any given temperature
1 ∂E 4π ∇×B − = J (1.2.4) c ∂t c If we introduce indices i, j, k = 1, 2, 3 for the vector components, the above equa- tions take the following appearance:
i ∂iB = 0 (1.2.5) 1 ∂Bi εij k ∂ E + = 0 (1.2.6) j k c ∂t i ∂iE = 4πρ (1.2.7) 4 1 Special Relativity: Setting the Stage
1 ∂Ei 4π εij k ∂ B − = J i (1.2.8) j k c ∂t c where, in both notations, ρ denotes the electric charge density and J i the electric charge current. The number c appearing in the above equations has the dimension of a velocity and the genius of Maxwell led him to think that it was just the speed of light. His guess was motivated by the observation that in the vacuum, ρ = J i = 0, namely in regions where there are neither charges nor currents, by taking a further derivative ∇× of (1.2.2) one obtains that all three components of the electric field E satisfy the d’Alembert propagation equation with velocity c:
1 ∂2 ∇2E = E (1.2.9) c2 ∂t2 With a similar procedure one obtains that in the vacuum, also the magnetic field satisfies the same propagation equation:
1 ∂2 ∇2B = B (1.2.10) c2 ∂t2 Hence Maxwell concluded that there are electromagnetic waves and he rightly guessed that visible light consists of nothing else but electromagnetic waves belong- ing to a particular region of the possible frequency spectrum. The first experimental detection of electromagnetic waves was done by Heinrich Rudolf Hertz1 in the mid eighties of the XIX century, already after the death of Maxwell.
1.2.2 Luminiferous Aether and the Michelson Morley Experiment
To the mind of XIX century physicists, the pillar of whose thinking was Newtonian mechanics, the detection of electromagnetic waves posed a severe problem. All the waves they knew corresponded to the propagation of oscillations of some mechan- ical medium. Hence a so far unknown medium, pervading the whole Universe, had to exist, whose propagating oscillations the humans perceived as electromagnetic waves. Such a substance was named Luminiferous aether, following an old idea dating back to Newton himself. The seed of disruption of Newtonian physics was already contained in Maxwell equations, since, as Lorentz demonstrated few years
1Heinrich Rudolf Hertz, had a short life. He died in Bonn in 1894 at the age of thirty six. He was born in Hamburg in 1857. In his laboratory at the University of Karlsruhe, where he had been appointed full professor, Hertz constructed the first dipole antennas, both transmitter and receiver and in this way produced the first radio waves demonstrating the existence of the electromagnetic waves implied by Maxwell theory. 1.2 Classical Physics Between the End of the XIX and the Dawn of the XX Century 5
Fig. 1.2 The Michelson Morley interferometer experiment. Albert Abraham Michelson (1852–1931) obtained the American citizenship and lived most of his life in the States, but he was born in Prussia in a Jewish family. He was the first American to get a Nobel Prize for science, which he obtained in 1907. The initial scientific career of Michelson developed in the American Navy which he left in 1881 to become professor of Physics in Cleveland, Ohio, after having visited several European Univerisities. Edward Williams Morley (1838–1923) was also American, being born in Newark, New Jersey. He held a chair as professor of Chemistry at the Case Western Reserve University in Cleveland. There, together with Michelson, he constructed the famous interferometer experiment. The Michelson Morley apparatus is conceptually identical to the modern interferom- eters, devised as detectors of gravitational waves. It aimed instead at measuring the motion of the Earth with respect to the luminiferous aether. The absolutely negative result of this experiment was a puzzle which could be resolved only by the theory of Special Relativity later, they are not invariant against the transformations of the Galilei group, that is the foundation stone on which the whole Newtonian building stands. Yet in the mid 18-eighties this fact was still unnoticed. So it was concluded that the existence of the Luminiferous aether was a logical necessity and it was also concluded that the aether provided the means of defining an absolute reference frame, that one where aether is at rest. In 1887 the two American scientists, Michelson and Morley con- structed their interferometric apparatus aimed at measuring the velocity of the Earth with respect to the aether (see Fig. 1.2). Indeed since Earth moves, the speed of light cannot be the same in all directions and at all times throughout the year. In some directions and at some times, light goes against the Earth movement, in some other almost along it. Hence one should necessarily measure interference fringes due to this fact. Yet subtle is the Lord, according to a famous phrasing of Einstein, and no such fringes were detected. The speed of light seemed to be the same in all direc- tions and at all times. This negative result was received as a puzzle by the scientific community and caused a lot of thinking. In particular it motivated Hendrik Antoon 6 1 Special Relativity: Setting the Stage
Lorentz to look deeper into the transformation rules from one reference frame to another that are consistent with Maxwell equations.
1.2.3 Maxwell Equations and Lorentz Transformations
The equations of Newtonian mechanics are invariant under Galileo transformations that connect two relatively inertial systems. Let us denote by {t,x,y,z} the time and space coordinates of a certain physical event in the coordinate frame O and {t,x,y,z} those of the same event in the coordinate frame O. By hypothesis the two frames (or observers) are in relative motion with constant velocity v with respect to each other. Just for simplicity and without any loss of generality let us suppose that the relative motion of the two frames is along the x-axis as shown in Fig. 1.3. The dogma of Galilean-Newtonian Physics was that time is universal and the same for every one. So the Galileo transformation from one reference frame to the other is described by the following simple formula: ⎛ ⎞ ⎛ ⎞ t t ⎜x ⎟ ⎜x + vt ⎟ ⎜ ⎟ = ⎜ ⎟ (1.2.11) ⎝y ⎠ ⎝ y ⎠ z z
Analogous transformations can be written for all the other axes and, together with the rotations, the set of all Galileo transformations turns out to be a Lie group with six paramete‘rs given by the three Euler rotation angles and the three components of the relative velocity {vx,vy,vz}. The astonishing discovery of Lorentz (see Fig. 1.4), published in his 1904 pa- per [3], is that Maxwell equations are not invariant under Galileo transformations, rather they are invariant against modified transformations that break the dogma of universal time and introduce the speed of light c. The special Lorentz transformation which replaces the Galileo transformation (1.2.11) is the following one:
Fig. 1.3 Two inertial reference frames moving with constant relative velocity along the x-axis 1.2 Classical Physics Between the End of the XIX and the Dawn of the XX Century 7
Fig. 1.4 Hendrik Antoon Lorentz (1853–1928) was Dutch by nationality. In 1902 the Nobel Prize in Physics was shared by Lorentz with Pieter Zeeman for the theoretical explanation of the phe- nomenon discovered by the latter and named after him. Hendrik Lorentz was born in Arnhem. He studied physics and mathematics at the University of Leiden, of which, later he became a professor. His doctoral degree was earned in 1875 under the supervision of Pieter Rijke with a thesis entitled “On the theory of reflection and refraction of light”, in which he refined the electromagnetic theory of James Clerk Maxwell. The proposal that moving bodies contract in the direction of motion was put forward by Lorentz in a paper of 1895 arriving at the same conclusion that had been reached also by George FitzGerald. Lorentz discovered that the transition from one reference frame to an- other could be simplified by using a new time variable which he called local time. In 1900, Henri Poincaré called Lorentz’s local time a “wonderful invention” and illustrated it by showing that clocks in moving frames are synchronized by exchanging light signals that are assumed to travel at the same speed against and with the motion of the frame. The transformations that we denote Lorentz transformations, following the name given to them by Poincaré in 1905, were published by Lorentz in a paper of 1904
⎛ ⎞ ⎛ ⎞ √ 1 (t + v x) − v 2 c2 t ⎜ 1 ( c ) ⎟ ⎜ ⎟ ⎜ 1 ⎟ ⎜x ⎟ = ⎜ √ (x + vt) ⎟ ⎝ ⎠ ⎜ 1−( v )2 ⎟ (1.2.12) y ⎝ c ⎠ z y z where c is the speed of light and v the relative velocity of the two frames. It is ev- ident from their mathematical form that when v c the Lorentz transformation is approximated extremely well by the Galileo transformation (1.2.11). Just as in the Galileo case, one can write similar transformations for the cases where the relative motion occurs along other axes and mix them with ordinary rotations, building up, at the end of the day, another six parameter group of transformations. Such a group has a simple mathematical name, i.e.,SO(1, 3), since it contains all the 4 × 4 matrices that leave invariant a quadratic form with one positive and three negative eigenval- 8 1 Special Relativity: Setting the Stage ues. It is not clear from the 1904 paper [3] that Lorentz was aware of the group structure he had discovered. Indeed in order to see such a structure one needs to change variables in a way which is somewhat involved. The right change of param- eters could come only from a new physical principle that was the mission of Albert Einstein to clarify, in his celebrated 1905 paper On the electrodynamics of mov- ing bodies [4], and that of Minkowski to interpret geometrically. In previous years, starting from 1895, in an attempt to explain the puzzle provided by the Michelson Morley experiment, Lorentz had proposed that moving bodies contract in the direc- tion of motion and, to the present time, this relativistic effect is named the Lorentz contraction. He also realized that the transition from one reference frame to another could be simplified by using a new time variable which he called local time [5]. Such local time depended on two variables, the first is what Lorentz regarded as the universal time t, but was simply the time of one of the two considered frames. The second variable entering the formula for the local time was the space-location under consideration. In 1900, Henri Poincaré declared that Lorentz’s local time was a wonderful invention and illustrated it by showing that clocks in moving frames are synchronized by exchanging light signals that are assumed to travel at the same speed in both directions, namely when they travel against and when they travel with the motion of the frame.
1.3 The Principle of Special Relativity
It should be clear to the reader of the previous pages that all the tiles of the puzzle were, by the end of 1904, ready and just waited a clear logical mind such as that of Einstein to be assembled together in a meaningful picture. On one side Michelson Morley experiment had shown that light travels always at the same speed, indepen- dently from the state of motion of its observer. Secondly Lorentz had shown that the most important Laws of Nature, apart from Newton’s law of gravitational attraction, namely those codified in Maxwell equations, are covariant not with respect to the transformations of the Galilei group, rather with respect to another set of transfor- mations, those that bear his name. Albert Einstein (see Fig. 1.5) transformed these two facts into the axioms of his new Theory of Special Relativity: (a) The speed of light c is constant and the same in all inertial reference frames. (b) All the Laws of Nature should, like Maxwell equations, have a form, in inertial reference frames, that is covariant with respect to Lorentz transformations. Said differently, the correct transformations from one inertial frame to another are those of Lorentz and rather than searching for complicated interpretations of Lorentz covariance of electrodynamics, one should rather concentrate on mechanics and change the laws of Newtonian mechanics so that they become Lorentz covariant. Einstein showed that these principles implied a critical revision of the concept of contemporaneity. Namely events that happen at the same time for one inertial observer may happen at different times for another observer in relative motion with 1.3 The Principle of Special Relativity 9
Fig. 1.5 Albert Einstein (1879–1955) is the most famous of all physicists of the XX century and he is the principal actor in the story told in the present book. He was born in Ulm, Germany, and died in Princeton in the USA. His citizenship changed three times. Born German he became Swiss, than German again and finally American citizen. He was awarded the Nobel Prize in 1921 for his discovery of the law of the photoelectric effect. This discovery is contained in one of his three fundamental papers of 1905, dealing respectively with the photoelectric phenomenon, the Brownian motion of molecules and the third on Special Relativity. His major achievement, namely the Theory of General Relativity was published in 1915 after a decade of studies. We do not dwell here on Einstein’s biography, since many books have been published on the subject. Moreover his thoughts and ideas will be constantly recalled throughout the development of the present book and many citations will occur respect to the first. Secondly using various arguments he showed that the Principle of Special Relativity implied the equivalence of mass and energy, according to the celebrated formula E = mc2. The meaning of this equivalence is that, even when at rest, a particle of mass m has an energy, which through interaction with other particles or radiation can be extracted or exchanged. For instance a massive particle can decay by means of the emission of a light particle endowed with high kinetic energy and this kinetic energy is subtracted from the rest energy of the decaying particle. The remnant of the decay has necessarily a lower mass than its predecessor. The essential implication of Einstein new approach to the formulation of natu- ral laws was the suppression of the ancestral separation of time from space and the fusion of the former with the latter into a newly born stage for physical processes, named space-time. Intuitively this latter is a continuous space, whose points, named the events are labeled by four parameters, the first of which t, defines when the event occurred, while the last three x, y, z define where it happened. It was the historical mission of Hermann Minkowski (see Fig. 1.6) to make this intuitive idea mathematical sound and construct explicitly the geometrical arena of special rela- tivity. In terms of Minkowski space the formulation of special relativistic theories becomes extremely simple and Einstein ideas become algorithmic. 10 1 Special Relativity: Setting the Stage
Fig. 1.6 Hermann Minkowski (1864–1909) was born in Lithuania, belonging at that time to the Russian Empire. His family was Jewish, partly of Lithuanian, partly of Polish descent. His higher education, however, was German and took place in the historical University of Königsberg, where Immanuel Kant had taught and developed his philosophical ideas one century before. Having become a refined mathematician, whose scientific interests centered on the theory of quadratic forms, Minkowski received prestigious international recognition, including a Prize from the French Academy of Sciences and taught in various Universities of Germanic language, Bonn, Göttingen, Könisberg and Zürich. In the Swiss Polytechnic of Zürich he happened to be one among the teach- ers of Albert Einstein. Since 1902 he was appointed professor in Göttingen and became one of the closest friends and collaborators of David Hilbert. It was just in 1907, two years after the 1905 paper by Einstein and two years before his premature death that he had the brilliant idea of inter- preting Special Relativity in terms of a continuous geometrical space that joined space and time together and was endowed with the metric which bears his name and is invariant under Lorentz transformations
1.3.1 Minkowski Space
The basis of Minkowski’s construction is the realization that the two pillars of Spe- cial Relativity, i.e. constancy of light velocity and Lorentz covariance are just two sides of the same medal. Let us introduce a four-dimensional vector space MMink whose elements are m-tuplets of real numbers named the events: μ 0 1 2 m−1 MMink x = x ,x ,x ,...,x (1.3.1) =ct where c denotes the speed of light and t the coordinate time; in this way x0 denotes the when and xi (i = 1,...,D − 1) the where of a physical event. The statement that MMink is a vector-space implies that events can be summed and subtracted:
μ μ μ μ μ ∀x ,y ∈ MMink : x + y = z ∈ MMink (1.3.2) 1.3 The Principle of Special Relativity 11 or more generally linearly combined:
μ μ μ μ μ ∀x ,y ∈ MMink and ∀λ,ρ ∈ R : λx + ρy = z ∈ MMink (1.3.3)
These are the same properties with which three-dimensional space is endowed in classical Newtonian mechanics and in Euclidian geometry which provides its math- ematical basis. A Euclidian m-dimensional space Em Rm admits a global notion of distance between any two points based on the existence of a scalar product. The latter is a quadratic bilinear symmetric form on Em:
, :Em ⊗ Em =⇒ R ∀x, y ∈ Em : R x, y = y, x (1.3.4) ∀x, y, z ∈ Em and ∀λ,ρ ∈ R : λx + ρy, z =λ x, z +ρ y, z which is also assumed to be non-degenerate and positive definite:
∀y ∈ Em x, y =0 ⇒ x ≡ 0 (1.3.5) ∀x ∈ Em : x, x > 0 (1.3.6) x, x =0 ⇒ x = 0 (1.3.7)
Typically the scalar product in a Euclidian space is given by the sum of squares of the vector components: