Cancellation for 4-manifolds with virtually abelian fundamental group

DOI10.1016/J.TOPOL.2017.01.013MaRDI QIDQ517114zbMATH OpenOpenAlexFDO

Authors Qayum Khan

Publication date 16 March 2017

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

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

zbMATH Keywords

cancellationstable homeomorphismtopological 4-manifoldvirtually abelian

Mathematics Subject Classification ID

Surgery and handlebodies (57R65)

Abstract: Suppose $X$ and $Y$ are compact connected topological 4-manifolds with fundamental group $pi$. For any $rgeqslant0$, $Y$ is $r$-stably homeomorphic to $X$ if $$ is homeomorphic to $$. How close is stable homeomorphism to homeomorphism? When the common fundamental group $pi$ is virtually abelian, we show that large $r$ can be diminished to $n+2$, where $pi$ has a finite-index subgroup that is free-abelian of rank $n$. In particular, if $pi$ is finite then $n=0$, hence $X$ and $Y$ are $2$-stably homeomorphic, which is one $S^{2}imes{S}^2$ summand in excess of the cancellation theorem of Hambleton--Kreck. The last section is a case-study investigation of the homeomorphism classification of closed manifolds in the tangential homotopy type of $$, where $X_{p}m$ are closed nonorientable topological 4-manifolds whose fundamental groups have order two.

Review text

Two compact connected topological \(4\)-manifolds \(M_1\) and \(M_2\) are stably homeomorphic if there exists a homeomorphism between \(M_1\#k_1(S^2\times S^2)\) and \(M_2\#k_2(S^2\times S^2)\). The article proves the following cancellation result. Suppose \(\pi\) is a virtually abelian group and let \(n\) be such that \(\pi\) has a finite index, free abelian subgroup of rank \(n\). If \(M_1\) and \(M_2\) are stably homeomorphic and have the same Euler characteristic, then already \(M_1\#(n+2)(S^2\times S^2)\) and \(M_2\#(n+2)(S^2\times S^2)\) are homeomorphic. A similar cancellation statement was proved by \textit{D. Crowley} and \textit{J. Sixt} [Forum Math. 23, No. 3, 483--538 (2011; Zbl 1243.57024)]. Here the bound for infinite groups is worse by one, but the result holds for all polycyclic-by-finite groups. For finite groups, i.e.\ \(n=0\), it was proved by \textit{I. Hambleton} and \textit{M. Kreck} [J. Reine Angew. Math. 443, 21--47 (1993; Zbl 0779.57014)] that a stabilization with a single \(S^2\times S^2\) already suffices. In the last section the homeomorphism classification of closed manifolds in the tangential homotopy type of \(X=X_-\#X_+\), where \(X_\pm\) are closed non-orientable topologicial 4-manifolds with order two fundamental group, is studied.

Recommendations

• scientific article; zbMATH DE number 438444
• Stable classification of 4-manifolds with 3-manifold fundamental groups
• scientific article; zbMATH DE number 438453
• Classification of closed oriented 4-manifolds modulo connected sum with simply connected manifolds
• On the stable classification of certain 4-manifolds

Cites work

• Algebraic K-theory of generalized free products. II
• Homotopy invariance of 4-manifold decompositions: connected sums
• scientific article; zbMATH DE number 438444 (Why is no real title available?)
• scientific article; zbMATH DE number 5080025 (Why is no real title available?)
• scientific article; zbMATH DE number 193544 (Why is no real title available?)
• scientific article; zbMATH DE number 3469018 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 1319337 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 3278303 (Why is no real title available?)
• K-Theory of Forms. (AM-98)
• Manifolds homotopy equivalent to $RP^4 \# RP^4$
• Manifolds homotopy equivalent to \(P^{n} \# P^{n}\)
• Manifolds with fundamental group a generalized free product. I
• Nonorientable 4-Manifolds with Fundamental Group of Order 2
• On four dimensional surgery and applications
• The surgery obstruction groups of the infinite dihedral group
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Troisième partie). Rédigé avec la colloboration de J. Dieudonné

Cited in

(9)

• Stable existence of incompressible 3-manifolds in 4-manifolds
• scientific article; zbMATH DE number 438444 (Why is no real title available?)
• Embedded surfaces with infinite cyclic knot group
• Stable diffeomorphism classification of some unorientable 4‐manifolds
• A stability range for topological 4-manifolds
• Morphisms in low dimensions. Abstracts from the workshop held January 22--28, 2023
• C.T.C. Wall's 1964 articles on 4-manifolds
• Algebraic criteria for stable diffeomorphism of spin 4-manifolds
• Exotic 4-manifolds with signature zero

This page was built for publication: Cancellation for 4-manifolds with virtually abelian fundamental group

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