On the local geometry of definably stratified sets

DOI10.1090/CONM/697/14061MaRDI QIDQ4635375zbMATH OpenOpenAlexFDO

Authors Guillaume Valette, David Trotman

Publication date 16 April 2018

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

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

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)

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.

Recommendations

Cites work

Cited in

(11)

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)