Curvature & Special Manifolds

← Back to Domain-Specific Families

Abstractions about hyperbolic, quaternionic, and isoparametric manifolds, vector bundles, curvature, second fundamental forms, and global geometric conjectures.

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

• Bonnet Theorem — The fundamental theorem of surface theory reconstructs a surface immersion from compatible first and second fundamental forms, uniquely up to rigid motion.
• Complex hyperbolic space — Realize the simply connected complete Kähler manifold of complex dimension n and constant negative holomorphic sectional curvature, equivalently the rank-one Hermitian symmetric space acted on transitively by PU(n,1).
• Flat Vector Bundle — A vector bundle with a zero-curvature linear connection has homotopy-invariant parallel transport, locally constant transition data, and a monodromy representation.
• Isoparametric manifold — Define a Euclidean submanifold with flat normal bundle whose shape operators have constant eigenvalues along every parallel normal field.
• Quaternion-Kähler Manifold — A Riemannian manifold of dimension divisible by four whose Levi-Civita holonomy lies in Sp(n)Sp(1), carrying a parallel rank-three quaternionic structure rather than a globally selected complex structure.
• 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.
• Yau's conjecture — The statement that every closed Riemannian three-manifold contains infinitely many smooth closed immersed minimal surfaces, now a theorem.