A smooth map f : M -> N between differentiable manifolds whose differential df_p is surjective at every point p in M; locally it behaves like a projection from a product, lowering dimension by producing full tangent images at the target points.

Principle

Surjectivity of the differential is the organizing idea: a submersion has rank equal to dim N everywhere, yielding local triviality properties (by the submersion theorem) and allowing the target to be covered by images of local charts where f looks like projection onto the last coordinates.

Demonstration

The canonical projection R^{n+k} -> R^n is the model submersion; more geometric examples include the projection from a product manifold M × N -> N or a surjective submersion from a Lie group to a homogeneous space, which locally presents the domain as a fibered product.

Misapplication

Confusing a submersion with a quotient map or assuming fibers are points is incorrect: fibers of a submersion are submanifolds (of complementary dimension) and may be nontrivial; also surjectivity of the map itself is independent from surjectivity of the differential.

Consequence

A correct submersion yields local product structures, ensures that preimages of regular values are submanifolds, and underlies fibrations and bundle-type constructions; it enables techniques like slicing and reduction by symmetry.

Reversal

The inverse notion emphasizes injective differentials (immersions) or critical maps where the differential fails to be surjective, producing singular fibers and obstructions to local product decomposition.

Boundary

Submersion is meaningful only in the smooth category with tangent spaces; it excludes continuous maps without differentiability, and the theorem requires suitable regularity and often connectedness/path-connectedness hypotheses for global conclusions.

Semantic Tension

Submersion competes semantically with fibration and quotient: while all fibrations have local product behavior, not every submersion is a fibration globally; similarly, quotient maps may project but need not satisfy differential surjectivity.

Synthesis

A submersion is the local projection-type map in differential geometry: its surjective differentials provide fibers that are submanifolds and give the domain a local product decomposition over the target, forming the backbone of many constructions in geometry and global analysis.