[論文レビュー] Some Results about the Index Conjecture for log Calabi-Yau Pairs

Yanning Xu|arXiv (Cornell University)|Apr 30, 2019

Algebraic Geometry and Number Theory参考文献 17被引用数 5

ひとこと要約

本稿では、3次元の対数ケーリー・ヤウ対および4次元のklt対数ケーリー・ヤウ対（境界除数が非ゼロのもの）に対して、 canonical bundle formula、MMP、一般化された対の有界性結果に基づく帰納的技法を用いて、対数正則ケーリー・ヤウ対の対数正則指数の有界性を確立する。3次元の対数正則ケーリー・ヤウ対についての指数予想を証明し、4次元においては追加の仮定の下で部分的に証明する。

ABSTRACT

We show some inductive statements for the index conjecture for log canonical Calabi-Yau pairs. Using it, we show that boundedness of log canonical index for log canonical Calabi Yau pairs with rational DCC coefficients in dimension 3. We also show boundedness of log canonical index for klt log Calabi-Yau pairs in dimension 4 with $B eq 0$.

研究の動機と目的

• 3次元の対数正則ケーリー・ヤウ対についての指数予想を証明すること。
• 境界除数が非ゼロである4次元のklt対数ケーリー・ヤウ対について、対数正則指数の有界性を確立すること。
• canonical bundle formulaおよびMMPに基づく帰納的技法を開発し、高次元のケースを低次元の有界性結果に還元すること。
• 指数予想をB-有理同型自己同型群の有界性および一般化された対に関連付けること。

提案手法

• 次元に関する帰納法を用い、低次元で指数予想が成り立つと仮定して、高次元での成立を示す。
• canonical bundle formulaを適用して、ファイバー空間上の対数正則除数を基底に結びつけ、問題を低次元のケースに還元する。
• 最小モデルプログラム（MMP）を用いて極小射線を収縮させ、Moriファイバー空間またはファノ型多様体に還元する。
• BABおよび一般化された対の理論からの有界性結果を応用して、モジュライ除数および境界成分の振る舞いを制御する。
• 有理曲線および楕円曲線が有界な族をなすという事実を用いて、全空間の有界性を導く。
• 1次元では既知であるが、pluricanonicalシステム上のB-有理同型自己同型群の作用が有界であるという予想に依拠する。

実験結果

リサーチクエスチョン

• RQ1 3次元の対数正則ケーリー・ヤウ対について、指数予想は成り立つか？
• RQ2 境界除数が非ゼロである4次元のklt対数ケーリー・ヤウ対について、対数正則指数は有界か？
• RQ3 指数予想は、低次元におけるB-有理同型自己同型群および一般化された対の有界性に還元可能か？
• RQ4 canonical bundle formulaは、高次元における対数正則指数の有界性を示す際に果たす役割は何か？
• RQ5 MMPおよび族の有界性を用いて、指数予想を帰納的に確立できるか？

主な発見

• 3次元の対数正則ケーリー・ヤウ対について、指数予想が成り立つ。すなわち、すべてのこのような対に対して一様な $ n $ が存在し、$ n(K_X + B) \sim 0 $ となる。
• 境界除数 $ B \neq 0 $ を持つ4次元のklt対数ケーリー・ヤウ対について、対数正則指数は有界である。つまり、係数集合 $ \mathfrak{R} $ のみに依存する $ n $ が存在し、$ n(K_X + B) \sim 0 $ となる。
• 証明は、Moriファイバー空間の基底が点、曲線、または曲面である場合に還元され、それぞれのケースで有界性を適用する。
• 基底が曲面である場合、canonical bundle formulaおよびMMPを用いて、$ q(K_X + B) $ が有界な倍数の後にコホーマントかつトーショングローバルとなることを示す。
• このような対の族の有界性は [4, Theorem 1.4] から従い、一様なトーショングローバル指数が得られる。
• 結果は、次元 $ \leq d $ におけるkltケーリー・ヤウ多様体の有界性に関する予想1.4および次元 $ \leq d-2 $ におけるB-有理同型群の有bound性に関する予想1.9に依存しており、これらは低次元では既知である。