English

Milnor and Tjurina numbers for smoothings of surface singularities

Algebraic Geometry 2016-03-28 v2

Abstract

For an isolated hypersurface singularity f=0f=0, the Milnor number μ\mu is greater than or equal to the Tjurina number τ\tau (the dimension of the base of the semi-universal deformation), with equality if ff is quasi-homogeneous. K. Saito proved the converse. The same result is true for complete intersections, but is much harder. For a Gorenstein surface singularity (V,0)(V,0), the difference μτ\mu - \tau can be defined whether or not VV is smoothable; it was proved in [23] that it is non-negative, and equal to 0 iff (V,0)(V,0) is quasi-homogeneous. We conjecture a similar result for non-Gorenstein surface singularities. Here, μτ\mu - \tau must be modified so that it is independent of any smoothing. This expression, involving cohomology of exterior powers of the bundle of logarithmic derivations on the minimal good resolution, is conjecturally non-negative, and equal to 0 iff one has quasi-homogeneity. We prove the "if" part; identify special cases where the conjecture is particularly interesting; verify it in some non-trivial cases; and prove it for a \Q\QGorenstein smoothing when the index one cover is a hypersurface. This conjecture is of interest regarding the classification of surface singularities with rational homology disk smoothings, as in [1], [18], [24].

Keywords

Cite

@article{arxiv.1307.6491,
  title  = {Milnor and Tjurina numbers for smoothings of surface singularities},
  author = {Jonathan Wahl},
  journal= {arXiv preprint arXiv:1307.6491},
  year   = {2016}
}

Comments

19 pages, for Eduard Looijenga's 65th birthday, additional references to work of Okuma and K. Watanabe