[論文レビュー] Homotopy Inner Products for Cyclic Operads

Riccardo Longoni, Tradler, Thomas|ArXiv.org|Dec 11, 2003

Advanced Topics in Algebra参考文献 20被引用数 10

ひとこと要約

本稿では、彩色されたホモトピー的内積を、循環的二次的コシュール型の操作 $\mathcal{O}$ を用いて、アソシエイティブ操作からの $∞$-内積を一般化することで導入する。$Ω$ がコシュール型であるならば、$ˇ\mathcal{O}$ もまたコシュール型であることを証明し、解体の明示的構成と、導分とモジュール写像によるホモトピー的内積の特徴付けを可能にする。

ABSTRACT

We introduce the notion of homotopy inner products for any cyclic quadratic Koszul operad $\mathcal O$, generalizing the construction already known for the associative operad. This is done by defining a colored operad $\hat{\mathcal O}$, which describes modules over $\mathcal O$ with invariant inner products. We show that $\hat{\mathcal O}$ satisfies Koszulness and identify algebras over a resolution of $\hat{\mathcal O}$ in terms of derivations and module maps. An application to Poincaré duality on the chain level of a suitable topological space is given.

研究の動機と目的

• アソシエイティブ操作から任意の循環的二次的コシュール型操作へのホモトピー的内積の概念を一般化すること。
• 循環的操作 $Ω$ に不変内積を備えたモジュールを分類する彩色操作 $ˇ\mathcal{O}$ を定義すること。
• $Ω$ がコシュール型であるならば、$ˇ\mathcal{O}$ もコシュール型であることを確立し、明示的な解体構成を可能にすること。
• $ˇ\mathcal{O}_∞$ 上の代数を導分と $n$ から $0$ への作用（ホモトピー的内積）の観点から特徴付けること。
• トポロジカル空間のチェイン複体におけるポアンカレ双対性にこの枠組みを適用し、ホモトピー的内積構造を誘導することを示すこと。

提案手法

• 代数が $Ω$-モジュールに不変内積を備えるような彩色操作 $ˇ\mathcal{O}$ を構成する。
• コバール双対構成を用いて $ˇ\mathcal{O}$ を解体し、彩色操作のコシュール双対理論を活用する。
• $Ω$ がコシュール型であるならば、$ˇ\mathcal{O}$ が二次的かつコシュール型であることを、テンソル複体上の帰納法と次数解析を用いて証明する。
• 解体における導分と $n$ から $0$ への作用を通じて、ホモトピー的 $Ω$-モジュールとホモトピー的内積を特徴付ける。
• 枠組みをトポロジカルチェイン複体に適用し、ポアンカレ双対性がホモトピー的内積構造を誘導することを示す。
• スペクトル系列と次数フィルトレーションの議論を用いて、双対複体における特定の要素の正確性とホモトピー的自明性を証明する。

実験結果

リサーチクエスチョン

• RQ1 ホモトピー的内積の概念をアソシエイティブ操作から任意の循環的二次的コシュール型操作へ一般化する方法は何か？
• RQ2 循環的操作に不変内積を備えたモジュールを捉えるために必要な彩色操作の構造は何か？
• RQ3 $Ω$ がコシュール型であるとき、彩色操作 $ˇ\mathcal{O}$ がコシュール型であるための条件は何か？
• RQ4 $ˇ\mathcal{O}_∞$ 上の代数を導分と高次作用の観点からどのように記述できるか？
• RQ5 トポロジカル空間のチェイン複体におけるポアンカレ双対性は、ホモトピー的内積構造として解釈可能か？

主な発見

• 循環的操作 $Ω$ に不変内積を備えたモジュールを分類する彩色操作 $ˇ\mathcal{O}$ が、$Ω$ がコシュール型であるならば、二次的かつコシュール型であることが示された。
• $ˇ\mathcal{O}$ の解体 $ˇ\mathcal{O}_∞$ は、その双対操作のコバール双対を用いて明示的に構成可能である。
• $ˇ\mathcal{O}_∞$ 上の代数は、$n$ から $0$ への作用（ホモトピー的内積）によって特徴付けられ、これらは導分の観点から記述される。
• $Ω = \mathcal{A}ssoc$ の場合、この構成は [T1] で定義された $∞$-内積を回復し、先行研究と整合性を確認した。
• トポロジカル空間のチェイン複体におけるポアンカレ双対性は、ホモトピー的内積構造を誘導する。これは命題 2.18 で示された。
• 証明は、双対複体における次数フィルトレーションと正確性の議論に依拠し、最大次数の項を帰納的に消去するために、補題 2.20 と補題 2.21 を用いた。