Abstract
Let Σ0 and Σ1 be integral homology 3-spheres. They are said to be homology cobordant, or H-cobordant, if there exists a smooth compact oriented 4-manifold W with boundary ∂W= -Σ0 ∪ Σ1 such that the inclusions Σi → W induce isomorphisms H*(Σi, ℤ) → H*(W, ℤ), i = 0, 1. Equivalently, Σ0 and Σ1 are homology cobordant provided (-Σ0) # Σ1 bounds a smooth acyclic 4-manifold, that is a smooth compact oriented 4-manifold W with H*(W, ℤ) = H*(D4, ℤ). Note that we do not require that π;1(W) = 0, only that H1(W, ℤ) = 0. A homology sphere Σ is said to be homology cobordant to zero if it is homology cobordant to S3 or, equivalently, bounds a smooth acyclic 4-manifold. Note that the requirement that the homology cobordism be smooth is essential — it is known [98] that any integral homology 3-sphere bounds a topological compact oriented 4-manifold which is acyclic.