DOCSLIB.ORG

Topological Gauge Theory, Cartan Geometry, and Gravity by Derek

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Topological Gauge Theory, Cartan Geometry, and Gravity by Derek Topological Gauge Theory, Cartan Geometry, and Gravity by Derek Keith Wise B.S. Physics (Abilene Christian University, Texas) 1998 B.A. Mathematics (Abilene Christian University, Texas) 1998 M.S. Mathematics (University of California, Riverside) 2004 A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics in the GRADUATE DIVISION of the UNIVERSITY OF CALIFORNIA, RIVERSIDE Committee in charge: Dr. John C. Baez, Chairperson Dr. Michel L. Lapidus Dr. Stefano Vidussi June 2007 Topological Gauge Theory, Cartan Geometry, and Gravity Copyright 2007 by Derek Keith Wise The dissertation of Derek Keith Wise is approved: Chair Date Date Date University of California, Riverside June 2007 iv Acknowledgments First, I thank John Baez for his exceptional guidance, mentorship, and patience. I've learned much from John, and in many ways. It is hard to imagine having a better advisor, or getting along better with one's advisor. I also wish to thank Michel Lapidus and Stefano Vidussi for serving on my thesis committee. During this work, I was involved in two collaborations of particular relevance to this work. John Baez and Alissa Crans collaborated with me on the exotic statistics project [12] which forms an important part of this thesis. John and I were also involved in a project with Aristide Baratin, Laurent Freidel, and Jeffrey Morton [10]. I am sincerely grateful to each of these collaborators. I am indebted to Xiao{Song Lin, first because his work on the loop braid group was the impetus for our work on exotic statistics. I also owe a him a great debt of gratitude for all that I learned from him as a student, and for his inspiring example. These are unfortunately debts that can no longer be repaid. I miss you, Xiao{Song. In the course my graduate studies, I also benefitted greatly from numerous dis- cussions with many others, especially Jeff Morton, Jim Dolan, Josh Willis, Sam Nelson, Alissa Crans, Miguel Carrion Alvarez,´ Toby Bartels, Aristide Baratin, Prasad Senesi, Blake Winter, Mike Stay, Alex Hoffnung, and Danny Stevenson. v i Abstract Topological Gauge Theory, Cartan Geometry, and Gravity by Derek Keith Wise Doctor of Philosophy in Mathematics University of California, Riverside Dr. John C. Baez, Chair We investigate the geometry of general relativity, and of related topological gauge theories, using Cartan geometry. Cartan geometry|an ‘infinitesimal’ version of Klein's Erlanger Programm|allows us to view physical spacetime as tangentially approximated by a homogeneous `model spacetime', such as de Sitter or anti de Sitter. This idea leads to a common geometric foundation for 3d Chern{Simons gravity, as studied by Witten, and 4d MacDowell{Mansouri gravity. We describe certain topological gauge theories, including BF theory|a natural extension of 3d gravity to arbitrary dimensions|as `Cartan gauge theories' in which the gauge field is replace by a `Cartan connection' modeled on some Klein geometry G=H. Cartan-type BF theory has solutions that say spacetime is locally isometric to the G=H itself; in this case Cartan geometry reduces to the theory of `geometric structures'. This leads to generalizations of 3d gravity based on other 3d Klein geometries, including those in Thurston's classification of 3d Riemannian model geometries. For BF theory in n-dimensional spacetime, we also describe codimension-2 `branes' as topological defects. These branes|particles in 3d spacetime, strings in 4d, and so on| are shown to be classified by conjugacy classes in the gauge group G of the theory. They also exhibit `exotic statistics' which are neither Bose{Einstein nor Fermi{Dirac, but are governed by representations of generalizations of the braid group known as `motion groups'. These representations come from a natural action of the motion group on the moduli space of flat G-bundles on space. We study this in particular detail in the case of strings in 4d BF ii theory, where Lin has called the motion group the `loop braid group', LBn. This makes 4d BF theory with strings into a `loop braided quantum field theory'. We also use ideas from `higher gauge theory' to study particles as topological defects in 4d BF theory, and find they are classified by adjoint orbits in the Lie algebra of the gauge group. Including both particles and strings in 4d BF theory leads to interesting effects, such as exotic particle/string statistics and a duality between Bohm{Aharonov effects for particles and strings. iii Contents 1 Introduction 1 I Geometric Structures and Topological Gauge Theory 18 2 Homogeneous spacetimes and Klein geometry 19 2.1 Klein geometry . 19 2.2 Metric Klein geometry . 22 2.3 Survey of homogeneous spacetimes . 23 2.3.1 3d spacetimes . 24 2.3.2 Contractions and Wick rotations . 28 2.3.3 4d spacetimes . 38 3 Geometric structures and flat bundles 40 3.1 Geometric manifolds . 41 3.2 The flat bundle associated to a geometric structure . 42 3.3 Moduli space of geometric structures . 47 3.4 Model geometries and exotic spacetimes . 48 3.4.1 3d model geometries . 51 3.4.2 Exotic Lorentzian spacetimes . 57 4 Topological gauge theories 59 4.1 From general relativity to BF theory . 59 4.2 BF theory and geometric structures . 64 4.3 Generalized 3d gravities . 68 4.4 Chern-Simons theory and 3d gravity . 72 4.5 3d Galilean general relativity and the Newtonian limit of 3d gravity . 75 4.6 Transforms between Chern{Simons theories . 77 II Particles and Strings 78 5 Statistics and Motion Groups 79 5.1 The Hamiltonian picture of BF theory . 79 iv 5.2 Canonical quantization and motion group statistics . 81 6 Point particles in 3d BF theory 85 6.1 Quandle field theory . 88 6.2 ISO(2; 1) Chern{Simons gravity and spin . 94 6.3 SO(3; 1) Chern{Simons gravity . 95 6.4 SO(2; 2) Chern{Simons gravity . 99 6.5 Particle types and contractions . 101 7 Strings in 4d BF Theory 103 7.1 The loop braid group . 103 7.2 Loop braid statistics and representations . 112 8 Higher gauge theory and particles in 4d BF theory 117 8.1 The idea of a p-connection . 117 8.2 From groups to 2-groups . 119 8.2.1 2-groups as 2-categories . 119 8.2.2 Constructing 2-groups . 120 8.3 2-connections and 2-groups for 4d BF theory . 122 8.4 Particles . 125 8.5 Particle/string statistics and Bohm{Aharonov duality . 127 8.6 Adjoint orbits . 130 III Cartan Geometry and Gravity 133 9 Cartan geometry 134 9.1 Ehresmann connections . 134 9.2 Definition of Cartan geometry . 136 9.3 Geometric interpretation: rolling Klein geometries . 137 9.4 Reductive Cartan geometry . 140 10 Cartan-type gauge theory 147 10.1 A sequence of bundles . 147 10.2 Parallel transport in Cartan geometry . 149 10.3 Holonomy and development . 151 10.4 Cartan-type BF Theory . 152 11 From Palatini to MacDowell{Mansouri 155 11.1 The Palatini formulation of general relativity . 155 11.2 Equivalence of formulations . 158 11.3 The coframe field . 161 11.4 MacDowell{Mansouri gravity . 163 11.5 Lagrangians for gravity and topological gauge theories . 166 11.6 Generalized MacDowell{Mansouri theory . 166 v Appendices A Presentations of the loop braid group 169 B The Lie algebras so(p; q) and iso(p; q) 177 C Hodge duality in Lie algebras 178 C.1 Hodge duality for inner product spaces. 178 C.2 so(4), so(3; 1), and so(2; 2) . 178 D Identities for forms and tensors 180 D.1 Permutation symbols . 180 D.2 Lie algebra-valued differential forms . 180 Bibliography 183 1 Chapter 1 Introduction One long standing theme in theoretical work on quantum gravity has been to exploit relationships between general relativity and gauge theory. The reason is clear: we know how to quantize the gauge theories of particle physics. But ordinary gauge theories are very different from gravity in an essential way. A typical gauge theory, such as Yang{Mills theory, uses the geometry of spacetime, as encoded in the metric, in its definition. Gravity, on the other hand, is a kind of `gauge theory' that determines the spacetime geometry itself. Topological gauge theories represent a sort of compromise. On one hand, such theories are formulated in essentially the same language as, say, Yang{Mills theory, and one can try quantizing them using similar methods. On the other hand, they are more similar to gravity in that they do not require any fixed background structure. While being simpler than general relativity, they thus share with it the many of the conceptual issues related to quantizing a generally covariant theory. What makes a gauge theory `topological' is a somewhat subjective matter. One possibility is that it should be describable using the functorial definition of topological field theory, or some slight generalization. But this is too strong a requirement to include some of the most interesting examples. A more practical requirement is that all solutions of a `topological gauge theory' should be locally the same up to gauge transformations. Such theories are more interesting when the topology of spacetime is more interesting, since solutions that look completely trivial on a local scale may yet have interesting global prop- erties. Intuitively, it is natural that topological gauge theories of this sort should be related to topological invariants. This is indeed true: the interplay between pure topology and gauge theories has been enormously fruitful, particularly in work on 3-manifold invariants 2 and knot theory, but more recently also for 4-manifolds. But one should not be misled into thinking the difference between topological gauge theories and general relativity is too much like the difference between topology and geometry.
Load more

Recommended publications
  • Arxiv:Gr-Qc/0611154 V1 30 Nov 2006 Otx Fcra Geometry
    MacDowell–Mansouri Gravity and Cartan Geometry Derek K. Wise Department of Mathematics University of California Riverside, CA 92521, USA email: [email protected] November 29, 2006 Abstract The geometric content of the MacDowell–Mansouri formulation of general relativity is best understood in terms of Cartan geometry. In particular, Cartan geometry gives clear geomet- ric meaning to the MacDowell–Mansouri trick of combining the Levi–Civita connection and coframe field, or soldering form, into a single physical field. The Cartan perspective allows us to view physical spacetime as tangentially approximated by an arbitrary homogeneous ‘model spacetime’, including not only the flat Minkowski model, as is implicitly used in standard general relativity, but also de Sitter, anti de Sitter, or other models. A ‘Cartan connection’ gives a prescription for parallel transport from one ‘tangent model spacetime’ to another, along any path, giving a natural interpretation of the MacDowell–Mansouri connection as ‘rolling’ the model spacetime along physical spacetime. I explain Cartan geometry, and ‘Cartan gauge theory’, in which the gauge field is replaced by a Cartan connection. In particular, I discuss MacDowell–Mansouri gravity, as well as its recent reformulation in terms of BF theory, in the arXiv:gr-qc/0611154 v1 30 Nov 2006 context of Cartan geometry. 1 Contents 1 Introduction 3 2 Homogeneous spacetimes and Klein geometry 8 2.1 Kleingeometry ................................... 8 2.2 MetricKleingeometry ............................. 10 2.3 Homogeneousmodelspacetimes. ..... 11 3 Cartan geometry 13 3.1 Ehresmannconnections . .. .. .. .. .. .. .. .. 13 3.2 Definition of Cartan geometry . ..... 14 3.3 Geometric interpretation: rolling Klein geometries . .............. 15 3.4 ReductiveCartangeometry . 17 4 Cartan-type gauge theory 20 4.1 Asequenceofbundles .............................
    [Show full text]
  • Cartan Connections to Connections on fibre Bundles, and Some Modern Applications
    The works of Charles Ehresmann on connections: from Cartan connections to connections on fibre bundles, and some modern applications Charles-Michel Marle Universite´ Pierre et Marie Curie Paris, France The works of Charles Ehresmann on connections: from Cartan connections to connections on fibre bundles, and some modern applications – p. 1/40 Élie Cartan’s affine connections (1) Around 1923, Élie Cartan [1, 2, 3] introduced the notion of an affine connection on a manifold. That notion was previously used, in a less general setting, by H. Weyl [16] and rests on the idea of parallel transport due to T. Levi-Civita [11]. The works of Charles Ehresmann on connections: from Cartan connections to connections on fibre bundles, and some modern applications – p. 2/40 Élie Cartan’s affine connections (1) Around 1923, Élie Cartan [1, 2, 3] introduced the notion of an affine connection on a manifold. That notion was previously used, in a less general setting, by H. Weyl [16] and rests on the idea of parallel transport due to T. Levi-Civita [11]. A large part of [1, 2] is devoted to applications of affine connections to Newtonian and Einsteinian Mechanics. Cartan show that the principle of inertia (which is at the foundations of Mechanics), according to which a material point particle, when no forces act on it, moves along a straight line with a constant velocity, can be expressed locally by the use of an affine connection. Under that form, that principle remains valid in (curved) Einsteinian space-times. The works of Charles Ehresmann on connections: from Cartan connections to connections on fibre bundles, and some modern applications – p.
    [Show full text]
  • 1 Electromagnetic Fields and Charges In
    Electromagnetic fields and charges in ‘3+1’ spacetime derived from symmetry in ‘3+3’ spacetime J.E.Carroll Dept. of Engineering, University of Cambridge, CB2 1PZ E-mail: [email protected] PACS 11.10.Kk Field theories in dimensions other than 4 03.50.De Classical electromagnetism, Maxwell equations 41.20Jb Electromagnetic wave propagation 14.80.Hv Magnetic monopoles 14.70.Bh Photons 11.30.Rd Chiral Symmetries Abstract: Maxwell’s classic equations with fields, potentials, positive and negative charges in ‘3+1’ spacetime are derived solely from the symmetry that is required by the Geometric Algebra of a ‘3+3’ spacetime. The observed direction of time is augmented by two additional orthogonal temporal dimensions forming a complex plane where i is the bi-vector determining this plane. Variations in the ‘transverse’ time determine a zero rest mass. Real fields and sources arise from averaging over a contour in transverse time. Positive and negative charges are linked with poles and zeros generating traditional plane waves with ‘right-handed’ E, B, with a direction of propagation k. Conjugation and space-reversal give ‘left-handed’ plane waves without any net change in the chirality of ‘3+3’ spacetime. Resonant wave-packets of left- and right- handed waves can be formed with eigen frequencies equal to the characteristic frequencies (N+½)fO that are observed for photons. 1 1. Introduction There are many and varied starting points for derivations of Maxwell’s equations. For example Kobe uses the gauge invariance of the Schrödinger equation [1] while Feynman, as reported by Dyson, starts with Newton’s classical laws along with quantum non- commutation rules of position and momentum [2].
    [Show full text]
  • Pseudogroups Via Pseudoactions: Unifying Local, Global, and Infinitesimal Symmetry
    PSEUDOGROUPS VIA PSEUDOACTIONS: UNIFYING LOCAL, GLOBAL, AND INFINITESIMAL SYMMETRY ANTHONY D. BLAOM Abstract. A multiplicatively closed, horizontal foliation on a Lie groupoid may be viewed as a `pseudoaction' on the base manifold M. A pseudoaction generates a pseudogroup of transformations of M in the same way an ordinary Lie group action generates a transformation group. Infinitesimalizing a pseu- doaction, one obtains the action of a Lie algebra on M, possibly twisted. A global converse to Lie's third theorem proven here states that every twisted Lie algebra action is integrated by a pseudoaction. When the twisted Lie algebra action is complete it integrates to a twisted Lie group action, according to a generalization of Palais' global integrability theorem. Dedicated to Richard W. Sharpe 1. Introduction 1.1. Pseudoactions. Unlike transformation groups, pseudogroups of transfor- mations capture simultaneously the phenomena of global and local symmetry. On the other hand, a transformation group can be replaced by the action of an ab- stract group which may have nice properties | a Lie group in the best scenario. Here we show how to extend the abstraction of group actions to handle certain pseudogroups as well. These pseudogroups include: (i) all Lie pseudogroups of finite type (both transitive and intransitive) and hence the isometry pseudogroups of suitably regular geometric structures of finite type; (ii) all pseudogroups gen- erated by the local flows of a smooth vector field; and, more generally (iii) any pseudogroup generated by the infinitesimal action of a finite-dimensional Lie al- gebra. Our generalization of a group action on M, here called a pseudoaction, consists of a multiplicatively closed, horizontal foliation on a Lie groupoid G over arXiv:1410.6981v4 [math.DG] 3 Oct 2015 M.
    [Show full text]
  • Feature Matching and Heat Flow in Centro-Affine Geometry
    Symmetry, Integrability and Geometry: Methods and Applications SIGMA 16 (2020), 093, 22 pages Feature Matching and Heat Flow in Centro-Affine Geometry Peter J. OLVER y, Changzheng QU z and Yun YANG x y School of Mathematics, University of Minnesota, Minneapolis, MN 55455, USA E-mail: [email protected] URL: http://www.math.umn.edu/~olver/ z School of Mathematics and Statistics, Ningbo University, Ningbo 315211, P.R. China E-mail: [email protected] x Department of Mathematics, Northeastern University, Shenyang, 110819, P.R. China E-mail: [email protected] Received April 02, 2020, in final form September 14, 2020; Published online September 29, 2020 https://doi.org/10.3842/SIGMA.2020.093 Abstract. In this paper, we study the differential invariants and the invariant heat flow in centro-affine geometry, proving that the latter is equivalent to the inviscid Burgers' equa- tion. Furthermore, we apply the centro-affine invariants to develop an invariant algorithm to match features of objects appearing in images. We show that the resulting algorithm com- pares favorably with the widely applied scale-invariant feature transform (SIFT), speeded up robust features (SURF), and affine-SIFT (ASIFT) methods. Key words: centro-affine geometry; equivariant moving frames; heat flow; inviscid Burgers' equation; differential invariant; edge matching 2020 Mathematics Subject Classification: 53A15; 53A55 1 Introduction The main objective in this paper is to study differential invariants and invariant curve flows { in particular the heat flow { in centro-affine geometry. In addition, we will present some basic applications to feature matching in camera images of three-dimensional objects, comparing our method with other popular algorithms.
    [Show full text]
  • Bulletin De La S
    BULLETIN DE LA S. M. F. F. BRICKELL R.S. CLARK Conformally riemannian structures. I Bulletin de la S. M. F., tome 90 (1962), p. 15-26 <http://www.numdam.org/item?id=BSMF_1962__90__15_0> © Bulletin de la S. M. F., 1962, tous droits réservés. L’accès aux archives de la revue « Bulletin de la S. M. F. » (http: //smf.emath.fr/Publications/Bulletin/Presentation.html) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/ conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Dull. Soc. math. France^ 90, 1962, p. i5 a 26. CONFORMALLY RIEMANNIAN STRUCTURES, I ; F. RRICKELL AND R. S. CLARK (Southampton). Introduction. — We define a conformally Riemannian structure on a differentiable (1) manifold M of dimension n to be a differentiable subor- dinate structure of the tangent bundle to M whose group G consists of the non-zero scalar multiples of the orthogonal n x n matrices. The method of equivalence of E. CARTAN [I], as described by S. CHERN [3], associates with a given conformal structure a certain principal fibre bundle on which a set of linear differential forms is denned globally. We obtain such a bundle and set of forms explicitly and show their relation to the normal conformal connection of E. CARTAN | 2]. The first paragraph contains an exposition of conformal connections in tlie light of C.
    [Show full text]
  • Gravity and Gauge
    Gravity and Gauge Nicholas J. Teh June 29, 2011 Abstract Philosophers of physics and physicists have long been intrigued by the analogies and disanalogies between gravitational theories and (Yang-Mills-type) gauge theories. Indeed, repeated attempts to col- lapse these disanalogies have made us acutely aware that there are fairly general obstacles to doing so. Nonetheless, there is a special case (viz. that of (2+1) spacetime dimensions) in which gravity is often claimed to be identical to a gauge theory. We subject this claim to philosophical scrutiny in this paper: in particular, we (i) analyze how the standard disanalogies can be overcome in (2+1) dimensions, and (ii) consider whether (i) really licenses the interpretation of (2+1) gravity as a gauge theory. Our conceptual analysis reveals more subtle disanalogies between gravity and gauge, and connects these to interpretive issues in classical and quantum gravity. Contents 1 Introduction 2 1.1 Motivation . 4 1.2 Prospectus . 6 2 Disanalogies 6 3 3D Gravity and Gauge 8 3.1 (2+1) Gravity . 9 3.2 (2+1) Chern-Simons . 14 3.2.1 Cartan geometry . 15 3.2.2 Overcoming (Obst-Gauge) via Cartan connections . 17 3.3 Disanalogies collapsed . 21 1 4 Two more disanalogies 22 4.1 What about the symmetries? . 23 4.2 The phase spaces of the two theories . 25 5 Summary and conclusion 30 1 Introduction `The proper method of philosophy consists in clearly conceiving the insoluble problems in all their insolubility and then in simply contemplating them, fixedly and tirelessly, year after year, without any
    [Show full text]
  • Cartan Connection Applied to Dynamic Calculation in Robotics
    Cartan connection applied to dynamic calculation in robotics Diego Colón, 1 Phone +55-11-3091-5650 Email [email protected] 1 Laboratório de Automação e Controle - LAC/PTC, Escola Politécnica da Universidade de São Paulo, São Paulo, Brazil Received: 31 January 2017 / Accepted: 6 June 2018 Abstract A Cartan connection is an important mathematical object in differential geometry that generalizes, to an arbitrary Riemannian space, the concept of angular velocity (and twists) of a non-inertial reference frame. In fact, this is an easy way to calculate the angular velocities (and twists) in systems with multiple reference frames, like a robot or a complex mechanism. The concept can also be used in different representations of rotations and twists, like in the Lie groups of unit quaternions and unit dual quaternions. In this work, the Cartan connection is applied to the kinematic and dynamic calculations of a systems of with multiple reference frames that could represent a robotic serial chain or mechanism. Differently from previous works, the transformation between frames is represented as unit quaternions, which are known to be better mathematical representations from the numerical point of view. It is also generalized to this new quaternion representation, previous results like the extended Newton’s equation, the covariant derivative and the Cartan connection. An example of application is provided. AQ1 Keywords Quaternions Robotics Lie groups Screw theory Technical Editor: Victor Juliano De Negri. 1. Introduction Concepts of differential geometry and Lie groups and Lie algebras have been used in many areas of engineering for a long time. More recently, a renewed interest could be verified in mechanism and robotics [1, 2, 10, 16, 23], where dual quaternions were used, and very complete reference books, like [3], appeared.
    [Show full text]
  • Perspectives on Projective Geometry • Jürgen Richter-Gebert
    Perspectives on Projective Geometry • Jürgen Richter-Gebert Perspectives on Projective Geometry A Guided Tour Through Real and Complex Geometry 123 Jürgen Richter-Gebert TU München Zentrum Mathematik (M10) LS Geometrie Boltzmannstr. 3 85748 Garching Germany [email protected] ISBN 978-3-642-17285-4 e-ISBN 978-3-642-17286-1 DOI 10.1007/978-3-642-17286-1 Springer Heidelberg Dordrecht London New York Library of Congress Control Number: 2011921702 Mathematics Subject Classification (2010): 51A05, 51A25, 51M05, 51M10 c Springer-Verlag Berlin Heidelberg 2011 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation,reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Cover design: deblik, Berlin Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com) About This Book Let no one ignorant of geometry enter here! Entrance to Plato’s academy Once or twice she had peeped into the book her sister was reading, but it had no pictures or conversations in it, “and what is the use of a book,” thought Alice, “without pictures or conversations?” Lewis Carroll, Alice’s Adventures in Wonderland Geometry is the mathematical discipline that deals with the interrelations of objects in the plane, in space, or even in higher dimensions.
    [Show full text]
  • Spacetime Structuralism
    Philosophy and Foundations of Physics 37 The Ontology of Spacetime D. Dieks (Editor) r 2006 Elsevier B.V. All rights reserved DOI 10.1016/S1871-1774(06)01003-5 Chapter 3 Spacetime Structuralism Jonathan Bain Humanities and Social Sciences, Polytechnic University, Brooklyn, NY 11201, USA Abstract In this essay, I consider the ontological status of spacetime from the points of view of the standard tensor formalism and three alternatives: twistor theory, Einstein algebras, and geometric algebra. I briefly review how classical field theories can be formulated in each of these formalisms, and indicate how this suggests a structural realist interpre- tation of spacetime. 1. Introduction This essay is concerned with the following question: If it is possible to do classical field theory without a 4-dimensional differentiable manifold, what does this suggest about the ontological status of spacetime from the point of view of a semantic realist? In Section 2, I indicate why a semantic realist would want to do classical field theory without a manifold. In Sections 3–5, I indicate the extent to which such a feat is possible. Finally, in Section 6, I indicate the type of spacetime realism this feat suggests. 2. Manifolds and manifold substantivalism In classical field theories presented in the standard tensor formalism, spacetime is represented by a differentiable manifold M and physical fields are represented by tensor fields that quantify over the points of M. To some authors, this has 38 J. Bain suggested an ontological commitment to spacetime points (e.g., Field, 1989; Earman, 1989). This inclination might be seen as being motivated by a general semantic realist desire to take successful theories at their face value, a desire for a literal interpretation of the claims such theories make (Earman, 1993; Horwich, 1982).
    [Show full text]
  • On a Complex Spacetime Frame : New Foundation for Physics and Mathematics
    On a complex spacetime frame : new foundation for physics and mathematics Joseph Akeyo Omolo∗ Department of Physics and Materials Science, Maseno University P.O. Private Bag, Maseno, Kenya e-mail: [email protected] March 31, 2016 Abstract This paper provides a derivation of a unit vector specifying the tem- poral axis of four-dimensional space-time frame as an imaginary axis in the direction of light or general wave propagation. The basic elements of the resulting complex four-dimensional spacetime frame are complex four-vectors expressed in standard form as four-component quantities specified by four unit vectors, three along space axes and one along the imaginary temporal axis. Consistent mathematical operations with the complex four-vectors have been developed, which provide extensions of standard vector analysis theorems to complex four-dimensional space- time. The general orientation of the temporal unit vector relative to all the three mutually perpendicular spatial unit vectors leads to ap- propriate modifications of fundamental results describing the invariant length of the spacetime event interval, time dilation, mass increase with speed and relativistic energy conservation law. Contravariant and co- variant forms have been defined, providing appropriate definition of the invariant length of a complex four-vector and appropriate definitions of complex tensors within the complex four-dimensional spacetime frame, thus setting a new geometrical framework for physics and mathematics. 1 Introduction Four-dimensional space-time frame is the natural reference frame for de- scribing the general dynamics of physical systems. Its basic elements are ∗Regular Associate, Abdus Salam ICTP: 2001-2006 1 four-vectors, which are suitable for expressing field equations and associ- ated physical quantities in consistent forms.
    [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]