On the Geometry of Null Congruences in General Relativity*

Total Page:16

File Type:pdf, Size:1020Kb

On the Geometry of Null Congruences in General Relativity* Proc. Indian Acad. Sci., Vol. 85 A, No. 6, 1977, pp. 546-551. On the geometry of null congruences in general relativity* ZAFAR AHSAN AND NIKHAT PARVEEN MALIK Department of Mathematics, Aligarh Muslim University, Aligarh 202001 MS received 16 August 1976; in revised form 5 January 1977 ABSTRACT Some theorems for the null conguences within the framework of general theory of relativity are given. These theorems are important in themselves as they illustrate the geometric meaning of the spin coeffi- cients. The newly developed Geroch-Held-Penrose (GHP) formalism has been used throughout the investigations. The salient features of GHP formalism that are necessary for the present work are given, and these techniques are applied to a pair of null congruences C (1) and C(n). 1. REVIEW OF THE TECHNIQUES SUPPOSE that two future pointing null directions are assigned at each point of the space-time. We can choose, as two of our tetrad vectors, two null vectors la, na (a, b,. — 1, 2, 3, 4) which point in these two directions and lava = 1 and the remaining tetrad vectors may be taken as Xa and Ya ortho- gonal to each la and na and to each other and also ma = 1/A/2 (Xa + iYa) and •Q = 1/x/2 (Xa — iYa), where a bar denotes the complex conjugation. If the scalar 7), with respect to the tetrad (la, ma, nza, na), undergoes the transformations _P aq (1) whenever la, na, ma and ma transform according as la ^ rla na . t.-1 l a ma -^ e^ 0 ma lilya-io ma (2) * Partially supported by a Junior Research Fellowship of Council of Scientific and Indu-- trial Research (India) under grant No. 7/112/358/73-GAU-I. 546 GEOMETRY OF NULL CONGRUENCES 547 where r and 8 are related by A 2 = re then we say that 71 is a spin- and boost-weighted scaler of type {p, q}. The spin-weight is 1/2 (p — q) and the boost-weight is 112 (p + q). Now suppose that oA and LA (A, B, ... = 1, 2) be a pair of spinor fields on the space-time normalized by OA LA = 1. (3) Such a pair of spinor fields is called a dyad or spin-frame. Also A oA', la = OA OA' , ma = oA 1A' , )7na = L L LA Z A' . (4) The twelve spin coefficients' in terms of dyad are K = OA OA' OB V AA OB ; Kr = — LA IA/ LB D AEI' La A 1A' Q =0 OBQdA'OB a = — LA O A' LB 0AA' LB; P = LA 0A' v V AA'OB ; P / = — OA L A' LB 0 AA' LB e (5) — A -A' B T L L O D AA' OB T = — 0A0A' LB VAA' LB; ^,q AI = V 6 LB 7 AN OB ^ F' ' = — LA OA' 0B7 AA 1 LB A' B ^7 E= O t ^/AA' Oa Er =— LA LA, OB VAA'LB. (6) The above notation differs from that of originally given by Newman-Pen- rose in that we have used only six different Greek letters rather than twelve. The relationship between the other six and that of ours is given by V = — K ' , A= —a, µ= —P, 7T —T, a=—/3', y=—e'. (7) The role of covariant derivative operator V a in Newman-Penrose formalism is given by A D = 0 0A' V AA' = 1a 7,, D' = LA 1A' V AA' = i1a V a, 8 = OA 1A' V AA' = ma V a, a, LA 0A' V AA' = in-a V a. (8) In the dyad or spin-frame the tetrad vectors la, na transform according as 0A -^ AO's, (9) and in terms of null tetrad, the transformation (9) has the form la --^ 1a la, ma AX 1 ma, ma -. A- 1 a tna, na -a A-' n 1 na. (10) Now we can say that a scaler q of type (p, q) is a quantity which transformed as AP Aq whenever the dyad (0A, LA) is changed according to (9) or the null tetrad is changed according to (10). A18—June 77 548 ZAFAR AIISAN AND NIKMAT PAP-VEEN MALIK The spin coefficients in (5) and (6) may now be divided into two classes according to whether or not they are proper spin- and boost-weighted quantities. Out of the twelve spin coefficients, only eight are found to be of good weight. These eight are given in the list (5). The role of the other remaining four spin coefficients appear in the definition of the derivative operators P (pronounced as thorn), P', z' (pronounced as edth) and defined for r9 of type {p, q} as: Pq=(D — pe — P'"1 =(D'+pe'+ga') , 7, qi)m " ^' ,1 = (S — pp + qq') , 71 = (S' -f- pR' — qP) 7]. (11) Uptill now this is just the standard GHP-formalism (we have given only that part of the formalism which is necessary for the present work, the details may be seen in the paper of Geroch, Held and Penrose 2). Using the for- malism just developed, we shall now obtain- certain results that will be used in section 2. With some calculations, we obtain the following basic equations. V a lb=—(P'—D ')la lb—Tla mb—Tla mb—(P—D)na lb Kna mb — Kna mb + (' — 8') ma lb + ama mb +Pmamb+(^' — 8)th a lb +Pmamb+amamb, (12) \anb =(P' — D')la nb —'' 1a mb —ic'la mb+(P — D)na nb T'na mb —T narnb — (^" — b')manb+Q mamb } p'ma mb -- (^' — 8) ma nb + P' ma mb + a ma mb, (13) i a mb=—is''a lb—Tla nb+(P'— D') /a mb—T' na1b — Kna nb „ +(P — D)namb+P'malb+Pmanb+(^ — 8') ma mb -1 a'ma lb + ama nb + (^' — 8) ma mb. (14) The equation for p a rnb is not written as it is just the complex conjugate of equation (14). Contracting equations (12), (13) and (14), we obtain Da la-- (p+P)—(P—D), (15) — Vana — (p' P')+(P' — D'), (16) V a ma=— (T'+T)—(^' -8). (17) The following simplifications shall also be useful in the later investigations: V[alb) = —2 (P — D)I(anb) — (? — "+ 5 ')I[amb] —(T—^'+8)I[a ^nb^ — Kn[ainbi — Kn[ainb^ f 2i(P — P)m[amba, (18) V[anb] = 2 (P — D)lfanb) — K'Ifamb1 —' 1[amb3 — (— z — b" + S') n[ a m b + (— T' — ^' + 8) n[ a m b] — 2i (p' — 0 m [ a fn b ., (19) GEOMETRY OF NULL CONGRUENCES 549 V ( amb) = — (T—T)lia nb J —(2i(P' — D')+P')lramb] —o' lra?nb] — (2i(P—D) +p) n[amb] ntamb]—G)' — 8 ) mcamb] (20) When GHP-derivatives (11) act on tetrad vectors, they give rise to (a) Pla = — Kma — K ma, (b) P' la = — T ma — T ma "1a = (c) '1a = — Pma — Q ma, (d) — vma — Pma, (21) (a) Pna = T'ma — T" ma, (b) P' n°" = — K' ma — K' ma, (c) 'na = — p' ma — a' ina, (d) b"na = —5'n — o' may (22) (a) Pma = — ^'la — Kna, (b) P'ma = — K la — Tn°, ma = — 'la — (23) (c) 'ma — _ v la — a na, (d) 2 p p71°, (a)Pma= —T la — icna, (b) P'ina=— K'1a —Tna, (c) 'ma = — a' la — a na, (d) „ ma = — p' la — p na. (24) 2. THEORY OF CONGRUENCES OF NULL CURVES In this section, we shall study the theory of congruences of null curves by giving certain theorems. These theorems originate in the works of Sachs 3 and later on was given by Newman and Penrose' in spin coefficients formalism. We shall mention here the statements of these theorems using the techniques of section 1, the proofs can easily be obtained. These theorems are important as they illustrate the geometrical meaning of the scalers in the list (5) and (6). THEOREM 1. The null congruence C(1) is geodesic if and only if K = 0 and by a suitable scaling, we may set P' — D' = 0. THEOREM 2 . The null congruence C (n) is geodesic if and only if K = 0 and by a suitable scaling, we may set P' — D' = 0. THEOREM 3. If we choose P — D = 0, then the tetrad (la, ma, Ana, na) undergoes parallel displacement along C (1) when K = - T ' = 0. THEOREM 4. If we choose P' — D' = 0, then the tetrad (la, ma, Ana, ra) undergoes parallel displacement along C (n) when — K' = r = 0. THEOREM 5. The null congruence C (1) is geodesic if and only if 1 [ bP1a ] =0. THEOREM 6 . The null congruence C (n) is geodesic if and only if n tbP'na ] — 0. 550 ZAFAR AHSAN AND NIKHAT PARVEEN MALIK We shall use the following lemma in our later investigations. LEMMA. Let C(1) be a null geodesic congruence, then 1 [a V b lc] = 0 is equivalent to p = P. According to Schouten4 the condition k[aV b = 0 is the necessary and sufl'ioient condition for the congruence C (k) to be hypersurface forming and thus by the lemma stated above, we have THEOREM 7. The null vector field l is hypersurface forming if and only if K=0 and p=p. THEOREM 8. The null vector field n is hypersurface forming if and only if K' = 0, and p' = p' . THEOREM 9 . If C (1) is an integrable hypersurface forming null con- gruence then T = — (i' — 8) and — (P — D) = 0. THEOREM 10. If C(n) is an integrable hypersurface forming null congruence then T = — (h" — 8') and — (P' — D') = 0. Now, calculating the dual of eq.
Recommended publications
  • Transverse Geometry and Physical Observers
    Transverse geometry and physical observers D. H. Delphenich 1 Abstract: It is proposed that the mathematical formalism that is most appropriate for the study of spatially non-integrable cosmological models is the transverse geometry of a one-dimensional foliation (congruence) defined by a physical observer. By that means, one can discuss the geometry of space, as viewed by that observer, without the necessity of introducing a complementary sub-bundle to the observer’s line bundle or a codimension-one foliation transverse to the observer’s foliation. The concept of groups of transverse isometries acting on such a spacetime and the relationship of transverse geometry to spacetime threadings (1+3 decompositions) is also discussed. MSC: 53C12, 53C50, 53C80 Keywords: transverse geometry, foliations, physical observers, 1+3 splittings of spacetime 1. Introduction. One of the most profound aspects of Einstein’s theory of relativity was the idea that physical phenomena were better modeled as taking place in a four-dimensional spacetime manifold M than by means of parameterized curves in a spatial three-manifold. However, the correspondence principle says that any new theory must duplicate the successes of the theory that it is replacing at some level of approximation. Hence, a fundamental problem of relativity theory is how to reduce the four-dimensional spacetime picture of physical phenomena back to the three-dimensional spatial picture of Newtonian gravitation and mechanics. The simplest approach is to assume that M is a product manifold of the form R×Σ, where Σ represents the spatial 3-manifold; indeed, most existing models of spacetime take this form.
    [Show full text]
  • Lecture Notes on General Relativity Columbia University
    Lecture Notes on General Relativity Columbia University January 16, 2013 Contents 1 Special Relativity 4 1.1 Newtonian Physics . .4 1.2 The Birth of Special Relativity . .6 3+1 1.3 The Minkowski Spacetime R ..........................7 1.3.1 Causality Theory . .7 1.3.2 Inertial Observers, Frames of Reference and Isometies . 11 1.3.3 General and Special Covariance . 14 1.3.4 Relativistic Mechanics . 15 1.4 Conformal Structure . 16 1.4.1 The Double Null Foliation . 16 1.4.2 The Penrose Diagram . 18 1.5 Electromagnetism and Maxwell Equations . 23 2 Lorentzian Geometry 25 2.1 Causality I . 25 2.2 Null Geometry . 32 2.3 Global Hyperbolicity . 38 2.4 Causality II . 40 3 Introduction to General Relativity 42 3.1 Equivalence Principle . 42 3.2 The Einstein Equations . 43 3.3 The Cauchy Problem . 43 3.4 Gravitational Redshift and Time Dilation . 46 3.5 Applications . 47 4 Null Structure Equations 49 4.1 The Double Null Foliation . 49 4.2 Connection Coefficients . 54 4.3 Curvature Components . 56 4.4 The Algebra Calculus of S-Tensor Fields . 59 4.5 Null Structure Equations . 61 4.6 The Characteristic Initial Value Problem . 69 1 5 Applications to Null Hypersurfaces 73 5.1 Jacobi Fields and Tidal Forces . 73 5.2 Focal Points . 76 5.3 Causality III . 77 5.4 Trapped Surfaces . 79 5.5 Penrose Incompleteness Theorem . 81 5.6 Killing Horizons . 84 6 Christodoulou's Memory Effect 90 6.1 The Null Infinity I+ ................................ 90 6.2 Tracing gravitational waves . 93 6.3 Peeling and Asymptotic Quantities .
    [Show full text]
  • Riemannian Geometry for EEG-Based Brain-Computer Interfaces; a Primer and a Review Marco Congedo, Alexandre Barachant, Rajendra Bhatia
    Riemannian geometry for EEG-based brain-computer interfaces; a primer and a review Marco Congedo, Alexandre Barachant, Rajendra Bhatia To cite this version: Marco Congedo, Alexandre Barachant, Rajendra Bhatia. Riemannian geometry for EEG-based brain- computer interfaces; a primer and a review. Brain-Computer Interfaces, Taylor & Francis, 2017, 4 (3), pp.155-174. 10.1080/2326263X.2017.1297192. hal-01570120 HAL Id: hal-01570120 https://hal.archives-ouvertes.fr/hal-01570120 Submitted on 28 Jul 2017 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Riemannian Geometry for EEG-based Brain-Computer Interfaces; a Primer and a Review Marco Congedoa*, Alexandre Barachantb, Rajendra Bhatiac a GIPSA-lab, CNRS, Grenoble Alpes University, Grenoble Institute of Technology, Grenoble, FRANCE; b Burke Medical Research Institute, White Plains, NY, USA; c Indian Statistical Institute, New Delhi, INDIA *Corresponding Author. Marco Congedo received the Ph.D. degree in Biological Psychology with a minor in Statistics from the University of Tennessee, Knoxville, in 2003. From 2003 to 2006 he has been a Post-Doc fellow at the French National Institute for Research in Informatics and Control (INRIA) and at France Telecom R&D, in France.
    [Show full text]
  • Null Wave Front and Ryu–Takayanagi Surface
    entropy Article Null Wave Front and Ryu–Takayanagi Surface Jun Tsujimura * and Yasusada Nambu Department of Physics, Graduate School of Science, Nagoya University, Chikusa, Nagoya 464-8602, Japan; [email protected] * Correspondence: [email protected] Received: 25 September 2020; Accepted: 12 November 2020; Published: 14 November 2020 Abstract: The Ryu–Takayanagi formula provides the entanglement entropy of quantum field theory as an area of the minimal surface (Ryu–Takayanagi surface) in a corresponding gravity theory. There are some attempts to understand the formula as a flow rather than as a surface. In this paper, we consider null rays emitted from the AdS boundary and construct a flow representing the causal holographic information. We present a sufficient and necessary condition that the causal information surface coincides with Ryu–Takayanagi surface. In particular, we show that, in spherical symmetric static spacetimes with a negative cosmological constant, wave fronts of null geodesics from a point on the AdS boundary become extremal surfaces and therefore they can be regarded as the Ryu–Takayanagi surfaces. In addition, from the viewpoint of flow, we propose a wave optical formula to calculate the causal holographic information. Keywords: Ryu–Takayanagi surface; null geodesics; wave front; extremal surface; wave optics 1. Introduction It is well known that the entanglement entropy (EE) of conformal field theory (CFT) can calculate in a corresponding gravity theory by the Ryu–Takayanagi (RT) formula [1,2] in AdS/CFT correspondence [3,4]. In general, although the EE of quantum field theory is not easy to calculate, the RT formula tells that the EE SA of a region A in CFT can calculated as the area of the minimal bulk surface MA homologous to A (RT surface): Area (MA) SA = , (1) 4GN where GN is the Newton constant of gravitation.
    [Show full text]
  • GEM: the User Manual Understanding Spacetime Splittings and Their Relationships1
    GEM: the User Manual Understanding Spacetime Splittings and Their Relationships1 Robert T. Jantzen Paolo Carini and Donato Bini June 15, 2021 1This manuscript is preliminary and incomplete and is made available with the understanding that it will not be cited or reproduced without the permission of the authors. Abstract A comprehensive review of the various approaches to splitting spacetime into space-plus-time, establishing a common framework based on test observer families which is best referred to as gravitoelectromagnetism. Contents Preface vi 1 Introduction 1 1.1 Motivation: Local Special Relativity plus Rotating Coordinates . 1 1.2 Why bother? . 4 1.3 Starting vocabulary . 6 1.4 Historical background . 8 1.5 Orthogonalization in the Lorentzian plane . 11 1.6 Notation and conventions . 14 2 The congruence point of view and the measurement process 17 2.1 Algebra . 17 2.1.1 Observer orthogonal decomposition . 18 2.1.2 Observer-adapted frames . 21 2.1.3 Relative kinematics: algebra . 23 2.1.4 Splitting along parametrized spacetime curves and test particle worldlines . 26 2.1.5 Addition of velocities and the aberration map . 28 2.2 Derivatives . 29 2.2.1 Natural derivatives . 29 2.2.2 Covariant derivatives . 30 2.2.3 Kinematical quantities . 31 2.2.4 Splitting the exterior derivative . 33 2.2.5 Splitting the differential form divergence operator . 35 2.2.6 Spatial vector analysis . 35 2.2.7 Ordinary and Co-rotating Fermi-Walker derivatives . 37 2.2.8 Relation between Lie and Fermi-Walker temporal derivatives . 39 2.2.9 Total spatial covariant derivatives .
    [Show full text]
  • On the Ultrarelativistic Limit of General Relativity∗
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by MPG.PuRe Vol. 29 (1998) ACTA PHYSICA POLONICA B No 4 ON THE ULTRARELATIVISTIC LIMIT OF GENERAL RELATIVITY∗ G. Dautcourt Max-Planck Institut für Gravitationsphysik Albert-Einstein-Institut Schlaatzweg 1, D-14473 Potsdam, Germany e-mail: [email protected] (Received January 19, 1998) Dedicated to Andrzej Trautman in honour of his 64th birthday As is well-known, Newton’s gravitational theory can be formulated as a four-dimensional space-time theory and follows as singular limit from Einstein’s theory, if the velocity of light tends to the infinity. Here ’singu- lar’ stands for the fact, that the limiting geometrical structure differs from a regular Riemannian space-time. Geometrically, the transition Einstein → Newton can be viewed as an ’opening’ of the light cones. This pic- ture suggests that there might be other singular limits of Einstein’s theory: Let all light cones shrink and ultimately become part of a congruence of singular world lines. The limiting structure may be considered as a nullhy- persurface embedded in a five-dimensional spacetime. While the velocity of light tends to zero here, all other velocities tend to the velocity of light. Thus one may speak of an ultrarelativistic limit of General Relativity. The resulting theory is as simple as Newton’s gravitational theory, with the basic difference, that Newton’s elliptic differential equation is replaced by essentially ordinary differential equations, with derivatives tangent to the generators of the singular congruence. The Galilei group is replaced by the Carroll group introduced by Lévy-Leblond.
    [Show full text]
  • General Relativity Volker Schlue
    General Relativity Volker Schlue Department of Mathematics, University of Toronto, 40 St George Street, Toronto, Ontario M5S 2E4, Canada E-mail address: [email protected] Preface I have prepared this manuscript for a course on general relativity that I taught at the University of Toronto in the winter semester 2013. It is based on notes that I took as a student at ETH Z¨urich in a lecture course that Demetrios Christodoulou gave in the fall of 2005. (Chapters that are in significant parts transcribed from these notes will be marked by a .) His teaching and understanding of general relativity made a great impression∗ on me as a student, and I hope that these lecture notes can contribute to a wider circulation of his approach. I am very grateful to Andr´eLisibach, who provided me with most of the exer- cises, as well as complementary notes from a similar course that Prof. Christodoulou gave last fall, which were useful for the preparation of the present manuscript. Toronto, January 2014 V. Schlue iii Contents Preface iii Chapter 1. The equivalence principle and its consequences ∗ 1 1. Classical theory of gravitation 2 2. Special Relativity 5 3. Geodesic correspondence 20 Chapter 2. Einstein's field equations ∗ 47 1. Einstein's field equations in the presence of matter 50 2. Action Principle 66 3. The material manifold 74 4. Cosmological constant 79 Chapter 3. Spherical Symmetry 81 1. Einstein's field equations in spherical symmetry 81 2. Schwarzschild solution 86 3. General properties of the area radius and mass functions 90 4.
    [Show full text]
  • DIFFERENTIAL GEOMETRY: a First Course in Curves and Surfaces
    DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces Preliminary Version Summer, 2016 Theodore Shifrin University of Georgia Dedicated to the memory of Shiing-Shen Chern, my adviser and friend c 2016 Theodore Shifrin No portion of this work may be reproduced in any form without written permission of the author, other than duplication at nominal cost for those readers or students desiring a hard copy. CONTENTS 1. CURVES.................... 1 1. Examples, Arclength Parametrization 1 2. Local Theory: Frenet Frame 10 3. SomeGlobalResults 23 2. SURFACES: LOCAL THEORY . 35 1. Parametrized Surfaces and the First Fundamental Form 35 2. The Gauss Map and the Second Fundamental Form 44 3. The Codazzi and Gauss Equations and the Fundamental Theorem of Surface Theory 57 4. Covariant Differentiation, Parallel Translation, and Geodesics 66 3. SURFACES: FURTHER TOPICS . 79 1. Holonomy and the Gauss-Bonnet Theorem 79 2. An Introduction to Hyperbolic Geometry 91 3. Surface Theory with Differential Forms 101 4. Calculus of Variations and Surfaces of Constant Mean Curvature 107 Appendix. REVIEW OF LINEAR ALGEBRA AND CALCULUS . 114 1. Linear Algebra Review 114 2. Calculus Review 116 3. Differential Equations 118 SOLUTIONS TO SELECTED EXERCISES . 121 INDEX ................... 124 Problems to which answers or hints are given at the back of the book are marked with an asterisk (*). Fundamental exercises that are particularly important (and to which reference is made later) are marked with a sharp (]). June, 2016 CHAPTER 1 Curves 1. Examples, Arclength Parametrization 3 Ck We say a vector function fW .a; b/ ! R is (k D 0; 1; 2; : : :) if f and its first k derivatives, f0, f00,..., f.k/, exist and are all continuous.
    [Show full text]
  • Maxwell's Demon and the Problem of Observers in General Relativity
    entropy Article Maxwell’s Demon and the Problem of Observers in General Relativity Luis Herrera ID Instituto Universitario de Física Fundamental y Matemáticas, Universidad de Salamanca, Salamanca 37007, Spain; [email protected]; Tel.: +34-923-261-426 Received: 8 May 2018; Accepted: 22 May 2018; Published: 22 May 2018 Abstract: The fact that real dissipative (entropy producing) processes may be detected by non-comoving observers (tilted), in systems that appear to be isentropic for comoving observers, in general relativity, is explained in terms of the information theory, analogous with the explanation of the Maxwell’s demon paradox. Keywords: general relativity; theory of information; tilted spacetimes 1. Introduction Observers play an essential role in quantum mechanics where the very concept of reality is tightly attached to the existence of the observer, as ingeniously illustrated by the well known Schrodinger’s cat paradox. In the quantum mechanics terminology, we say that the observer produces the collapse of the wave function. However, it is generally assumed that observers do not play a similar role in classical (non quantum) theories. However, is this assumption really justified? As we shall see here, the answer to such a question is negative. Indeed, the role of observers in General Relativity is a fundamental one, and reminds one, in some sense, of its role in quantum physics, namely: a complete understanding of some gravitational phenomena requires the inclusion of the observers in the definition of the physical system under consideration. In order to make our case, let us first recall that, in relativistic hydrodynamics, different observers assign different four-velocities to a given fluid distribution.
    [Show full text]
  • Original Problem Set
    MASSACHUSETTS INSTITUTE OF TECHNOLOGY Physics Department Physics 8.962: General Relativity April 6, 2018 Prof. Alan Guth PROBLEM SET 8 DUE DATE: Thursday, April 12, 2018, at 5:00 pm. TOPICS COVERED AND RELEVANT LECTURES: This problem concerns Ray- chaudhuri's equation, and is based on the class lectures and Carroll's Appendix F. PROBLEM 1: THE RAYCHAUDHURI EQUATION, SPACELIKE AND TIME- LIKE (52 pts) Raychaudhuri's equation concerns a congruence of geodesics, where a congruence is a set of curves in an open region of spacetime such that every point in the region lies on precisely µ µ µ one curve. Let T = @x =@τ be the vector field of tangents to the geodesics x (si; τ), for a four-dimensional timelike or lightlike geodesic congruence. (Unlike Carroll's treatment, here we will do the two cases together.) Thus, ( µ −1 (timelike) TµT = (1) 0 (lightlike) µ ν µ and in both cases T rµT = 0. Let Si be a set of three vector fields denoting infinitesimal deviations between one geodesic and a nearby geodesic, defined by µ µ @x Si = : (2) @si (a) (5 pts) Show that DSµ i ≡ T νr Sµ = Bµ Sν ; (3) dτ ν i ν i where µ µ B ν = rνT : (4) (b) (3 pts) Using only the geodesic equation and our original definition of the Riemann curvature tensor, ρ ρ σ ρ [rµ; rν]V = R σµνV for any vector V , (5) derive an expression for DB µν ≡ T σr B (6) dτ σ µν µ in terms of Bµν, T , and the curvature tensor.
    [Show full text]
  • Twisting Non-Shearing Congruences of Null Geodesics, Almost CR
    Twisting non-shearing congruences of null geodesics, almost CR structures, and Einstein metrics in even dimensions Arman Taghavi-Chabert∗ Abstract We investigate the geometry of a twisting non-shearing congruence of null geodesics on a conformal manifold of even dimension greater than four and Lorentzian signature. We give a necessary and sufficient condition on the Weyl tensor for the twist to induce an almost Robinson structure, that is, the screen bundle of the congruence is equipped with a bundle complex structure. In this case, the (local) leaf space of the congruence acquires a partially integrable contact almost CR structure of positive definite signature. We give further curvature conditions for the integrability of the almost Robinson structure and the almost CR structure, and for the flatness of the latter. We show that under a mild natural assumption on the Weyl tensor, any metric in the con- formal class that is a solution to the Einstein field equations determines an almost CR–Einstein structure on the leaf space of the congruence. These metrics depend on three parameters, and include the Fefferman–Einstein metric and Taub–NUT–(A)dS metric in the integrable case. In the non-integrable case, we obtain new solutions to the Einstein field equations, which, we show, can be constructed from strictly almost K¨ahler–Einstein manifolds. Keywords: Lorentzian geometry, Conformal geometry, Congruences of null geodesics, Almost Robinson structures, Almost CR geometry, Einstein metrics, Almost K¨ahler–Einstein metrics Mathematics Subject Classification (2010): 53C50, 53B30, 53C18, 53C10, 32V05, 83C20, 32Q20, 32Q60 1 Introduction A non-shearing congruence of null geodesics on a Lorentzian manifold (M, g) is a (local) foliation K by geodesics generated by a null vector field k, i.e.
    [Show full text]
  • Riemannian Manifolds: an Introduction to Curvature
    Graduate Texts in Mathematics TAKE~~~~AIUNG.Introduction to HIRSCH.Differential Topology. Axiomatic Set Theory. 2nd ed. SP~IZER.Principles of Random Walk. OXTOBY.Measure and Category. 2nd ed. 2nd ed. SCHAEFER.Topological Vector Spaces. WERMER.Banach Algebras and Several HILTONISTAMMBACH.A Course in Complex Variables. 2nd ed. Homological Algebra. 2nd ed. KELLEY/NAMIoKAet d. Linear MAC LANE.Categories for the Working Topological Spaces. Mathematician. MONK.Mathematical Logic. HUGWPPER.Projective Planes. GRAUERT/FRI~ZSCHE.Several Complex SERRE. A Come in Arithmetic. Variables. TAKE~~~~AIUNG.Axiomatic Set Theory. ARVESON.An Invitation to C-Algebras. HUMPHREYS.Introduction to Lie Algebras KEMENYISNELLJKNAPP.Denumerable and Representation Theory. Markov Chains. 2nd ed. COHEN.A Course in Simple Homotopy APOSTOL.Modular Functions and Theory. Dichlet Series in Number Theory. CONWAY.Functions of One Complex 2nd ed. Variable I. 2nd ed. SERRE. Linear Representations of Finite B'EALS. Advanced Mathematical Analysis. Groups. ANDERSON/FWLLER.Rings and Categories GWJERISON.Rings of Continuous of Modules. 2nd ed. Functions. GOLUB~~SKY/G~.Stable Mappings KENDIG. Elementary Algebraic Geometry. and Their Singularities. LoiVE. Probability Theory I. 4th ed. BERBERIAN.Lectures in Functional LOEVE.Probability Theory II. 4th ed. Analysis and Operator Theory. MOISE.Geometric Topology in Wm.The Structure of Fields. Dimensions 2 and 3. ROSENBLATT.Random Processes. 2nd ed. S~msMru.General Relativity for HALMos. Measure Theory. Mathematicians. HALMos. A Hilbert Space Problem Book. GRUENBER~~WEIR.Liar Geometry. 2nd ed. 2nd ed. HUSEMOLLER.Fibre Bundles. 3rd ed. EDWARDS.Fennat's Last Theorem. HUMPHREYS.Linear Algebraic Groups. KLJNGENBERG.A Course in Differential BARN~MACK.An Algebraic Introduction Geometry. to Mathematical Logic. HARTSHORNE.Algebraic Geometry.
    [Show full text]