[论文解读] Cohomology jump loci of quasi-projective varieties

Nero Budur, Botong Wang|arXiv (Cornell University)|Nov 15, 2012

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

一句话总结

本文证明了复数域上光滑拟射影概代数簇的上同调跳跃点集在秩一局部系统特征簇中，是子环面的扭 translate 的有限并。通过结合对数联络、平坦丛模空间以及 Dimca-Papadima 关于无穷小形变的关键结果，作者证明了这些点集的每个不可约分支都包含一个扭点，从而迫使它成为子环面的 translate，因此将 Simpson 定理推广到了拟射影情形。

ABSTRACT

We prove that the cohomology jump loci in the space of rank one local systems over a smooth quasi-projective variety are finite unions of torsion translates of subtori. The main ingredients are a recent result of Dimca-Papadima, some techniques introduced by Simpson, together with properties of the moduli space of logarithmic connections constructed by Nitsure and Simpson.

研究动机与目标

• 将 Simpson 关于上同调跳跃点集的定理从光滑射影概代数簇推广到光滑拟射影概代数簇。
• 证明光滑拟射影概代数簇上秩一局部系统空间中的上同调跳跃点集是子环面的扭 translate 的有限并。
• 通过代数几何与表示论方法，证明这些点集的每个不可约分支都包含一个扭点。
• 将局部系统及其上同调不变量的理解从射影情形扩展至更一般的情形。

提出的方法

• 利用 Simpson 工作中的一种技术与 Thom 的第一同胚引理，将问题约化到代数闭包 Q̄ 上定义的概代数簇。
• 利用 Nitsure 与 Simpson 构造的对数联络模空间，将局部系统与平坦丛联系起来。
• 应用 Morgan 的 Gysin 模型，以描述平凡局部系统的无穷小形变。
• 结合 Dimca-Papadima 的结果（即包含平凡局部系统的分支是子环面）与扭点的存在性，推导出一般结构。
• 应用 Gelfond-Schneider 定理与 Hilbert 无理性定理，证明定义在 Q 上的某些代数集必为有理集或线性集。
• 通过在余维数上使用归纳法，结合投影与指数映射，将高余维数情形约化为余维数为一的情形。

实验结果

研究问题

• RQ1 复数域上光滑拟射影概代数簇的上同调跳跃点集是否具有与光滑射影概代数簇类似的结构？
• RQ2 在拟射影情形下，能否证明上同调跳跃点集的不可约分支具有扭点性质？
• RQ3 对数平坦丛及其模空间如何与底层概代数簇的拓扑及其局部系统相关联？
• RQ4 上同调跳跃点集的结构在双有理变换或紧化下是否保持不变？
• RQ5 代数闭包 Q̄ 在上同调跳跃点集的拓扑不变性中起到何种作用？

主要发现

• 对于光滑拟射影概代数簇 U，其上同调跳跃点集 Σⁱₖ(U) 在特征簇 M_B(U) 中是子环面的扭 translate 的有限并。
• Σⁱₖ(U) 的每个不可约分支至少包含一个扭点，这是证明主定理的关键步骤。
• 该结果将 Simpson 定理从射影情形推广到了拟射影情形。
• 证明依赖于 Dimca 与 Papadima 的结果：包含平凡局部系统的分支是子环面。
• 由于代数子簇定义在 Q 上，且分支上存在扭点，通过指数映射的性质可推出该分支必为子环面的 translate。
• 附录中强化了一个关于代数集指数像的引理，表明若 exp(S) ⊂ T 且 S, T 定义在 Q̄ 上，则 T 必为子环面的扭 translate。