# Bounds for the milnor number of a hypersurface singularity

I am having a hard time in finding an upper bound in terms of the degree and the dimension for the Milnor number of an isolated hypersurface singularity. I am mostly interested in surfaces on the projective space. Can some one please give me a hint on this?

Thanks!

• An upper bound in terms of the degree and dimension? Apr 8 '13 at 22:33
• I think the sum of all the Milnor numbers of a hypersurface with only isolated singularities, is the difference between the euler characteristic of the singular hypersurface, and the euler charac. of a smooth hypersurface of the same degree. does that help. It should probably give as upper bound the euler charac. of a smooth one, at least in odd dimensional projective space. e.g. in P^3 a normal cubic hypersurface might have say 9 (or even 7) as an upper bound on the Milnor number of an isolated singularity. does this seem right? just tossing this out for comment since no responses yet. Apr 9 '13 at 23:41
• well you can use the Lefschetz hyperplane theorem to compute cohomology away from middle degree. You can use the top chern class of the tangent bundle to compute the Euler characteristic of the smooth one, and thereby compute its cohomology in the middle degree. The difference will be the Milnor number. As far as I can tell, you don't have any reason to suspect a lower bound for the cohomology of the singular one much better than $0$ in odd dimension and $1$ in even dimension. Apr 11 '13 at 15:44
• I do not think the method suggested by Will and Roy works, as shown by the answer of Dmitry below. Indeed, the Euler characteristic of a smooth hypersurface of degree d in $\mathbb{P}^n$ is $((1−d)^{n+1}−1)/d+ n + 1$, which is quite a bit less than $(d−1)^n$. The point is that the vanishing cycles can come either from the disappearance of $H^{mid}$ or the appearance of $H^{mid+1}$. Of course, $(d−1)^n$ really is an upper bound, since $\mu= \mathrm{dim} \,\mathbb{C}[x_1, \ldots, x_n]/(\partial f/ \partial x_i) \le (d-1)^n$ if finite by Bezout. Jan 14 '14 at 9:34

Well, for the hypersurface $X_d\subset\Bbb{P}^n$ the "most degenerate" isolated singularity is of the type: $\{x^d_1+\cdots+x^d_n=0\}$. Thus, $\mu_{max}=(d-1)^n$. Is this what was meant?