[論文レビュー] Koszul duality for Operads

Victor Ginzburg, Mikhail Kapranov|ArXiv.org|Sep 8, 2007

Advanced Topics in Algebra参考文献 19被引用数 11

ひとこと要約

この論文は、代数的operadのPriddyの双対性に類似した、二次的operadの双対性理論を確立する基礎的な枠組みを提示する。二次的operadのcobar構成がグラフ複体を生じることを示し、微分付き代数が双対operadの上に存在するとき、それが正確にホモトピー代数構造に対応することを証明する。これにより、operad的双対性を通じてホモトピー論とモジュライ空間幾何学が統合される。

ABSTRACT

This is a copy of the article by the same authors published in Duke Math. J. (1994).

研究の動機と目的

• 二次的operadにおけるKoszul双対性理論を確立し、結合的代数におけるPriddyの双対性を拡張すること。
• operadのcobar構成がグラフ複体およびモジュライ空間上の層のVerdier双対性とどのように関係するかを明らかにすること。
• 双対operad上の代数の圏が、自由代数上の微分を介してホモトピー代数構造に対応することを示すこと。
• ホモトピー論における可換代数とLie代数の双対性の代数的起源を明確にすること。
• 数学および物理学における「自然な」operadをKoszulとみなすための体系的枠組みを提供すること。

提案手法

• 二項演算と三引数を含む関係を持つ生成子として、二次的operadを定義し、二次的代数を一般化する。
• Priddy双対性に類似した構成を用いて、生成子の双対関係を用いて二次的双対operad $\mathcal{P}^!$ を定義する。
• 木を用いて演算とその合成を符号化することで、二次的operadのcobar複体をグラフ複体として構成する。
• 自由代数 $F_{\mathcal{P}^!}(A^*[1])$ 上に微分 $d$ を定義し、$d^2 = 0$ かつoperad的演算に関してLeibniz則を満たすようにする。
• 成分 $d_m$ の木に基づくテンソル積を用いて、内部辺を $A^* \otimes A \to K$ を介して収縮する $d(T)$ の作用を記述する形で、$A$ 上での双対operadの作用を符号化する。
• 得られた写像 $\mathbf{D}(\mathcal{P}^!) \to \mathcal{E}_A$ がoperadの準同型であるための必要十分条件が $d^2 = 0$ かつ $d$ がLeibniz則を満たすことであることを証明し、$A$ 上に $\mathbf{D}(\mathcal{P}^!)$-代数構造を定義する。

実験結果

リサーチクエスチョン

• RQ1 二次的結合的代数におけるKoszul双対性は、どのようにoperadの文脈に一般化できるか？
• RQ2 二次的operadのcobar構成とグラフ複体、あるいは曲線のモジュライ空間の関係は何か？
• RQ3 双対operad $\mathcal{P}^!$ は、微分付き代数 $A$ 上でどのように作用し、ホモトピー代数構造を生じるか？
• RQ4 多くの自然に現れるoperad（例：$\mathcal{L}ie$, $\mathcal{C}om$）がKoszulである理由は何か？また、そのホモロジー的性質にどのような意味があるか？
• RQ5 ホモトピー論の文脈における可換代数とLie代数の双対性の正確な代数的メカニズムは何か？

主な発見

• 二次的operadのcobar複体はグラフ複体と同型であり、両者ともモジュライ空間 $\overline{\mathcal{M}}_{0,n+1}$ 上の層のVerdier双対性から生じる。
• 二次的operad $\mathcal{P}$ の双対operad $\mathcal{P}^!$ は、Koszul型双対性を用いて定義され、Priddyの構成を一般化する。
• 結合的代数を記述するoperad $\mathcal{A}s$ は、この双対性のもとで自己双対的であり、その対称的なホモロジー的性質を反映している。
• 双対operad $\mathbf{D}(\mathcal{P}^!)$ 上の微分付き代数 $A$ は、微分 $d$ とLeibniz則の対応関係により、ホモトピー $\mathcal{P}$-代数と同値である。
• $\mathcal{P} = \mathcal{L}ie$ の場合、双対 $\mathcal{P}^! = \mathcal{C}om$ であり、この構成により、高次括弧を用いた定義と、$\bigwedge^\bullet(A^*)$ 上の微分を用いた定義の両方によるホモトピーLie代数の同値性が回復される。
• $\mathcal{P} = \mathcal{C}om$ の場合、双対 $\mathcal{P}^! = \mathcal{L}ie$ であり、得られる構造はホモトピー可換代数である。これは厳密に可換であり、コホミロジー代数の結合的性を保証する高次ホモトピーを備えている。