Simply-connected 4-manifolds with a given boundary (Q689940)

In [Trans. Am. Math. Soc. 298, 331-357 (1986; Zbl 0615.57008)] \textit{St. Boyer} studied the extension of the classification of simply connected 4- manifolds due to \textit{M. H. Freedman} and \textit{F. Quinn} [J. Differ. Geom. 17, 357-453 (1982; Zbl 0528.57011), ibid. 503-521 (1982; Zbl 0533.57009); Topology of 4-manifolds (1990; Zbl 0705.57001)] to the bounded case with a given 3-manifold boundary \(M\). He provided the algebraic notion of a presentation of \(H_ *(M)\) by a symmetric bilinear form \((\mathbb{Z}^ n,L)\) which is an exact sequence algebraicizing the one occurring from the long exact sequence of the pair \((V,M)\) when \(\partial V=M\), when \(V\) is simply connected. Boyer defined certain double coset spaces of these presentations and a map from the set \({\mathcal V}_ L (M)\) of all oriented homeomorphism types of compact, simply connected oriented 4-manifolds with boundary \(M\) and intersection pairing isomorphic to \((\mathbb{Z}^ n,L)\) to these double coset spaces, showing that this map is injective. This paper completes the classification of \({\mathcal V}_ L (M)\) started by Boyer by proving that Boyer's map is also surjective by showing the existence of a simply connected 4-manifold realizing a given coset. The 4-manifold \(V\) is constructed as the complement of a \(\pi_ 1\)-negligible embedding of a model \(V_ 0\) into a closed simply connected 4-manifold \(W\), where \(W\) and the embedding are constructed using the above cited work of Freedman and Quinn. \textit{St. Boyer} [Comment. Math. Helv. 68, No. 1, 20-47 (1993; Zbl 0790.57009)] has independently completed this classification.