Rank (differential topology)

In mathematics, the rank of a differentiable map between differentiable manifolds at a point is the rank of the derivative of at. Recall that the derivative of at is a linear map
from the tangent space at p to the tangent space at f. As a linear map between vector spaces it has a well-defined rank, which is just the dimension of the image in T_fN:

Constant rank maps

A differentiable map f : M → N is said to have constant rank if the rank of f is the same for all p in M. Constant rank maps have a number of nice properties and are an important concept in differential topology.
Three special cases of constant rank maps occur. A constant rank map f : M → N is

an immersion if rank f = dim M,
a submersion if rank f = dim N,
a local diffeomorphism if rank f = dim M = dim N.

The map f itself need not be injective, surjective, or bijective for these conditions to hold; only the behavior of the derivative is important. For example, there are injective maps which are not immersions and immersions which are not injections. However, if f : M → N is a smooth map of constant rank then

if f is injective it is an immersion,
if f is surjective it is a submersion,
if f is bijective it is a diffeomorphism.

Constant rank maps have a nice description in terms of local coordinates. Suppose M and N are smooth manifolds of dimensions m and n respectively, and f : M → N is a smooth map with constant rank k. Then for all p in M there exist coordinates centered at p and coordinates centered at f such that f is given by
in these coordinates.

Examples

Maps whose rank is generically maximal, but drops at certain singular points, occur frequently in coordinate systems. For example, in spherical coordinates, the rank of the map from the two angles to a point on the sphere is 2 at regular points, but is only 1 at the north and south poles.
A subtler example occurs in charts on SO(3), the rotation group. This group occurs widely in engineering, due to 3-dimensional rotations being heavily used in navigation, nautical engineering, and aerospace engineering, among many other uses. Topologically, SO is the real projective space RP³, and it is often desirable to represent rotations by a set of three numbers, known as Euler angles, both because this is conceptually simple, and because one can build a combination of three gimbals to produce rotations in three dimensions. Topologically this corresponds to a map from the 3-torus T³ of three angles to the real projective space RP³ of rotations, but this map does not have rank 3 at all points, and the phenomenon of the rank dropping to 2 at certain points is referred to in engineering as ''gimbal lock.''