Mond's conjecture for maps between curves

2017

A theorem by D. Mond shows that if f:(C,0)→C2,0 is finite and has has degree one onto its image (Y, 0), then the Ae-codimension is less than or equal to the image Milnor number μI(f), with equality if and only if (Y, 0) is weighted homogeneous. Here we generalize this result to the case of a map germ f:(X,0)→C2,0, where (X, 0) is a plane curve singularity.