×

Classification of 3-dimensional isolated rational hypersurface singularities with \(\mathbb{C}^*\)-action. (English) Zbl 1112.14005

Rational double points of surfaces have been classified by M. Artin [Am. J. Math. 88, 129–136 (1966; Zbl 0142.18602)] about forty years ago. He identified their equations in a list which is usually denoted ADE. They are known to be the absolutely isolated double points of surfaces which appear (up to quadratic suspension) on hypersurfaces in all dimensions.
But there is another way to generalize this notion to higher dimensions: A rational singularity is defined by the condition, that the higher direct images of the structure sheaf on a resolution vanish. Compared to surfaces, the classification of 3-dimensional isolated rational hypersurface singularities with \(\mathbb C^*\)-action gives many additional cases, classified by the authors in the article under review. Let \(h\) be a complex weighted homogeneous polynomial in 4 variables, then its zero-set \(V\) can be deformed into one of 19 (known) classes of weighted homogeneous singularities while keeping the differential structure of the link \(K_V:=V\cap S^7\) constant. The authors show that those deformations actually preserve weights and the embedded topological type. Rationality is equivalent with vanishing of the geometric genus \(p_g\) of the singularity. Using a theorem of M. Merle and B. Teissier [Semin. sur les singularites des surfaces, Cent. Math. Ec. Polytech., Palaiseau 1976–77, Lect. Notes Math. 777, 229–245 (1980; Zbl 0461.14009)] the number \(p_g\) can be calculated from the weights of the weighted homogeneous polynomial.
The authors give the list of equations of rational 3-dimensional isolated hypersurface singularities with \(\mathbb C^*\)-action for all cases, where conditions on the exponents are expressed by a linear form. Evaluating these conditions leads to a list of about 17 pages, which can be found in the extended online-version of the paper [math.AG/0303302]. This valuable result is given without detailed proof, some parts are obtained using a computer algebra system.
Reviewer’s remark: Of course, when the computer wasn’t part of a mathematicians day to day life it was usual as well to omit lengthy and complicated calculations. But it may be questioned today, whether it wasn’t appropriate to include more details at least in the electronic version, since otherwise in a reasonable time it is nearly impossible to check such a list for correctness. Note that there was an alternative way the authors could obtain the rational cases in the 19 general classes, using a result of H. Flenner [Arch. Math. 36, 35–44 (1981; Zbl 0454.14001)]: Let \((\omega _1, \dots ,\omega _4)\) be the normalized weights and \(s= 4-2\cdot \sum \omega _i\) Saito’s invariant. Then rationality is equivalent to \(s<2\).

MSC:

14B05 Singularities in algebraic geometry
32S25 Complex surface and hypersurface singularities
14J17 Singularities of surfaces or higher-dimensional varieties

Software:

Maple
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] V.I. Arnold, Normal forms of functions in neighborhoods of degenerate critical points , Russian Math. Surveys 29 (1975), 10-50. · Zbl 0304.57018
[2] M. Artin, On isolated rational singularities of surfaces , Amer. J. Math. 88 (1966), 129-136. JSTOR: · Zbl 0142.18602
[3] D. Burns, On rational singularities in dimension \(&gt;2\) , Math. Ann. 211 (1974), 237-244. · Zbl 0278.32009
[4] B.W. Char, et al., MAPLE V, Language reference manual , Springer Verlag, New York, 1991. · Zbl 0758.68038
[5] M.A. Kannowski, Simply connected four manifolds obtained from weighted homogeneous polynomials , Dissertation, The University of Iowa, 1986.
[6] A.G. Kouchnirenko, Polyèdres de Newton et nombres de Milnor , Invent. Math. 32 (1976), 1-31. · Zbl 0328.32007
[7] H.S. Luk, S.S.-T. Yau and Y. Yu, Algebraic classification and obstructions to embedding of strongly pseudoconvex compact \(3\)-dimensional CR manifolds in \(^3\), Math. Nachr. 170 (1994), 183-200. · Zbl 0831.32010
[8] M. Merle and B. Teissier, Conditions d’adjonction d’aprés Du Val , Séminaire sur les Singularités des Surfaces (Centre de Math. de l’Ecole Polytechnique, 1976-1977), Lecture Notes in Math., vol. 777, Springer, Berlin, 1980, pp. 229-245.
[9] P. Orlik and R. Randell, The monodromy of weighted homogeneous singularities , Invent. Math. 39 (1977), 199-211. · Zbl 0341.14001
[10] P. Orlik and P. Wagreich, Isolated singularities of algebraic surfaces with \(^*\)-action , Ann. of Math. 93 (1971), 205-228. JSTOR: · Zbl 0212.53702
[11] Y.-J. Xu and S.S.-T. Yau, Classification of topological types of isolated quasi-homogeneous two dimensional hypersurface singularities , Manuscripta Math. 64 (1989), 445-469. · Zbl 0681.32008
[12] ——–, Topological types of seven classes of isolated singularities with \(^*\)-action , Rocky Mountain J. Math. 22 (1992), 1147-1215. · Zbl 0776.32031
[13] S.S.-T. Yau, Topological types of isolated hypersurface singularities , Contemp. Math., vol. 101, Amer. Math. Soc., Providence, 1989, pp. 303-321. · Zbl 0699.14001
[14] ——–, Two theorems on higher dimensional singularities , Math. Ann. 231 (1977), 55-59. · Zbl 0343.32010
[15] ——–, Sheaf cohomology on \(1\)-convex manifolds , in Recent developments in several complex variables , Ann. of Math. Stud., vol. 100, Princeton Univ. Press, 1981, pp. 429-452.
[16] S.S.-T. Yau and Y. Yu, Algebraic classification of rational CR structures on topological \(5\)-sphere with transversal holomorphic \(S^1\)-action in \(^4\) , Math. Nach. 246 - 247 (2002), 207-233. · Zbl 1019.32021
[17] ——–, Classification of \(3\)-dimensional isolated rational hypersurface singularities with \(^*\)-action , eprint =
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.