Differential Geometry & Curvature

← Back to Domain-Specific Families

Abstractions about smooth manifolds and curvature, including geodesics, distributions, the second fundamental form and volume elements, plus accessibility results like the Chow-Rashevsky theorem and fractal constructions like the Apollonian gasket.

9 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.

• Apollonian Gasket — An Apollonian gasket is the fractal residual structure of an infinite circle packing formed by recursively filling every curvilinear triangular gap among three mutually tangent circles with its uniquely tangent incircle.
• 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.
• Distribution (Differential Geometry) — A distribution on a smooth manifold assigns to each point a smoothly varying subspace of its tangent space, encoding admissible infinitesimal directions.
• Geodesic — A geometry-relative straight path whose tangent transports parallel to itself, yielding locally length-minimizing curves for a Riemannian metric while permitting broader affine and spacetime forms.
• Induced Metric — Transfer an ambient metric to an immersed manifold by pairing its tangent vectors after the immersion's differential, subject to the restricted form's signature.
• Null Hypersurface — A smooth spacetime hypersurface whose normal is lightlike and tangent to it, leaving a degenerate induced metric along null-geodesic generators.
• Second Fundamental Form — Encode how an immersed surface or submanifold bends in its ambient space by pairing tangent directions with the normal component of their ambient derivative, yielding normal curvature and the shape operator under explicit sign and normal conventions.
• Stable Normal Bundle — The embedding-independent stable real normal-vector-bundle class of a closed smooth manifold, equal to the stable inverse of its tangent class.
• Volume Element — A local top-dimensional density or form that converts coordinate cells into invariant geometric volume, transforming by a Jacobian and arising from coordinate, metric, Gram-determinant, or orientation data.