Manifold , smooth curve, differentiation

1k Views Asked by At

Suppose $M^n$ is a smooth $n$-dimensional manifold, and $\gamma(t):[0,1]\to M^n$ is a smooth curve on it.How do I find the differentiation (derivation) $d\gamma(t)/dt$ so that in particular if $\gamma(t)=x^\alpha(t)$ is the $\alpha$th-coordinate function then $d\gamma(t)/dt=1$? What I do not understand is the fact that $\gamma$ leads to $M^n$ and not to $\mathbb{R}^n$, and I have problems with the precise,technical applications of charts $(U,\phi_U)$ where $U$ is an open set in the manifold $M^n$ and $\phi:U\to \phi(U)\subseteq\mathbb{R}^n$ is a homeomorphism.

1

There are 1 best solutions below

14
On BEST ANSWER

I think you can do that locally in a chart easily by first make such curve in $\mathbb{R}^n$ and then define it to a curve in $M$ by compose the curve with chart map. For example we want to define coordinate curve of $x^1$ of some chart $(U,\varphi)$. Here is the construction :

Choose a chart $(U,\varphi)$ for $M$. Define a curve in $\varphi(U)=\hat{U} \subset \mathbb{R}^n$, $\alpha : I \rightarrow \hat{U}$ by $\alpha(t)=(t,0,\dots,0)$. Assume that $\alpha(I) \subset \hat{U}$. And then define $\gamma : I \rightarrow M$ by $$ \gamma := \varphi^{-1} \circ \alpha $$ Therefore you'll have the curve that you want. In this case, the representation of $\gamma$ in this chart is $\hat{\gamma}(t) = (\varphi \circ \gamma )(t)= \alpha (t) = (t,0,\dots, 0)$. And therefore

$$\dot{\gamma}(t) = \frac{\partial}{\partial x^1}\Bigg|_{\gamma(t)}$$

It must be noted that the representation of this coordinate curve is not guaranteed to be the same in another chart $(V,\psi)$.

$\textbf{EDIT}$ :

When we have a curve on manifold $\gamma : I \rightarrow M$, the velocity vector $\dot{\gamma}(t)$ to this curve at some $t_0 \in I$ is $$ \dot{\gamma}(t_0) = \frac{d\gamma^i}{dt}(t_0) \frac{\partial}{\partial x^i}\Bigg|_{\gamma(t_0)} $$ with $\gamma^i$ is just the coordinates of the curve in some local chart. That is $$ \hat{\gamma} (t) = (\varphi \circ \gamma) (t) = (\gamma^1(t),\cdots, \gamma^n(t)) $$ In your case above, $\hat{\gamma} (t) = (\gamma^1(t),\cdots, \gamma^n(t)) =\alpha(t) = (t,0,\cdots,0)$. So any other components of the velocity vector vanish except $\frac{d\gamma^1}{dt} = 1$. Surely you can modified the $\alpha : I \rightarrow \mathbb{R}^n$ such that the curve $\gamma$ is the any $i^{th}$-coordinate curve as originally you want. Look for example, John Lee's Smooth Manifold Ch.3 for the derivation of the velocity vector.