The end curve theorem for normal complex surface singularities (Q967465): Difference between revisions

The authors prove the ``End Curve Theorem'', which states that a normal surface singularity \((X,o)\) with rational homology sphere link \(\Sigma\) is a splice quotient singularity if and only if it has an end curve function for each leaf of a good resolution tree. An ``end curve function'' is an analytic function \((X,o) \to (\mathbb C,0)\) whose zero set intersects \(\Sigma\) in the knot given by a meridian curve of the exceptional curve corresponding to the given leaf. A ``splice quotient singularity'' \((X,o)\) is described by giving an explicit set of equations describing its universal abelian cover as a complete intersection in \(\mathbb C^t,\) where \(t\) is the number of leaves in the resolution graph for \((X,o),\) together with an explicit description of the covering transformation group. Among the consequences of this result are the previously known results: \((X,o)\) is a splice quotient if it is weighted homogeneous [the first author, Trans. Am. Math. Soc. 268, 299--343 (1981; Zbl 0546.57002)], or rational or minimally elliptic [\textit{T. Okuma}, J. Lond. Math. Soc., II. Ser. 70, No.~2, 307--324 (2004; Zbl 1066.14006)].