Strongly minimal PD₄-complexes

DOI10.1016/J.TOPOL.2009.01.006MaRDI QIDQ1014535zbMATH OpenOpenAlexFDO

Authors Jonathan A. Hillman

Publication date 29 April 2009

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0712.1069

zbMATH Keywords

\(k\)-invariant\(PD_{4}\)-complexcohomological dimensionhomotopy intersection

Mathematics Subject Classification ID

Classification of homotopy type (55P15) Poincaré duality spaces (57P10)

Abstract: We consider the homotopy types of $P{D}_4$-complexes $X$ with fundamental group $pi$ such that $c.d.pi=2$ and $pi$ has one end. Let $$ and $w=w_1(X)$. Our main result is that (modulo two technical conditions on $(pi,w)$) there are at most $$ orbits of $k$-invariants determining "strongly minimal" complexes (i.e., those with homotopy intersection pairing $lambd{a}_X$ trivial). The homotopy type of a $P{D}_4$-complex $X$ with $pi$ a $P{D}_2$-group is determined by $pi$, $w$, $lambd{a}_X$ and the $v_2$-type of $X$. Our result also implies that Fox's 2-knot with metabelian group is determined up to TOP isotopy and reflection by its group.

Review text

It remains an open problem to give a homotopy classification of closed 4-manifolds, or more generally \(PD_4\)-complexes, in terms of standard invariants such as the fundamental group, characteristic classes and homotopy intersection pairings. The class of groups of cohomological dimension at most 2 is interesting in geometric topology since it includes all surface groups, knot groups and the groups of many other bounded 3-manifolds. The author showed in his previous work that this case can largely be reduced to the study of ``strongly minimal \(PD_4\)-complexes \(Z\), which have trivial intersection pairing on \(\pi_2(Z)\). If \(X\) is a \(PD_4\)-complex with fundamental group \(\pi\), \(k_1(X)=0\) and there is a 2-connected degree 1 map \(p:X\to Z\), where \(Z\) is strongly minimal, then the homotopy type of \(X\) is determined by \(Z\) and the intersection pairing \(\lambda_X\) on the ``surgery kernel \(K_2(p)=\text{Ker} (\pi_2 (p))\), which is a finitely generated projective left \(\mathbb{Z}[\pi]\)-module. In the present paper, the author considers the homotopy types of \(PD_4\)-complexes \(X\) with fundamental group \(\pi\) such that c.d. \(\pi=2\) and \(\pi\) has one end. Let \(\beta=\beta_2(\pi;\mathbb{F}_2)\) and \(w=w_1(X)\). The main result is that (modulo two technical conditions on the pair \((\pi,w))\) there are at most \(2^\beta\) orbits of \(k\)-invariants determining strongly minimal complexes. Then the homotopy type of a \(PD_4\)-complex \(X\) with \(\pi\) a \(PD_2\)-group is determined by \(\pi,w,\lambda_X\) and the \(\nu_2\)-type of \(X\). This result also implies that Fox's 2-knot with metabelian group is determined, up to homeomorphism, by its group. Editor's remark: according to the author's erratum [ibid. 159, 933 (2012; Zbl 1237.57024)] Theorem 4 is wrong.

Recommendations

• \(PD_4\)-complexes and 2-dimensional duality groups
• \(PD_4\)-complexes with free fundamental group
• \(PD_{4}\)-complexes with strongly minimal models
• \(PD_{4}\)-complexes with fundamental group a \(PD_{2}\)-group
• Erratum to ``Strongly minimal \(PD_4\)-complexes [Topology Appl. 156 (8) (2009) 1565-1577]

Cites work

• \(PD_4\)-complexes with free fundamental group
• \(PD_{4}\)-complexes with fundamental group a \(PD_{2}\)-group
• \(PD_{4}\)-complexes with strongly minimal models
• A funny property of sphere and equations over groups
• A quick trip through knot theory
• Algebraic K-theory of generalized free products. II
• Combinatorial homotopy and 4-dimensional complexes
• Finiteness conditions for CW-complexes. I, II.
• Free Abelian cohomology of groups and ends of universal covers
• scientific article; zbMATH DE number 3645984 (Why is no real title available?)
• scientific article; zbMATH DE number 3125399 (Why is no real title available?)
• scientific article; zbMATH DE number 41228 (Why is no real title available?)
• scientific article; zbMATH DE number 194040 (Why is no real title available?)
• scientific article; zbMATH DE number 3556332 (Why is no real title available?)
• scientific article; zbMATH DE number 1872947 (Why is no real title available?)
• scientific article; zbMATH DE number 3349061 (Why is no real title available?)
• scientific article; zbMATH DE number 4183584 (Why is no real title available?)
• Mapping tori with first Betti number at least two
• Obstruction theory on homotopy classification of maps
• One relator groups are semistable at infinity
• Planar groups and the Seifert conjecture
• Poincaré duality complexes in dimension four
• Self-Homotopy-Equivalences of a Space with Two Nonvanishing Homotopy Groups
• Solvable groups that are simple connected at \(\infty\)
• The second cohomology group of \(G\) with \(Z_2G\) coefficients
• TOPOLOGICAL 4-MANIFOLDS WITH GEOMETRICALLY TWO-DIMENSIONAL FUNDAMENTAL GROUPS

Cited in

(14)

• A homotopy fibration theorem in dimension four
• \(PD_4\)-complexes with free fundamental group
• \(PD_{4}\)-complexes with fundamental group a \(PD_{2}\)-group
• \(PD_4\)-complexes and 2-dimensional duality groups
• Fundamental class, Poincaré duality and finite oriented \(\mathrm{FC}_4\)-complexes
• Four-dimensional complexes with fundamental class
• Homotopy classification of \(PD_4\)-complexes relative an order relation
• \(PD_{4}\)-complexes with strongly minimal models
• TOPOLOGICAL 4-MANIFOLDS WITH GEOMETRICALLY TWO-DIMENSIONAL FUNDAMENTAL GROUPS
• Erratum to ``Strongly minimal \(PD_4\)-complexes [Topology Appl. 156 (8) (2009) 1565-1577]
• Minimal 4-manifolds for groups of cohomological dimension 2
• Solvable normal subgroups of 2-knot groups
• 2-knots with solvable groups
• On minimal Poincaré 4-complexes

This page was built for publication: Strongly minimal \(PD_4\)-complexes

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