Faster computation of Whitney stratifications and their minimization

DOI10.1016/J.JALGEBRA.2025.11.013MaRDI QIDQ6873040zbMATH OpenFDO

Authors Martin Helmer

Publication date 19 January 2026

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JALGEBRA.2025.11.013

zbMATH Keywords

conormal varietyGröbner basisWhitney stratification

Mathematics Subject Classification ID

Singularities in algebraic geometry (14B05) Complex singularities (32Sxx)

Review text

The authors describe two new algorithms (A1 and A2) for the computation of Whitney stratifications of real and complex algebraic varieties (defined as the common zeros of \(r\) polynomials in \(n\) variables). A1 is a modification of an algorithm of Helmer and Nanda (AHN), but is made more efficient by using techniques for equidimensional decomposition rather than computing the set of associated primes of a polynomial ideal at a key step in AHN. However A1 may fail to produce a minimal Whitney stratification even when AHN would produce it. A2 coarsens a given Whitney stratification of a complex variety to the unique minimal Whitney stratification; this is referred to as to the minimization of a stratification. The theoretical basis is a classical result of Teissier. The algorithms are applied to 9 examples including the Whitney umbrella.

Cites work

• Conormal spaces and Whitney stratifications
• scientific article; zbMATH DE number 3937310 (Why is no real title available?)
• scientific article; zbMATH DE number 3686437 (Why is no real title available?)
• scientific article; zbMATH DE number 177882 (Why is no real title available?)
• scientific article; zbMATH DE number 1302473 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 217454 (Why is no real title available?)
• Local polar varieties in the geometric study of singularities
• Notes on topological stability
• Segre class computation and practical applications
• Tangents to an analytic variety
• The complexity of stratification computation
• The Numerical Solution of Systems of Polynomials Arising in Engineering and Science
• Thom isotopy theorem for nonproper maps and computation of sets of stratified generalized critical values

This page was built for publication: Faster computation of Whitney stratifications and their minimization

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