While the topological types of normal surface singularities with homology sphere link have been classified, forming a rich class, until recently little was known about the possible analytic structures. We proved in [30] that many of them can be realized as complete intersection singularities of "splice type," generalizing Brieskorn type. We show that a normal singularity with homology sphere link is of splice type if and only if some naturally occurring knots in the singularity link are themselves links of hypersurface sections of the singular point. The Casson Invariant Conjecture (CIC) asserts that for a complete intersection surface singularity whose link is an integral homology sphere, the Casson invariant of that link is one-eighth the signature of the Milnor fiber. In this paper we prove CIC for a large class of splice type singularities. The CIC suggests (and is motivated by the idea) that the Milnor fiber of a complete intersection singularity with homology sphere link Σ should be a 4-manifold canonically associated to Σ. We propose, and verify in a non-trivial case, a stronger conjecture than the CIC for splice type complete intersections: a precise topological description of the Milnor fiber. We also point out recent counterexamples to some overly optimistic earlier conjectures in [28] and [29]. In the parallel paper [30] we give analytic descriptions in terms of splice diagrams for a wide range of topologies of singularities, when the link of the singularity is a Q-homology sphere. The splice diagrams considered there generalize the original splice diagrams of [7,31] in that the numerical weights around a node need not be pairwise coprime. In this paper we restrict to Zhomology sphere links. Our splice diagrams will thus always have pairwise coprime weights around each node, and, by [7] There is a natural notion of "higher weight terms" for a splice type equation, and, by definition, the result of adding higher weight terms is still of splice type 1 (the effect on the singularity is always an equisingular deformation). Thus, for example, the splice type singularities corresponding to one-node splice diagrams are precisely the Brieskorn complete intersection singularities with homology sphere link and their higher weight deformations.
AMS Classification numbersIn an earlier paper [28], we made the over-optimistic Splice Type Conjecture Any Gorenstein surface singularity with integral homology sphere link is a complete intersection of splice type.Implicit in this conjecture was a new necessary condition (the "semigroup condition") on a splice diagram (and hence on a resolution diagram) in order that 1 This differs from [28,29], where higher order terms were not allowed. We now call this "strict splice type."Geometry & Topology, Volume 9 (2005) Complex surface singularities with integral homology sphere links 759 it come from a Gorenstein singularity. After all, a similar semigroup condition on the value semigroup of a curve singularity is well known to characterize the Gorenstein ones. Further, ...