[论文解读] Local systems on analytic germ complements

Nero Budur, Botong Wang|arXiv (Cornell University)|Aug 31, 2015

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

一句话总结

本论文证明了复解析芽在小球内补集上的秩一局部系统上，上同调跳跃簇在特征簇中是扭平移子簇的有限并。作者利用代数几何与D-模理论，不依赖Hodge理论或形式性，证明了该结果，推广了经典的单值性定理（即Milnor纤维上单值作用的特征值为单位根）。

ABSTRACT

We prove that the cohomology jump loci of rank one local systems on the complement in a small ball of a germ of a complex analytic set are finite unions of torsion translates of subtori. This is a generalization of the classical Monodromy Theorem stating that the eigenvalues of the monodromy on the cohomology of the Milnor fiber of a germ of a holomorphic function are roots of unity.

研究动机与目标

• 确定复解析芽在小球内补集上秩一局部系统的上同调跳跃簇的精确结构。
• 推广经典单值性定理，即单值作用在Milnor纤维上的特征值为单位根。
• 建立这些簇是特征簇中扭平移子簇的有限并，且不依赖Hodge理论或形式性。
• 通过在Q̄上约化为代数模型，将该结构结果推广至奇异环境空间上的局部系统。

提出的方法

• 利用秩一局部系统的模空间，即Hom(H₁(U, ℤ), ℂ*)，来参数化小球补集U上的局部系统。
• 将上同调跳跃簇Vⁱₖ(U)定义为满足dim Hⁱ(U, L) ≥ k的局部系统L的集合。
• 应用Riemann-Hilbert对应关系，将局部系统上同调与D-模构造联系起来，特别是通过特殊拉回与邻近上同调。
• 通过D-模Dₓ[s]fˢ ⊗ ℂ[s]/(s−α)构造D-模上同调跳跃簇Σⁱₖ(F, Y, O)，并利用指数映射将其与局部系统簇联系起来。
• 利用Q̄上的伽罗瓦不变性，证明D-模簇在Q̄上定义且在伽罗瓦作用下不变。
• 证明当α的实部充分负时，α ∈ Σⁱₖ(F, Y, O)当且仅当Exp(α) ∈ (F*)⁻¹(𝒱ⁱ⁺²ᵐ⁻ⁿₖ(U))，从而在D-模与局部系统簇之间建立精确联系。

实验结果

研究问题

• RQ1 复解析芽在小球内补集上秩一局部系统的上同调跳跃簇是否为特征簇中扭平移子簇的有限并？
• RQ2 这些簇的结构与全纯函数芽的Milnor纤维上单值作用之间有何关系？
• RQ3 能否在不依赖Hodge理论或形式性的前提下，纯粹代数地描述这些上同调跳跃簇？
• RQ4 伽罗瓦不变性在代数闭域上特征零域中刻画这些簇时起什么作用？
• RQ5 局部系统上同调簇的结构在多大程度上可推广至奇异环境空间？

主要发现

• 复解析芽小球补集U的上同调跳跃簇𝒱ⁱₖ(U)在特征簇𝒟_B(U)中是扭平移子簇的有限并。
• 𝒱ⁱₖ(U)的每个不可约分支均为特征簇恒同连通分支内同构于(ℂ*)^p的子簇的扭平移。
• 该结果推广了经典单值性定理：Milnor纤维上单值作用的特征值为单位根，因为这些特征值对应于在f诱导映射下局部系统跳跃簇的支集。
• D-模上同调跳跃簇Σⁱₖ(F, Y, O)在伽罗瓦群Gal(C/Q̄)作用下不变，从而保证其代数性与算术结构。
• 当α ∈ ℂʳ的实部充分负时，α ∈ Σⁱₖ(F, Y, O)当且仅当Exp(α) ∈ (F*)⁻¹(𝒱ⁱ⁺²ᵐ⁻ⁿₖ(U))，在D-模与局部系统簇之间建立了精确联系。
• 上同调跳跃簇的结构在取局部系统对偶时保持不变：Hⁱ(X, L) ≅ Hⁱ(X, L⁻¹)，该性质在跳跃簇中包含扭平移子簇分量的空间上更一般地成立。