Cancellation for 4-manifolds with virtually abelian fundamental group (Q517114): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / 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. | |||
Property / 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Daniel Kasprowski / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57N13 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57R65 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6695377 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
topological 4-manifold | |||
Property / zbMATH Keywords: topological 4-manifold / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
stable homeomorphism | |||
Property / zbMATH Keywords: stable homeomorphism / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cancellation | |||
Property / zbMATH Keywords: cancellation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
virtually abelian | |||
Property / zbMATH Keywords: virtually abelian / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2468649027 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1606.05968 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: K-Theory of Forms. (AM-98) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5562621 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4053793 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3413653 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Manifolds homotopy equivalent to \(P^{n} \# P^{n}\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Manifolds with fundamental group a generalized free product. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On four dimensional surgery and applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The surgery obstruction groups of the infinite dihedral group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4317713 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040346 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: É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é / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3141450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nonorientable 4-Manifolds with Fundamental Group of Order 2 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4143433 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Manifolds homotopy equivalent to $RP^4 \# RP^4$ / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy invariance of 4-manifold decompositions: connected sums / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic K-theory of generalized free products. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4256667 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 13:02, 13 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cancellation for 4-manifolds with virtually abelian fundamental group |
scientific article |
Statements
Cancellation for 4-manifolds with virtually abelian fundamental group (English)
0 references
16 March 2017
0 references
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.
0 references
topological 4-manifold
0 references
stable homeomorphism
0 references
cancellation
0 references
virtually abelian
0 references