[论文解读] Intersection Cohomology and Perverse Eigenspaces of the Monodromy

David B. Massey|arXiv (Cornell University)|Jan 7, 2018

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

一句话总结

本文建立了扭曲系数的交集上同调与仿射超曲面上的米尔诺单值化算子的 perverse 特征空间之间的精确联系。证明了对于单位根 $\xi$，在全空间上的扭曲交集上同调复形的拉回同构于单值化算子的 perverse 特征空间，将已知的 $\xi = 1$ 时的关系推广至所有单位根。

ABSTRACT

We describe the relationship between intersection cohomology with twisted coefficients and the perverse sheaves which play the role of the eigenspaces for the Milnor monodromy of an affine hypersurface.

研究动机与目标

• 阐明扭曲系数的交集上同调与仿射超曲面上米尔诺单值化算子的 perverse 她层所表示的特征空间之间的关系。
• 将已知的在 $\xi = 1$ 时，从 canonical surjection $\mathbb{Z}_X[n] \twoheadrightarrow \mathbf{I}^\bullet_X$ 的核与单值化算子的 $\mathrm{id}$-特征空间之间的同构关系，推广至所有满足 $\xi \neq 1$ 的单位根。
• 通过 perverse 她层与扭曲系数，构建一个框架，以兼容交集上同调的方式捕捉单值化特征空间，尤其在 $\mathbb{Z}$ 上与解析范畴中。

提出的方法

• 使用全空间 $\mathcal{U}$ 上的 perverse 她层范畴，对每个单位根 $\xi$ 定义扭曲交集上同调复形 $\mathbf{I}^\bullet_{\mathcal{U}}(\xi)$，其构造基于在超曲面 $X = V(f)$ 周围具有单值化 $\xi$ 的局部系统。
• 对平移后的常值层 $\mathbb{C}^\bullet_{\mathcal{U}}[n+1]$ 应用邻近与消失上同调函子 $\psi_f[-1]$ 与 $\phi_f[-1]$，得到其 stalk 上同调计算米尔诺纤维上同调的复形。
• 将比较复形 $\mathbf{N}^\bullet_X$ 构造为 canonical surjection $\mathbb{Z}_X[n] \twoheadrightarrow \mathbf{I}^\bullet_X$ 的核，以捕捉常值层未能成为交集上同调的失败之处。
• 证明当 $\xi = 1$ 时，单值化作用的核 $\ker(\mathrm{id} - T_f)$ 同构于 $\mathbb{Z}_X[n]$，且映射 $\mathbb{Z}_X[n] \twoheadrightarrow \mathbf{I}^\bullet_X$ 的核同构于 $\ker(\mathrm{id} - \widetilde{T}_f)$，从而将单值化特征空间与交集上同调联系起来。
• 当 $\xi \neq 1$ 时，建立同构 $j^*[-1]\mathbf{I}^\bullet_{\mathcal{U}}(\xi) \cong \ker(\xi^{-1}\mathrm{id} - T_f) \cong \ker(\xi^{-1}\mathrm{id} - \widetilde{T}_f)$，表明扭曲交集上同调复形的拉回即为单值化特征空间。
• 将结果应用于具体情形，例如当 $X$ 具有光滑正规化时，通过正规化映射的纤维中点的数量，计算 $H^1(F_{f,x}; \mathbb{Z})$ 上单值化 $\mathrm{id}$-特征空间的秩。

实验结果

研究问题

• RQ1 米尔诺单值化算子的 perverse 特征空间与扭曲系数的交集上同调之间有何关系？
• RQ2 canonical surjection $\mathbb{Z}_X[n] \twoheadrightarrow \mathbf{I}^\bullet_X$ 的核与 $\xi = 1$ 时单值化算子的 $\mathrm{id}$-特征空间之间的精确关系是什么？
• RQ3 在 $\xi \neq 1$ 时，$\mathrm{id}$-特征空间与该映射核之间的同构关系能否推广至其他单位根？
• RQ4 扭曲交集上同调复形 $\mathbf{I}^\bullet_{\mathcal{U}}(\xi)$ 与超曲面上的单值化特征空间之间有何关系？
• RQ5 在特定几何设定下，通过这些同构可计算哪些拓扑不变量，如贝蒂数或特征空间的秩？

主要发现

• 当 $\xi = 1$ 时，存在一个自然同构 $\mathbb{Z}_X[n] \cong \ker(\mathrm{id} - T_f)$，且映射 $\mathbb{Z}_X[n] \twoheadrightarrow \mathbf{I}^\bullet_X$ 的核同构于 $\ker(\mathrm{id} - \widetilde{T}_f)$，从而在 $\xi = 1$ 时建立了交集上同调与单值化特征空间之间的直接联系。
• 当 $\xi \neq 1$ 时，拉回 $j^*[-1]\mathbf{I}^\bullet_{\mathcal{U}}(\xi)$ 同构于 perverse 她层 $\ker(\xi^{-1}\mathrm{id} - T_f)$，后者也同构于 $\ker(\xi^{-1}\mathrm{id} - \widetilde{T}_f)$，将 $\xi = 1$ 的情形推广至所有单位根。
• 当 $X = V(f)$ 具有光滑正规化 $M$ 时，$H^1(F_{f,x}; \mathbb{Z})$ 上单值化 $\mathrm{id}$-特征空间的秩为 $m(x) - 1$，其中 $m(x)$ 为正规化映射纤维 $F^{-1}(x)$ 中的点数，且该秩同构于 $\widetilde{IH}^0(B^\circ_\epsilon(x) \cap X; \mathbb{Z})$。
• 对于孤立奇点 $x$，邻近上同调的 $0$-阶上同调中 $\xi^{-1}$-特征空间的维数满足 $\dim H^0(\phi_L[-1]\mathbf{I}^\bullet_{\mathcal{U}}(\xi))_x = (\Gamma_{f,L}^1 \cdot V(L))_x - \dim \ker(\xi^{-1}\mathrm{id} - (\phi_L[-1]\widetilde{T}_f)^0_x)$，从而给出了特征空间秩的公式。
• 当 $\dim_x \Sigma(f|_{V(L)}) = 0$ 时，相对单值化在 $H^2(F_{f,x}, \bigcup_i F_{f,x_i}; \mathbb{Z})$ 上的 $\mathrm{id}$-特征空间的秩为 $\big{(}\Gamma_{f,L}^1 \cdot V(L)\big{)}_x - \operatorname{rank} \operatorname{coker}\{r_{X,x}\} = -m(x) + \sum_i m(x_i)$，将拓扑不变量与单值化数据联系起来。
• 比较复形 $\mathbf{N}^\bullet_X$ 被识别为正规化映射 $F: M \to X$ 的多重点复形，其上同调在点 $x \in \Sigma$ 处的度数 $-n+1$ 上为 $\mathbb{Z}^{m(x)-1}$，为到交集上同调的映射的核提供了几何解释。