[论文解读] Generic vanishing for semi-abelian varieties and integral Alexander modules

Yongqiang Liu, Laurenţiu Maxim+1 more|arXiv (Cornell University)|Jul 31, 2017

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

一句话总结

本文通过层论方法，在复半阿贝尔簇上建立了具有域系数的 perverse 层的通用消失定理。证明了在到半阿贝尔簇的恰当半小态射下，光滑拟射影簇的积分 Alexander 模是 ℤ 上的有限生成模，推广了先前的 Morse 理论结果，并通过通用消失和 Alexander 多项式提供了拓扑有限性的判别准则。

ABSTRACT

We revisit generic vanishing results for perverse sheaves with any field coefficients on a complex semi-abelian variety, and indicate several topological applications. In particular, we obtain finiteness properties for the integral Alexander modules of complex algebraic varieties mapping to semi-abelian varieties. Similar results were recently derived by the authors by using Morse-theoretic arguments.

研究动机与目标

• 将先前关于 Alexander 模有限生成的 Morse 理论结果推广到层论框架。
• 在复半阿贝尔簇上，为具有任意域系数的 perverse 层建立通用消失定理。
• 证明在到半阿贝尔簇的恰当半小态射下，积分 Alexander 模在 ℤ 上是有限生成的。
• 通过半阿贝尔簇上的通用消失定理和 Alexander 多项式的结构，提供一个有限生成性的拓扑判别准则。

提出的方法

• 将 Krause (2014) 的 ℓ-进通用消失设定适配到具有任意域系数的复设置中。
• 利用半阿贝尔簇上 perverse 层和特征层的理论来分析上同调消失性。
• 应用投影公式和基变换，将扭曲 perverse 层的上同调与基本群的结构联系起来。
• 通过群结构和特征理论，将半阿贝尔簇上的通用消失问题约化为已知的阿贝尔簇情形。
• 利用有理 Alexander 多项式的结构定理（单位根），排除非有限生成的积分模。
• 通过分析纤维维数和半小性的缺陷，控制上同调支集并确保有限生成性。

实验结果

研究问题

• RQ1 在复半阿贝尔簇上，具有任意域系数的 perverse 层是否满足通用消失性？
• RQ2 在何种条件下，光滑拟射影簇的积分 Alexander 模在 ℤ 上是有限生成的？
• RQ3 Albanese 映射的恰当性和半小性如何与 Alexander 模的有限生成性相关联？
• RQ4 能否从半阿贝尔簇上的通用消失定理推导出积分 Alexander 模的有限生成性？
• RQ5 单位根在 Alexander 多项式的结构以及积分模的有限生成性中起什么作用？

主要发现

• 通用消失性对任意域系数均成立：对于复半阿贝尔簇上的 perverse 层，其上同调在特征的 Zariski 开集外仅在度数零非零。
• 当 $X$ 允许到半阿贝尔簇的恰当半小态射时，积分 Alexander 模 $H_i(X^ ho, \mathbb{Z})$ 在 $i \neq n$ 时在 $\mathbb{Z}$ 上是有限生成的。
• 当 $X$ 的 Albanese 映射是恰当且半小时，$H_i(X^ ho, \mathbb{Z})$ 的有限生成性得到保证，这等价于存在到半阿贝尔簇的此类态射。
• 有理 Alexander 多项式的结构定理表明其零点为单位根，从而排除了如 $\mathbb{Z}[t,t^{-1}]/(2t^2 - 3t + 2)$ 这类非有限生成的积分模。
• 当纤维维数有界于 $d$ 且 $n > d$ 时，若基本群的像在 $\mathbb{Z}$ 上一般性地映射，则对 $i \leq n - d$，积分 Alexander 模 $H_i(X^ ho, \mathbb{Z})$ 在 $\mathbb{Z}$ 上是有限生成的。
• 当 $f: X \to S$ 是恰当态射且 $n > r(f)$ 时，缺陷的半小性，对 $i \leq n - r(f)$，$H_i(X^ ho, \mathbb{Z})$ 的有限生成性结论仍然成立。