Arxiv:1804.11106V2 [Gr-Qc] 2 Jun 2018 Oe Yscinii Nwihw Ou Nteproperties the on Focus Fol- We Is Which This in III, Equation
Total Page:16
File Type:pdf, Size:1020Kb
Deviation equation in Riemann-Cartan spacetime Dirk Puetzfeld∗ University of Bremen, Center of Applied Space Technology and Microgravity (ZARM), 28359 Bremen, Germany Yuri N. Obukhov† Theoretical Physics Laboratory, Nuclear Safety Institute, Russian Academy of Sciences, B.Tulskaya 52, 115191 Moscow, Russia (Dated: June 5, 2018) We derive a generalized deviation equation in Riemann-Cartan spacetime. The equation describes the dynamics of the connecting vector which links events on two general adjacent world lines. Our result is valid for any theory in a Riemann-Cartan background, in particular, it is applicable to a large class of gravitational theories which go beyond the general relativistic framework. PACS numbers: 04.50.-h; 04.20.Cv; 04.25.-g Keywords: Deviation equation; Approximation methods; Equations of motion; Riemann-Cartan spacetime I. INTRODUCTION of a world function based on autoparallels in a Riemann- Cartan background. These results are then applied in Within the theory of General Relativity, the rela- section IV to arrive at an expanded approximate ver- tive motion of test bodies is described by means of the sion of the deviation equation. In section V we discuss geodesic deviation (Jacobi) equation [1–4]. This equa- how different coordinate choices, depending on the un- tion only holds under certain assumptions and can be derlying gravity theory, affect the interpretation and the used only for the description of structureless neutral test operational value of the deviation equation. We conclude bodies. our paper in section VI with a discussion of the results In a previous work [5], we have worked out generalized obtained and with an outlook of their possible applica- versions of the deviation equation, see also [6–28] for al- tions. Our notations and conventions are summarized in ternative derivations and generalizations. Our findings appendix A and table I. Some details and intermediate in [5] extended the range of applicability of the deviation results of our derivation are given in appendix B. equation to general world lines. However, the results were limited to theories in a Riemannian background. While such theories are justified in many physical situa- tions, several modern gravitational theories [29–31] reach II. WORLD FUNCTION AND DEVIATION significantly beyond the Riemannian geometrical frame- EQUATION work. In particular, it is already well known [32–34] that in the description of test bodies with intrinsic degrees Let us briefly recapitulate the relevant steps that lead of freedom – like spin – there is a natural coupling to to the generalized deviation equation as derived in [5]. the post-Riemannian features of spacetime. Therefore, in We want to compare two general curves Y (t) and X(t˜) view of possible tests of gravitational theories by means in an arbitrary spacetime manifold. Here t and t˜ are of structured test bodies, a further extension of the devi- general parameters, i.e. not necessarily the proper time ation equation to post-Riemannian geometries seems to on the given curves. In contrast to the Riemannian case, arXiv:1804.11106v2 [gr-qc] 2 Jun 2018 be overdue. we now connect two points x ∈ X and y ∈ Y on the In this work we derive a generalized deviation equation two curves by the autoparallel joining the two points (we in a Riemann-Cartan background, allowing for space- assume that this autoparallel is unique). An autoparallel times endowed with torsion. This equation describes the is a curve along which the velocity vector is transported dynamics of the connecting vector which links events on parallel to itself with respect to the connection on the two general (adjacent) world lines. Our results are valid spacetime manifold. In a Riemannian space autoparallel for any theory in a Riemann-Cartan background; in par- curves coincide with geodesic lines. ticular, they apply to Einstein-Cartan theory [35] as well as to Poincar´egauge theory [36]. Along the autoparallel we have the world function σ, The structure of the paper is as follows: In section II, and conceptually the closest object to the connecting vec- tor between the two points is the covariant derivative of we briefly introduce the concepts needed in the derivation y of the exact generalized deviation equation. This is fol- the world function, denoted at the point y by σ , cf. fig. lowed by section III, in which we focus on the properties 1. Following our conventions, the reference curve will be Y (t), and we define the generalized connecting vector to be ∗ [email protected]; http://puetzfeld.org † [email protected] ηy := −σy (1) 2 and inserted into (3) 2 D2 dt˜ ηy1 = −σy1 uy2 uy3 − σy1 ay2 − σy1 a˜x2 dt2 y2y3 y2 x2 dt Dσy4 −2σy1 uy2 Kx3 uy4 − Hx3 y2x3 y4 y4 dt Dσy4 −σy1 Kx2 uy4 − Hx2 x2x3 y4 y4 dt Dσy5 × Kx3 uy5 − Hx3 y5 y5 dt 2˜ y3 y1 dt d t x2 y3 x2 Dσ −σ x K y u − H y . (5) 2 dt˜dt2 3 3 dt Note that we may determine the factor dt/dt˜ by requiring that the velocity along the curve X is normalized, i.e. x u˜ u˜x = 1, in which case we have FIG. 1. Sketch of the two arbitrarily parametrized world lines dt˜ Dσy2 =u ˜ Kx1 uy2 − u˜ Hx1 . (6) Y (t) and X(t˜) and the (dashed) autoparallel connecting two dt x1 y2 x1 y2 dt points on these world lines. The generalized deviation vector along the reference world line Y is denoted by ηy. Equation (5) is the exact generalized deviation equation, it is completely general and can be viewed as the exten- sion of the standard geodesic deviation (Jacobi) equation to any order. In particular, it allows for a comparison of Taking its covariant total derivative, we have two general, i.e. not necessarily geodetic or autoparallel, world lines in spacetime. ˜ D y1 y1 y2 y1 x2 dt η = −σ y2 u − σ x2 u˜ , (2) dt dt III. WORLD FUNCTION IN RIEMANN-CARTAN SPACETIME where the velocities along the two curves Y and X are defined as uy := dY y/dt, andu ˜x := dXx/dt˜. Denoting In this section we work out the basic properties of a the accelerations by ay := Duy/dt, anda ˜x := Du˜x/dt˜, world function σ based on autoparallels in a Riemann- the second derivative becomes Cartan spacetime, which, in contrast to a Riemannian spacetime, is endowed with an asymmetric connection Γ c. Relevant references that contain some results in a D2 dt˜ ab y1 − y1 y2 y3 − y1 y2 x3 Riemann-Cartan context are [37–44]. 2 η = σ y2y3 u u 2σ y2x3 u u˜ dt dt For a world function σ based on autoparallels, we have 2 dt˜ the following basic relations in the case of spacetimes −σy1 ay2 − σy1 u˜x2 u˜x3 y2 x2x3 dt with asymmetric connections: 2 dt˜ d2t˜ x y − y1 x2 − y1 x2 σ σx = σ σy =2σ, (7) σ x2 a˜ σ x2 u˜ 2 . (3) dt dt x2 x1 x1 σ σx2 = σ , (8) x3 σx1x2 − σx2x1 = Tx1x2 ∂x3 σ. (9) The generalized deviation equation is obtained from (3) Note, in particular, the change in (9) due to the presence by expressing all quantities therein along the reference x3 −1 of the spacetime torsion Tx1x2 , which leads to σx1x2 =6 σ word line Y . With the help of the inverse – obtained σx x , in contrast to the symmetric Riemannian case, in −1 −1 2 1 y1 x y1 x1 y x1 s 1 from σ xσ y2 = δ y2 and σ yσ x2 = δ x2 – and by which σx1x2 = σx2x1 holds. −1 x1 x1 In many calculations the limiting behavior of a biten- defining the Jacobi propagators H y2 := − σ y2 and −1 sor B...(x, y) as x approaches the references point y is x1 x1 y1 K y2 := − σ y1 σ y2 , the velocity along X may be expressed as y1 1 We use “s” to indicate relations which only hold for symmetric x3 x3 y2 dt x3 Dσ dt u˜ = K y u − H y , (4) connections and denote Riemannian objects by the overbar. 2 dt˜ 1 dt dt˜ 3 required. This so-called coincidence limit of a bitensor (third) order the presence of the torsion leads to B (x, y) is a tensor ... 1 [σ ]= (T + T + T )= K , x1x2x3 2 y1y3y2 y2y3y1 y1y2y3 y2y1y3 [B...] = lim B...(x, y), (10) x→y (16) where in the last line we made use of the contortion K, at y and will be denoted by square brackets. In partic- cf. also appendix A for an overview of the geometrical ular, for a bitensor B with arbitrary indices at different quantities.2 With the help of (11), we obtain for the points (here just denoted by dots), we have the rule [45] other combinations with three indices [σx1x2y3 ]= −[σx1x2x3 ] = [σy1x2y3 ] = [σx2x3x1 ]= Ky2y3y1 , [B...];y = [B...;y] + [B...;x] . (11) [σx1y2y3 ]= −[σx2x3x1 ] = [σx1x3x2 ] = [σy1x2x3 ]= Ky3y1y2 , We collect the following useful identities for the world [σy1y2y3 ]= −[σx3x2x1 ]= Ky2y1y3 , function σ: [σx1y2x3 ]= −[σx1x3x2 ]= Ky3y2y1 , [σy1y2x3 ] = [σx3x2x1 ]= Ky2y3y1 . (17) [σ] = [σ ] = [σ ]=0, (12) x y The non-vanishing of these limits leads to added com- [σx1x2 ] = [σy1y2 ]= gy1y2 , (13) plexity in subsequent calculations compared to the Rie- [σx1y2 ] = [σy1x2 ]= −gy1y2 , (14) mannian case. At the fourth order we have [σx3x1x2 ] + [σx2x1x3 ]=0. (15) y y y Ky1 y2 Ky3yy4 + Ky1 y3 Ky2yy4 + Ky1 y4 Ky2yy4 Note that up to the second covariant derivative the coin- +[σx x x x ] + [σx x x x ] + [σx x x x ]=0, (18) cidence limits of the world function match those in space- 4 1 2 3 3 1 2 4 2 1 3 4 times with symmetric connections.