[論文レビュー] On the anti-canonical ring and varieties of Fano type

Paolo Cascini, Yoshinori Gongyo|arXiv (Cornell University)|Jun 19, 2013

Algebraic Geometry and Number Theory参考文献 27被引用数 9

ひとこと要約

本稿は、反標準線形系列の特異点を用いて、ファノ型の代数的多様体の特徴づけを確立する。Q-ゴレンシュタインで正規な多様体 $ X $ がファノ型であることの必要十分条件は、$ -K_X $ が大きいこと、反標準線形系列 $ R(-K_X) $ が有限生成であること、およびこの線形系列の射影スペクトル $ \mathrm{Proj}\,R(-K_X) $ が対数終票特異点を持つことである。この結果は既知の2次元の場合の結果を拡張し、モーリー・ドリーム空間の仮定を必要としない高次元におけるファノ型多様体の基礎的基準を提供する。

ABSTRACT

We study the anti-canonical ring of a projective variety and we characterise varieties of log Fano type depending on the singularities of these models.

研究の動機と目的

• 反標準モデルの特異点を用いて、ファノ型多様体を特徴づけること。
• 既知の曲面に関する結果を高次元多様体へ拡張すること。
• 反標準線形系列の有限生成性と反標準モデルの特異点が、ファノ型性を決定づける役割を明確にすること。
• ファノ型、有理的連結性、モーリー・ドリーム空間の関係に関する未解決問題を解消すること。

提案手法

• Q-ゴレンシュタインで正規な多様体 $ X $ の反標準線形系列 $ R(-K_X) $ を分析し、その有限生成性と $ \mathrm{Proj}\,R(-K_X) $ の特異点に注目する。
• 最小モデルプログラムの技法、特に対数終票モデルと対数解消を用いて、対 $ (X, \Delta) $ の特異点を研究する。
• モーリー・ドリーム空間の理論とコックス環の有限生成性を用いて、幾何的性質と環論的条件を関連付ける。
• 最小モデルプログラムの結果（例えば、最小モデルの存在や豊富性予想）を用い、標準的な予想のもとで有限生成性を証明する。
• 自然なファノ型条件の一般化が失敗することを示す具体的な反例を構成する。特に、対数可縮特異点の設定においてその失敗を示す。
• 可動で大きな反標準線形系列の概念を用い、ファノ型条件の境界を検証する。

実験結果

リサーチクエスチョン

• RQ1 反標準線形系列の構造と反標準モデルの特異点に基づいて、Q-ゴレンシュタインで正規な多様体がファノ型であるための条件は何か？
• RQ2 多様体がモーリー・ドリーム空間であると仮定しない場合でも、$ R(-K_X) $ の有限生成性と $ \mathrm{Proj}\,R(-K_X) $ の対数終票特異点によって、ファノ型性を純粋に特徴づけられるか？
• RQ3 可動で大きな反標準線形系列 $ -(K_X + \Delta) $ が存在する場合、対がkltでない場合でも、多様体がファノ型であると結論づけられるか？
• RQ4 ボリソフ＝アレクセエフ＝ボリソフ予想が示唆するように、任意の有理的連結多様体は、ファノ型多様体に双有理同型であるか？
• RQ5 対数可縮な弱ファノ対は、常にモーリー・ドリーム空間であるか？$ -(K_X + \Delta) $ が半正則で大きくても、そうではない場合があるか？

主な発見

• Q-ゴレンシュタインで正規な多様体 $ X $ がファノ型であることの必要十分条件は、$ -K_X $ が大きく、$ R(-K_X) $ が有限生成であり、$ \mathrm{Proj}\,R(-K_X) $ が対数終票特異点を持つことである。
• この結果は、既知の2次元の特徴づけを一般化し、$ X $ がモーリー・ドリーム空間であると仮定しないでも成り立つ。
• 反標準線形系列の有限生成性と反標準モデルの対数終票性は、両方ともファノ型性の必要十分条件である。
• 本稿は、可動で大きな $ -(K_X + \Delta) $ を持つカワマタ対数可縮対が必ずしもファノ型でないという反例を提示し、ある一般化の誤りを否定する。
• 半正則で大きく、$ H^1(X, \mathcal{O}_X) = 0 $ を満たす対数可縮な弱ファノ対について、それが常にモーリー・ドリーム空間であるとは限らないことを示す。
• 最小モデルプログラムの標準的予想が次元 $ n $ で成り立つ限り、対数可縮な対 $ (X, \Delta) $ で $ -(K_X + \Delta) $ が非常に正である場合、それがモーリー・ドリーム空間であるという予想が証明される。