Faster computation of Whitney stratifications and their minimization
Abstract
We describe two new algorithms for the computation of Whitney stratifications of real and complex algebraic varieties. The first algorithm is a modification of the algorithm of Helmer and Nanda (HN), 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 the HN algorithm. We note that this modified algorithm may fail to produce a minimal Whitney stratification even when the HN algorithm would produce a minimal stratification. The second algorithm coarsens a given Whitney stratification of a complex variety to the unique minimal Whitney stratification; we refer to this as the minimization of a stratification. The theoretical basis for our approach is a classical result of Teissier. To our knowledge this yields the first algorithm for computing a minimal Whitney stratification.
Cite
@article{arxiv.2406.17122,
title = {Faster computation of Whitney stratifications and their minimization},
author = {Martin Helmer and Rafael Mohr},
journal= {arXiv preprint arXiv:2406.17122},
year = {2025}
}