### Current browse context:

math.GT

### Change to browse by:

### References & Citations

# Mathematics > Geometric Topology

# Title: Algebraic criteria for stable diffeomorphism of spin 4-manifolds

(Submitted on 11 Jun 2020 (v1), last revised 19 Oct 2021 (this version, v3))

Abstract: We study closed, connected, spin 4-manifolds up to stabilisation by connected sums with copies of $S^2 \times S^2$. For a fixed fundamental group, there are primary, secondary and tertiary obstructions, which together with the signature lead to a complete stable classification. The primary obstruction exactly detects $\mathbb{CP}^2$-stable diffeomorphism and was previously related to algebraic invariants by Kreck and the authors.

In this article we formulate conjectural relationships of the secondary and tertiary obstructions with algebraic invariants: the secondary obstruction should be determined by the (stable) equivariant intersection form and the tertiary obstruction via a $\tau$-invariant recording intersection data between 2-spheres, with trivial algebraic self-intersection, and their Whitney discs.

We prove our conjectures for the following classes of fundamental groups: groups of cohomological dimension at most 3, right-angled Artin groups, abelian groups, and finite groups with quaternion or abelian 2-Sylow subgroups. We apply our theory to give a complete algebraic stable classification of spin $4$-manifolds with fundamental group $\mathbb{Z} \times \mathbb{Z}/2$.

## Submission history

From: Mark Powell [view email]**[v1]**Thu, 11 Jun 2020 00:31:35 GMT (393kb,D)

**[v2]**Sat, 29 May 2021 13:25:10 GMT (86kb)

**[v3]**Tue, 19 Oct 2021 22:47:40 GMT (86kb)

Link back to: arXiv, form interface, contact.