Abstract
We study the geometric properties of certain Codazzi tensors for their own sake, and for their appearance in the recent theory of Cotton gravity. We prove that a perfect-fluid tensor is Codazzi if and only if the metric is a generalized Stephani universe. A trace condition restricts it to a warped space-time, as proven by Merton and Derdziński. We also give necessary and sufficient conditions for a space-time to host a current-flow Codazzi tensor. In particular, we study the static and spherically symmetric cases, which include the Nariai and Bertotti-Robinson metrics. The latter are a special case of Yang Pure space-times, together with spatially flat FRW space-times with constant curvature scalar. We apply these results to the recent Cotton gravity by Harada. We show that the equation of Cotton gravity is Einstein’s equation modified by the presence of a Codazzi tensor, which can be chosen freely and constrains the space-time where the theory is staged. In doing so, the tensor (chosen in forms appropriate for physics) implies the form of the Ricci tensor. The two tensors specify the energy-momentum tensor, which is the source in the equation of Cotton gravity for the metric implied by the Codazzi tensor. For example, we show that the Stephani, Nariai and Bertotti-Robinson space-times are characterized by a “current flow” Codazzi tensor. Because of it, they solve Cotton gravity with physically sensible energy-momentum tensors. Finally, we discuss Cotton gravity in constant curvature space-times.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In Ref. [1] Junpei Harada proposed an extension named “Cotton gravity” of the Einstein equations, where the geometric term (the Einstein tensor) is replaced by the Cotton tensor, and the source (the energy-momentum tensor) is replaced by gradients of the energy-momentum. In a space-time of dimension n:
T is the trace \(T^k{}_k\) and Newton’s constant is absorbed in \(T_{jk}\). The Cotton tensor is defined as
It is related to the Weyl tensor, \(\textsf{C}_{jkl} = -\frac{n-2}{n-3}\nabla _m C_{jkl}{}^m\), and contains third-order derivatives of the metric tensor.
Harada showed that his gravity Eq. (1) descend from a variational principle with action, in \(n=4\), \( S= \int d^4 x \sqrt{-g} (C_{jklm} C^{jklm} - R_{jklm} T^{jklm}) \). The variation is taken in the connection. \(T^{jklm}\) is a curvature tensor built with the energy-momentum and the metric tensors (Eq. 14 in [1]). Conformal gravity has the same action, but the variation in the metric tensor gives the equations \(-4(2\nabla ^j\nabla ^m C_{jklm} +R^{jm} C_{jklm})= T_{kl}\), that are fourth-order in the derivatives of the metric tensor.
While solving (1) for a vacuum (\(T_{kl}=0\)) static spherically symmetric space-time, Harada obtained a generalization of the Schwarzschild solution:
with \(b^2(r)= 1-2M/r+ \gamma r -\frac{1}{3}\Lambda r^2\). He remarked the similarity with a vacuum solution of conformal gravity, where \(b^2(r)\) is replaced by \({\hat{b}}^2(r) = [ 1-3\beta \gamma \) \(- \beta (2-3\beta \gamma )/r +\gamma r -K r^2 ] \) (see [2, 3]).
In ref. [4], Harada applied his theory to describe the rotation curves of several galaxies, where the effect of the possible dark-matter halo is supplanted by the modified gravitational potential.
After its appearance, Harada’s paper was criticized by objecting that it adds nothing to standard General Relativity [5, 6]. This paper shows that it is not the case: there is a rich structure in the theory, that includes the standard one.
The difference of Eqs. (1) and (2) shows that
is a Codazzi tensor:
Equations (4) and (5) are equivalent to the Harada equation (1) for Cotton gravity. In fact, with \(R_{kl}={\mathscr {C}}_{kl}+T_{kl}+g_{kl}\frac{R-2T}{2(n-1)}\) the Cotton tensor (2) is constructed, and the Codazzi condition ensures that (1) is obtained.
The third order character of (1) is reduced to second order in (4), with the appearance of a supplemental term, the Codazzi tensor. The latter may be thought of as a modification of the Ricci tensor, or the energy-momentum tensor, or both.
The case \({\mathscr {C}}_{kl}=0\) in (4) restores the Einstein equations, and Eq. (1) is identically true. The “trivial” case \({\mathscr {C}}_{jk}=B g_{jk}\), adds a cosmological constant.
If \({\mathscr {C}}_{kl}\ne 0\), Eq. (4) can still be interpreted as the Einstein equation, with a modified energy-momentum tensor:
Let us mention that Codazzi tensors appear in the geometry of hypersurfaces [7]. A Lorentzian hypersurface in a Minkowski space-time has Riemann tensor \(R_{jklm} = \Omega _{jl}\Omega _{km} -\Omega _{jm}\Omega _{kl}\) where \(\Omega _{jk}\) is a Codazzi tensor. The trivial case \(\Omega _{jk} = \frac{R}{n(n-1)} g_{jk}\) corresponds to a constant-curvature hypersurface, and the tensor has a single, constant eigenvalue.
A non-trivial Codazzi tensor poses important limitations on the geometry of the hosting space-time.
Among the possible tensors, we choose to investigate two simple and physically relevant ones, that often appear in the expressions of the Ricci or of the energy-momentum tensors. They involve the basic kinematic quantities \(u_i\) and \(\dot{u}_i\).
We begin with the “perfect fluid” tensor \({\mathscr {C}}_{jk}=Au_j u_k +Bg_{jk}\) with the Codazzi property. Andrzej Derdziński [8] proved that if \({\mathscr {C}}^k{}_k\) is a constant, then the space-time is warped (GRW, generalized Robertson-Walker space-time), i.e. there are coordinates such that
with Riemannian metric \(g^\star _{\mu \nu }\). The hypothesis was weakened by Gabe Merton [9], who showed that a necessary and sufficient condition for the GRW space-time is \(v^j\nabla _j {{\mathscr {C}}}^k{}_k=0\) for all vectors \(v^ju_j=0\) (the result was proven in Riemannian signature, but it also holds in Lorentzian).
In Theorem 2.1 we prove that a perfect fluid tensor is Codazzi if and only if the space-time is “doubly twisted”, i.e. there are coordinates such that
with the special condition that \((\partial _t\log a)/b\) only depends on time t. Remarkably, this metric with the constraint happens to be a generalization of the well known Stephani Universes.
We discuss special cases, including Merton’s result, and obtain the general form of the Ricci tensor.
Next we study the “current flow” tensor \({\mathscr {C}}_{jk}=\lambda (u_j \dot{u}_k +\dot{u}_j u_k)\) with the Codazzi condition and closed vector field \(\dot{u}_j\). The field \(u_j\) turns out to be vorticity-free but not shear-free. This makes the metric more general than doubly-twisted, Eq. (28). If it is constrained to be static, a useful form of the Ricci tensor is obtained. We list some of the several examples that can be found in the literature.
Finally, we consider Yang Pure space-times. They are characterised by a Ricci tensor that is a Codazzi tensor. Among the examples, we show that a Friedmann-Robertson-Walker metric is Yang Pure if and only if \(\nabla _j R=0\).
This concludes Sect. 2 of the paper.
In Sect. 3 we show that these results are interesting for the Cotton gravity by Harada. If nontrivial, the Codazzi tensor introduces geometric or unconventional matter content in the Einstein equation, depending on the point of the view, in a way different than other extended theories of gravity.
This suggests a solution to the Harada equations which goes as follows: given the form of a Codazzi tensor, this determines a class of space-times that host the tensor. The space-time in turn determines the Ricci tensor. Finally, the Codazzi and the Ricci tensors in Eq. (4) determine the energy-momentum tensor of the Harada equation.
The two Codazzi tensors that are here studied, modify the energy-momentum in its perfect-fluid component or in the current component.
We end with a discussion of constant curvature space-times, for which Ferus [10] identified the general form of Codazzi tensors.
We employ the Lorentzian signature \((-+...+)\), latin letters for space-time components and greek letters for space components. A dot on a quantity X is the operator \(\dot{X} =u^k\nabla _k X\). The symbols \(\eta \), \(\epsilon \) are the scalar functions \(\eta = \dot{u}^k \dot{u}_k\) and \(\epsilon = \dot{u}^k\nabla _k\eta \).
2 Codazzi tensors and their space-times
In refs. [11, 12] we showed that a Codazzi tensor always satisfies an algebraic identity with the Riemann tensor (it is “Riemann compatible”):
This property implies that a Codazzi tensor is also Weyl compatible, with the Weyl tensor \(C_{jklm}\) replacing \(R_{jklm}\). The contraction with the metric tensor \(g^{il}\) gives \({\mathscr {C}}_{jm}R_k{}^m = {\mathscr {C}}_{km}R_j{}^m\), i.e. a Codazzi tensor commutes with the Ricci tensor.
As anticipated, we investigate two forms of Codazzi tensor. We name them in analogy with terms in an energy-momentum tensor: \({\mathscr {C}}_{jk}= Au_j u_k + Bg_{jk}\) (perfect fluid) and \({\mathscr {C}}_{jk}= \lambda (u_j \dot{u}_k + \dot{u}_j u_k)\) (current flow). \(A\ne 0\), B, \(\lambda \) are scalar fields. The vector field \(u_j\) is time-like unit, \(u^j u_j =-1\), and is named velocity. The vector field \(\dot{u}_j =u^k\nabla _k u_j\) is spacelike, orthogonal to the velocity, and is named acceleration.
We show that the Codazzi property of such tensors strongly restricts the space-times they live in.
2.1 Perfect fluid Codazzi tensors and Stephani universes.
Theorem 2.1
The perfect fluid tensor \({\mathscr {C}}_{jk}= Au_j u_k + Bg_{jk}\) with \(u^ju_j=-1\) is Codazzi if and only if
where \((n-1)\varphi \) is the usual expansion parameter,
This relation is useful:
Proof
See Appendix 1. \(\square \)
Proposition 2.2
If \({\mathscr {C}}_{jk}\) is a perfect-fluid Codazzi tensor, the velocity \(u_i\) is Riemann compatible, \( u_i R_{jklm}u^m + u_j R_{kilm}u^m + u_k R_{ijlm}u^m =0 \), and it is an eigenvector of the Ricci tensor, \(R_{jk}u^k =\gamma u_j\), with eigenvalue
The following identity for the acceleration holds:
Proof
The first statement is an obvious consequence of (9) and of the first Bianchi identity. For the eigenvalue we evaluate:
The contraction with \(g^{jl}\) gives: \(R_{km}u^m = (n-1)({\dot{\varphi }} +\varphi ^2) u_k + \varphi \dot{u}_k - u_k \eta - u_k \nabla _j \dot{u}^j + u^j \nabla _k \dot{u}_j \). Since \(\dot{u}^j u_j=0\), the last term is: \(-\dot{u}^j \nabla _k u_j = -\varphi \dot{u}_k +u_k \eta \) by Eq. (10), and cancels three terms. The eigenvalue \(\gamma \) is read.
The contraction with \(u^j\) gives the symmetric tensor
Subtraction with indices k, l exchanged gives the identity for the acceleration. \(\square \)
With the aid of the Weyl tensor, we obtain the expression of the Ricci tensor on a space-time with a perfect fluid Codazzi tensor.
Proposition 2.3
(The Ricci tensor)
where \(\gamma \) is the eigenvalue (15), \(\Pi _{kl}\) is symmetric traceless with \(\Pi _{kl} u^l=0\), and \(E_{kl}=u^j u^m C_{jklm}\) is the electric tensor. It is symmetric, traceless, with \(E_{jk}u^k=0\).
Proof
The general expression of the Weyl tensor is:
The contraction with \(u^j u^m\) and (17) give:
The Ricci tensor is obtained:
The expression is symmetrized with the identity (16) and the correction to the perfect fluid part is made traceless by subtraction. \(\square \)
We discuss the geometric restrictions posed by a perfect-fluid Codazzi tensor. The presence of a shear-free and vorticity-free velocity field, Eq. (10), classifies the space-time as doubly-twisted [13], i.e. there is a coordinate frame such that the metric has the form (8).
In this frame, with the Christoffel symbols
Eq. (10) for \(u_j\) and \(\dot{u}_j=u^k\nabla _k u_j\) give: \(u_0=-b(t,\textbf{x})\), \(u_\mu =0\), and
By Eq. (14), the doubly twisted metric has the constraint that \(\varphi \) only depends on time. With \(a=1/V(\textbf{x},t)\), the metric (8) with the constraint becomes:
This metric generalizes the well known Stephani metrics, presented in the following example.
Example 2.4
Remarkably, Eqs. (10)–(13) in \(n=4\) coincide with eqs. 37.32–37.34 in the book by Stephani et al. [15]. They were derived for a Riemann tensor of the form \(R_{jklm}={\mathscr {C}}_{jl}{\mathscr {C}}_{km}-{\mathscr {C}}_{jm}{\mathscr {C}}_{kl}\), with \({\mathscr {C}}_{jk}=Au_ku_l+ Bg_{jk}\) (note that if \({\mathscr {C}}_{jk}\) is invertible then the Bianchi identity implies that it is a Codazzi tensor [14]). Such space-times are conformally flat and are named Stephani universes [15, 16]. They are solutions of the Einstein equations with a perfect fluid source \(T_{jk}\).
The Stephani metric is
with \(V (\textbf{x},t)= V_0(t) +\frac{B^2(t) -\varphi ^2(t)}{4V_0(t)} \Vert \textbf{x} - \textbf{x}_0(t)\Vert ^2\), where \(V_0\), \(\varphi \) and \(\textbf{x}_0\) are arbitrary functions of time.
We now consider some special conditions of the perfect fluid Codazzi tensor.
Lemma 2.5
If the acceleration is closed, \(\nabla _j \dot{u}_k =\nabla _k \dot{u}_j\), then \(b(t,\textbf{x}) = {\hat{b}}(t) b(\textbf{x})\), and \(\ddot{u}_k = \eta u_k - \varphi \dot{u}_k \).
Proof
The condition that matters is \(\nabla _0 \dot{u}_\mu = \nabla _\mu \dot{u}_0\) i.e. \(\partial _t \dot{u}_\mu - \Gamma _{0\mu }^\nu \dot{u}_\nu = -\Gamma _{\mu 0}^\nu \dot{u}_\nu \). By the symmetry of the Christoffel symbols, we remain with \(0=\partial _t \dot{u}_\mu \) i.e. \(\dot{u}_\mu =\partial _\mu \log b\) is independent of t. Then \(b(t,\textbf{x}) = b_1(t)b_2(\textbf{x})\).
Equation(16) now is: \( (\varphi \dot{u}_k +\ddot{u}_k) u_l - u_k(\varphi \dot{u}_l + \ddot{u}_l) =0\). Contraction with \(u^l\) is: \(\ddot{u}_k = - \varphi \dot{u}_k - u_k (u^l\ddot{u}_l)\). The identity \(u^l\dot{u}_l=0\) gives \(u^l\ddot{u}_l = - \dot{u}^l \dot{u}_l \equiv -\eta \). \(\square \)
\(\bullet \) If \(\nabla _k A=-u_k \dot{A} \) i.e. \(\dot{u}_k=0\), then \(b(t,\textbf{x})\) is only a function of time. It is \(b=1\) after a rescaling of time. The equations \(\partial _\mu \varphi =0\) show that a only depends on time. Therefore, the space-time is a generalised Robertson Walker (GRW) space-time, Eq. (7) [17, 18].
This agrees with Theorem 1.2 in [9], stating that (in a Riemannian setting) a perfect fluid Codazzi tensor such that \(h^{jk}\nabla _k {\mathscr {C}}^i{}_i =0\) implies a warped metric.
With \(\xi \equiv (n-1)({\dot{\varphi }} +\varphi ^2)\), the Ricci tensor now is:
\(\bullet \) If \(B=0\), i.e. \({\mathscr {C}}_{jk}=A u_j u_k\), then \(\nabla _i u_j = -u_i\dot{u}_j\) and A solves (11). The equation \(\varphi =0\) gives that \(a(t,\textbf{x})\) is independent of time, and can be absorbed in the space metric to give
Its conformally flat and spherically symmetric version generalises the Schwarzschild interior solution, Eq. 37.39 in [15]. If moreover \(\dot{u}_i\) is closed, then the metric is static ( [15], page 283):
\(\bullet \) In General Relativity the vanishing of the Cotton tensor \(\textsf{C}_{jkl}=0\) means that \(R_{kl}-g_{kl} \frac{R}{2(n-1)}\) is a Codazzi tensor. The Einstein equations then imply that also \({\mathscr {C}}_{kl}= T_{kl}-\frac{T}{n-1}g_{kl}\) is a Codazzi tensor.
2.2 Current-flow Codazzi tensors
We investigate Codazzi tensors with the form of a current-flow tensor \({\mathscr {C}}_{jk} =\lambda (u_j \dot{u}_k + \dot{u}_j u_k),\) with closed \(\dot{u}_i\).
The eigenvalues are 0 and \(\pm i\lambda \sqrt{\eta }\), the latter being non-degenerate with complex eigenvectors \(V^{\pm }_k =\pm \sqrt{\eta }u_k + i\dot{u}_k\), \(g^{jk}V^+_j V^-_k =0\). Since the Codazzi tensor commutes with the Ricci tensor, \(V^{\pm }_k\) are also eigenvectors of the Ricci tensor. From \(0=V^+_j R^{jk}V^-_k\) one obtains
Theorem 2.6
The tensor \({\mathscr {C}}_{jk} =\lambda (u_j \dot{u}_k + \dot{u}_j u_k)\) with closed acceleration is Codazzi if and only if:
Proof
See Appendix 2. \(\square \)
A useful relation found in the proof is
We discuss the geometric restrictions posed by a current-flow Codazzi tensor with closed acceleration.
Since the velocity has non-zero shear tensor
there are coordinates such that the metric has the structure [19]:
with Christoffel symbols \(\Gamma _{00}^0 =\frac{\partial _t b}{b}\), \(\Gamma _{\mu 0}^0 =\frac{\partial _\mu b}{b}\), \(\Gamma ^\mu _{00} = G^{\star \mu \nu } b\partial _\nu b\), \( \Gamma _{\mu \nu }^0 = \frac{\partial _t G^{\star }_{\mu \nu }}{2b^2}\), \(\Gamma _{0\nu }^\mu = \tfrac{1}{2}G^{\star \mu \rho } \partial _t G^\star _{\nu \rho }\) and \(\Gamma _{\rho \sigma }^\mu = \Gamma _{\rho \sigma }^{\star \mu }\). The equations for u, \(\dot{u}\) give:
In this frame, the equations \(\nabla _\mu u_\nu = -\frac{{\dot{\lambda }}}{\lambda } \frac{\dot{u}_\mu \dot{u}_\nu }{\eta } \) and \(\nabla _0\dot{u}_\mu = -\frac{{\dot{\lambda }}}{\lambda }u_0\dot{u}_\mu \) are:
We now specialize to static space-times.
2.2.1 Static space-times
If \({\dot{\lambda }} =0\), Eq. (29) shows that \(G^\star _{\mu \nu } \) is independent of time t, as well as \(\dot{u}_\mu \). Then \(b(t,\textbf{x}) =\beta (t) b(\textbf{x})\). The product \(\beta ^2(t)dt^2\) in \(ds^2\) redefines the time, and the metric is static, Eq. (22).
Theorem 2.6 becomes: the current-flow tensor with \({\dot{\lambda }} =0\) and closed acceleration is Codazzi if and only if:
Eq. (30) and closedness of \(\dot{u}_i\) covariantly confirm the space-time as static.
Proposition 2.7
In a static space-time with Eqs.(30)–(32) with closed \(\dot{u}_i\), the vectors \(u_i\) and \(\dot{u}_i\) are eigenvectors of the Ricci tensor with the same eigenvalue.
Proof
(1) For brevity, put \(\epsilon =\dot{u}^p\nabla _p \eta \).
Equation(27) with \({\dot{\lambda }} =0\) is: \(\nabla _j \eta ^2 = 2 \epsilon \dot{u}_j\) Now it is \(\nabla _k \nabla _j \eta ^2 = 2\dot{u}_j \nabla _k \epsilon + 2 \epsilon \nabla _k \dot{u}_j\). Antisimmetrization, with the property that \(\nabla _k\dot{u}_j = \nabla _j \dot{u}_k\) gives: \(\dot{u}_j \nabla _k \epsilon = \dot{u}_k \nabla _j \epsilon \) i.e.
(2) \(R_{jklm}u^m = \nabla _j \nabla _k u_l - \nabla _k \nabla _j u_l = -\nabla _j (u_k\dot{u}_l)+\nabla _k (u_j\dot{u}_l) = (u_j \dot{u}_k - u_k\dot{u}_j)\dot{u}_l - u_k \nabla _j\dot{u}_l + u_j \nabla _k \dot{u}_l = (u_j \dot{u}_k - u_k\dot{u}_j)\dot{u}_l (1 + \epsilon /2\eta ^2)\). Contraction with \(g^{jl}\):
(3) \(R_{jklm}\dot{u}^m = \nabla _j \nabla _k \dot{u}_l - \nabla _k \nabla _j \dot{u}_l = \nabla _j (-\eta u_k u_l + \dot{u}_k \dot{u}_l \frac{\epsilon }{2\eta ^2}) - \nabla _k (-\eta u_j u_l + \dot{u}_j \dot{u}_l \frac{\epsilon }{2\eta ^2})= -(u_k \nabla _j\eta - u_j\nabla _k\eta ) u_l +\eta (u_j \dot{u}_k - \dot{u}_j u_k)u_l + (\dot{u}_k \nabla _j \dot{u}_l - \dot{u}_j \nabla _k \dot{u}_l)\frac{\epsilon }{2\eta ^2} +(\dot{u}_k\nabla _j \frac{\epsilon }{2\eta ^2} - \dot{u}_j \nabla _k \frac{\epsilon }{2\eta ^2})\dot{u}_l \). The last parenthesis is zero because \(\nabla _j \frac{\epsilon }{2\eta ^2}\) is proportional to \(\dot{u}_j\). Then: \(R_{jklm}\dot{u}^m = (u_j \dot{u}_k - \dot{u}_j u_k)u_l (\eta + \frac{\epsilon }{\eta }) + (\dot{u}_k \nabla _j \dot{u}_l - \dot{u}_j \nabla _k \dot{u}_l)\frac{\epsilon }{2\eta ^2}\). Contraction with \(g^{jl}\):
\(\square \)
The Ricci tensor is now obtained.
In Prop.2.7 we evaluated \(R_{jklm}u^m = (u_j \dot{u}_k - u_k\dot{u}_j)\dot{u}_l (1 + \epsilon /2\eta ^2)\). Contraction with \(u^j\) is \(u^j R_{jklm}u^m = - \dot{u}_k \dot{u}_l (1 + \epsilon /2\eta ^2)\). The contraction of the Weyl tensor and (33) give
We then find:
In particular, by Eq. (34), one has the eigenvalue equation
Eq. (32) with \(\epsilon =0\) (then \(\eta \) is a constant) was obtained by Rao and Rao [20] in a static metric to characterize the relativistic generalisation of the uniform Newton force at a spatial hypersurface.
2.2.2. We restrict the static space-time to be spherically symmetric, and give some examples in the end:
In spherical symmetry \(\dot{u}\) is radial and \(\dot{u}_r = b'(r)/b(r)\) (a prime is a derivative in r). The definition \(\eta = \dot{u}^k \dot{u}_k\) gives:
In such coordinates the solution of Eq. (31) is
with a constant \(\kappa \).
Since \(\dot{u}\) is a radial vector, the angular components of Eq. (32) are \(\nabla _a \dot{u}_{a'} =0\) (where \(a, a' = 1,...,n-2\) enumerate the angles). It implies \(\Gamma _{a,a'}^r \dot{u}_r= 0\) i.e. \(\Gamma _{a,a'}^r = 0\). With the expression in [21] Appendix 9.6, one gets the condition on the metric:
In conclusion, a static spherically symmetric space-time with Codazzi tensor \({\mathscr {C}}_{jk}=\lambda (u_j\dot{u}_k + \dot{u}_j u_k)\) with closed acceleration has the form:
where L is a positive constant.
The electric tensor and the scalar curvature of the space manifold are obtained from Eq. (33) in [21] with \(a=1\), \(f_2=L\), and the relations (37) and (38):
where \(h_{jk} = g_{jk}+ u_k u_l\).
The Ricci tensor (35) in spherical coordinates is sum of three tensors, proportional to \(u_j u_k\), \(g_{jk}\) and \(\dot{u}_j \dot{u}_k\).
We list some examples of the metric (39). They share the same form of Ricci tensor (35), with electric tensor (40). Moreover, they are endowed with a current-flow Codazzi tensor with non-zero components \({\mathscr {C}}_{0r}={\mathscr {C}}_{r0} =\kappa f_1(r)/b(r)\) in the coordinates of each below-listed metric.
Example 2.8
Nariai space-times solve Einstein’s equations in vacuo [22,23,24,25]:
where \(\Lambda \) is the cosmological constant. A coordinate change (see [22]) brings the metric to the direct product of de Sitter \((dS)_2\) with the sphere \(S_2\) of radius \(\sqrt{3/\Lambda }\): \( ds^2 = -b\, d\tau ^2 +b^{-1} d\rho ^2 +(3/\Lambda ) d\Omega _2^2\), with \(b(\rho ) =1-\frac{1}{3}\Lambda \rho ^2\).
Example 2.9
Bertotti-Robinson space-times are conformally flat solutions of the source-free Einstein-Maxwell equations with non-null e.m. field [26,27,28]:
The Ricci tensor is (35) with \(R=0\), \(\epsilon =0\), \(\eta =\frac{1}{r_0^2}\) \(\lambda = -\kappa \frac{r^2}{r_0^2}\):
Eqs. (30) and (32), that reads \(\nabla _j \dot{u}_k =\frac{1}{r_0^2} u_j u_k\), imply \(\nabla _i R_{jk}=\nabla _j R_{ik}\). Therefore, Bertotti-Robinson space-times have two Codazzi tensors: the Ricci tensor and
A coordinate change [29] brings the metric to: \(ds^2 = -b\, d\tau ^2 + b^{-1}d\rho ^2 + r_0^2 d\Omega _{n-2}^2\) with \(b(\rho ) =1+\rho ^2/r^2_0\). It is the direct product of (AdS)\(_2\) with the sphere \(S_{n-2}(r_0)\).
Example 2.10
In [30] black holes are studied in string-corrected Einstein-Maxwell theory coupled to a dilaton field. The solution displayed in Eq. 35 is
Depending on the constants, it may reduce to (AdS)\(_2\times S_2(L)\) or (dS)\(_2\times S_2(L)\).
Example 2.11
In [31] the Bertotti-Robinson-type black hole solutions of string theory are obtained, by CFT methods. This one (Eq. 38) is an example:
where M is the mass, J is the angular momentum, \(\ell ^2\) is proportional to the cosmological constant.
Example 2.12
In [32] spherical black hole solutions of the Einstein-Maxwell-scalar equations are found, where the scalar field is non-minimally coupled to the Maxwell invariant. Among others the following metric is given (Eq. 4.11), where a is a constant:
The examples describe “near horizon geometries of extremal black-holes” [33]. They are direct products of a Lorentzian 2D spacetime with the 2-sphere, whose general properties were investigated by Ficken [34].
2.3 Yang Pure space-times
A Yang Pure space-time is defined by a Ricci tensor that is a Codazzi tensor:
equivalent to \(\nabla ^m R_{jklm}=0\). Contraction with \(g^{jl}\) gives \(\nabla _k R=0\). They were introduced by Chen Ning Yang in 1974 in the geometry of Yang-Mills theories [35, 36]. These are examples of solutions of Yang’s equation (44):
-
Vacuum solutions of Einstein’s equations: \(R_{kl}=\Lambda g_{kl}\).
-
Wei-Tou Ni obtained the conformally-flat non-static solution [37]
$$\begin{aligned} ds^2 = \left[ C+\frac{f(r-t)}{r}+\frac{g(r+t)}{r}\right] (-dt^2 +dr^2 +r^2 d\Omega _2^2) \end{aligned}$$where C is a constant, f and g are arbitrary functions, and also the solution:
$$\begin{aligned} ds^2 = -dt^2 + \left[ 1 + \frac{a}{r} + b r^2 \right] ^{-1} dr^2 + r^2 d\Omega _2^2 \end{aligned}$$ -
In 1975 A. H. Thompson [38] found geometrically degenerate solutions of Yang’s gravitational equations. In particular, he showed that the Bertotti-Robinson metric Eq. (42) is Yang Pure.
-
Friedmann-Robertson-Walker (FRW) space-times
$$\begin{aligned} ds^2 = -dt^2 + a^2(t)\left[ \frac{dr^2}{1- k r^2} + r^2 d\Omega _2^2 \right] \end{aligned}$$(45)may be also characterized by a “perfect fluid” Ricci tensor
$$\begin{aligned} R_{jk} = \tfrac{1}{3}(R-4\xi ) u_j u_k + \tfrac{1}{3} (R-\xi ) g_{jk} \end{aligned}$$(46)and zero Weyl tensor. Here (see [39]): \(u^k u_k=-1\), \(\nabla _i u_j = H (u_iu_j + g_{ij})\) where \(H=\dot{a}/a\) is Hubble’s parameter and \(\xi = 3(H^2+\dot{H}) = 3\ddot{a}/a\). The Cotton tensor being zero, a FRW space-time is Yang Pure if and only if \(\nabla _j R=0\).
The flat case \(k=0\) was solved by the authors [39]. While the two geometric constraints fix the Ricci tensor, the Einstein equations provide a source which is a perfect fluid with equation of state \(p=w(t)\mu \) that evolves from \(w=1/3\) (pure radiation) to \(w=-1\) (accelerated expansion, without a cosmological constant \(\Lambda \)).
3 Harada-Cotton gravity
The results of the previous section are interesting for Harada’s Cotton gravity. The symmetries of the Weyl tensor imply two important facts [1]:
-
(1)
\(g^{kl}\textsf{C}_{jkl}=0\), then (1) mantains the law \(0=\nabla _k T^{jk}\).
-
(2)
\(\nabla ^l \textsf{C}_{jkl}=0\) implies that \(R_{jk}\) and \(T_{jk}\) commute:
\(0 = \nabla _l (\nabla _j T_k{}^l- \nabla _k T_j{}^l) = [\nabla _l,\nabla _j ]T_k{}^l -[\nabla _l,\nabla _k]T_j{}^l + \nabla _j (\nabla _l T_k{}^l) - \nabla _k (\nabla _l T_j{}^l) = R_{ljkm}T^{ml}+R_{jm} T_k{}^m - R_{lkjm}T^{ml} - R_{km} T_j{}^m\).
The first term cancels the third one by the first Bianchi identity: \(0=(R_{ljkm}+R_{jklm}+R_{kljm})T^{ml}\) (the second term vanishes).
As stated in the introduction, Eq. (1) naturally provides the Codazzi tensor in Eq. (4). Depending on its form, there are different levels of Cotton gravity, that are extensions of the Einstein gravity.
The choice of the Codazzi tensor restricts the space-time which, in turn, provides the structure of the Ricci tensor. Together, the Ricci and the Codazzi tensors determine the energy-momentum tensor:
By construction, the metric of the space-time solves the Cotton-gravity equation (1) with the energy-momentum tensor (47). This approach reverses the standard one, where the matter tensor is the input. Of course it is simpler, but not alternative, than solving high order differential equations for the metric. Here a form of the metric is given a priori through the Codazzi tensor.
Equation (47) is Einstein’s equation corrected by a Codazzi tensor, Eq. (6), in analogy with other theories of extended gravity (the H-term of Eq. 26 in [40]).
3.1 Yang Pure spaces.
Since the Ricci tensor is Codazzi, the definition (2) of Cotton tensor shows that Yang Pure spaces are solutions of the vacuum Harada equations \(\textsf{C}_{jkl}=0\). Harada’s vacuum solution (3) is not a Yang Pure space.
Now we present the simplest Codazzi tensors, with examples that only aim at illustrating the procedure.
3.2 .
The trivial Codazzi tensors \({\mathscr {C}}_{jk}=0\) and \({\mathscr {C}}_{jk} = B g_{jk}\) (with B constant by the Codazzi condition) give the Einstein equations without or with a cosmological constant.
3.3 Case \({\mathscr {C}}_{jk} {= A u_j u_k+ Bg_{jk}}\), \({u^ku_k=-1}\)
The generalized Stephani Universes are solutions of the Harada equation with energy-momentum tensor (47) built with the Ricci tensor (18) and the Codazzi tensor. Such inhomogeneous cosmological models may provide an explanation of the observed accelerated expansion of the universe and bypass the dark energy problem (see for example [41, 42] and references therein).
We here give the Ricci tensor for the simpler Stephani Universe in \(n=4\):
Its perfect fluid form implies a perfect fluid source in the Einstein equations, as well as in the Harada equations (with different density and pressure).
3.4 Case \({\mathscr {C}}_{jk} = {A u_j u_k}\), \({u_k u^k=-1}\), \({\dot{u}}\) closed
The Codazzi condition is equivalent to \(\nabla _i u_j = -u_i\dot{u}_j\) and (11). The space-time is static and the velocity is eigenvector of the Ricci tensor: \(R_{jk}u^k=-u_j (\nabla _k \dot{u}^k)\).
This example in \(n=4\) is static and spherically symmetric:
The function A(r) solves (11), where the time component is an identity and \(A' = -A b'/b \) (a prime is a derivative in r). The equation is solved by
where k is a constant. The covariant form of the Ricci tensor on static isotropic space-times was obtained in [21] (Eq. 49 with \(\varphi =0\)):
where \(\eta = \dot{u}^j \dot{u}_j = b'^2/(b^2 f^2)\). E(r) is the amplitude of the electric tensor
The traceless tensor \(\Pi _{jk}\) modifies the perfect fluid term. It is \(\Pi _{jk}u^k=0\) and \(\Pi _{jk}\dot{u}^k \propto \dot{u}_j\).
The Ricci tensor has three eigenvalues and builds a Cotton tensor \(\textsf{C}_{jkl}\) that, by construction, solves Harada’s equation (1) for the following energy-momentum tensor:
A simplification is done with the expression of the trace T, and with the following identity (Lemma 3.4 in [21]):
The result is:
The tensor specifies the parameters of an anisotropic fluid
with \(P=\frac{1}{3}p_r + \frac{2}{3}p_\perp \) (effective pressure), density \(\mu \), radial pressure \(p_r\), transverse pressure \(p_\perp \), constructed with the free parameters b(r), f(r), k. Note the pressure anisotropy despite the spherical symmetry of the metric.
3.5 Case \({\mathscr {C}}_{jk}{=\lambda (u_j\dot{u}_k + \dot{u}_j u_k)}\) with closed \({\dot{u}_j}\)
The metrics in examples 2.8–2.12 are static spherically symmetric solutions of equations of various gravity theories, Einstein, Einstein-Maxwell, low energy string, with their own matter or radiation content. However, since they all contain a current-flow Codazzi tensor, they all solve the Harada equation (1) with a proper energy-momentum tensor that is obtained below, characterized by a current-flow term.
The metrics determine the Ricci tensor (35) with radial symmetry. The energy-momentum tensor is (47) with \(R=R^\star -2\eta - \epsilon /\eta \) and \(R^\star =2/L^2\):
It is the energy-momentum tensor of a fluid with velocity \(u_j\), acceleration \(\dot{u}_j\), energy density \(\mu =\frac{1}{2}R^\star \), pressure anisotropy \(p_r -p_\perp = -2\eta -\epsilon /\eta -2E(r)\) and effective pressure \(3P=p_r +2p_\perp = -\frac{R^\star }{2}+2\eta +\frac{\epsilon }{\eta }\).
Example 3.1
Consider the Bertotti-Robinson metric in 2.9: \(b(r)=f_1(r)= r_0/r\), \(L=r_0\). It is \(\eta =1/r_0^2\), \(\epsilon =0\) and \(\lambda =-\kappa r^2/r_0\).
The Ricci tensor for this metric is: \( R_{kl} = \frac{1}{r_0^2}(2u_k u_l + g_{kl} ) - 2\dot{u}_k \dot{u}_l \) and \(R=0\). The metric (42) solves the Harada equation with the traceless energy-momentum tensor
3.6 Cotton gravity in constant curvature space-times
Harada made the remark that a de Sitter metric is a vacuum solution (\(T_{jk}=0\)) of the Cotton gravity equation (1). We extend his remark.
Constant curvature space-times are defined by the Riemann tensor
They are conformally flat \((C_{jklm}=0)\) and Einstein (\(R_{jk}=g_{jk} R/n\)). In the Lorentzian signature there are exactly three cases: Minkowski (\(R=0)\), de Sitter (\(R>0\)) and anti-de Sitter (\(R<0\)) (see [43], pages 124, 131).
Ferus [10] proved that the only non-trivial Codazzi tensor in a constant curvature space-time has the form
where \(\phi \) is a smooth scalar field (see also [44] p.436). Then
is the most general energy-momentum tensor for Cotton gravity in constant curvature space-times. Therefore, Minkowski, de Sitter, anti-de Sitter space-times solve the Cotton gravity equation. The Codazzi tensor introduces a coupling of gravity with a scalar field.
4 Conclusion
Codazzi tensors have an intrinsic geometric importance. They also naturally enter in the recently proposed Cotton gravity by Harada. The specific form of a Codazzi tensor restricts the space-time it lives in.
We presented a strategy to find solutions of Cotton gravity. In essence, we showed that the equation for Cotton gravity is the Einstein equation modified by the presence of a Codazzi tensor. We investigated two specific forms of Codazzi tensors: the perfect fluid and the current flow.
In the first case the hosting metric turns out to be a generalization of Stephani Universes. Stephani Universes are conformally flat cosmological solutions of the Einstein equations with perfect fluid source.
In the second case, a static current flow Codazzi tensor generates metrics that embrace Nariai and Bertotti-Robinson space-times, and extensions. In the literature they are solutions of various gravity theories, such as Einstein, low energy string, Einstein-Maxwell and so on. By construction, all these metrics solve the Harada-Cotton gravity in geometries selected by the Codazzi tensor, with stress-energy tensors different from the original theory.
An interesting question is whether other forms of Codazzi tensors may give rise to new solutions of Cotton gravity of physical interest, using the same strategy.
Data availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Harada, J.: Emergence of the Cotton tensor for describing gravity. Phys. Rev. D 103, L121502 (2021). https://doi.org/10.1103/PhysRevD.103.L121502. ((22 pp))
Mannheim, P.D., Kazanas, D.: Exact vacuum solution to conformal Weyl gravity and galactic rotation curves. Astrophys. J. 342, 635–638 (1989). https://doi.org/10.1086/167623
Riegert, R.J.: Birkhoff’s theorem in conformal gravity. Phys. Rev. Lett. 53(4), 315–318 (1984). https://doi.org/10.1103/PhysRevLett.53.315
Harada, J.: Cotton gravity and 84 galaxy rotation curves. Phys. Rev. D 106, 064044 (2022). https://doi.org/10.1103/PhysRevD.106.064044
Bargueno, P.: Comment on “Emergence of the Cotton tensor for describing gravity’’. Phys. Rev. D 104, 088501 (2021). https://doi.org/10.1103/PhysRevD.104.088501. ((2pp))
Harada, J.: Reply to “Comment on ‘Emergence of the cotton tensor for describing gravity’’’. Phys. Rev. D 104, 088502 (2021). https://doi.org/10.1103/PhysRevD.104.088502. ((3pp))
Lovelock, D., Rund, H.: Tensors, differential forms and variational principles, reprint Dover Ed. (1988)
Derdziński, A.: Some remarks on the local structure of Codazzi tensors. In: Ferus, D., Kühnel, W., Simon, U., Wegner, B. (eds.) Global Differential Geometry and Global Analysis, Lecture Notes in Mathematics, vol. 838, pp. 251–255. Springer, Berlin (1981). https://doi.org/10.1007/BFb0088867
Merton, G.: Codazzi tensors with two eigenvalue functions. Proc. Am. Math. Soc. 141(9), 3265–3273 (2013). https://doi.org/10.1090/s0002-9939-2013-11616-3
Ferus, D.: A remark on Codazzi tensors in constant curvature spaces. In: Ferus, D., Kühnel, W., Simon, U., Wegner, B. (eds.) Global Differential Geometry and Global Analysis. Lecture Notes in Mathematics, p. 257. Springer, Berlin (1981). https://doi.org/10.1007/BFb0088868
Mantica, C.A., Molinari, L.G.: Riemann compatible tensors. Colloq. Math. 128(2), 197–210 (2012). https://doi.org/10.4064/cm128-2-5
Mantica, C.A., Molinari, L.G.: Extended Derdziński-Shen theorem for curvature tensors. Colloq. Math. 128(1), 1–6 (2012). https://doi.org/10.4064/cm128-1-1
Mantica, C.A., Molinari, L.G.: Doubly torqued vectors and a classification of doubly twisted and Kundt space-times. Gen. Relativ. Gravit. 53, 48 (2021). https://doi.org/10.1007/s10714-021-02819-x. ((11pp))
Goenner, H.F.: On the interdependency of the Gauss-Codazzi-Ricci equations of local isometric embedding. Gen. Relativ. Gravit. 8, 139–145 (1977). https://doi.org/10.1007/BF00770733
Stephani, H., Kramer, D., MacCallum, M., Hoenselaers, C., Herlt, E.: Exact Solutions of Einstein’s Field Equations, 2nd edn. Cambridge University Press, Cambridge (2003)
Krasiński, A.: On the Global Geometry of the Stephani Universe. Gen. Relativ. Gravit. 15(7), 673–689 (1983). https://doi.org/10.1007/BF00759044
Chen, B.-Y.: A simple characterization of generalized Robertson-Walker space-times. Gen. Relativ. Gravit. 46, 1833 (2014). https://doi.org/10.1007/s10714-014-1833-9. ((5pp))
Mantica, C.A., Molinari, L.G.: Generalized Robertson-Walker space-times, a survey. Int. J. Geom. Meth. Mod. Phys. 14(3), 1730001 (2017). https://doi.org/10.1142/S021988781730001X. ((27pp))
Ferrando, J.J., Morales, J.A., Portilla, M.: Inhomogeneons space-times admitting isotropic radiation: vorticity-free case. Phys. Rev. D 46(2), 578–584 (1992). https://doi.org/10.1103/PhysRevD.46.578
Rao, K.N.S., Rao, A.V.G.: Some electrovac models of homogeneous gravitational force fields in general relativity. J. Math. Phys. 21, 2261–2268 (1980). https://doi.org/10.1063/1.524663
Mantica, C.A., Molinari, L.G.: Spherical doubly warped space-times for radiating stars and cosmology. Gen. Relativ. Gravit. 54, 98 (2022). https://doi.org/10.1007/s10714-022-02984-7. ((34pp))
Nariai, H.: On a new cosmological solution of Einstein’s field equations of gravitation. Gen. Relativ. Gravit. 31(6), 963–971 (1999). https://doi.org/10.1023/A:1026602724948
Bousso, R.: Charged Nariai black holes with a dilaton. Phys. Rev. D 55(6), 3614–3621 (1997). https://doi.org/10.1103/PhysRevD.55.3614
Ortaggio, M.: Impulsive waves in the Nariai universe. Phys. Rev. D 65, 084046 (2002). https://doi.org/10.1103/PhysRevD.65.084046. ((9pp))
Cardoso, V., Dias, Ó.J.C., Lemos, J.P.S.: Nariai, Bertotti-Robinson, and anti-Nariai solutions in higher dimensions. Phys. Rev. D 70, 024002 (2004). https://doi.org/10.1103/PhysRevD.70.024002. ((10 pp))
Levi-Civita, T.: Realtà fisica di alcuni spazi del Bianchi. Rend. Reale Acc. Lincei 26 sez. V (1917) 519–531. http://operedigitali.lincei.it/rendicontiFMN/rol/visabs.php?lang=it &type=mat &fileId=5238
Bertotti, B.: Uniform electromagnetic field in the theory of general relativity. Phys. Rev. 116, 1331 (1959). https://doi.org/10.1103/PhysRev.116.1331
Robinson, I.: A solution of the Einstein–Maxwell equations. Bull. Acad. Sci. Polon. 7, 351–352 (1959)
Mazharimousavi, S.H., Halisoy, M.: \(n+1\)-dimensional Bertotti–Robinson solutions in gravity coupled with nonlinear electrodynamics. Class. Quantum Grav. 37, 177001 (2020). https://doi.org/10.1088/1361-6382/aba222. ((8 pp))
Gürses, M.: Signatures of black holes in string theories. Phys. Rev. D 46(6), 2522–2526 (1992). https://doi.org/10.1103/PhysRevD.46.2522
Lowe, D.A., Strominger, A.: Exact four-dimensional dyonic black holes and Bertotti–Robinson space-times in String Theory. Phys. Rev. Lett. 73(11), 1468–1471 (1994). https://doi.org/10.1103/PhysRevLett.73.1468
Astefanesei, D., Herdeiro, C., Pombo, A., Radu, E.: Einstein–Maxwell-scalar black holes: classes of solutions, dyons and extremality. JHEP 10, 78 (2019). https://doi.org/10.1007/JHEP10(2019)078. ((27pp))
Kunduri, H., Lucetti, J.: Classification of near-horizon geometries of extremal black holes. Living Rev. Relativ. 16, 8 (2013). https://doi.org/10.12942/lrr-2013-8. ((71pp))
Ficken, F.A.: The Riemannian and Affine Differential Geometry of Product-Spaces. Annals of Mathematics 40(4), Second Series, 892–913 (1939). https://www.jstor.org/stable/1968900
Yang, C.N.: Integral formalism for gauge fields. Phys. Rev. Lett. 33(7), 445–447 (1974). https://doi.org/10.1103/PhysRevLett.33.445
Guylfole, B.S., Nolan, B.C.: Yang’s gravitational theory. Gen. Relativ. Gravit. 30, 473–495 (1998). https://doi.org/10.1023/A:1018815027071
Ni, Wei-Tou.: Yang’s gravitational field equations. Phys. Rev. Lett. 35(5), 319–320 (1975). https://doi.org/10.1103/PhysRevLett.35.319
Thompson, A.H.: Geometrically degenerate solutions of the Kilmister–Yang equations. Phys. Rev. Lett. 35(5), 320–322 (1975). https://doi.org/10.1103/PhysRevLett.35.320
Molinari, L.G., Mantica, C.A.: w=1/3 to w=-1 evolution in a Robertson-Walker space-time with constant scalar curvature. Int. J. Geom. Meth. Mod. Phys. 16, 1950061 (2019). https://doi.org/10.1142/S0219887819500610. ((9pp))
Capozziello, S., Lobo, F.S.N., Mimoso, J.P.: Generalized energy conditions in extended theories of gravity. Phys. Rev. D 91, 124019 (2015). https://doi.org/10.1103/PhysRevD.91.124019. ((13pp))
Balcerzak, A., Dabrowski, M.P.: Redshift drift in a pressure-gradient cosmology. Phys. Rev. D 87, 063506 (2013). https://doi.org/10.1103/PhysRevD.87.063506. ((7pp))
Balcerzak, A., Dabrowski, M.P., Denkiewicz, T., Polarski, D., Puy, D.: Critical assessment of some inhomogeneous pressure Stephani models. Phys. Rev. D 91, 083506 (2015). https://doi.org/10.1103/PhysRevD.91.083506. ((13pp))
Hawking, S.W., Ellis, G.F.R.: The large scale structure of space-time. Cambridge University Press (1973). reprint 1999
Besse, A.L.: Einstein Manifolds. Springer-Verlag, Berlin (1987)
Acknowledgements
We wish to thank the Referees for their accurate work and useful suggestions. They helped us to improve the paper in clarity and with interesting comments.
Funding
Open access funding provided by Universitá degli Studi di Milano within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix 1: Proof of theorem 2.1
Proof
For a perfect fluid tensor, the Codazzi condition \(0=\nabla _i {\mathscr {C}}_{jk}-\nabla _j {\mathscr {C}}_{ik}\) is:
Contraction with \(u^k\), and \(u^k\nabla _j u_k=0\) give: \(0=-u_j \nabla _i (A-B) +u_i\nabla _j (A-B)- A(\nabla _i u_j - \nabla _j u_i) \). Another contraction with \(u^j\)
simplifies the previous equation to: \(0= A(u_j \dot{u}_i - u_i\dot{u}_j- \nabla _i u_j + \nabla _j u_i) \). Since \(A\ne 0\): \(0= u_j \dot{u}_i - u_i\dot{u}_j- \nabla _i u_j + \nabla _j u_i \). By inserting the standard decomposition
where \(\varphi \) is the expansion parameter, \(\sigma _{ij} \) is the shear and \(\omega _{ij}\) is the vorticity, the result is: \(\omega _{ij}=0\) (the perfect fluid velocity is vorticity-free).
The contraction of (54) with \(g^{jk}\) is:
Contraction with \(u^i\): \((n-1)\dot{B}+A \nabla _k u^k=0\). Then the equation becomes:
Together with (55) the equations give:
i.e. \(\nabla _i B =-u_i \dot{B}\). Then Eq. (55) gives: \(\nabla _i A = -u_i \dot{A} - A \dot{u}_i \).
Contraction with \(u^i\) of (56) gives \((n-1)\dot{B} + A\nabla _k u^k=0\) i.e. \(\varphi = -\frac{\dot{B}}{A}\).
Let us introduce the expansion of \(\nabla _i u_j\) with \(\omega _{ij}=0\) in (54). Several terms simplify to give: \(u_j \sigma _{ik} = u_i \sigma _{jk}\) i.e. \(\sigma _{jk}=0\). Therefore: \(\nabla _i u_j = \varphi (g_{ij} + u_i u_j ) - u_i\dot{u}_j\). Finally, we evaluate the gradient of the expansion parameter:
The first term contains \((\nabla _i u^k)\nabla _k B + u^k \nabla _i\nabla _k B = [\varphi (\delta _i^k + u_i u^k) - u_i \dot{u}^k] (-u_k \dot{B}) + u^k \nabla _k (-u_i \dot{B}) = -\dot{u}_i \dot{B} -u_i {\ddot{B}}\). Then: \(\nabla _i \varphi = - u_i (\frac{\dot{B} \dot{A}}{A^2} - \frac{{\ddot{B}}}{A}) = -u_i{\dot{\varphi }}\).
The opposite statement holds: if a perfect fluid tensor solves eqs.(10)-(13) then it is Codazzi. The right hand side of Eq. (54) is evaluated with the conditions:
with use of the expression (13) for \(\varphi \). \(\square \)
Appendix 2: Proof of theorem 2.6
Proof
Suppose that the tensor \(\nabla _i {\mathscr {C}}_{jk} -\nabla _j {\mathscr {C}}_{ik}=0\) is Codazzi, with \(\nabla _j\dot{u}_k = \nabla _k \dot{u}_j\).
(1) Since \(\dot{u}^k u_k=0\), it is \(\dot{u}^k\nabla _j u_k = -u^k \nabla _j \dot{u}_k = -u^k\nabla _k \dot{u}_j = -\ddot{u}_j\).
(2) Since \(\dot{u}^k u_k=0\), it is \(\ddot{u}^k u_k = -\dot{u}^k \dot{u}_k = -\eta \).
(3) Contraction of the Codazzi condition with \(g^{jk}\) gives:
Contraction with \(\dot{u}^i\) and contraction with \(u^i\), with properties (1), (2) give:
What remains of the equation is \(0=-\eta u_i +\ddot{u}_i +\dot{u}^k\nabla _k u_i\).
(4) Contraction of the Codazzi condition with \(u^k\) is:
Contraction with \(u^i\) is: \(0=- {\dot{\lambda }} \dot{u}_j + \lambda u_j u^i \ddot{u}_i + \lambda \ddot{u}_j\) i.e.
Using this in Eq. (57) gives: \(0=-(\nabla _i \lambda +{\dot{\lambda }} u_i) \dot{u}_j + (\nabla _j\lambda + {\dot{\lambda }} u_j) \dot{u}_i\) with solution
(5) Let us rewrite in full the Codazzi condition, using the results found so far.
To manage it, begin with:
Now subtract the expression with first two indices exchanged, and use closedness:
(6) Contraction with \(u^i\) and elimination of \(\ddot{u}_k\):
We then obtain:
and the contraction with \(\dot{u}^k\): \(\frac{1}{2}\lambda \nabla _j \eta = -{\dot{\lambda }} \eta u_j - \dot{u}_j (2\lambda \eta + \dot{u}^p\nabla _p\lambda )\). In particular,
This relation in (58) and in (60) respectively gives Eqs. (25) and (26).
(7) Contraction of (59) with \(\dot{u}^k\) is:
Now specify \(\ddot{u}_k\) and \(\nabla _k \eta \): \( 0=(u_i \dot{u}_j - u_j \dot{u}_i) + (\nabla _i u_j - \nabla _j u_i) \). This statement means that the velocity is vorticity-free.
(8) Contraction of (59) with \(\dot{u}^i\):
Note that \(\dot{u}^i\nabla _i \dot{u}_k = \dot{u}^i\nabla _k \dot{u}_i = \frac{1}{2}\nabla _k \eta = - ({\dot{\lambda }} /\lambda ) \eta u_k - \dot{u}_k [2\eta + (\dot{u}^p\nabla _p\lambda )/\lambda ]\).
Next, a result in (3) is: \( \dot{u}^i \nabla _i u_k =- \ddot{u}_k +\eta u_k = -({\dot{\lambda }}/\lambda ) \dot{u}_k\). We then obtain:
Then: \(\nabla _j u_k = - \frac{{\dot{\lambda }}}{\lambda } \frac{\dot{u}_j \dot{u}_k}{\eta } - u_j \dot{u}_k \).
Now we prove the statement the way back. Let’s evaluate with conditions (24)–(26) and closed \(\dot{u}_i\):
In the first line we use (25):
In the second line, we use closedness, (24) and (26):
The addends cancel and \(\nabla _i {\mathscr {C}}_{jk}-\nabla _j {\mathscr {C}}_{ik} =0\). \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Mantica, C.A., Molinari, L.G. Codazzi tensors and their space-times and Cotton gravity. Gen Relativ Gravit 55, 62 (2023). https://doi.org/10.1007/s10714-023-03106-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10714-023-03106-7
Keywords
- Codazzi tensor
- Cotton gravity
- Stephani universe
- Yang Pure space
- Alternative gravity theories
- Anisotropic fluid