Milnor number

Geometric interpretation

Milnor originally introduced ${\displaystyle \mu (f)}$ in geometric terms in the following way. All fibers ${\displaystyle f^{-1}(c)}$ for values ${\displaystyle c}$ close to ${\displaystyle 0}$ are nonsingular manifolds of real dimension ${\displaystyle 2(n-1)}$. Their intersection with a small open disc ${\displaystyle D_{ϵ}}$ centered at ${\displaystyle 0}$ is a smooth manifold ${\displaystyle F}$ called the Milnor fiber. Up to diffeomorphism ${\displaystyle F}$ does not depend on ${\displaystyle c}$ or ${\displaystyle ϵ}$ if they are small enough. It is also diffeomorphic to the fiber of the Milnor fibration map.

The Milnor fiber ${\displaystyle F}$ is a smooth manifold of dimension ${\displaystyle 2(n-1)}$ and has the same homotopy type as a bouquet of ${\displaystyle \mu (f)}$ spheres ${\displaystyle S^{n-1}}$. This is to say that its middle Betti number ${\displaystyle b_{n-1}(F)}$ is equal to the Milnor number and it has homology of a point in dimension less than ${\displaystyle n-1}$. For example, a complex plane curve near every singular point ${\displaystyle z_0}$ has its Milnor fiber homotopic to a wedge of ${\displaystyle {\mu }_{z_0}(f)}$ circles (Milnor number is a local property, so it can have different values at different singular points).

Thus the following equalities hold:

Milnor number = number of spheres in the wedge = middle Betti number of ${\displaystyle F}$ = degree of the map ${\displaystyle z\to \frac{\mathrm{\nabla }f(z)}{\Vert \mathrm{\nabla }f(z)\Vert }}$ on ${\displaystyle S_{ϵ}}$ = multiplicity of the gradient ${\displaystyle \mathrm{\nabla }f}$

Another way of looking at Milnor number is by perturbation. It is said that a point is a degenerate singular point, or that f has a degenerate singularity, at ${\displaystyle z_0\in {\mathbb{C}}^n}$ if ${\displaystyle z_0}$ is a singular point and the Hessian matrix of all second order partial derivatives has zero determinant at ${\displaystyle z_0}$:

${\displaystyle det{\left(\frac{{\mathrm{\partial }}^{2}f}{\mathrm{\partial }{z}_i\mathrm{\partial }{z}_j}\right)}_{1\le i\le j\le n}^{z=z_0}=0.}$

It is assumed that f has a degenerate singularity at 0. The multiplicity of this degenerate singularity may be considered by thinking about how many points are infinitesimally glued. If the image of f is now perturbed in a certain stable way the isolated degenerate singularity at 0 will split up into other isolated singularities which are non-degenerate. The number of such isolated non-degenerate singularities will be the number of points that have been infinitesimally glued.

Precisely, another function germ g which is non-singular at the origin is taken and considered the new function germ h := f + εg where ε is very small. When ε = 0 then h = f. The function h is called the morsification of f. It is very difficult to compute the singularities of h, and indeed it may be computationally impossible. This number of points that have been infinitesimally glued, this local multiplicity of f, is exactly the Milnor number of f.

Further contributions give meaning to Milnor number in terms of dimension of the space of versal deformations, i.e. the Milnor number is the minimal dimension of parameter space of deformations that carry all information about initial singularity.

Examples

Given below are some worked examples of polynomials in two variables. Working with only a single variable is too simple and does not give an appropriate illustration of the techniques, whereas working with three variables can be cumbersome. Note that if f is only holomorphic and not a polynomial, then the power series expansion of f can be used.

1

Consider a function germ with a non-degenerate singularity at 0, say ${\displaystyle f(x,y)=x^2+y^2}$. The Jacobian ideal is just ${\displaystyle ⟨2x,2y⟩=⟨x,y⟩}$. Computing the local algebra:

${\displaystyle {\mathcal{A}}_f=\mathcal{O}/⟨x,y⟩=⟨1⟩.}$

Hadamard's lemma, which says that any function ${\displaystyle h\in \mathcal{O}}$ may be written as

${\displaystyle h(x,y)=k+x{h}_1(x,y)+y{h}_2(x,y)}$

for some constant k and functions ${\displaystyle h_1}$ and ${\displaystyle h_2}$ in ${\displaystyle \mathcal{O}}$ (where either ${\displaystyle h_1}$ or ${\displaystyle h_2}$ or both may be exactly zero), justifies this. So, modulo functional multiples of x and y, the function h may be written as a constant. The space of constant functions is spanned by 1, hence ${\displaystyle {\mathcal{A}}_f=⟨1⟩}$

It follows that μ(f) = 1. It is easy to check that for any function germ g with a non-degenerate singularity at 0, μ(g) = 1.

Note that applying this method to a non-singular function germ g yields μ(g) = 0.

2

Let ${\displaystyle f(x,y)=x^3+x{y}^2}$, then

${\displaystyle {\mathcal{A}}_f=\mathcal{O}/⟨3x^2+y^2,xy⟩=⟨1,x,y,x^2⟩.}$

So in this case ${\displaystyle \mu (f)=4}$.

3

It may be shown that if ${\displaystyle f(x,y)=x^2{y}^2+y^3}$ then ${\displaystyle \mu (f)=\mathrm{\infty }.}$

This can be explained by the fact that f is singular at every point of the x-axis.

Versal deformations

Let f have finite Milnor number μ, and let ${\displaystyle g_1,\dots ,g_{\mu }}$ be a basis for the local algebra, considered as a vector space. Then a miniversal deformation of f is given by

${\displaystyle F:({\mathbb{C}}^n\times {\mathbb{C}}^{\mu },0)\to (\mathbb{C},0),}$

${\displaystyle F(z,a):=f(z)+a_1{g}_1(z)+\cdots +a_{\mu }{g}_{\mu }(z),}$

where ${\displaystyle (a_1,\dots ,a_{\mu })\in {\mathbb{C}}^{\mu }}$. These deformations (or unfoldings) are of great interest in much of science.

Invariance

Function germs can be collected together to construct equivalence classes. One standard equivalence is A-equivalence. It is said that two function germs ${\displaystyle f,g:({\mathbb{C}}^n,0)\to (\mathbb{C},0)}$ are A-equivalent if there exist diffeomorphism germs ${\displaystyle \varphi :({\mathbb{C}}^n,0)\to ({\mathbb{C}}^n,0)}$ and ${\displaystyle \psi :(\mathbb{C},0)\to (\mathbb{C},0)}$ such that ${\displaystyle f\circ \varphi =\psi \circ g}$: there exists a diffeomorphic change of variable in both domain and range which takes f to g. If f and g are A-equivalent then μ(f) = μ(g).

Nevertheless, the Milnor number does not offer a complete invariant for function germs, i.e. the converse is false: there exist function germs f and g with μ(f) = μ(g) which are not A-equivalent. To see this consider ${\displaystyle f(x,y)=x^3+y^3}$ and ${\displaystyle g(x,y)=x^2+y^5}$. This yields ${\displaystyle \mu (f)=\mu (g)=4}$ but f and g are clearly not A-equivalent since the Hessian matrix of f is equal to zero while that of g is not (and the rank of the Hessian is an A-invariant, as is easy to see).