Hyperbolization Procedures¶
Hyperbolization procedures replace and glue cells of a complex to build a controlled nonpositively or negatively curved space.
Core Idea¶
Hyperbolization procedures replace cells of a complex with curved pieces and glue them compatibly, producing a space with a proved curvature property and a controlled relation to the input.
Scope of Application¶
Geometric topologists use different procedures to build nonpositively or negatively curved examples from combinatorial data. Charney–Davis strict hyperbolization takes a simplicial complex, produces an intermediate cubical complex, and replaces its cubes with face-compatible hyperbolic manifold-with-corners pieces; Theorem 7.6 gives a piecewise-hyperbolic output with curvature at most \(-1\).[^ref-1c441e57a420] The topology changes, so this is not merely a new metric on the same space.
Boundary: Thurston's three-manifold hyperbolization theorem and simple triangulation answer different questions.
Clarity¶
Name the particular procedure and curvature sense before claiming any topological consequence. Four regular hyperbolic squares substituted around a vertex would have an angle sum below \(2\pi\) and fail the desired upper-curvature bound; the local link check matters.[^ref-1c441e57a420]
Manages Complexity¶
A local cell rule organizes a global construction, while a comparison map records which input features remain visible.
Abstract Reasoning¶
Check the input category and face compatibility, prove the output's local curvature criterion, then use only the stated preservation theorems.
Knowledge Transfer¶
The replacement-and-gluing method recurs in nonstrict and strict variants; their guarantees cannot be interchanged without proof. As a separate application, Charney and Davis's Theorem 7.7 starts with a triangulable manifold and obtains a cobordant triangulable manifold of strictly negative curvature after a cone/cylinder construction, strict hyperbolization, and removal of a cone-vertex neighborhood—not a negative-curvature metric on the original manifold.[^ref-1c441e57a420]
[^ref-1c441e57a420]: Charney and Davis, “Strict Hyperbolization”, Topology 34 (1995), Introduction and Theorems 7.6–7.7.
Relationships to Other Abstractions¶
Current abstraction Hyperbolization Procedures Domain-specific
Parents (1) — more general patterns this builds on
-
Hyperbolization Procedures presupposes CW complex Domain-specific
Cellwise hyperbolization presupposes a CW-complex carrier without being a kind of complex.
Hierarchy path (1) — routes to 1 parentless root
- Hyperbolization Procedures → CW complex → Composition → Gestalt Principles → Holism
Neighborhood in Abstraction Space¶
Hyperbolization Procedures sits in a sparse region of the domain-specific corpus (87th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Graph Structures & Combinatorial Objects (44 abstractions)
Nearest neighbors
- Finite subdivision rule — 0.85
- Polytope — 0.81
- Simple homotopy theory — 0.81
- Algebraic stack — 0.80
- Space-Filling Curve — 0.80
Computed from structural-signature embeddings · 2026-10-08