The classification of real singularities using \textsc{Singular}. III: Unimodal singularities of corank 2

From MaRDI portal
Publication:2284972



Abstract: We present a classification algorithm for isolated hypersurface singularities of corank 2 and modality 1 over the real numbers. For a singularity given by a polynomial over the rationals, the algorithm determines its right equivalence class by specifying all representatives in Arnold's list of normal forms (Arnold et al. 1985) belonging to this class, and the corresponding values of the moduli parameter. We discuss how to computationally realize the individual steps of the algorithm for all singularities in consideration, and give explicit examples. The algorithm is implemented in the Singular library realclassify.lib.


In his famous paper [Invent. Math. 35, l87--109 (1976; Zbl 0336.57022)], \textit{V. I. Arnold} presented a classificaton of hypersurface singularities of modality smaller or equal to two over the complex numbers together with a singularity determinator (an algorithm to compute the normal form of a given singularity). Arnold gave also a corresponding classification over the real numbers. The authors developed algorithms to determine the normal form of simple and unimodal singularities over the real numbers. This article is the third part of a series of articles on the algorithmic classification of real singularities up to modality 1 and corank 2. The first article contains the splitting lemma and the case of simple singularities [the authors, J. Symb. Comput. 68, Part 1, 61--71 (2015; Zbl 1304.14008)]. In the second article the complete structure of the equivalence classes of the unimodal real singularities of corank 2 is described answering the question which normal forms of different type are equivalent [the authors, J. Symb. Comput. 74, 346--366 (2016; Zbl 1354.14008)]. In this paper an algorithm is described which computes for \(f\in \langle x,y \rangle^3\subset \mathbb Q[x,y]\) the following data: all real singularity subtypes of \(f\) as well as all normal form equations in the right equivalence class of \(f\) with the respective parameter given as the unique real root of a minimal polynomial over \(\mathbb Q\) in a special interval. The algorithms are implemented in the Singular library realclassify.lib.










This page was built for publication: The classification of real singularities using \textsc{Singular}. III: Unimodal singularities of corank 2

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