[论文解读] The Zariski-Lefschetz principle for higher homotopy groups of nongeneric pencils

Mihai Tibăr|arXiv (Cornell University)|Jul 12, 2002

Algebraic Geometry and Number Theory参考文献 28被引用 63

一句话总结

本文在具有孤立奇点的奇异复空间上，针对非一般线性系，建立了类似于Zariski-Lefschetz的高阶同伦群定理，将Zariski-van Kampen定理推广至高阶同伦群。文中引入了一个全局同伦变分映射，以描述同伦群映射 πₖ₊₁(Xc) → πₖ₊₁(X) 的核，证明在连通性与深度条件成立时，该核由这些映射的像生成，从而将经典的Lefschetz型结果推广至具有孤立奇点的奇异、非一般情形。

ABSTRACT

We prove a general Zariski-van Kampen-Lefschetz type theorem for higher homotopy groups of generic and nongeneric pencils on singular open complex spaces.

研究动机与目标

• 将Zariski-van Kampen定理从基本群推广至非一般线性系情境下的高阶同伦群。
• 为奇异开复空间提供Zariski-Lefschetz定理的同伦理论类比。
• 通过全局变分映射，以代数拓扑方式识别‘消失同伦’的生成元，将经典Picard-Lefschetz理论推广至高阶同伦群。
• 确立在存在孤立奇点及非一般线性系时，通用纤维包含映射在高阶同伦群上诱导同构或满射的条件。

提出的方法

• 引入全局同伦变分映射 hvara: πq(Xc, X∗a, *) → πq(Xc, *)（q ≥ 3），其定义基于临界纤维中奇点处的Milnor球。
• 应用Blakers-Massey定理（同伦切除定理），将变分映射与对 (X∗D, Xc) 的长正合列中的边界映射联系起来。
• 利用Hurewicz同构比较同伦群与同调群，从而实现同调结果向同伦结果的转移。
• 施加连通性与同伦深度条件（hdX∩SingSpX ≥ k+2 或 k+3），以控制映射 πk+1(Xc) → πk+1(X) 的核。
• 依赖于沿线性系轴的基空间的Nash爆破，以定义Whitney分层并隔离奇点。
• 将标准包含映射 Xc → X 替换为 Xc → XD，其中 XD 在特定条件下与 X 同伦等价，从而简化分析。

实验结果

研究问题

• RQ1 如何将Zariski-van Kampen定理从基本群推广至非一般线性系情境下的高阶同伦群？
• RQ2 在具有孤立奇点的线性系中，‘消失同伦’在高阶同伦群中的代数拓扑机制是什么？
• RQ3 在奇异复空间中，何时通用纤维的包含映射会在高阶同伦群上诱导同构或满射？
• RQ4 轴上的奇点（非一般线性系）如何影响全空间的同伦型以及包含映射的核？
• RQ5 当 k ≥ 2 时，能否定义同伦变分映射，并证明其生成 πk+1(Xc) → πk+1(X) 的核？

主要发现

• 当 k ≥ 2 且同伦深度条件 hdX∩SingSpX ≥ k+3 成立时，映射 πk+1(Xc) → πk+1(X) 的核由同伦变分映射 hvara 的像生成。
• 当 k ≥ 0 时，若 (Xc, Xc ∩ A) 和 (Xc, X∗a) 均为 k-连通，且 hdX∩SingSpX ≥ k+2，则对所有 q ≤ k+1 有 πq(X, Xc, *) = 0，这意味着包含映射 Xc → X 是 (k+1)-等价。
• 同伦变分映射 hvara 在 π1(X∗a, *) 和 π1(Xc, *) 的作用下保持交换，通过自然满射 π1(X∗a, *) ։ π1(Xc, *) 实现，前提是 π1(Xc, X∗a, *) 平凡。
• 在 Pn 上一般线性系的经典情形中，该结果恢复并强化了已知的连通性定理：当 dim V ≤ 2n − 5 时，H ∩(Y \ V) → Y \ V 是 (n + codim V − 2)-等价。
• 该定理适用于维数 n ≥ k+2（条件 (iii)）或 n ≥ k+3（条件 (iii’)）的局部完全交奇异空间，显示出广泛适用性。
• 当 V 包含线性系中某成员时，单独处理该情形，定理5.2表明：若 (X, X \ Σ) 为 (k+1)-连通且 (Xc, X∗ai) 为 k-连通，则包含映射 Xc → X 是 (k+1)-等价。