[论文解读] Characteristic Varieties of Hypersurface Complements

Yongqiang Liu, Laurenţiu Maxim|arXiv (Cornell University)|Nov 26, 2014

Algebraic Geometry and Number Theory参考文献 19被引用 5

一句话总结

本文建立了复射影空间中超曲面补集的全局与局部特征簇之间的可除性关系，表明全局特征簇受奇异点附近局部不变量的约束。关键结果为：补集 $M^*$ 的至多第 $k$ 个特征簇的并集包含于 $∏ t_i^{d_i} = 1$ 所定义的簇中；对于超平面排列，共振簇由奇异点处各层的局部数据所控制。

ABSTRACT

We give divisibility results for the (global) characteristic varieties of hypersurface complements expressed in terms of the local characteristic varieties at points along one of the irreducible components of the hypersurface. As an application, we recast old and obtain new finiteness and divisibility results for the classical (infinite cyclic) Alexander modules of complex hypersurface complements. Moreover, for the special case of hyperplane arrangements, we translate our divisibility results for characteristic varieties in terms of the corresponding resonance varieties.

研究动机与目标

• 将超曲面补集的全局特征簇与奇异点处的局部不变量联系起来。
• 将利布戈伯关于亚历山大多项式的可除性定理推广至非孤立奇点及多变量不变量。
• 将特征簇结果转化为超平面排列的共振簇陈述。
• 建立特征簇的切锥等于共振簇的条件，特别是在局部直纹空间中。
• 提供一种从奇异点处各层的局部数据计算全局不变量的框架。

提出的方法

• 使用萨巴特殊化复形将全局与局部亚历山大模联系起来。
• 引入统一的局部亚历山大簇 $\mathcal{W}^{\text{unif}}(M^*_x, \nu_x)$，以涵盖在点 $x$ 处不消失的分量。
• 应用德怀尔-弗里德不变量与切锥包含关系，将特征簇与共振簇联系起来。
• 利用同构 $H^\bullet(M) \cong H^\bullet(M^*) \otimes H^\bullet(\mathbb{C}^*)$ 推导共振簇的分解。
• 利用超平面排列及其相交格的结构，将共振簇用各层处的局部数据表达。
• 利用切锥包含关系 $TC_1(\mathcal{W}_i(M^*)) \subset \mathcal{R}(M^*)$，将全局与局部共振结构联系起来。

实验结果

研究问题

• RQ1 超曲面补集的全局特征簇如何与奇异点处的局部特征簇相关？
• RQ2 全局亚历山大簇的可除性结果能否从孤立奇点推广至非孤立奇点？
• RQ3 超曲面补集的共振簇与其中奇异层处的局部不变量之间的确切关系为何？
• RQ4 在何种条件下，特征簇的切锥与共振簇重合？
• RQ5 如何用奇异点处各层的局部数据描述超平面排列补集的共振簇？

主要发现

• 全局特征簇 $\bigcup_{i=0}^k \mathcal{V}_i(M)$ 与 $\bigcup_{i=0}^k \mathcal{V}_i(M^*)$ 均包含于簇 $V(\prod_{i=1}^r t_i^{d_i} = 1)$ 中，确立了全局约束。
• 对任意 $k$，补集 $M^*$ 的共振簇满足 $\mathcal{R}^i(M) = \mathcal{R}^i(M^*) \cup \mathcal{R}^{i-1}(M^*)$，将 $M$ 的共振性与 $M^*$ 的共振性联系起来。
• 当 $M^*$ 局部为 $j$-直纹时，全局共振簇 $\bigcup_{i=0}^k \mathcal{R}^i(M)$ 包含于所有满足 $\dim_{\mathbb{C}} S \geq n-k-1$ 的层 $S$ 上的统一局部共振簇的并集中。
• 对本质超平面排列，有 $\bigcup_{i=0}^k \mathcal{R}^i(M) \subset \bigcup_{S \subset V_1} \{ \mathcal{R}(M^*_x) \times V(\sum_{i \notin I_x} z_i = 0) \}$，以局部数据表达了全局共振簇。
• 若 $\chi(M^*) \neq 0$，则 $\mathcal{R}(M^*) = L$，其中 $L$ 为特征簇的切锥，意味着切锥包含关系中取等。
• 统一的局部共振簇 $\mathcal{R}^{\text{unif}}(M^*_x, \nu_x)$ 定义为 $\mathcal{R}(M^*_x, \nu_x) \times \mathbb{C}^{r - r_x}$，从而实现了全局与局部比较的一致性。