[論文レビュー] The A-infinity operad and the moduli space of curves

Kevin Costello|ArXiv.org|Feb 2, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 21被引用数 19

ひとこと要約

本稿では、境界を持つリーマン面のモジュライ空間のモジュラー代数的構造が、$A_{\infty}$ 循環的代数的構造のモジュラー包と一致することを確立し、曲線のモジュライ空間のリボングラフセル分解について、ホモトピー論的証明を提供する。境界が円盤型の表面からなる部分集合が、全モジュライ空間に含まれる際にホモトピー同値であることを示し、ハラーアー・マウムフォード・サーストン・ペナーおよびコンツェビッチの結果を、幾何的フロー技法を用いて再現する。

ABSTRACT

The modular envelope of a cyclic operad is the smallest modular operad containing it. A modular operad is constructed from moduli spaces of Riemann surfaces with boundary; this modular operad is shown to be the modular envelope of the A-infinity cyclic operad. This gives a new proof of the result of Harer-Mumford-Thurston-Penner-Kontsevich that a cell complex built from ribbon graphs is homotopy equivalent to the moduli space of curves.

研究の動機と目的

• モジュライ空間の曲線と $A_{\infty}$ 代数的構造との間の幾何学的・代数的関係を明確化すること。
• 曲線のモジュライ空間のリボングラフセル分解について、新たな幾何的動機付けに基づく証明を提供すること。
• 境界付きリーマン面のモジュライ空間のモジュラー代数的構造が、$A_{\infty}$ 循環的代数的構造のモジュラー包であることを示すこと。
• オープンなトポロジカルコンformal field理論が、不変内積を持つ $A_{\infty}$ 代数と同値であることを確立すること。

提案手法

• 各表面に沿った測地線に沿った内向き法線フローを用いて、境界付きリーマン面のモジュライ空間を、完全に円盤からなる表面からなる部分集合に変形同値化する。
• 各表面に標準的な双曲的計量を定義し、境界を内向きに収縮させるフローを構成し、特異点が発生するまで構造を保存する。
• 境界が特異点に達する最初の時刻は、すべてが円盤成分からなる安定なノード付き表面に対応し、これにより像がコンパクト化されたモジュライ空間の境界上に位置することが保証される。
• 得られたフローが変形同値であることを示し、これにより円盤部分集合が全モジュライ空間に含まれる際にホモトピー同値であることが導かれる。
• 円盤のモジュライ空間が、トポロジカル $A_{\infty}$ 代数的構造に同型な循環的代数的構造をなしており、全モジュラー代数的構造がそれらのホモトピー的生成元として生成されることを活用する。
• ホモトピー同値性を用いて、モジュライ空間の有理数係数の特異的チェイン複体が、リボングラフから構成される複体と準同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 曲線のモジュライ空間のセル分解がリボングラフによって与えられる背後にある、正確な代数的構造は何か？
• RQ2 なぜリボングラフ分解は幾何的に自然であり、全モジュライ空間とのホモトピー同値性の背後にある根本的根拠は何か？
• RQ3 $A_{\infty}$ 代数的構造は、オープンなトポロジカルコンフォーマル場理論と、曲線のモジュライ空間の間でどのように関係しているか？
• RQ4 境界付き曲面上の幾何的フローを用いて、曲線のモジュライ空間のホモトピー型を回復できるか？
• RQ5 この文脈において、モジュラー包の構成が循環的代数的構造とモジュラー代数的構造を結ぶ役割を果たすのはどのような理由か？

主な発見

• 円盤からなる表面の部分集合 $D_{g,n,0}$ がコンパクト化されたモジュライ空間 $\overline{\mathcal{N}}_{g,n,0}$ に含まれるとき、ホモトピー同値である。
• 境界付きリーマン面のモジュライ空間 $\overline{\mathcal{N}}_{g,n,r}$ は、マークされた点に沿った貼り合わせによってモジュラー代数的構造をなす。
• モジュラー代数的構造 $\overline{\mathcal{N}}_{g,n,r}$ は、$A_{\infty}$ 循環的代数的構造のモジュラー包であり、これはトポロジカル $A_{\infty}$ 代数的構造と同型である。
• 有理数係数の特異的チェイン複体 $C_*(\mathcal{M}_{g,n} \otimes \mathbb{Q})$ は、リボングラフから構成される複体と準同型であり、ハラーアー・マウムフォード・サーストン・ペナーの結果が再現される。
• 表面の境界が内向きにフローし、最初に特異点に達する時刻は、すべてが円盤成分からなる安定なノード付き表面に対応し、変形同値がコンパクト化の境界上に写されることが保証される。
• オープンなトポロジカルコンフォーマル場理論は、不変内積を持つ $A_{\infty}$ 代数と同値である。