[论文解读] Finite Galois covers, cohomology jump loci, formality properties, and multinets

Alexandru Dimca, Alexander I. Suciu|arXiv (Cornell University)|Jun 5, 2009

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

一句话总结

本文建立了复代数簇的有限伽罗瓦覆叠中上同调跳跃点的对应关系，表明在基空间满足1-形式性且在第一上同调中单值作用平凡的条件下，基空间与全空间的第一特征簇之间存在自然双射。此外，本文利用线排列上的多重网结构构造了米尔诺纤维第一特征簇的分量，并证明当此类结构存在时，第一上同调中存在非平凡单值作用。

ABSTRACT

We explore the relation between cohomology jump loci in a finite Galois cover, formality properties and algebraic monodromy action. We show that the jump loci of the base and total space are essentially the same, provided the base space is 1-formal and the monodromy action in degree 1 is trivial. We use reduced multinet structures on line arrangements to construct components of the first characteristic variety of the Milnor fiber in degree 1, and to prove that the monodromy action is non-trivial in degree 1. For an arbitrary line arrangement, we prove that the triviality of the monodromy in degree 1 can be detected in a precise way, by resonance varieties.

研究动机与目标

• 理解复代数簇的有限伽罗瓦覆叠中上同调跳跃点、形式性与单值作用之间的关系。
• 通过多重网构造研究线排列米尔诺纤维第一特征簇的结构。
• 确定米尔诺纤维第一上同调上的代数单值作用是平凡还是非平凡的条件。
• 在1-形式性与平凡单值作用条件下，建立基空间与全空间非平移分量之间特征簇的精确对应。
• 通过代数与拓扑不变量，将第一上同调中单值作用的平凡性与共振簇联系起来。

提出的方法

• 利用与齐次多项式相关的有限伽罗瓦覆叠 $p: F \to M$，重点关注米尔诺纤维 $F$ 与超平面排列的补集 $M$。
• 应用特征簇 $\mathcal{V}^i_m(X)$ 与共振簇 $\mathcal{R}^i_m(X)$ 的理论，作为上同调跳跃点的无穷小近似。
• 采用Sullivan关于微分分次代数的 $q$-形式性概念，特别是 $1$-形式性，以在平凡单值作用下关联 $M$ 与 $F$ 的形式性。
• 利用线排列上的约化多重网结构，构造 $\mathcal{V}^1_1(F)$（米尔诺纤维第一特征簇）的不可约分量。
• 应用欧拉示性数可加性与纤维丛分解等拓扑工具，分析可接受映射中的分歧与单值作用。
• 依赖于文献[18]中的关键结果：在 $1$-形式性条件下，$\mathcal{V}^1_m(X)$ 的非平移分量与 $\mathcal{R}^1_m(X)$ 的不可约分量之间存在自然双射。

实验结果

研究问题

• RQ1 在何种条件下，有限伽罗瓦覆叠的基空间与全空间的上同调跳跃点重合？
• RQ2 第一上同调中单值作用的平凡性如何影响米尔诺纤维第一特征簇的结构？
• RQ3 线排列上的多重网结构能否用于构造米尔诺纤维第一特征簇的非平凡分量？
• RQ4 对于线排列的米尔诺纤维，共振簇与第一上同调中单值作用之间的确切关系是什么？
• RQ5 米尔诺纤维 $H^1(F, \mathbb{C})$ 上的单值作用在何时变为非平凡？如何通过代数不变量检测这一现象？

主要发现

• 若基空间 $M$ 是 $1$-形式的，且单值作用在 $H^1(F, \mathbb{C})$ 上平凡，则拉回映射 $p^*$ 对所有 $m$ 诱导了 $\mathcal{V}^1_m(M)$ 与 $\mathcal{V}^1_m(F)$ 的非平移不可约分量之间的自然双射。
• 线排列上的约化多重网结构生成了米尔诺纤维第一特征簇 $\mathcal{V}^1_1(F)$ 的不可约分量。
• 此类多重网结构的存在意味着 $H^1(F, \mathbb{C})$ 上的单值作用是非平凡的。
• 第一上同调中单值作用的平凡性可通过共振簇 $\mathcal{R}^1_1(F)$ 检测，该簇在 $1$-形式性下捕获了与特征簇相同的信息。
• 对于满足 $\chi(S) < 0$ 的可接受映射 $f: M \to S$，复合映射 $g = f \circ p: F \to S$ 也是可接受的，且子环面的拉回保持维数与重数数据。
• 在 $\mathcal{V}^1_1$ 的分量中一维方向的情况下，重数乘积满足 $n(W) \leq n(p^*(W))$，且等号成立当且仅当覆叠映射是无分歧的。