Homology cobordism group of homology 3-spheres (Q753193)

The author, generalizing an argument of R. Fintushel and R. Stern, proves that \(\Theta^ H_ 3\), the integral cobordism group of oriented integral homology 3-spheres, has a subgroup isomorphic to \({\mathbb{Z}}^{\infty}\). The proof (that depends also on a paper of C. H. Taubes on gauge theory on end-periodic 4-manifolds) is given mapping Seifert fibered homology 3-spheres isomorphically to \({\mathbb{Z}}^{\infty}\) in the \({\mathbb{Z}}_ 2\)-homology cobordism group of oriented \({\mathbb{Z}}_ 2\)-homology 3-spheres. The referee pointed out that Fintushel and Stern proved some similar result in a not yet published paper.