The bi-Lipschitz equisingularity of essentially isolated determinantal singularities (Q1992243): Difference between revisions

The authors introduce the canonical vector field as an infinitesimal device to study the bi-Lipschitz equisingularity of families of essentially isolated singularities. Let \(\tilde {F}:\mathbb C \times \mathbb C^q \to \mathbb C \times\mathrm{Hom}(\mathbb C^m,\mathbb C^n)\), \(\tilde{F}(y,x)=(y, \tilde {f}(y,x))\), \(\tilde {f}(y, x)=f(x)+y \theta(x)\), be a one-parameter family of map-germs defining a family of essentially isolated determinantal singularities in \(\mathbb C^q\). The canonical vector field of \(\tilde {F}\) is defined as \(\frac{\partial}{\partial y}+\Sigma^q_{i=1}\frac{\partial {\tilde f}}{\partial y} \frac{\partial }{\partial x_i}\). The authors give necessary and sufficient conditions for the canonical vector field of \(\tilde F\) to be Lipschitz in terms of the integral closure of the double of the ideal generated by the components of \(\tilde f\). Moreover, they prove that this always holds when \(\theta \) is a constant deformation. Several examples illustrate the results.