[论文解读] The monodromy theorem for compact Kähler manifolds and smooth quasi-projective varieties

Nero Budur, Yongqiang Liu+1 more|arXiv (Cornell University)|Sep 21, 2016

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

一句话总结

本文通过分析无限循环覆叠的提升变换在复系数同调上的作用，建立了紧致凯勒流形与光滑拟射影概形的单值型定理。结果表明，对于紧致凯勒流形，同调挠部分上单值作用的所有若尔当代数块大小均为1；而对于光滑拟射影概形，给出了若尔当代数块大小的上界，推广了经典的局部米尔诺单值定理。

ABSTRACT

Given any connected topological space $X$, assume that there exists an epimorphism $ϕ: π_1(X) o \mathbb{Z}$. The deck transformation group $\mathbb{Z}$ acts on the associated infinite cyclic cover $X^ϕ$ of $X$, hence on the homology group $H_i(X^ϕ, \mathbb{C})$. This action induces a linear automorphism on the torsion part of the homology group as a module over the Laurent ring $\mathbb{C}[t,t^{-1}]$, which is a finite dimensional $\mathbb{C}$-vector space. We study the sizes of the Jordan blocks of this linear automorphism. When $X$ is a compact Kähler manifold, we show that all the Jordan blocks are of size one. When $X$ is a smooth complex quasi-projective variety, we give an upper bound on the sizes of the Jordan blocks, which is an analogue of the Monodromy Theorem for the local Milnor fibration.

研究动机与目标

• 将经典的单值定理从局部米尔诺纤维化推广到紧致凯勒流形与光滑拟射影概形的全局情形。
• 分析与群基本群到 ℤ 的满同态相关的无限循环覆叠的同调上单值作用。
• 确定复系数同调挠部分上单值作用的若尔当代数块最大大小。
• 为光滑拟射影概形建立若尔当代数块大小的上界，类比于局部米尔诺情形。
• 利用霍奇理论与谱序列证明，无限循环覆叠的上同调 admits 一个具有半单分次商的滤子结构。

提出的方法

• 定义与满同态 φ: π₁(X) → ℤ 关联的无限循环覆叠 X^φ，并研究其提升变换在 H_i(X^φ, ℂ) 上的作用。
• 将同调视为劳伦特多项式环 R = ℂ[t, t⁻¹]-模，重点关注挠子模 T_i(X, φ)。
• 将 T_i(X, φ) 分解为对应于特征值 λ ∈ ℂ* 的广义特征子空间 T_i^λ(X, φ)，并定义若尔当代数块大小 S_λ 为满足 (t - λ)^m 消去该模的最小 m。
• 利用霍奇分解与霍奇 *-算子在德拉姆复形上定义埃尔米特结构，从而构造收敛于无限循环覆叠上同调的谱序列。
• 分析按微分形式次数分次的滤子所关联的谱序列 E^r_{p,q}，证明 E^3 作为 R-模是半单的，从而导致谱序列在 E^3 页退化。
• 应用亚历山大模的结构定理与若尔当代数块大小的伽罗瓦不变性，将一般情形约化至 λ = 1 的情形，此时通过霍奇理论论证证明了界。

实验结果

研究问题

• RQ1 紧致凯勒流形的无限循环覆叠的同调挠部分上，单值作用的结构是怎样的？
• RQ2 经典的局部米尔诺单值中若尔当代数块大小的界能否推广到全局代数与复解析情形？
• RQ3 对于光滑拟射影概形 X，其无限循环覆叠 X^φ 上同调 H_i(X^φ, ℂ) 的单值作用中，若尔当代数块的最大大小是多少？
• RQ4 无限循环覆叠的霍奇理论结构如何约束单值算子的若尔当代数标准型？
• RQ5 伽罗瓦作用在特征值上在多大程度上保持了单值表示中的若尔当代数块结构？

主要发现

• 对于紧致凯勒流形，同调挠部分上单值作用的所有若尔当代数块大小均为1。
• 对于光滑拟射影概形，特征值 λ 对应的若尔当代数块最大大小受 min{i+1, 2n−i} 限制，其中 n 为概形的复维数。
• 当单值作用为纯霍奇型且权为 2 时，该界改进为 min{i+1, 2n−i−1}。
• 与无限循环覆叠上霍奇滤子相关的谱序列在 E^3 页退化，且所有 E^3 页均为半单的 R-模。
• 若尔当代数块结构在伽罗瓦共轭下保持不变，且超越特征值对应的广义特征子空间为平凡。
• 无限循环覆叠的上同调 admits 一个具有半陕分次商的滤子结构，意味着单值作用在滤子意义下是拟半单的。