12
$\begingroup$

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.

  • 0
    Where do you see the difference between differential and pushforward in your definition? Because I don't see one.2012-09-10

1 Answers 1

14

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).$

  • 1
    @IberêKuntz You can certainly use another map $g$ (instead of $f$, to reduce notation clash) for the identification $T_q\mathbb{R}\cong \mathbb{R}$ if you like, provided that $g'(q)=1$. Then you'll find that, at $q=f(p)$, $f_*(X)(g) = g'(q) X(f) = X(f)$.2015-04-16