SHADOWS, DISCRIMINANT AND DIRECT IMAGES OF PLANE CURVE SINGULARITIES

Abstract

We prove that the images of irreducible germs of plane curves by a germ of analytic morphism φ have a certain contact either with branches of the discriminant of φ or with certain infinitesimal structures (shadows) that arise from the branches of the Jacobian of φ that are mapped to a point (and therefore give rise to no branch of the discriminant).