Loading [Contrib]/a11y/accessibility-menu.js
February 21, 2020

Cotangent Spaces and the Pullback

Last time, we defined the tangent space to a smooth manifold at a point. This turned out to be a vector space with the same dimension as the manifold, and tangent vectors were directional derivative operators which acted on smooth functions and spat out real numbers. We also found that choosing a chart allowed us to construct a useful basis of partial derivative operators with respect to the components of the chart map.

Now, as we so often do with vector spaces, we consider the dual space to the tangent space at a point.

Definition. If $M$ is a smooth manifold and $p\in M$ then the cotangent space to $M$ at the point $p$, written $T_p^*M$, is the dual space of $T_pM$. That is,

$$T_p^*M = (T_pM)^*.$$

We refer to elements of the cotangent space as cotangent vectors.

From my previous post on dual vector spaces, we know that the cotangent space $T_p^*M$ consists of all linear maps from $T_pM$ to $\R$. That is, a cotangent vector $\omega\in T_p^*M$ acts on tangent vectors and spits out real numbers. Furthermore, we know that $\dim T_p^*M = \dim T_pM = \dim M$.

Even so, we don't know too much about what cotangent vectors look like or how they behave. To aid us in our quest, we come to a crucial definition.

Definition. Given a smooth function $f:M\to\R$ defined on a smooth manifold $M$ and a point $p\in M$, the differential of $f$ at $p$ is the cotangent vector $\d f\smallat{p}:T_pM\to\R$ defined by

$$\d f\smallat{p} X = Xf$$

for any tangent vector $X\in T_pM$.

It is easy to check that the differential of a smooth function is a linear map, and thus truly a cotangent vector. Even so, how does this new concept help us to understand the structure of the cotangent space? The next theorem tells us how.

Theorem. Let $M$ be a smooth manifold of dimension $n$ with $p\in M$, let $(U,x)$ be a chart whose domain contains $p$ and let $x^i$ denote the $i$th component of the chart map $x$. Then $\big(\d x^i\smallat{p}\big)_{i=1}^n$ is a basis for $T_P^*M$.

Proof. Choose a tangent vector $X\in T_pM$. Then since $\Big(\dfrac{\partial}{\partial x^i}\at{p}\Big)_{i=1}^n$ is a basis for $T_pM$, we may write

$$X=\sum_{j=1}^n X^j \frac{\partial}{\partial x^j}\at{p}$$

for some collection of scalars $X^j\in\R$. Thus,

$$\begin{align}
\d x^i\smallat{p} X &= \d x^i\smallat{p} \Big(\sum_{j=1}^n X^j \frac{\partial}{\partial x^j}\at{p}\Big) \\
&= \sum_{j=1}^n X^j \frac{\partial}{\partial x^j}\at{p} x^i \\
&= \sum_{j=1}^n X^j \partial_j (x^i\circ (x^j)^{-1})\at{x(p)} \\
&= \sum_{j=1}^n X^j \delta^i_j \\
&= X^i.
\end{align}$$

That is, $d x^i\smallat{p}$ is the projection map onto the $i$th component of the vector $X$. So not only is $\big(\d x^i\smallat{p}\big)_{i=1}^n$ a basis for $T_p^*M$, it is actually the dual basis to the basis $\Big(\dfrac{\partial}{\partial x^i}\at{p}\Big)_{i=1}^n$ for $T_pM$.

We shall later extend the idea of the differential of a function to that of the exterior derivative of a differential form. But as usual I'm getting ahead of myself!

We're now equipped to define the notion of the pullback of a smooth map, which is the dual notion to the pushforward.

Definition. Let $\phi:M\to N$ be a smooth map between smooth manifolds $M$ and $N$, let $p\in M$ and let $\phi_*:T_pM\to T_{\phi(p)}N$ be the pushforward of $\phi$. Then the pullback of $\phi$ is the map

$$\phi^*:T_{\phi(p)}^*N\to T_p^*M$$

defined by

$$(\phi^*\omega)X=\omega(\phi_*X)$$

for any cotangent vector $\omega\in T_{\phi(p)}^* N$ and any tangent vector $X\in T_pM$.

So the pullback takes the cotangent vector $\omega$ in the cotangent space to $N$ at $\phi(p)$ and turns it into a cotangent vector $\phi^*\omega$ in the cotangent space to $M$ at $p$. This cotangent vector acts on a vector $X$ in the tangent space to $M$ at $p$ as described and spits out a real number.

Just like the pushforward, the pullback is a map between vector spaces and so it makes sense to ask whether it is a linear map. Again, the answer is yes.

Theorem. Let $\phi:M\to N$ be a smooth map between smooth manifolds $M$ and $N$ and let $p\in M$. Then the pullback $\phi^*:T_{\phi(p)}^*N\to T_p^*M$ of the map $\phi$ is a linear map.

Proof. Suppose $X\in T_pM$ is a tangent vector and $\omega_1,\omega_2\in T_{\phi(p)}^* N$ are cotangent vectors. Then

$$\begin{align}
\phi^*(\omega_1+\omega_2)X &= (\omega_1 + \omega_2)(\phi_*X) \\
&= \omega_1(\phi_*X) + \omega_2(\phi_*X) \\
&= (\phi^*\omega_1)X + (\phi^*\omega_2)X,
\end{align}$$

so the pullback is additive. Suppose next that $X\in T_pM$ is a tangent vector, and $\omega\in T_{\phi(p)}^* N$ is a cotangent vector and $a\in\R$ is a scalar. Then

$$\begin{align}
\phi^*(a\omega)X &= (a\omega)(\phi_*X) \\
&= a\omega(\phi_*X) \\
&= a\phi^*(\omega)X,
\end{align}$$

so the pullback is homogeneous. It follows that it is a linear map.

The pushforward took directional derivatives of curves to directional derivatives of images of curves under $\phi$ in the natural way. The same type of behavior is true for differentials of functions under the pullback!

Theorem. Let $\phi:M\to N$ be a smooth map between smooth manifolds $M$ and $N$, let $p\in M$ and let $f\in C^\infty(N)$ be a smooth function. Then

$$\phi^*\big(\d f\smallat{\phi(p)}\big) = \d (f\circ\phi)\smallat{p}.$$

Proof. Let $X\in T_pM$ be a tangent vector. Then

$$\begin{align}
\phi^*\big(\d f\smallat{\phi(p)}\big)X &= \d f\smallat{\phi(p)}(\phi_*X) \\
&= (\phi_*X)f \\
&= X(f\circ\phi) \\
&= \d (f\circ\phi)\smallat{p}X.
\end{align}$$

Now that we've explored the tangent and cotangent spaces to a smooth manifold at a point, we've gotten the difficult stuff out of the way. In my next post, we'll define the tangent and cotangent bundles, as well as vector, covector and tensor fields on a manifold. Stay tuned!

Menu