DOCSLIB.ORG

Riemannian Geometry

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Riemannian Geometry Riemannian Geometry 1 Riemannian Metric Definition 1. A Riemannian metric on a manifold M is a (0, 2)-tensor field g on M that is symmetric and positive-definite. 1 n If (E1;:::;En) is a local frame of TM, and (dx ; : : : ; dx ) is its dual coframe, then we can write the Riemannian metric in terms of its components i j g = gijdx ⊗ dx ; (1) A Riemannian metric determines an inner product on each tangent space: hX; Y i = g(X; Y ). Proposition 1. Every smooth manifold M has a Riemannian metric. Given two Riemannian manifolds (M; g) and (M 0; g0), a diffeomorphism ': M ! M 0 is called an isometry if '∗g0 = g. If M = M 0 and g = g0, then ' is said to be an isometry of M. 1.1 Lengths and Distances Given a curve γ : I ! M on a Riemannian manifold, we can use the metric to define the length of the curve: Z b L(γ) = hγ;_ γ_ i1=2dt a Note that this is independent of parametrization. Using admissible curves, we can define the Riemannian distance d(p; q) between two points p; q 2 M to be the infimum of the lengths of all the admissible curves connecting the two points. One can show that the manifold along with the Riemannian distance is a metric space. 1.2 Pseudo-Riemannian Metric Definition 2. A pseudo-Rimenanian metric is a 2-tensor field that is symmetric and non- degenerate. Since Riemannian metrics are positive-definite, all Riemannian metrics are pseudo-Riemannian metrics. At any point p 2 M, a pseudo-Riemannian metric can be written in the form of g = −(dx1)2 − · · · − (dxk)2 + (dxk+1)2 + ··· + (dxn)2 by a change of basis. The maximum dimension of a subspace on which g is negative definite k is called the index of g, which is invariant under a change of basis due to Sylvester's law of inertia. 1 2 Connections In the Euclidean plane, we usually say that a line between two points is straight if it minimizes the length of curves between the two points. However, an easier way to generalize this notion to manifolds is to view straight lines as curves with no acceleration. The problem is that given a curve γ on a manifold, we do not have a way to measure how fast its velocity vectors V (t) change since we cannot subtract vectors in different tangent spaces. In order to measure the acceleration of a curve on a manifold, we introduce the concept of the covariant derivative. Definition 3. Let E be a vector bundle over M with Γ(E) the space of smooth sections of E. A connection is a map r: X(M)×Γ(E) ! Γ(E), denoted by (X; Y ) 7! rX Y , such that: • r is C1(M)-linear over T(M) • r is R-linear over E(M) • r satisfies the product rule rX (fY ) = frX Y + (Xf)Y If E(M) = X(M), then r is called an affine connection. rX Y is called the covariant derivative of Y in the direction of X. Note that rX Y jp only depends on the value of X at p and the values of Y in some neighborhood of p. From now on, all connections will be assumed to be affine connections. In a local coordinate frames with f@ig as the basis of the tangent spaces, we can define the Christoffel symbols of r with respect to this frame by k r@i (@j) = ΓijEk: (2) i i Then given X = X @i and Y = Y @i, we can explicitly write rX Y in terms of its components: k i j k rX Y = (XY + X Y Γij)@k (3) Example 1. On Rn, the Euclidean connection is defined by j rX Y = (XY )@j (4) Proposition 2. Every manifold has an affine connection. An affine connection only acts on vector fields, but any affine connection also induces connections on all tensor fields on M. Theorem 3 (Covariant Derivatives of Tensor Fields). Let r be an affine connection on M. Then r induces a unique connection, also denoted r, on each tensor field such that 1 • r agrees with the original affine connection on X(M), and rX f = X(f) on C (M) • r commutes with any contraction: C(rX Y ) = rX (CY ) • r satisfies the product rule rX (Y ⊗ Z) = Y ⊗ (rX Z) + (rX Y ) ⊗ Z 2 k k We can use the covariant derivative of a -tensor field T to define a -tensor l l + 1 i 1 field. Let Yi 2 X(M) and ! 2 Ω (M), then the total covariant derivative of a tensor field T is 1 k 1 k rT (! ;:::;! ;Y1;:::;Yl;X) = rX T (! ;:::;! ;Y1;:::;Yl): (5) One can think of the covariant derivative of a tensor field as directional derivatives while the total covariant derivative is the total derivative of the tensor field. 2.1 Covariant Derivatives Along Curves Now we would like to define what the directional derivatives of a vector field along a curve means. Definition 4. A vector field along a curve γ is a smooth map V : I ! TM such that V (t) 2 Tγ(t)M. We denote the space of such vector fields along γ by T(γ). Note that this is not simply restricting a vector field to a curve since a self-intersecting curve may have different vectors at the intersection. However, vector field V along γ is said ~ ~ to be extendible if there is a vector field V such that V (t) = Vγ(t). Theorem 4. Let r be an affine connection on M. r induces a unique operator Dt : T(γ) ! T(γ) such that for each curve γ : I ! M, Dt satisfies: • R-Linearity _ 1 • Product rule: Dt(fV ) = fV + fDtV; f 2 C (I) 0 0 • If V is extendible, then for any extension V of V , DtV (t) = rγ_ (t)V where V 2 T(γ). DtV is called the covariant derivative of V along γ. In local coordinates, DtV can be written as _ k j i k DtV (t) = V (t) + V (t)_γ (t)Γij(γ(t)) @k: (6) 2.2 Parallel Transport Definition 5. A vector field V along a curve γ is parallel along γ with respect to some affine connection r if DtV = 0. Theorem 5 (Parallel Transport). For any curve γ : I ! M and vector V0 2 Tγ(t0)M, there exists a unique parallel vector field V along γ such that V (t0) = V0. V (t) is called the parallel transport of V0 along γ. Proof. Suppose γ(I) is contained in a single coordinate chart. Then, by equation (??), V is parallel along γ if and only if _ k j i k V (t) = −V (t)_γ (t)Γij(γ(t)): (7) Existence and uniqueness for linear ODEs guarantees a unique V for any initial condition V (t0) = V0. If γ(I) spans multiple charts, then a unique solution exists in each local chart. By uniqueness, the solutions agree on their intersections. 3 2.3 Riemannian Connections Definition 6. Let g be the Riemannian metric of M, an affine connection r is said to be compatible with g if rX hY; Zi = hrX Y; Zi + hY; rX Zi (8) Theorem 6. For a connection r on a Riemannian manifold with metric g, the following conditions are equivalent: • r is compatible with g • rg = 0 • if X; Y are vector fields along γ, then d hX; Y i = hD X; Y i + hX; D Y i dt t t 2 Definition 7. The torsion tensor of an affine connection r is a -tensor field T : X(M)× 1 X(M) ! X(M) defined by T (X; Y ) = rX Y − rY X − [X; Y ] An affine connection is said to be symmetric if it is torsion-free. When the Christoffel symbol k k is written with respect to a coordinate frame, symmetry of r is equivalent to Γij = Γji. Theorem 7 (Fundamental Theorem of Riemannian Geometry). Let M be a Rie- mannian or pseudo-Riemannian manifold with the metric g. There is a unique connection on M that is symmetric and compatible with g. We call this the Levi-Civita connection, or the Riemannian connection of g. Proof. We prove uniqueness of r first. Suppose such a r exists, then compatibility implies that for vector fields X; Y; Z, XhY; Zi = hrX Y; Zi + hY; rX Zi Y hZ; Xi = hrY Z; Xi + hZ; rY Xi ZhX; Y i = hrZ X; Y i + hX; rZ Y i Using the symmetry condition, these three equations become XhY; Zi = hrX Y; Zi + hY; rZ Xi + hY; [X; Z]i Y hZ; Xi = hrY Z; Xi + hZ; rX Y i + hZ; [Y; X]i ZhX; Y i = hrZ X; Y i + hX; rY Zi + hX; [Z; Y ]i 4 These three equations gives XhY; Zi − Y hZ; Xi + ZhX; Y i = 2hrX Y; Zi + hY; [X; Z]i + hX; [Z; Y ]i − hZ; [Y; X]i 1 =) hr Y; Zi = (XhY; Zi − Y hZ; Xi + ZhX; Y i X 2 (9) − hY; [X; Z]i − hX; [Z; Y ]i + hZ; [Y; X]i) If r1 and r2 both satisfies the conditions for a Levi-Civita connection, then both of them satisfies equation (9). However, the right hand side does not depend on the choice of con- 1 2 1 2 nection, so hrX Y − rX Y; Zi = 0 for any X; Y; Z. This implies that r = r .
Load more

Recommended publications
  • Connections on Bundles Md
    Dhaka Univ. J. Sci. 60(2): 191-195, 2012 (July) Connections on Bundles Md. Showkat Ali, Md. Mirazul Islam, Farzana Nasrin, Md. Abu Hanif Sarkar and Tanzia Zerin Khan Department of Mathematics, University of Dhaka, Dhaka 1000, Bangladesh, Email: [email protected] Received on 25. 05. 2011.Accepted for Publication on 15. 12. 2011 Abstract This paper is a survey of the basic theory of connection on bundles. A connection on tangent bundle , is called an affine connection on an -dimensional smooth manifold . By the general discussion of affine connection on vector bundles that necessarily exists on which is compatible with tensors. I. Introduction = < , > (2) In order to differentiate sections of a vector bundle [5] or where <, > represents the pairing between and ∗. vector fields on a manifold we need to introduce a Then is a section of , called the absolute differential structure called the connection on a vector bundle. For quotient or the covariant derivative of the section along . example, an affine connection is a structure attached to a differentiable manifold so that we can differentiate its Theorem 1. A connection always exists on a vector bundle. tensor fields. We first introduce the general theorem of Proof. Choose a coordinate covering { }∈ of . Since connections on vector bundles. Then we study the tangent vector bundles are trivial locally, we may assume that there is bundle. is a -dimensional vector bundle determine local frame field for any . By the local structure of intrinsically by the differentiable structure [8] of an - connections, we need only construct a × matrix on dimensional smooth manifold . each such that the matrices satisfy II.
    [Show full text]
  • Riemannian Geometry and Multilinear Tensors with Vector Fields on Manifolds Md
    International Journal of Scientific & Engineering Research, Volume 5, Issue 9, September-2014 157 ISSN 2229-5518 Riemannian Geometry and Multilinear Tensors with Vector Fields on Manifolds Md. Abdul Halim Sajal Saha Md Shafiqul Islam Abstract-In the paper some aspects of Riemannian manifolds, pseudo-Riemannian manifolds, Lorentz manifolds, Riemannian metrics, affine connections, parallel transport, curvature tensors, torsion tensors, killing vector fields, conformal killing vector fields are focused. The purpose of this paper is to develop the theory of manifolds equipped with Riemannian metric. I have developed some theorems on torsion and Riemannian curvature tensors using affine connection. A Theorem 1.20 named “Fundamental Theorem of Pseudo-Riemannian Geometry” has been established on Riemannian geometry using tensors with metric. The main tools used in the theorem of pseudo Riemannian are tensors fields defined on a Riemannian manifold. Keywords: Riemannian manifolds, pseudo-Riemannian manifolds, Lorentz manifolds, Riemannian metrics, affine connections, parallel transport, curvature tensors, torsion tensors, killing vector fields, conformal killing vector fields. —————————— —————————— I. Introduction (c) { } is a family of open sets which covers , that is, 푖 = . Riemannian manifold is a pair ( , g) consisting of smooth 푈 푀 manifold and Riemannian metric g. A manifold may carry a (d) ⋃ is푈 푖푖 a homeomorphism푀 from onto an open subset of 푀 ′ further structure if it is endowed with a metric tensor, which is a 푖 . 푖 푖 휑 푈 푈 natural generation푀 of the inner product between two vectors in 푛 ℝ to an arbitrary manifold. Riemannian metrics, affine (e) Given and such that , the map = connections,푛 parallel transport, curvature tensors, torsion tensors, ( ( ) killingℝ vector fields and conformal killing vector fields play from푖 푗 ) to 푖 푗 is infinitely푖푗 −1 푈 푈 푈 ∩ 푈 ≠ ∅ 휓 important role to develop the theorem of Riemannian manifolds.
    [Show full text]
  • 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]
  • The Category of Affine Connection Control Systems 3
    Proceedings of the 39th IEEE Conference on Decision and Control pages 5119{5124, December 2000 doi: 10.1109/CDC.2001.914762 2000 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE The category of affine connection control systems∗ Andrew D. Lewisy 2000/02/28 Last updated: 2003/07/23 Abstract The category of affine connection control systems is one whose objects are control systems whose drift vector field is the geodesic spray of an affine connection, and whose control vector fields are vertical lifts to the tangent bundle of vector fields on configu- ration space. We investigate morphisms (feedback transformations) in this category. Keywords. control of mechanical systems, affine connections AMS Subject Classifications (2020). 53B05, 70Q05, 93B29 1. Introduction It is apparent that the study of what we will in this paper call “affine connection control systems" has a significant r^oleto play in the field of mechanical control systems. In a series of papers, [e.g., Bullo, Leonard, and Lewis 2000, Lewis 1998, Lewis 1999, Lewis and Murray 1997a, Lewis and Murray 1997b], the author and various coauthors have shown how the affine connection framework is useful in looking at mechanical systems whose Lagrangian is the kinetic energy with respect to a Riemannian metric, possibly in the presence of constraints linear in velocity [e.g., Lewis 1997, Lewis 2000].
    [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]
  • GEOMETRIC INTERPRETATIONS of CURVATURE Contents 1. Notation and Summation Conventions 1 2. Affine Connections 1 3. Parallel Tran
    GEOMETRIC INTERPRETATIONS OF CURVATURE ZHENGQU WAN Abstract. This is an expository paper on geometric meaning of various kinds of curvature on a Riemann manifold. Contents 1. Notation and Summation Conventions 1 2. Affine Connections 1 3. Parallel Transport 3 4. Geodesics and the Exponential Map 4 5. Riemannian Curvature Tensor 5 6. Taylor Expansion of the Metric in Normal Coordinates and the Geometric Interpretation of Ricci and Scalar Curvature 9 Acknowledgments 13 References 13 1. Notation and Summation Conventions We assume knowledge of the basic theory of smooth manifolds, vector fields and tensors. We will assume all manifolds are smooth, i.e. C1, second countable and Hausdorff. All functions, curves and vector fields will also be smooth unless otherwise stated. Einstein summation convention will be adopted in this paper. In some cases, the index types on either side of an equation will not match and @ so a summation will be needed. The tangent vector field @xi induced by local i coordinates (x ) will be denoted as @i. 2. Affine Connections Riemann curvature is a measure of the noncommutativity of parallel transporta- tion of tangent vectors. To define parallel transport, we need the notion of affine connections. Definition 2.1. Let M be an n-dimensional manifold. An affine connection, or connection, is a map r : X(M) × X(M) ! X(M), where X(M) denotes the space of smooth vector fields, such that for vector fields V1;V2; V; W1;W2 2 X(M) and function f : M! R, (1) r(fV1 + V2;W ) = fr(V1;W ) + r(V2;W ), (2) r(V; aW1 + W2) = ar(V; W1) + r(V; W2), for all a 2 R.
    [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]
  • The Affine Connection Structure of the Charged Symplectic 2-Form(1991)
    On the Affine Connection Structure of the Charged Symplectic 2-Form† L. K. Norris‡ ABSTRACT It is shown that the charged symplectic form in Hamiltonian dynamics of classical charged particles in electromagnetic fields defines a generalized affine connection on an affine frame bundle associated with spacetime. Conversely, a generalized affine connection can be used to construct a symplectic 2-form if the associated linear connection is torsion– free and the anti-symmetric part of the R4∗ translational connection is locally derivable from a potential. Hamiltonian dynamics for classical charged particles in combined gravi- tational and electromagnetic fields can therefore be reformulated as a P (4) = O(1, 3)⊗R4∗ geometric theory with phase space the affine cotangent bundle AT ∗M of spacetime. The source-free Maxwell equations are reformulated as a pair of geometrical conditions on the R4∗ curvature that are exactly analogous to the source-free Einstein equations. †International Journal of Theoretical Physics, 30, pp. 1127-1150 (1991) ‡Department of Mathematics, Box 8205, North Carolina State University, Raleigh, NC 27695-8205 1 1. Introduction The problem of geometrizing the relativistic classical mechanics of charged test par- ticles in curved spacetime is closely related to the larger problem of finding a geometrical unification of the gravitational and electromagnetic fields. In a geometrically unified theory one would expect the equations of motion of classical charged test particles to be funda- mental to the geometry in a way analogous to the way uncharged test particle trajectories are geometrized as linear geodesics in general relativity. Since a satisfactory unified theory should contain the known observational laws of mechanics in some appropriate limit, one can gain insight into the larger unification problem by analyzing the geometrical founda- tions of classical mechanics.
    [Show full text]
  • Cartan Connection and Curvature Forms
    CARTAN CONNECTION AND CURVATURE FORMS Syafiq Johar syafi[email protected] Contents 1 Connections and Riemannian Curvature 1 1.1 Affine Connection . .1 1.2 Levi-Civita Connection and Riemannian Curvature . .2 1.3 Riemannian Curvature . .3 2 Covariant External Derivative 4 2.1 Connection Form . .4 2.2 Curvature Form . .5 2.3 Explicit Formula for E = TM ..................................5 2.4 Levi-Civita Connection and Riemannian Curvature Revisited . .6 3 An Application: Uniformisation Theorem via PDEs 6 1 Connections and Riemannian Curvature Cartan formula is a way of generalising the Riemannian curvature for a Riemannian manifold (M; g) of dimension n to a differentiable manifold. We start by defining the Riemannian manifold and curvatures. We begin by defining the usual notion of connection and the Levi-Civita connection. 1.1 Affine Connection Definition 1.1 (Affine 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) with the 1 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. D is tensorial over TpM i.e. DfV +W σ = fDV σ + DW σ: 2. D is R-linear in Γ(E) i.e. DV (σ + τ) = DV σ + DV τ: 3. D satisfies the Leibniz rule over Γ(E) i.e. if f 2 C1(M), we have DV (fσ) = df(V ) · σ + fDV σ: Note that we did not require any condition of the metric g on the manifold, nor the bundle metric on E in the abstract definition of a connection.
    [Show full text]