On the local geometry of definably stratified sets

DOI10.1090/CONM/697/14061zbMATH Open1437.03134arXiv1701.05087OpenAlexW3157240836MaRDI QIDQ4635375FDOQ4635375

Authors: Guillaume Valette, David Trotman 

Publication date: 16 April 2018

Published in: Ordered Algebraic Structures and Related Topics (Search for Journal in Brave)

Abstract: We prove that a theorem of Pawlucki, showing that Whitney regularity for a subanalytic set with a smooth singular locus of codimension one implies the set is a finite union of differentiable manifolds with boundary, applies to definable sets in polynomially bounded o-minimal structures. We give a refined version of Pawlucki's theorem for arbitrary o-minimal structures, replacing Whitney (b)-regularity by a quantified version, and we prove related results concerning normal cones and continuity of the density. We analyse two counterexamples to the extension of Pawlucki's theorem to definable sets in general o-minimal structures, and to several other statements valid for subanalytic sets. In particular we give the first example of a Whitney (b)-regular definably stratified set for which the density is not continuous along a stratum.

Full work available at URL: https://arxiv.org/abs/1701.05087

Recommendations

• Definable stratification satisfying the Whitney property with exponent 1
• O-minimal \(\Lambda ^{m}\)-regular stratification
• Whitney stratifications and the continuity of local Lipschitz-Killing curvatures
• Stratifiations in o-minimal structures
• scientific article; zbMATH DE number 891208

Mathematics Subject Classification ID

Stratifications; constructible sheaves; intersection cohomology (complex-analytic aspects) (32S60) Model theory of ordered structures; o-minimality (03C64) Local submanifolds (53B25) Equisingularity (topological and analytic) (32S15) Stratified sets (58A35)

Cites Work

• Geometric categories and o-minimal structures
• Notes on topological stability
• Title not available (Why is that?)
• Whitney regularity and generic wings
• Normal cones in analytic Whitney stratifications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Équisingularité réelle II : invariants locaux et conditions de régularité
• Title not available (Why is that?)
• Intégration sur un ensemble analytique complexe
• Exponentiation is Hard to Avoid
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• \(L^{\infty}\) cohomology is intersection cohomology
• Stratifications de Whitney et théorème de Bertini-Sard
• Verdier and strict Thom stratifications in o-minimal structures
• Title not available (Why is that?)
• Whitney (b)-regularity is weaker than Kuo's ratio test for real algebraic stratifications.
• Densité des ensembles sous-analytiques. (On the density of subanalytic sets)
• Real equisingularity: Lelong numbers and polar projections
• Title not available (Why is that?)
• On the Regular Stratifications and Conormal Structure of Subanalytic Sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Approximation of subanalytic sets by normal cones
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Local index for arc symmetric sets
• Stratification theory from the weighted point of view
• Title not available (Why is that?)
• LIPSCHITZ STRATIFICATIONS AND GENERIC WINGS
• Whitney stratifications and the continuity of local Lipschitz-Killing curvatures
• Volume, Whitney conditions and Lelong number
• Scribbling continua in \(\mathbb{R}^ n\) and constructing singularities with prescribed Nash fibre and tangent cone
• Stokes' formula for stratified forms
• Cône normal et régularités de Kuo-Verdier
• \((r)\) does not imply \((n)\) or \((npf)\) for definable sets in nonpolynomially bounded o-minimal structures
• Proof of a conjecture of Palamodov

Cited In (11)

• Stratifications, equisingularity and triangulation
• O-minimal \(\Lambda ^{m}\)-regular stratification
• Tangent cones and \(C^{1}\) regularity of definable sets
• Local metric properties and regular stratifications of \(p\)-adic definable sets
• Regular vectors and bi-Lipschitz trivial stratifications in o-minimal structures
• Stratification theory
• Transversality of smooth definable maps in o-minimal structures
• Title not available (Why is that?)
• Whitney stratifications and the continuity of local Lipschitz-Killing curvatures
• Definable stratification satisfying the Whitney property with exponent 1
• \((r)\) does not imply \((n)\) or \((npf)\) for definable sets in nonpolynomially bounded o-minimal structures

This page was built for publication: On the local geometry of definably stratified sets

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