\( \mathbb{CP}^2\)-stable classification of 4-manifolds with finite fundamental group (Q2658491)

Let \(M\) be a closed, connected \(4\)-manifold. The quadratic \(2\)-type \(Q_M:= (\pi_1 M, w_1M, \pi_2 M, k_M, \lambda_M)\) consists of the Postnikov \(2\)-type of \(M\), determined by \(\pi_1 M\),\(\pi_2 M\) (as a \(\pi_1 M\)-module) and the \(k\)-invariant in \(H^3(\pi_1 M; \pi_2 M)\), together with the orientation character \(w_1 M : \pi_1 M \to \{\pm 1\}\) and the equivariant intersection form \(\lambda_M : \pi_2 M \times \pi_2 M \to \mathbb{Z}[\pi_1 M]\). Two \(4\)-manifolds are \(\mathbb{C}P^2\)-stably homeomorphic if they become homeomorphic after taking connected sum with finitely many copies of \(\mathbb{C}P^2\), where different numbers of copies for the two manifolds are allowed. Quadratic \(2\)-types of two manifolds are stably isomorphic if they become isomorphic after finitely many stabilizations as follows: \[ Q_M \to Q_{M\sharp \pm\mathbb{C}P^2}\cong (\pi_1 M, w_1 M, \pi_2 M \oplus\mathbb{Z}[\pi_1 M], (k_M, 0), \lambda_M \perp \langle\pm 1\rangle). \] In this paper, the authors show that two closed, connected \(4\)-manifolds with finite fundamental groups are \(\mathbb{C}P^2\)-stably homeomorphic if and only if their quadratic \(2\)-types are stably isomorphic and their Kirby-Siebenmann invariants agree.