[论文解读] Testing Lipschitz non normally embedded complex spaces

Maciej P. Denkowski, Mihai Tibăr|arXiv (Cornell University)|Mar 20, 2017

Advanced Topology and Set Theory被引用 5

一句话总结

本文引入了一种分段准则，用于检验复解析芽是否为Lipschitz非正规嵌入（非-NE）。通过使用可接受的线性子空间对芽进行截面切割，该方法将非-NE性质简化为在截面中存在非-NE曲线的问题。关键贡献是定理1.3，该定理表明：若任意此类截面中包含一条非-NE曲线，则原芽即为非-NE，从而为纯维数大于1的复空间中的非-NE奇点提供了一种有效且精确的检测方法。

ABSTRACT

We introduce a sectional criterion for testing if complex analytic germs $(X,0) \subset (\bC^n, 0)$ are Lipschitz non normally embedded.

研究动机与目标

• 开发一种有效且几何化的准则，用于检测复解析芽中的Lipschitz非正规嵌入（非-NE）性质。
• 解决验证非-NE状态的困难，该状态通常需要比较弧对之间的距离。
• 推广现有关于非-NE奇点的结果，特别是针对Brieskorn型超曲面以及具有多个分支的切锥。
• 建立一个精确的条件，说明线性子空间的截面是否能保持或检测非-NE行为。
• 提供一种系统化、算法化的非-NE检测方法，通过曲线截面应用于高维复空间。

提出的方法

• 该方法采用关于芽 (X,0) 一般化的线性投影 π: ℂⁿ → ℂᵏ，确保其与切锥横截相交。
• 定义可接受的 (n−k+1) 维平面 P = π⁻¹(ℓ)，其中 ℓ 是 ℂᵏ 中不位于 π|X 的判别集 Δₚ 内的直线。
• 核心思想是：若任意此类截面 P ∩ X 在 0 处包含一条非-NE曲线芽 Γ，则 (X,0) 为非-NE。
• 证明依赖于 Γ 中两条不同实曲线的Puiseux参数化，表明其外距离为 O(t^q)，其中 q > 1。
• 利用内距离的下界 d_X(γ₁(t),γ₂(t)) ≥ d(tw, Δₚ)，并利用当 ℓ ∉ C₀(Δₚ) 时有 d(tw, Δₚ) ≥ rt 对小的 t 成立的事实。
• 比值 d_X / d_outer 随 t → 0⁺ 时以 t^{1−q} → ∞ 的方式增长，从而通过双Lipschitz常数的爆破证明非-NE。

实验结果

研究问题

• RQ1 复解析芽 (X,0) 的非-NE性质能否通过其与线性子空间的交线来检验？
• RQ2 在何种条件下，截面的非-NE性质可推出原芽的非-NE性质？
• RQ3 是否存在一种精确且几何化的准则，用于检测非-NE奇点，而无需直接比较弧的距离？
• RQ4 若切锥具有多个不可约分支，是否意味着芽为非-NE？
• RQ5 该分段方法能否应用于Pham-Brieskorn超曲面中非-NE行为的分类？

主要发现

• 定理1.3表明：若可接受的 (n−k+1) 维平面 P 与 (X,0) 的交线在 0 处包含一条非-NE曲线芽 Γ，则 (X,0) 在 0 处为非-NE。
• 可接受性条件（ℓ ∉ C₀(Δₚ)）是精确的：若无此条件，方法将失效，如例4.2中尖点 x² + y² = z³ 所示。
• 推论1.4证明：若切锥 C₀(X) 存在一个重数 ≥2 的不可约分支，则 (X,0) 为非-NE。
• 对于Pham-Brieskorn超曲面 X = {∑aᵢxᵢᵏⁱ = 0} 且满足 1 < k₁ < k₂ ≤ … ≤ kₙ 的情形，芽在 0 处为非-NE，原因在于 C₀(X) 中存在重数 k₁ > 1 的不可约分支 {x₁=0}。
• 该方法有效且精确：无需显式弧参数化即可检测非-NE状态，为直接距离比较提供了一种几何替代方案。
• 结果确认非-NE行为是内在的，且与嵌入无关，因为NE性质在双Lipschitz同胚下保持不变。