Effective Whitney Stratification of Real Algebraic Varieties

2023/07/11 by Helmer, Martin, Leykin, Anton, Nanda, Vidit · 3 citations
#14P05 #14P10 #Algebraic Geometry (math.AG) #FOS: Mathematics

paper · doi:10.48550/arxiv.2307.05427

Abstract

We describe new algorithms to compute Whitney stratifications of real algebraic varieties. Using either conormal or polar techniques, these algorithms stratify a complexification of a given real variety. We then show that the resulting stratification can be described by real polynomials. We also extend these methods to stratification problems involving the so-called full semialgebraic sets as well as real algebraic maps.

Cited by

• Geometric Singularities of Feynman Integrals
• Hypergeometric Discriminants
• Spectral Decomposition of Euler-Mellin Integrals

Related

• Faster computation of Whitney stratifications and their minimization
• A geometric proof of the existence of Whitney stratifications
• Patchworking real algebraic varieties
• Arcwise Analytic Stratification, Whitney Fibering Conjecture and Zariski Equisingularity
• Stratification of Projection Maps From Toric Varieties