[論文レビュー] Tessellations of Moduli Spaces and the Mosaic Operad

Satyan L. Devadoss|ArXiv.org|Jul 2, 1998

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 78

ひとこと要約

この論文は、マークされた対角線をもつ多角形上のオペラッド構造であるモザイクオペラッドを導入する。その基礎となる空間は、実モジュライ空間 $\overline{\mathcal{M}}^n_0(\mathbb{R})$ であり、自然にスターシェフのアソシアヘドロンによってタイル張りされる。これらの空間は単体の反復的 blown-up として得られ、その基本群はバターン群に類似した構造を示す群 $J_n$ を形成し、純バターン群の拡張に類似した短完全系列をなす。

ABSTRACT

We construct a new (cyclic) operad of `mosaics' defined by polygons with marked diagonals. Its underlying (aspherical) spaces are the sets of real points of the moduli space of punctured Riemann spheres, which are naturally tiled by Stasheff associahedra. We (combinatorially) describe them as iterated blow-ups and show that their fundamental groups form an operad with similarities to the operad of braid groups.

研究の動機と目的

• マークされた対角線をもつ多角形を幾何的構成要素として用いる、新しい循環的オペラッド（モザイクオペラッド）を定義すること。
• 実モジュライ空間 $\overline{\mathcal{M}}^n_0(\mathbb{R})$ が、反復的 blown-up のプロセスを通じて自然にスターシェフのアソシアヘドロンによってタイル張りされることを示すこと。
• 実モジュライ空間 $\overline{\mathcal{M}}^n_0(\mathbb{R})$ の基本群が、純バターン群の拡張に類似した短完全系列に適合する群 $J_n$ を形成することを確立すること。

提案手法

• マークされた対角線が組合せ的データを表すように、多角形を面に沿って貼り合わせることで合成を定義することで、モザイクオペラッドを構成する。
• 標準的な $(n-3)$-単体のその既約的セルに沿った反復的 blown-up として、モジュライ空間 $\overline{\mathcal{M}}^n_0(\mathbb{R})$ をモデル化する。
• ブロウアップの組合せ的構造を保証するため、$SI$ 条件（強く独立な）を用いてラベル付けと追跡を行い、対称群作用と整合性を保つ。
• 多角形の配置に対応する生成元 $s_i$ で生成される群 $J_{n-1}$ を定義し、共役性と強い独立性に基づく関係を導入する。
• 多角形の辺のラベル付けを用いて、生成元を互換に写像する全射準同型 $\phi: J_{n-1} \to \mathbb{S}_{n-1}$ を定義する。
• $J_n$ を含む短完全系列を用いて、$\pi_1(\widetilde{\mathcal{M}}^n_0(\mathbb{R})) \times \mathbb{Z}_2 = \pi_1(\overline{\mathcal{M}}^n_0(\mathbb{R}))$ であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 マークされた対角線をもつ多角形からどのように循環的オペラッドを構成できるか、そしてそれが何を幾何学的構造として符号化するか。
• RQ2 実モジュライ空間 $\overline{\mathcal{M}}^n_0(\mathbb{R})$ の位相的性質は何か、そしてアソシアヘドロンとどのように関係しているか。
• RQ3 実モジュライ空間 $\overline{\mathcal{M}}^n_0(\mathbb{R})$ の基本群は、対称群およびバターン群とどのように関係しているか。
• RQ4 ブロウアッププロセスが $\overline{\mathcal{M}}^n_0(\mathbb{R})$ を構成するにあたり、支配する組合せ的条件（例：$SI$ 条件）は何か。
• RQ5 実モジュライ空間の基本群の代数的構造は何か、そしてバターン群とどのように比較できるか。

主な発見

• 実モジュライ空間 $\overline{\mathcal{M}}^n_0(\mathbb{R})$ は、標準的な $(n-3)$-単体のその既約的セルに沿った反復的 blown-up と同相であり、各ブロウアップは $\mathfrak{S}^{k+1}$ の要素によってラベル付けされた新しい面を追加する。
• 空間 $\overline{\mathcal{M}}^n_0(\mathbb{R})$ は自然にスターシェフのアソシアヘドロンによってタイル張りされ、これらはモザイクオペラッドのオペラッド構造を符号化する多面体である。
• 基本群 $\pi_1(\overline{\mathcal{M}}^n_0(\mathbb{R}))$ は短完全系列 $\ker \phi \times \mathbb{Z}_2 \to \pi_1(\widetilde{\mathcal{M}}^n_0(\mathbb{R})) \times \mathbb{Z}_2 \to \mathbb{S}_{n-1}$ に適合する。ここで $\phi: J_{n-1} \to \mathbb{S}_{n-1}$ は全射準同型である。
• 群 $J_n$ は多角形の配置に対応する生成元 $s_i$ で生成され、共役性と強い独立性に基づく関係を持つ。また、$\pi_1(\widetilde{\mathcal{M}}^n_0(\mathbb{R})) \times \mathbb{Z}_2 = \pi_1(\overline{\mathcal{M}}^n_0(\mathbb{R}))$ を満たす。
• モザイクオペラッドの合成則は、多角形を面に沿って貼り合わせることで定義され、新たなマークされた対角線をもつ多角形を生成し、閉じたオペラッド構造を示している。
• 実モジュライ空間の基本群 $J_n$ はバターン群 $\mathbf{B}_n$ と構造的類似性を示し、特に短完全系列 $\ker \phi \to J_n \to \mathbb{S}_n$ は $\mathbf{P}_n \to \mathbf{B}_n \to \mathbb{S}_n$ に類似している。