[論文レビュー] Homotopy G-algebras and moduli space operad

Murray Gerstenhaber, Alexander A. Voronov|arXiv (Cornell University)|Sep 12, 1994

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用数 30

ひとこと要約

この論文は、安定写像の装飾付きモジュライ空間のチェーン操作の作用を通じて、ケーラー多様体の de Rham 複体が自然なホモトピー G-代数構造を持つことを確立する。これらのモジュライ空間の特徴関数の操作から、de Rham 複体の自己準同型への写像を、押し出しと引き戻しを用いて構成することで、最も一般なホモトピー G-構造を実現し、コンツェビッチの Gromov-Witten 不変量の構成を一般化する。

ABSTRACT

This paper emphasizes the ubiquitous role of moduli spaces of algebraic curves in associative algebra and algebraic topology. The main results are: (1) the space of an operad with multiplication is a homotopy Gerstenhaber (i.e., homotopy graded Poisson) algebra; (2) the singular cochain complex is naturally an operad; (3) the operad of decorated moduli spaces acts naturally on the de Rham complex $Ω^\bullet X$ of a Kähler manifold $X$, thereby yielding the most general type of homotopy G-algebra structure on $Ω^\bullet X$.

研究の動機と目的

• 代数のホッホシュィルトコホモロジー複体が自然に $ E_2 $-代数構造を持つというデリーニの予想を解決すること。
• この構造を位相空間の特徴関数コホモロジー複体に拡張し、それが自然に操作構造を持つことを示すこと。
• ケーラー多様体の de Rham 複体に、装飾付きモジュライ空間のチェーン操作の普遍的作用を構成し、最も一般なホモトピー G-代数構造を得ること。
• 実コンパクト化されたモジュライ空間と接方向データを用いた Gromov-Witten 型不変量を通じて、ホモトピー G-代数の幾何的実現を提供すること。

提案手法

• 次数と挿入順序によって定まる符号を伴う多重線形演算（ブラケット）を用いて、任意の操作にブラケット代数構造を定義する。
• 操作における乗法が、対応する次数付きベクトル空間上に微分付き結合代数構造を誘導することを示す。
• 適切な整合性恒等式を満たす微分とドット積を備えたブラケット代数としてホモトピー G-代数を定義する。
• 実コンパクト化されたモジュライ空間 $ \underline{\cal M}(n) $ からチェーン操作を構成する。ここで $ \underline{\cal M}(n) $ は $ \overline{\cal M}_{0,n+1} $ の円バンドルであり、ノードおよび穴に接方向データを備える。
• 評価写像に沿った形式の引き戻しのファイバーごとの積分を用いて、写像 $ f_n: \Omega^\bullet X^{\otimes n+1} \to \Omega^\bullet \underline{\cal M}(n) $ を定義する。
• ポアンカレ双対性を用いて、この写像を $ C_\bullet \underline{\cal M}(n) $ のチェーン操作による $ \Omega^\bullet X $ への作用に双対化し、de Rham 複体への操作作用を実現する。

実験結果

リサーチクエスチョン

• RQ1 位相空間の特徴関数コホモロジー複体は、ホッホシュィルトコホモロジー複体を一般化して自然に操作構造を持つのか？
• RQ2 デリーニの予想（ホッホシュィルトコホモロジー複体が小さな正方形操作のチェーン操作の代数である）は、安定写像のモジュライ空間を用いて幾何的に実現可能か？
• RQ3 安定写像のモジュライ空間の幾何的データを用いて、ケーラー多様体の de Rham 複体に普遍的なホモトピー G-代数構造をどのように構成できるか？
• RQ4 接方向データを備えた安定写像の装飾付きモジュライ空間は、微分形式へのチェーンレベル作用を定義する上で果たす役割は何か？

主な発見

• 乗法を持つ操作の空間は、自然にホモトピー G-代数構造を持つ。これはホッホシュィルトコホモロジー複体の構成を一般化する。
• 位相空間 $ X $ の特徴関数コホモロジー複体 $ C^\bullet X $ は、既知のホッホシュィルトコホモロジー構造を拡張して自然に操作構造を持つ。
• ケーラー多様体 $ X $ の de Rham 複体 $ \Omega^\bullet X $ は、$ \underline{\cal M}(n) $ が $ \overline{\cal M}_{0,n+1} $ の実コンパクト化であり、ノードおよび穴に接方向データを備える場合、チェーン操作 $ C_\bullet \underline{\cal M}(n) $ による自然な作用を持つ。
• この作用は、評価写像に沿った微分形式の引き戻しの楔積の押し出しを用いた式で定義され、シンプレクティック体積の指数関数で重み付けされる。
• この構成により、$ \Omega^\bullet X $ 上の最も一般なタイプのホモトピー G-代数構造が実現され、コンツェビッチの Gromov-Witten 不変量の構成が一般化される。
• モジュライスタックが滑らかでコーナーを持つという仮定の下で、この操作作用が適切に定義されることを示し、完全な検証は今後の研究に延期される。