The Projective Geometry of the Spacetime Yielded by Relativistic Positioning Systems and Relativistic Location Systems Jacques Rubin
Total Page:16
File Type:pdf, Size:1020Kb
The projective geometry of the spacetime yielded by relativistic positioning systems and relativistic location systems Jacques Rubin To cite this version: Jacques Rubin. The projective geometry of the spacetime yielded by relativistic positioning systems and relativistic location systems. 2014. hal-00945515 HAL Id: hal-00945515 https://hal.inria.fr/hal-00945515 Submitted on 12 Feb 2014 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. The projective geometry of the spacetime yielded by relativistic positioning systems and relativistic location systems Jacques L. Rubin (email: [email protected]) Université de Nice–Sophia Antipolis, UFR Sciences Institut du Non-Linéaire de Nice, UMR7335 1361 route des Lucioles, F-06560 Valbonne, France (Dated: February 12, 2014) As well accepted now, current positioning systems such as GPS, Galileo, Beidou, etc. are not primary, relativistic systems. Nevertheless, genuine, relativistic and primary positioning systems have been proposed recently by Bahder, Coll et al. and Rovelli to remedy such prior defects. These new designs all have in common an equivariant conformal geometry featuring, as the most basic ingredient, the spacetime geometry. In a first step, we show how this conformal aspect can be the four-dimensional projective part of a larger five-dimensional geometry. Our aim has been then to explore and collect all of the geometric, physical consequences of this projective geometry in such spacetime context and ask for a physical process, the implementation of which could reveal this fifth dimension. We find that the latter is physically obtained from a fifth time stamp effectively yielded from a new localization protocol that we present jointly with this projective geometry. Based on this fifth supplementary parameter, beside the four usual ones identified with the four basic time stamps broadcast by any positioning system, we deduce the four-dimensional projective geometry governing spacetime. The former is completely detailed, i.e., the projective Cartan connection and its projec- tive curvature are computed. As a result, the Einstein tensor appears to be algebraically remarkable in this projective context. In particular, this leads to a new surprisingly result in the complete inte- grability of the Einstein equations while the well-known incompleteness of their usual non-projective version is unquestioned. Also, it may validate completely or gives naturally true physical grounds to the old model due Yano, Ohgane and Ishihara or the new approach developed by Bradonjić and Stachel similar to the one due to Schouten, Haantjes and van Dantzig unifying electromagnetism and gravitation in which the homogeneous coordinates remained till now unidentified physically. PACS numbers: 02.10.De , 04.20.-q, 04.20.Cv, 45.10.Na, 91.10.Ws, 95.10.Jk Keywords: Causal types; Emission coordinates; Lorentzian metric; Relativistic positioning systems Typeset by REVTEX LIST OF FIGURES I.1 The Ehlers-Pirani-Schild protocol. .............................................. 1 I.2 Figure on the left: the “hexagonal” domain I0J1K1LK2J2I0. Figure on the right: the dashed ± ± lines are the light-like paths of the signals carrying the time stamps with values t1 and t2 by successive echoes. For instance, at the event E2, we have an echo with the reception of the time − − + stamp with value t1 and a sending to M of a pair of time stamps with values (t1 , t2 ). 3 II.1 General scheme of conformal, projective, Weyl, and Riemannian structures (From Fig. 1. in Ehlers-Pirani-Schild paper [EPS72, p.66]) ........................................ 14 III.1 Schema representing the projective frame Ψ = (p0, [0]), (ζ1, [+∞]), (p2, [1]) ≡ [ζ0], [ζ1], [ζ2] of the projective space RP 1 in R2. ..............................................{ } { } 28 IV.1 The Tzitzeica surface Tı2 in R3 with its four strata. ................................. 74 VIII.1 The system of echoes in dimension two. ........................................ 114 VIII.2 The two-dimensional grid. .................................................. 115 VIII.3 The system of echoes with four past null cones. .................................. 116 VIII.4 The three data received and recorded by the user at U, U and U. 117 VIII.5 The change of projective frame at E. ..........................................e b 120 VIII.6 The event e in the four past null cones of the four events E, E, E and E. This event e is observed on their respective celestial spheres C, C, C and C. .e . .b . 130 ′ ′ ′ ˚′ VIII.7 The event E in the five future null cones of the fivee eventsb e, E , E , E and E . 131 ˚′ ˚• ˚◦ ˚∗ ˚ VIII.8 An example of successive events E , E , E and E on the anchoringe b worldline of E broad- casting their coordinates ˚τ5 towards the four events E, E, E and E. 132 VIII.9 The projective disk at the event E associated to the celestialb spheree C of the emitter E. 133 A.1 Protocole de Marzke-Wheeler. ................................................. 169 A.2 The Marzke-Wheeler principle ................................................ 170 C.1 △P (r2) with △P (h1h5) < 0. .................................................. 200 C.2 △P (r2) with △P (h1h5)=0. .................................................. 200 C.3 △P (r2) with △P (h1h5) > 0. .................................................. 201 C.4 The triangle-shaped loop Γ ................................................... 201 i C.5 The Tzitzeica surface ................................................... 202 C.6 A “cheek” at one of the three vertices ........................................... 204 C.7 The three “cheeks” at the vertices of a “hypothetic” triangle-shaped loop . 204 ii CONTENTS List of Figures i I. Introduction - The Coll-Ferrando-Morales-Tarentola protocols 1 II. The metric and the “energyspacetime” – A fundamental exemple 5 A. A fundamental example 5 B. What is projective or conformal, and in which manifold? 12 III. A short review on the projective differential geometry 18 A. Cartan versus Ehresmann approaches 18 B. The projective manifold and the projective group actions 26 C. The projective Cartan connections 32 1. The general case – Definitions and terminologies 32 2. From Euclidean connections to projective connections and their associated covariant derivatives 49 3. General properties 59 4. The projective (co-)tensors versus the Euclidean (co-)tensors – General remarks. 62 5. A fundamental exemple on RP n: the Cartan approach (1924). 66 3 IV. The three-dimensional submanifolds of RPS modeled on RP 70 M 3 A. The RP projective connections on RPS 70 M B. The metric fields on RPS 80 M 1. An examples of metric field on RPS 80 M 2. The metric field g of the spacetime RPS yielded by relativistic positioning M systems 82 V. The projective curvature 2-form Ω 89 A. The general case on RP n 89 B. The torsion-free and normal projective connections on RP n 95 iii VI. The normal projective curvature of the three-dimensional submanifolds of RPS M modeled on RP 3 103 VII. Interpretations – General remarks 108 VIII. A protocol implemented by receivers to localize events 112 A. The protocol of localization in a (1 + 1)-dimensional spacetime 113 M B. The protocol of localization in a (2 + 1)-dimensional spacetime modeled on M RP 3 114 C. The protocol of localization in a (3 + 1)-dimensional spacetime modeled on M RP 4 128 IX. The geometry of modeled on RP 4 139 M A. The metric field defined on 139 M B. The projective Cartan connection and the Yano-Ishihara projecting 1-form on 144 M ” 1. The projective Cartan connection ω 153 2. The projective geodesic equations 155 ” 3. The projective curvature 2-form and the normal projective Cartan connection 158 4. The metric field from the physical tensors 163 X. Conclusion and interpretations 165 Appendices 169 A. The Marzke-Wheeler protocol 169 B. Proofs of the two “factorization theorems” 171 1. Introduction 171 2. The equivalent generic metric fields 173 a. The systems of equations 174 b. The Pfaff systems and the proof of Theorem B.1 179 iv 3. The isometric equivalence 183 4. Conclusion 184 C. The “loop degeneracy” 184 1. Introduction 185 2. Generic normal forms of ssst or ℓℓℓℓ causal types for metrics 187 { } { } a. The generic normal forms G and Gϵ 187 ⊥ b. The coefficients of G and Gϵ 191 ⊥ 3. The systems of algebraic equations 192 a. The algebraic system in dimension 4 192 b. The reduced algebraic system in dimension 3 193 4. The domains of algebraic resolution 194 a. The roots if r2 = 0 195 b. The roots if r2 = h1h5 196 c. The roots if P (r ) ⩾ 0 with r ]0, h h [ 196 △ 2 2 ∈ 1 5 d. The nonnegative domain of P (r ) with r ]0, h h [ 197 △ 2 2 ∈ 1 5 5. Examples and “loop” solutions 199 6. Conclusion 205 D. The Sturm sequence of P (r ) 205 △ 2 E. The univariate polynomial equations of degree 3 or 4 and their positive roots 207 1. – The discriminant and the roots of polynomial equations of degree 3 207 2. – The discriminant and the roots of polynomial equations of degree 4 208 3. – The signs of the real roots 213 F. The space and time “projective” splitting 217 G. Proof of the 1947 Ehresmann’s Theorem 218 H. Proof of the Theorem 1 229 v I. The inverse maps 230 J. The traces of the Riemann tensors 232 K. The Christoffel symbols 235 L. The infinitesimal automorphisms of the Yano-Ihsihara projecting 1-form πˆ 237 M. The Christoffel symbols of gˆ in 239 M N. The projective geodesics on 243 M ” References 249 ” vi Jacques L. RUBIN – February 12, 2014 I.