- Pushforward (differential)
Suppose that "φ" : "M" → "N" is a smooth map between smooth manifolds; then the

**differential**of "φ" at a point "x" is, in some sense, the best linear approximation of "φ" near "x". It can be viewed as generalization of thetotal derivative of ordinary calculus. Explicitly, it is alinear map from thetangent space of "M" at "x" to the tangent space of "N" at "φ"("x"). Hence it can be used to "push forward" tangent vectors on "M" to tangent vectors on "N".The differential of a map "φ" is also called, by various authors, the

**derivative**or**total derivative**of "φ", and is sometimes itself called the**pushforward**.**Motivation**Let "φ":"U"→"V" be a smooth map from an open subset "U" of

**R**^{m}to an open subset "V" of**R**^{n}. For any point "x" in "U", theJacobian of "φ" at "x" (with respect to the standard coordinates) is the matrix representation of the total derivative of "φ" at "x", which is alinear map :$mathrm\; d\; varphi\_x:mathbb\; R^m\; omathbb\; R^n$from**R**^{m}to**R**^{n}.We wish to generalize this to the case that "φ" is a smooth function between "any" smooth manifolds "M" and "N".

**The differential of a smooth map**Let "φ" : "M" → "N" be a smooth map of smooth manifolds. Given some "x" ∈ "M", the

**differential**(or**(total) derivative**) of "φ" at "x" is a linear

$mathrm\; d\; varphi\_x:T\_xM\; o\; T\_\{varphi(x)\}N,$from thetangent space of "M" at "x" to the tangent space of "N" at "φ"("x"). The application of d"φ"_{x}to a tangent vector "X" is sometimes called the**pushforward**of "X" by "φ". The exact definition of this pushforward depends on the definition one uses for tangent vectors (for the various definitions seetangent space ).If one defines tangent vectors as equivalence classes of curves through "x" then the differential is given by:$mathrm\; d\; varphi\_x(gamma\text{'}(0))\; =\; (varphi\; circ\; gamma)\text{'}(0).$Here "γ" is a curve in "M" with "γ"(0) = "x". In other words, the pushforward of the tangent vector to the curve "γ" at 0 is just the tangent vector to the curve "φ"$circ$"γ" at 0.

Alternatively, if tangent vectors are defined as derivations acting on smooth real-valued functions, then the differential is given by:$mathrm\; dvarphi\_x(X)(f)\; =\; X(f\; circ\; varphi).$Here "X" ∈ "T

_{x}M", therefore "X" is a derivation defined on "M" and "f" is a smooth real-valued function on "N". By definition, the pushforward of "X" at a given "x" in "M" is in "T"_{"φ"("x")}"N" and therefore itself is a derivation.After choosing charts around "x" and "φ"("x"), "F" is locally determined by a smooth map

:$\{hat\; varphi\}\; :\; U\; ightarrow\; V$

between open sets of

**R**^{"m"}and**R**^{"n"}, and d"φ"_{x}has representation (at "x"):$mathrm\; d\; varphi\_xBigl(frac\{\; partial\; \}\{partial\; u^a\}Bigr)\; =\; frac\{partial\; \{hat\; varphi\}^b\}\{partial\; u^a\}\; frac\{\; partial\; \}\{partial\; v^b\},$

in the

Einstein summation notation , where the partial derivatives are evaluated at the point in "U" corresponding to "x" in the given chart.Extending by linearity gives the following matrix

:$(mathrm\; dvarphi\_x)\_a^\{;b\}=\; frac\{partial\; \{hatvarphi\}^b\}\{partial\; u^a\}.$

Thus the differential is a linear transformation, between tangent spaces, associated to the smooth map "φ" at each point. Therefore, in some chosen local coordinates, it is represented by Jacobian of the corresponding smooth map from

**R**^{"m"}to**R**^{"n"}. In general the differential need not be invertible. If "φ" is alocal diffeomorphism , then the pushforward at "x" is invertible and its inverse gives the pullback of "T"_{"φ"("x")}"N".The differential is frequently expressed using a variety of other notations such as:$Dvarphi\_x,;\; (varphi\_*)\_x,\; ;varphi\text{'}(x).$

It follows from the definition that the differential of a composite is the composite of the differentials (i.e.,

functor ial behaviour). This is the "chain rule" for smooth maps.Also, the differential of a

local diffeomorphism is anlinear isomorphism of tangent spaces.**The differential on the tangent bundle**The differential of a smooth map "φ" induces, in an obvious manner, a

bundle map (in fact avector bundle homomorphism ) from thetangent bundle of "M" to the tangent bundle of "N", denoted by d"φ" or "φ"_{*}, which fits into the followingcommutative diagram :where "π_{M}" and "π_{N}" denote the bundle projections of the tangent bundles of "M" and "N" respectively.Equivalently (see

bundle map ), "φ"_{*}= d"φ" is a bundle map from "TM" to thepullback bundle "φ^{*}TN" over "M", which may in turn be viewed as a section of thevector bundle Hom("TM","φ"^{*}"TN") over "M".**Pushforward of vector fields**Given a smooth map "φ":"M"→"N" and a

vector field "X" on "M", it is not usually possible to define a pushforward of "X" by "φ" as a vector field on "N". For example, if the map "φ" is not surjective, there is no natural way to define such a pushforward outside of the image of "φ". Also, if "φ" is not injective there may be more than one choice of pushforward at a given point. Nevertheless, one can make this difficulty precise, using the notion of a vector field along a map.A section of "φ

^{*}TN" over "M" is called a**vector field along "φ**". For example, if "M" is a submanifold of "N" and "φ" is the inclusion, then a vector field along "φ" is just a section of the tangent bundle of "N" along "M"; in particular, a vector field on "M" defines such a section via the inclusion of "TM" inside "TN". This idea generalizes to arbitrary smooth maps.Suppose that "X" is a vector field on "M", i.e., a section of "TM". Then, applying the differential pointwise to "X" yields the

**pushforward**"φ_{*}X", which is a vector field along "φ", i.e., a section of "φ^{*}TN" over "M".Any vector field "Y" on "N" defines a pullback section "φ

^{*}Y" of "φ^{*}TN" with ("φ^{*}Y")_{"x"}= "Y"_{"φ"("x")}. A vector field "X" on "M" and a vector field "Y" on "N" are said to be**"φ"-related**if "φ_{*}X" = "φ^{*}Y" as vector fields along "φ". In other words, for all "x" in "M", d"φ"_{"x"}("X")="Y"_{"φ"("x")}.In some situations, given a "X" vector field on "M", there is a unique vector field "Y" on "M" which is "φ"-related to "X". This is true in particular when "φ" is a

diffeomorphism . In this case, the pushforward defines a vector field "Y" on "N", given by:$Y\_x=varphi\_*(X\_\{varphi^\{-1\}(x)\}).$A more general situation arises when "φ" is surjective (for example the bundle projection of a fiber bundle). Then a vector field "X" on "M" is said to be

**projectable**if for all "y" in "N", d"φ"_{"x"}("X"_{"x"}) is independent of the choice of "x" in "φ"^{-1}({"y"}). This is precisely the condition that guarantees that a pushforward of "X", as a vector field on "N", is well defined.**ee also****References*** John M. Lee, "Introduction to Smooth Manifolds", (2003) Springer Graduate Texts in Mathematics 218.

* Jurgen Jost, "Riemannian Geometry and Geometric Analysis", (2002) Springer-Verlag, Berlin ISBN 3-540-42627-2 "See section 1.6".

*Ralph Abraham andJerrold E. Marsden , "Foundations of Mechanics", (1978) Benjamin-Cummings, London ISBN 0-8053-0102-X "See section 1.7 and 2.3".

*Wikimedia Foundation.
2010.*

### Look at other dictionaries:

**Differential**— may refer to: Contents 1 Mathematics 2 Natural sciences and engineering 3 Social sciences 4 Medicine 5 … Wikipedia**Pushforward**— The notion of pushforward in mathematics is dual to the notion of pullback, and can mean a number of different, but closely related things.*Pushforward (differential): the differential of a smooth map between manifolds, and the pushforward… … Wikipedia**Differential (calculus)**— In mathematics, and more specifically, in differential calculus, the term differential has several interrelated meanings.Basic notions* In traditional approaches to calculus, the differential (e.g. dx, dy, dt, etc...) of a function represents an… … Wikipedia**Differential (mathematics)**— In mathematics, the term differential has several meanings. Contents 1 Basic notions 2 Differential geometry 3 Algebraic geometry 4 Other meanings … Wikipedia**Pushforward**— Als Pushforward wird eine Abbildung zwischen Tangentialräumen glatter Mannigfaltigkeiten bezeichnet, die die totale Ableitung im euklidischen Raum verallgemeinert. Das duale Konzept heißt meist Rücktransport (Pullback). Inhaltsverzeichnis 1… … Deutsch Wikipedia**Differential of a function**— For other uses of differential in mathematics, see differential (mathematics). In calculus, the differential represents the principal part of the change in a function y = ƒ(x) with respect to changes in the independent variable. The… … Wikipedia**Pullback (differential geometry)**— Suppose that φ : M → N is a smooth map between smooth manifolds M and N ; then there is an associated linear map from the space of 1 forms on N (the linear space of sections of the cotangent bundle) to the space of 1 forms on M . This linear map… … Wikipedia**List of differential geometry topics**— This is a list of differential geometry topics. See also glossary of differential and metric geometry and list of Lie group topics. Contents 1 Differential geometry of curves and surfaces 1.1 Differential geometry of curves 1.2 Differential… … Wikipedia**List of mathematics articles (P)**— NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… … Wikipedia**Derivative**— This article is an overview of the term as used in calculus. For a less technical overview of the subject, see Differential calculus. For other uses, see Derivative (disambiguation) … Wikipedia