## Regular and Critical Points

Let be a smooth map between manifolds. We say that a point is a “regular point” if the derivative has rank ; otherwise, we say that is a “critical point”. A point is called a “regular value” if its preimage contains no critical points.

The first thing to notice is that this is only nontrivial if . If then can have rank at most , and thus every point is critical. Another observation is that is then is automatically regular; if its preimage is empty then it cannot contain any critical points.

Regular values are useful because of the generalization of the first part of the implicit function theorem: if is a regular value of , then is a topological manifold of dimension . Or, to put it another way, is a submanifold of “codimension” . Further, there is a unique differentiable structure for which is a smooth submanifold of .

Indeed, let be a coordinate patch around with . Given , pick a coordinate patch of with . Let be the projection onto the first components; let be the projection onto the last components; an let be the inclusion of the subspace whose first components are .

Now, we can write down the composition . Since this has (by assumption) maximal rank at , the implicit function theorem tells us that there is a coordinate patch in a neighborhood of such that . So we can set , which is open in , and get

Setting we conclude that , since all these points are sent by to the preimage .

Now we claim that is not just any subset of , but in fact . Clearly is contained in this intersection, since

On the other hand, if is in this intersection, then for a unique — unique because and are both coordinate maps and thus invertible — and we have

meaning that the first components of must be , and thus . Thus .

Therefore maps homeomorphically onto a neighborhood of in the subspace topology induced by . But this means that acts as a coordinate patch on ! Since every point can be found in some local coordinate patch, is a topological manifold. For its differentiable structure we’ll just take the one induced by these patches.

Finally, we have to check that the inclusion is smooth, so is a smooth submanifold — that its differentiable structure is compatible with that of . But this is easy, since at any point we can go through the above process and get all these functions. We check smoothness by using local coordinates on and on , concluding that , which is clearly smooth.

[…] our extension of the implicit function theorem in hand, we have another way of getting at the sphere, this time […]

Pingback by Spheres as Submanifolds « The Unapologetic Mathematician | April 25, 2011 |

[…] we have a smooth map and a regular value of , we know that the preimage is a smooth -dimensional submanifold. It turns out that we also […]

Pingback by Tangent Spaces and Regular Values « The Unapologetic Mathematician | April 26, 2011 |

[…] with our discussion of submanifolds. The projection is a smooth map, and every point is a regular value. Its preimage is a submanifold diffeomorphic to . The embedding realizing this diffeomorphism is . […]

Pingback by The Tangent Space of a Product « The Unapologetic Mathematician | April 27, 2011 |

[…] say that a smooth map is a “submersion” if it is surjective, and if every point is a regular point of . Despite the similarity of the terms “immersion” and “submersion”, […]

Pingback by Submersions « The Unapologetic Mathematician | May 2, 2011 |

[…] always the case when is itself compact — that we have a good way of calculating it. If is a regular value of , some of which which will always exist, then the preimage of consists of a finite collection […]

Pingback by The Degree of a Map « The Unapologetic Mathematician | December 9, 2011 |

[…] I asserted yesterday, there is a simple formula for the degree of a proper map . Pick any regular value of , some of which must exist, since the critical values have measure zero in . For each we […]

Pingback by Calculating the Degree of a Proper Map « The Unapologetic Mathematician | December 10, 2011 |