Review of Smooth Manifolds

Total Page:16

File Type:pdf, Size:1020Kb

Review of Smooth Manifolds Appendix A Review of Smooth Manifolds This book is designed for readers who already have a solid understanding of basic topology and smooth manifold theory, at roughly the level of [LeeTM] and [LeeSM]. In this appendix, we summarize the main ideas of these subjects that are used throughout the book. It is included here as a review, and to establish our notation and conventions. Topological Preliminaries An n-dimensional topological manifold (or simply an n-manifold) is a second- countable Hausdorff topological space that is locally Euclidean of dimension n, meaning that every point has a neighborhood homeomorphic to an open subset of Rn. Given an n-manifold M ,acoordinate chart for M is a pair .U;'/, where U  M is an open set and ' W U ! Uy is a homeomorphism from U to an open subset Uy  Rn.Ifp 2 M and .U;'/ is a chart such that p 2 U , we say that .U;'/ is a chart containing p. We also occasionally need to consider manifolds with boundary. An n-dimen- sional topological manifold with boundary is a second-countable Hausdorff space in which every point has a neighborhood homeomorphic either to an open subset Rn Rn 1 n Rn of or to a (relatively) open subset of the half-space C Df.x ;:::;x / 2 W xn 0g. A pair .U;'/, where U is an open subset of M and ' is a homeomorphism Rn Rn from U to an open subset of or C, is called an interior chart if '.U/ is an Rn Rn Rn Rn open subset of or an open subset of C that does not meet @ C Dfx 2 C W n Rn x D 0g; and it is called a boundary chart if '.U/ is an open subset of C with Rn ¿ M '.U/\ @ C ¤ . A point p 2 M is called an interior point of if it is in the domain of an interior chart, and it is a boundary point of M if it is in the domain Rn of a boundary chart taking p to a point of @ C. Notice that our convention is that a manifold without further qualification is al- ways assumed to be a manifold without boundary, and the term “manifold with boundary” encompasses ordinary manifolds as a special case. But for clarity, we © Springer International Publishing AG 2018 371 J. M. Lee, Introduction to Riemannian Manifolds, Graduate Texts in Mathematics 176, https://doi.org/10.1007/978-3-319-91755-9 372 Review of Smooth Manifolds sometimes use redundant phrases such as “manifold without boundary” for an ordi- nary manifold, and “manifold with or without boundary” when we wish to empha- size that the discussion applies equally well in either case. Proposition A.1. [LeeTM, Props. 4.23 & 4.64] Every topological manifold with or without boundary is locally path-connected and locally compact. Proposition A.2. [LeeTM, Thm. 4.77] Every topological manifold with or without boundary is paracompact. If M and N are topological spaces, a map F W M ! N is said to be a closed map if for each closed subset K  M , the image set F.K/ is closed in N , and an open map if for each open subset U  M , the image set F.U/is open in N .Itisa quotient map if it is surjective and V  N is open if and only if F 1.V / is open. Proposition A.3. [LeeTM, Prop. 3.69] Suppose M and N are topological spaces, and F W M ! N is a continuous map that is either open or closed. (a) If F is surjective, it is a quotient map. (b) If F is injective, it is a topological embedding. (c) If F is bijective, it is a homeomorphism. The next lemma often gives a convenient shortcut for proving that a map is closed. Lemma A.4 (Closed Map Lemma). [LeeTM, Lemma 4.50] If F is a continuous map from a compact space to a Hausdorff space, then F is a closed map. Here is another condition that is frequently useful for showing that a map is closed. A map F W M ! N between topological spaces is called a proper map if for each compact subset K  N , the preimage F 1.K/ is compact. Proposition A.5 (Proper Continuous Maps Are Closed). [LeeTM, Thm. 4.95] Suppose M is a topological space, N is a locally compact Hausdorff space, and F W M ! N is continuous and proper. Then F is a closed map. Fundamental Groups Many of the deepest theorems in Riemannian geometry express relations between local geometric properties and global topological properties. Because the global properties are frequently expressed in terms of fundamental groups, we summarize some basic definitions and properties here. Suppose M and N are topological spaces. If F0;F1 W M ! N are continuous maps, a homotopy from F0 to F1 is a continuous map H W M Œ0;1 ! N that satisfies H.x;0/ D F0.x/ and H.x;1/ D F1.x/ for all x 2 M . If there exists such a homotopy, we say that F0 and F1 are homotopic. We are most interested in homotopies in the following situation. If M is a topo- logical space, a path in M is a continuous map ˛ W Œ0;1 ! M .Ifp D ˛.0/ and q D ˛.1/, we say that ˛ is a path from p to q.If˛0 and ˛1 are both paths from p to Topological Preliminaries 373 q,apath homotopy from ˛0 to ˛1 is a continuous map H W Œ0;1 Œ0;1 ! M that satisfies H.s;0/ D ˛0.s/ and H.s;1/ D ˛1.s/ for all s 2 Œ0;1; H.0;t/ D p and H.1;t/ D q for all t 2 Œ0;1: If there exists such a path homotopy, then ˛0 and ˛1 aresaidtobepath-homotopic; this is an equivalence relation on the set of all paths in M from p to q.The equivalence class of a path ˛, called its path class, is denoted by Œ˛. Paths ˛ and ˇ that satisfy ˛.1/ D ˇ.0/ aresaidtobecomposable; in this case, their product is the path ˛ ˇ W Œ0;1 ! M defined by 1 ˛.2s/; 0 Ä s Ä 2 ; ˛ ˇ.s/ D 1 ˇ.2s 1/; 2 Ä s Ä 1: Path products are well defined on path classes: if Œ˛0 D Œ˛1 and Œˇ0 D Œˇ1, and ˛0 and ˇ0 are composable, then so are ˛1 and ˇ1, and Œ˛0 ˇ0 D Œ˛1 ˇ1. Thus we obtain a well-defined product of path classes by Œ˛ Œˇ D Œ˛ ˇ. A path from a point p to itself is called a loop based at p.IfM is a topological space and p 2 M , then any two loops based at p are composable, and the set of path classes of loops based at p is a group under path class products, called the fundamental group of M based at p and denoted by 1.M;p/. The class of the constant path cp.s/ Á p is the identity element, and the class of the reverse path ˛1.s/ D ˛.1 s/ is the inverse of Œ˛. (Although multiplication of path classes is associative, path products themselves are not, so a multiple product such as ˛ ˇ is to be interpreted as .˛ ˇ/ .) Proposition A.6 (Induced Homomorphisms). [LeeTM, Prop. 7.24 & Cor. 7.26] Suppose M and N are topological spaces and p 2 M .IfF W M ! N is a contin- uous map, then the map F W 1.M;p/ ! 1.N;F .p// defined by F.Œ˛/ D ŒF ı˛ is a group homomorphism called the homomorphism induced by F .IfF is a homeo- morphism, then F is an isomorphism. A topological space M is said to be simply connected if it is path-connected and for some (hence every) point p 2 M , the fundamental group 1.M;p/ is trivial. I Exercise A.7. Show that if M is a simply connected topological space and p;q are any two points in M , then all paths in M from p to q are path-homotopic. A continuous map F W M ! N is said to be a homotopy equivalence if there is a continuous map G W N ! M such that G ı F and F ı G are both homotopic to identity maps. Proposition A.8 (Homotopy Invariance of the Fundamental Group). [LeeTM, Thm. 7.40] Suppose M and N are topological spaces and F W M ! N is a homotopy equivalence. Then for every point p 2 M , the induced homomorphism F W 1.M;p/ ! 1.N;F .p// is an isomorphism. 374 Review of Smooth Manifolds Smooth Manifolds and Smooth Maps The setting for the study of Riemannian geometry is provided by smooth manifolds, which are topological manifolds endowed with an extra structure that allows us to differentiate functions and maps. First, we note that when U is an open subset of Rn, amapF W U ! Rk is said to be smooth (or of class C 1) if all of its component functions have continuous partial derivatives of all orders. More generally, if the domain U is an arbitrary subset of Rn, not necessarily open (such as a relatively Rn open subset of C), then F is said to be smooth if for each x 2 U , F has a smooth extension to a neighborhood of x in Rn.Adiffeomorphism is a bijective smooth map whose inverse is also smooth.
Recommended publications
  • Modified Theories of Relativistic Gravity
    Modified Theories of Relativistic Gravity: Theoretical Foundations, Phenomenology, and Applications in Physical Cosmology by c David Wenjie Tian A thesis submitted to the School of Graduate Studies in partial fulfillment of the requirements for the degree of Doctor of Philosophy Department of Theoretical Physics (Interdisciplinary Program) Faculty of Science Date of graduation: October 2016 Memorial University of Newfoundland March 2016 St. John’s Newfoundland and Labrador Abstract This thesis studies the theories and phenomenology of modified gravity, along with their applications in cosmology, astrophysics, and effective dark energy. This thesis is organized as follows. Chapter 1 reviews the fundamentals of relativistic gravity and cosmology, and Chapter 2 provides the required Co-authorship 2 2 Statement for Chapters 3 ∼ 6. Chapter 3 develops the L = f (R; Rc; Rm; Lm) class of modified gravity 2 µν 2 µανβ that allows for nonminimal matter-curvature couplings (Rc B RµνR , Rm B RµανβR ), derives the “co- herence condition” f 2 = f 2 = − f 2 =4 for the smooth limit to f (R; G; ) generalized Gauss-Bonnet R Rm Rc Lm gravity, and examines stress-energy-momentum conservation in more generic f (R; R1;:::; Rn; Lm) grav- ity. Chapter 4 proposes a unified formulation to derive the Friedmann equations from (non)equilibrium (eff) thermodynamics for modified gravities Rµν − Rgµν=2 = 8πGeffTµν , and applies this formulation to the Friedman-Robertson-Walker Universe governed by f (R), generalized Brans-Dicke, scalar-tensor-chameleon, quadratic, f (R; G) generalized Gauss-Bonnet and dynamical Chern-Simons gravities. Chapter 5 systemati- cally restudies the thermodynamics of the Universe in ΛCDM and modified gravities by requiring its com- patibility with the holographic-style gravitational equations, where possible solutions to the long-standing confusions regarding the temperature of the cosmological apparent horizon and the failure of the second law of thermodynamics are proposed.
    [Show full text]
  • M-Eigenvalues of the Riemann Curvature Tensor of Conformally Flat Manifolds
    Commun. Math. Res. Vol. 36, No. 3, pp. 336-353 doi: 10.4208/cmr.2020-0052 August 2020 M-Eigenvalues of the Riemann Curvature Tensor of Conformally Flat Manifolds Yun Miao1, Liqun Qi2 and Yimin Wei3,∗ 1 School of Mathematical Sciences, Fudan University, Shanghai 200433, P. R. of China. 2 Department of Applied Mathematics, the Hong Kong Polytechnic University, Hong Kong. 3 School of Mathematical Sciences and Shanghai Key Laboratory of Contemporary Applied Mathematics, Fudan University, Shanghai 200433, P. R. of China. Received 6 May 2020; Accepted 28 May 2020 Abstract. We investigate the M-eigenvalues of the Riemann curvature tensor in the higher dimensional conformally flat manifold. The expressions of M- eigenvalues and M-eigenvectors are presented in this paper. As a special case, M-eigenvalues of conformal flat Einstein manifold have also been discussed, and the conformal the invariance of M-eigentriple has been found. We also reveal the relationship between M-eigenvalue and sectional curvature of a Rie- mannian manifold. We prove that the M-eigenvalue can determine the Rie- mann curvature tensor uniquely. We also give an example to compute the M- eigentriple of de Sitter spacetime which is well-known in general relativity. AMS subject classifications: 15A48, 15A69, 65F10, 65H10, 65N22 Key words: M-eigenvalue, Riemann curvature tensor, Ricci tensor, conformal invariant, canonical form. ∗Corresponding author. Email addresses: [email protected], [email protected] (Y. Wei), [email protected] (Y. Miao), [email protected] (L. Qi) Y. Miao, L. Qi and Y. Wei / Commun. Math. Res., 36 (2020),pp.336-353 337 1 Introduction The eigenvalue problem is a very important topic in tensor computation [4].
    [Show full text]
  • M-Eigenvalues of Riemann Curvature Tensor of Conformally Flat Manifolds
    M-eigenvalues of Riemann Curvature Tensor of Conformally Flat Manifolds Yun Miao∗ Liqun Qi† Yimin Wei‡ August 7, 2018 Abstract We generalized Xiang, Qi and Wei’s results on the M-eigenvalues of Riemann curvature tensor to higher dimensional conformal flat manifolds. The expression of M-eigenvalues and M-eigenvectors are found in our paper. As a special case, M-eigenvalues of conformal flat Einstein manifold have also been discussed, and the conformal the invariance of M- eigentriple has been found. We also discussed the relationship between M-eigenvalue and sectional curvature of a Riemannian manifold. We proved that the M-eigenvalue can determine the Riemann curvature tensor uniquely and generalize the real M-eigenvalue to complex cases. In the last part of our paper, we give an example to compute the M-eigentriple of de Sitter spacetime which is well-known in general relativity. Keywords. M-eigenvalue, Riemann Curvature tensor, Ricci tensor, Conformal invariant, Canonical form. AMS subject classifications. 15A48, 15A69, 65F10, 65H10, 65N22. 1 Introduction The eigenvalue problem is a very important topic in tensor computation theories. Xiang, Qi and Wei [1, 2] considered the M-eigenvalue problem of elasticity tensor and discussed the relation between strong ellipticity condition of a tensor and it’s M-eigenvalues, and then extended the M-eigenvalue problem to Riemann curvature tensor. Qi, Dai and Han [12] introduced the M-eigenvalues for the elasticity tensor. The M-eigenvalues θ of the fourth-order tensor Eijkl are defined as follows. arXiv:1808.01882v1 [math.DG] 28 Jul 2018 j k l Eijkly x y = θxi, ∗E-mail: [email protected].
    [Show full text]
  • Invariant Construction of Cosmological Models Erik Jörgenfelt
    Invariant Construction of Cosmological Models Erik Jörgenfelt Spring 2016 Thesis, 15hp Bachelor of physics, 180hp Department of physics Abstract Solutions to the Einstein field equations can be constructed from invariant objects. If a solution is found it is locally equivalent to all solutions constructed from the same set. Here the method is applied to spatially-homogeneous solutions with pre-determined algebras, under the assumption that the invariant frame field of standard vectors is orthogonal on the orbits. Solutions with orthogonal fluid flow of Bianchi type III are investigated and two classes of orthogonal dust (zero pressure) solutions are found, as well as one vacuum energy solution. Tilted dust solutions with non-vanishing vorticity of Bianchi types I–III are also investigated, and it is shown that no such solution exist given the assumptions. Sammanfattning Lösningar till Einsteins fältekvationer kan konstrueras från invarianta objekt. Om en lösning hittas är den lokalt ekvivalent till alla andra lösningar konstruerade från samma mängd. Här appliceras metoden på spatialt homogena lösningar med förbestämda algebror, under anta- gandet att den invarianta ramen med standard-vektorer är ortogonal på banorna. Lösningar med ortogonalt fluidflöde av Bianchi typ III undersöks och två klasser av dammlösningar (noll tryck) hittas, liksom en vakum-energilösning. Dammlösningar med lut och noll-skild vorticitet av Bianchi typ I–III undersöks också, och det visas att inga sådana lösningar existerar givet antagandena. Contents 1 Introduction 1 2 Preliminaries 3 2.1 Smooth Manifolds...................................3 2.2 The Tangent and Co-tangent Bundles........................4 2.3 Tensor Fields and Differential Forms.........................6 2.4 Lie Groups......................................
    [Show full text]
  • University of Amsterdam
    University of Amsterdam MSc Physics Theoretical Physics Master Thesis The BTZ Black Hole In Metric and Chern-Simons Formulation by Eline van der Mast 0588105 July 2014 54 ECTS 02/2013 - 07/2014 Supervisor: Examiner: A. Castro, Dr. J. de Boer, Prof. Institute for Theoretical Physics Amsterdam ABSTRACT In this thesis, we review the BTZ black hole within the metric formulation of gen- eral relativity and Chern-Simons theory. We introduce the necessary concepts of general relativity and discuss three-dimensional gravity, specifically Anti-de Sitter vacuum space. Then, we review the identification process to get to the BTZ black hole solution, as well as an explicit quotienting formulation. The thermodynamic and geometric properties of the black hole are then discussed. The Brown-York stress tensor procedure is explained to give these properties physical meaning, with a correction by Balasubramanian and Kraus. In the second part of this thesis we introduce Chern-Simons theory and show its equivalence to three-dimensional gravity. The BTZ black hole is then shown to be defined through holonomies and thermodynamics. We find that the identifications in the metric formulation are equivalent to the holonomies in the Chern-Simons formulation; and the thermo- dynamics are the same. CONTENTS 1. Introduction :::::::::::::::::::::::::::::::::: 6 2. Introduction to Gravity ::::::::::::::::::::::::::: 8 2.1 General Relativity . .8 2.1.1 Differential Geometry . .9 2.1.2 The Riemann Tensor . .9 2.2 Gravity in Three Dimensions . 11 2.2.1 Degrees of Freedom . 11 3. Local and Global Aspects of Anti-de Sitter Space ::::::::::::: 13 3.1 Global Anti-de Sitter Space .
    [Show full text]
  • Open Craig Price-Dissertation.Pdf
    The Pennsylvania State University The Graduate School Eberly College of Science COVARIANT FORMULATIONS OF THE LIGHT-ATOM PROBLEM A Dissertation in Physics by Craig Chandler Price © 2018 Craig Chandler Price Submitted in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy August 2018 The dissertation of Craig Chandler Price was reviewed and approved∗ by the following: Nathan D. Gemelke Assistant Professor of Physics Dissertation Advisor, Chair of Committee David S. Weiss Professor of Physics Associate Head for Research Marcos Rigol Professor of Physics Zhiwen Liu Professor of Electrical Engineering Nitin Samarth Professor of Physics Department Head ∗Signatures are on file in the Graduate School. ii Abstract We explore the ramifications of the light-matter interaction of ultracold neutral atoms in a covariant, or coordinate free, approach in the quantum limit. To do so we describe the construction and initial characterization of a novel atom-optical system in which there is no obvious preferred coordinate system but is fed back upon itself to amplify coherent quantum excitations of any emergent spontaneous order of the system. We use weakly dissipative, spatially incoherent light that is modulated by amplified fluctuations of the phase profile of a Sagnac interferometer whose symmetry is broken by the action of a generalized Raman sideband cooling process. The cooling process is done in a limit of low probe intensity which effectively produces slow light and forms a platform to explore general relativistic analogues. The disordered potential landscape is populated with k-vector defects where the atomic density contracts with an inward velocity potentially faster than the speed of the slow light at that region.
    [Show full text]
  • How to Derive the Kerr Metric by Cheating Quite a Bit; a Lecture Given to Mat 451 on April 23, 2009
    HOW TO DERIVE THE KERR METRIC BY CHEATING QUITE A BIT; A LECTURE GIVEN TO MAT 451 ON APRIL 23, 2009 WILLIE W. WONG Abstract. In this set of notes, an unconventional method of deriving the Kerr metric is presented. 1. Introduction and the first ansatz In this note we give a heuristic derivation of the Kerr metric, in a way quite significantly different from the classical methods. This is in no way a formal write- up, so for a more rigorous derivation, and for references, please see the wonderful article by Roberto Bergamini and Stefano Viaggiu, “A novel derivation for Kerr metric in Papapetrou gauge.”1 The method described herein is inspired by Marc Mars’ paper “A spacetime characterization of the Kerr metric”2, and also by the author’s 2009 PhD dissertation. The question we seek to answer is: find a solution of the Einstein vacuum equa- tions that is stationary and axially symmetric. However, to actually answer the question, we will need to impose very significant, and not ab initio justifiable, con- straints. It is only with great hindsight (that we know the solution we seek already) that the constraints seem natural. On the other hand, we will try to argue that these constraints are not completely wild guesses: by following a particular coher- ent chain of thought, it may have been possible to have obtained the Kerr metric through this method with no prior knowledge of the metric. The principal argument here is thus: we first consider the Ernst potential on a stationary solution to the Einstein equations.
    [Show full text]
  • Arxiv:2107.12285V1 [Math.DG] 26 Jul 2021 1 Introduction
    About left-invariant geometry and homogeneous pseudo-Riemannian Einstein structures on the Lie group SU(3) Robert Coquereaux Aix Marseille Univ, Universit´ede Toulon, CNRS, CPT, Marseille, France Centre de Physique Th´eorique July 27, 2021 Abstract This is a collection of notes on the properties of left-invariant metrics on the eight-dimensional compact Lie group SU(3). Among other topics we investigate the existence of invariant pseudo-Riemannian Einstein metrics on this manifold. We recover the known examples (Killing metric and Jensen metric) in the Riemannian case (signature (8; 0)), as well as a Gibbons et al example of signature (6; 2), and we describe a new example, which is Lorentzian (i.e., of signature (7; 1). In the latter case the associated metric is left-invariant, with isometry group SU(3) × U(1), and has positive Einstein constant. It seems to be the first example of a Lorentzian homogeneous Einstein metric on this compact manifold. These notes are arranged into a paper that deals with various other subjects unrelated with the quest for Einstein metrics but that may be of independent interest: among other topics we describe the various groups that may arise as isometry groups of left-invariant metrics on SU(3), provide parametrizations for these metrics, give several explicit results about the curvatures of the corresponding Levi-Civita connec- tions, discuss modified Casimir operators (quadratic, but also cubic) and Laplace-Beltrami operators. In particular we discuss the spectrum of the Laplacian for metrics that are invariant under SU(3) × U(2), a subject that may be of interest in particle physics.
    [Show full text]
  • Singular General Relativity Ph.D
    University Politehnica of Bucharest Faculty of Applied Sciences Singular General Relativity Ph.D. Thesis Ovidiu Cristinel Stoica Supervisor arXiv:1301.2231v4 [gr-qc] 24 Jan 2014 Prof. dr. CONSTANTIN UDRIS¸TE Corresponding Member of the Accademia Peloritana dei Pericolanti, Messina Full Member of the Academy of Romanian Scientists Bucharest 2013 Declaration of Authorship I, Ovidiu Cristinel Stoica, declare that this Thesis titled, `Singular General Relativity' and the work presented in it are my own. I confirm that: Where I have consulted the published work of others, this is always clearly at- tributed. Where I have quoted from the work of others, the source is always given. With the exception of such quotations, this Thesis is entirely my own work. I have acknowledged all main sources of help. Signed: Date: i Abstract This work presents the foundations of Singular Semi-Riemannian Geometry and Singular General Relativity, based on the author's research. An extension of differential geometry and of Einstein's equation to singularities is reported. Singularities of the form studied here allow a smooth extension of the Einstein field equations, including matter. This applies to the Big-Bang singularity of the FLRW solution. It applies to stationary black holes, in appropriate coordinates (since the standard coordinates are singular at singu- larity, hiding the smoothness of the metric). In these coordinates, charged black holes have the electromagnetic potential regular everywhere. Implications on Penrose's Weyl curvature hypothesis are presented. In addition, these singularities exhibit a (geo)metric dimensional reduction, which might act as a regulator for the quantum fields, includ- ing for quantum gravity, in the UV regime.
    [Show full text]
  • Dark Matter Gravity Generated by the S(4,0)
    Dark Matter Gravity Generated by the S(4,0) Tensor [?] Dark matter gravity generated by the S(4,0) tensor, the part of the Riemann curvature tensor R(4,0) defined as g(il)g(jk) - g(ik)g(jl), new dark matter energy tensor D(4,0) defined Jes´us Delso Lapuerta Bachelor’s Degree in Physics, Zaragoza University, Spain. [email protected] January 6, 2021 Abstract Dark matter gravity generated by the S(4,0) tensor, the part of the Riemann curvature tensor R(4,0) defined as g(il)g(jk) - g(ik)g(jl), new Total Energy T(4,0) and energy tensors are defined to complete the General Relativity field equa- tions. The Ricci decomposition is a way of breaking up the Riemann curvature tensor into three orthogonal tensors, Z(4,0), Weyl tensor C(4,0) and S(4,0), S tensor generates the dark matter gravity observed, galaxies in our universe are rotating with such speed that the gravity generated by their observable matter could not possibly hold them together 1 Conformal energy U defined as a combination of C and the Hodge dual of C, dark matter energy D defined as a combination of S and the Hodge dual of S, similar definitions for V/Z and T/R The Ricci decomposition is a way of breaking up the Riemann curvature tensor into three orthogonal tensors, Z , Weyl tensor C and S, S tensor generates the dark matter gravity Rijkl = Zijkl + Cijkl + Sijkl 1 S = R (g g − g g ) ijkl 12 il jk ik jl 1 1 Yjk = Rjk − Rg jk , Z ijkl = 2 !Yil gjk − Yjl gik − Yik gjl + Yjk gil 4 where Rabcd is the Riemann tensor, Rab is the Ricci tensor, R is the Ricci scalar (the scalar curvature)
    [Show full text]
  • Singular General Relativity Q Singular General Relativity Is the Application of the a = − Dt Methods of Singular Semi-Riemannian Geometry to R General Relativity
    Singular General 3 Results: Smoothening black hole Relativity singularities How I learned to stop worrying and love Apparently, the black hole singularities are malign, the singularities because some of the components of the metric are divergent (gab ! 1). For the standard stationary Cristi Stoica ([email protected]) black holes, we can find transformations of coordi- nates which make them smooth. This also makes, for Relativity and Gravitation charged black holes, the electromagnetic potential and 100 Years after Einstein in Prague field smooth. The metric is put in a form which allows June 25 { 29, 2012, Prague, Czech Republic the evolution equations to go beyond the singularities. 1 Introduction: Do the singular- ities predict the breakdown of General Relativity? It is often said that General Rela- Malign singularities Benign singularities tivity predicts its own breakdown, gab ! 1 gab smooth, det g ! 0 by predicting the occurrence of sin- gularities. In addition, when trying 3.1 Schwarzschild black hole to quantize gravity, it appears to be perturbatively nonrenormalizable. In Schwarzschild coordinates • Are these problems signs that we should give up General Relativity in exchange for more radical ap- r − 2m r ds2 = − dt2 + dr2 + r2dσ2; proaches (superstrings, loop quantum gravity etc.)? r r − 2m • Are these limits of GR, or of our tools? • What if understanding the singularities also helps where dσ2 = dθ2 + sin2 θdφ2. with the problem of quantization?1 In non-singular coordinates [5] 4τ 4 ds2 = − dτ 2 2m − τ 2 2 The cure for singularities +(2m − τ 2)τ 2T −4 (T ξdτ + τdξ)2 + τ 4dσ2; where (r; t) 7! (τ 2; ξτ T ), T ≥ 2.
    [Show full text]
  • Curvature of Riemannian Manifolds - Wikipedia, the Free Encyclopedia 3/31/10 1:54 PM
    Curvature of Riemannian manifolds - Wikipedia, the free encyclopedia 3/31/10 1:54 PM Curvature of Riemannian manifolds From Wikipedia, the free encyclopedia In mathematics, specifically differential geometry, the infinitesimal geometry of Riemannian manifolds with dimension at least 3 is too complicated to be described by a single number at a given point. Riemann introduced an abstract and rigorous way to define it, now known as the curvature tensor. Similar notions have found applications everywhere in differential geometry. For a more elementary discussion see the article on curvature which discusses the curvature of curves and surfaces in 2 and 3 dimensions. The curvature of a pseudo-Riemannian manifold can be expressed in the same way with only slight modifications. Contents 1 Ways to express the curvature of a Riemannian manifold 1.1 The Riemann curvature tensor 1.1.1 Symmetries and identities http://en.wikipedia.org/wiki/Curvature_of_Riemannian_manifolds Page 1 of 10 Curvature of Riemannian manifolds - Wikipedia, the free encyclopedia 3/31/10 1:54 PM 1.2 Sectional curvature 1.3 Curvature form 1.4 The curvature operator 2 Further curvature tensors 2.1 Scalar curvature 2.2 Ricci curvature 2.3 Weyl curvature tensor 2.4 Ricci decomposition 3 Calculation of curvature 4 References 5 Notes Ways to express the curvature of a Riemannian manifold The Riemann curvature tensor Main article: Riemann curvature tensor The curvature of Riemannian manifold can be described in various ways; the most standard one is the curvature tensor, given in terms of a Levi-Civita connection (or covariant differentiation) and Lie bracket by the following formula: Here R(u,v) is a linear transformation of the tangent space of the manifold; it is linear in each argument.
    [Show full text]