[论文解读] The trace map of Frobenius and extending sections for threefolds

Hiromu Tanaka|arXiv (Cornell University)|Feb 13, 2013

Algebraic Geometry and Number Theory参考文献 16被引用 7

一句话总结

该论文利用弗罗贝尼乌斯的迹映射，在正特征情况下建立了光滑射影三复叠上伴随线丛截面的延拓定理。在边界除子满足拟正与非平凡伊塔卡体积条件时，证明了全局截面的限制映射在足够高次幂下成为满射，从而为特征零的消去定理提供了正特征类比。

ABSTRACT

In this paper, by using the trace map of Frobenius, we consider problems on extending sections for positive characteristic threefolds.

研究动机与目标

• 建立三复叠上截面延拓的正特征类比，作为柯迪埃拉消去定理的正特征版本。
• 解决已知反例中显示的正特征下全局截面限制映射失效的问题。
• 证明当边界除子满足拟正性与非零伊塔卡体积时，限制映射在高次幂下成为满射。
• 利用弗罗贝尼乌斯的迹映射建立分析正特征几何中上同调消去与满射性的框架。
• 研究当边界除子的伊塔卡体积为零时延拓定理的有效性，特别在特征二中给出否定结果。

提出的方法

• 利用弗罗贝尼乌斯的迹映射，通过包含限制映射与迹映射的交换图，将三复叠及其光滑除子上的上同调群联系起来。
• 对高次弗罗贝尼乌斯幂应用塞尔消去定理，将限制映射的满射性归约为迹映射的满射性。
• 在边界除子满足拟正性与非零伊塔卡体积条件下，证明迹映射是满射（或非零）。
• 通过在边界除子上使用迹映射并将维数归纳法应用于减少三复叠情形至曲面情形。
• 运用极小模型程序与双有理几何，将情形约化至 canonical 除子为拟正的情形。
• 利用丰沛定理得出半正则性并构造到曲线的纤维化，从而利用基点自由性与上同调下降。

实验结果

研究问题

• RQ1 当 $ K_X + S + A $ 拟正且 $ \kappa(S, K_S + A|_S) \neq 0 $ 时，限制映射 $ H^0(X, m(K_X + S + A)) \to H^0(S, m(K_S + A|_S)) $ 在正特征下是否仍为满射？
• RQ2 当柯迪埃拉消去定理失效时，弗罗贝尼乌斯的迹映射是否可用于建立正特征下限制映射的满射性？
• RQ3 当 $ \kappa(S, K_S + A|_S) = 0 $ 时，延拓性质如何变化，特别是在特征二中？
• RQ4 是否存在具有光滑边界除子的三复叠在正特征下的 Kawamata–Shokurov 基点自由定理的类比？
• RQ5 在曲面与三复叠上，当满足拟正性与非平凡体积条件时，弗罗贝尼乌斯的迹映射是否保持非零或满射？

主要发现

• 对于正特征下的光滑射影三复叠 $ X $，若 $ K_X + S + A $ 拟正且 $ \kappa(S, K_S + A|_S) \neq 0 $，则存在 $ m_0 \in \mathbb{Z}_{>0} $，使得对所有 $ m \geq m_0 $，限制映射 $ H^0(X, m(K_X + S + A)) \to H^0(S, m(K_S + A|_S)) $ 为满射。
• 在光滑射影曲面上，若 $ H^0(C, K_C + A) \neq 0 $，则对所有 $ e \in \mathbb{Z}_{>0} $，迹映射 $ \operatorname{Tr}_C^e(A): H^0(C, K_C + p^e A) \to H^0(C, K_C + A) $ 非零。
• 对于光滑射影曲面，若 $ K_S + A $ 拟正且 $ \kappa(S, K_S + A) \neq 0 $，则存在 $ m_1 \in \mathbb{Z}_{>0} $，使得对所有 $ m \geq m_1 $ 与所有 $ e \in \mathbb{Z}_{>0} $，迹映射 $ \operatorname{Tr}_S^e(A + m(K_S + A)) $ 为满射。
• 在特征二中，反例表明当 $ \kappa(S, K_S + A) = 0 $ 时，迹映射并非满射，即使 $ -K_S $ 是ample。
• 证明通过极小模型程序将三复叠情形约化至曲面情形，并利用丰沛定理构造到曲线的纤维化。
• 通过纤维化下降上同调并利用基点自由性于基曲线，证明了限制映射的满射性。