Minimum of Milnor number for the curve singularities of fixed multiplicity - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T08:28:08Z http://mathoverflow.net/feeds/question/45787 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/45787/minimum-of-milnor-number-for-the-curve-singularities-of-fixed-multiplicity Minimum of Milnor number for the curve singularities of fixed multiplicity Alexei Oblomkov 2010-11-12T04:38:02Z 2010-11-14T19:31:27Z <p>An element $F\in \mathbb{C}[[x,y]]$ defines a germ of plane curve. We assume $F(0,0)=0$. The multiplicity $mult$ of the germ is defined to be a minimal number $i$ such that $F\in m^i$ where $m=(x,y)$ is the maximal ideal in $\mathbb{C}[[x,y]]$. Other standard invariants of the germ are Milnor number:</p> <p>$$\mu=\dim \mathbb{C}[[x,y]]/(\frac{\partial F}{\partial x}, \frac{\partial F}{\partial y})$$</p> <p>and delta invariant:</p> <p>$$\delta=\frac{\mu+r-1}{2}$$</p> <p>where $r$ is number of branches of curve $F=0$ at $(0,0)$.</p> <p>Question: What is the minimum of $\delta$ and $\mu$ among the germs of given multiplicity?</p> http://mathoverflow.net/questions/45787/minimum-of-milnor-number-for-the-curve-singularities-of-fixed-multiplicity/45794#45794 Answer by roy smith for Minimum of Milnor number for the curve singularities of fixed multiplicity roy smith 2010-11-12T05:36:56Z 2010-11-12T09:55:53Z <p>I am not an expert, but I would assume, from reading Walker's plane curves for the polynomial case, that the delta invariant is the sum of the numbers $\frac{n(n-1)}{2}$, summed over all multiplicities $n$ at the given point and all "infinitely near" points. Hence it would seem this number is minimal when there are no infinitely near singular points, e.g. when the point is "ordinary" of multiplicity $n$. Thus the minimal delta invariant at a point of multiplicity $n$ would be $\frac{n(n-1)}{2}$.</p> <p>This ordinary case has $r = n$ branches, the maximum number of branches, so from the formula above, this would seem also to minimize the milnor number, as $n(n-1)+1-n = (n-1)^2$.</p> <p>Does this seem plausible?</p> http://mathoverflow.net/questions/45787/minimum-of-milnor-number-for-the-curve-singularities-of-fixed-multiplicity/45796#45796 Answer by Mike Skirvin for Minimum of Milnor number for the curve singularities of fixed multiplicity Mike Skirvin 2010-11-12T06:02:36Z 2010-11-12T06:02:36Z <p>I think the following should work for $\mu.$ If $F \in m^i,$ then both derivatives of $F$ live in $m^{i-1}.$ Denoting the ideal generated by the partial derivatives by $J_F,$ it follows that $J_F \subset m^{i-1}.$</p> <p>Then $(\mathbb{C}[x,y]/J_F)/(m^{i-1}/J_F) \simeq \mathbb{C}[x,y]/m^{i-1}.$</p> <p>This shows that $\mu = \frac{i(i-1)}{2} + \text{dim }m^{i-1}/J_F.$</p> <p>I think (and this should probably be verified) that this latter dimension is minimized when the two generators of $J_F$ are two generators for $m^{i-1}.$ We could then assume, for example, that $J_F = (x^{i-1}, y^{i-1}).$ Then $\text{dim }m^{i-1}/J_F = i-2$ (with a basis given by $x^{i-2}y, \ldots, xy^{i-2}$).</p> <p>Putting this together gives a minimum $\mu$ value as $\frac{i(i-1)}{2} + i-2.$</p> <p>I notice that this disagrees with Roy Smith's answer above when $i>2$ (my answer is smaller). Perhaps I've made a mistake somewhere?</p> http://mathoverflow.net/questions/45787/minimum-of-milnor-number-for-the-curve-singularities-of-fixed-multiplicity/45803#45803 Answer by Francesco Polizzi for Minimum of Milnor number for the curve singularities of fixed multiplicity Francesco Polizzi 2010-11-12T08:37:02Z 2010-11-14T19:31:27Z <p>As Roy remarked in his answer, the delta invariant of the germ of plane curve singularity $f(x,y)=0$ at $p$ is equal to</p> <p>$\delta(f) = \sum \frac{m_q(m_q-1)}{2}$,</p> <p>where the sum is extended over all the points $q$ which are "infinitely near" to $p$ and $m_q$ denotes the multiplicity at $q$.</p> <p>Then $\delta(f)$ is minimal among germs of a given multiplicity when there are no infinitely near points, in other words when the first blow-up of the germ is smooth. Of course there can be many analitically distinct germs satisfying this property: for instance, both the node and the ordinary cusp do the job among double points.</p> <p>Now, since the Milnor number is equal to</p> <p>$\mu(f)=2 \delta(f)-r(f)+1$,</p> <p>where $r(f)$ is the number of branches, it follows that $\mu(f)$ is minimal among plane singularities of given multiplicity $n$ when $\delta(f)$ is minimal and the number of branches is maximal, in other words when $f=0$ is the "ordinary" $n$-ple point. </p> <p>As an example, for the ordinary double point (node) $y^2=x^3+x^2$ we have</p> <p>$(\delta, \mu)=(1,1)$,</p> <p>whereas the ordinary cusp $y^2=x^3$ satisfies</p> <p>$(\delta, \mu)=(1,2)$.</p> <p>Summing up, the ordinary $n$-ple point is the only germ of plane curve singularity which minimizes <em>both</em> $\delta$ and $\mu$, and the corresponding values are</p> <p>$(\delta, \mu)= (\frac{n(n-1)}{2}, (n-1)^2)$.</p>