What problem does this paper attempt to address?

The problem that this paper attempts to solve is the homotopy classification problem of a specific type of 4 - dimensional manifolds. Specifically, the paper focuses on oriented 4 - dimensional Poincaré complexes with a finite abelian 2 - generator fundamental group. The 2 - Sylow subgroup of the fundamental group of such complexes is an abelian group with at most two generators. The main goal of the paper is to prove that the homotopy types of these complexes are determined by their quadratic 2 - type. ### Background and Motivation In topology, the homotopy classification of 4 - dimensional manifolds is an important research topic. For 4 - dimensional manifolds with simple connectivity, Whitehead and Milnor have already given classification methods. Wall further extended this result and classified 4 - dimensional manifolds with a cyclic fundamental group of prime order. Hambleton and Kreck further studied 4 - dimensional manifolds with a finite cyclic fundamental group of arbitrary order and proposed a classification method based on the quadratic 2 - type. ### Main Contributions of the Paper The main contribution of this paper is that the authors have generalized the above - mentioned classification methods to a more general situation, that is, the 2 - Sylow subgroup of the fundamental group is an abelian group with at most two generators. Specifically, the paper proves the following theorem: **Theorem 1.1**: Let \(\pi\) be a finite group whose 2 - Sylow subgroup is an abelian group with at most two generators. Then, two oriented 4 - dimensional Poincaré complexes with fundamental group \(\pi\) are orientation - preserving homotopy equivalent if and only if their quadratic 2 - types are isomorphic. ### Technical Details To prove this theorem, the authors used Whitehead's Gamma group \(\Gamma\) and some homological algebra tools. One of the key steps is to prove that \( \mathbb{Z} \otimes_{\mathbb{Z}[\pi_1(X)]} \Gamma(\pi_2(X)) \) is torsion - free. This is achieved through a series of lemmas and technical results, and finally the required conclusion is proved. ### Conclusion The results of the paper not only extend the existing classification theory, but also provide new tools and methods for studying 4 - dimensional manifolds with complex fundamental groups. This is of great significance for understanding high - dimensional topological structures and research in related fields.

Homotopy classification of 4-manifolds with finite abelian 2-generator fundamental groups

Homologically Trivial Group Actions on 4-Manifolds

$4$-manifolds with boundary and fundamental group $\mathbb{Z}$

The homology of moduli spaces of 4-manifolds may be infinitely generated

Schematic homotopy types and non-abelian Hodge theory

Characteristic cohomotopy classes for families of 4-manifolds

Algebraic criteria for stable diffeomorphism of spin 4-manifolds

A Classification of Compact Cohomogeneity One Locally Conformal Kähler Manifolds

On Homotopy Invariants of Finite Degree

Homotopy classification of based maps between $\mathbf{A}_n^2$-complexes

Exotic definite four-manifolds with non-cyclic fundamental group

Homotopy Classification of loops of Clifford unitaries

Almost complex structures on homotopy complex projective spaces

Finite-volume hyperbolic 3-manifolds are almost determined by their finite quotient groups

Smooth structures on four-manifolds with finite cyclic fundamental groups

On $(n-2)$-connected $2n$-dimensional Poincaré complexes with torsion-free homology

Generalised doubles and simple homotopy types of high dimensional manifolds

A menagerie of SU(2)-cyclic 3-manifolds

The positive fundamental group of Sp(2) and Sp(4)

Infinite homotopy stable class for 4-manifolds with boundary

Finite groups, spherical 2-categories, and 4-manifold invariants