-
Connected sum decompositions of high-dimensional manifolds
Authors:
Imre Bokor,
Diarmuid Crowley,
Stefan Friedl,
Fabian Hebestreit,
Daniel Kasprowski,
Markus Land,
Johnny Nicholson
Abstract:
The classical Kneser-Milnor theorem says that every closed oriented connected 3-dimensional manifold admits a unique connected sum decomposition into manifolds that cannot be decomposed any further. We discuss to what degree such decompositions exist in higher dimensions and we show that in many settings uniqueness fails in higher dimensions.
The classical Kneser-Milnor theorem says that every closed oriented connected 3-dimensional manifold admits a unique connected sum decomposition into manifolds that cannot be decomposed any further. We discuss to what degree such decompositions exist in higher dimensions and we show that in many settings uniqueness fails in higher dimensions.
△ Less
Submitted 7 September, 2020; v1 submitted 5 September, 2019;
originally announced September 2019.
-
Poincaré duality complexes with highly connected universal cover
Authors:
Beatrice Bleile,
Imre Bokor,
Jonathan A. Hillman
Abstract:
Turaev conjectured that the classification, realization and splitting results for Poincaré duality complexes of dimension $3$ (PD$_{3}$-complexes) generalize to PD$_{n}$-complexes with $(n-2)$-connected universal cover for $n \ge 3$. Baues and Bleile showed that such complexes are classified, up to oriented homotopy equivalence, by the triple consisting of their fundamental group, orientation clas…
▽ More
Turaev conjectured that the classification, realization and splitting results for Poincaré duality complexes of dimension $3$ (PD$_{3}$-complexes) generalize to PD$_{n}$-complexes with $(n-2)$-connected universal cover for $n \ge 3$. Baues and Bleile showed that such complexes are classified, up to oriented homotopy equivalence, by the triple consisting of their fundamental group, orientation class and the image of their fundamental class in the homology of the fundamental group, verifying Turaev's conjecture on classification.
We prove Turaev's conjectures on realization and splitting. We show that a triple $(G, ω, μ)$, comprising a group, $G$, a cohomology class $ω\in H^{1}\left(G, \mathbb{Z}/2\mathbb{Z}\right)$ and a homology class $μ\in H_{n}(G, \mathbb{Z}^ω)$, can be realized by a PD$_{n}$-complex with $(n-2)$-connected universal cover if and only if the Turaev map applied to $μ$ yields is an equivalence. We show that such a PD$_{n}$-complex is a connected sum of two such complexes if and only if its fundamental group is a free product of groups.
We then consider the indecomposable $PD_n$-complexes of this type. When $n$ is odd the results are similar to those for the case $n=3$. The indecomposables are either aspherical or have virtually free fundamental group. When $n$ is even the indecomposables include manifolds which are neither aspherical nor have virtually free fundamental group, but if the group is virtually free and has no dihedral subgroup of order $>2$ then it has two ends.
△ Less
Submitted 20 March, 2017; v1 submitted 30 April, 2016;
originally announced May 2016.
-
Poincare Duality Complexes with Highly Connected Universal Covers
Authors:
Beatrice Bleile,
Imre Bokor
Abstract:
Baues and Bleille showed that, up to oriented homotopy equivalence, a Poincare duality complex of dimension $n \ge 3$ with $(n-2)$-connected universal cover, is classified by its fundamental group, orientation class and the image of its fundamental class in the homology of the fundamental group. We generalise Turaev's results for the case $n=3$, by providing necessary and sufficient conditions for…
▽ More
Baues and Bleille showed that, up to oriented homotopy equivalence, a Poincare duality complex of dimension $n \ge 3$ with $(n-2)$-connected universal cover, is classified by its fundamental group, orientation class and the image of its fundamental class in the homology of the fundamental group. We generalise Turaev's results for the case $n=3$, by providing necessary and sufficient conditions for a triple $(G, ω, μ)$, comprising a group, $G$, $ω\in H^{1}(G;\mathbb{Z}/2\mathbb{Z})$ and $μ\in H_{3}(G, \mathbb{Z}^ω)$ to be realised by a Poincaré duality complex of dimension $n$ with $(n-2)$-connected universal cover, and by showing that such a complex is a connected sum of two such complexes if and only if its fundamental group is a free product of groups.
△ Less
Submitted 7 September, 2015;
originally announced September 2015.
