3
$\begingroup$

Consider this curve $f(x,y)=0$ given by

$$ f(x,y) := y^3 + y^2 x + x^4 =0.$$ Is it obvious that after a change of coordinates near the origin, this curve is equivalent to

$$ \hat{y}^2 \hat{x} + \hat{x}^4 = 0 $$

I think, these are both $D_5$ singularities. It seems like the change of coordinates that would achieve this is of the form

$$ x = \hat{x} - y + c_2 y^2 + c_3 y^3 + \ldots $$

where $x$ is an infinite power series. We can kill off the coefficients of $y^n$, for all $n$. This would give us a factor of $\hat{x}$, i.e we get something of the form $$ f = \hat{x}\cdot g $$ And then we can make another change of coordinate, so that $g$ becomes $$ g = \hat{y}^2 + \hat{x}^3.$$ Is there a simpler way to prove this? And aside from proving the power series converges, is there anything missing in the proof? Everything is over the complex numbers.

$\endgroup$
1
  • 1
    $\begingroup$ Ritwik -- Maybe you should talk to Patricio. He lectured about related things in the student seminar a couple of weeks ago. $\endgroup$ Oct 28, 2011 at 15:14

1 Answer 1

3
$\begingroup$

For classifying plane curves singularities, the "coordinate approach" is not always the better one*. For your question, the general case is in table 1, page 3, C.T.C Wall article" "sextic curves and quartic surfaces with higher multiplicity". For general methods, I recommend, C.T.C Wall article: "Notes in the classification of singularities"

In general, the singularities $J_{r,i}$ or $E_{r,i}$ (the notation is not uniform) are given by $y^3+y^2x^r+x^{3r+i}$ with $r \geq 1$,and $i \geq 0$. In your case $r=i=1$ and the singularity is actually $D_5$. You can recognized it because it has two branches: one smooth, and another one with an $A_2$ singularity. Those branches separates after one blowing up. (see Table A, from the latest reference), and they are the factors that you see in your calculation. This "branch behavior" is the* definition of the $D_5$ singularity, and the normal form is deduced from it. A detailed discussion is in Barth's book in compact complex surfaces, page 79.

I hope it helps!

Psd: I don't see anything missing in your argument, but it is "simpler" by using $D_5$'s resolution.

*to my knowledge/opinion

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.