[論文レビュー] The cone of moving curves of a smooth Fano-threefold

Sammy Barkowski|ArXiv.org|Mar 1, 2007

Geometry and complex manifolds参考文献 5被引用数 4

ひとこと要約

この論文は、BDPP定理による強可動なコーンと効果的除数コーンの双対性を用いて、滑らかなファノ3次元多様体上の移動曲線のコーンが多面体的であることを証明する。移動コーンは、モーリー収縮の例外的除数との非負の交差数によって定義され、ネロン＝セベリ空間内で有限の多面体的構造を持つことが示される。

ABSTRACT

In this short note we show that the closed cone of moving curves of a smooth Fano-threefold is polyhedral. The proof relies on a famous result of Bucksom, Demailly, Paun and Peternell which says that the strongly movable cone is dual to the cone of pseudoeffective divisors. Finally, we relate the extremal rays of the cone of moving curves on a threefold with extremal rays in the cone of strongly movable curves on a birational model obtained by a Mori contraction.

研究の動機と目的

• 滑らかなファノ3次元多様体上の移動曲線コーンの多面体的構造を確立すること。
• 移動コーンが、除数的モーリー収縮の例外的除数との非負の交差数によって切り出されることを証明すること。
• 3次元多様体上の移動コーンの極値線が、モーリー収縮を介して、被約型の双有理モデル上の強可動コーンの極値線とどのように関係するかを明らかにすること。
• BDPP（2004）の強可動コーンと効果的コーンの双対性結果を用いて、簡潔な証明を与えること。
• バティレーヴ（1992）とアラウホ（2005）の以前の主張におけるギャップを、ファノ3次元多様体の場合に完全な議論を提示することで解消すること。

提案手法

• BDPP双対性定理を適用する。この定理は、ネロン＝セベリ空間における強可動コーンが、効果的除数コーンと双対的であると述べている。
• 3次元における最小モデルプログラム（MMP）を用いて、モーリー収縮によって得られる双有理モデルを解析する。
• 双有理写像を介して1次元サイクルの数値の引き戻しと押し出しを定義し、異なるモデル間での移動クラスを関連付ける。
• 射影公式およびネフでかつ効果的な除数の性質を用いて、引き戻しにおいて交差正の性質が保たれることを示す。
• 被約型のモデル $Y$ における強可動コーンの極値線が、元の多様体 $X$ における移動コーンの極値線に対応することを確立する。
• 滑らかなファノ3次元多様体の効果的コーンが有限の有理係数多面体的である（クーロニャとツァボーの独立した結果）ことを利用して、双対性により移動コーンの多面体的性質を結論づける。

実験結果

リサーチクエスチョン

• RQ1 滑らかなファノ3次元多様体上の移動曲線コーンは多面体的か？
• RQ2 移動コーンの極値線は、被約型の双有理モデル上の強可動コーンの極値線とどのように関係するか？
• RQ3 移動コーンは、モーリー収縮の例外的除数によって定義される半空間の共通部分として記述できるか？
• RQ4 強可動コーンと効果的除数コーンの双対性は、ファノ3次元多様体における移動コーンの多面体的性質を示唆するか？
• RQ5 モーリー収縮は、双有理モデル間の移動曲線クラスをどのように関連付けるか？

主な発見

• 滑らかなファノ3次元多様体 $X$ 上の移動曲線コーン $\overline{\mathrm{NM}}(X)$ は、$N_1(X)_{\mathbb{R}}$ 内の閉じた凸多面体コーンである。
• 移動コーンは $\overline{\mathrm{NM}}(X) = \{[c] \in \overline{\mathrm{NE}}(X) \mid c \cdot E_i \geq 0 \text{ for all } i\}$ と特徴づけられる。ここで $E_i$ は除数的モーリー収縮の例外的除数である。
• 多様体 $X$ 上の移動コーンの極値線は、モーリー収縮を介して得られる被約型の双有理モデル $Y$ 上の強可動コーンの極値線に対応する。
• 強可動コーンと効果的除数コーンの双対性（BDPP定理）により、効果的コーンが有限の有理係数多面体的である場合、移動コーンが多面体的であることが示される。
• この結果は、バティレーヴとアラウホの主張におけるギャップを解消し、特殊ケースにおける予想を裏付ける。
• 証明は1次元サイクルの数値的引き戻しと射影公式に依拠しており、異なる双有理モデル間でのクラスを関連づけ、交差正の性質が保たれることを保証する。