4
$\begingroup$

I'm reading John M. Lee's book " Riemannian Manifolds". On page 57, the covariant derivative of $V$ along a curve $\gamma$ is defined, where $V$ is a vector field along $\gamma$. It is denoted by $D_tV$.

So why is the subscript is $t$? Why not $\gamma$?

When $D_tV$ is evaluated at $t_0$, it is written as $D_tV(t_0)$. So it is not a variable, right? I'd like to know what the subscript $t$ stands for.

  • 1
    Not to take away from @Thomas' excellent answer... most likely, Lee has introduced $\gamma$ as a curve parametrized by $t$. If it's not clear, send him an email, I'm sure he'd appreciate the feedback. He must define $\gamma$ either as a locus of points, or as a function $\mathbb{R}\rightarrow M$ taking some parameter to points in $M$. Two frequent choices to represent parameters of a curve are $s$ and $t$, often thought of as arc length and time, but not necessarily so. Then, $$\frac{ds}{dt}=\|\gamma'(t)\|.$$ Perhaps the author is drawing on this math trope.2012-03-21
  • 1
    @bgins: The author occasionally posts on this website. Perhaps he will post an answer here too.2012-03-21

2 Answers 2

8

@Thomas is right -- in my book, curves are always treated as parametrized curves, that is, smooth (or sometimes piecewise smooth) maps from an interval into the manifold. The $t$ in the notation $D_t\gamma$ refers to the independent variable, i.e., the standard coordinate on $\mathbb R$. It's parallel to the notations $d/dt$ or $\partial/\partial x$ for ordinary derivatives. (Some authors use $D\gamma/dt$ for the covariant derivative along a curve, but to my eye that looks ugly and cumbersome.) All of these notations are illogical, strictly speaking, because the name of the independent variable is not an intrinsic property of a function. But they're too convenient to abandon just because they don't happen to be logically consistent!

The situation in which the $D_t$ notation really shows its power is when considering a parametrized family of curves (see Chapter 6 in my book). Given a smooth map $\Gamma\colon (-\epsilon,\epsilon)\times[a,b]\to M$, we can consider the curves $s\mapsto \Gamma(s,t)$ for fixed $t$, or the curves $t\mapsto \Gamma(s,t)$ for fixed $s$, and denote the covariant derivatives along these curves by $D_s$ and $D_t$, respectively. Any other notation quickly becomes unwieldy.

I'm going to be working on a second edition of my Riemannian Manifolds book during the next couple of years, so I welcome suggestions.

Jack Lee

3

The derivative depends on the parametrization ("speed") of $\gamma$. If you change the parametrization this will also result in a change of the length of $\gamma'$. So $\gamma$ would be ambiguous. One could use $\gamma'$, this depends on how you introduce these concepts.
And if you consider vector fields along curves you are actually looking at maps $\mathbb{R} \mapsto TM|\gamma$ (that is $TM$ restricted to $\gamma$, assuming $\gamma$ is a curve $\mathbb{R}\mapsto M$), so you are taking the (covariant) derivative of a vector field along the curve w.r.t. a tangent vector to $\mathbb{R}$. Instead of $t$ you'll also see that $\frac{\partial}{\partial t}$ is used instead of $t$ is common as subscript for $D$, emphasizing the fact that you take the derivative in direction of a tangent to $\mathbb{R}$. You may also encounter $\nabla$ in place of $D$.