-
Moduli Parameters of Complex Singularities with Non-Degenerate Newton Boundary
Authors:
Janko Boehm,
Magdaleen S. Marais,
Gerhard Pfister
Abstract:
Our recent extension of Arnold's classification includes all singularities of corank up to two equivalent to a germ with a non-degenerate Newton boundary, thus broadening the classification's scope significantly by a class which is unbounded with respect to modality and Milnor number. This method is based on proving that all right-equivalence classes within a mu-constant stratum can be represented…
▽ More
Our recent extension of Arnold's classification includes all singularities of corank up to two equivalent to a germ with a non-degenerate Newton boundary, thus broadening the classification's scope significantly by a class which is unbounded with respect to modality and Milnor number. This method is based on proving that all right-equivalence classes within a mu-constant stratum can be represented by a single normal form derived from a regular basis of a suitably selected special fiber. While both Arnold's and our preceding work on normal forms addresses the determination of a normal form family containing the given germ, this paper takes the next natural step: We present an algorithm for computing for a given germ the values of the moduli parameters in its normal form family, that is, a normal form equation in its stable equivalence class. This algorithm will be crucial for understanding the moduli stacks of such singularities. The implementation of this algorithm, along with the foundational classification techniques, is implemented in the library arnold.lib for the computer algebra system Singular.
△ Less
Submitted 7 February, 2024;
originally announced February 2024.
-
Massively Parallel Modular Methods in Commutative Algebra and Algebraic Geometry
Authors:
Dirk Basson,
Janko Boehm,
Magdaleen S. Marais,
Mirko Rahn,
Hobihasina P. Rakotoarisoa
Abstract:
Computations over the rational numbers often encounter the problem of intermediate coefficient growth. A solution to this is provided by modular methods, which apply the algorithm under consideration modulo a number of primes and then lift the results to the rationals. We present a novel, massively parallel framework for modular computations with polynomial data, which is able to cover a broad spe…
▽ More
Computations over the rational numbers often encounter the problem of intermediate coefficient growth. A solution to this is provided by modular methods, which apply the algorithm under consideration modulo a number of primes and then lift the results to the rationals. We present a novel, massively parallel framework for modular computations with polynomial data, which is able to cover a broad spectrum of applications in commutative algebra and algebraic geometry. We demonstrate the framework's effectiveness in Groebner basis computations over the rationals and algorithmic methods from birational geometry. In particular, we develop algorithms to compute images and domains of rational maps, as well as determining invertibility and computing inverses.
Our implementation is based on the Singular/GPI-Space framework, which uses the computer algebra system Singular as computational backend, while coordination and communication of parallel computations is handled by the workflow management system GPI-Space, which relies on Petri nets as its mathematical modeling language. Convenient installation is realized through the package manager Spack. Relying on Petri nets, our approach provides automated parallelization and balancing of the load between computation, lifting, stabilization testing, and potential verification. We use error tolerant rational reconstruction to ensure termination as long as for a fixed computation there exist only finitely many bad primes. Via stabilization testing, our approach automatically finds with high probablity a minimal set of primes required for the successful reconstruction.
We present timings to illustrate the potential for a game changing improvement of performance over previous modular and non-modular methods. In particular, we illustrate that the approach scales very well with the number of processor cores used for the computation.
△ Less
Submitted 21 January, 2024;
originally announced January 2024.
-
Classification of Complex Singularities with Non-Degenerate Newton Boundary
Authors:
Janko Boehm,
Magdaleen S. Marais,
Gerhard Pfister
Abstract:
In his groundbreaking work on classification of singularities with regard to right and stable equivalence of germs, Arnold has listed normal forms for all isolated hypersurface singularities over the complex numbers with either modality less than or equal to two or Milnor number less than or equal to 16. Moreover, he has described an algorithmic classifier, which determines the type of a given suc…
▽ More
In his groundbreaking work on classification of singularities with regard to right and stable equivalence of germs, Arnold has listed normal forms for all isolated hypersurface singularities over the complex numbers with either modality less than or equal to two or Milnor number less than or equal to 16. Moreover, he has described an algorithmic classifier, which determines the type of a given such singularity. In the present paper, we extend Arnold's work to a large class of singularities which is unbounded with regard to modality and Milnor number. We develop an algorithmic classifier, which determines a normal form for any singularity with corank less than or equal to two which is equivalent to a germ with non-degenerate Newton boundary in the sense of Kouchnirenko. In order to realize the classifier, we prove a normal form theorem: Suppose K is a mu-constant stratum of the jet space which contains a germ with a non-degenerate Newton boundary. We first observe that all germs in K are equivalent to some germ with the same fixed non-degenerate Newton boundary. We then prove that all right-equivalence classes of germs in K can be covered by a single normal form obtained from a regular basis of an appropriately chosen special fiber. All algorithms are implemented in the library arnold.lib for the computer algebra system Singular.
△ Less
Submitted 20 October, 2020;
originally announced October 2020.
-
A Classification Algorithm for Complex Singularities of Corank and Modality up to Two
Authors:
Janko Boehm,
Magdaleen S. Marais,
Gerhard Pfister
Abstract:
In (Arnold, 1985), V.I. Arnold has obtained normal forms and has developed a classifier for, in particular, all isolated hypersurface singularities over the complex numbers up to modality 2. Building on a series of 105 theorems, this classifier determines the type of the given singularity. However, for positive modality, this does not fix the right equivalence class of the singularity, since the v…
▽ More
In (Arnold, 1985), V.I. Arnold has obtained normal forms and has developed a classifier for, in particular, all isolated hypersurface singularities over the complex numbers up to modality 2. Building on a series of 105 theorems, this classifier determines the type of the given singularity. However, for positive modality, this does not fix the right equivalence class of the singularity, since the values of the moduli parameters are not specified. In this paper, we present a simple classification algorithm for isolated hypersurface singularities of corank and modality up to two. For a singularity given by a polynomial over the rationals, the algorithm determines its right equivalence class by specifying a polynomial representative in Arnold's list of normal forms.
△ Less
Submitted 26 August, 2016; v1 submitted 16 April, 2016;
originally announced April 2016.
-
3D printing dimensional calibration shape: Clebsch Cubic
Authors:
Andre F. van der Merwe,
Janko Boehm,
Magdaleen S. Marais
Abstract:
3D printing and other layer manufacturing processes are challenged by dimensional accuracy. Several techniques are used to validate and calibrate dimensional accuracy through the complete building envelope. The validation process involves the growing and measuring of a shape with known parameters. The measured result is compared with the intended digital model. Processes with the risk of deformati…
▽ More
3D printing and other layer manufacturing processes are challenged by dimensional accuracy. Several techniques are used to validate and calibrate dimensional accuracy through the complete building envelope. The validation process involves the growing and measuring of a shape with known parameters. The measured result is compared with the intended digital model. Processes with the risk of deformation after time or post processing may find this technique beneficial. We propose to use objects from algebraic geometry as test shapes. A cubic surface is given as the zero set of a 3rd degree polynomial with 3 variables. A class of cubics in real 3D space contains exactly 27 real lines. We provide a library for the computer algebra system Singular which, from 6 given points in the plane, constructs a cubic and the lines on it. A surface shape derived from a cubic offers simplicity to the dimensional comparison process, in that the straight lines and many other features can be analytically determined and easily measured using non-digital equipment. For example, the surface contains so-called Eckardt points, in each of which three of the lines intersect, and also other intersection points of pairs of lines. Distances between these intersection points can easily be measured, since the points are connected by straight lines. At all intersection points of lines, angles can be verified. Hence, many features distributed over the build volume are known analytically, and can be used for the validation process. Due to the thin shape geometry the material required to produce an algebraic surface is minimal. This paper is the first in a series that proposes the process chain to first define a cubic with a configuration of lines in a given print volume and then to develop the point cloud for the final manufacturing. Simple measuring techniques are recommended.
△ Less
Submitted 30 December, 2015;
originally announced December 2015.
-
The Classification of Real Singularities Using Singular. Part III: Unimodal Singularities of Corank 2
Authors:
Janko Boehm,
Magdaleen S. Marais,
Andreas Steenpass
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 par…
▽ More
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.
△ Less
Submitted 22 February, 2018; v1 submitted 30 December, 2015;
originally announced December 2015.
-
Mora's holy grail: Algorithms for computing in localizations at prime ideals
Authors:
Magdaleen S. Marais,
Yue Ren
Abstract:
This article discusses a computational treatment of the localization A_L of an affine coordinate ring A at a prime ideal L and its associated graded ring Gr_a(A_L) with the means of standard basis techniques. Building on Mora's work, we present alternative proofs on two of the central statements and expand on the applications mentioned by Mora: resolutions of ideals, systems of parameters and Hilb…
▽ More
This article discusses a computational treatment of the localization A_L of an affine coordinate ring A at a prime ideal L and its associated graded ring Gr_a(A_L) with the means of standard basis techniques. Building on Mora's work, we present alternative proofs on two of the central statements and expand on the applications mentioned by Mora: resolutions of ideals, systems of parameters and Hilbert polynomials, as well as dimension and regularity of A_L. All algorithms are implemented in the library graal.lib for the computer algebra system Singular.
△ Less
Submitted 7 April, 2015;
originally announced April 2015.
-
The Classification of Real Singularities Using SINGULAR. Part II: The Structure of the Equivalence Classes of the Unimodal Singularities
Authors:
Magdaleen S. Marais,
Andreas Steenpass
Abstract:
In the classification of real singularities by Arnold et al. (1985), normal forms, as representatives of equivalence classes under right equivalence, are not always uniquely determined. We describe the complete structure of the equivalence classes of the unimodal real singularities of corank 2. In other words, we explicitly answer the question which normal forms of different type are equivalent, a…
▽ More
In the classification of real singularities by Arnold et al. (1985), normal forms, as representatives of equivalence classes under right equivalence, are not always uniquely determined. We describe the complete structure of the equivalence classes of the unimodal real singularities of corank 2. In other words, we explicitly answer the question which normal forms of different type are equivalent, and how a normal form can be transformed within the same equivalence class by changing the value of the parameter. This provides new theoretical insights into these singularities and has important consequences for their algorithmic classification.
△ Less
Submitted 14 January, 2016; v1 submitted 30 September, 2013;
originally announced October 2013.
-
The Classification of Real Singularities Using SINGULAR. Part I: Splitting Lemma and Simple Singularities
Authors:
Magdaleen S. Marais,
Andreas Steenpass
Abstract:
We present algorithms to classify isolated hypersurface singularities over the real numbers according to the classification by V.I. Arnold (Arnold et al., 1985). This first part covers the splitting lemma and the simple singularities; a second and a third part will be devoted to the unimodal singularities up to corank 2. All algorithms are implemented in the SINGULAR library realclassify.lib (Mara…
▽ More
We present algorithms to classify isolated hypersurface singularities over the real numbers according to the classification by V.I. Arnold (Arnold et al., 1985). This first part covers the splitting lemma and the simple singularities; a second and a third part will be devoted to the unimodal singularities up to corank 2. All algorithms are implemented in the SINGULAR library realclassify.lib (Marais and Steenpass, 2012).
△ Less
Submitted 13 February, 2015; v1 submitted 28 March, 2013;
originally announced March 2013.
-
On the centralizer of an $I$-matrix in $M_2(R/I)$, $I$ a principal ideal and $R$ a UFD
Authors:
Magdaleen S. Marais
Abstract:
The concept of an $I$-matrix in the full $2\times 2$ matrix ring $M_2(R/I)$, where $R$ is an arbitrary UFD and $I$ is a nonzero ideal in $R$, was introduced in \cite{mar}. Moreover a concrete description of the centralizer of an $I$-matrix $\hat B$ in $M_2(R/I)$ as the sum of two subrings $\mathcal S_1$ and $\mathcal S_2$ of $M_2(R/I)$ was also given, where $\mathcal S_1$ is the image (under the n…
▽ More
The concept of an $I$-matrix in the full $2\times 2$ matrix ring $M_2(R/I)$, where $R$ is an arbitrary UFD and $I$ is a nonzero ideal in $R$, was introduced in \cite{mar}. Moreover a concrete description of the centralizer of an $I$-matrix $\hat B$ in $M_2(R/I)$ as the sum of two subrings $\mathcal S_1$ and $\mathcal S_2$ of $M_2(R/I)$ was also given, where $\mathcal S_1$ is the image (under the natural epimorphism from $M_2(R)$ to $M_2(R/I)$) of the centralizer in $M_2(R)$ of a pre-image of $\hat B$, and where the entries in $\mathcal S_2$ are intersections of certain annihilators of elements arising from the entries of $\hat B$. In the present paper, we obtain results for the case when $I$ is a principal ideal $<k>$, $k\in R$ a nonzero nonunit. Mainly we solve two problems. Firstly we find necessary and sufficient conditions for when $\mathcal S_1\subseteq\mathcal S_2$, for when $\mathcal S_2\subseteq \mathcal S_1$ and for when $\mathcal S_1=\mathcal S_2$. Secondly we provide a formula for the number of elements in the centralizer of $\hat B$ for the case when $R/<k>$ is finite.
△ Less
Submitted 7 December, 2011;
originally announced December 2011.
-
The centralizer of an $I$-matrix in $M_2(R/I)$, $R$ a UFD
Authors:
Magdaleen S. Marais
Abstract:
The concept of an $I$-matrix in the full $2\times 2$ matrix ring $M_2(R/I)$, where $R$ is an arbitrary UFD and $I$ is a nonzero ideal in $R$, is introduced. We obtain a concrete description of the centralizer of an $I$-matrix $\hat B$ in $M_2(R/I)$ as the sum of two subrings $\mathcal S_1$ and $\mathcal S_2$ of $M_2(R/I)$, where $\mathcal S_1$ is the image (under the natural epimorphism from…
▽ More
The concept of an $I$-matrix in the full $2\times 2$ matrix ring $M_2(R/I)$, where $R$ is an arbitrary UFD and $I$ is a nonzero ideal in $R$, is introduced. We obtain a concrete description of the centralizer of an $I$-matrix $\hat B$ in $M_2(R/I)$ as the sum of two subrings $\mathcal S_1$ and $\mathcal S_2$ of $M_2(R/I)$, where $\mathcal S_1$ is the image (under the natural epimorphism from $M_2(R)$ to $M_2(R/I)$) of the centralizer in $M_2(R)$ of a pre-image of $\hat B$, and where the entries in $\mathcal S_2$ are intersections of certain annihilators of elements arising from the entries of $\hat B$. It turns out that if $R$ is a PID, then every matrix in $M_2(R/I)$ is an $I$-matrix. However, this is not the case if $R$ is a UFD in general. Moreover, for every factor ring $R/I$ with zero divisors and every $n\ge 3$ there is a matrix for which the mentioned concrete description is not valid.
△ Less
Submitted 7 December, 2011; v1 submitted 12 July, 2011;
originally announced July 2011.
