关于可定义层集的局部几何
On the local geometry of definably stratified sets
摘要：
我们证明了Pawlucki的一个定理，即Whitney正则性的一个次解析集的光滑的奇异轨迹的余维1意味着该集是一个有限的联合微分流形与边界，适用于可定义的集合在多项式有界的o-极小结构。我们给出了一个精炼版本的Pawlucki定理的任意o-极小结构，取代惠特尼（b）-正则性的量化版本，我们证明了有关正常锥和连续性的密度的相关结果。我们分析了两个反例的Pawlucki定理的延伸，可定义的一般O-最小的结构集，和其他几个声明有效的次解析集。特别是，我们给出了第一个例子的惠特尼（b）定期definably分层集的密度是不连续的沿地层。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
