# Difference between pushforward and differential

The pushforward of a map $F:M \to N$ at a point $P \in M$ is defined as $F_*:T_P(M) \to T_{F(P)}(N)$ where $$(F_*X)(f) = X(f \circ F)$$

where $X \in T_P(M)$.

The differential of a function $f$ defined on $M$ at $P$ is $$df_P(X_P) = X_Pf.$$

What is the relation? How to show that the differential is got from the pushforward definition? Presumable for the differential case, $f:M \to \mathbb{R}$, but I can't get the answer.

-
Where do you see the difference between differential and pushforward in your definition? Because I don't see one. –  Nils Matthes Sep 10 '12 at 11:20

The confusion can be resolved by understanding the diffeomorphism $T_q\mathbb{R}\cong\mathbb{R}$: every derivation $C^\infty(\mathbb{R})\to\mathbb{R}$ based at the point $q\in\mathbb{R}$ comes in the form $t\,\frac{\partial}{\partial x}|_q$ for some $t\in\mathbb{R}$. The diffeomorphism $T_q\mathbb{R}\to\mathbb{R}$ can therefore be thought of as "evaluate the identity $i:x\mapsto x$".
Let $f:M\to\mathbb{R}$ be smooth. Thinking of $f$ as a map of manifolds, its derivative $f_\ast:T_p M\to T_q \mathbb{R}$ is defined by $f_\ast(X)(g) = X(g\circ f)$, just as you say. Now observe $$f_\ast(X)(i) = X(i\circ f) = X(f) = df(X).$$
Nice answer. If you use $t$ as the coordinate on $\mathbb{R}$ this identity amounts to setting $d/dt=1$. It's the same identification that makes one-dimensional physics both easier and tricker due to sign-conventions breaking down. –  James S. Cook Sep 10 '12 at 13:45