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

Wee Liang Gan|ArXiv.org|Jan 10, 2002

Advanced Topics in Algebra被引用数 5

ひとこと要約

この論文は、複数の入力と出力をもつ操作をモデル化する代数的構造であるdioperadに対するKoszul双対性を導入する。これは、Koszul双対性の理論をoperadからdioperadへ拡張するものであり、Lie bialgebraを記述するdioperadがKoszulであることを、cobar構成とスペクトル系列の議論を用いて、Koszul複体の完全性によって示している。

ABSTRACT

We introduce the notion of a dioperad to describe certain operations with multiple inputs and multiple outputs. The framework of Koszul duality for operads is generalized to dioperads. We show that the Lie bialgebra dioperad is Koszul.

研究の動機と目的

• operadからdioperadへのKoszul双対性の一般化を図ること。ここでdioperadは、複数の入力と出力をもつ操作をモデル化する。
• operadの場合と類似する、dioperadに対する二次双対およびcobar双対構成を定義すること。
• Koszul複体の完全性を用いて、二次dioperadのKoszul性を特徴づける基準を確立すること。
• Lie bialgebraを記述するdioperadがKoszulであることを証明し、既知のoperadにおける結果をdioperadの文脈へ拡張すること。

提案手法

• 部分合成写像 ${}_i\bullet_j$ を満たす $({\bS}_m, {\bS}_n)$-bimodule としてdioperadの概念を導入し、結合則と等変性の公理を満たす。
• 生成子と関係式を木構造で表現することで、二次dioperadを定義し、生成空間の双対を用いて二次双対を構成する。
• dioperadに対するcobar双対構成を導入し、辺の縮約によって誘導される微分を持つ木のチェーン複体を形成する。
• フィルトレーションを施したcobar複体に対してスペクトル系列の議論を用い、Koszul性がKoszul複体の完全性と同値であることを証明する。
• Shnider-Van Osdolの結果の一般化を用い、dioperadにおけるcobar双対と二次双対の関係を確立する。
• dioperadを $\mathscr{A} \Box \mathscr{B}^{\mathrm{op}}$ のボックス積に分解し、ここで $\mathscr{A} = \mathscr{P}(1,n)$ かつ $\mathscr{B} = \mathscr{P}^{\mathrm{op}}(1,n)$ とすることで、問題をLieおよび可換operadの既知のKoszul性に還元する。

実験結果

リサーチクエスチョン

• RQ1 Koszul双対性理論は、複数の入力と出力をもつ操作をモデル化するdioperadへ拡張可能か？
• RQ2 二次dioperadがKoszulであるための条件は何か？ そして、これを代数的にどのように特徴づけられるか？
• RQ3 Lie bialgebraを記述するdioperadはKoszulであるか？ もしそうなら、そのKoszul性を可能にする構造的性質は何か？
• RQ4 dioperadのcobar双対とその二次双対の関係は何か？ また、スペクトル系列解析はKoszul性の検証にどのように寄与するか？
• RQ5 ボックス積分解 $\mathscr{A} \Box \mathscr{B}^{\mathrm{op}}$ を用いて、その成分のKoszul性に基づきdioperadのKoszul性を証明できるか？

主な発見

• Lie bialgebraのdioperad $\mathscr{B}\mathscr{L}ie$ は、そのcobar双対が二次双対と擬似同型であることを示すことにより、Koszulであることが示された。
• $\mathscr{B}\mathscr{L}ie$ は $\mathscr{L}ie \Box \mathscr{L}ie^{\mathrm{op}}$ に分解され、ここで $\mathscr{L}_ie$ はLie operadである。
• $\mathscr{B}\mathscr{L}ie$ のKoszul双対は $\mathscr{C}om^{\mathrm{op}} \Box \mathscr{C}om$ であり、ここで $\mathscr{C}om = \mathscr{L}ie^!$ は可換operadである。
• 二次dioperadのKoszul性は、その関連するKoszul複体の完全性と同値であり、これはoperadにおける基準を一般化するものである。
• 証明は、フィルタリングを施したcobar複体に対するスペクトル系列の議論に依拠しており、成分 $\mathscr{A}$ および $\mathscr{B}$ がKoszulであれば、高次の微分が消えることを示している。
• この結果は他の構造へも拡張可能であり、類似の手法により無限小bialgebraのdioperadもKoszulであることが示された。