[論文レビュー] Koszul duality of operads and homology of partition posets

Benoît Fresse|ArXiv.org|Jan 31, 2003

Advanced Topics in Algebra参考文献 47被引用数 73

ひとこと要約

本稿は、多元代数の Koszul 双対性と分割順序集合のホモロジーの間に深い関係を確立し、二次的多元代数の Koszul コンプレックスが分割ラティスの非還元ホモロジーを計算することを示している。バーおよびコールバー構成を用いて多元代数のコフリーブレジオナリゼーションを構成し、分割順序集合のホモロジーが交換的多元代数の Koszul ホモロジーと同型であることを証明することで、E∞-代数のホモトピー的解釈をバラット・エクルズ多元代数と対称群の古典的バー構成を介して提示している。

ABSTRACT

We consider partitions of a set with $r$ elements ordered by refinement. We consider the simplicial complex $\bar{K}(r)$ formed by chains of partitions which starts at the smallest element and ends at the largest element of the partition poset. A classical theorem asserts that $\bar{K}(r)$ is equivalent to a wedge of $r-1$-dimensional spheres. In addition, the poset of partitions is equipped with a natural action of the symmetric group in $r$ letters. Consequently, the associated homology modules are representations of the symmetric groups. One observes that the $r-1$th homology modules of $\bar{K}(r)$, where $r = 1,2,...$, are dual to the Lie representation of the symmetric groups. In this article, we would like to point out that this theorem occurs a by-product of the theory of \emph{Koszul operads}. For that purpose, we improve results of V. Ginzburg and M. Kapranov in several directions. More particularly, we extend the Koszul duality of operads to operads defined over a field of positive characteristic (or over a ring). In addition, we obtain more conceptual proofs of theorems of V. Ginzburg and M. Kapranov.

研究の動機と目的

• 分割順序集合のホモロジーを通じて、多元代数の Koszul 双対性のホモロジー的解釈を確立すること。
• 集合 {1,…,r} の分割ラティスの非還元ホモロジーが、交換的多元代数の Koszul ホモロジーと同型であることを示すこと。
• 特に交換的多元代数に対して、バーおよびコールバー構成を用いて多元代数のコフリーブレジオナリゼーションを構成すること。
• バラット・エクルズ多元代数が E∞-代数のモデルとして果たす役割を、準同型写像および導来同値を介して明確にすること。
• 可換代数の Γ-ホモロジーが、分割順序集合のホモロジーと対称群のバー構成から構成される Koszul 型コンプレックスから生じることを示すこと。

提案手法

• 微分付き多元代数のリゾリューションとして、特に交換的多元代数に対して、その双対コオペラッドに対するコールバー構成を用いて、非還元バー構成を適用する。
• 二重複体のスペクトル系列を用いて、多元代数上の自由モジュールのホモロジーを分析する。
• 単体的バー構成から、レベルをもつ木でインデックスづけられた複体へのレベル化準同型写像を構成し、明示的な計算を可能にする。
• バー構成における微分の記述に、木の構造とその合成積の性質を用いる。
• 対称群 Σ_r の古典的バー構成を用いて、交換的多元代数のリゾリューションを構築し、これによりバラット・エクルズ多元代数が得られる。
• 交換的多元代数の Koszul コンプレックスと、分割順序集合の正規化ホモロジー複体との間に準同型写像を確立する。

実験結果

リサーチクエスチョン

• RQ1 集合 {1,…,r} の分割順序集合のホモロジーは、多元代数の Koszul 双対性とどのように関係しているか？
• RQ2 分割ラティスの非還元ホモロジーは、二次的多元代数の Koszul ホモロジーとして計算可能か？
• RQ3 バラット・エクルズ多元代数は E∞-代数を実現するために果たす役割は何か？また、交換的多元代数のコフリーブレジオナリゼーションとどのように関係しているか？
• RQ4 多元代数がコフリーブでない場合、その代数上の導来関手およびホモトピー圏の関係はどのように規定されるか？
• RQ5 可換代数の Γ-ホモロジー複体の明確な形態は何か？また、分割順序集合のホモロジーとどのように関係しているか？

主な発見

• 集合 {1,…,r} の分割順序集合の非還元ホモロジーは、交換的多元代数の Koszul ホモロジーと同型であり、ホモロジー群 H_{r-1}( ilde{K}( ext{Com})) は、重み r における交換的多元代数の Koszul ホモロジーと同型である。
• 対称群 Σ_r の古典的バー構成、記号で表すと 𝔈(r) は、自明なモジュールに対する Σ_r-射影的リゾリューションをなす。また、テンソル積 Σ^{-1}K(Com)(r) ⊗ 𝔈(r) は、Koszul 双対モジュールの射影的リゾリューションを提供する。
• バラット・エクルズ多元代数の代数は E∞-代数と同値であり、それらのホモトピー圏間の導来拡張および制限関手は、随伴同値をなす。
• 可換代数 A の Γ-ホモロジーは、複体 ⨁_{r≥0} (M(r) ⊗ A^⊗r)_{Σ_r} によって計算され、ここで M(r) = Σ^{-1}K(Com)(r) ⊗ 𝔈(r) である。これは、特性 0 におけるコンツェビッチとソイベルマンの予想を確認する。
• 係数付きコールバー構成は、交換的多元代数の準自由リゾリューションをもたらし、これによりバー構成を通じて分割順序集合のホモロジーが計算される。
• 単体的バー構成から、レベルをもつ木の複体へのレベル化準同型写像は、準同型写像を誘導し、分割順序集合のホモロジーが Koszul コンプレックスのホモロジーとして計算可能であることを可能にする。