Non-degeneracy of the discriminant

From MaRDI portal
(Redirected from Publication:519925)



Abstract: Let (l,f):(C2,0)ightarrow(C2,0) be the germ of a holomorphic mapping such that l=0 is a smooth curve which is not a branch of the singular curve f=0. The direct image of the critical locus of this mapping is called the discriminant curve. In this paper we study the pairs (l,f) for which the discriminant curve is non-degenerate in the Kouchnirenko sense.


For a plane curve singularity \(f\colon (\mathbb C^2,0)\to (\mathbb C,0)\) and a nonsingular \(l\colon (\mathbb{C}^2,0)\to (\mathbb{C},0)\) (whose zero set is not a component of \(f=0\)), one considers the polar curve of the mapping \((l,f)\) and its image. Any equation for this image is called the discriminant \(\mathcal D(u,v)\). Its Newton diagram is the Jacobian Newton diagram, introduced by \textit{B. Teissier} [Invent. Math. 40, 267--292 (1977; Zbl 0446.32002)]. It depends only on the topological type of \((l,f)\). This paper studies the factorisation of the discriminant. It specifies formulas for the weighted initial forms of each factor. In particular, it is determined for which curves the discriminant is non-degenerate for its Newton diagram. For irreducible \(f\) this is the case if and only if there are no lattice points inside the compact edges. Therefore non-degeneracy depends only on the topological type of \((l,f)\). This is no longer true for reducible curves. The Authors obtain a criterion for non-degeneracy. They give an example of curves with arbitrary many singular branches and non-degenerate discriminants. Finally they show that non-degeneracy of the discriminant of \((l,f)\) depends only on the curve \(f=0\) (with \(l\) fixed). Fot \(f\) unitangent one can also change \(l\), provided it is transverse. An example shows that the condition unitangent cannot be omitted.











This page was built for publication: Non-degeneracy of the discriminant

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q519925)