Aspherical manifolds with relatively hyperbolic fundamental groups.

From MaRDI portal
Publication:2467193



Abstract: We show that the aspherical manifolds produced via the relative strict hyperbolization of polyhedra enjoy many group-theoretic and topological properties of open finite volume negatively pinched manifolds, including relative hyperbolicity, nonvanishing of simplicial volume, co-Hopf property, finiteness of outer automorphism group, absence of splitting over elementary subgroups, and acylindricity. In fact, some of these properties hold for any compact aspherical manifold with incompressible aspherical boundary components, provided the fundamental group is hyperbolic relative to fundamental groups of boundary components. We also show that no manifold obtained via the relative strict hyperbolization can be embedded into a compact Kaehler manifold of the same dimension, except when the dimension is two.


The strict hyperbolization was defined by \textit{R. M. Charney} and \textit{M. W. Davis} [in Topology 34, No. 2, 329-350 (1995; Zbl 0826.53040)]. The article under review considers the properties of the relative version of the above procedure and tries to establish an analogy between the aspherical manifolds produced via relative strict hyperbolization and the open complete finite volume negatively pinched manifolds. Roughly, the relative strict hyperbolization is a procedure that takes as the input a pair of finite simplicial complexes \((K,L)\), where \(L\) is a nonempty subcomplex of \(K\), and produces a pair of simplicial complexes \((R_K,R_L)\), with the following properties: \(\bullet\) \(R_L\) is isomorphic to subdivision of \(L\), \(\bullet\) \(R_K\) is aspherical if and only if each path-component of \(L\) is aspherical; \(\bullet\) \(R_L\) is incompressible in \(R_K\); \(\bullet\) if \(K\) is a manifold with boundary \(L\), then \(R_K\) is a manifold with boundary \(R_L\); \(\bullet\) the space \(Z\) obtained from \(R_K\) by attaching a cone to each path-component of \(R_L\) admits a piecewise-hyperbolic locally-CAT\((-1)\) metric. The main theorem is following: If \((R_K,R_L)\) is a pair of finite (nonempty) simplicial complexes obtained via relative strict hyperbolization, and \(L_1,\dots,L_m\) are all the path-components of \(R_L\) that have infinite fundamental groups, then \(\pi_1(R_K)\) is a non-elementary relatively hyperbolic group in the sense of Bowditch, specifically, \(\pi_1(R_K)\) is hyperbolic relative to the subgroups \(\pi_1(L_1),\dots,\pi_1(L_m)\). In particular, if each component of \(R_L\) has finite fundamental group, then \(\pi_1(R_K)\) is a non-elementary hyperbolic group. We have to say that in some sense the above proves \textit{M. Gromov}'s statement (on pages 117 and 257) about the properties of the relative hyperbolization [see Hyperbolic groups, Essays in group theory, Publ., Math. Sci. Res. Inst. 8, 75-263 (1987; Zbl 0634.20015)]. Moreover in this interesting 25 pages long paper are also proved some other properties of the relative hyperbolization related to the co-Hopfian property and compact Kähler manifolds.



Cites work









This page was built for publication: Aspherical manifolds with relatively hyperbolic fundamental groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2467193)