[論文レビュー] Combinatorial homotopy theory for operads

Jovana Obradović|arXiv (Cornell University)|Jun 14, 2019

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

ひとこと要約

この論文は、非対称オペラッドを記述する彩色オペラッド $\mathcal{O}$ の最小モデル $\mathcal{O}_\infty$ を、ハイパーグラフポリトープを操作の空間として用いることで、組み合わせ論的に特徴づける。これはアソシアヘドロンによる $A_\infty$-オペラッド構造の一般化であり、$W$-構成法および非対称循環オペラッド $\mathcal{C}$ の最小モデルへの拡張を含み、強くホモトピー的代数の明示的で幾何的に意味のある分解を提供する。

ABSTRACT

We introduce an explicit combinatorial characterization of the minimal model ${\cal O}_{\infty}$ of the coloured operad ${\cal O}$ encoding non-symmetric operads. In our description of ${\cal O}_{\infty}$, the spaces of operations are defined in terms of hypergraph polytopes and the composition structure generalizes the one of the $A_{\infty}$-operad. As further generalizations of this construction, we present a combinatorial description of the $W$-construction applied on ${\cal O}$, as well as of the minimal model of the coloured operad ${\cal C}$ encoding non-symmetric cyclic operads.

研究の動機と目的

• 非対称オペラッドを記述する彩色オペラッド $\mathcal{O}$ の最小モデル $\mathcal{O}_\infty$ を、明示的かつ組み合わせ論的に記述すること。
• アソシアヘドロンによる $A_\infty$-オペラッド構造を一般化し、根付き木から導かれるオペラッド的ポリトープを介してその操作を実現すること。
• オペラッド的ポリトープの立方体分割を用いて、$\mathcal{O}$ に対する組み合わせ論的 $W$-構成法（Boardman-Vogt分解）を構成すること。
• 循環オペラッドの枠組みを拡張し、非対称循環オペラッドを記述する彩色オペラッド $\mathcal{C}$ の最小モデル $\mathcal{C}_\infty$ を定義し、関係式における循環対称性を保つこと。

提案手法

• 最小モデル $\mathcal{O}_\infty$ は、根付き木の辺グラフに関連するハイパーグラフポリトープを用いて構成され、各ポリトープが操作の空間を表す。
• $\mathcal{O}_\infty$ の合成構造は、スターシェフのアソシアヘドロン構成を一般化し、ハイパーグラフ的構造と木のデータによってインデックス化された操作を含む。
• $\mathcal{O}$ における $W$-構成法は、オペラッド的ポリトープの立方体分割として実現され、ホモトピー的整合性を持つ合成を符号化する。
• 循環オペラッドの場合、循環順序 $\tau$ を持つ循環的オペラッド的木を導入し、循環対称性に関する同値類を定義することで構成を適応する。
• 微分 $d_{\mathcal{O}_\infty}$ は、構造の頂点を分割することで定義され、元の木およびハイパーグラフ構造を保存する。
• $\mathcal{C}_\infty$ の最小モデルは、四重組 $({\cal T}, \sigma, \tau, C)$ の同値類の自由オペラッドとして構成され、合成は木のグラフトによる操作と構造の統合によって定義される。

実験結果

リサーチクエスチョン

• RQ1 非対称オペラッドを記述するオペラッド $\mathcal{O}$ の最小モデル $\mathcal{O}_\infty$ を、組み合わせ論的および幾何的データを用いて明示的に記述することは可能か？
• RQ2 $\mathcal{O}$ における $W$-構成法は、ハイパーグラフポリトープの立方体分割を通じて、組み合わせ論的に実現可能か？
• RQ3 最小モデルの概念を非対称循環オペラッドに拡張することは可能か？ その際、関係式における循環対称性を保つことができるか？
• RQ4 ハイパーグラフポリトープ（特に根付き木から導かれるオペラッド的ポリトープ）は、オペラッドの高次ホモトピー構造をどのように符号化するか？
• RQ5 得られた最小モデルが、元のオペラッドと quasi-isomorphic であり、かつ最小な微分構造を保つことを示せるか？

主な発見

• 最小モデル $\mathcal{O}_\infty$ は、根付き木の辺グラフ上のハイパーグラフ的構造によってインデックス化された操作を持つdgオペラッドとして明示的に実現され、合成はアソシアヘドロン構造を一般化する。
• $\mathcal{O}$ における $W$-構成法は、オペラッド的ポリトープの立方体分割として組み合わせ論的に記述され、$\mathcal{O}$ の分解を提供する。
• 循環オペラッド $\mathcal{C}$ の最小モデル $\mathcal{C}_\infty$ は、ハイパーグラフ的構造を持つ循環的オペラッド的木の同値類の自由オペラッドとして構成され、循環対称性が保たれる。
• 微分 $d_{\mathcal{C}_\infty}$ は、構造の頂点の分割によって作用し、空の構造をゼロに写すことで、最小性が保証される。
• $\mathcal{C}_\infty$ が $\mathcal{C}$ の最小モデルであることが証明され、微分は可換な要素にのみ作用する。
• この構成により、$\mathcal{C}_\infty$ は幾何的かつ組み合わせ論的根拠に基づく厳密な無限オペラッドとして確立される。