Skip to content

Differential Topology & Geometric Structure

← Back to Domain-Specific Families

Abstractions about differentiable stacks and manifolds, decompositions, root systems, orientations, stratified spaces, and major geometric-topological conjectures.

11 abstractions in this family — domain-specific abstractions that sit near one another in structural-signature space (k-means over structural-signature embeddings). Each is shown with its short description.

  • Chow–Rashevsky theorem — A sub-Riemannian accessibility theorem stating that any two points of a connected manifold can be joined by a horizontal path when the allowed distribution is bracket generating.
  • Differentiable stack — Represent quotient-like smooth geometry as a stack on manifolds admitting a smooth atlas, equivalently through a Lie-groupoid presentation considered up to Morita equivalence.
  • Eells–Kuiper Manifold — Recognize the exceptional closed manifolds in dimensions 2, 4, 8, or 16 that admit a three-critical-point Morse function and have projective-plane-like compactification and cohomology structure.
  • Exotic R4 — A smooth four-manifold homeomorphic but not diffeomorphic to ordinary Euclidean four-space, exposing the unique dimension-four split between topological and smooth equivalence.
  • Iwasawa decomposition — A factorization G=KAN of a connected real semisimple Lie group into maximal compact, abelian and nilpotent subgroups, generalizing matrix QR decomposition.
  • Kirwan map — Restrict equivariant cohomology classes of a Hamiltonian group space to a regular moment-map level set and identify them with ordinary cohomology classes on the resulting symplectic quotient.
  • Novikov conjecture — The conjecture that higher signatures of closed oriented manifolds are invariant under oriented homotopy equivalence.
  • Orientation character — Classify loops in a manifold by whether their transport preserves or reverses local orientation, encoding the result as a homomorphism from the fundamental group to the two-element sign group.
  • Root System — Encode reflection symmetry by a finite spanning set of Euclidean vectors closed under root reflections, with integral Cartan pairings in the crystallographic setting.
  • Stratifold — A stratified topological space equipped with a sheaf of smooth functions and manifold strata satisfying controlled local conditions, used as a geometric model for homology theories.
  • Thurston Elliptization Conjecture — A proved three-manifold classification theorem: a closed three-manifold has finite fundamental group exactly when it admits a spherical metric of constant positive sectional curvature.