[논문 리뷰] Secondary algebras associated to ring spectra

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

Advanced Topics in Algebra참고 문헌 12인용 수 3

한 줄 요약

이 논문은 연결된 링 스펙트럼 R의 호모토피 군 π∗R를 Toda 괄호와 첫 번째 Postnikov 불변량과 같은 고차 구조를 코딩함으로써 풍부화하는 보조 대수 π∗,∗R를 소개한다. π∗,∗R가 π∗R의 제3 맥클레인 호모로지에서 코homology 클래스를 나타냄을 보이며, 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의 구조를 보조 대수 π∗,∗R를 도입하여 확장한다.
• Toda 괄호와 R로서의 첫 번째 Postnikov 불변량과 같은 보조 호모토피 연산을 π∗,∗R 내에 코딩한다.
• π∗,∗R가 π∗R의 제3 맥클레인 호모로지에서 클래스를 나타냄을 확립한다.
• R가 가환일 경우 π∗,∗R가 π∗R 내의 cup-one 제곱을 캡처하는 E∞-구조를 지닌다.

제안 방법

• π∗R의 계수 대수로서 보조 대수 π∗,∗R를 정의한다.
• 안정 호모토피 이론 내의 보조 연산 프레임워크를 사용하여 π∗,∗R의 구조를 정의한다.
• π∗,∗R를 π∗R의 첫 번째 Postnikov 불변량과 그 코homological 성질을 통해 연결한다.
• 유도 대수기법을 사용하여 π∗,∗R가 π∗R의 제3 맥클레인 호모로지에서 클래스를 나타냄을 보인다.
• 가환 R에 대해 π∗,∗R의 E∞-구조가 π∗R 내의 cup-one 제곱 연산을 캡처함을 보인다.
• 맥클레인 호모로지 이론을 적용하여 보조 대수를 π∗R의 대수적 불변량과 연결한다.

실험 결과

연구 질문

• RQ1 연결된 링 스펙트럼 R의 호모토피 군 π∗R는 주어진 계수 대수 외에 어떤 보조 대수적 구조로 풍부화될 수 있는가?
• RQ2 π∗,∗R는 R로서의 링 스펙트럼으로서 Toda 괄호와 첫 번째 Postnikov 불변량을 어떻게 코딩하는가?
• RQ3 π∗,∗R는 π∗R의 제3 맥클레인 호모로지에서 어떤 방식으로 코homology 클래스를 나타내는가?
• RQ4 가환 R에 대해 π∗,∗R의 E∞-구조는 π∗R 내의 cup-one 제곱 연산과 어떻게 관련되는가?
• RQ5 보조 대수 π∗,∗R는 어떤 대수적 및 호모토피 불변량을 캡처하는가?

주요 결과

• 보조 대수 π∗,∗R는 R로서의 링 스펙트럼의 Toda 괄호와 첫 번째 Postnikov 불변량을 코딩한다.
• π∗,∗R는 π∗R의 제3 맥클레인 호모로지에서 코homology 클래스를 나타낸다.
• R가 가환일 경우 π∗,∗R는 π∗R 내의 cup-one 제곱 연산을 캡처하는 E∞-구조를 갖는다.
• π∗,∗R의 구성은 링 스펙트럼 내의 고차 호모토피 연산을 이해하는 데 새로운 대수적 프레임워크를 제공한다.
• 이 이론은 보조 대수 π∗,∗R를 통해 안정 호모토피 이론과 맥클레인 호모로지 사이의 다리를 놓는다.
• 결과는 π∗,∗R가 R의 대수적 및 호모토피 데이터를 모두 캡처하는 자연스러운 불변량임을 보여준다.