notation of differentiation in differential geometry
I can't wrap my head around notation in differential geometry especially the abundant versions of differentiation.
Peter Petersen: Riemannian Geometry defines a lot of notation to be equal but I don't really know when one tends to use which version and how to memorize the definitions and properties/identities.
- Directional derivative or equivalently the action of a vector field $X$ on a function ($f:M\to\mathbb R$): $X\cdot f=D_Xf=df\cdot X\ $, which is also denoted as $L_Xf$
This is mostly clear except why the notation $D_Xf\ $ exists.
- $grad(f)=\nabla f\ $ the gradiant of $f:M\to\mathbb R$
Has $\nabla$ something to do with the Levi-Civita connection?
- Lie derivative of vector fields: $L_XY:=[X,Y]= X\cdot Y - X\cdot Y\ $, where the action of one vector field on one another is given by: $X\cdot Y:=D_XY\ $ the directional derivative of $Y$ along an integral curve of the vector field $X$.
Also mostly clear.
- The covariant derivative or Levi-Civita connection $\nabla_XY$
Here my understanding stops and my brain starts dripping out of my ears… Are there mnemonics or other ways to get into all those ways of thinking about differentiating on manifolds. And why do most books use coordinates - are they necessary I rather like not using $X=\sum_ia^i\partial_i$ for vector fields especially if the author (ab)uses Einstein sum convention.
It's not so complicated. Let's do things systematically.
a) The pure manifold case
On a differentiable manifold $M$ a vector field $X$ is the datum of a smoothly varying tangent vector $X(m)\in T_mM$ at each point $m\in M$.
Given a smooth function $f\in C^\infty(M)$ you obtain a differential form $ {d}f$ , that is a linear form $df(m)\in T^*_m(M)=(T_m(M))^*$ at each $m\in M$ , smoothly varying with $m$. It is given by the formula $(df(m))(v)=v(f)$ for $v\in T_m(M)$.
The smooth function $X(f)=L_X(f)=D_X(f)\in C^\infty(M)$ is then the function $M\to \mathbb R:m\mapsto (df(m))(X(m))$
Let me insist that this does not require any riemannian structure.
b) The riemannian case
If $M,g$ is a riemannian manifold, each vector space $T_x(M)$ has a euclidean structure, which permits us to associate to each linear form $\phi\in T_m^*(M)$ the vector $v\in T_m(M)$ such that $g_x(v,w)=\phi (w)$ for all $w\in T_m(M)$.
If $\phi=df(m)$ the corresponding $v$ is denoted by $grad(f)(m)$.
This gives rise to the required function $grad(f)\in C^\infty(M).$
c) The Lie derivative
Given two vector fields $X,Y$ on $M$ you can associate to them the following map $$z:C^\infty(M)\to C^\infty(M): f\mapsto X(Y(f))-Y(X(f))$$ A fundamental result is then that to this map corresponds a unique vector field $Z$ such that $z(f)=Z(f)$ for all $f\in C^\infty(M)$.
We then write $Z=[X,Y]$ or $Z=L_X(Y)$
Again, this does not require a riemannian structure on $M$.
(It is better at this stage not to mention connections, which are supplementary data on vector bundles, related to differential operators. If you like, you can ask another question about them.)