[論文レビュー] Toric degenerations of spherical varieties

Valery Alexeev, Michel Brion|ArXiv.org|Mar 23, 2004

Algebraic Geometry and Number Theory参考文献 12被引用数 21

ひとこと要約

本稿では、任意のアフィン的または極化的な射影的球面的G多様体が、最長Weyl群元の簡約分解によってインデックス付けられたフィルトレーションを介して、平坦な退化としてトーリック多様体に属することを確立する。主な貢献は、ストリングポリトープと反射的ポリトープを用いた、極限トーリック多様体がGorenstein Fanoであるための基準であり、鏡像対称性および安定対のモジュライ空間への応用を含む。

ABSTRACT

We prove that any affine, resp. polarized projective, spherical variety admits a flat degeneration to an affine, resp. polarized projective, toric variety. Motivated by Mirror Symmetry, we give conditions for the limit toric variety to be a Gorenstein Fano, and provide many examples. We also provide an explanation for the limits as boundary points of the moduli space of stable pairs whose existence is predicted by the Minimal Model Program.

研究の動機と目的

• 任意のアフィン的または極化的な射影的球面的G多様体が、平坦な退化としてトーリック多様体に属することを証明すること。
• 極限トーリック多様体がGorenstein Fanoである、すなわち関連するポリトープが反射的であるときの特徴付けをすること。
• 境界点としてのモジュライ空間の安定対の性質を通じて、退化プロセスを最小モデルプログラムに結びつけること。
• ストリングポリトープを用いて、旗多様体やシューベルト多様体に関する既知の結果を任意の球面的多様体へ一般化すること。
• 退化プロセスにおけるモーメントポリトープの整数性および反射的性の明示的構成と基準を提供すること。

提案手法

• 球面的G多様体の座標環に、双対正規基底とストリングパラメータ化を用いてフィルトレーションを構成すること。
• 最長Weyl群元 $w_0$ の簡約分解に関連するストリングコーンとストリングポリトープを定義すること。
• Calderoのフィルトレーション構成を用いて、球面的多様体の平坦な退化をトーリック多様体に誘導すること。
• ストリングポリトープの繊維を持つ射影を介して、退化したトーリック多様体のモーメントポリトープと元の多様体のポリトープを関連付けること。
• 対数正則特異点および正則除 canonical divisor の理論を用いて、退化が有理特異点と自明な正則クラスを保存することを示すこと。
• 最小モデルプログラムによって予測される安定対の普遍モジュライ空間の存在を用いて、退化を境界点として解釈すること。

実験結果

リサーチクエスチョン

• RQ1 球面的多様体のトーリック退化がGorenstein Fano多様体をもたらす条件は何か？
• RQ2 $w_0$ の異なる簡約分解に対応するストリングポリトープは、退化の幾何にどのように関係するか？
• RQ3 球面的多様体の退化を、安定対のモジュライ空間の境界点として解釈できるか？
• RQ4 元の球面的多様体の正則クラスと極限トーリック多様体の正則クラスの関係は何か？
• RQ5 なぜGelfand-Tsetlinポリトープは $A_n$ を除く型では反射的でないのか？

主な発見

• 任意のアフィン的または極化的な射影的球面的G多様体は、最長Weyl群元 $w_0$ の簡約分解によってインデックス付けられたフィルトレーションを介して、平坦な退化としてトーリック多様体に属する。
• 元の多様体がGorenstein Fanoであれば、極限トーリック多様体は ${ m Q}$-Gorenstein Fanoであるが、$L_0$ が ${ m Q}$-ラインバンドルである場合でも成り立つ。
• 旗多様体 $G/P$ で $L = { m O}(-K)$ の場合、極限がGorenstein Fanoであるのは、関連するストリングポリトープが反射的であるときである。
• 型 $A_n$ ではGelfand-Tsetlinポリトープは反射的であるが、型 $E_6$ では、ストリングポリトープが反射的でないような簡約分解が存在する。
• 退化したトーリック多様体のモーメントポリトープは、元の多様体のモーメントポリトープへ射影され、その繊維はストリングポリトープである。
• 退化プロセスは、最小モデルプログラムによって予測されるように、安定対のモジュライ空間の境界点として幾何的に対応する。