[論文レビュー] Toric degenerations of weight varieties and applications

Philip Foth, Yi Hu|ArXiv.org|Jun 16, 2004

Algebraic Geometry and Number Theory参考文献 18被引用数 19

ひとこと要約

この論文は、ストリングポリトープと正規基底を用いて、最大トーラスによる旗多様体の商として定義される重み多様体の平坦なトーリック退化を構成する。また、空間多角形のモジュライ空間が、対角線の長さによって定まるモーメントポリトープを持つ極化的なトーリック多様体に退化することを示し、実軌道がこれらのポリトープに有限かつ全射に写像されることを示している。

ABSTRACT

We show that a weight variety, which is a quotient of a flag variety by the maximal torus, admits a flat degeneration to a toric variety. In particular, we show that the moduli spaces of spatial polygons degenerate to polarized toric varieties with the moment polytopes defined by the lengths of their diagonals. We extend these results to more general Flaschka-Millson hamiltonians on the quotients of products of projective spaces. We also study boundary toric divisors and certain real loci.

研究の動機と目的

• ストリングポリトープと正規基底を用いて、重み多様体を平坦にトーリック多様体に退化すること。
• 空間多角形のモジュライ空間が、対角線の長さによって定まるモーメントポリトープを持つ極化的なトーリック多様体に退化することを示すこと。
• 複素射影空間の積の商に定義される Flaschka-Millson ハミルトニアン系への結果の拡張。
• これらの退化の文脈において、境界トーリック超曲面と実軌道を研究すること。
• コン pact トーラス作用を用いた中央ファイバーの位相的モデルを、退化ファイバーと同相であると予想すること。

提案手法

• カルデロの構成法を用いて、正規基底とストリングパラメータ化を介した旗多様体の平坦退化を適用する。
• 双対正規基底要素の主要な乗法的性質を用いて、斉次座標環へのフィルトレーションを定義する。
• ストリングポリトープ $ Q(\lambda) \subset \mathbb{R}^\ell $ を凸包 $ \Delta(\lambda) = -\mathrm{Conv}(W.\lambda) $ に射影し、これがトーリック退化のモーメントポリトープとなる。
• ゲルファンド＝ツェルチン対応とゲルファンド＝マクフィアソン双対性を用いて、多角形モジュライ空間における作用変数（対角線の長さ）を計算する。
• 群 $ G $、多様体 $ X $、および $ X//T $ における $ \tau $-反転を用いて実軌道を分析し、固定点集合がモーメントポリトープに全射的に写像されることを示す。
• コンパクトトーラス作用を用いて中央ファイバーの位相的モデルを構成し、退化ファイバーと同相であると予想する。

実験結果

リサーチクエスチョン

• RQ1 最大トーラスによる旗多様体の商として定義される重み多様体は、ストリングポリトープと正規基底を用いて平坦にトーリック多様体に退化できるか？
• RQ2 退化したトーリック多様体のモーメントポリトープは、空間多角形の幾何的不変量（対角線の長さ）とどのように関係するか？
• RQ3 多角形のモジュライ空間の実軌道の構造は何か？ また、モーメントポリトープへの写像はどのような性質を持つか？
• RQ4 Flaschka-Millson フローで定義されるようなより一般的なハミルトニアン系へ、この退化を拡張できるか？
• RQ5 平坦族の中央ファイバーは、コンパクトトーラス作用を用いた位相的モデルを備え、退化ファイバーと同相であると予想できるか？

主な発見

• 空間多角形のモジュライ空間は、固定頂点からの対角線の長さによって定まるモーメントポリトープを持つ極化的なトーリック多様体に平坦に退化する。
• 平面多角形のモジュライ空間の実軌道は、モーメントポリトープに一般には $ 2^{n-3} $ 対 1 で有限かつ全射に写像される。
• 一般の場合 $ M_{\mathbf{r}} = (\mathbb{C}\mathbb{P}^m)^n // \mathrm{SL}(m+1,\mathbb{C}) $ に対して、実軌道はポリトープ $ \Pi_{\mathbf{r}} $ に有限かつ全射に写像され、一般には $ 2^{mn - 2m - m^2} $ 個の点を持つ。
• 退化多様体の境界トーリック超曲面は、モーメントポリトープの面に対応し、元のモジュライ空間における codimension-2 サイクルから生じる。
• 旗多様体上の反転 $ \tau $ は、平坦族の特別ファイバーに拡張され、その固定点集合はモーメントポリトープに有限かつ全射に写像される。
• 平坦族の中央ファイバーは、コンパクトトーラス作用を用いた位相的モデルを備え、退化多様体と同相であると予想される。