4
$\begingroup$

I seem to have trouble with an elementary computation, and figure it may help others if faced with a similar situation. The basic question is as follows: if I have a tensor field $T$ on some Riemannian manifold $(M,h)$, and I know that $T$ is constant for some choice of local orthonormal frame, does it hold that $$ DT \equiv 0\,, $$ where $D$ is the covariant derivative along a smooth isometrically immersed submanifold of $M$?

I think it is only polite to explain the precise situation I am considering, so let me do so here.

Let $(N,h)$ be a Riemannian 3-manifold and consider an immersion $f:\Sigma\rightarrow N$ of the surface $\Sigma$. Equip $\Sigma$ with the pullback of the metric $h$ so that $(\Sigma, f^*h) = (\Sigma, g)$ is a Riemannian 2-manifold. Let us denote by $\nabla$ the connection on $N$ compatible with $h$ and by $D$ the connection on $\Sigma$ compatible with $g$. The Christoffel symbols of $\nabla$ we denote by $\Gamma$ and those of $D$ we denote by $\Lambda$.

Now assume $\Sigma$ is orientable and let $\nu:\Sigma\rightarrow (T\Sigma)^\perp$ be a choice of unit normal. Further let us assume that the curvature of $N$ is constant; since $N$ is a 3-manifold, this is the same as assuming that the Ricci curvature tensor $\text{Ric}$ of $N$ is constant.

Let us perform our computations in an orthonormal frame $\{\nu,e_1,e_2\}$ which is adapted to the submanifold $\Sigma$. By definition $$ \nabla_{e_k} \text{Ric}(e_i,e_j) = \partial_k\text{Ric}(e_i,e_j) - \Gamma_{ki}^l\text{Ric}(e_l,e_j) - \Gamma_{kj}^l\text{Ric}(e_i,e_l)\,. $$ As far as I can tell, there is no reason that $\Gamma \equiv 0$ in the orthonormal frame we have. So it seems to me that although the Ricci curvature of $N$ is constant, it's covariant derivative does not vanish in general. This seems bizarre to me, and is certainly confusing, but not my main question.

Restricting the tensor $\text{Ric}$ to $\Sigma$, we can consider $D\text{Ric}$. In particular, my main question is: $$ \text{Does it hold that $D_{X}\text{Ric}(\nu,\nu) = 0$ for $X\in\{\nu,e_1,e_2\}$}? $$

  • 0
    (1) How can your $D$ act on ambient tensors? (2) How $D$ can act in the normal direction?2012-09-18
  • 0
    @Yuri (1) By restricting $\text{Ric}$ to $\Sigma$. (This involves composition with the immersion map.) (2) $D$ induces a connection in the normal bundle, and this acts "in the normal direction".2012-09-18
  • 0
    You have said in the question that $D$ is the induced connection on $\Sigma$. I don't know how it can induce a connection in the normal bundle. Actually, $\nabla$ on $N$ is responsible for that, not $D$.2012-09-18
  • 0
    Also, what do you precisely mean by restricting on $\Sigma$: will $Ric$ act on $T\Sigma$ or on the pullback bundle? In either case the expression $D_{X}\text{Ric}(\nu,\nu)$ is not well defined to me.2012-09-18
  • 0
    @Yuri I mean for $\text{Ric}$ to act on $T\Sigma$, although I'm not sure if it turns out to be better for it to act on the pullback bundle. Can you explain why you don't think the expression is well-defined either way? Let's just take $X\in\{e_1,e_2\}$. What I mean by "connection in the normal bundle" is just the projection of $\nabla$ onto $(T\Sigma)^\perp$. Sorry that I am being confusing.2012-09-18
  • 0
    If $Ric$ can act on the pullback bundle it makes sense to talk about $Ric(\nu,\nu)$, but $D Ric$ is then something that needs to be explained. Say, it is a section of $T^* \Sigma \otimes f^* TM \otimes f^* TM$. How it is defined then?2012-09-18
  • 0
    If it is all well understood then the *Gauss formula* that expresses the difference between $D$ and $\nabla$ shows that the second fundamental form of $f$ will take part in the game, making vanishing of $D Ric$ unexpected in general.2012-09-18
  • 0
    @Yuri Yes, you're right, it doesn't vanish and will involve second fundamental forms. Also, I think the answer to my other question is no. I guess this question can be closed or if it is preferable I can answer it myself.2012-09-18
  • 0
    I upvoted because it was good to discuss these things. I don't have time for an answer, sorry. It would be good if you answer it yourself.2012-09-18

0 Answers 0