[论文解读] Pluri-canonical maps of varieties of maximal Albanese dimension in positive characteristic

Yuchen Zhang|arXiv (Cornell University)|Mar 7, 2012

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

一句话总结

该论文证明了在正特征代数闭域上，若光滑射影概形 $X$ 属于一般型，具有极大阿尔巴内塞维数且阿尔巴内塞映射为可分，则线性系统 $|4K_X|$ 诱导一个双有理映射。证明方法通过在正特征下利用傅里叶-穆凯伊变换、测试理想以及弗罗贝尼乌斯与塞尔消去性，替代特征零情形下失效的 Kawamata-Viehweg 消去性，从而适应特征零的技巧。

ABSTRACT

We show that if X is a nonsingular projective variety of general type over an algebraically closed field k of positive characteristic and X has maximal Albanese dimension and the Albanese map is separable, then |4K_X| induces a birational map.

研究动机与目标

• 将特征零下关于多重 canonical 映射的结果推广至正特征。
• 确定当 $X$ 具有极大阿尔巴内塞维数且阿尔巴内塞映射可分时，使得 $|mK_X|$ 诱导双有理映射的最小 $m$ 值。
• 通过以测试理想替代乘子理想，并结合弗罗贝尼乌斯与塞尔消去性，克服正特征下 Kawamata-Viehweg 消去性失效的问题。
• 将特征零下 $|3K_X|$ 的双有理性结果推广至正特征下的 $|4K_X|$，在极大阿尔巴内塞维数与可分阿尔巴内塞映射条件下。
• 建立傅里叶-穆凯伊变换与渐近测试理想在正特征下可有效用于研究一般型概形的双有理几何。

提出的方法

• 在阿尔巴内塞簇上使用傅里叶-穆凯伊变换，通过上同调消去性构造 $mK_X$ 的截面。
• 在正特征下以测试理想替代特征零中的乘子理想，利用弗罗贝尼乌斯态射与迹映射。
• 对迹映射 $\operatorname{Tr}^e$ 的 $e$-重迭代应用，定义关于理想格序列的渐近测试理想 $\tau(\mathfrak{a}_\bullet^\lambda)$。
• 利用线性系列的同构关系 $\tau(\lambda \cdot \|D\|) = \tau(\mathfrak{a}_\bullet^\lambda)$，定义与除子相关的测试理想。
• 以弗罗贝尼乌斯与塞尔消去性替代 Kawamata-Viehweg 消去性，确保在正特征下实现上同调消去性。
• 通过 $F^e_*$-拉回构造层同态链，并分析其在零维概形上的行为，以证明 $|4K_X|$ 的双有理性。

实验结果

研究问题

• RQ1 在正特征下，对于具有极大阿尔巴内塞维数的一般型概形，使得 $|mK_X|$ 诱导双有理映射的最小 $m$ 是多少？
• RQ2 在多重 canonical 映射的背景下，能否通过弗罗贝尼乌斯与塞尔消去性克服正特征下 Kawamata-Viehweg 消去性失效的问题？
• RQ3 在正特征域上研究双有理几何时，测试理想在多大程度上可替代乘子理想？
• RQ4 傅里叶-穆凯伊变换与渐近测试理想如何协同作用，以在正特征下构造 $mK_X$ 的截面？
• RQ5 在极大阿尔巴内塞维数与可分阿尔巴内塞映射条件下，特征零下 $|3K_X|$ 的双有理性结果能否推广至正特征下的 $|4K_X|$？

主要发现

• 对于定义在代数闭正特征域上的光滑射影一般型概形 $X$，若 $X$ 具有极大阿尔巴内塞维数且阿尔巴内塞映射可分，则 $|4K_X|$ 诱导一个双有理映射。
• 证明中以测试理想与弗罗贝尼乌斯/塞尔消去性替代了特征零中的乘子理想与 Kawamata-Viehweg 消去性。
• 使用渐近测试理想 $\tau(\|3\Delta\|)$ 对 $\mathcal{O}_X(4K_X)$ 进行扭量，所得层 $\mathcal{O}_X(4K_X) \otimes \tau(\|3\Delta\|)$ 在一般点处可分离切向量。
• 傅里叶-穆凯伊变换通过上同调消去性构造 $mK_X$ 的截面，关键步骤在于阿尔巴内塞簇上全局截面的满射性。
• 构造表明，对一般点 $x \in X$，层 $\mathcal{F}_3 = \mathcal{O}_X(4K_X) \otimes \tau(\|3\Delta\|)$ 可在 $x$ 及其以 $x$ 为中心的长度为二的零维概形上分离切向量。
• 结果确认了在给定条件下 $|4K_X|$ 是双有理的，为特征零下 $|3K_X|$ 的结果提供了正特征类比。