A hyperbolization procedure is a procedure that turns a polyhedral complex K {\displaystyle K} into a non-positively curved space H ( K ) {\displaystyle {\mathcal {H}}(K)} , retaining some of its topological features. Roughly speaking, the procedure consists in replacing every cell of K {\displaystyle K} with a copy of a certain non-positively curved manifold with boundary, which is fixed a priori and is called the hyperbolizing cell of the procedure. There are many different hyperbolization procedures available in the literature. While they all satisfy some common axioms, they differ by what kind of polyhedral complex is allowed as input and what kind of hyperbolizing cell is used. As a result, different procedures preserve different topological features and provide spaces with different geometric flavors. The first hyperbolization procedures were introduced by Mikhael Gromov in and later other versions were developed by several mathematicians including Ruth Charney, Michael W. Davis, and Pedro Ontaneda. It is important to note that the word "hyperbolization" here does not have the same meaning that it has in the uniformization or hyperbolization results typical of low-dimensional geometry. Indeed, the space H ( K ) {\displaystyle {\mathcal {H}}(K)} is not homeomorphic to K {\displaystyle K} . For instance, H ( K ) {\displaystyle {\mathcal {H}}(K)} is always aspherical, regardless of whether K {\displaystyle K} is aspherical. Moreover, despite the name of the procedure, H ( K ) {\displaystyle {\mathcal {H}}(K)} is not always guaranteed to be negatively curved, so some authors refer to these procedures as asphericalization procedures.
Axioms An assignment K → H ( K ) {\displaystyle K\to {\mathcal {H}}(K)} is a hyperbolization procedure if it satisfies the following properties:
(Non-positive curvature). H ( K ) {\displaystyle {\mathcal {H}}(K)} admits a locally CAT(0) metric. (Functoriality). If L ↪ K {\displaystyle L\hookrightarrow K} is the inclusion of a subcomplex, then there is an isometric embedding H ( L ) ↪ H ( K ) {\displaystyle {\mathcal {H}}(L)\hookrightarrow {\mathcal {H}}(K)} with locally convex image. (Local structure is preserved). If σ n {\displaystyle \sigma ^{n}} is an n {\displaystyle n} -cell of K {\displaystyle K} , then H ( σ n ) {\displaystyle {\mathcal {H}}(\sigma ^{n})} is a connected n {\displaystyle n} -manifold with boundary and the link of H ( σ n ) {\displaystyle {\mathcal {H}}(\sigma ^{n})} in H ( K ) {\displaystyle {\mathcal {H}}(K)} is isomorphic to the link of σ n {\displaystyle \sigma ^{n}} in K {\displaystyle K} , possibly up to subdivisions. (Homology is enriched). The map H ( K ) → K {\displaystyle {\mathcal {H}}(K)\to K} that sends H ( σ n ) {\displaystyle {\mathcal {H}}(\sigma ^{n})} back to σ n {\displaystyle \sigma ^{n}} induces a surjection on homology. It follows in particular that if K {\displaystyle K} is a closed orientable n {\displaystyle n} -manifold, then so is H ( K ) {\displaystyle {\mathcal {H}}(K)} .
Examples The following are some examples of common hyperbolization procedures.
Strict hyperbolization In Charney and Davis introduced a hyperbolization procedure for which H ( K ) {\displaystyle {\mathcal {H}}(K)} is locally CAT(-1). In particular, when K {\displaystyle K} is compact, the fundamental group π 1 ( H ( K ) ) {\displaystyle \pi _{1}({\mathcal {H}}(K))} is a Gromov hyperbolic group. The hyperbolizing cell in this procedure is a real hyperbolic manifold with boundary and corners constructed via arithmetic methods.
… excerpt ends here. Continue reading the full article.
