Arxiv:2012.10213V2 [Gr-Qc] 22 Mar 2021 Tensor, Called the “Law of Existence of Absolute Rotation” Candidate for the Dark Energy
Total Page:16
File Type:pdf, Size:1020Kb
The 1+3-Newton-Cartan system and Newton-Cartan cosmology Quentin Vigneron∗ Univ Lyon, Ens de Lyon, Univ Lyon1, CNRS, Centre de Recherche Astrophysique de Lyon UMR5574, F–69007, Lyon, France (Dated: March 23, 2021) We perform a covariant 1+3 split of the Newton-Cartan equations. The resulting 3-dimensional system of equations, called the 1+3-Newton-Cartan equations, is structurally equivalent to the 1+3- Einstein equations. In particular it features the momentum constraint, and a choice of adapted coordinates corresponds to a choice of shift vector. We show that these equations reduce to the classical Newton equations without the need for special Galilean coordinates. The solutions to the 1+3-Newton-Cartan equations are equivalent to the solutions of the classical Newton equations if space is assumed to be compact or if fall-off conditions at infinity are assumed. We then show that space expansion arises as a fundamental field in Newton-Cartan theory, and not by construction as in the classical formulation of Newtonian cosmology. We recover the Buchert-Ehlers theorem for the general expansion law in Newtonian cosmology. Keywords: Newton-Cartan theory; 3+1 and 1+3 formalisms; general relativity; backreaction I. INTRODUCTION the fluid 4-velocity, similarly to the 1+3 and 3+1 split in general relativity. The resulting system of equations The Newton-Cartan theory is a formulation of New- will be called the 1+3-Newton-Cartan equations. We will ton’s theory of gravitation in a 4-dimensional Galilei show that there is no need to choose specific coordinates, manifold. The structure on this manifold called a Galilei like Galilean coordinates, to recover the classical New- structure, follows from Newton’s ideas of absolute time ton equations. We will also complete the work of [19] as and absolute space. Similarly to general relativity, the we will study space expansion in Newton-Cartan without goal behind the Newton-Cartan formulation is to describe assuming spatial homogeneity or perturbations. the gravitational force with a spacetime connection. The In Sec. II we recall the definition and properties of physical equations constraining this connection, called Galilei spacetimes. Section III presents the construction the Newton-Cartan equations, are equations relating the of the 1+3-Newton-Cartan equations. We solve the sys- Riemann tensor associated to this connection and the tem of equations in Sec.IV and show that space expan- energy content. sion arises as a fundamental field of the theory. After The Newton-Cartan theory, originally introduced as a defining the gravitational field and observers in Sec.V, we spacetime geometrisation of Newton’s theory [6,7], has finally compare the solutions of the 1+3-Newton-Cartan then been developed to study the Newtonian limit (e.g. equations to the solutions of the classical Newton equa- Ref. [15]) and to define post-Newtonian approximations tions with a homogeneous deformation in Sec.VI. to general relativity (e.g. Refs. [10, 22]). Ehlers [11] also The main application we envision for the 1+3-Newton- proposed a unification of Newton-Cartan theory and gen- Cartan equations is to define a non-Euclidean Newtonian eral relativity, within his frame theory (see the overview theory, i.e. a theory which is locally equivalent to New- of literature related to the frame theory in Ref [5]). ton’s theory of gravitation but in a compact 3-manifold The Newton-Cartan equations can be written as 3- with a non-Euclidean Thurston geometry. This would be dimensional equations if adapted coordinates are cho- a powerful tool to study the effects of a non-Euclidean sen. However, to recover the classical Newton equa- global geometry on the structure formation in cosmol- tions, special Galilean coordinates are often assumed (e.g. ogy, as well as on the ‘backreaction’ of these structures [8,9, 11]), and an additional constraint on the Riemann on the global expansion of the Universe (see Ref. [2]): a arXiv:2012.10213v2 [gr-qc] 22 Mar 2021 tensor, called the “law of existence of absolute rotation” candidate for the dark energy. We discuss the possibility by Ehlers [11] needs to be added so that the Coriolis field of defining such a non-Euclidean Newtonian theory with does not depend on space. our new framework in Sec. VII. Newton-Cartan theory was also applied to cosmology in Ref. [19] where the authors introduced a fluid model with a 4-velocity similarly to general relativity. They II. GALILEI SPACETIMES projected the Newton-Cartan equations with respect to this velocity and then assumed homogeneity to derive the A. Notations expansion law in Galilei coordinates. The aim of this paper is to present the covariant 1+3- We denote a tensor of any type, except scalars, in bold split of the Newton-Cartan equations with respect to (example: g). In the case where the type is of impor- tance, a tensor of type (n; m) will feature n over-bars and m under-bars (example: g for a type (0; 2) tensor). ∗ [email protected]; [email protected] ¯ We define the symmetric part T(ab), the antisymmetric 2 part T[ab] and the symmetric traceless part Thabi of a not possible to define a spacetime metric compatible with rank-2 tensor T as the connection (4) (see Chapter 12 of Ref. [16]). Thus raising and lowering indices is not possible a priori. Then 1 1 T(ab) := (Tab + Tba); T[ab] := (Tab − Tba); when defining new tensors for the first time, we will use 2 2 the over and under bars notation introduced in Sec.IIA T Thabi := T(ab) − gab; to avoid confusion. Once they have been defined, we will D however return to the simpler bold notation. where g is the metric of the manifold on which T is de- The exact 1-form τ defines a foliation fΣtgt2R in M, fined and D the dimension of this manifold. where Σt are spatial hypersurfaces in M defined as the An antisymmetrisation over three indices is defined as level surfaces of the scalar field t, with τ = dt. From the knowledge of τ and h, the connection r 1 is not unique. Its coefficients Γγ are defined up to a T[abc] := Ta[bc] + Tc[ab] + Tb[ca] : (1) αβ 3 timelike vector B¯ and a two form κ as follows: ¯ An index which should not be included in a antisym- ¯ γ B γ µγ metrisation (over two or three indices) or a symmetrisa- Γαβ = Γαβ + 2τ(ακβ)µh ; (5) tion is denoted between vertical bars. For instance, in the case of two indices antisymmetrisation: where 1 B γ γµ B 1 B γ T[ajbjc] := (Tabc − Tcba) : (2) Γ := h @ b − @ b + B @ τ ; (6) 2 αβ (α β)µ 2 µ αβ (α β) The Lie derivative on a manifold M of a tensor T along B a vector field A¯ is denoted L T . The Lie derivative does and where b is the projector orthonormal to the vector A ¯ not commute with the metric, so for instance, for a rank- B with ¯ a 1 tensor B, g(LAB¯ ; ·) 6= LAB. We will then use LAB , ¯ B µ B µβ β β respectively LABa, to denote the coordinate components bαµB := 0 ; bαµh := δα − ταB : (7) of LAB¯ , respectively LAB. Then for a vector A and¯ a tensor T on a manifold M, We have the following properties we have µ B α µ[α B β] B rµB = 0 ; h rµB = 0: (8) L T a1::: := Acr T a1::: (3) A b1::: c b1::: B j where r is the connection associated with the coeffi- # B ¯γ X a1::: c X :::c::: aj cients Γ . + T :::c:::rbi A − T b1:::rcA ; αβ " i i j The connection coefficients (5) naturally define a Rie- σ c mann tensor R αβγ with the formula where r is the Levi-Civita connection of M. The " no- i tation means that c is the ith index. σ σ σ µ R αβγ := 2 @[βΓ + 2 Γ Γ : (9) Finally, we denote indices running from 0 to 3 by Greek γ]α µ[β γ]α letters (α, β, γ, ...) and indices running from 1 to 3 by The Ricci and Bianchi identities are still satisfied for this Roman letters (a, b, c, ...). Riemann tensor: Rσ = 0; (10) B. Galilei structure [αβγ] σ r[µR jαjβγ] = 0: (11) This section is largely inspired on the presentation of Galilei spacetimes by Künzle (1972) [14]. The definitions (4) leads to the following additional rela- A Galilei spacetime is a 4-dimensional differentiable tions: manifold M with a Galilei structure (τ ; h¯; r), where τ ¯ ¯ ¯ τ Rµ = 0; (12) is an exact 1-form, h¯ is a symmetric (2,0)-tensor of rank µ αβγ αµ µ(α β) 3, with h τµ = 0, and r is a connection compatible h R µγσ = 0: (13) ¯ with τ and h¯, called a Galilei connection: µ ¯ The Ricci tensor Rαβ is defined as Rαβ := R αµβ. αβ rατβ = 0 ; rγ h = 0: (4) µ A vector u¯ is called timelike if u τµ = 1, and an (n,0)- α C. Coordinates in a Galilei spacetime # :::µ... tensor T is called spatial if τµT = 0 for all α 2 1; n . No spacetime metric, i.e. a symmetric (0,2)-tensorJ ofK In this section, we define objects which will be used in rank 4, is part of the Galilei structure. Furthermore it is the construction of the 1+3-Newton-Cartan equations. 3 1. Adapted coordinate systems. 4. Spatial covariant derivative. α A coordinate system fx gα=0;1;2;3, associated to the In an adapted coordinate system, the spatial projection ¯ γ coordinate basis vectors f@αgα=0;1;2;3, is said to be Γab of the connection coefficients (5) are adapted to the foliation fΣtgt2R if the three vectors ¯ ¯ 1 1 f@aga=1;2;3 are spatial and @0 is timelike.