[論文レビュー] Geometric realizations of the multiplihedron and its complexification

S. Ma’u, Chris Woodward|ArXiv.org|Feb 15, 2008

Geometric and Algebraic Topology参考文献 10被引用数 16

ひとこと要約

本稿では、安定なクイルトドライブのモジュライ空間として、多乗法体を幾何学的に実現し、それが多乗法体 $J_n$ に同型な CW 複体であることを確立する。さらに、この空間の複素化を、トーリック特異点をもつ複素射影的代数的多様体として構成し、実部が対称群作用の下で基本領域として $J_n$ を含むことを示し、グロテンディーク＝クヌーデンスのモジュライ空間におけるアソシアヘドロンの役割を多乗法体の場合に一般化する。

ABSTRACT

We realize Stasheff's multiplihedron geometrically as the moduli space of stable quilted disks. This generalizes the geometric realization of the associahedron as the moduli space of stable disks. We show that this moduli space is the non-negative real part of a complex moduli space of stable scaled marked curves.

研究の動機と目的

• $n+1$ 個の境界マークと $z_0$ を通る内部の円をもつ安定クイルトドライブのモジュライ空間として、多乗法体 $J_n$ を幾何学的に実現すること。
• この実現を、スケーリングマークをもつ安定スケーリング曲線の複素モジュライ空間に拡張し、実モジュライ空間を一般化すること。
• 複素モジュライ空間 $\overline{M}_{n,1}(\mathbb{C})$ が、トーリック特異点をもつ複素射影的代数的多様体であることを示すこと。
• 複素モジュライ空間 $\overline{M}_{n,1}(\mathbb{C})$ の実部が、対称群 $S_n$ の作用の下で多乗法体 $\overline{M}_{n,1}$ を基本領域として含むことを確立すること。
• 既知のアソシアヘドロンとグロテンディーク＝クヌーデンスのモジュライ空間の関係を、多乗法体の場合に一般化すること。

提案手法

• 境界上に $n+1$ 個のマークと $z_0$ を通る内部の円をもつ安定クイルトドライブのモジュライ空間 $M_{n,1}$ を定義し、ノード構成を許容することで $\overline{M}_{n,1}$ にコンパクト化する。
• 組合せ型分類とノード的退化を用いて、$\overline{M}_{n,1}$ と多乗法体 $J_n$ の間の CW 複体同型を確立する。
• $M_{n,1}$ を平行移動で割った $n$ 個の実数点と同一視し、それを複素モジュライ空間 $M_{n,1}(\mathbb{C})$ の $n$ 個の複素数点の平行移動で割ったものに埋め込む。
• Ziltener の構成に従い、自明な終域をもつアフィン直線上のシンプレクティックバーガーのモジュライ空間として、$\overline{M}_{n,1}(\mathbb{C})$ をコンパクト化する。
• 交比座標を用いて $\overline{M}_{n,1}(\mathbb{C})$ 上の局所チャートを定義し、これがトーリック特異点をもつ複素射影的代数的多様体であることを示す。
• 色付き木の分解と交比不変量を用いて、$\overline{M}_{n,1}(\mathbb{C})$ の実部が $S_n$-作用の下で $\overline{M}_{n,1}$ を基本領域として含むことを証明する。

実験結果

リサーチクエスチョン

• RQ1 多乗法体 $J_n$ は、マークと内部の円をもつ安定クイルトドライブのモジュライ空間として幾何学的に実現可能か？
• RQ2 安定クイルトドライブのモジュライ空間は、自然な複素化として複素代数的多様体として実現可能か？
• RQ3 複素モジュライ空間 $\overline{M}_{n,1}(\mathbb{C})$ は、トーリック特異点をもつ複素射影的代数的多様体か？
• RQ4 対称群 $S_n$ は $\overline{M}_{n,1}(\mathbb{C})$ の実部に作用し、その作用の下で多乗法体 $\overline{M}_{n,1}$ が基本領域となるか？
• RQ5 複素モジュライ空間 $\overline{M}_{n,1}(\mathbb{C})$ と実モジュライ空間 $\overline{M}_{n,1}$ の関係は何か？交比はこの関係においてどのような役割を果たすか？

主な発見

• 安定 $n$ マーククイルトドライブのモジュライ空間 $\overline{M}_{n,1}$ は、CW 複体として多乗法体 $J_n$ に同型であり、$J_n$ の幾何的実現を提供する。
• 複素モジュライ空間 $\overline{M}_{n,1}(\mathbb{C})$ は、トーリック特異点をもつ複素射影的代数的多様体であり、$\mathbb{C}$ 上の $n$ 点配置を平行移動で割ったもののコンパクト化として構成される。
• $\overline{M}_{n,1}(\mathbb{C})$ の実部は、対称群 $S_n$ の作用の下で多乗法体 $\overline{M}_{n,1}$ を基本領域として含む。
• $\overline{M}_{n,1}(\mathbb{C})$ 上の局所チャートは交比によって定義され、これらの座標を用いて空間は局所的にトーリック多様体と同型である。
• 写像 $\phi_T: \overline{M}_{n,1,\leq T}(\mathbb{C}) \to X^*(T)$ は同型であり、各組合せ型がザリスキ開近傍としてトーリック多様体に同型であることを示す。
• $\overline{M}_{n,1}(\mathbb{C})$ は境界付近で $M_{n,1,T}(\mathbb{C}) \times X(T)$ と局所的に同型であり、これがトーリック特異点をもつ射影的多様体としての構造を確認する。