论文信息 - The classification of real singularities using Singular Part III: Unimodal singularities of corank 2

The classification of real singularities using Singular Part III: Unimodal singularities of corank 2

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 stable 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. By specifying, in addition, the inertia index, the right equivalence class of the singularity is determined. We discuss how to computationally realize the individual steps of the algorithm for all singularities under consideration, and give explicit examples. The algorithm is implemented in the Singular library realclassify.lib .

Magdaleen S. Marais | Andreas Steenpass | Janko Boehm | J. Boehm | Andreas Steenpaß

[1] Hans Schönemann,et al. SINGULAR: a computer algebra system for polynomial computations , 2001, ACCA.

[2] S. Basu,et al. Algorithms in real algebraic geometry , 2003 .

[3] Gerhard Pfister,et al. Local Analytic Geometry , 2013 .

[4] Frédéric Bihan,et al. Maximally positive polynomial systems supported on circuits , 2015, J. Symb. Comput..

[5] Gert-Martin Greuel,et al. Introduction to Singularities and Deformations , 2007 .

[6] Magdaleen S. Marais,et al. The classification of real singularities using Singular. Part II , 2015 .

[7] Magdaleen S. Marais,et al. The classification of real singularities using Singular. Part II: The structure of the equivalence classes of the unimodal singularities , 2013, J. Symb. Comput..

[8] Andrew J. Sommese,et al. The numerical solution of systems of polynomials - arising in engineering and science , 2005 .

[9] Magdaleen S. Marais,et al. A Classification Algorithm for Complex Singularities of Corank and Modality up to Two , 2016, 1604.04774.

[10] Vladimir I. Arnold,et al. NORMAL FORMS OF FUNCTIONS IN NEIGHBOURHOODS OF DEGENERATE CRITICAL POINTS , 1974 .

[11] G. Greuel,et al. A Singular Introduction to Commutative Algebra , 2002 .

[12] Magdaleen S. Marais,et al. The classification of real singularities using Singular Part I: Splitting Lemma and simple singularities , 2013, J. Symb. Comput..