[論文レビュー] Homotopy Gerstenhaber algebras and topological field theory

Takashi Kimura, Alexander A. Voronov+1 more|ArXiv.org|Feb 2, 1996

Algebraic structures and combinatorial models参考文献 20被引用数 14

ひとこと要約

この論文は、2次元のトポロジカルな conformal field theory (TCFT) の BRST複体がホモトピー Gerstenhaber 代数（$G_\infty$-代数）であることを証明し、Lian と Zuckerman の予想を裏付ける。オペラッドとストリング頂点（コンパクト化されたリーマン面のモジュライ空間からトポロジカルなオペラッドへの準同型）を用いて、Gerstenhaber 代数構造を高次ホモトピーで精緻化する階層を構成し、トポロジカルな場の理論と高次代数的構造との深い関係を確立する。

ABSTRACT

We prove that the BRST complex of a topological conformal field theory is a homotopy Gerstenhaber algebra, as conjectured by Lian and Zuckerman in 1992. We also suggest a refinement of the original conjecture for topological vertex operator algebras. We illustrate the usefulness of our main tools, operads and "string vertices" by obtaining new results on Vassiliev invariants of knots and double loop spaces.

研究の動機と目的

• トポロジカルな conformal field theory (TCFT) の BRST複体がホモトピー Gerstenhaber 代数（$G_\infty$）構造を持つという、Lian と Zuckerman の予想を解決すること。
• オペラッドとストリング頂点を用いて、TCFT における高次ホモトピーをモデル化する概念的枠組みを確立すること。
• Stasheff がループ空間を $A_\infty$-空間として特徴づけたのを一般化し、二重ループ空間を $G_\infty$-代数として特徴づけること。
• モジュライ空間上の微分形式の統合を通じて、TCFT から重み関数を構成するための幾何学的・代数的基盤を提供すること。
• Huang の研究に基づき、自然な $G_\infty$-構造を持つトップロジカルな頂点演算子代数（TVOA）について、精錬された予想を提示すること。

提案手法

• Getzler と Jones の仕事に基づき、ホモトピー Gerstenhaber 代数をトポロジカルなオペラッド代数としてモデル化する $G_\infty$-オペラッドを用いる。
• ストリング頂点を、$\overline{\mathcal{N}} \to \mathcal{P}$ という形のオペラッド準同型 $s$ として導入する。ここで $\overline{\mathcal{N}}$ は、穴に接線方向を備えた安定曲線のモジュライ空間である。
• リーマン面に最小面積計量を適用してストリング頂点を定義するが、高(genus) ではその存在を仮定している（論文では未証明）。
• $\widehat{\mathcal{M}}_{g,n}$ のモジュライ空間から微分形式 $\Omega_{g,n}$ を $\overline{\mathcal{N}}_{g,n}$ に引き戻し、$\widehat{\mathcal{M}}_{g,n}$ 上の $\operatorname{Hom}(V_{\rm r}^{\otimes n}, V_{\rm r})$ 値形式へと押し出す。
• これらの形式の統合を用いて、Kontsevich のグラフ複体 $\mathcal{G}$ が半相対的 BRST複体 $(V_{\rm r}, d)$ 上に作用し、$G_\infty$-代数構造を定義する。
• コンパクト化された配置空間のオペラッド $\underline{\mathcal{M}}$ に特徴的単体的ホモロジー函手を適用し、二重ループ空間の単体的ホモロジー複体が $G_\infty$-代数であることを示す。

実験結果

リサーチクエスチョン

• RQ1 Lian と Zuckerman が予想したように、TCFT の BRST複体は $G_\infty$-代数構造を持つのか？
• RQ2 最小面積計量によって定義されるストリング頂点は、$\overline{\mathcal{N}}$ から $\mathcal{P}$ へのオペラッド準同型を構成するために用いられ、高次ホモトピーを符号化できるか？
• RQ3 二重ループ空間の単体的ホモロジー複体は、ループ空間の $A_\infty$-構造を一般化して自然に $G_\infty$-代数であるか？
• RQ4 TCFT から生じる重み関数は、TCFT のモジュライ空間の連結成分によって分類可能か？
• RQ5 トポロジカルな頂点演算子代数（TVOA）は、BRST複体の結果を代数的構成に拡張して自然な $G_\infty$-構造を持つのか？

主な発見

• TCFT の BRST複合体が $G_\infty$-代数であることが証明され、Lian–Zuckerman が提唱したトポロジカルな conformal field theory における高次ホモトピー構造に関する予想が裏付けられた。
• 半相対的 BRST複合体 $(V_{\rm r}, d)$ は、形式 $\Omega_{g,n}$ の統合を通じてグラフ複体 $\mathcal{G}$ に作用し、$G_\infty$-代数構造をもつようになった。
• TCFT の空間を通じてホモトープな任意の二つの TCFT は、同型な重み関数をもたらすため、重み関数は TCFT のモジュライ空間の連結成分の不変量であることが示された。
• 二重ループ空間の単体的ホモロジー複体が $G_\infty$-代数であることが示され、Boardman–Vogt–May による二重ループ空間が小さなディスクのオペラッド代数として特徴づけられるという特徴づけが一般化された。
• ストリング頂点は、オペラッド準同型 $\underline{\mathcal{M}} \to \mathcal{P}$ の幾何的実現を提供し、May の近似理論を超えたループ空間の研究に新たなアプローチを可能にする。
• この構成は、$K_\bullet(\underline{\mathcal{M}})$ の各細胞に対し、オペラッド構造と整合する単体的代表元が存在するならば、二重ループ空間の単体的ホモロジー複体が $G_\infty$-代数であるという問いに肯定的な答えが得られると示唆しているが、そのような代表元の存在に依存する。