We present an algorithm which, given a deformation with section of a reduced plane curve singularity, computes equations for the equisingularity stratum (that is, the µ-constant stratum in characteristic 0) in the parameter space of the deformation. The algorithm works for any, not necessarily reduced, parameter space and for algebroid curve singularities C defined over an algebraically closed field of characteristic 0 (or of characteristic p > ord(C)). It provides at the same time an algorithm for computing the equisingularity ideal of J. Wahl. The algorithms have been implemented in the computer algebra system Singular. We show them at work by considering two non-trivial examples. As the article is also meant for non-specialists in singularity theory, we include a short survey on new methods and results about equisingularity in characteristic 0.
Dedicated to the memory of Sevin RecillasRecall that for a reduced plane curve singularity (C, 0) = {f = 0} ⊂ (C 2 , 0) defined by a (square-free) power series f ∈ O C 2 ,0 = C{x, y}, the invariants µ, r, and δ are defined as follows:Here, O C,0 = O C 2 ,0 / f and O C,0 is the normalization of O C,0 , that is, the integral closure of O C,0 in its total ring of fractions. Furthermore, for each reduced plane curve singularity we have the relation (due to Milnor [Mi]) µ = 2δ − r + 1 .2 By a theorem of Lazzeri, if µ(Ct) = x∈Sing(Ct) µ(Ct, x) = µ(C, 0) for t ∈ T then there is automatically a section σ such that Ct σ(t) is smooth and µ(Ct, σ(t)) is constant.