[论文解读] A geometric proof of the existence of Whitney stratifications

V. A. Kaloshin|ArXiv.org|Oct 13, 2000

Advanced Numerical Analysis Techniques参考文献 3被引用 6

一句话总结

本文给出了实或复解析或代数空间中半代数集的Whitney a-和b-正则分层存在的几何证明。利用Milnor的曲线选择引理、Rolle引理及横截性定理，通过迭代地解决切平面极限和临界投影中的不规则性，构造了分层，证明了奇异集可赋予正则分层，且其不规则性支集的维数严格低于相关流形的维数。

ABSTRACT

A stratification of a singular set, e.g. an algebraic or analytic variety, is, roughly, a partition of it into manifolds so that these manifolds fit together "regularly". A classical theorem of Whitney says that any complex analytic set has a stratification. This result was extended by Lojasiewicz to real (semi)analytic sets. In this paper we present a short geometric proof of existence of stratifications based on Thom's transversality theorem and Milnor's curve selection lemma and not relying on difficult results of Lojasiewicz.

研究动机与目标

• 为实或复解析或代数空间中半代数集的Whitney a-和b-正则分层的存在性，提供一种几何的、构造性的证明。
• 以初等微分与几何技巧替代对奇点解耦或代数几何的依赖。
• 证明在分层中不规则点的集合的维数严格低于所涉及的流形的维数。
• 建立一种构造性方法，通过临界集与投影映射，将任一初始划分逐步精化为Whitney正则分层。

提出的方法

• 应用Milnor的曲线选择引理，分析逼近低维流形中某点的序列时切平面极限的行为。
• 利用Rolle引理定位正交投影到横截子空间上的临界点，确保在不规则极限点附近存在临界点。
• 运用横截性定理，构造可数多个横截平面，以分离不同的切极限，从而实现对不规则支集的分解。
• 定义一种Kuo型映射 $\mathcal{P}^{a(\text{resp.}b)}$，用于度量与切极限的角偏差，利用其正则值定义子流形。
• 对沿横截平面的投影构造临界集 $\operatorname{Crit}(l_j, V_j)$，证明其为维数更低的半代数集。
• 通过取这些临界子流形的闭包，并在边界中定义其相对内部，对分层进行精化。

实验结果

研究问题

• RQ1 能否在不依赖奇点解耦或深层代数几何的前提下，几何地构造Whitney分层？
• RQ2 a-或b-正则性失效的点集是否必为维数严格更低的半代数集？
• RQ3 不规则性是否可通过投影到横截子空间上的临界点被检测并解决？
• RQ4 不唯一切平面极限的存在是否意味着在邻域内存在临界点？
• RQ5 能否通过迭代方式对分层进行精化，使得所有不规则性均被限制在维数更低的子流形中？

主要发现

• a-不规则点集 $\operatorname{Sing}_a(V_j, V_i)$ 是维数严格小于 $\dim V_i$ 的半代数集。
• 类似地，b-不规则点集 $\operatorname{Sing}_b(V_j, V_i)$ 是维数严格小于 $\dim V_i$ 的半代数集。
• 不规则性支集包含于各临界子流形闭包 $\overline{V_j^p} \setminus V_j^p$ 的并集中，而这些集合本身维数更低。
• 对任意不规则点 $x$，存在局部连通分支中的一条序列趋近于 $x$，使得其切平面具有多个极限方向。
• Kuo映射 $\mathcal{P}^{a(\text{resp.}b)}$ 在精化流形中的序列上具有正极限点，从而确保精化分解中的正则性。
• 该构造可将任一初始划分精化为Whitney正则分层，且所有不规则性均被限制在维数严格更低的集合中。