[論文レビュー] Characterization of varieties of Fano type via singularities of Cox rings

Yoshinori Gongyo, Shinnosuke Okawa+2 more|arXiv (Cornell University)|Jan 5, 2012

Algebraic Geometry and Number Theory参考文献 13被引用数 8

ひとこと要約

本稿では、標数0の体上の正規射影的代数多様体がファノ型であるための必要十分条件として、それがモーリー・ドリーム空間であり、かつそのコックス環がただの対数終票特異点しか持たないことを特定する。主な手法は、正標数におけるグローバルF正則性を用いて、コックス環の特異点を特徴づけ、ファノ型を同定することである。具体的には、グローバルF正則型のモーリー・ドリーム空間がファノ型であることを示し、正標数への還元とフロベニウス分割の技法を用いて、主な特徴付け結果を得る。

ABSTRACT

We show that every Mori dream space of globally $F$-regular type is of Fano type. As an application, we give a characterization of varieties of Fano type in terms of the singularities of their Cox rings.

研究の動機と目的

• ファノ型多様体をそのコックス環の特異点の観点から特徴付けること。
• シュウェーデとスミスが提起した、グローバルF正則型がファノ型を意味するかどうかという問題を、特にモーリー・ドリーム空間に対して解明すること。
• 小Q-因子的変形を用いて、Q-因子的でないモーリー・ドリーム空間への特徴付けを拡張すること。
• ファノ型多様体の射影的な射による像が再びファノ型であるという結果について、別証明を与えること。
• F-純性と対数正則性に関する予想を仮定したもとで、カバリ–ヤウ型多様体についての類似性を探ること。

提案手法

• 正標数におけるグローバルF正則多様体の理論を用いて、コックス環の特異点を研究すること。
• 正標数への還元技法を適用し、標数0におけるコックス環の特異点と正標数におけるそれらの特異点を関連付けること。
• グローバルF正則型が正標数で対数終票特異点を導くことを利用し、コhomologyと基底変換を用いてそれを標数0に持ち上げること。
• −K_X に関するMMPを用いて、双有理変換の各段階でグローバルF正則型性が保たれることを保証すること。
• 収縮的有理写像の有限性と、グローバルF正則多様体に対する消失定理を応用し、還元下でのマルチセクション環の整合性を保証すること。
• 小Q-因子的変形を用いて、Q-因子的から一般のモーリー・ドリーム空間への結果の拡張を実現すること。

実験結果

リサーチクエスチョン

• RQ1 グローバルF正則型であることから、モーリー・ドリーム空間がファノ型であると言えるか？
• RQ2 コックス環の特異点が、ファノ型多様体を特徴付けることができるか？
• RQ3 ファノ型である性質は射影的な準同型の下で下がる（下がる）か？
• RQ4 F特異点を用いて、カバリ–ヤウ型多様体についても類似の特徴付けを確立できるか？
• RQ5 標数0において、稠密なF純性が対数正則性を意味するのはどのような条件下か？

主な発見

• 標数0の体上のQ-因子的モーリー・ドリーム空間は、グローバルF正則型であることと、ファノ型であることとが同値である。
• Q-因子的モーリー・ドリーム空間は、そのコックス環がただの対数終票特異点しか持たないとき、かつそのときに限り、ファノ型である。
• 小Q-因子的変形を用いることで、Q-因子的でないモーリー・ドリーム空間に対しても結果が拡張され、コックス環の特異点は変わらない。
• ファノ型多様体の射影的な射による像は再びファノ型である。これは既知の結果についての別証明を提供する。
• 予想4.12を仮定すると、モーリー・ドリーム空間がカバリ–ヤウ型であることと、そのコックス環がただの対数正則特異点しか持たないことは同値である。
• 証明は、−K_X-MMPを通じてグローバルF正則型性が保たれることに依拠しており、各段階で対数終票特異点が維持されることを保証する。