Complex surface singularities with integral homology sphere links

Neumann, Walter D¹ ; Wahl, Jonathan²

¹ Department of Mathematics, Barnard College, Columbia University, New York, New York 10027, USA
² Department of Mathematics, The University of North Carolina, Chapel Hill, North Carolina 27599-3250, USA

Geometry & topology, Tome 9 (2005) no. 2, pp. 757-811.

Résumé

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 a previous paper 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 $\Sigma$ should be a 4–manifold canonically associated to $\Sigma$. 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.

Détail

DOI : 10.2140/gt.2005.9.757

Keywords: Casson invariant, integral homology sphere, surface singularity, complete intersection singularity, monomial curve, plane curve singularity

Bibliographie

[1] W Barth, C Peters, A Van De Ven, Compact complex surfaces, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], Springer (1984)

[2] R O Buchweitz, G M Greuel, The Milnor number and deformations of complex curve singularities, Invent. Math. 58 (1980) 241

[3] P Cassou-Nogués, A Płoski, Introduction to algebraic plane curve singularities, in preparation

[4] O Collin, Equivariant Casson invariant for knots and the Neumann–Wahl formula, Osaka J. Math. 37 (2000) 57

[5] O Collin, N Saveliev, Equivariant Casson invariants via gauge theory, J. Reine Angew. Math. 541 (2001) 143

[6] C Delorme, Sous-monoïdes d'intersection complète de $N.$, Ann. Sci. École Norm. Sup. $(4)$ 9 (1976) 145

[7] D Eisenbud, W Neumann, Three-dimensional link theory and invariants of plane curve singularities, Annals of Mathematics Studies 110, Princeton University Press (1985)

[8] J Giraud, Improvement of Grauert–Riemenschneider's theorem for a normal surface, Ann. Inst. Fourier (Grenoble) 32 (1982)

[9] H A Hamm, Exotische Sphären als Umgebungsränder in speziellen komplexen Räumen, Math. Ann. 197 (1972) 44

[10] J Herzog, Generators and relations of abelian semigroups and semigroup rings., Manuscripta Math. 3 (1970) 175

[11] J Herzog, E Kunz, Die Wertehalbgruppe eines lokalen Rings der Dimension 1, S.-B. Heidelberger Akad. Wiss. Math. Natur. Kl. (1971) 27

[12] L H Kauffman, W D Neumann, Products of knots, branched fibrations and sums of singularities, Topology 16 (1977) 369

[13] H B Laufer, On generalized Weierstrass points and rings with no prime elements, from: "Riemann surfaces and related topics: Proceedings of the 1978 Stony Brook Conference (State Univ. New York, Stony Brook, N.Y., 1978)", Ann. of Math. Stud. 97, Princeton Univ. Press (1981) 391

[14] Y Lim, The equivalence of Seiberg–Witten and Casson invariants for homology 3–spheres, Math. Res. Lett. 6 (1999) 631

[15] C Lescop, Invariant de Casson–Walker des sphères d'homologie rationnelle fibrées de Seifert, C. R. Acad. Sci. Paris Sér. I Math. 310 (1990) 727

[16] C Lescop, Global surgery formula for the Casson–Walker invariant, Annals of Mathematics Studies 140, Princeton University Press (1996)

[17] I Luengo-Velasco, A Melle-Hernández, A Némethi, Links and analytic invariants of superisolated singularities, J. Algebraic Geom. 14 (2005) 543

[18] J Milnor, Singular points of complex hypersurfaces, Annals of Mathematics Studies 61, Princeton University Press (1968)

[19] A Némethi, “Weakly” elliptic Gorenstein singularities of surfaces, Invent. Math. 137 (1999) 145

[20] R Mendris, A Némethi, The link of $f(x,y)+z^n=0$ and Zariski's conjecture, Compos. Math. 141 (2005) 502

[21] A Némethi, L I Nicolaescu, Seiberg–Witten invariants and surface singularities, Geom. Topol. 6 (2002) 269

[22] A Némethi, L I Nicolaescu, Seiberg–Witten invariants and surface singularities II: Singularities with good $\mathbb C^*$–action, J. London Math. Soc. $(2)$ 69 (2004) 593

[23] A Némethi, L I Nicolaescu, Seiberg–Witten invariants and surface singularities III: splicings and cyclic covers, Selecta Math. $($N.S.$)$ 11 (2005) 399

[24] W D Neumann, Cyclic suspension of knots and periodicity of signature for singularities, Bull. Amer. Math. Soc. 80 (1974) 977

[25] W D Neumann, A calculus for plumbing applied to the topology of complex surface singularities and degenerating complex curves, Trans. Amer. Math. Soc. 268 (1981) 299

[26] W Neumann, J Wahl, Casson invariant of links of singularities, Comment. Math. Helv. 65 (1990) 58

[27] W D Neumann, F Raymond, Seifert manifolds, plumbing, $\mu $–invariant and orientation reversing maps, from: "Algebraic and geometric topology (Proc. Sympos., Univ. California, Santa Barbara, Calif., 1977)", Lecture Notes in Math. 664, Springer (1978) 163

[28] W D Neumann, J Wahl, Universal abelian covers of surface singularities, from: "Trends in singularities", Trends Math., Birkhäuser (2002) 181

[29] W D Neumann, J Wahl, Universal abelian covers of quotient-cusps, Math. Ann. 326 (2003) 75

[30] W D Neumann, J Wahl, Complete intersection singularities of splice type as universal abelian covers, Geom. Topol. 9 (2005) 699

[31] L Siebenmann, On vanishing of the Rohlin invariant and nonfinitely amphicheiral homology 3–spheres, from: "Topology Symposium, Siegen 1979 (Proc. Sympos., Univ. Siegen, Siegen, 1979)", Lecture Notes in Math. 788, Springer (1980) 172

[32] B Teissier, Introduction to curve singularities, from: "Singularity theory (Trieste, 1991)", World Sci. Publ., River Edge, NJ (1995) 866

[33] M Tomari, K Watanabe, Filtered rings, filtered blowing-ups and normal two-dimensional singularities with “star-shaped” resolution, Publ. Res. Inst. Math. Sci. 25 (1989) 681

[34] J Wahl, Smoothings of normal surface singularities, Topology 20 (1981) 219

[35] K Watanabe, Some examples of one dimensional Gorenstein domains, Nagoya Math. J. 49 (1973) 101

[36] O Zariski, Le problème des modules pour les branches planes, École Polytechnique (1973)