Riemannian submersion¶
A smooth surjective submersion between Riemannian manifolds whose differential restricts to an isometry from each horizontal tangent space onto the target tangent space.
Core Idea¶
A Riemannian submersion is a smooth surjective submersion f:(M,g)→(N,h) with a metric compatibility condition. At each source point, ker(df) is the vertical tangent space along the fiber, and its g-orthogonal complement is the horizontal space. The restricted differential sends the horizontal space isometrically onto the target tangent space. The restricted differential sends the horizontal space isometrically onto the target tangent space.
Scope of Application¶
Use the term in differential geometry with map regularity, vertical/horizontal splitting, and metric preservation all checked pointwise. Use the term in differential geometry with map regularity, vertical/horizontal splitting, and metric preservation all checked pointwise.
- Fiber geometry. Relates total and base manifolds.
- Lie group quotients. Projects symmetric metric spaces.
- Riemannian geometry. Transfers horizontal geodesic information.
- Geometric analysis. Uses vertical and horizontal tensors.
- Mathematical physics. Models quotient configuration spaces.
Clarity¶
Surjectivity and full-rank differential establish a submersion, not a Riemannian one. Metric compatibility is checked only after the horizontal space is defined as the orthogonal complement of the fiber. The closest near miss sets the boundary: A smooth submersion is closest: it has surjective differential but need not respect metrics on horizontal directions.
Manages Complexity¶
The tangent bundle splits into invisible vertical and preserved horizontal information. This simplifies base geometry while fiber curvature and twisting remain encoded in how horizontal spaces vary. The central fiber collapse–metric preservation tradeoff is this: The map discards vertical directions while exactly preserving horizontal ones. A second local splitting–global twisting tension matters because Horizontal spaces are pointwise complements but may not integrate globally.
Abstract Reasoning¶
Use three linked moves: verify both manifolds and their metrics; check smooth surjectivity and rank of df; compute ker(df) as the vertical space. As a collapse test, the case exits at a critical point, nonorthogonal horizontal choice, or length distortion under the restricted differential. A fourth check is to take its metric-orthogonal horizontal complement. A final check is to test that df preserves the horizontal inner product everywhere.
Knowledge Transfer¶
Fiber–horizontal decomposition transfers to connections and quotient structures, but the isometry condition is specifically Riemannian. A topological or smooth quotient cannot inherit metric conclusions without it. The nearest stopping boundary is explicit: A smooth submersion is closest: it has surjective differential but need not respect metrics on horizontal directions. The inclusion test remains: A map qualifies when it is a surjective smooth submersion and df is an isometry from every horizontal space to the target tangent space. The structure no longer applies when the case exits at a critical point, nonorthogonal horizontal choice, or length distortion under the restricted differential. No canonical parent prime is currently asserted; broader structural comparisons remain related-prime analogies until separately adjudicated in the DAG. Surjective differential supplies the smooth genus. Horizontal inner products are preserved.
Neighborhood in Abstraction Space¶
Riemannian submersion sits in a moderately populated region (57th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Domain-Specific Measurement Parameters (36 abstractions)
Nearest neighbors
- Diffeomorphism — 0.88
- I-bundle — 0.87
- Equiareal map — 0.86
- Simplicial depth — 0.85
- Exterior derivative — 0.84
Computed from structural-signature embeddings · 2026-10-08