DOCSLIB.ORG

The Curvature of Physical Space Pears Ri Sky to Think Primari Ly of a Diagonalized Confi Guration Space (I.E., Ol' a Sharply Defin Ed Th Ree-Dimensional Metric G

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Curvature of Physical Space Pears Ri Sky to Think Primari Ly of a Diagonalized Confi Guration Space (I.E., Ol' a Sharply Defin Ed Th Ree-Dimensional Metric G 1 / 1'/1'1" ( ; , Jl1 Tg111111111 - - - ---w l•: su :\' <: . .'IA I.MON----- - space d efi ned 011 a 1'011r-di111< · 11 sio11al 111 a 11il'old : whal l1 as ph ys i"al signifi cance is the q11 o ti ent ' '" ''-'' ' of llw constra int hyp <" rsml:u·1· wilhin this function space over th e mappings assodated with tlH' 1'1111 g:111 g1· gronp of the theory. Even on a three-dimensional Cauchy hype rsnrfocc ii ap­ The Curvature of Physical Space pears ri sky to think primari ly of a diagonalized confi guration space (i.e., ol' a sharply defin ed th ree-dimensional metric g,,. ,, on a th ree-dimensional spacelike hypersurface). Although the constraints restrict to so me ex tenl the range of the canoni call y conjugate vari ables, their uncertai nty is un­ bounded, suffici ently so that the assumed sharpness of the 3-metric does 11' one were se1iously to entertain, even in a highl y p rogrammati c fas h­ not p ropagate at all . ion , the thesis "there is nothing in the world except empty curved space. Perhaps it is irrelevant whether we think of well-defi ned world-points Matter, charge, electromagnetism , and othe r fi elds are onl y manifesta­ with a fuzzy light cone, or conversely, of a sharp light cone, wi th consid­ li ons of the bending of space," ' it would seem highly germane to examine erabl e uncertainty as to whi ch world-points lie on it. Mos t likely, both of 1h e nature of this curvature, which is to serve as "a kind of magic building 2 these viewpoints are too naive. Suppose we attempt a physical measure­ mate1ial out of whi ch everything in the physical world is made." Such an ment, by means of instiuments that had bette r not intiude too ciudely on <'Xaminati on has been carried out in depth by Adolf Gri.inbaum in "Gen- the physical situati on, lest their large masses and stresses (if they are to 1·ral Relativity, Geometrodynami cs, and Ontology," a chapter that ap­ contain any ri gid components) modify th e gravitational fi eld fa r beyond pears for the first ti me in the new edition of his Philosophical Problems of 3 the minimal effects requi red by the uncertainty relati ons. In elaborating Space and Time. The present discussion is intended p rimarily as an ad­ 4 what such an instru me nt measures we must discuss in detail not only dendum to that chapter -although, I should hasten to add, not necessar­ which components of the fi elds are to be observed, but also in which ily one that he would endorse. space-time region these observations are to take place. Pe rhaps it is just as well if I. conclude my introductory remarks on this 1. M e tiical Amorphousn ess uncertain note, with all the technical and nontechnical connotati ons of The question I shall be addressing can be phrased, "Does physical "uncertain" you can imagi ne. It is this uncertai nty that makes the whole space possess intri nsic curvature?" This way of putting it is liable to fi eld of quantum gravitation attractive to me. serious misunderstanding on account of th e te rm "in hinsic," fo r it would be natu ral to call the Gaussian curvature of a surface "intrinsic" because, as Gauss showed in hi s theorema egregium , it can be defin ed on the bas is of the metric of the surface itself, without reference to any kind of embed­ ding space. The mean curvature, in contras t, is not inhinsic in this sense. It is enti rely uncontroversial to state that, in this sense, any Riemannian space-not just a two-dimensional smface-possesses an intrinsic curva­ ture (possibly identically zero) which is given by the type (0, 4) covariant NOTE: The author wishes t.o express his gra ti tu de to th e National Science Foun dation for support of research on scientific expl anation and related matters, and to his fri end and colleague, Dr. Hanno Run d, Head of th e Departm ent of Mathemati cs , University of Arizona, for extremely helpful information an d advice. Dr. Ru nd is, of course, not responsi­ ble fo r any e rrors that may occur herein . His thanks also go to David Lovelock and Hanno Run d fo r making available a copy, prior to publi cation, of th e manu script of their book, Tensors, Differential Forms , and Variational Principles (New York: John Wi ley & Sons, 1975). 280 281 W1 ·sl1·11 C. S11 / 1111111 Tiii•: l :l lHVA 'l'll lli': Ill' l'll YS ICA I. S l'AC I•: curvature tensor R;mhk· For present purposes I shall , however, d1·lil wr­ Crii11h 11 11111l 11os11 rg1wd li>r lh c ex lrinsica lity of the metric, and in conse­ ately avoid use of the term "intrinsic" in this sense, and shall use th e te rm quence, lh e eurvalllrt', 011 lh e hasis of what he has called "the metrical int.ernal curvature to characterize those types of curvature that can be amorphousness of space." Appealing to an argument similar to one ad­ defined in terms of the metric tensor g.,- or more gene rally, those types vanced by Ri emann (which he calls RMH for Ri emann's me trical of curvature that do not depend upon an embedding space. This use of the hypoth esis), 10 he maintains that the congruence or incongruence of two word "internal" is nothing more than a terminological stipulation made for intervals in a continuous homogeneous manifold cannot be an intrinsic purposes of this particul ar discussion. I hope it will p rove conveni ent and property of those intervals. Since I plan to use a similar argument below, not misleading or confusing.• it will be well to state it explici tly. I shall not present the argument in the In line with the foregoing stipulation, whe n I now ask whethe r physical same manner as Griinbaum, but I intend to offer a schematic restatement space has intrinsic curvature, I am asking a question that is similar and of his argument, not an alternative argument. Again, he might not regard closely related to one discussed by.Grii nbaum in vari ous of his works, it as a mere reformulation. namely, "Does physical space possess an intrinsic metric?"• In the con­ Although Ri emann was obviously unaware of Cantor's theory of the tex t of .Riemannian geometry, this questi on is motivated by the fact that cardinality of the linear continuum; he did seem to recognize that any the salient geometrical properties of a space--such as its Eucl idean or closed linear interval is isomorphic to any other closed linear interval. In non-Euclidean character, or the type of internal curvature it possesses­ the jargon of set theory, any simply ordered, dense, denumerable set are determined entirely by congruence relations to which its metric gives containing its end points is of the same order type as any other simply rise. The converse is, of course, not true. The internal curvature--e.g., ordered , dense, denumerable set with end points. Even though the linear the Gaussian curvature for a two-dimensional surface--does not dete r­ continuum is no longer considered denumerable, Riemann's basic notion mine a metric uniquely (even up to a constant factor k). This fact does is not invalidated , for it is easily proved that any closed, continuous, linear nothing to unde rmine Gt ii nbaum's claim about the nonintrinsicality of interval is of the same order type as any other closed , continuous, linear the Ri emannian curvature. Although a given curvature tensor R;mhk of interval. Indeed , Cantor's proof that any two line segments ("regardless of type (0, 4) does not dete rmine a unique metric tensor g.;, it does deter­ length") have equal cardinali ty proceeds by establishing an order­ mine a unique class of metric tensors. Given two metric tensors from two preserving one-to-one correspondence between the points of the two such distinct classes, they do determine distinct curvature tensors. intervals. H ence, if one regards a linear continuum merely as a point set In his well-known "theory of equivalent descrip tions," Reichenbach that is ordered by a simple ordering relation, it foll ows that any closed maintains that, by employing diffe rent definitions of congruence, one and interval of any linear continuu:n is isomorphic to any other closed interval the same physical space can be described equivale ntly by the use of of any linear continuum. alternative geometries. 7 D ifferent choices of coordinating definitions of In dealing with "Zeno's metrical paradox of extension," Griinbaum congruence lead to different metrics, and these different metrics are such takes pains to show how it is possible without contradiction to regard a as to lead to different curvatures (or geometries). Reichenbach is not linear continuum of finite nonzero length as an aggregate of points whose making merely an epistemological clai m when he points to the existence unit sets have "length" or measure zero . 11 This is done, essentiall y, by of equivalent descriptions. H e is arguing instead that since the d escrip­ assigning coordinate numbers to the points on the line, and identifying tions are genuinely equivalent, they describe the same aspects of the the length (measure) of a nondegenerate closed interval with the absolute same reality.
Load more

Recommended publications
  • Tensors and Differential Forms on Vector Spaces
    APPENDIX A TENSORS AND DIFFERENTIAL FORMS ON VECTOR SPACES Since only so much of the vast and growing field of differential forms and differentiable manifolds will be actually used in this survey, we shall attempt to briefly review how the calculus of exterior differential forms on vector spaces can serve as a replacement for the more conventional vector calculus and then introduce only the most elementary notions regarding more topologically general differentiable manifolds, which will mostly be used as the basis for the discussion of Lie groups, in the following appendix. Since exterior differential forms are special kinds of tensor fields – namely, completely-antisymmetric covariant ones – and tensors are important to physics, in their own right, we shall first review the basic notions concerning tensors and multilinear algebra. Presumably, the reader is familiar with linear algebra as it is usually taught to physicists, but for the “basis-free” approach to linear and multilinear algebra (which we shall not always adhere to fanatically), it would also help to have some familiarity with the more “abstract-algebraic” approach to linear algebra, such as one might learn from Hoffman and Kunze [ 1], for instance. 1. Tensor algebra. – A tensor algebra is a type of algebra in which multiplication takes the form of the tensor product. a. Tensor product. – Although the tensor product of vector spaces can be given a rigorous definition in a more abstract-algebraic context (See Greub [ 2], for instance), for the purposes of actual calculations with tensors and tensor fields, it is usually sufficient to say that if V and W are vector spaces of dimensions n and m, respectively, then the tensor product V ⊗ W will be a vector space of dimension nm whose elements are finite linear combinations of elements of the form v ⊗ w, where v is a vector in V and w is a vector in W.
    [Show full text]
  • Tensors Notation • Contravariant Denoted by Superscript Ai Took a Vector and Gave for Vector Calculus Us a Vector
    Tensors Notation • contravariant denoted by superscript Ai took a vector and gave For vector calculus us a vector • covariant denoted by subscript Ai took a scaler and gave us a vector Review To avoid confusion in cartesian coordinates both types are the same so • Vectors we just opt for the subscript. Thus a vector x would be x1,x2,x3 R3 • Summation representation of an n by n array As it turns out in an cartesian space and other rectilinear coordi- nate systems there is no difference between contravariant and covariant • Gradient, Divergence and Curl vectors. This will not be the case for other coordinate systems such a • Spherical Harmonics (maybe) curvilinear coordinate systems or in 4 dimensions. These definitions are closely related to the Jacobian. Motivation If you tape a book shut and try to spin it in the air on each indepen- Definitions for Tensors of Rank 2 dent axis you will notice that it spins fine on two axes but not on the Rank 2 tensors can be written as a square array. They have con- third. That’s the inertia tensor in your hands. Similar are the polar- travariant, mixed, and covariant forms. As we might expect in cartesian izations tensor, index of refraction tensor and stress tensor. But tensors coordinates these are the same. also show up in all sorts of places that don’t connect to an anisotropic material property, in fact even spherical harmonics are tensors. What are the similarities and differences between such a plethora of tensors? Vector Calculus and Identifers The mathematics of tensors is particularly useful for de- Tensor analysis extends deep into coordinate transformations of all scribing properties of substances which vary in direction– kinds of spaces and coordinate systems.
    [Show full text]
  • Transverse Geometry and Physical Observers
    Transverse geometry and physical observers D. H. Delphenich 1 Abstract: It is proposed that the mathematical formalism that is most appropriate for the study of spatially non-integrable cosmological models is the transverse geometry of a one-dimensional foliation (congruence) defined by a physical observer. By that means, one can discuss the geometry of space, as viewed by that observer, without the necessity of introducing a complementary sub-bundle to the observer’s line bundle or a codimension-one foliation transverse to the observer’s foliation. The concept of groups of transverse isometries acting on such a spacetime and the relationship of transverse geometry to spacetime threadings (1+3 decompositions) is also discussed. MSC: 53C12, 53C50, 53C80 Keywords: transverse geometry, foliations, physical observers, 1+3 splittings of spacetime 1. Introduction. One of the most profound aspects of Einstein’s theory of relativity was the idea that physical phenomena were better modeled as taking place in a four-dimensional spacetime manifold M than by means of parameterized curves in a spatial three-manifold. However, the correspondence principle says that any new theory must duplicate the successes of the theory that it is replacing at some level of approximation. Hence, a fundamental problem of relativity theory is how to reduce the four-dimensional spacetime picture of physical phenomena back to the three-dimensional spatial picture of Newtonian gravitation and mechanics. The simplest approach is to assume that M is a product manifold of the form R×Σ, where Σ represents the spatial 3-manifold; indeed, most existing models of spacetime take this form.
    [Show full text]
  • Multilinear Algebra
    Appendix A Multilinear Algebra This chapter presents concepts from multilinear algebra based on the basic properties of finite dimensional vector spaces and linear maps. The primary aim of the chapter is to give a concise introduction to alternating tensors which are necessary to define differential forms on manifolds. Many of the stated definitions and propositions can be found in Lee [1], Chaps. 11, 12 and 14. Some definitions and propositions are complemented by short and simple examples. First, in Sect. A.1 dual and bidual vector spaces are discussed. Subsequently, in Sects. A.2–A.4, tensors and alternating tensors together with operations such as the tensor and wedge product are introduced. Lastly, in Sect. A.5, the concepts which are necessary to introduce the wedge product are summarized in eight steps. A.1 The Dual Space Let V be a real vector space of finite dimension dim V = n.Let(e1,...,en) be a basis of V . Then every v ∈ V can be uniquely represented as a linear combination i v = v ei , (A.1) where summation convention over repeated indices is applied. The coefficients vi ∈ R arereferredtoascomponents of the vector v. Throughout the whole chapter, only finite dimensional real vector spaces, typically denoted by V , are treated. When not stated differently, summation convention is applied. Definition A.1 (Dual Space)Thedual space of V is the set of real-valued linear functionals ∗ V := {ω : V → R : ω linear} . (A.2) The elements of the dual space V ∗ are called linear forms on V . © Springer International Publishing Switzerland 2015 123 S.R.
    [Show full text]
  • Tensor Calculus and Differential Geometry
    Course Notes Tensor Calculus and Differential Geometry 2WAH0 Luc Florack March 10, 2021 Cover illustration: papyrus fragment from Euclid’s Elements of Geometry, Book II [8]. Contents Preface iii Notation 1 1 Prerequisites from Linear Algebra 3 2 Tensor Calculus 7 2.1 Vector Spaces and Bases . .7 2.2 Dual Vector Spaces and Dual Bases . .8 2.3 The Kronecker Tensor . 10 2.4 Inner Products . 11 2.5 Reciprocal Bases . 14 2.6 Bases, Dual Bases, Reciprocal Bases: Mutual Relations . 16 2.7 Examples of Vectors and Covectors . 17 2.8 Tensors . 18 2.8.1 Tensors in all Generality . 18 2.8.2 Tensors Subject to Symmetries . 22 2.8.3 Symmetry and Antisymmetry Preserving Product Operators . 24 2.8.4 Vector Spaces with an Oriented Volume . 31 2.8.5 Tensors on an Inner Product Space . 34 2.8.6 Tensor Transformations . 36 2.8.6.1 “Absolute Tensors” . 37 CONTENTS i 2.8.6.2 “Relative Tensors” . 38 2.8.6.3 “Pseudo Tensors” . 41 2.8.7 Contractions . 43 2.9 The Hodge Star Operator . 43 3 Differential Geometry 47 3.1 Euclidean Space: Cartesian and Curvilinear Coordinates . 47 3.2 Differentiable Manifolds . 48 3.3 Tangent Vectors . 49 3.4 Tangent and Cotangent Bundle . 50 3.5 Exterior Derivative . 51 3.6 Affine Connection . 52 3.7 Lie Derivative . 55 3.8 Torsion . 55 3.9 Levi-Civita Connection . 56 3.10 Geodesics . 57 3.11 Curvature . 58 3.12 Push-Forward and Pull-Back . 59 3.13 Examples . 60 3.13.1 Polar Coordinates in the Euclidean Plane .
    [Show full text]
  • C:\Book\Booktex\Notind.Dvi 0
    362 INDEX A Cauchy stress law 216 Absolute differentiation 120 Cauchy-Riemann equations 293,321 Absolute scalar field 43 Charge density 323 Absolute tensor 45,46,47,48 Christoffel symbols 108,110,111 Acceleration 121, 190, 192 Circulation 293 Action integral 198 Codazzi equations 139 Addition of systems 6, 51 Coefficient of viscosity 285 Addition of tensors 6, 51 Cofactors 25, 26, 32 Adherence boundary condition 294 Compatibility equations 259, 260, 262 Aelotropic material 245 Completely skew symmetric system 31 Affine transformation 86, 107 Compound pendulum 195,209 Airy stress function 264 Compressible material 231 Almansi strain tensor 229 Conic sections 151 Alternating tensor 6,7 Conical coordinates 74 Ampere’s law 176,301,337,341 Conjugate dyad 49 Angle between vectors 80, 82 Conjugate metric tensor 36, 77 Angular momentum 218, 287 Conservation of angular momentum 218, 295 Angular velocity 86,87,201,203 Conservation of energy 295 Arc length 60, 67, 133 Conservation of linear momentum 217, 295 Associated tensors 79 Conservation of mass 233, 295 Auxiliary Magnetic field 338 Conservative system 191, 298 Axis of symmetry 247 Conservative electric field 323 B Constitutive equations 242, 251,281, 287 Continuity equation 106,234, 287, 335 Basic equations elasticity 236, 253, 270 Contraction 6, 52 Basic equations for a continuum 236 Contravariant components 36, 44 Basic equations of fluids 281, 287 Contravariant tensor 45 Basis vectors 1,2,37,48 Coordinate curves 37, 67 Beltrami 262 Coordinate surfaces 37, 67 Bernoulli’s Theorem 292 Coordinate transformations
    [Show full text]
  • A Mathematica Package for Doing Tensor Calculations in Differential Geometry User's Manual
    Ricci A Mathematica package for doing tensor calculations in differential geometry User’s Manual Version 1.32 By John M. Lee assisted by Dale Lear, John Roth, Jay Coskey, and Lee Nave 2 Ricci A Mathematica package for doing tensor calculations in differential geometry User’s Manual Version 1.32 By John M. Lee assisted by Dale Lear, John Roth, Jay Coskey, and Lee Nave Copyright c 1992–1998 John M. Lee All rights reserved Development of this software was supported in part by NSF grants DMS-9101832, DMS-9404107 Mathematica is a registered trademark of Wolfram Research, Inc. This software package and its accompanying documentation are provided as is, without guarantee of support or maintenance. The copyright holder makes no express or implied warranty of any kind with respect to this software, including implied warranties of merchantability or fitness for a particular purpose, and is not liable for any damages resulting in any way from its use. Everyone is granted permission to copy, modify and redistribute this software package and its accompanying documentation, provided that: 1. All copies contain this notice in the main program file and in the supporting documentation. 2. All modified copies carry a prominent notice stating who made the last modifi- cation and the date of such modification. 3. No charge is made for this software or works derived from it, with the exception of a distribution fee to cover the cost of materials and/or transmission. John M. Lee Department of Mathematics Box 354350 University of Washington Seattle, WA 98195-4350 E-mail: [email protected] Web: http://www.math.washington.edu/~lee/ CONTENTS 3 Contents 1 Introduction 6 1.1Overview..............................
    [Show full text]
  • Appendix a Relations Between Covariant and Contravariant Bases
    Appendix A Relations Between Covariant and Contravariant Bases The contravariant basis vector gk of the curvilinear coordinate of uk at the point P is perpendicular to the covariant bases gi and gj, as shown in Fig. A.1.This contravariant basis gk can be defined as or or a gk g  g ¼  ðA:1Þ i j oui ou j where a is the scalar factor; gk is the contravariant basis of the curvilinear coordinate of uk. Multiplying Eq. (A.1) by the covariant basis gk, the scalar factor a results in k k ðgi  gjÞ: gk ¼ aðg : gkÞ¼ad ¼ a ÂÃk ðA:2Þ ) a ¼ðgi  gjÞ : gk gi; gj; gk The scalar triple product of the covariant bases can be written as pffiffiffi a ¼ ½¼ðg1; g2; g3 g1  g2Þ : g3 ¼ g ¼ J ðA:3Þ where Jacobian J is the determinant of the covariant basis tensor G. The direction of the cross product vector in Eq. (A.1) is opposite if the dummy indices are interchanged with each other in Einstein summation convention. Therefore, the Levi-Civita permutation symbols (pseudo-tensor components) can be used in expression of the contravariant basis. ffiffiffi p k k g g ¼ J g ¼ðgi  gjÞ¼Àðgj  giÞ eijkðgi  gjÞ eijkðgi  gjÞ ðA:4Þ ) gk ¼ pffiffiffi ¼ g J where the Levi-Civita permutation symbols are defined by 8 <> þ1ifði; j; kÞ is an even permutation; eijk ¼ > À1ifði; j; kÞ is an odd permutation; : A:5 0ifi ¼ j; or i ¼ k; or j ¼ k ð Þ 1 , e ¼ ði À jÞÁðj À kÞÁðk À iÞ for i; j; k ¼ 1; 2; 3 ijk 2 H.
    [Show full text]
  • Mechanics of Continuous Media in $(\Bar {L} N, G) $-Spaces. I
    Mechanics of Continuous Media in (Ln, g)-spaces. I. Introduction and mathematical tools S. Manoff Bulgarian Academy of Sciences, Institute for Nuclear Research and Nuclear Energy, Department of Theoretical Physics, Blvd. Tzarigradsko Chaussee 72 1784 Sofia - Bulgaria e-mail address: [email protected] Abstract Basic notions and mathematical tools in continuum media mechanics are recalled. The notion of exponent of a covariant differential operator is intro- duced and on its basis the geometrical interpretation of the curvature and the torsion in (Ln,g)-spaces is considered. The Hodge (star) operator is general- ized for (Ln,g)-spaces. The kinematic characteristics of a flow are outline in brief. PACS numbers: 11.10.-z; 11.10.Ef; 7.10.+g; 47.75.+f; 47.90.+a; 83.10.Bb 1 Introduction 1.1 Differential geometry and space-time geometry arXiv:gr-qc/0203016v1 5 Mar 2002 In the last years, the evolution of the relations between differential geometry and space-time geometry has made some important steps toward applications of more comprehensive differential-geometric structures in the models of space-time than these used in (pseudo) Riemannian spaces without torsion (Vn-spaces) [1], [2]. 1. Recently, it has been proved that every differentiable manifold with one affine connection and metrics [(Ln,g)-space] [3], [4] could be used as a model for a space- time. In it, the equivalence principle (related to the vanishing of the components of an affine connection at a point or on a curve in a manifold) holds [5] ÷ [11], [12]. Even if the manifold has two different (not only by sign) connections for tangent and co-tangent vector fields [(Ln,g)-space] [13], [14] the principle of equivalence is fulfilled at least for one of the two types of vector fields [15].
    [Show full text]
  • On the Geometry of Null Congruences in General Relativity*
    Proc. Indian Acad. Sci., Vol. 85 A, No. 6, 1977, pp. 546-551. On the geometry of null congruences in general relativity* ZAFAR AHSAN AND NIKHAT PARVEEN MALIK Department of Mathematics, Aligarh Muslim University, Aligarh 202001 MS received 16 August 1976; in revised form 5 January 1977 ABSTRACT Some theorems for the null conguences within the framework of general theory of relativity are given. These theorems are important in themselves as they illustrate the geometric meaning of the spin coeffi- cients. The newly developed Geroch-Held-Penrose (GHP) formalism has been used throughout the investigations. The salient features of GHP formalism that are necessary for the present work are given, and these techniques are applied to a pair of null congruences C (1) and C(n). 1. REVIEW OF THE TECHNIQUES SUPPOSE that two future pointing null directions are assigned at each point of the space-time. We can choose, as two of our tetrad vectors, two null vectors la, na (a, b,. — 1, 2, 3, 4) which point in these two directions and lava = 1 and the remaining tetrad vectors may be taken as Xa and Ya ortho- gonal to each la and na and to each other and also ma = 1/A/2 (Xa + iYa) and •Q = 1/x/2 (Xa — iYa), where a bar denotes the complex conjugation. If the scalar 7), with respect to the tetrad (la, ma, nza, na), undergoes the transformations _P aq (1) whenever la, na, ma and ma transform according as la ^ rla na . t.-1 l a ma -^ e^ 0 ma lilya-io ma (2) * Partially supported by a Junior Research Fellowship of Council of Scientific and Indu-- trial Research (India) under grant No.
    [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 Geometric Algebra with Leibniz and Grassmann Michael Reed (Crucial Flow Research)
    Proceedings of JuliaCon Differential geometric algebra with Leibniz and Grassmann Michael Reed (Crucial Flow Research) The nature of the geometric algebra code generation enables one to easily extend the abstract product operations to any specific number field type (including differential operators with Leibniz.jl or symbolic coefficients with Reduce.jl), by making use of Julia’s type system. Mixed tensor products with their coefficients are constructed from these operations to work with bivector elements of Lie groups [7][10]. 1. Direct sum parametric type polymorphism The DirectSum.jl package is a work in progress providing the necessary tools to work with an arbitrary Manifold specified github.com/chakravala/Grassmann.jl by an encoding. Due to the parametric type system for the generating VectorBundle, the Julia compiler can fully pre- allocate and often cache values efficiently ahead of run-time. Although intended for use with the Grassmann.jl package, ABSTRACT DirectSum can be used independently. The Grassmann.jl package provides tools for computations based on multi-linear algebra and spin groups using the Definition 1 Vector bundle of submanifolds. Let 푀 = 푇 휇푉 ∈ TensorBundle<:Manifold 푛 extended geometric algebra known as Leibniz-Grassmann- Vect핂 be a of rank , Clifford-Hestenes algebra. Combinatorial products include 휇 푇 푉 = (푛, ℙ, 푔, 휈, 휇), ℙ ⊆ ⟨푣∞, 푣∅⟩ , 푔 ∶ 푉 × 푉 → 핂 exterior, regressive, inner, and geometric; along with the Hodge star, adjoint, reversal, and boundary operators. The The type TensorBundle{n,ℙ,g,휈, 휇} uses byte-encoded data kernelized operations are built up from composite sparse available at pre-compilation, where ℙ specifies the basis for tensor products and Hodge duality, with high dimensional up and down projection, 푔 is a bilinear form that specifies the support for up to 62 indices using staged caching and pre- metric of the space, and 휇 is an integer specifying the order of compilation.
    [Show full text]