Thanks to recent work of Stipsicz, Szabó and the author [22] and of Bhupal and Stipsicz [1], one has a complete list of resolution graphs of weighted homogeneous complex surface singularities admitting a rational homology disk ("QHD") smoothing, that is, one with Milnor number 0. They fall into several classes, the most interesting of which are the 3 classes whose resolution dual graph has central vertex with valency 4. We give a uniform "quotient construction" of the QHD smoothings for those classes; it is an explicit Q-Gorenstein smoothing, yielding a precise description of the Milnor fibre and its non-abelian fundamental group. This had already been done for two of these classes in [22]; what is new here is the construction of the third class, which is far more difficult. In addition, we explain the existence of two different QHD smoothings for the first class.We also prove a general formula for the dimension of a QHD smoothing component for a rational surface singularity. A corollary is that for the valency 4 cases, such a component has dimension 1 and is smooth. Another corollary is that "most" H -shaped resolution graphs cannot be the graph of a singularity with a QHD smoothing. This result, plus recent work of Bhupal-Stipsicz [1], is evidence for a general conjecture:Conjecture The only complex surface singularities admitting a QHD smoothing are the (known) weighted homogeneous examples.
14B07, 14J17, 32S30Introduction Suppose f W .C 3 ; 0/ ! .C; 0/ is an analytic map germ such that .V; 0/ Á .f 1 .0/; 0/ has an isolated singularity at the origin. Its Milnor fibre M is a "nearby fibre" of f intersected with a small ball about the origin: M D f 1 .ı/ \ B .0/ (0 < jıj j j). M is a manifold of dimension 4, compact with boundary the link L of the singularity, the intersection of X with a small sphere. L is a compact oriented 3-manifold, which can be reconstructed from any resolution of the singularity as the boundary of a tubular neighborhood of the exceptional set. M is simply-connected, and has the homotopy It is natural to consider smoothings of (germs of) arbitrary normal complex surface singularities. That is, one has a flat surjective map f W .V; 0/!.C; 0/, where .V; 0/ has an isolated 3-dimensional singularity, and the fibre .f 1 .0/; 0/Á.V; 0/ is a normal surface singularity. V has a link L as before, and Lê and Hamm showed how to define a Milnor fibre M -again, a Stein filling of L. M need no longer be simply connected, though b 1 .M /D0 (see Greuel and Steenbrink [6] (The W family is [24, 5.9.2].) We found other one-parameter infinite families; all were weighted homogeneous singularities, hence (see Orlik and Wagreich [17]) is star-shaped (a star is a vertex of valency at least 3). Most had a star of valency three; but there were also valency 4 families for each triple. We list the graphs below for each p 2, and name the type via a triple .a; b; cI d/:Geometry & Topology, Volume 15 (2011) Rational homology disk smoothingsThe main goal of the current paper is to give a new and uniform "quotient constr...