DOCSLIB.ORG

Note About the Spin Connection in General Relativity

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Note About the Spin Connection in General Relativity Note about the spin connection in general relativity Renata Jora a∗ a National Institute of Physics and Nuclear Engineering PO Box MG-6, Bucharest-Magurele, Romania In general relativity the fermions are treated from the perspective of the gauged Lorentz group and by introducing the corresponding gauge fields the spin connection. This procedure is intimately related to the so-called ”vielbein” formalism and stems from the general structure that can be asso- ciated to a manifold, the affine connection. In this work we derive the correct spin connection based only on the general covariance of the theory, on the gauged Lorentz symmetry and on the known space-time properties of fermion bilinears generalized to the curved space. Our result coincides exactly with the spin connection obtain through the tetrad formalism. In general relativity the ordinary derivative of a tensor, It is considered that the gamma matrices in the curved in order to obtain the general behavior of a tensor, is re- space satisfy a generalized Clifford algebra with the anti placed by the covariant derivative written in terms of an commutation relation: affine connection. For example for a vector the covariant µ ν µν derivative is given by: {γ ,γ } =2g . (6) If one requires further that the operations of parallel ∂ V → D V = ∂ V − Γρ V . (1) µ ν µ ν µ ν µν ρ transport and projection on flat and curved indices com- ρ mute one arrives of the vielbein postulate: Here Γµν represents the affine connection which may be independent of a metric. In particular however it is al- m m ν m m n Dρe = ∂ρe (x) − Γ e − ω e =0, (7) ways more amenable to consider an affine connection that µ µ ρµ ν ρn mu m satisfies two main requirements [1]: where ωρn is the spin connection which can be extracted ρ ρ a) to be torsion free, i.e. Γµν =Γνµ. from Eq. (7) to be: b) to be metric compatible which amount to asking ωmn = emΓν eσn + em∂ eνn = that the covariant derivative of the metric tensor is zero: µ ν σµ ν µ m ν σn m νn eν Γσµe − ∂µeν e . (8) σ σ ∆ρgµν = ∂ρgµν − Γ gσν − Γ gσµ =0. (2) ρµ ρν Then the covariant derivative of a Dirac fermion in the . curved space time is written as: Having established how a derivative of a tensor field i ab must be modified in curved space time one needs to con- DρΨ= ∂ρΨ − ωρ σabΨ, (9) sider another type of fields of relevance in a quantum 4 i a b field theory, the fermion fields. In QFT the fermions lie where σab = 2 [γ ,γ ]. in a four dimensional representation of the Lorentz group Various attempts have been made in the literature [4] SO(3, 1) given by the gamma matrices which span a Clif- to introduce fermion covariant derivative without the use ford algebra with the anti-commutation rule: of the vielbein formalism in terms of only the curvilinear a b ab coordinates. These involved usually new and complicated {γ ,γ } =2η , (3) mathematical structures and an entire formalism of their own. where ηab is the Minkowski metric. The natural approach In the following we will derive the exact expression for in the presence of a curved space-time and of a general arXiv:1911.05283v2 [gr-qc] 22 Apr 2020 the fermion covariant derivative without the use of the coordinate transformation would be then to gauge the vielbein formalism by only making some natural assump- Lorentz group and to introduce the gauge fields associ- tions. ated to this, the spin connection. Then in a formalism Consider two Dirac fermions Ψ and Ψ¯ and the gamma introduced by Cartan and developed further in [2], [3] matrices γµ in the curved space time. The main assump- one defines the gamma matrices in the curved space as: tion is that the quantity Ψ¯ γµΨ transforms as a vector in µ a µ the curved space-time. Then the quantity, γ (x)= γ ea , (4) ¯ µ where γµ depend on the coordinate, µ is the index in the Dρ[Ψγ Ψ], (10) curved space and a is the index in the flat space. The D µ where ρ was introduced in Eq. (1) should transform as quantities ea are called a tetrad and satisfy the relation: a rank two tensor. gµν = eµeν ηab. (5) We are interested in writing a covariant derivative for a b the fermion fields such that the quantity in Eq. (10) transforms as a second rank tensor. Consider that this covariant derivative is expressed as, ∗ [email protected] DρΨ= ∂ρΨ+ XρΨ, (11) 2 where Xρ may contain in it gamma matrices in the curved behaves as a second rank tensor. Since the term in the space. first line of Eq. (21) behaves like a tensor then also the We make the assumption that the covariant derivative terms on the second plus the third line must behave as a operator is linear, although acting with different expres- second rank tensor. Then, sion on various fields. Consider the quantity: µ αβ αβ µ Ψ¯ iγ Aραβ σ Ψ − Ψ¯ iAραβσ γ Ψ+ ¯ Y µ, ¯ µ µ ¯ σ µ ΨΨ (12) Ψ(∂ργ )Ψ+Γρσ Ψγ Ψ= Tρ , (22) µ µ where Tρ is an arbitrary tensor expressed in terms of the where Y is a vector in the curved space. Then, fermion fields. Since there is not such tensor besides those µ introduced at this point with the correct mass dimension Dρ[ΨΨ¯ Y ], (13) one can consider this tensor zero. is a rank two tensor. The linearity of the operator implies One may rewrite Eq. (22) as: that the quantity, µ αβ µ σ µ iAραβ[γ , σ ]= −Γρσγ − ∂ργ . (23) [D (ΨΨ)]¯ Y µ + ΨΨ¯ D Y µ, (14) ρ ρ In the flat space we know that: is also a second rank tensor. Further on then, 1 [γa, σbc]= i(ηabγc − ηacγb). (24) 2 Dρ[ΨΨ]¯ = [DρΨ]Ψ¯ + Ψ¯ DρΨ, (15) Since we consider in the curved space a similar Clifford ¯ is also a second rank tensor. Since ΨΨ is a scalar the algebra this time with the gamma matrices space time only second rank tensor that one may form from it is: dependent the same relation should work if the flat in- dices would be replaced by the curved indices. Then Eq. ∂ [ΨΨ]¯ . (16) ρ (23) becomes: Eqs. (11), (15) and (16) then imply that: µ β µ σ µ −4Aρβγ = −Γρσγ − ∂ργ . (25) D Ψ=¯ ∂ Ψ¯ − Ψ¯ X . (17) ρ ρ ρ We multiply Eq. (25) by γλ and take the trace to obtain: In order to determine the composition of Xρ in the µ 1 µ 1 λ µ 16 dimensional Lorentz space associated to the gamma A = Γ + Tr[γ ∂ργ ]. (26) ρ λ 4 ρλ 16 matrices we take into account the fact that the covari- ant derivative is a result of gauging the Lorentz symme- Finally the covariant derivative for the fermion fields is try and therefore should be an expansion in σµν . Then written in terms of only quantities in the curved space without loss of generality one may write: as: αβ D ∂ iAα σ β , Xρ = −iAραβσ , (18) ρΨ= ρΨ − ρβ α Ψ (27) α In summary one has: where Aρβ is given in Eq. (26). Next we will show that the spin connection introduced αβ DρΨ= ∂ρΨ − iAραβ σ in Eq. (27) is identical to that in Eq. (9). For that we βα write: DρΨ=¯ ∂ρΨ − iAραβ σ . (19) −iAµ σ λ = One can expand Eq. (10) which leads to: ρ λ µ 1 µ 1 λ µ λ µ −i [Γρλ + Tr[γ ∂ργ ]]σµ = Dρ[Ψ¯γ Ψ] = 4 4 µ µ (∂ρΨ)¯ γ Ψ+ Ψ[¯ ∂ργ ]Ψ + 1 µ µ λ ab λ cd −i [Γ + ∂ρea eb η ]eµced σ = ¯ µ µ ¯ σ 4 ρλ Ψγ ∂ρΨ+ΓρσΨγ Ψ. (20) 1 µ λ µ cd −i [Γ eµce + ∂ρe eµc]σ . (28) If we introduce the expression in Eq. (19) into Eq. 4 ρλ d d (20) one obtains that the quantity, Eq. (28) shows that the exact expression of the spin µ µ connection obtained through the vielbein formalism can DρΨ¯ γ Ψ+ Ψ¯ γ DρΨ+ be obtained by using only quantities defined in the curved ¯ µ αβ ¯ αβ µ +Ψiγ Aραβ σ Ψ − ΨiAραβσ γ Ψ+ space with the gamma matrices in the curved space sat- ¯ µ µ ¯ σ Ψ(∂ργ )Ψ+ΓρσΨγ Ψ, (21) isfying a similar Clifford algebra. [1] S. Caroll, arXiv:gr-qc/9712019 (1997). [2] H. Weyl, Z. Phys. 56, 330 (1929); T. W. Kibble, J. Math. 3 Phys. 2, 212 (1961). [3] S. Deser and C. J. Isham, Phys. Rev. D 14, 2505 (1976). [4] A. Weldon, Phys. Rev. D 63, 104010 (2010)..
Load more

Recommended publications
  • HARMONIC MAPS Contents 1. Introduction 2 1.1. Notational
    HARMONIC MAPS ANDREW SANDERS Contents 1. Introduction 2 1.1. Notational conventions 2 2. Calculus on vector bundles 2 3. Basic properties of harmonic maps 7 3.1. First variation formula 7 References 10 1 2 ANDREW SANDERS 1. Introduction 1.1. Notational conventions. By a smooth manifold M we mean a second- countable Hausdorff topological space with a smooth maximal atlas. We denote the tangent bundle of M by TM and the cotangent bundle of M by T ∗M: 2. Calculus on vector bundles Given a pair of manifolds M; N and a smooth map f : M ! N; it is advantageous to consider the differential df : TM ! TN as a section df 2 Ω0(M; T ∗M ⊗ f ∗TN) ' Ω1(M; f ∗TN): There is a general for- malism for studying the calculus of differential forms with values in vector bundles equipped with a connection. This formalism allows a fairly efficient, and more coordinate-free, treatment of many calculations in the theory of harmonic maps. While this approach is somewhat abstract and obfuscates the analytic content of many expressions, it takes full advantage of the algebraic symmetries available and therefore simplifies many expressions. We will develop some of this theory now and use it freely throughout the text. The following exposition will closely fol- low [Xin96]. Let M be a smooth manifold and π : E ! M a real vector bundle on M or rank r: Throughout, we denote the space of smooth sections of E by Ω0(M; E): More generally, the space of differential p-forms with values in E is given by Ωp(M; E) := Ω0(M; ΛpT ∗M ⊗ E): Definition 2.1.
    [Show full text]
  • The Language of Differential Forms
    Appendix A The Language of Differential Forms This appendix—with the only exception of Sect.A.4.2—does not contain any new physical notions with respect to the previous chapters, but has the purpose of deriving and rewriting some of the previous results using a different language: the language of the so-called differential (or exterior) forms. Thanks to this language we can rewrite all equations in a more compact form, where all tensor indices referred to the diffeomorphisms of the curved space–time are “hidden” inside the variables, with great formal simplifications and benefits (especially in the context of the variational computations). The matter of this appendix is not intended to provide a complete nor a rigorous introduction to this formalism: it should be regarded only as a first, intuitive and oper- ational approach to the calculus of differential forms (also called exterior calculus, or “Cartan calculus”). The main purpose is to quickly put the reader in the position of understanding, and also independently performing, various computations typical of a geometric model of gravity. The readers interested in a more rigorous discussion of differential forms are referred, for instance, to the book [22] of the bibliography. Let us finally notice that in this appendix we will follow the conventions introduced in Chap. 12, Sect. 12.1: latin letters a, b, c,...will denote Lorentz indices in the flat tangent space, Greek letters μ, ν, α,... tensor indices in the curved manifold. For the matter fields we will always use natural units = c = 1. Also, unless otherwise stated, in the first three Sects.
    [Show full text]
  • FROM DIFFERENTIATION in AFFINE SPACES to CONNECTIONS Jovana -Duretic 1. Introduction Definition 1. We Say That a Real Valued
    THE TEACHING OF MATHEMATICS 2015, Vol. XVIII, 2, pp. 61–80 FROM DIFFERENTIATION IN AFFINE SPACES TO CONNECTIONS Jovana Dureti´c- Abstract. Connections and covariant derivatives are usually taught as a basic concept of differential geometry, or more precisely, of differential calculus on smooth manifolds. In this article we show that the need for covariant derivatives may arise, or at lest be motivated, even in a linear situation. We show how a generalization of the notion of a derivative of a function to a derivative of a map between affine spaces naturally leads to the notion of a connection. Covariant derivative is defined in the framework of vector bundles and connections in a way which preserves standard properties of derivatives. A special attention is paid on the role played by zero–sets of a first derivative in several contexts. MathEduc Subject Classification: I 95, G 95 MSC Subject Classification: 97 I 99, 97 G 99, 53–01 Key words and phrases: Affine space; second derivative; connection; vector bun- dle. 1. Introduction Definition 1. We say that a real valued function f :(a; b) ! R is differen- tiable at a point x0 2 (a; b) ½ R if a limit f(x) ¡ f(x ) lim 0 x!x0 x ¡ x0 0 exists. We denote this limit by f (x0) and call it a derivative of a function f at a point x0. We can write this limit in a different form, as 0 f(x0 + h) ¡ f(x0) (1) f (x0) = lim : h!0 h This expression makes sense if the codomain of a function is Rn, or more general, if the codomain is a normed vector space.
    [Show full text]
  • Math 396. Covariant Derivative, Parallel Transport, and General Relativity
    Math 396. Covariant derivative, parallel transport, and General Relativity 1. Motivation Let M be a smooth manifold with corners, and let (E, ∇) be a C∞ vector bundle with connection over M. Let γ : I → M be a smooth map from a nontrivial interval to M (a “path” in M); keep in mind that γ may not be injective and that its velocity may be zero at a rather arbitrary closed subset of I (so we cannot necessarily extend the standard coordinate on I near each t0 ∈ I to part of a local coordinate system on M near γ(t0)). In pseudo-Riemannian geometry E = TM and ∇ is a specific connection arising from the metric tensor (the Levi-Civita connection; see §4). A very fundamental concept is that of a (smooth) section along γ for a vector bundle on M. Before we give the official definition, we consider an example. Example 1.1. To each t0 ∈ I there is associated a velocity vector 0 ∗ γ (t0) = dγ(t0)(∂t|t0 ) ∈ Tγ(t0)(M) = (γ (TM))(t0). Hence, we get a set-theoretic section of the pullback bundle γ∗(TM) → I by assigning to each time 0 t0 the velocity vector γ (t0) at that time. This is not just a set-theoretic section, but a smooth section. Indeed, this problem is local, so pick t0 ∈ I and an open U ⊆ M containing γ(J) for an open ∞ neighborhood J ⊆ I around t0, with J and U so small that U admits a C coordinate system {x1, . , xn}. Let γi = xi ◦ γ|J ; these are smooth functions on J since γ is a smooth map from I into M.
    [Show full text]
  • Weyl's Spin Connection
    THE SPIN CONNECTION IN WEYL SPACE c William O. Straub, PhD Pasadena, California “The use of general connections means asking for trouble.” —Abraham Pais In addition to his seminal 1929 exposition on quantum mechanical gauge invariance1, Hermann Weyl demonstrated how the concept of a spinor (essentially a flat-space two-component quantity with non-tensor- like transformation properties) could be carried over to the curved space of general relativity. Prior to Weyl’s paper, spinors were recognized primarily as mathematical objects that transformed in the space of SU (2), but in 1928 Dirac showed that spinors were fundamental to the quantum mechanical description of spin—1/2 particles (electrons). However, the spacetime stage that Dirac’s spinors operated in was still Lorentzian. Because spinors are neither scalars nor vectors, at that time it was unclear how spinors behaved in curved spaces. Weyl’s paper provided a means for this description using tetrads (vierbeins) as the necessary link between Lorentzian space and curved Riemannian space. Weyl’selucidation of spinor behavior in curved space and his development of the so-called spin connection a ab ! band the associated spin vector ! = !ab was noteworthy, but his primary purpose was to demonstrate the profound connection between quantum mechanical gauge invariance and the electromagnetic field. Weyl’s 1929 paper served to complete his earlier (1918) theory2 in which Weyl attempted to derive electrodynamics from the geometrical structure of a generalized Riemannian manifold via a scale-invariant transformation of the metric tensor. This attempt failed, but the manifold he discovered (known as Weyl space), is still a subject of interest in theoretical physics.
    [Show full text]
  • The Riemann Curvature Tensor
    The Riemann Curvature Tensor Jennifer Cox May 6, 2019 Project Advisor: Dr. Jonathan Walters Abstract A tensor is a mathematical object that has applications in areas including physics, psychology, and artificial intelligence. The Riemann curvature tensor is a tool used to describe the curvature of n-dimensional spaces such as Riemannian manifolds in the field of differential geometry. The Riemann tensor plays an important role in the theories of general relativity and gravity as well as the curvature of spacetime. This paper will provide an overview of tensors and tensor operations. In particular, properties of the Riemann tensor will be examined. Calculations of the Riemann tensor for several two and three dimensional surfaces such as that of the sphere and torus will be demonstrated. The relationship between the Riemann tensor for the 2-sphere and 3-sphere will be studied, and it will be shown that these tensors satisfy the general equation of the Riemann tensor for an n-dimensional sphere. The connection between the Gaussian curvature and the Riemann curvature tensor will also be shown using Gauss's Theorem Egregium. Keywords: tensor, tensors, Riemann tensor, Riemann curvature tensor, curvature 1 Introduction Coordinate systems are the basis of analytic geometry and are necessary to solve geomet- ric problems using algebraic methods. The introduction of coordinate systems allowed for the blending of algebraic and geometric methods that eventually led to the development of calculus. Reliance on coordinate systems, however, can result in a loss of geometric insight and an unnecessary increase in the complexity of relevant expressions. Tensor calculus is an effective framework that will avoid the cons of relying on coordinate systems.
    [Show full text]
  • Arxiv:1412.2393V4 [Gr-Qc] 27 Feb 2019 2.6 Geodesics and Normal Coordinates
    Riemannian Geometry: Definitions, Pictures, and Results Adam Marsh February 27, 2019 Abstract A pedagogical but concise overview of Riemannian geometry is provided, in the context of usage in physics. The emphasis is on defining and visualizing concepts and relationships between them, as well as listing common confusions, alternative notations and jargon, and relevant facts and theorems. Special attention is given to detailed figures and geometric viewpoints, some of which would seem to be novel to the literature. Topics are avoided which are well covered in textbooks, such as historical motivations, proofs and derivations, and tools for practical calculations. As much material as possible is developed for manifolds with connection (omitting a metric) to make clear which aspects can be readily generalized to gauge theories. The presentation in most cases does not assume a coordinate frame or zero torsion, and the coordinate-free, tensor, and Cartan formalisms are developed in parallel. Contents 1 Introduction 2 2 Parallel transport 3 2.1 The parallel transporter . 3 2.2 The covariant derivative . 4 2.3 The connection . 5 2.4 The covariant derivative in terms of the connection . 6 2.5 The parallel transporter in terms of the connection . 9 arXiv:1412.2393v4 [gr-qc] 27 Feb 2019 2.6 Geodesics and normal coordinates . 9 2.7 Summary . 10 3 Manifolds with connection 11 3.1 The covariant derivative on the tensor algebra . 12 3.2 The exterior covariant derivative of vector-valued forms . 13 3.3 The exterior covariant derivative of algebra-valued forms . 15 3.4 Torsion . 16 3.5 Curvature .
    [Show full text]
  • Differential Geometry Lecture 18: Curvature
    Differential geometry Lecture 18: Curvature David Lindemann University of Hamburg Department of Mathematics Analysis and Differential Geometry & RTG 1670 14. July 2020 David Lindemann DG lecture 18 14. July 2020 1 / 31 1 Riemann curvature tensor 2 Sectional curvature 3 Ricci curvature 4 Scalar curvature David Lindemann DG lecture 18 14. July 2020 2 / 31 Recap of lecture 17: defined geodesics in pseudo-Riemannian manifolds as curves with parallel velocity viewed geodesics as projections of integral curves of a vector field G 2 X(TM) with local flow called geodesic flow obtained uniqueness and existence properties of geodesics constructed the exponential map exp : V ! M, V neighbourhood of the zero-section in TM ! M showed that geodesics with compact domain are precisely the critical points of the energy functional used the exponential map to construct Riemannian normal coordinates, studied local forms of the metric and the Christoffel symbols in such coordinates discussed the Hopf-Rinow Theorem erratum: codomain of (x; v) as local integral curve of G is d'(TU), not TM David Lindemann DG lecture 18 14. July 2020 3 / 31 Riemann curvature tensor Intuitively, a meaningful definition of the term \curvature" for 3 a smooth surface in R , written locally as a graph of a smooth 2 function f : U ⊂ R ! R, should involve the second partial derivatives of f at each point. How can we find a coordinate- 3 free definition of curvature not just for surfaces in R , which are automatically Riemannian manifolds by restricting h·; ·i, but for all pseudo-Riemannian manifolds? Definition Let (M; g) be a pseudo-Riemannian manifold with Levi-Civita connection r.
    [Show full text]
  • Differential Forms on Riemannian (Lorentzian) and Riemann-Cartan
    Differential Forms on Riemannian (Lorentzian) and Riemann-Cartan Structures and Some Applications to Physics∗ Waldyr Alves Rodrigues Jr. Institute of Mathematics Statistics and Scientific Computation IMECC-UNICAMP CP 6065 13083760 Campinas SP Brazil e-mail: [email protected] or [email protected] May 28, 2018 Abstract In this paper after recalling some essential tools concerning the theory of differential forms in the Cartan, Hodge and Clifford bundles over a Riemannian or Riemann-Cartan space or a Lorentzian or Riemann-Cartan spacetime we solve with details several exercises involving different grades of difficult. One of the problems is to show that a recent formula given in [10] for the exterior covariant derivative of the Hodge dual of the torsion 2-forms is simply wrong. We believe that the paper will be useful for students (and eventually for some experts) on applications of differential geometry to some physical problems. A detailed account of the issues discussed in the paper appears in the table of contents. Contents 1 Introduction 3 arXiv:0712.3067v6 [math-ph] 4 Dec 2008 2 Classification of Metric Compatible Structures (M; g;D) 4 2.1 Levi-Civita and Riemann-Cartan Connections . 5 2.2 Spacetime Structures . 5 3 Absolute Differential and Covariant Derivatives 5 ∗published in: Ann. Fond. L. de Broglie 32 (special issue dedicate to torsion), 424-478 (2008). 1 ^ 4 Calculus on the Hodge Bundle ( T ∗M; ·; τg) 8 4.1 Exterior Product . 8 4.2 Scalar Product and Contractions . 9 4.3 Hodge Star Operator ? ........................ 9 4.4 Exterior derivative d and Hodge coderivative δ .
    [Show full text]
  • Maxwell's Equations in Terms of Differential Forms
    Maxwell's Equations in Terms of Differential Forms Solomon Akaraka Owerre ([email protected]) African Institute for Mathematical Sciences (AIMS) Supervised by: Dr. Bruce Bartlett Stellenbosch University, South Africa 20 May 2010 Submitted in partial fulfillment of a postgraduate diploma at AIMS Abstract Maxwell's equations, which depict classical electromagnetic theory, are pulled apart and brought together into a modern language of differential geometry. A background of vector fields and differential forms on a manifold is introduced, as well as the Hodge star operator, which eventually lead to the success of rewriting Maxwell's equations in terms of differential forms. In order to appreciate the beauty of differential forms, we first review these equations in covariant form which are shown afterwards to be consistent with the differential forms when expressed explicitly in terms of components. Declaration I, the undersigned, hereby declare that the work contained in this essay is my original work, and that any work done by others or by myself previously has been acknowledged and referenced accordingly. Solomon Akaraka Owerre, 20 May 2010 i Contents Abstract i 1 Introduction 1 1.1 Introduction to Maxwell's Equations............................1 1.2 Minkowski Spacetime....................................1 1.3 Covariant Form of Maxwell's Equations..........................3 1.4 Gauge Transformation....................................6 2 Vector Fields and Differential Forms7 2.1 Vector Fields.........................................7 2.1.1 Tangent Vectors...................................8 2.2 The Space of 1-Forms....................................9 2.2.1 Cotangent Vectors.................................. 11 2.3 Change of Coordinates................................... 11 2.4 The Space of p-Forms................................... 13 2.5 Exterior Derivatives..................................... 15 3 The Metric and Star Operator 16 3.1 The Metric.........................................
    [Show full text]
  • Oxford Physics Department Notes on General Relativity
    Oxford Physics Department Notes on General Relativity S. Balbus 1 Recommended Texts Weinberg, S. 1972, Gravitation and Cosmology. Principles and applications of the General Theory of Relativity, (New York: John Wiley) What is now the classic reference, but lacking any physical discussions on black holes, and almost nothing on the geometrical interpretation of the equations. The author is explicit in his aversion to anything geometrical in what he views as a field theory. Alas, there is no way to make sense of equations, in any profound sense, without geometry! I also find that calculations are often performed with far too much awkwardness and unnecessary e↵ort. Sections on physical cosmology are its main strength. To my mind, a much better pedagogical text is ... Hobson, M. P., Efstathiou, G., and Lasenby, A. N. 2006, General Relativity: An Introduction for Physicists, (Cambridge: Cambridge University Press) A very clear, very well-blended book, admirably covering the mathematics, physics, and astrophysics. Excellent coverage on black holes and gravitational radiation. The explanation of the geodesic equation is much more clear than in Weinberg. My favourite. (The metric has a di↵erent overall sign in this book compared with Weinberg and this course, so be careful.) Misner, C. W., Thorne, K. S., and Wheeler, J. A. 1972, Gravitation, (New York: Freeman) At 1280 pages, don’t drop this on your toe. Even the paperback version. MTW, as it is known, is often criticised for its sheer bulk, its seemingly endless meanderings and its laboured strivings at building mathematical and physical intuition at every possible step. But I must say, in the end, there really is a lot of very good material in here, much that is difficult to find anywhere else.
    [Show full text]
  • Integration in General Relativity
    Integration in General Relativity Andrew DeBenedictis Dec. 03, 1995 Abstract This paper presents a brief but comprehensive introduction to cer- tain mathematical techniques in General Relativity. Familiar mathe- matical procedures are investigated taking into account the complica- tions of introducing a non trivial space-time geometry. This transcript should be of use to the beginning student and assumes only very basic familiarity with tensor analysis and modern notation. This paper will also be of use to gravitational physicists as a quick reference. Conventions The following notation is used: The metric tensor, gµν, has a signature of +2 and g = det (gµν ) . Semi-colons denote covariant derivatives while commas represent| ordinary| derivatives. 1 Introduction Say we have a tensor T then, like the partial derivative, the covariant derivative can be thought of as a limiting value of a difference quotient. arXiv:physics/9802027v1 [math-ph] 14 Feb 1998 A complication arises from the fact that a tensor at two different points in space-time transform differently. That is, the tensor at point r will transform in a different way than a tensor at point r + dr. In polar coordinates we are familiar with the fact that the length and direction of the basis vectors change as one goes from one point to another. If we have a vector written in terms of its basis as follows, α V = V eα (1) 1 the derivative with respect to co-ordinate xβ would be: ∂V α ∂e e + V α α . (2) ∂xβ α ∂xβ µ th We define the Christoffel symbol Γαβ as representing the coefficient of the µ ∂eα component of ∂xβ .
    [Show full text]