[论文解读] Intersection Homology and Alexander Modules of Hypersurface Complements

Laurenţiu Maxim|arXiv (Cornell University)|Sep 21, 2004

Geometric and Algebraic Topology参考文献 19被引用 7

一句话总结

本文引入了一套新的交化解析框架，用于研究复射影空间中超曲面补集的亚历山大模。结果表明，对于 $ i \leq n $，这些模在有理 Laurent 多项式环上是挠模。关键贡献在于，相关全局亚历山大多项式的零点是 $ d $ 次单位根，其完全由奇点层的局部拓扑决定，通过导出范畴技术将利布戈伯的结果推广至非孤立奇点情形。

ABSTRACT

Let $V$ be a degree $d$, reduced hypersurface in $\mathbb{CP}^{n+1}$, $n \geq 1$, and fix a generic hyperplane, $H$. Denote by $\mathcal{U}$ the (affine) hypersurface complement, $\mathbb{CP}^{n+1}- V \cup H$, and let $\mathcal{U}^c$ be the infinite cyclic covering of $\mathcal{U}$ corresponding to the kernel of the linking number homomorphism. Using intersection homology theory, we give a new construction of the Alexander modules $H_i(\mathcal{U}^c;\mathbb{Q})$ of the hypersurface complement and show that, if $i \leq n$, these are torsion over the ring of rational Laurent polynomials. We also obtain obstructions on the associated global polynomials. Their zeros are roots of unity of order $d$ and are entirely determined by the local topological information encoded by the link pairs of singular strata of a stratification of the pair $(\mathbb{CP}^{n+1},V)$. As an application, we give obstructions on the eigenvalues of monodromy operators associated to the Milnor fibre of a projective hypersurface arrangement.

研究动机与目标

• 将利布戈伯关于具有孤立奇点的超曲面亚历山大模的结果推广至具有非孤立奇点的情形。
• 通过交化解析与系数在 $ \Gamma = \mathbb{Q}[t,t^{-1}] $ 上的局部系统，提出亚历山大模的新同调构造。
• 证明当 $ i \leq n $ 时，亚历山大模 $ H_i(\mathcal{U}^c; \mathbb{Q}) $ 在 $ \Gamma $ 上是挠模，即使在存在非孤立奇点的情况下也成立。
• 表明全局亚历山大多项式完全由奇点层的局部链对不变量决定，其零点为 $ d $ 次单位根。

提出的方法

• 在补集 $ \mathcal{U} = \mathbb{CP}^{n+1} \setminus (V \cup H) $ 上定义一个局部系统 $ \mathcal{L}_H $，其纤维为 $ \Gamma = \mathbb{Q}[t,t^{-1}] $，利用环绕数同态。
• 通过惠特尼分层空间的德利涅公理方法构造交化解析复形 $ IC_{\bar{m}}^\bullet(\mathbb{CP}^{n+1}, \mathcal{L}_H) $。
• 证明 $ IC_{\bar{m}}^\bullet $ 在 $ V \cup H $ 上的限制同调等价于零，从而建立交化解析与经典亚历山大模之间的同构。
• 利用导出范畴框架，将亚历山大模实现为上同调群 $ \mathbb{H}^{-i}(\mathbb{CP}^{n+1}; IC_{\bar{m}}^\bullet) $，并证明当 $ i \leq n $ 时其为挠模。
• 通过分析奇点层的链对，将全局亚历山大多项式与局部不变量关联，证明其零点为 $ d $ 次单位根。
• 将该理论应用于射影排列的米尔诺纤维化，将全局模结构与单值变换特征值联系起来。

实验结果

研究问题

• RQ1 如何利用交化解析来构造并描述具有非孤立奇点的超曲面补集的亚历山大模？
• RQ2 全局亚历山大模与奇点层局部拓扑之间的确切关系是什么？
• RQ3 为何全局亚历山大多项式的零点是 $ d $ 次单位根？它们如何由局部链对不变量决定？
• RQ4 当 $ V $ 具有非孤立奇点时，亚历山大模在 $ \Gamma $ 上保持为挠模的程度如何？
• RQ5 能否利用此交化解析框架约束米尔诺纤维的单值变换特征值？

主要发现

• 当 $ i \leq n $ 时，亚历山大模 $ H_i(\mathcal{U}^c; \mathbb{Q}) $ 在环 $ \Gamma = \mathbb{Q}[t,t^{-1}] $ 上是挠模，即使 $ V $ 具有非孤立奇点也成立。
• 全局亚历山大多项式 $ \delta_i(t) $ 的零点为 $ d $ 次单位根，且完全由奇点层链对的局部拓扑决定。
• 若 $ V $ 是有理同调流形且 $ H $ 为一般位置，则当 $ i \leq n $ 时 $ \delta_i(t) $ 不含因子 $ t-1 $，如命题 2.1 所示。
• 对于 $ \mathbb{CP}^3 $ 中的超曲面 $ x^3 + y^3 + z^3 + z^2 = 0 $，亚历山大模 $ H_2(\mathcal{U}^c; \mathbb{Q}) $ 平凡，即 $ \delta_2(t) \sim 1 $，原因在于既无 $ t-1 $ 因子也无非单位根因子。
• 在 $ f(x,y,z,t) = x^{d-1}z + x t^{d-1} + y^d + x y t^{d-2} $ 的情形下，全局亚历山大多项式为 $ \delta_2(t) = t^{d-1} + \cdots + 1 $，与米尔诺单值变换的特征多项式一致。
• 交化解析构造在 $ IH_i^{\bar{m}}(\mathbb{CP}^{n+1}; \mathcal{L}_H) $ 与经典亚历山大模 $ H_i(\mathcal{U}^c; \mathbb{Q}) $ 之间提供了自然同构，建立了新的对偶框架。