My question is really naive but in differential geometry we also call differential the push-forward associated to a function $F : M \rightarrow N$ between two manifolds $M$ and $N$.
But I don't see the link between this map $F_*$ and the usual "differential" of a function.
Is there a reason why we call the push-forward differential like the quantity $df$ or there is absolutely no link between the differential of a function : $df$ and the differential=push-forward.
Best Answer
They're the same idea. If $\varphi:M\rightarrow N$ is a function between smooth manifolds, the differential $d\varphi(x)$ is, at each point, the best linear approximation to $\varphi$.
$$ f(r+\Delta r) - f(\Delta r) \approx f^\prime(r)\Delta r = df(r, \Delta r) +\epsilon$$
In more general smooth manifolds, we have a smooth function $\varphi:M\rightarrow N$, and the push-forward $\varphi_*$ has the same property in that assigns to each point a linear function which approximates the change in the output of the function $\varphi$ as you vary the input.
But in general smooth manifolds, the tangent space is no longer trivially flat everywhere; the appropriate generalization is that these "small changes" are members of the tangent spaces $TM$ and $TN$ at the appropriate points.
Hence we can think of the push-forward $\varphi_*(x, dx)$ as an assignment of a linear map to each point $x\in M$ which maps small deviations $dx \in TM_{x}$ to deviations $dy\in TN_{\varphi(x)}$ in a linear way. This definition coincides with the usual definition of function differential for real spaces.