Abstract:Kreck proved that two $2q$-manifolds are stably diffeomorphic if and only if they admit normally bordant normal $(q-1)$-smoothings over the same normal $(q-1)$-type $(B,\xi)$. We show that stable diffeomorphism can be replaced by diffeomorphism if the normal smoothings have isomorphic Q-forms (which consists of the intersection form of the manifold and the induced homomorphism on $H_q$), when the manifolds are simply-connected, $q=2k$ is even and $H_q(B)$ is free. This proves a special case of Crowley's Q-form conjecture. The basis of the proof is the construction of an extended surgery obstruction associated to a normal bordism. As an application, we identify the inertia group of a $(2k-1)$-connected $4k$-manifold with the kernel of a certain bordism map. By the calculations of Senger-Zhang and earlier results, these kernels are now known in all cases. For $k=2,4$, the combination of these results determines the inertia groups. We also obtain, for a simply-connected $4k$-manifold $M$ with normal $(q-1)$-type $(B,\xi)$ such that $H_q(B)$ is free, an algebraic description of the stable class of $M$, that is, the set of diffeomorphism classes of manifolds stably diffeomorphic to $M$. Using this description, we explicitly compute the stable class of manifolds $M$ with rank-$2$ hyperbolic intersection form.

New Exotic four-manifolds with $\mathbb{Z}/2\mathbb{Z}$ fundamental group

Exotic definite four-manifolds with non-trivial fundamental group

Exotic definite four-manifolds with non-cyclic fundamental group

New constructions and invariants of closed exotic 4-manifolds

Smooth structures on four-manifolds with finite cyclic fundamental groups

Some examples of small irreducible exotic 4-manifolds with free abelian fundamental group

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

From diffeomorphisms to exotic phenomena in small 4-manifolds

From zero surgeries to candidates for exotic definite four-manifolds

Exotic aspherical 4-manifolds

Exotic diffeomorphisms on $4$-manifolds with $b_2^+ = 2$

A recipe for exotic 2-links in closed 4-manifolds whose components are topological unknots

Extended surgery theory for simply-connected $4k$-manifolds

Exotic 4-manifolds with small trisection genus

Exotically knotted 2-spheres and the fundamental groups of their complements

Exotic almost complex circle actions on 6-manifolds

Exotic Dehn twists on 4-manifolds

The structure of 3-manifolds with 2-generated fundamental group

Lantern substitution and new symplectic 4-manifolds with ${b_{2}}^{+} = 3$

An introduction to exotic 4-manifolds

Exotic Dehn twists and homotopy coherent group actions