[论文解读] Vanishing theorems of Kodaira type for Witt canonical sheaves

Hiromu Tanaka|arXiv (Cornell University)|Jul 13, 2017

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

一句话总结

本文利用 de Rham–Witt 复形，为 Witt canonical 层建立了正特征下的 Kodaira 与 Kawamata–Viehweg 范性定理的类比。证明了在与 ℚ tensor 后，Witt canonical 层与 ample 线丛的 Teichmüller 提升的张量积的高阶上同调群为零，从而解决了正特征下经典 Kodaira 范性定理失效的关键问题。

ABSTRACT

Given a smooth projective variety over a perfect field of positive characteristic, we prove that the higher cohomologies vanish for the tensor product of the Witt canonical sheaf and the Teichmuller lift of an ample invertible sheaf. We also give a generalisation of this vanishing theorem to one of Kawamata-Viehweg type.

研究动机与目标

• 利用 de Rham–Witt 复形建立 Kodaira 范性定理的正特征类比。
• 通过引入 Witt canonical 层与 Teichmüller 提升，解决经典 Kodaira 范性定理在正特征下的失效问题。
• 将结果推广至正特征下的 Kawamata–Viehweg 型范性定理。
• 通过构造在 ℤ 上的反例，阐明在上同调范性陈述中与 ℚ tensor 的必要性。
• 研究 Teichmüller 提升在 ℚ 上的上同调的无限维性质。

提出的方法

• 利用 de Rham–Witt 复形定义 Witt canonical 层及其与 ample 可逆层的 Teichmüller 提升的张量积。
• 应用 Frobenius 扭转与 Verschiebung 映射，在与 ℚ tensor 后诱导上同调上的同构。
• 在上同调群的逆系上应用 Mittag–Leffler 条件，以确保与极限的相容性。
• 利用 Serre 对偶性与包含 Verschiebung 的正合列，分析上同调中的无挠性与单射性。
• 应用 $p$-进赋值与 $p$-挠自由性，证明在 $W(k)$ 上的线性无关性，从而在 $\mathbb{Q}$ 上成立。
• 通过正合列 $0 \to (F_X)_*\underline{L}^{-p} \xrightarrow{V} \underline{L}^{-1} \to L^{-1} \to 0$ 构造显式反例，证明在 $\mathbb{Z}$ 上的非零性。

实验结果

研究问题

• RQ1 在正特征下，Witt canonical 层与 ample 线丛的 Teichmüller 提升的张量积的高阶上同调是否为零？
• RQ2 能否通过 Witt canonical 层将 Kodaira 范性定理推广为正特征下的 Kawamata–Viehweg 型范性定理？
• RQ3 为何范性定理中必须与 $\mathbb{Q}$ tensor？在 $\mathbb{Z}$ 上上同调群会发生什么？
• RQ4 ample 线丛的 Teichmüller 提升的上同调群在 $\mathbb{Q}$ 上是否为无限维？
• RQ5 这些范性结果能否推广至 nef 与 big 线丛，或更高阶形式？

主要发现

• 对于定义在特征 $p>0$ 的完美域上的光滑射影概形 $X$，若 $\dim X = N$，则对任意 ample 可逆层 $A$ 的 Teichmüller 提升 $\underline{A}$，有 $H^i(X, W\Omega_X^N \otimes_{W\mathcal{O}_X} \underline{A}) = 0$ 对所有 $i > 0$ 成立。
• 上同调 $H^j(X, \underline{A}^{-1}) \otimes_{\mathbb{Z}} \mathbb{Q} = 0$ 对所有 $j < N$ 成立，展示了正特征下的 Kodaira 范性定理类比。
• 上同调 $H^0(X, \underline{A}) \otimes_{\mathbb{Z}} \mathbb{Q}$ 在 $\mathbb{Q}$ 上为无限维，表明 Teichmüller 提升不保持有限维性。
• 当 $X$ 光滑时，$H^N(X, \underline{A}^{-1}) \otimes_{\mathbb{Z}} \mathbb{Q}$ 在 $\mathbb{Q}$ 上也为无限维，表明存在非平凡的上同调行为。
• 在 $\mathbb{Z}$ 上，$H^1(X, \underline{A}^{-1})$ 与 $H^2(X, \underline{A}^{-1})$ 可能非零，证明了在范性定理中 $\otimes \mathbb{Q}$ 的必要性。
• 在适当的 ample 性与横截相交假设下，相对 Kawamata–Viehweg 范性定理在 $\otimes \mathbb{Q}$ 后成立：$R^i f_*(\mathcal{H}om(W\mathcal{O}_X(-A), W\Omega_X^N)) \otimes_{\mathbb{Z}} \mathbb{Q} = 0$ 对所有 $i > 0$ 成立。