[論文レビュー] Algebra+Homotopy=Operad

Bruno Vallette|arXiv (Cornell University)|Feb 15, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 55被引用数 32

ひとこと要約

本調査は、ホモトピー代数における高次ホモトピーを記述するための統一的代数的枠組みとしてのオペラッドを紹介し、$A_\infty$-代数、メイソン積、フェインマン図が形式化される必要性から自然に生じるオペラッドの役割を示している。主な貢献は、特にコシュール双対性とホモトピー移行定理を用いた、代数、位相幾何学、微分幾何学、および数理物理にわたる古典的構成を統一・一般化するオペラッド的技法の体系的応用である。

ABSTRACT

This survey provides an elementary introduction to operads and to their applications in homotopical algebra. The aim is to explain how the notion of an operad was prompted by the necessity to have an algebraic object which encodes higher homotopies. We try to show how universal this theory is by giving many applications in Algebra, Geometry, Topology, and Mathematical Physics. (This text is accessible to any student knowing what tensor products, chain complexes, and categories are.)

研究の動機と目的

• 代数的トポロジーとホモトピー代数における高次ホモトピーを記述するための、学生にもわかりやすいオペラッドの入門を提供すること。
• オペラッドが$A_\infty$-代数、メイソン積、スペクトル系列、フェインマン図といった多様な数学的構造を統一することを示すこと。
• ホモトピー移行定理（HTT）を、準同型写像に沿った代数的構造の移行を普遍的メカニズムとして確立すること。オペラッド的およびコシュール双対性の道具を用いる。
• オペラッドが、バタリン＝ヴィルコヴィチ形式、BRSTコホモロジー、ミラー対称性といった数理物理における高次構造の自然な言語を提供することを示すこと。
• 正標数におけるプロパラッドおよびオペラッドのコシュール双対性に関する未解決問題を特定することで、さらなる研究を促すこと。

提案手法

• ホモトピー再帰枠組み$\mathrm{Id}_A - ip = d_A h + h d_A$を用いて、チェーン複体$A$からそのホモロジー$H$への結合的代数的構造の移行を行う。
• 移行された二項積$\mu_2 = p \circ \nu \circ i^{\otimes 2}$を定義し、結合性の破綻度を測るためのアソシエーター$\mu_3$を導入する。
• ホモトピー移行定理（HTT）を適用して、オペラッド的分解と最小モデルを通じて、整合的な高次ホモトピー系を構成する。
• コシュール双対性理論を用いて、特に$A_\infty$、$L_\infty$、$BV_\infty$-代数に対して、移行された構造の明示的公式を導出する。
• モジュライ空間$\mathcal{M}_{g,n}$および$\overline{\mathcal{M}}_{g,n}$と、$BV$および$Frob$の最小モデルを生成するコホモロジー類の関係を結ぶ。
• リー代数および$BV$-代数のHTTを用いて、ホモトピー的フォン・フロベニウス多様体構造を構成し、バランニコフ＝コンツェビッチ＝マニンの結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 オペラッドは、代数的構造における高次ホモトピーを記述するための普遍的枠組みとしてどのように機能するか？
• RQ2 ホモトピー移行定理（HTT）は、準同型写像に沿った代数的構造（例えば、結合的、リー、フロベニウス）の移行において、果たす役割は何か明確か？
• RQ3 曲線のモジュライ空間$\mathcal{M}_{0,n+1}$および$\overline{\mathcal{M}}_{0,n+1}$は、オペラッドのコホモロジーおよび最小モデルとどのように関係するか？
• RQ4 バタリン＝ヴィルコヴィチ形式は、ユニモジュラーリー双代数に対するHTTの特殊な例として完全に再構成可能か？
• RQ5 $H_\bullet(\overline{\mathcal{M}}_{g,n+1})$および$H_\bullet(\mathcal{M}_{g,n+1})$に付随するプロパラッドは一般にコシュール双対かつコシュール的か？

主な発見

• ホモトピー移行定理（HTT）は、準同型写像に沿って代数的構造（例えば、結合的、リー、フロベニウス）を移行する体系的手段を提供し、オペラッドによって記述される整合的な高次ホモトピーを生み出す。
• コホモロジー$H^\bullet(\mathcal{M}_{0,n+1})$は$BV$-オペラッドの最小モデルを生成し、古典的なバランニコフ＝コンツェビッチ＝マニン構造を拡張するホモトピー的フォン・フロベニウス多様体構造を構成可能である。
• 量子場の理論におけるフェインマン図は、ユニモジュラーリー双代数に対するHTTの公式に現れるグラフと同型であることが示され、バタリン＝ヴィルコヴィチ形式とHTTとの間に深い関係が存在することが立証された。
• $H_\bullet(\overline{\mathcal{M}}_{0,n+1})$および$H_\bullet(\mathcal{M}_{0,n+1})$のコホモロジー群はコシュール双対であり、この双対性が$BV$-オペラッドの最小モデルの基盤をなしている。
• $BV$-代数に対するHTTは、dg$BV$-代数のホモロジーにホモトピー的フォン・フロベニウス多様体構造を付与し、元の代数のホモトピー型を保存する。
• 本調査は、$H_\bullet(\overline{\mathcal{M}}_{g,n+1})$および$H_\bullet(\mathcal{M}_{g,n+1})$に付随する完全な生成のプロパラッドが一般にコシュール双対であると予想し、$g=0$の場合を一般化する。