Dimension jump in a smooth family of manifolds Created 2026-10-03 Updated 2026-11-05
A family given by smooth equations can have individually smooth fibers of different dimensions. For example, let
For , this is a circle and a one-dimensional smooth manifold; at , it is a single point, a zero-dimensional smooth manifold.
Take and for . Differentiating the defining equation in the spatial variables gives , so . Yet and , while . Thus convergent tangent vectors need not remain tangent to the limiting fiber.
This is not a smooth family in the stronger submersion sense. The total equation defines a cone singular at . A submersion between fixed-dimensional smooth manifolds has constant fiber dimension by the submersion theorem. The example distinguishes fiberwise smoothness and smooth dependence of equations from that stronger regular-family hypothesis.