[論文レビュー] The homology of the little disks operad

Dev Sinha|arXiv (Cornell University)|Oct 6, 2006

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

ひとこと要約

この論文は、森を用いたホモロジー類の幾何的構成と、グラフを用いたコホモロジー類の構成を通じて、小さなディスクのオペラッドの非等変同型ホモロジーが、次数付きパオアソンオペラッドと同型であることを確立する。この同型は、これらの類の間に自然なペアリングを定義し、そのペアリングがパオアソンオペラッドの代数的関係（ヤコビ恒等式やライブニッツ恒等式）を符号化することにより示される。さらに、変形リトラクションの議論を用いてオペラッド構造写像の下でのコホモロジー類の引き戻しを解析することで、同型性が証明される。

ABSTRACT

In this expository paper we give an elementary, hands-on computation of the homology of the little disks operad, showing that the homology of a $d-fold loop space is a Poisson algebra. One aim is to familiarize a greater audience with Euclidean configuration spaces, using tools accessible to second-year graduate students. We also give a brief introduction to the theory of operads. New results include identifying the pairing between homology and cohomology of these spaces as a pairing of graphs and trees, and treating the cooperad structure on cohomology.

研究の動機と目的

• ホモロジーの基礎知識を持つ読者を対象に、配置空間および小さなディスクのオペラッドのホモロジーについて、幾何的かつ初等的な導入を行う。
• 森によって表されるホモロジー類（トーラスに同相な部分多様体の基本類として）と、グラフによって関連づけられたコホモロジー類（トーラスへの写像の引き戻しにより定義）の間の標準的ペアリングを導入し、それがパオアソンオペラッドの代数的構造を符号化することを示す。
• オペラッド構造写像の下でのコホモロジー類の引き戻しを解析することにより、小さなディスクのオペラッドのホモロジーが次数付きパオアソンオペラッドと同型であることを証明する。
• 「スuspension」オペラッドのコオペラッド構造とパオアソンオペラッドのオペラッド構造の双対性を明確にし、その中心的役割を果たす配置ペアリングを用いて説明する。

提案手法

• 森によってパラメータ付けられる、トーラスに同相な部分多様体の基本類として、配置空間内のホモロジー類を構成する。
• 配置空間の位相を用いて、グラフに関連する写像によるトーラスへの引き戻しによりコホモロジー類を定義する。
• グラフと木の間の図形的ペアリングを導入し、そのペアリングがコホモロジー類をホモロジー類に作用させる。このペアリングは、先行研究における組合せ的定義と一致する。
• ホモトピー的変形リトラクションの議論を用いて、オペラッド構造写像の下でのコホモロジー生成子の引き戻しを解析し、それが「スuspension」オペラッドにおけるコオペラッド構造と一致することを示す。
• スペクトル系列の技術は上限を得るためのものに限定し、代数的トポロジーの初心者にも理解しやすいように解説を簡素化する。
• ペアリングとコホモロジー的引き戻しを用いて、小さなディスクのオペラッドのホモロジーとパオアソンオペラッドとの同型性を双対性によって確立する。

実験結果

リサーチクエスチョン

• RQ1 配置空間内のホモロジー類はどのように幾何的に実現可能であり、それらにどのような関係が成り立つか？
• RQ2 配置空間のコホモロジーに内在する代数的構造は何か？ そしてそれはグラフや木とどのように関係するか？
• RQ3 配置ペアリング（グラフと木の間）は、ホモロジーとコホモロジーの位相的双対性からどのように生じるか？
• RQ4 小さなディスクのオペラッドのホモロジーとパオアソンオペラッドの間の正確な関係は何か？
• RQ5 「スuspension」オペラッドにおけるコオペラッド構造は、どのようにしてパオアソンオペラッドのオペラッド構造と双対化されるか？

主な発見

• 小さなディスクのオペラッドのホモロジーは、ベクトル空間としておよびオペラッドとして、次数付きパオアソンオペラッドと同型である。
• グラフと木の間の配置ペアリングは、コホモロジー類がホモロジー類に作用する評価として自然に生じる。これは、純粋に組合せ的なペアリングの位相的実現を提供する。
• パオアソンオペラッドにおけるオペラッド構造は、「スuspension」オペラッドにおけるコオペラッド構造と双対であり、後者は再帰的簡約が存在しないため、計算がより簡単である。
• オペラッド構造写像の下でのコホモロジー生成子の引き戻しは、変形リトラクションによるホモトピー的議論により、「スuspension」オペラッドにおけるコオペラッド構造と正確に一致する。
• d重ループ空間のホモロジーにおけるブラウダー括弧は、ホモロジー類を表す多様体に球面が作用する幾何的構造から生じる。この括弧は、高次の可換性を符号化する。
• 反対称性、ヤコビ恒等式、ライブニッツ恒等式、アーノルド恒等式は、すべて配置ペアリングの核における関係として自然に現れ、それらが位相的起源を持つことが示される。