[论文解读] Homotopy groups of complements to ample divisors

Anatoly Libgober|ArXiv.org|Apr 19, 2004

Algebraic Geometry and Number Theory参考文献 20被引用 3

一句话总结

本论文研究了光滑射影代数簇上具有孤立非正则交叉的可约充分线丛补的同伦群。通过推广基本群交换性的退化定理，并利用阿贝尔覆叠的霍奇理论，证明了在某些范围内高阶同伦群的消失性，并将它们的支集与动机zeta函数及拟邻接多面体联系起来，尤其在超平面排列的情形下。

ABSTRACT

We study the homotopy groups of complements to reducible divisors on non-singular projective varieties with ample components and isolated non normal crossings. We prove a vanishing theorem generalizing conditions for commutativity of the fundamental groups. The calculation of supports of non vanishing homotopy groups as modules over the fundamental group in terms of the geometry of the locus of non-normal crossings is discussed. We review previous work on the local study of isolated non-normal crossings and relate the motivic zeta function to the local polytopes of quasiadjunction. As an application, we obtain information about the support loci of homotopy groups of arrangements of hyperplanes

研究动机与目标

• 将对可约线丛补的同伦群的理解从孤立奇点情形推广至更一般情形。
• 将基本群交换性的退化定理推广至高阶同伦群。
• 利用非正则交叉点集的几何数据，将非零同伦群的支集刻画为基本群作用下的模。
• 通过阿贝尔覆叠的霍奇理论不变量，将丹内夫-洛泽尔的动机zeta函数与局部拟邻接多面体联系起来。
• 计算具体例子，如ℙ³中Kummer平面构型的补集的第二同伦群。

提出的方法

• 证明在特定范围内，基本群在高阶同伦群上的作用是平凡的，从而实现对这些群的同调控制。
• 使用同调代数与谱序列方法计算同伦群，并在ℙⁿ⁺¹中具有超过n+1个分支且具有孤立非正则交叉的线丛情形下，证明在2 ≤ i ≤ n−1范围内同伦群消失。
• 将特征簇定义为群环π₁中非零同伦群的支集，将其与局部系统上同调的跳跃点集联系起来。
• 应用阿贝尔覆叠的霍奇理论，将动机zeta函数的霍奇实现与拟邻接多面体联系起来。
• 利用奇点邻域的奇点解析与等变上同调计算阿贝尔覆叠的不变量。
• 利用格罗滕迪克环上的生成函数形式的动机zeta函数，其中贝蒂数实现与霍奇实现分别确定特征簇与拟邻接数据。

实验结果

研究问题

• RQ1 在何种几何条件下，具有孤立非正则交叉的线丛，其基本群在高阶同伦群上的作用是平凡的？
• RQ2 非零同伦群的支集如何作为π₁的特征簇的代数子簇来描述？
• RQ3 在阿贝尔情形下，动机zeta函数与拟邻接多面体之间的确切关系为何？
• RQ4 当线丛在ℙⁿ⁺¹中具有超过n+1个分支且具有孤立非正则交叉时，其补集的同伦群在何范围内消失？
• RQ5 如何利用动机zeta函数的霍奇实现来计算阿贝尔覆叠的第一上同调群上F¹滤子的维数？

主要发现

• 对于ℙⁿ⁺¹中具有孤立非正则交叉且分支数超过n+1的线丛D，所有满足2 ≤ i ≤ n−1的πᵢ(ℙⁿ⁺¹ − D) = 0。
• 在指定范围内，π₁在高阶同伦群上的作用是平凡的，从而将这些群的研究简化为同调不变量。
• 作为π₁-模的首个非平凡同伦群的支集是一个特征簇，其与局部系统上同调的跳跃点集完全一致。
• 动机zeta函数的贝蒂数实现通过Tᵢ → ∞的极限确定了特征簇V₁的关键分量。
• 当n=1时，动机zeta函数的霍奇实现确定了拟邻接多面体，且当且仅当例外集的霍奇实现具有非零贡献时，有dim F¹H¹(Xₘ₁,…,ₘᵣ)ₚ ≥ 1。
• 在ℙ³中的Kummer平面构型中，补集的第二同伦群π₂非平凡，且可通过所发展方法进行计算。