[論文レビュー] On images of weak Fano manifolds

Osamu Fujino, Yoshinori Gongyo|arXiv (Cornell University)|Mar 7, 2010

Algebraic Geometry and Number Theory参考文献 10被引用数 6

ひとこと要約

本稿では、複素射影的多様体間の滑らかで射影的な準同型 $ f: X \to Y $ が与えられ、$ X $ が弱Fano多様体（つまり、$ -K_X $ がnefかつbige）であるならば、$ Y $ も弱Fanoであることを確立する。証明はHodge理論とKawamataの正則性定理に依拠し、$ p $ で割った還元の手法を避ける。主な貢献は、滑らかで射影的な準同型の下で弱FanoおよびFano性が保たれるHodge理論的証明の構築にある。

ABSTRACT

We consider a smooth projective morphism between smooth complex projective varieties. If the source space is a weak Fano (or Fano) manifold, then so is the target space. Our proof is Hodge theoretic. We do not need mod $p$ reduction arguments. We also discuss related topics and questions.

研究の動機と目的

• 複素数体上での滑らかで射影的な準同型 $ f: X \to Y $ に対して、$ X $ が弱Fanoならば $ Y $ も弱Fanoであることを、$ p $ での還元に依拠せずに証明すること。
• Fanoおよび弱Fano性が滑らかで射影的な準同型の下で保たれる、新しいHodge理論的証明を提供すること。
• このような準同型の下で反標準除釈の半正則性を調査し、$ -K_X $ が半正則ならば $ -K_Y $ の半正則性に関する予想を提示すること。
• 正の特性におけるグローバル $ F $-正則性と対数Fano性の関係を探索し、$ p $ での還元を介してそれらを主定理と結びつけること。

提案手法

• Kawamataの正則性定理を適用し、$ -K_X $ が半正則ならば $ -K_Y $ がnefであることを示す。
• 相対的正則交わり条件とHodge理論的技法を用いて、滑らかな準同型の下での標準除釈の挙動を分析する。
• Stein因子分解を用いて連結なファイバーの状況に帰着し、有限生成 $ \mathbb{Z} $-代数上でのモデルを構成する。
• 一般の閉点 $ \mathfrak{p} $ を通じて正の特性へのベースチェンジを行い、$ X $ が弱Fanoならば $ X_p $ がグローバル $ F $-正則であるという事実を利用する。
• グローバル $ F $-正則性が基底変換 $ \overline{X_p} $ に引き継がれることを活用し、Lemma 6.7 を用いて $ \overline{Y_p} $ からのnef性を $ Y_p $ へと降下させる。
• 写像 $ \psi: \mathcal{Y} \to U $ の平坦性を用いて、$ (-K_Y)^{\dim Y} > 0 $ を結論づけ、したがって $ -K_Y $ はnefかつbigeであり、$ Y $ は弱Fanoである。

実験結果

リサーチクエスチョン

• RQ1 複素数体上での滑らかで射影的な準同型の下で、弱Fano性が源から標的に降下するか、$ p $ での還元に依拠せずに確認できるか？
• RQ2 滑らかで射影的な準同型 $ f: X \to Y $ に対して、$ -K_X $ の半正則性が $ -K_Y $ の半正則性を示唆するか？
• RQ3 正の特性におけるグローバル $ F $-正則性と特性ゼロにおける弱Fano性の関係は何か？
• RQ4 Kawamataの正則性定理は、ファミリーにおける標準除釈のHodge理論的解析をどのように支援するか？
• RQ5 canonical bundle formula は、半正則性の予想を他の既知の予想に還元するためにどの程度利用可能か？

主な発見

• 定理1.1：$ X $ が弱Fanoならば $ Y $ も弱Fanoであり、$ p $ での還元を用いず、Hodge理論とKawamataの正則性定理を用いて証明された。
• 定理1.4：$ -K_X $ が半正則ならば $ -K_Y $ はnefである。これは定理1.1の証明の重要なステップであり、$ p $ での還元技術を用いずに確立された。
• 定理1.2：$ X $ がFanoならば $ Y $ もFanoであり、この結果はKollár, Miyaoka, Moriによる元々の $ p $ での還元証明とは異なる、新しいHodge理論的手法によって証明された。
• 本稿では、予想1.3（$ -K_Y $ の半正則性）をcanonical bundle formulaに関する予想に還元し、特殊な場合に肯定的な答えを与えた。
• 付録6における $ p $ での還元アプローチにより、定理1.1がグローバル $ F $-正則性とベースチェンジ技法を用いて確認された。$ Y_p $ がグローバル $ F $-正則であり、$ (-K_{Y_p})^{\dim Y} > 0 $ であることが示された。
• 補題6.7は、代数的閉包上で $ \pi^*D $ がnefならば $ D $ がnefであることを示し、正の特性から特性ゼロへのnef性の降下を可能にした。