Pushforward (differential)

Last updated

If a map, ph, carries every point on manifold M to manifold N then the pushforward of ph carries vectors in the tangent space at every point in M to a tangent space at every point in N. Pushforward.svg
If a map, φ, carries every point on manifold M to manifold N then the pushforward of φ carries vectors in the tangent space at every point in M to a tangent space at every point in N.

In differential geometry, pushforward is a linear approximation of smooth maps on tangent spaces. Suppose that φ : MN 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 a generalization of the total derivative of ordinary calculus. Explicitly, the differential is a linear map from the tangent space of M at x to the tangent space of N at φ(x), . Hence it can be used to push tangent vectors on Mforward to tangent vectors on N. The differential of a map φ is also called, by various authors, the derivative or total derivative of φ.



Let φ : UV be a smooth map from an open subset U of to an open subset V of . For any point x in U, the Jacobian of φ at x (with respect to the standard coordinates) is the matrix representation of the total derivative of φ at x, which is a linear map

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 φ : MN be a smooth map of smooth manifolds. Given some xM, the differential of φ at x is a linear map

from the tangent space of M at x to the tangent space of N at φ(x). The application of 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 see tangent space).

If tangent vectors are defined as equivalence classes of curves through x then the differential is given by

Here γ is a curve in M with γ(0) = x and is tangent vector to the curve γ at 0. In other words, the pushforward of the tangent vector to the curve γ at 0 is the tangent vector to the curve at 0.

Alternatively, if tangent vectors are defined as derivations acting on smooth real-valued functions, then the differential is given by

for an arbitrary function and an arbitrary derivation at point (a derivation is defined as a linear map that satisfies the Leibniz rule, see: definition of tangent space via derivations). By definition, the pushforward of is in and therefore itself is a derivation, .

After choosing two charts around x and around φ(x), φ is locally determined by a smooth map

between open sets of and , and x has representation (at x)

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

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 the Jacobian matrix of the corresponding smooth map from to . In general the differential need not be invertible. If φ is a local 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

It follows from the definition that the differential of a composite is the composite of the differentials (i.e., functorial behaviour). This is the chain rule for smooth maps.

Also, the differential of a local diffeomorphism is a linear 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 a vector bundle homomorphism) from the tangent bundle of M to the tangent bundle of N, denoted by or φ, which fits into the following commutative diagram:


where πM and πN denote the bundle projections of the tangent bundles of M and N respectively.

induces a bundle map from TM to the pullback bundle φTN over M via

where and The latter map may in turn be viewed as a section of the vector bundle Hom(TM, φTN) over M. The bundle map is also denoted by and called the tangent map. In this way, T is a functor.

Pushforward of vector fields

Given a smooth map φ : MN and a vector field X on M, it is not usually possible to identify a pushforward of X by φ with some vector field Y 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, yields, in the above sense, 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, x(X) = Yφ(x).

In some situations, given a X vector field on M, there is a unique vector field Y on N 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

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, x(Xx) 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.

See also

Related Research Articles

In mathematics, the tangent space of a manifold facilitates the generalization of vectors from affine spaces to general manifolds, since in the latter case one cannot simply subtract two points to obtain a vector that gives the displacement of the one point from the other.

Geodesic Shortest path on a curved surface or a Riemannian manifold

In geometry, a geodesic is commonly a curve representing in some sense the shortest path (arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. It is a generalization of the notion of a "straight line" to a more general setting.

In the mathematical field of differential geometry, one definition of a metric tensor is a type of function which takes as input a pair of tangent vectors v and w at a point of a surface and produces a real number scalar g(v, w) in a way that generalizes many of the familiar properties of the dot product of vectors in Euclidean space. In the same way as a dot product, metric tensors are used to define the length of and angle between tangent vectors. Through integration, the metric tensor allows one to define and compute the length of curves on the manifold.

Tangent bundle Tangent spaces of a manifold considered together

In differential geometry, the tangent bundle of a differentiable manifold is a manifold which assembles all the tangent vectors in . As a set, it is given by the disjoint union of the tangent spaces of . That is,

In the mathematical fields of differential geometry and tensor calculus, differential forms are an approach to multivariable calculus that is independent of coordinates. Differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, especially in geometry, topology and physics.

In mathematics, especially differential geometry, the cotangent bundle of a smooth manifold is the vector bundle of all the cotangent spaces at every point in the manifold. It may be described also as the dual bundle to the tangent bundle. This may be generalized to categories with more structure than smooth manifolds, such as complex manifolds, or algebraic varieties or schemes. In the smooth case, any Riemannian metric or symplectic form gives an isomorphism between the cotangent bundle and the tangent bundle, but they are not in general isomorphic in other categories.

Vector bundle

In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X : to every point x of the space X we associate a vector space V(x) in such a way that these vector spaces fit together to form another space of the same kind as X, which is then called a vector bundle over X.

In differential geometry, the Lie derivative, named after Sophus Lie by Władysław Ślebodziński, evaluates the change of a tensor field, along the flow defined by another vector field. This change is coordinate invariant and therefore the Lie derivative is defined on any differentiable manifold.

In mathematics, and especially differential geometry and gauge theory, a connection on a fiber bundle is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. The most common case is that of a linear connection on a vector bundle, for which the notion of parallel transport must be linear. A linear connection is equivalently specified by a covariant derivative, an operator that differentiates sections of the bundle along tangent directions in the base manifold, in such a way that parallel sections have derivative zero. Linear connections generalize, to arbitrary vector bundles, the Levi-Civita connection on the tangent bundle of a Riemannian manifold, which gives a standard way to differentiate vector fields. Nonlinear connections generalize this concept to bundles whose fibers are not necessarily linear.

In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle – see affine connection. In the special case of a manifold isometrically embedded into a higher-dimensional Euclidean space, the covariant derivative can be viewed as the orthogonal projection of the Euclidean directional derivative onto the manifold's tangent space. In this case the Euclidean derivative is broken into two parts, the extrinsic normal component and the intrinsic covariant derivative component.

Suppose that φ : MN 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 to the space of 1-forms on M. This linear map is known as the pullback, and is frequently denoted by φ. More generally, any covariant tensor field – in particular any differential form – on N may be pulled back to M using φ.

Affine connection Construct allowing differentiation of tangent vector fields of manifolds

In Differential geometry, an affine connection is a geometric object on a smooth manifold which connects nearby tangent spaces, so it permits tangent vector fields to be differentiated as if they were functions on the manifold with values in a fixed vector space. The notion of an affine connection has its roots in 19th-century geometry and tensor calculus, but was not fully developed until the early 1920s, by Élie Cartan and Hermann Weyl. The terminology is due to Cartan and has its origins in the identification of tangent spaces in Euclidean space Rn by translation: the idea is that a choice of affine connection makes a manifold look infinitesimally like Euclidean space not just smoothly, but as an affine space.

Smoothness Property measuring how many times a function can be differentiated

In mathematical analysis, the smoothness of a function is a property measured by the number of continuous derivatives it has over some domain. At the very minimum, a function could be considered "smooth" if it is differentiable everywhere. At the other end, it might also possess derivatives of all orders in its domain, in which case it is said to be infinitely differentiable and referred to as a C-infinity function.

In mathematics, the jet is an operation that takes a differentiable function f and produces a polynomial, the truncated Taylor polynomial of f, at each point of its domain. Although this is the definition of a jet, the theory of jets regards these polynomials as being abstract polynomials rather than polynomial functions.

Differentiable manifold Manifold upon which it is possible to perform calculus

In mathematics, a differentiable manifold is a type of manifold that is locally similar enough to a linear space to allow one to do calculus. Any manifold can be described by a collection of charts, also known as an atlas. One may then apply ideas from calculus while working within the individual charts, since each chart lies within a linear space to which the usual rules of calculus apply. If the charts are suitably compatible, then computations done in one chart are valid in any other differentiable chart.

In mathematics, the derivative is a fundamental construction of differential calculus and admits many possible generalizations within the fields of mathematical analysis, combinatorics, algebra, and geometry.

In mathematics, a vector-valued differential form on a manifold M is a differential form on M with values in a vector space V. More generally, it is a differential form with values in some vector bundle E over M. Ordinary differential forms can be viewed as R-valued differential forms.

In mathematics and theoretical physics, an invariant differential operator is a kind of mathematical map from some objects to an object of similar type. These objects are typically functions on , functions on a manifold, vector valued functions, vector fields, or, more generally, sections of a vector bundle.

Differential geometry of surfaces

In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: extrinsically, relating to their embedding in Euclidean space and intrinsically, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space.

In mathematics, particularly differential topology, the double tangent bundle or the second tangent bundle refers to the tangent bundle (TTM,πTTM,TM) of the total space TM of the tangent bundle (TM,πTM,M) of a smooth manifold M . A note on notation: in this article, we denote projection maps by their domains, e.g., πTTM : TTMTM. Some authors index these maps by their ranges instead, so for them, that map would be written πTM.