[論文レビュー] Homology operations and cosimplicial infinite loop spaces. II

Philip Hackney|arXiv (Cornell University)|Jan 19, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 4被引用数 1

ひとこと要約

この論文は、コサイミリカル E-infinity 空間 X の mod 2 におけるホモロジースペクトル系列で構成されたホモロジー作用が、全空間 Tot X のターゲットホモロジーにおける古典的な Araki-Kudo 作用と一致することを確立している。さらに、スペクトル系列内の乗法的構造が H_*(Tot X) 内の乗法と整合することを証明し、スペクトル系列の仕組みと全空間の内在的な代数的構造との一貫性を確認している。

ABSTRACT

Previously we constructed operations in the mod 2 homology spectral sequence associated to a cosimplicial E-infinity space X. The correct target for this spectral sequence is the homology of Tot X. Noting that in this setting Tot X is an E-infinity space, we show that our operations agree with the usual Araki-Kudo operations in the target. We also prove that the multiplication in the spectral sequence agrees with the multiplication in H_*(Tot X).

研究の動機と目的

• コサイミリカル E-infinity 空間の mod 2 スペクトル系列におけるホモロジー作用が、ターゲットホモロジーにおける標準的な Araki-Kudo 作用と整合することを確立すること。
• スペクトル系列のターゲットにあいまいさが生じるのを回避し、それが H_*(Tot X) として特定されることを示すこと。
• スペクトル系列内の乗法的構造が、H_*(Tot X) 内の乗法と正確に一致することを証明すること。
• スペクトル系列で構成された作用が、Tot X が E-infinity 空間として持つ既知の代数的構造と整合することを示すこと。

提案手法

• コサイミリカル E-infinity 空間 X に関連する mod 2 ホモロジースペクトル系列におけるホモロジー作用の構成。
• スペクトル系列の正しいターゲットが、X の全空間 Tot X のホモロジー H_*(Tot X) であると特定すること。
• Tot X が X から引き継ぐ E-infinity 空間構造を活用して、そのホモロジー作用を分析すること。
• 構造的およびファンクタークラス的議論を用いて、スペクトル系列の作用と H_*(Tot X) 内の古典的 Araki-Kudo 作用を比較すること。
• スペクトル系列内の乗法的構造を用いて、H_*(Tot X) 内の乗法と整合することを示すこと。
• 既知の E-infinity 空間およびそのホモロジーに関する結果を応用して、作用と積の整合性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 コサイミリカル E-infinity 空間のスペクトル系列で定義されたホモロジー作用は、Tot X のホモロジーにおける古典的 Araki-Kudo 作用と一致するか？
• RQ2 スペクトル系列のターゲットは正しく H_*(Tot X) と特定されており、Tot X は X から E-infinity 構造を引き継いでいるか？
• RQ3 スペクトル系列内の乗法的構造は、H_*(Tot X) 内の乗法とどのように関係しているか？
• RQ4 スペクトル系列内の作用は、Tot X の背後にある E-infinity 空間構造から生じると解釈できるか？
• RQ5 スペクトル系列の代数的構造と、E-infinity 空間のホモロジーにおける既知の作用との関係は何か？

主な発見

• スペクトル系列で構成されたホモロジー作用は、H_*(Tot X) 内の標準的な Araki-Kudo 作用と同型である。
• スペクトル系列は H_*(Tot X) に収束し、Tot X は E-infinity 空間であるため、スペクトル系列の正しいターゲットが確認された。
• スペクトル系列内の乗法的構造は、H_*(Tot X) 内の乗法と整合しており、E-infinity 代数構造を保っている。
• スペクトル系列内の作用は、E-infinity 空間のホモロジーにおける既知の代数的作用と整合している。
• 結果として、コサイミリカル E-infinity 空間の全空間のホモロジーにおける作用を計算するためのスペクトル系列の使用が正当化された。