A homotopy fibration theorem in dimension four (Q1262581): Difference between revisions

In this paper the author shows that under assumptions on the fundamental group alone, an infinite cyclic cover of a 4-dimensional Poincaré duality complex with Euler characteristic 0 satisfies Poincaré duality with local coefficients and so is a 3-dimensional Poincaré\({}_ duality\) complex. This implies that, modulo the 5-dimensional s-cobordism theorem, each spun fibred classical knot is determined topologically (up to orientation) by its group together with a weight class. The main theorems are: Theorem 1. Let E be a connected \(PD_ 4\)-complex with \(\chi (E)=0\) and let H be a normal subgroup of \(G=\pi_ 1(E)\) which is free of finite rank \(\mu\), and such that \(G/H={\mathbb{Z}}\). Then the covering space F with group H is homotopy equivalent to {\#}\({}^{\mu}S^ 1\times S^ 2\) if \(\omega_ 1(E)| H\) is trivial and to {\#}\({}^{\mu}S^ 1{\tilde \times}S^ 2\) otherwise. Moreover E is simple homotopy equivalent to a closed PL 4-manifold which is a fibre bundle over the circle. Theorem 2. Let E be a closed connected 4-manifold with \(\chi (E)=0\) and let H be a normal subgroup of \(G=\pi_ 1(E)\) which does not contain the centre of G, and such that \(G/H={\mathbb{Z}}\). Then the covering space F with group H is a \(PD_ 3\)-complex.