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.

3-manifolds Modulo Surgery Triangles

Surgery, Polygons and $SU(N)$-Floer Homology

A general Heegaard Floer surgery formula

Integer surgeries rational homology cobordant to lens spaces

Stably diffeomorphic manifolds and the realisation of modified surgery obstructions

From zero surgeries to candidates for exotic definite four-manifolds

Heegaard Floer homology and cosmetic surgeries in $S^3$

Symplectic Surgery and Gromov-Witten Invariants of Calabi-Yau 3-Folds

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

SU(2)-Cyclic Surgeries on Knots

A Surgery Theory for Manifolds of Bounded Geometry

New geometric structures on 3-manifolds: surgery and generalized geometry

Surgery and Excision for Furuta-Ohta invariants on Homology $S^1 \times S^3$

JSJ decompositions of knot exteriors, Dehn surgery and the $L$-space conjecture

Homology of Curves and Surfaces in Closed Hyperbolic 3-Manifolds

Bounding the Dehn surgery number by 10/8

Heegaard Floer homology and chirally cosmetic surgeries

3-Manifolds and Vafa-Witten Theory

Excluding cosmetic surgeries on hyperbolic 3-manifolds

Surgery Obstructions for Seifert Fibered Homology Spheres

Geometric conemanifold structures on $\mathbb{T}_{p/q}$, the result of $p/q$ surgery in the left-handed trefoil knot $\mathbb{T}$