[論文レビュー] On Chow quotients of torus actions

Hendrik Bäker, Juergen Hausen+1 more|arXiv (Cornell University)|Mar 16, 2012

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

ひとこと要約

本稿は、モーリー・ドリーム空間上のトーラス作用のチョウ商が、モーリー・ドリーム空間のままであるかどうかを調査する。特に、滑らかな射影的二次曲面への${\mathbb{K}}^{*}$作用に焦点を当て、ガレー双対性、ゲルファンド＝カプラノフ＝ツェルヴィンスキー（GKZ）分解、およびトーリック変形を用いた構成的技法を用いて、正規化されたチョウ商のコックス環を計算し、その有限生成性を示す。これにより、重みに関する明示的な条件下で、それがモーリー・ドリーム空間であることが証明される。

ABSTRACT

We consider torus actions on Mori dream spaces and ask whether the associated Chow quotient is again a Mori dream space and, if so, what does its Cox ring look like. We provide general tools for the study of these problems and give solutions for k*-actions on smooth quadrics.

研究の動機と目的

• トーリック作用が施されたモーリー・ドリーム空間上のトーラス作用の正規化されたチョウ商が、自身でモーリー・ドリーム空間であるかどうかを特定すること。
• 正規化されたチョウ商がモーリー・ドリーム空間である場合、そのコックス環を記述すること。
• 特に滑らかな二次曲面上の${\mathbb{K}}^{*}$作用に対して、チョウ商を分析するための一般的手法を構築すること。
• トーリック的・有理的多様体における複雑性1の作用を持つ部分トーラス作用に関する既存の結果を、より広いクラスのモーリー・ドリーム空間へと拡張すること。
• トロピカル幾何学とトーリック変形を用いた、チョウ商を研究する計算的フレームワークを提供すること。

提案手法

• 滑らかな二次曲面への${\mathbb{K}}^{*}$作用から拡張された重み行列$Q$を構成し、その整数ガレー双対$P$を計算する。
• 行列$P$に関連するゲルファンド＝カプラノフ＝ツェルヴィンスキー（GKZ）分解$\Sigma$を特定し、$P$の列に属さない原始的生成子$b_1,\ldots,b_l$を抽出して行列$B$を構成する。
• 行列$A$を$B = P \cdot A$を満たすように定義し、行列$A$と最小の非負ベクトル$\mu$を用いてシフトされた行和$\eta_i$を定義する。
• コックス環を、$\mathbb{K}[T_0,\ldots,T_r,S_1,\ldots,S_l]/\langle g_2 \rangle$という商環として構成する。ここで、$g_2$は$T_iT_{i+1}$または$T_r^2$および$S^{\eta_i}$を含む単項式の和であり、$[P,B]$のガレー双対による次数付きである。
• ファンの細分とトーリック変形を用いた弱いトロピカル解体により、内在的トーラス対称性を低減し、正規性およびコックス環の有限生成性を保証する。
• 命題3.3および推論3.4を適用して、最終的な商が有限生成なコックス環を持つことを結論づけ、主結果を証明する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな射影的二次曲面上の${\mathbb{K}}^{*}$作用の正規化されたチョウ商はモーリー・ドリーム空間か？
• RQ2 この状況下での正規化されたチョウ商のコックス環の構造は何か？
• RQ3 トーリック変形とトロピカル幾何学を用いて、チョウ商のコックス環の有限生成性を確立できるか？
• RQ4 ${\mathbb{K}}^{*}$作用の重みが、チョウ商の幾何学的性質およびコックス環にどのように影響を与えるか？
• RQ5 コックス環が定理1.3で述べられる明示的表現を持つための重みに関する条件は何か？

主な発見

• 定理1.2で示されるように、滑らかな射影的二次曲面上の${\mathbb{K}}^{*}$作用の正規化されたチョウ商はモーリー・ドリーム空間である。
• 正規化されたチョウ商のコックス環は、明示的に$\mathbb{K}[T_0,\ldots,T_r,S_1,\ldots,S_l]/\langle g_2 \rangle$として記述され、$g_2$は$T_iT_{i+1}$または$T_r^2$および$S^{\eta_i}$を含む単項式の和であり、$[P,B]$のガレー双対による次数付きである。
• 弱いトロピカル解体とトーリック変形を用いることで、コックス環の有限生成性が確立され、問題は正規的で有限生成なコックス環を持つ多様体への還元が可能になる。
• この構成はGKZ分解のガレー双対$P$に依存しており、シフトされた行和$\eta_i$は行列$A$と最小の非負ベクトル$\mu$を用いて定義される。
• 重みに関する条件の下でこの手法が適用可能である：$r$が奇数の場合は最小絶対値をとる重みが4つ以上、$r$が偶数の場合は3つ以上である。これにより定義方程式が適切に振る舞う。
• このアプローチは構成的かつ一般化可能であり、グラスマンニアンや他の多様体のチョウ商を研究するための計算的フレームワークを提供する。著者らの後続研究[2]でも指摘されている。