[論文レビュー] Combinatorial equivalence of real moduli spaces

Satyan L. Devadoss|arXiv (Cornell University)|May 4, 2004

Advanced Topology and Set Theory参考文献 8被引用数 20

ひとこと要約

本稿は、$\overline{\mathcal{M}}^{n}_{0}(\mathbb{R})$ と呼ばれる安定な $n$ 個の標識付きリーマン球の実モジュライ空間と、ブレイド配置に関連する $\mathbb{P}V^{n}_{\#}$ と呼ばれる実射影空間との間に、組合せ的同型が存在することを確立する。両空間を同一の最小構成集合に沿った単体の繰り返し吹き上げによって構成し、それらのセルレーションが同型であることを示すことにより、両空間がアソシアヘドロン $K_{n+2}$ によってタイル張りされていることが証明される。このタイル張り構造は、吹き上げ操作および反射対称性の下でも保存される。

ABSTRACT

A well-known construction of associahedra comes from truncations of simplices. Motivated by compactifications of point configurations, we show associahedra as truncations of certain products of simplices. This is then used to provide a combinatorial construction of the real moduli space of spheres relating it to blow-ups of the braid hyperplane arrangement.

研究の動機と目的

• 安定な $n$ 個の標識付きリーマン球の実モジュライ空間 $\overline{\mathcal{M}}^{n}_{0}(\mathbb{R})$ と、ブレイド配置に関連する実射影空間 $\mathbb{P}V^{n}_{\#}$ の間の組合せ的同型を確立すること。
• 両空間が、単体の積の切り詰めから生じるアソシアヘドロン $K_{n+2}$ によるセルレーションを有することを示すこと。
• 両空間 $\overline{\mathcal{M}}^{n}_{0}(\mathbb{R})$ と $\mathbb{P}V^{n}_{\#}$ のタイル張り構造が、最小構成集合に沿った繰り返し吹き上げを共通の方法で行うことで、同型であることを示すこと。
• ブレイド配置およびコクセター群 $A_n$ が、実モジュライ空間の組合せ的構造をどのように記述するかを明確にすること。
• 反射群と超平面配置を用いた幾何的および組合せ的解釈を通じて、デリーニュ＝クヌーデン＝マウムフォードのコンパクト化の実数点を解釈すること。

提案手法

• 実射影直線 $\mathbb{R}P^1$ 上の $n$ 個のラベル付き点をアフィン変換で同一視するものとして、実モジュライ空間 $\overline{\mathcal{M}}^{n}_{0}(\mathbb{R})$ を商空間 $C_n(\mathbb{R}P^1)/PGL_2(\mathbb{R})$ として構成する。
• 区間 $I_2 = [0,1]$ 上の $n$ 個の順序付き点の配置空間を、開 $n$-単体 $\Delta_n$ として表現し、座標の等価性を括弧の入れ子で表現する。
• アソシアヘドロン $K_n$ を、$n$ 個のノードの括弧の入れ子の集合が、 refine 順序で整列された顔のposetに対応する凸多面体として定義する。
• 最小構成集合（非正規交差）に沿った繰り返し吹き上げを用いて、単体から $\overline{\mathcal{M}}^{n}_{0}(\mathbb{R})$ を構成し、その結果としてアソシアヘドロン $K_{n+2}$ によるタイル張りが得られることを示す。
• ブレイド配置から生じる実射影空間 $\mathbb{P}V^{n}_{\#}$ が、同一の吹き上げプロセスを通じて、$\overline{\mathcal{M}}^{n}_{0}(\mathbb{R})$ のセルレーションと同型なセルレーションを持つことを示す。
• ブレイド配置の反射対称性が、括弧の入れ子におけるねじれ操作に対応し、タイル張り構造を保存することでセルレーションの同型が確立されることを示す。

実験結果

リサーチクエスチョン

• RQ1 実モジュライ空間 $\overline{\mathcal{M}}^{n}_{0}(\mathbb{R})$ と実射影空間 $\mathbb{P}V^{n}_{\#}$ は、組合せ的に同型であるか？
• RQ2 単体を構成集合に沿って繰り返し吹き上げることで、$\overline{\mathcal{M}}^{n}_{0}(\mathbb{R})$ のアソシアヘドロンによるタイル張りを構成できるか？
• RQ3 ブレイド配置の反射対称性は、アソシアヘドロンにおける括弧の入れ子の組合せ論的性質とどのように関係するか？
• RQ4 最小構成集合が、$\overline{\mathcal{M}}^{n}_{0}(\mathbb{R})$ のセルレーションを定義する上で果たす役割は何か？
• RQ5 実モジュライ空間 $\overline{\mathcal{M}}^{n}_{0}(\mathbb{R})$ と $\mathbb{P}V^{n}_{\#}$ は、同一の吹き上げ構成の下で顔posetが同型であるか？

主な発見

• 安定な $n$ 個の標識付きリーマン球の実モジュライ空間 $\overline{\mathcal{M}}^{n}_{0}(\mathbb{R})$ は、タイプ $A_n$ のブレイド配置に関連する実射影空間 $\mathbb{P}V^{n}_{\#}$ と組合せ的に同型である。
• 両空間 $\overline{\mathcal{M}}^{n}_{0}(\mathbb{R})$ と $\mathbb{P}V^{n}_{\#}$ は、最小構成集合に沿った単体の繰り返し吹き上げから生じるアソシアヘドロン $K_{n+2}$ によってタイル張りされている。
• $\overline{\mathcal{M}}^{6}_{0}(\mathbb{R})$ のタイル張りにおけるアソシアヘドロンの数は 60 であり、$\mathbb{P}V^{3}_{\#}$ に対しても同じ数であるため、3次元の場合の同型が確認される。
• $\overline{\mathcal{M}}^{5}_{0}(\mathbb{R})$ のセルレーションは $T^2 \#^3 \mathbb{R}P^2$ にホメオモーティックであり、$\mathbb{P}V^{2}_{\#}$ のセルレーションは $\#^5 \mathbb{R}P^2$ にホメオモーティックであり、両者とも 12 個のアソシアヘドロン $K_4$ でタイル張りされている。
• セルレーションの同型は、共通の構成方法、すなわち最小構成集合に沿った単体の繰り返し吹き上げによって確立され、チェンバートランスィションがブレイド配置の反射に対応する。
• 両空間におけるオペラッド構造は整合的である：$\overline{\mathcal{M}}^{n}_{0}(\mathbb{R})$ は平面根付き木のオペラッドを、$\mathbb{P}V^{n}_{\#}$ は双曲多角形のモザイクオペラッドをそれぞれ支持する。