[論文レビュー] Universal spaces of parameters for complex Grassmann manifolds $G_{q+1,2}$

Nikita Klemyatin|arXiv (Cornell University)|May 8, 2019

Algebraic Geometry and Number Theory参考文献 4被引用数 5

ひとこと要約

本稿は、複素 Grassmann多様体 $G_{q+1,2}$ のパラメータの普遍空間を、交比と安定曲線のモジュライ空間を用いて構成し、Chow 商 $G_{q+1,2}//(\mathbb{C}^*)^q$ が普遍空間であることを証明する。主な結果は、BuchstaberとTerzicの枠組みにおいて $G_{q+1,2}$ が $(4(q-1);q)$-多様体であることが示され、Grassmann多様体へのトーラス作用の理論における長年の欠落を解消する。

ABSTRACT

Buchstaber and Terzic introduced a notion of universal space of parameters $\mathcal{F}$ for a manifold $M^{2n}$, which has an effective action of compact torus $T^k$ , $k \leq n$ with some additional properties. with special properties. This space is needed to construction of factor $M^{2n}/T^k$. Buchstaber and Terzic constructed the universal space of parameters for $G_{5,2}$. In this work we construct universal space of parameters for complex Grassmann manifold $G_{q+1,2}$. Our construction is based on the construction of moduli space of stable curves of genus zero with $q+1$ marked points due to Salamon, McDuff and Hofer.

研究の動機と目的

• $(\mathbb{C}^*)^q$ の作用下での $G_{q+1,2}$ のパラメータの普遍空間を構成するという未解決問題を解決すること。
• $(2n,k)$-多様体の公理的枠組みを完成させること。具体的には、$G_{q+1,2}$ がすべての公理を満たし、特にパラメータ空間のコンパクト性を満たすことを証明すること。
• Chow 商 $G_{q+1,2}//(\mathbb{C}^*)^q$ が $G_{q+1,2}$ のパラメータの普遍空間であることを確立し、BuchstaberとTerzicが開始した構成を完成させること。

提案手法

• 等変な層化におけるストラトゥムをパrametrizeするために、$G_{q+1,2}$ 上の交比を座標として用いる。
• Gelfand-MacPherson対応を用いて、Grassmann多様体の不変量と安定曲線のモジュライを関連付ける。
• 許容的交比とそのコンパクト化を用いて、仮想的なパラメータ空間を構成する。
• Salamon, McDuff, Hoferによる、$q+1$ 個のマークされた点をもつ genus 0 の安定曲線のモジュライ空間を、基礎的モデルとして用いる。
• パラメータの普遍空間を、$\mathbb{C}P^1$ の積におけるメインストラトゥムのパラメータ空間の閉包として定義する。
• Chow 商 $G_{q+1,2}//(\mathbb{C}^*)^q$ がコンパクトであり、すべての仮想的パラメータ空間を含むことを証明し、$(2n,k)$-多様体の最終公理を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 Chow 商 $G_{q+1,2}//(\mathbb{C}^*)^q$ は、トーラス作用下での $G_{q+1,2}$ のパラメータの普遍空間として機能するか？
• RQ2 交比とその許容性条件を用いて、$G_{q+1,2}$ のすべてのストラトゥムのパラメータの普遍空間を構成できるか？
• RQ3 $G_{q+1,2}$ は BuchstaberとTerzic の公理的枠組みにおいて $(4(q-1);q)$-多様体であると見なせるか。特に、パラメータ空間のコンパクト性公理を満たすか？
• RQ4 非メインストラトゥムの仮想的パラメータ空間は、メインパラメータ空間および互いにどのように関係しているか？
• RQ5 安定曲線のモジュライ空間は、$G_{q+1,2}$ のパラメータの普遍空間を構成する上で果たす役割は何か？

主な発見

• Chow 商 $G_{q+1,2}//(\mathbb{C}^*)^q$ が、$G_{q+1,2}$ のパラメータの普遍空間であることが証明され、BuchstaberとTerzicの枠組みにおける最終的な欠落していた公理が解消された。
• すべての $q$ に対して、Grassmann多様体 $G_{q+1,2}$ はパラメータ空間がコンパクトかつ完全な $(4(q-1);q)$-多様体であることが示された。
• メインストラトゥムのパラメータ空間は、交比を用いて $(\mathbb{C}P^1)^{\binom{q+1}{4}}$ に埋め込まれ、代数的制約を満たす座標を持つ。
• 低次元ストラトゥムの仮想的パラメータ空間は、メインパラメータ空間の部分多様体として記述され、ハイパーシンプレックス $\Delta_{q+1,2}$ 内の 3 次元および 4 次元ポリトープに対して明示的な記述が与えられた。
• $G_{q+1,2}$ のすべてのストラトゥム、特にモーメントポリトープの境界にあるストラトゥムも、明確に定義され一貫性を持つパラメータ空間を持つことが示され、メイン空間はメインストラトゥムのパラメータ空間の閉包として与えられた。
• この構成は、$q+1$ 個のマークされた点をもつ genus 0 の安定曲線のモジュライ空間と整合的であり、パラメータ空間の幾何的モデルを提供する。