[論文レビュー] 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

ひとこと要約

この論文は、Frobeniusのトレース写像を用いて、正の特性における滑らかな射影的3次元多様体上の随伴ラインバンドルの切断の拡張定理を確立する。境界除部分にネフ性および非自明なIitaka体積条件が成り立つ場合、十分に大きな倍数に対して、全切断群上の制限写像が全射になることを証明し、特徴零の消失定理の正の特性版を提供する。

ABSTRACT

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

研究の動機と目的

• 3次元多様体におけるKodairaの消失定理の正の特性版を確立すること。
• 既知の反例で示されるように、正の特性における全切断群上の制限写像の失敗を扱うこと。
• 境界除部分にネフ性および非ゼロのIitaka体積がある場合、十分大きな倍数に対して制限写像が全射になることを証明すること。
• Frobeniusのトレース写像を用いた枠組みを構築し、正の特性幾何におけるコホモロジー的消失および全射性を分析すること。
• Iitaka体積がゼロである場合の拡張定理の有効性を検討し、特に特徴二において負の結果を提供すること。

提案手法

• Frobeniusのトレース写像を用いて、3次元多様体とその滑らかな除部分の間のコホモロジー群を、制限写像とトレース写像を含む可換図式で関連付ける。
• Frobeniusの高次の大きなべきに対するSerreの消失定理を適用し、制限写像の全射性をトレース写像の全射性に還元する。
• 境界除部分にネフ性および非ゼロのIitaka体積がある条件下で、トレース写像が全射（または非ゼロ）であることを証明する。
• 境界除部分におけるトレース写像を用いて3次元の場合を2次元の場合に還元し、次元に関する帰納法を適用する。
• 最小モデルプログラムおよび特異点の解消理論を用いて、 canonical divisor がネフである場合に還元する。
• 豊富性定理を用いて半正則性を結論づけ、曲線へのファイブレーションを構成し、基点自由性およびコホモロジー的降下を可能にする。

実験結果

リサーチクエスチョン

• 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)) $ は、$ m $ が十分に大きい場合に全射のままであるか？
• RQ2 Kodairaの消失定理が成立しない正の特性において、Frobeniusのトレース写像を用いて制限写像の全射性を確立できるか？
• RQ3 Iitaka体積 $ \kappa(S, K_S + A|_S) = 0 $ である場合、特に特徴二において、拡張性質はどのように変化するか？
• RQ4 境界除部分が滑らかである3次元多様体に対して、Kawamata–Shokurovの基点自由定理の正の特性版は存在するか？
• RQ5 ネフ性および非自明な体積条件の下で、表面および3次元多様体におけるFrobeniusのトレース写像は、非ゼロまたは全射のままであるか？

主な発見

• 正の特性における滑らかな射影的3次元多様体 $ 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 $ が豊富である場合でも、トレース写像が全射でないことが示された。
• 証明は、最小モデルプログラムを用いて3次元の場合を2次元の場合に還元し、豊富性定理を用いて曲線へのファイブレーションを構成する。
• 基点自由性と曲線の基底へのコホモロジー的降下を用いて、制限写像が全射であることを示した。