0
$\begingroup$

The Lie derivative of a general covariant $4$-tensor is given by $$\mathcal{L}_{K}R_{abcd} = X^{e}\nabla_{e}R_{abcd} + R_{ebcd}\nabla_{a}X^{e} + R_{aecd}\nabla_{b}X^{e} + R_{abed}\nabla_{c}X^{e} + R_{abce}\nabla_{d}X^{e},$$

where $X^{a}$ is a y smooth vector field. If the $(0,4)$ covariant tensor $R$ is the Riemann tensor (and admits all the symmetries of the same) and $X^{a}$ is a Killing vector, then by the theorem on the inheritance of symmetries, a Killing symmetry would imply an affine symmetry which in-turn would imply a curvature symmetry (assuming the no non-metricity and no torsion). Let $K$ be a vector field that preserves the Riemann tensor $R_{abcd}$ such that we have the condition of curvature collineation to hold, i.e., $$\mathcal{L}_{K}R_{abcd} = 0.$$ I now want to use this property of curvature collineation and derive the Killing identity: $\nabla_{a}\nabla_{b}K_{c} = R_{dabc}K^{d}$ but haven't been able to do so. Any help is appreciated.

My attempt: Replacing with the total derivatives, we have $$\nabla_{a}\left(R_{ebcd}K^{e} \right) + \nabla_{b}\left(R_{aecd}K^{e} \right) + \nabla_{c}\left(R_{abed}K^{e} \right) + \nabla_{d}\left(R_{abce}K^{e} \right) + \left(R_{abcd;e} - R_{ebcd;a} - R_{aecd;b} - R_{abed;c} - R_{abce;d} \right)K^{e} = 0,$$

Now, using the symmetries of the Riemann tensor, $R_{abcd;e} = -R_{abde;c} - R_{abec;d}$ and the definition of the Riemann tensor $R_{ebcd}K^{e} = \nabla_{c}\nabla_{d}K_{b}$, we obtain

$$\left[\nabla_{c},\nabla_{a}\right]\nabla_{b}K_{d} + \left[\nabla_{d},\nabla_{b}\right]\nabla_{a}K_{c} - \nabla_{b}\left(\left[\nabla_{c}, \nabla_{d}\right]K_{a} \right) - \nabla_{d}\left(\left[\nabla_{a},\nabla_{b}\right]K_{c}\right) = \left(R_{ebcd;a} - R_{eacd;b}\right)K^{e}.$$ I am stuck here, I don't exactly know how to handle the $\left[\nabla_{c},\nabla_{d}\right]\nabla_{b}K_{d}$ type terms.

$\endgroup$
5
  • $\begingroup$ In your formulas, is $K = X$? $\endgroup$
    – Deane Yang
    Jul 21, 2020 at 21:31
  • 1
    $\begingroup$ Notice that this can't work in general. In particular, if the metric is flat, then the equation you've written holds for any vector field and not just Killing fields. $\endgroup$
    – Deane Yang
    Jul 21, 2020 at 21:32
  • $\begingroup$ @DeaneYang Yeah $K=X$ in this case, and yes this does work for any smooth vector field. But if $X$ is a Killing field and the $(0,4)$ covariant tensor is the Riemann tensor, curvature collineation holds and this should simplify to the Killing identity (right?) $\endgroup$ Jul 22, 2020 at 4:30
  • $\begingroup$ If the metric is flat, the vector field need not satisfy the identity. $\endgroup$
    – Deane Yang
    Jul 22, 2020 at 12:59
  • 1
    $\begingroup$ No, that's not right. The Killing identity does not follow from the collineation equation. $\endgroup$
    – Deane Yang
    Jul 22, 2020 at 13:23

1 Answer 1

2
$\begingroup$

Using the identity in here, we have $$ [\nabla_{[a}, \mathcal{L}_X] R_{bc]de} = \pi_{d[a}{}^f R_{bc]fe} + \pi_{e[a}{}^f R_{bc]df} \tag{1}$$ where we used that the first order deformation tensor is symmetric in its first two indices.

The first order deformation tensor is, explicitly $$ \pi_{lm}{}^n = \frac12 g^{np} \left( \nabla_l (\nabla_m X_p + \nabla_p X_m) + \nabla_m(\nabla_l X_p + \nabla_p X_l) - \nabla_p (\nabla_m X_l + \nabla_l X_m) \right) $$ Rearranging we get $$ \pi_{lm}{}^n = \frac12 g^{np}( 2 \nabla_l \nabla_m X_p + [\nabla_m ,\nabla_l ] X_p + [\nabla_l, \nabla_p]X_m + [\nabla_m, \nabla_p] X_l ) $$ or $$ \pi_{lm}{}^n = \frac12 g^{np}( 2 \nabla_l \nabla_m X_p + (R_{spml} + R_{smlp} + R_{slmp})X^s ) $$ From the first Bianchi identity we finally get $$ \pi_{lm}{}^n = g^{np} ( \nabla_l \nabla_m X_p + R_{slmp} X^s) $$

Notice that the terms in the brackets are exactly the "Killing identity" terms. (I think we use different sign convention for Riemann.)


An immediate consequences of the above computation:

Killing vectors satisfy the Killing identity

For Killing vectors, the 0th order deformation tensor vanishes (Killing's equation), and since the 1st order deformation tensor is formed through the covariant derivative of the 0th order ones, it must also vanish. And thus Killing's identity must hold.


Now let's see what this allows us to say for curvature collineation. By the second Bianchi identity, $\nabla_{[a}R_{bc]de} = 0$. Assuming curvature collineation, the left hand side of equation (1) vanishes. This requires $$ \pi_{d[a}{}^fR_{bc]fe} + \pi_{e[a}{}^fR_{bc]df} = 0 $$

Let $\Gamma$ be the vector space of type $(1,2)$-tensors symmetric in the covariant indices, and define the linear mapping $\Upsilon$ from $\Gamma$ to type $(0,5)$ tensors by

$$ \gamma_{ab}{}^c \mapsto \gamma_{d[a}{}^fR_{bc]fe} + \gamma_{e[a}{}^fR_{bc]df} $$

For your assertion to hold (that curvature collineation implies Killing's identity), it is sufficient that the Riemann curvature tensor is such that the mapping $\Upsilon$ is injective. Obviously, as Deane noted, this fails when your manifold is flat.

In low dimensions injectivity however can fail in general. In two dimensions the antisymmetry in the $a, b, c$ indices means that $\Upsilon$ is by definition the trivial map. In three dimensions the domain $\Gamma$ is 18 dimensional, while the target is 3 dimensional (isomorphic to the space of antisymmetric matrices) and so must have a non-trivial Kernel. Even in four dimensions, the dimensional counting argument is not optimistic: let $R^*_{abcd} = \frac12 R_{abef} \epsilon^{ef}{}_{cd}$ the right Hodge dual of the Riemann curvature tensor. Taking the Hodge dual w.r.t. to the antisymmetric $a,b,c$ indices in $\Upsilon(\gamma)$ we can study the equivalent linear map $$ \Upsilon^*: \gamma \mapsto \gamma_{d[a]}{}^f R^*_{b]fc}{}^d $$ The image is a $(0,3)$ tensor that is antisymmetric in its first two indies, so $\Upsilon^*$ is a mapping from a 40 dimensional space to a 24 dimensional one, and still must have a non-trivial kernel in general.

(Remark: in the two dimensional case, however, using that Riemann curvature has special structure, you see that curvature collineation implies that the vector field $X$ is conformal Killing, so there's still some hope of getting the desired inequality through a different route.)


In conclusion, I doubt that there is a general statement that curvature collineation implies Killing identity, because there are too many special cases to worry about. At best (for this line of argument) you may have a statement that states that for generic metrics in sufficiently high dimension that curvature collineation implies Killing identity.

$\endgroup$
3
  • $\begingroup$ Shouldn't the Riemann tensor terms be $R_{splm} + R_{smpl} + R_{slpm}$ so that using $R_{s[plm]} = 0$ would give the result mentioned? You have mentioned that your sign convention is different, but I don't get it. Could you please clarify this. Thanks for the answer. $\endgroup$ Jul 22, 2020 at 17:27
  • $\begingroup$ Some people take $R_{ijkl} X^l = [\nabla_i, \nabla_j ]X_k$, some people define it to be the negative. I used in this computation the convention indicated in this comment, you are using the opposite one. So my version of the "Killing identity" is off from yours by a minus sign. $\endgroup$ Jul 22, 2020 at 21:29
  • 1
    $\begingroup$ Note that in dimension 5, things start looking better for $\Upsilon$: the domain is 75 dimensional, while the image is $\binom{5}{2} \binom{5}{3} = 100$ dimensional (we note the image is also antisymmetric in the $d$ and $e$ indices), so we have hope. $\endgroup$ Jul 22, 2020 at 21:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.