Conormal spaces and Whitney stratifications
From MaRDI portal
Publication:6072329
Abstract: We describe a new algorithm for computing Whitney stratifications of complex projective varieties. The main ingredients are (a) an algebraic criterion, due to L^e and Teissier, which reformulates Whitney regularity in terms of conormal spaces and maps, and (b) a new interpretation of this conormal criterion via primary decomposition, which can be practically implemented on a computer. We show that this algorithm improves upon the existing state of the art by several orders of magnitude, even for relatively small input varieties. En route, we introduce related algorithms for efficiently stratifying affine varieties, flags on a given variety, and algebraic maps.
Recommendations
Cites work
- A new efficient algorithm for computing Gröbner bases (F₄)
- Algorithms in real algebraic geometry
- Algorithms in real algebraic geometry: a survey
- Characteristic varieties and vanishing cycles
- Chern classes for singular algebraic varieties
- Computational methods of commutative algebra and algebraic geometry. With chapters by David Eisenbud, Daniel R. Grayson, Jürgen Herzog and Michael Stillman
- Computing Euler obstruction functions using maximum likelihood degrees
- Cylindrical Algebraic Decomposition I: The Basic Algorithm
- Ensembles et morphismes stratifiés
- scientific article; zbMATH DE number 439385 (Why is no real title available?)
- scientific article; zbMATH DE number 3900153 (Why is no real title available?)
- scientific article; zbMATH DE number 3756633 (Why is no real title available?)
- scientific article; zbMATH DE number 177498 (Why is no real title available?)
- scientific article; zbMATH DE number 177882 (Why is no real title available?)
- scientific article; zbMATH DE number 192849 (Why is no real title available?)
- scientific article; zbMATH DE number 3461174 (Why is no real title available?)
- scientific article; zbMATH DE number 1302473 (Why is no real title available?)
- scientific article; zbMATH DE number 1027930 (Why is no real title available?)
- scientific article; zbMATH DE number 2051426 (Why is no real title available?)
- scientific article; zbMATH DE number 7351371 (Why is no real title available?)
- Ideals, Varieties, and Algorithms
- Integral closure of ideals, rings, and modules
- Intersection homology theory
- Intersection homology. II
- Les singularités des applications différentiables
- Limites d'espaces tangents en géométrie analytique. (Limits of tangent spaces in analytic geometry)
- Local polar varieties in the geometric study of singularities
- Notes on topological stability
- On the complexity of the \(F_5\) Gröbner basis algorithm
- On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
- Segre class computation and practical applications
- Singularities of differentiable maps
- Solving systems of polynomial inequalities in subexponential time
- Speeding up cylindrical algebraic decomposition by Gröbner bases
- Stratifiable Maps and Topological Invariants
- Tangents to an analytic variety
- The complexity of stratification computation
- The complexity of the word problems for commutative semigroups and polynomial ideals
- The Euclidean distance degree of an algebraic variety
- The geometric and numerical properties of duality in projective algebraic geometry
- 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
- Varieties Defined by Quadratic Equations
Cited in
(19)- The space of Whitney levels
- scientific article; zbMATH DE number 6379283 (Why is no real title available?)
- scientific article; zbMATH DE number 3476068 (Why is no real title available?)
- Briançon-Speder examples and the failure of weak Whitney regularity
- scientific article; zbMATH DE number 6258610 (Why is no real title available?)
- Complex Links and Hilbert–Samuel Multiplicities
- Whitney stratifications are conically smooth
- Correction to: ``Conormal spaces and Whitney stratifications.
- Limits of tangents, Whitney stratifications and a Plücker type formula
- From samples to persistent stratified homotopy types
- Faster computation of Whitney stratifications and their minimization
- On computing local monodromy and the numerical local irreducible decomposition
- HADES: fast singularity detection with local measure comparison
- Applications of singularity theory in applied algebraic geometry and algebraic statistics
- Computing generic fibers of polynomial ideals with FGLM and hensel lifting
- Whitney stratification of algebraic boundaries of convex semi-algebraic sets
- Stratification of projection maps from toric varieties
- Spectral decomposition of Euler-Mellin integrals
- A SageMath package for analytic combinatorics in several variables: beyond the smooth case
This page was built for publication: Conormal spaces and Whitney stratifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6072329)
