[論文レビュー] Secondary algebras associated to ring spectra

Hans-Joachim Baues, Fernando Muro|arXiv (Cornell University)|Oct 17, 2006

Advanced Topics in Algebra参考文献 12被引用数 3

ひとこと要約

この論文は、Toda bracket や第一 Postnikov 不変量といった高次構造を符号化するように、連結な環スペクトル R のホモトピー群 π∗R を豊かにする2次代数 π∗,∗R を導入する。π∗,∗R が π∗R の第3 Mac Lane コホモロジーに属するクラスを表すことを示し、R が可換である場合には、π∗R における cup-one 平方演算を捉える E∞ 構造を有することが示される。

ABSTRACT

Abstract. Homotopy groups of a connective ring spectrum R form an-graded algebra π∗R which is commutative if R is commutative. We describe a secondary algebra π∗,∗R which enriches the structure of the algebra π∗R in a new unexpected way. The algebra π∗,∗R encodes secondary homotopy operations in π∗R, such as Toda brackets, and the first Postnikov invariant of R as a ring spectrum. Moreover, π∗,∗R represents a cohomology class in the third Mac Lane cohomology of the algebra π∗R. If R is commutative then π∗,∗R has an E∞-structure and encodes the cup-one squares in π∗R. Contents

研究の動機と目的

• 連結な環スペクトル R のホモトピー群 π∗R の構造を、2次代数 π∗,∗R を導入することで拡張すること。
• Toda bracket や第一 Postnikov 不変量といった2次ホモトピー作用素を、π∗,∗R 内に符号化すること。
• π∗,∗R が π∗R の第3 Mac Lane コホモロジーに属するクラスを表すことを確立すること。
• R が可換である場合に、π∗,∗R が π∗R における cup-one 平方演算を捉える E∞ 構造を有することを示すこと。

提案手法

• π∗R の一般化として、2次代数 π∗,∗R を構成する。
• 安定ホモトピー論における2次作用素の枠組みを用いて、π∗,∗R の構造を定義する。
• π∗,∗R を、そのコホモロジー的性質を通じて、R の環スペクトルとしての第一 Postnikov 不変量と関連付ける。
• 導来代数的技法を用いて、π∗,∗R が π∗R の第3 Mac Lane コホモロジーに属するクラスを表すことを示す。
• R が可換である場合に、π∗,∗R に存在する E∞ 構造が、π∗R における cup-one 平方演算を捉えることを示す。
• Mac Lane コホモロジーの理論を用いて、2次代数を π∗R の代数的不変量と結びつける。

実験結果

リサーチクエスチョン

• RQ1 連結な環スペクトル R のホモトピー群 π∗R は、主な次数付き代数を超えて、どのような2次代数的構造で豊かにできるか？
• RQ2 π∗,∗R は、R を環スペクトルとして見たときの Toda bracket や第一 Postnikov 不変量をどのように符号化するか？
• RQ3 π∗,∗R が π∗R の第3 Mac Lane コホモロジーに属するクラスを表す仕組みは何か？
• RQ4 R が可換である場合に、π∗,∗R に存在する E∞ 構造は、π∗R における cup-one 平方演算とどのように関係するか？
• RQ5 2次代数 π∗,∗R が捉える代数的およびホモトピー的不変量は何か？

主な発見

• 2次代数 π∗,∗R は、R を環スペクトルとして見たときの Toda bracket および第一 Postnikov 不変量を符号化する。
• π∗,∗R は、代数 π∗R の第3 Mac Lane コホモロジーに属するクラスを表す。
• R が可換である場合、π∗,∗R は π∗R における cup-one 平方演算を捉える E∞ 構造を有する。
• π∗,∗R の構成は、環スペクトルにおける高次ホモトピー作用素を理解するための新しい代数的枠組みを提供する。
• この理論は、2次代数 π∗,∗R を通じて、安定ホモトピー論と Mac Lane コホモロジーを結ぶ橋渡しを確立する。
• 結果として、π∗,∗R が R の代数的およびホモトピー的データを両方とも符号化する自然な不変量であることが示された。