[論文レビュー] The mod 2 homology of free spectral Lie algebras

Omar Antolín Camarena|arXiv (Cornell University)|Nov 27, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用数 5

ひとこと要約

本稿では、自由なスペクトラル・リー代数の mod 2 ホモロジーを、Dyer-Lashof に類似した新しいホモロジー作用素のクラスを導入し、その解析を通じて、入力空間のホモロジー上の自由リー代数に作用するこれらの作用素によって生成されることを示している。主な結果は、これらの作用素の代数上の自由モジュールとして、このホモロジーの完全な代数的記述が得られることである。

ABSTRACT

The Goodwillie derivatives of the identity functor on pointed spaces form an operad in spectra. Adapting a definition of Behrens, we introduce mod 2 homology operations for algebras over this operad and prove these operations account for all the mod 2 homology of free algebras on suspension spectra of simply-connected spaces.

研究の動機と目的

• スペクトラル・リー操作用子 ∂∗(Id) における自由代数の mod 2 ホモロジーを理解すること。これは、Goodwillie 計算から生じる。
• スペクトラル・リー操作用子における代数の特徴 2 における新しいホモロジー作用素を定義・研究すること。これは、Behrens の Goodwillie 層層における作用素を一般化する。
• 単連結空間のサスペンションスペクトル上の自由なスペクトラル・リー代数の mod 2 ホモロジーの完全な代数的記述を確立すること。
• Koszul 対称性と分割冪代数が、Topological André-Quillen ホモロジーを通じて E∞-環スペクトルとスペクトラル・リー代数を結ぶ役割を明確にすること。

提案手法

• Behrens の Goodwillie 層層における mod 2 ホモロジー作用素を、スペクトラル・リー操作用子 ∂∗(Id) における代数に適応して作用素を定義する。
• 特徴 2 におけるシフトされたリー括弧積と単項 Dyer-Lashof に類似した作用素、記号で ḞQj を導入する。
• Goodwillie ツアーからのスペクトル系列と分割複体 Pn の構造を用いて、自由代数のホモロジーを計算する。
• 可換操作用子とスペクトラル・リー操作用子の間の Koszul 対称性を適用し、E∞-環スペクトルと分割冪スペクトラル・リー代数を関連付ける。
• 自由スペクトラル・リー代数のホモロジーと、H∗(X;𝔽2) 上の自由リー代数に作用する作用素 ḞQj の代数上の自由モジュールとの間に、同型を確立する。
• Dn(Id)(X) 及びそれらのホモロジーの既知の計算を活用し、n に関する直和を用いて、完全な自由代数構造を構築する。

実験結果

リサーチクエスチョン

• RQ1 特徴 2 におけるスペクトラル・リー操作用子 ∂∗(Id) における代数のホモロジー作用素をどのように定義できるか？
• RQ2 単連結空間のサスペンションスペクトル上の自由なスペクトラル・リー代数の mod 2 ホモロジーの完全な代数的構造は何か？
• RQ3 新しい Dyer-Lashof に類似した作用素 ḞQj は、Goodwillie 層層のホモロジーにおける古典的スティーナロード代数と Nishida 関係の間でどのように関係するか？
• RQ4 作用素 ḞQj 間の関係が、自由なスペクトラル・リー代数のホモロジーを完全に記述できるか、その程度は何か？
• RQ5 可換操作用子とスペクトラル・リー操作用子の間の Koszul 対称性が、自由代数のホモロジーにどのように現れるか？

主な発見

• 単連結空間のサスペンションスペクトル上の自由スペクトラル・リー代数の mod 2 ホモロジーは、H∗(X;𝔽2) 上の自由リー代数に作用する作用素 ḞQj の代数上の自由モジュールに同型である。
• ホモロジーは、作用素 ḞQj が余剰（excess）が少なくとも k 以上となる次数でのみ非ゼロであり、これは Arone-Mahowald の計算における完全に不適切な系列に対応する。
• 作用素 ḞQj が Nishida 関係と整合する関係を満たすことが示され、Goodwillie 層層 Dn(Id)(X) のホモロジーに見られる構造を一般化している。
• 計算により、球面の直和上の自由スペクトラル・リー代数のホモロジーが、球面の基本類に繰り返し作用素 ḞQj を作用させることによって生成されることが確認された。
• Koszul 対称性を通じて、自由スペクトラル・リー代数のホモロジーと Topological André-Quillen ホモロジーにおける分割冪代数構造との間の明確な双対性が確立された。
• 自由代数のホモロジーと作用素代数上の自由モジュールとの同型は、スペクトル系列の議論と TAQ(R) におけるフィルトレーションとの比較によって確立された。