[论文解读] A canonical linear system associated to adjoint divisors in characteristic $p > 0$

Karl Schwede|arXiv (Cornell University)|Jul 19, 2011

Algebraic Geometry and Number Theory参考文献 28被引用 20

一句话总结

本文引入了一个在特征 p > 0 下的典范线性系统 S₀(X, ω_X ⊗ L)，该系统源自 Frobenius 拉回与 Grothendieck 迹映射。证明了当 L − K_X − Δ 为大且 nef 时，该系统全局生成扭曲的测试理想 τ(X, Δ) ⊗ O_X(L + nM)，从而在正特征下以测试理想替代消去定理，推广了类乘子理想型的全局生成结果。关键结果为：当 L − K_X − Δ 为大且 nef 时，τ(X, Δ) ⊗ O_X(L + nM) 是全局生成的，这推广了正特征下的 Fujita 型定理。

ABSTRACT

Suppose that $X$ is a projective variety over an algebraically closed field of characteristic $p > 0$. Further suppose that $L$ is an ample (or more generally in some sense positive) divisor. We study a natural linear system in $|K_X + L|$. We further generalize this to incorporate a boundary divisor $\Delta$. We show that these subsystems behave like the global sections associated to multiplier ideals, $H^0(X, \mJ(X, \Delta) ensor L)$ in characteristic zero. In particular, we show that these systems are in many cases base-point-free. While the original proof utilized Kawamata-Viehweg vanishing and variants of multiplier ideals, our proof uses test ideals.

研究动机与目标

• 建立乘子理想全局生成结果在特征 p > 0 下的类比，因为 Kawamata-Viehweg 消去定理在该情形下不成立。
• 定义并研究由 Frobenius 拉回与 Grothendieck 迹映射导出的典范线性系统 S₀(X, ω_X ⊗ L)。
• 证明当 L − K_X − Δ 为大且 nef 时，该系统全局生成 τ(X, Δ) ⊗ O_X(L + nM)，将 Fujita 型定理推广至正特征。
• 展示尽管 Nadel 型消去定理不成立，测试理想在整体上仍表现得如同特征零下的乘子理想。

提出的方法

• 将典范线性系统 S₀(X, ω_X ⊗ L) 定义为 Frobenius-迹映射 H⁰(X, F^e_* (ω_X ⊗ L^{p^e})) → H⁰(X, ω_X ⊗ L) 在 e ≫ 0 时的稳定像。
• 利用 Grothendieck 迹映射 F^e_* ω_X → ω_X 并通过线丛扭量构造全局截面之间的映射。
• 应用测试理想 τ(X, Δ) 作为乘子理想 J(X, Δ) 在特征 p > 0 下的类比，利用其局部与整体性质。
• 在假设 L − K_X − Δ 为大且 nef 的条件下，通过典范系统 S₀(X, ω_X ⊗ L^{n+1}) 证明 τ(X, Δ) ⊗ O_X(L + nM) 的全局生成性。
• 利用限制映射与涉及 F^e_* (I_Z · L_{e,Δ}) 的正合列，将 X 上的全局截面与 F-纯中心 Z 上的截面联系起来。
• 将结果推广至 F-纯 Cartier 模，并在 F-浸入假设下导出 h^i(ω^q_X) ⊗ M^{d+i−1} ⊗ L 的全局生成性。

实验结果

研究问题

• RQ1 能否在正特征下，通过使用测试理想而非消去定理，复现特征零下乘子理想的全局生成性？
• RQ2 当 L − K_X − Δ 为大且 nef 时，典范线性系统 S₀(X, ω_X ⊗ L) 是否全局生成 τ(X, Δ) ⊗ O_X(L + nM)？
• RQ3 能否利用典范线性系统 S₀(X, ω_X ⊗ L) 将 Fujita 关于全局生成性与嵌入的猜想推广至特征 p > 0？
• RQ4 在缺乏 Nadel 消去定理的情况下，测试理想在正特征下的整体行为如何？
• RQ5 典范系统在 F-纯中心上的限制是否保持无基点性与满射性？

主要发现

• 当 L − K_X − Δ 为大且 nef 时，典范线性系统 S₀(X, ω_X ⊗ L) 全局生成 τ(X, Δ) ⊗ O_X(L + nM)，证明了在正特征下的全局生成性。
• 对于强 F-正则对 (X, Δ)，在相同条件下，线丛 O_X(L + nM) 是全局生成的，从而推广了 Fujita 型结果。
• 当 L 为非常 ample 且全局生成时，即使不假设光滑性，典范系统 S₀(X, ω_X ⊗ L) 在 F-浸入代数簇上也是无基点的。
• 对任意 F-纯中心 Z，从 S₀(X, σ(X, Δ) ⊗ O_X(M)) 到 S₀(Z, σ(Z, φ^Δ_Z) ⊗ O_Z(M)) 的限制映射是满射的，保持了全局生成性。
• 在曲线情形下，典范系统 S₀(X, ω_X ⊗ L^{n+1}) 对所有 n ≥ dim X 为无基点，从而在一维情形下确认了 Fujita 猜想。
• 在维数为 d 的射影 F-浸入代数簇 X 上，当 M 与 L 分别为全局生成与非常 ample 时，对 −d < i < 0，层 h^i(ω^q_X) ⊗ M^{d+i−1} ⊗ L 是全局生成的。