[论文解读] Whitney stratifications and the continuity of local Lipschitz Killing curvatures

Nhan Nguyen, Guillaume Valette|arXiv (Cornell University)|Jul 5, 2015

Advanced Topology and Set Theory参考文献 5被引用 7

一句话总结

该论文证明了在多项式有界o-极小结构中，可定义集的局部Lipschitz Killing曲率沿Whitney分层是连续的，且当分层满足(w)-正则性条件时，其为局部Lipschitz连续。作者通过运用o-极小几何与度量几何中的先进技术，将先前关于密度连续性的结果推广至Whitney分层，证明了在Whitney与(w)-正则分层下这些曲率不变量的连续性与正则性。

ABSTRACT

We prove that local Lipschitz Killing curvatures of definable sets in a polynomially bounded o-minimal structure are continuous along strata of Whitney stratifications and locally Lipschitz if the stratifications are (w)- regular.

研究动机与目标

• 将局部Lipschitz Killing曲率的连续性与正则性结果，从(w)-正则分层推广至o-极小几何中的Whitney分层。
• 研究此前已知于(w)-正则分层下成立的局部Lipschitz Killing曲率连续性，是否在较弱的Whitney (b)-正则性条件下依然成立。
• 确定这些曲率不变量保持连续性或局部Lipschitz性的条件，特别是在多项式有界o-极小结构的背景下。
• 证明该结果在非多项式有界o-极小结构中不成立，从而凸显该限制的必要性。

提出的方法

• 利用o-极小结构（特别是多项式有界情形）的框架，将子解析与半代数几何中的结果推广至更一般情形。
• 通过在Grassmannian上积分并结合Euler-Poincaré示性数，应用Cauchy-Crofton公式来定义局部Lipschitz Killing曲率。
• 运用Hardt的平凡性定理与纤维上的一致有界性，控制可定义集在扰动下的行为。
• 利用曲线选择与粗糙向量场，在保持度量与拓扑性质的前提下，构造不同分层之间的局部同胚。
• 建立一个关键估计：通过集合Δ(P,r,t,t')控制投影对称差，其测度被界为C‖t−t'‖r^l。
• 借鉴Valette (2013)与Comte (1998)的技术，通过比较邻近点处的曲率，证明连续性与局部Lipschitz正则性。

实验结果

研究问题

• RQ1 在多项式有界o-极小结构中，局部Lipschitz Killing曲率沿Whitney分层的连续性是否成立？
• RQ2 在不假设多项式有界性的情况下，这些曲率的局部Lipschitz正则性是否在(w)-正则分层下依然保持？
• RQ3 用于(w)-正则分层的技术能否被调整以在较弱的Whitney (b)-正则性条件下证明连续性？
• RQ4 多项式有界性在确保局部Lipschitz Killing曲率连续性方面起到何种作用？
• RQ5 在非多项式有界o-极小结构中，是否存在反例使得密度或曲率沿分层不连续？

主要发现

• 在多项式有界o-极小结构中，可定义集的局部Lipschitz Killing曲率沿Whitney分层是连续的。
• 当分层满足(w)-正则性条件时，即使不假设多项式有界性，局部Lipschitz Killing曲率也是局部Lipschitz连续的。
• 证明依赖于构造一个在邻近分层之间保持投影Euler示性数的受控同胚，其误差被界为C‖t−t'‖r^l。
• 具有不同Euler示性数的投影点集的对称差，由集合Δ(P,r,t,t')控制，其测度被界为C‖t−t'‖r^l。
• 在一般非多项式有界o-极小结构中，连续性结果不成立，如文献[12]中的反例所示。
• 关键技术进展在于将[13]中的度量与拓扑控制技术适配至Whitney情形，使用粗糙向量场与纤维上的一致估计。