Notes on the Weyl Tensor, Decomposition of Riemann Tensor, Ruse-Lanczos Identity and Duality of the Curvature Tensor

Total Page:16

File Type:pdf, Size:1020Kb

Notes on the Weyl Tensor, Decomposition of Riemann Tensor, Ruse-Lanczos Identity and Duality of the Curvature Tensor Notes on the Weyl tensor, decomposition of Riemann tensor, Ruse-Lanczos identity and duality of the curvature tensor Wytler Cordeiro dos Santos Universidade de Bras´ılia,CEP 70910-900, DF, Brasil Abstract These notes have the pedagogical purpose of exposing mathematical accounts about of the Weyl tensor. The deve- lopment of calculations is presented to obtain the curvature tensor from the conformal transformation, consequently resulting in the Weyl conformal tensor and the Riemann tensor reveals itself decomposed into its parts. The Ruse- Lanczos identity is a useful mathematical tool to build duality identities in the two pairs of antisymmetric indices of the Riemann tensor components. Keywords: Weyl tensor, decomposition of the Riemann tensor, dual tensor 1. Introduction In accordance with tensorial approach of the Electromagnetic Theory, the electromagnetic field is given in terms of the four-vector Fµ = Eµ + iBµ, where Eµ = (0; E1; E2; E3) and Bµ = (0; B1; B2; B3) are electric and magnetic field observated by an observer in an inertial reference frame, where the four-velocity vector of the observer is a timelike µ ν ν vector u = (1; 0; 0; 0). Thus, the four-electromagnetico vector is given by Fµ = Fµνu + iF˜µνu , where the Fµν is the ˜ 1 κλ field-strength tensor of electromagnetism and the Fµν = 2 κλµνF is its dual field-strength tensor. In this formalism, ν ν we separete the eletric vector given by Eµ = Fµνu and magnetic vector given by Bµ = F˜µνu with aid of dual operation. In fact, in the inertial reference frame in which it is at rest, the vectors Eµ and Bµ, are spatial three-vectors, then we can put F = E + iB, where the six components of the field-strength tensor of electromagnetism Fµν are into complex three-vector F [1]. The duality of an antisymmetric tensor like field-strength tensor of electromagnetism can be used for split vectorial components. With this in mind we can apply the dual operation to the pair of antisymmetric indices of Riemann curvature tensor. In the literature that deals with duality of the Riemann curvature tensor, decomposed into its irreducible components, the Weyl tensor, the Ricci tensor and the curvature scalar, seldom makes explicit details of calculations involving the decomposition of the the Riemann curvature tensor. In the basic courses of General Relativity, presents Weyl tensor as a definition without exposing the details of the calculations that lead to it. Some books, for example [2, 3], present the conformal transformation and indicate the path to be followed to obtain the Weyl curvature tensor. In this paper we solved this exercise to obtain the Weyl tensor from conformal transformation and explained the decomposition of Riemann curvature tensor. In order to obtain the duality properties of Riemann curvature tensor, it is necessary to study the Ruse-Lanczos identity [4]. Consequently, in the same way as for the duality of electromagnetismo we present the formalism of duality and complexification of the parts of Riemann curvature tensor. κ According to General Relativity, the Riemann curvature tensor, R µλν, is related to the distribution of matter, κ specifically by Ricci tensor, Rµν = R µκν, directly related to the local energy-momentum tensor by Einstein’s field equations, 1 R − g R = 8πGT ; (1) µν 2 µν µν Email address: [email protected] (Wytler Cordeiro dos Santos) 1 where G is the gravitational Newton’s constant and we are overlooking the value of the cosmological constant. In free gravitational field, we have no matter, Tµν = 0 and consequently we have null Ricci tensor, Rµν = 0. Greek labels refer to four dimensional spacetime and we use metric signature (− + ++). 2. Conformal transformation Hermann Weyl tried to unify electromagnetism and gravitation, this attempt was carried out in 1919 [5], however this attempt failed, but Weyl introduced a new principle of invariance in his theory, a scale change of the metric tensor given by g¯ = e2! g. This principle later evolved through Quantum Field Theory being known as ‘gauge invariance’ [6, 7, 8]. A scale change of the metric tensor is classified as conformal transformation in Riemannian Geometry leading to the Weyl conformal tensor. Let (M; g) be a spacetime where M is pseudo-Riemannian manifold and g is a Lorentz metric tensor. A con- formal transformation [2, 3, 9] is not a change of coordinates but an actual change in the geometry under a ‘gauge transformation’ [10] as already mentioned, g¯ = e2! g; (2) where g e g¯ are metric tensors on the manifold M and ! = !(x) is a real function of the spacetime coordinates. The ‘gauge transformation’ in equation (2) is a rescaling of the metric tensor and it is named Weyl rescaling. In the Weyl rescaling we can state that g¯ is conformally related to g, because the gauge transformation (2) pre- serves the angle between two vectors U and V of the tangent space Tp(M). The inner product between the two vectors U and V, denoted by U · V = g(U; V) and the measure of the angle between two vectors follows from the definition, U · V g(U; V) cos θ = = p p : (3) jUjjVj g(U; U) g(V; V) The measure of the angle between the same two vectors under Weyl rescaling (2) is given by, g¯(U; V) e2! g(U; V) g(U; V) cos θ¯ = p p = p p = p p = cos θ; (4) g¯(U; U) g¯(V; V) e2! g(U; U) e2! g(V; V) g(U; U) g(V; V) therefore comparing the equation (3) and (4), the Weyl rescaling is a conformal transformation that preserves the angle but changes the scale. In accordance with this statement, a conformal transformation on spacetime (M; g) preserves the local light cone structure, where, timelike vectors remain timelike vectors, spacelike vectors remain spacelike vectors and null vectors remain null vectors. A very useful applications are the Penrose conformal diagrams that enable the whole of an infinite spacetime to be represented as a finite diagram, by applying a conformal transformation to the metric structure [9, 11]. 2.1. Calculation of the connections or Christoffel symbols and Riemann curvature tensor in a conformal space Let us compute the Riemann curvature tensor and for the first step, we calculate the Christoffel symbols in a conformal space starting with 1 Γ¯ ρ = g¯ρσ(¯g + g¯ − g¯ ): (5) µν 2 µσ,ν νσ,µ µν,σ with a comma denoting a partial derivative. To facilitate some calculations let us admit that e!(x) ! Ω(x) is some non-vanishing scalar funtion of position in the Weyl local rescaling metric of the metric tensor (2), 2 µν −2 µν g¯µν = Ω gµν andg ¯ = Ω g ; (6) ρ replacing above equation (6) into Christoffel symbols Γ¯ µν and calculating the derivatives, we have, 1 Γ¯ ρ = Ω−2gρσ[2Ω(Ω; )g + Ω2g + 2Ω(Ω; )g + Ω2g − 2Ω(Ω; )g − Ω2g ] µν 2 ν µσ µσ,ν µ νσ νσ,µ σ µν µν,σ 1 1 = Ω−2gρσ[Ω2(g + g − g )] + Ω−2gρσ[2Ω(Ω; g + Ω; g − Ω; g )]; 2 µσ,ν νσ,µ µν,σ 2 ν µσ µ νσ σ µν 2 that is ρ ρ −1 ρ ρ ρσ Γ¯ µν = Γ µν + Ω (δ µΩ;ν +δ νΩ;µ −g gµνΩ;σ ): (7) Now we can calculate the Riemann curvature tensor in a conformal space with metric tensor g¯, ρ ρ ρ κ ρ κ ρ R¯ µσν = Γ¯ µν,σ − Γ¯ µσ,ν + Γ¯ µνΓ¯ σκ − Γ¯ σµΓ¯ νκ (8) where we need to calculate the derivative of Christoffel symbol (7), that it will result in the first term of Riemann curvature tensor (8), ρ ρ ρ −1 ρ −1 ρκ −1 ρκ −1 Γ¯ µν,σ = Γ µν,σ + δ µ(Ω Ω;ν );σ +δ ν(Ω Ω;µ );σ −gµν,σ(g Ω Ω;κ ) − gµν(g Ω Ω;κ );σ : The second term of Riemann curvature tensor (8) is similar to the above first term, for just changing the indexes ν $ σ, ρ ρ ρ −1 ρ −1 ρκ −1 ρκ −1 Γ¯ µσ,ν = Γ µσ,ν + δ µ(Ω Ω;σ );ν +δ σ(Ω Ω;µ );ν −gµσ,ν(g Ω Ω;κ ) − gµσ(g Ω Ω;κ );ν : By subtracting the two terms above, we have that, ρ −1 ρ −1 ρ −2 −1 −2 −1 δ µ(Ω Ω;ν );σ −δ µ(Ω Ω;σ );ν = δ µ[(−Ω Ω;σ Ω;ν +Ω ;νσ ) − (−Ω Ω;ν Ω;σ +Ω ;σν )] = 0 and then we have ρ ρ ρ ρ ρ −1 ρ −1 ρκ −1 ρκ −1 Γ¯ µν,σ − Γ¯ µσ,ν = Γ µν,σ − Γ µσ,ν + δ ν(Ω Ω;µ );σ −δ σ(Ω Ω;µ );ν −gµν,σ(g Ω Ω;κ ) + gµσ,ν(g Ω Ω;κ ) ρκ −1 ρκ −1 +gµσ(g Ω Ω;κ );ν −gµν(g Ω Ω;κ );σ : (9) Let us calculate the third term of Riemann curvature tensor of equation (8), κ ρ κ −1 κ κ κλ ρ −1 ρ ρ ρλ Γ¯ µνΓ¯ σκ = [Γ µν + Ω (δ µΩ;ν +δ νΩ;µ −g gµνΩ;λ )][Γ σκ + Ω (δ σΩ;κ +δ κΩ;σ −g gσκΩ;λ )] κ ρ −1 κ ρ κ ρ ρ κλ = Γ µνΓ σκ + Ω (δ µΓ σκΩ;ν +δ νΓ σκΩ;µ −Γ σκg gµνΩ;λ ) −1 ρ κ ρ κ κ ρλ +Ω (δ σΓ µνΩ;κ +δ κΓ µνΩ;σ −Γ µνg gσκΩ;λ ) −2 κ ρ κ ρ κ ρλ +Ω (δ µδ σΩ;ν Ω;κ +δ µδ κΩ;ν Ω;σ −δ µg gσκΩ;ν Ω;λ κ ρ κ ρ κ ρλ +δ νδ σΩ;µ Ω;κ +δ νδ κΩ;µ Ω;σ −δ νg gσκΩ;µ Ω;λ κλ ρ κλ ρ κλ ρτ −g gµνδ σΩ;κ Ω;λ −g gµνδ κΩ;σ Ω;λ +g gµνg gσκΩ;λ Ω;τ ); the last term in above equation can be simplified, κλ ρτ λ ρτ ρτ g gµνg gσκΩ;λ Ω;τ = δ σgµνg Ω;λ Ω;τ = gµνg Ω;σ Ω;τ : so that κ ρ κ ρ −1 ρ ρ ρ κ ρ κλ ρ ρλ κ Γ¯ µνΓ¯ σκ = Γ µνΓ σκ + Ω Γ σµΩ;ν +Γ σνΩ;µ +δ σΓ µνΩ;κ +Γ µνΩ;σ −g gµνΓ σκΩ;λ −g gσκΓ µνΩ;λ −2 ρ ρ ρ ρ ρλ ρλ +Ω δ σΩ;ν Ω;µ +δ µΩ;ν Ω;σ +δ σΩ;ν Ω;µ +δ νΩ;µ Ω;σ −g gµσΩ;ν Ω;λ −g gσνΩ;µ Ω;λ κλ ρ ρλ ρλ −g gµνδ σΩ;κ Ω;λ −g gµνΩ;σ Ω;λ +gµνg Ω;σ Ω;λ ; we can see that the last two terms cancel each other resulting in κ ρ κ ρ −1 ρ ρ ρ ρ κ κλ ρ ρλ κ Γ¯ µνΓ¯ σκ = Γ µνΓ σκ + Ω Γ σµΩ;ν +Γ σνΩ;µ +Γ µνΩ;σ +δ σΓ µνΩ;κ −g gµνΓ σκΩ;λ −g gσκΓ µνΩ;λ −2 ρ ρ ρ ρλ ρ κλ +Ω 2δ σΩ;µ Ω;ν +δ µΩ;ν Ω;σ +δ νΩ;µ Ω;σ −g (gµσΩ;ν Ω;λ −gνσΩ;µ Ω;λ ) − gµνδ σg Ω;κ Ω;λ The fourth and final term of Riemann curvature tensor of equation (8), is similar to the above third term, for just changing the indexes ν $ σ, κ ρ κ ρ −1 ρ ρ ρ ρ κ κλ ρ ρλ κ Γ¯ σµΓ¯ νκ = Γ σµΓ νκ + Ω Γ νµΩ;σ +Γ νσΩ;µ +Γ µσΩ;ν +δ νΓ µσΩ;κ −g gµσΓ νκΩ;λ −g gνκΓ µσΩ;λ −2 ρ ρ ρ ρλ ρ κλ +Ω 2δ νΩ;µ Ω;σ +δ µΩ;σ Ω;ν +δ σΩ;µ Ω;ν −g (gµνΩ;σ Ω;λ −gσνΩ;µ Ω;λ ) − gµσδ νg Ω;κ Ω;λ : The subtraction between the third and the fourth terms obtained above results in, κ ρ κ ρ κ ρ κ ρ −1 ρ κ ρ κ κλ ρ ρ Γ¯ µνΓ¯ σκ −
Recommended publications
  • A Mathematical Derivation of the General Relativistic Schwarzschild
    A Mathematical Derivation of the General Relativistic Schwarzschild Metric An Honors thesis presented to the faculty of the Departments of Physics and Mathematics East Tennessee State University In partial fulfillment of the requirements for the Honors Scholar and Honors-in-Discipline Programs for a Bachelor of Science in Physics and Mathematics by David Simpson April 2007 Robert Gardner, Ph.D. Mark Giroux, Ph.D. Keywords: differential geometry, general relativity, Schwarzschild metric, black holes ABSTRACT The Mathematical Derivation of the General Relativistic Schwarzschild Metric by David Simpson We briefly discuss some underlying principles of special and general relativity with the focus on a more geometric interpretation. We outline Einstein’s Equations which describes the geometry of spacetime due to the influence of mass, and from there derive the Schwarzschild metric. The metric relies on the curvature of spacetime to provide a means of measuring invariant spacetime intervals around an isolated, static, and spherically symmetric mass M, which could represent a star or a black hole. In the derivation, we suggest a concise mathematical line of reasoning to evaluate the large number of cumbersome equations involved which was not found elsewhere in our survey of the literature. 2 CONTENTS ABSTRACT ................................. 2 1 Introduction to Relativity ...................... 4 1.1 Minkowski Space ....................... 6 1.2 What is a black hole? ..................... 11 1.3 Geodesics and Christoffel Symbols ............. 14 2 Einstein’s Field Equations and Requirements for a Solution .17 2.1 Einstein’s Field Equations .................. 20 3 Derivation of the Schwarzschild Metric .............. 21 3.1 Evaluation of the Christoffel Symbols .......... 25 3.2 Ricci Tensor Components .................
    [Show full text]
  • Kaluza-Klein Gravity, Concentrating on the General Rel- Ativity, Rather Than Particle Physics Side of the Subject
    Kaluza-Klein Gravity J. M. Overduin Department of Physics and Astronomy, University of Victoria, P.O. Box 3055, Victoria, British Columbia, Canada, V8W 3P6 and P. S. Wesson Department of Physics, University of Waterloo, Ontario, Canada N2L 3G1 and Gravity Probe-B, Hansen Physics Laboratories, Stanford University, Stanford, California, U.S.A. 94305 Abstract We review higher-dimensional unified theories from the general relativity, rather than the particle physics side. Three distinct approaches to the subject are identi- fied and contrasted: compactified, projective and noncompactified. We discuss the cosmological and astrophysical implications of extra dimensions, and conclude that none of the three approaches can be ruled out on observational grounds at the present time. arXiv:gr-qc/9805018v1 7 May 1998 Preprint submitted to Elsevier Preprint 3 February 2008 1 Introduction Kaluza’s [1] achievement was to show that five-dimensional general relativity contains both Einstein’s four-dimensional theory of gravity and Maxwell’s the- ory of electromagnetism. He however imposed a somewhat artificial restriction (the cylinder condition) on the coordinates, essentially barring the fifth one a priori from making a direct appearance in the laws of physics. Klein’s [2] con- tribution was to make this restriction less artificial by suggesting a plausible physical basis for it in compactification of the fifth dimension. This idea was enthusiastically received by unified-field theorists, and when the time came to include the strong and weak forces by extending Kaluza’s mechanism to higher dimensions, it was assumed that these too would be compact. This line of thinking has led through eleven-dimensional supergravity theories in the 1980s to the current favorite contenders for a possible “theory of everything,” ten-dimensional superstrings.
    [Show full text]
  • Unification of Gravity and Quantum Theory Adam Daniels Old Dominion University, [email protected]
    Old Dominion University ODU Digital Commons Faculty-Sponsored Student Research Electrical & Computer Engineering 2017 Unification of Gravity and Quantum Theory Adam Daniels Old Dominion University, [email protected] Follow this and additional works at: https://digitalcommons.odu.edu/engineering_students Part of the Elementary Particles and Fields and String Theory Commons, Engineering Physics Commons, and the Quantum Physics Commons Repository Citation Daniels, Adam, "Unification of Gravity and Quantum Theory" (2017). Faculty-Sponsored Student Research. 1. https://digitalcommons.odu.edu/engineering_students/1 This Report is brought to you for free and open access by the Electrical & Computer Engineering at ODU Digital Commons. It has been accepted for inclusion in Faculty-Sponsored Student Research by an authorized administrator of ODU Digital Commons. For more information, please contact [email protected]. Unification of Gravity and Quantum Theory Adam D. Daniels [email protected] Electrical and Computer Engineering Department, Old Dominion University Norfolk, Virginia, United States Abstract- An overview of the four fundamental forces of objects falling on earth. Newton’s insight was that the force that physics as described by the Standard Model (SM) and prevalent governs matter here on Earth was the same force governing the unifying theories beyond it is provided. Background knowledge matter in space. Another critical step forward in unification was of the particles governing the fundamental forces is provided, accomplished in the 1860s when James C. Maxwell wrote down as it will be useful in understanding the way in which the his famous Maxwell’s Equations, showing that electricity and unification efforts of particle physics has evolved, either from magnetism were just two facets of a more fundamental the SM, or apart from it.
    [Show full text]
  • Laplacians in Geometric Analysis
    LAPLACIANS IN GEOMETRIC ANALYSIS Syafiq Johar syafi[email protected] Contents 1 Trace Laplacian 1 1.1 Connections on Vector Bundles . .1 1.2 Local and Explicit Expressions . .2 1.3 Second Covariant Derivative . .3 1.4 Curvatures on Vector Bundles . .4 1.5 Trace Laplacian . .5 2 Harmonic Functions 6 2.1 Gradient and Divergence Operators . .7 2.2 Laplace-Beltrami Operator . .7 2.3 Harmonic Functions . .8 2.4 Harmonic Maps . .8 3 Hodge Laplacian 9 3.1 Exterior Derivatives . .9 3.2 Hodge Duals . 10 3.3 Hodge Laplacian . 12 4 Hodge Decomposition 13 4.1 De Rham Cohomology . 13 4.2 Hodge Decomposition Theorem . 14 5 Weitzenb¨ock and B¨ochner Formulas 15 5.1 Weitzenb¨ock Formula . 15 5.1.1 0-forms . 15 5.1.2 k-forms . 15 5.2 B¨ochner Formula . 17 1 Trace Laplacian In this section, we are going to present a notion of Laplacian that is regularly used in differential geometry, namely the trace Laplacian (also called the rough Laplacian or connection Laplacian). We recall the definition of connection on vector bundles which allows us to take the directional derivative of vector bundles. 1.1 Connections on Vector Bundles Definition 1.1 (Connection). Let M be a differentiable manifold and E a vector bundle over M. A connection or covariant derivative at a point p 2 M is a map D : Γ(E) ! Γ(T ∗M ⊗ E) 1 with the properties for any V; W 2 TpM; σ; τ 2 Γ(E) and f 2 C (M), we have that DV σ 2 Ep with the following properties: 1.
    [Show full text]
  • Selected Papers on Teleparallelism Ii
    SELECTED PAPERS ON TELEPARALLELISM Edited and translated by D. H. Delphenich Table of contents Page Introduction ……………………………………………………………………… 1 1. The unification of gravitation and electromagnetism 1 2. The geometry of parallelizable manifold 7 3. The field equations 20 4. The topology of parallelizability 24 5. Teleparallelism and the Dirac equation 28 6. Singular teleparallelism 29 References ……………………………………………………………………….. 33 Translations and time line 1928: A. Einstein, “Riemannian geometry, while maintaining the notion of teleparallelism ,” Sitzber. Preuss. Akad. Wiss. 17 (1928), 217- 221………………………………………………………………………………. 35 (Received on June 7) A. Einstein, “A new possibility for a unified field theory of gravitation and electromagnetism” Sitzber. Preuss. Akad. Wiss. 17 (1928), 224-227………… 42 (Received on June 14) R. Weitzenböck, “Differential invariants in EINSTEIN’s theory of teleparallelism,” Sitzber. Preuss. Akad. Wiss. 17 (1928), 466-474……………… 46 (Received on Oct 18) 1929: E. Bortolotti , “ Stars of congruences and absolute parallelism: Geometric basis for a recent theory of Einstein ,” Rend. Reale Acc. dei Lincei 9 (1929), 530- 538...…………………………………………………………………………….. 56 R. Zaycoff, “On the foundations of a new field theory of A. Einstein,” Zeit. Phys. 53 (1929), 719-728…………………………………………………............ 64 (Received on January 13) Hans Reichenbach, “On the classification of the new Einstein Ansatz on gravitation and electricity,” Zeit. Phys. 53 (1929), 683-689…………………….. 76 (Received on January 22) Selected papers on teleparallelism ii A. Einstein, “On unified field theory,” Sitzber. Preuss. Akad. Wiss. 18 (1929), 2-7……………………………………………………………………………….. 82 (Received on Jan 30) R. Zaycoff, “On the foundations of a new field theory of A. Einstein; (Second part),” Zeit. Phys. 54 (1929), 590-593…………………………………………… 89 (Received on March 4) R.
    [Show full text]
  • Post-Newtonian Approximation
    Post-Newtonian gravity and gravitational-wave astronomy Polarization waveforms in the SSB reference frame Relativistic binary systems Effective one-body formalism Post-Newtonian Approximation Piotr Jaranowski Faculty of Physcis, University of Bia lystok,Poland 01.07.2013 P. Jaranowski School of Gravitational Waves, 01{05.07.2013, Warsaw Post-Newtonian gravity and gravitational-wave astronomy Polarization waveforms in the SSB reference frame Relativistic binary systems Effective one-body formalism 1 Post-Newtonian gravity and gravitational-wave astronomy 2 Polarization waveforms in the SSB reference frame 3 Relativistic binary systems Leading-order waveforms (Newtonian binary dynamics) Leading-order waveforms without radiation-reaction effects Leading-order waveforms with radiation-reaction effects Post-Newtonian corrections Post-Newtonian spin-dependent effects 4 Effective one-body formalism EOB-improved 3PN-accurate Hamiltonian Usage of Pad´eapproximants EOB flexibility parameters P. Jaranowski School of Gravitational Waves, 01{05.07.2013, Warsaw Post-Newtonian gravity and gravitational-wave astronomy Polarization waveforms in the SSB reference frame Relativistic binary systems Effective one-body formalism 1 Post-Newtonian gravity and gravitational-wave astronomy 2 Polarization waveforms in the SSB reference frame 3 Relativistic binary systems Leading-order waveforms (Newtonian binary dynamics) Leading-order waveforms without radiation-reaction effects Leading-order waveforms with radiation-reaction effects Post-Newtonian corrections Post-Newtonian spin-dependent effects 4 Effective one-body formalism EOB-improved 3PN-accurate Hamiltonian Usage of Pad´eapproximants EOB flexibility parameters P. Jaranowski School of Gravitational Waves, 01{05.07.2013, Warsaw Relativistic binary systems exist in nature, they comprise compact objects: neutron stars or black holes. These systems emit gravitational waves, which experimenters try to detect within the LIGO/VIRGO/GEO600 projects.
    [Show full text]
  • Curvature Tensors in a 4D Riemann–Cartan Space: Irreducible Decompositions and Superenergy
    Curvature tensors in a 4D Riemann–Cartan space: Irreducible decompositions and superenergy Jens Boos and Friedrich W. Hehl [email protected] [email protected]"oeln.de University of Alberta University of Cologne & University of Missouri (uesday, %ugust 29, 17:0. Geometric Foundations of /ravity in (artu Institute of 0hysics, University of (artu) Estonia Geometric Foundations of /ravity Geometric Foundations of /auge Theory Geometric Foundations of /auge Theory ↔ Gravity The ingredients o$ gauge theory: the e2ample o$ electrodynamics ,3,. The ingredients o$ gauge theory: the e2ample o$ electrodynamics 0henomenological Ma24ell: redundancy conserved e2ternal current 5 ,3,. The ingredients o$ gauge theory: the e2ample o$ electrodynamics 0henomenological Ma24ell: Complex spinor 6eld: redundancy invariance conserved e2ternal current 5 conserved #7,8 current ,3,. The ingredients o$ gauge theory: the e2ample o$ electrodynamics 0henomenological Ma24ell: Complex spinor 6eld: redundancy invariance conserved e2ternal current 5 conserved #7,8 current Complete, gauge-theoretical description: 9 local #7,) invariance ,3,. The ingredients o$ gauge theory: the e2ample o$ electrodynamics 0henomenological Ma24ell: iers Complex spinor 6eld: rce carr ry of fo mic theo rrent rosco rnal cu m pic en exte att desc gredundancyiv er; N ript oet ion o conserved e2ternal current 5 invariance her f curr conserved #7,8 current e n t s Complete, gauge-theoretical description: gauge theory = complete description of matter and 9 local #7,) invariance how it interacts via gauge bosons ,3,. Curvature tensors electrodynamics :ang–Mills theory /eneral Relativity 0oincaré gauge theory *3,. Curvature tensors electrodynamics :ang–Mills theory /eneral Relativity 0oincaré gauge theory *3,. Curvature tensors electrodynamics :ang–Mills theory /eneral Relativity 0oincar; gauge theory *3,.
    [Show full text]
  • Analyzing Non-Degenerate 2-Forms with Riemannian Metrics
    EXPOSITIONES Expo. Math. 20 (2002): 329-343 © Urban & Fischer Verlag MATHEMATICAE www.u rba nfischer.de/journals/expomath Analyzing Non-degenerate 2-Forms with Riemannian Metrics Philippe Delano~ Universit~ de Nice-Sophia Antipolis Math~matiques, Parc Valrose, F-06108 Nice Cedex 2, France Abstract. We give a variational proof of the harmonicity of a symplectic form with respect to adapted riemannian metrics, show that a non-degenerate 2-form must be K~ihlerwhenever parallel for some riemannian metric, regardless of adaptation, and discuss k/ihlerness under curvature assmnptions. Introduction In the first part of this paper, we aim at a better understanding of the following folklore result (see [14, pp. 140-141] and references therein): Theorem 1 . Let a be a non-degenerate 2-form on a manifold M and g, a riemannian metric adapted to it. If a is closed, it is co-closed for g. Let us specify at once a bit of terminology. We say a riemannian metric g is adapted to a non-degenerate 2-form a on a 2m-manifold M, if at each point Xo E M there exists a chart of M in which g(Xo) and a(Xo) read like the standard euclidean metric and symplectic form of R 2m. If, moreover, this occurs for the first jets of a (resp. a and g) and the corresponding standard structures of R 2m, the couple (~r,g) is called an almost-K~ihler (resp. a K/ihler) structure; in particular, a is then closed. Given a non-degenerate, an adapted metric g can be constructed out of any riemannian metric on M, using Cartan's polar decomposition (cf.
    [Show full text]
  • How Extra Symmetries Affect Solutions in General Relativity
    universe Communication How Extra Symmetries Affect Solutions in General Relativity Aroonkumar Beesham 1,2,∗,† and Fisokuhle Makhanya 2,† 1 Faculty of Natural Sciences, Mangosuthu University of Technology, P.O. Box 12363, Jacobs 4026, South Africa 2 Department of Mathematical Sciences, University of Zululand, P. Bag X1001, Kwa-Dlangezwa 3886, South Africa; [email protected] * Correspondence: [email protected] † These authors contributed equally to this work. Received: 13 September 2020; Accepted: 7 October 2020; Published: 9 October 2020 Abstract: To get exact solutions to Einstein’s field equations in general relativity, one has to impose some symmetry requirements. Otherwise, the equations are too difficult to solve. However, sometimes, the imposition of too much extra symmetry can cause the problem to become somewhat trivial. As a typical example to illustrate this, the effects of conharmonic flatness are studied and applied to Friedmann–Lemaitre–Robertson–Walker spacetime. Hence, we need to impose some symmetry to make the problem tractable, but not too much so as to make it too simple. Keywords: general relativity; symmetry; conharmonic flatness; FLRW models 1. Introduction In 1915, Einstein formulated his theory of general relativity, whose field equations with cosmological term can be written in suitable units as: 1 R − Rg + Lg = T , (1) ab 2 ab ab ab where Rab is the Ricci tensor, R the Ricci scalar, gab the metric tensor, L the cosmological parameter, and Tab the energy–momentum tensor. The field Equations (1) consist of a set of ten partial differential equations, which need to be solved. Despite great progress, it is worth noting that a clear definition of an exact solution does not exist [1].
    [Show full text]
  • The Weyl Tensor of Gradient Ricci Solitons
    THE WEYL TENSOR OF GRADIENT RICCI SOLITONS XIAODONG CAO∗ AND HUNG TRAN Abstract. This paper derives new identities for the Weyl tensor on a gradient Ricci soliton, particularly in dimension four. First, we prove a Bochner-Weitzenb¨ock type formula for the norm of the self-dual Weyl tensor and discuss its applications, including connections between geometry and topology. In the second part, we are concerned with the interaction of different components of Riemannian curvature and (gradient and Hessian of) the soliton potential function. The Weyl tensor arises naturally in these investigations. Applications here are rigidity results. Contents 1. Introduction 2 2. Notation and Preliminaries 4 2.1. Gradient Ricci Solitons 5 2.2. Four-Manifolds 6 2.3. New Sectional Curvature 9 3. A Bochner-Weitzenb¨ock Formula 13 4. Applications of the Bochner-Weitzenb¨ock Formula 15 4.1. A Gap Theorem for the Weyl Tensor 15 4.2. Isotropic Curvature 20 5. A Framework Approach 21 5.1. Decomposition Lemmas 22 5.2. Norm Calculations 24 6. Rigidity Results 29 6.1. Eigenvectors of the Ricci curvature 31 arXiv:1311.0846v1 [math.DG] 4 Nov 2013 6.2. Proofs of Rigidity Theorems 35 7. Appendix 36 7.1. Conformal Change Calculation 36 7.2. Along the Ricci Flow 39 References 40 Date: September 19, 2018. 2000 Mathematics Subject Classification. Primary 53C44; Secondary 53C21. ∗This work was partially supported by grants from the Simons Foundation (#266211 and #280161). 1 2 Xiaodong Cao and Hung Tran 1. Introduction The Ricci flow, which was first introduced by R. Hamilton in [30], describes a one- parameter family of smooth metrics g(t), 0 t < T , on a closed n-dimensional manifold M n, by the equation ≤ ≤∞ ∂ (1.1) g(t)= 2Rc(t).
    [Show full text]
  • Introduction to General Relativity
    INTRODUCTION TO GENERAL RELATIVITY Gerard 't Hooft Institute for Theoretical Physics Utrecht University and Spinoza Institute Postbox 80.195 3508 TD Utrecht, the Netherlands e-mail: [email protected] internet: http://www.phys.uu.nl/~thooft/ Version November 2010 1 Prologue General relativity is a beautiful scheme for describing the gravitational ¯eld and the equations it obeys. Nowadays this theory is often used as a prototype for other, more intricate constructions to describe forces between elementary particles or other branches of fundamental physics. This is why in an introduction to general relativity it is of importance to separate as clearly as possible the various ingredients that together give shape to this paradigm. After explaining the physical motivations we ¯rst introduce curved coordinates, then add to this the notion of an a±ne connection ¯eld and only as a later step add to that the metric ¯eld. One then sees clearly how space and time get more and more structure, until ¯nally all we have to do is deduce Einstein's ¯eld equations. These notes materialized when I was asked to present some lectures on General Rela- tivity. Small changes were made over the years. I decided to make them freely available on the web, via my home page. Some readers expressed their irritation over the fact that after 12 pages I switch notation: the i in the time components of vectors disappears, and the metric becomes the ¡ + + + metric. Why this \inconsistency" in the notation? There were two reasons for this. The transition is made where we proceed from special relativity to general relativity.
    [Show full text]
  • General Relativity Fall 2019 Lecture 11: the Riemann Tensor
    General Relativity Fall 2019 Lecture 11: The Riemann tensor Yacine Ali-Ha¨ımoud October 8th 2019 The Riemann tensor quantifies the curvature of spacetime, as we will see in this lecture and the next. RIEMANN TENSOR: BASIC PROPERTIES α γ Definition { Given any vector field V , r[αrβ]V is a tensor field. Let us compute its components in some coordinate system: σ σ λ σ σ λ r[µrν]V = @[µ(rν]V ) − Γ[µν]rλV + Γλ[µrν]V σ σ λ σ λ λ ρ = @[µ(@ν]V + Γν]λV ) + Γλ[µ @ν]V + Γν]ρV 1 = @ Γσ + Γσ Γρ V λ ≡ Rσ V λ; (1) [µ ν]λ ρ[µ ν]λ 2 λµν where all partial derivatives of V µ cancel out after antisymmetrization. σ Since the left-hand side is a tensor field and V is a vector field, we conclude that R λµν is a tensor field as well { this is the tensor division theorem, which I encourage you to think about on your own. You can also check that explicitly from the transformation law of Christoffel symbols. This is the Riemann tensor, which measures the non-commutation of second derivatives of vector fields { remember that second derivatives of scalar fields do commute, by assumption. It is completely determined by the metric, and is linear in its second derivatives. Expression in LICS { In a LICS the Christoffel symbols vanish but not their derivatives. Let us compute the latter: 1 1 @ Γσ = @ gσδ (@ g + @ g − @ g ) = ησδ (@ @ g + @ @ g − @ @ g ) ; (2) µ νλ 2 µ ν λδ λ νδ δ νλ 2 µ ν λδ µ λ νδ µ δ νλ since the first derivatives of the metric components (thus of its inverse as well) vanish in a LICS.
    [Show full text]