English

A remark on isolated complex hypersurface singularities

Algebraic Geometry 2026-04-28 v2

Abstract

This is now an expository note about the following classical problem. Let (X,0)(X, \bf 0) be the germ of a hypersurface in (Cn,0)(\mathbb C^n,\bf 0) with an ordinary singularity of multiplicity mm at the origin 0\bf 0. A natural question to ask is whether XX and its tangent cone at the origin are analytically isomorphic. The answer is negative in general, in view of a theorem of Kioji Saito. However there is an integer D(n,m)>mD(n,m)>m such that, given a \emph{regular} homogeneous polynomial f(x1,,xn)f(x_1,\ldots, x_n) of degree mm (this means that {f=0}\{ f=0\} is a smooth hypersurface in \PPn1\PP^{n-1}) then, for all dD(n,m)d\geq D(n,m), any convergent power series of the form g=f+o(d)g=f+ o(d) (here, as usual, o(d)o(d) stays for a power series of order at least dd), defines a germ {g=0}\{ g=0\} which is analytically equivalent to the germ {f=0}\{ f=0\}. In this note we compute D(n,m)D(n,m) explicitly as n(m2)+1n(m-2)+1. We also give an extension to the case in which ff is a quasihomogeneous polynomial. It was pointed out that the value of D(n,m)D(n,m) was already known by \cite[Exercise 7.31]{D}.

Keywords

Cite

@article{arxiv.2604.14729,
  title  = {A remark on isolated complex hypersurface singularities},
  author = {Fabrizio Catanese and Ciro Ciliberto and Concettina Galati},
  journal= {arXiv preprint arXiv:2604.14729},
  year   = {2026}
}

Comments

7 pages

R2 v1 2026-07-01T12:12:12.413Z