[논문 리뷰] Power operations in the Kunneth spectral sequence and commutative HFp-algebras

Sean Tilson|arXiv (Cornell University)|2016. 02. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 11인용 수 7

한 줄 요약

이 논문은 필터링된 R-모듈 스펙트럼에 대한 새로운 비교 정리(Comparison Theorem)를 도입하여, 교환 법칙이 성립하는 $ℓ\mathbb{F}_p$-대수에 대한 상대 스모쓰 프로덕트에 대한 쿠엔트 스펙트럴 시리즈의 스펙트럴 시리즈의 승법성(multiplicativity)을 확립한다. $R = ku$, $BP\langle 2\rangle$, $MU$에 대해 $ℓ\mathbb{F}_p \wedge_R ℓ\mathbb{F}_p$에서 다이어-라쇼프 대수의 작용을 계산하고, 몫 스펙트럼이 교환 법칙이 성립하는 $R$-대수로 실현될 수 없는 비자명한 장애물이 존재함을 보여준다.

ABSTRACT

In this paper, we prove the multiplicativity of the Künneth spectral sequence. This is established by an analogue of the Comparison Theorem from homological algebra, which we suspect may be useful for other spectral sequences. This multiplicativity is then used to compute the action of the Dyer-Lashof algebra on $\HF_p \wedge_{ku} \HF_p$, $\HF_p \wedge_{\BP} \HF_p$, and part of the action on $\HF_p \wedge_{MU} \HF_p$. We then relate these computations to the construction of commutative $R$-algebra structures on commutative $\HF_p$-algebras. In the case of $MU$, we obtain a necessary closure condition on ideals $I\subset MU_*$ such that $MU/I$ can be realized as a commutative $MU$-algebra.

연구 동기 및 목표

• 교환 법칙이 성립하는 스펙트럼 대수의 맥락에서 쿠엔트 스펙트럴 시리즈의 승법성을 확립하는 것.
• 다양한 $R$에 대해 상대 스모쓰 프로덕트 $\mathrm{H}\mathbb{F}_p \wedge_R \mathrm{H}\mathbb{F}_p$에서 다이어-라쇼프 대수의 작용을 계산하는 것.
• 몫 스펙트럼 $R/I$가 교환 법칙이 성립하는 $R$-대수의 구조를 갖기 위한 필요 조건을 규명하는 것.
• E_\infty-스펙트럼 대수의 사상에서 코탄젠트 복합체의 비자명한 호모토피 클래스를 탐지하는 데에 파wer 연산의 역할을 명확히 하는 것.

제안 방법

• 필터링된 $R$-모듈 스펙트럼에 대한 비교 정리를 도입하여, 필터링된 모듈 간의 사상이 호모토피 상에서 올라갈 수 있도록 하는 것.
• 비교 정리를 사용하여 $R$-대수에 대해 쿠엔트 스펙트럴 시리즈의 승법성을 증명하는 것.
• 승법적 구조를 적용하여 스펙트럴 시리즈 내의 파워 연산을 통해 $ℓ\mathbb{F}_p \wedge_R ℓ\mathbb{F}_p$에서의 다이어-라쇼프 작용을 계산하는 것.
• 사상 $ℓ\mathbb{F}_p \to X$의 비호모토피적 업그레이드를 탐지하기 위해 $π_*X$에서의 장애물 클래스 $d(f,g)_*(\overline{p})$를 분석하는 것.
• 필터링의 $H_\infty$-구조를 이용하여 $d(f,g)_*(\overline{p})$의 소멸 조건이 $R$에서 $p$의 호모토피적 영-호모토피가 호모토피적임과 동치임을 연결하는 것.
• $\pi_*\mathrm{H}\mathbb{F}_2 \wedge_{ku}\mathrm{H}\mathbb{F}_2$에서의 파워 연산 $Q^i(\overline{2}) = \overline{v}$를 사용하여, $v$와 $2$의 정규화 사이의 관계를 탐지하는 것.

실험 결과

연구 질문

• RQ1 교환 법칙이 성립하는 스펙트럼 대수의 맥락에서 쿠엔트 스펙트럴 시리즈를 어떻게 승법적으로 만들 수 있는가?
• RQ2 $R = ku$, $BP\langle 2\rangle$, $MU$에 대해 $ℓ\mathbb{F}_p \wedge_R \mathrm{H}\mathbb{F}_p$에서 다이어-라쇼프 대수의 작용은 무엇인가?
• RQ3 어떤 조건에서 몰입 $R/I$가 교환 법칙이 성립하는 $R$-대수로 실현될 수 있는가?
• RQ4 스펙트럴 시리즈 내의 파워 연산은 $π_*R$의 원소에 대한 호모토피적 영-호모토피의 비호모토피성 장애를 어떻게 탐지하는가?
• RQ5 $2 \in \pi_*ku$의 정규화를 사용하여 $v \in \pi_*ku$의 정규화를 함의적으로 구성할 수 있는가?

주요 결과

• 쿠엔트 스펙트럴 시리즈는 $R$-대수에 대해 승법적이며, 필터링에 대한 $H_\infty$-구조와 호환되며, 이는 이전 문헌의 오류를 수정한다.
• 다이어-라쇼프 대수의 작용은 파워 연산을 통해 $ℓ\mathbb{F}_2 \wedge_{ku} ℓ\mathbb{F}_2$에서 계산되었으며, $Q^2(\overline{2}) = \overline{v}$이다.
• $R = BP\langle 2\rangle$의 경우, $ℓ\mathbb{F}_2 \wedge_R ℓ\mathbb{F}_2$에서의 다이어-라쇼프 작용이 계산되었으며, 호모토피 군 내에서 비자명한 관계가 드러났다.
• $MU$의 경우, $MU/I$가 교환 법칙이 성립하는 $MU$-대수의 구조를 갖기 위해 $MU_*$의 이상수 $I$에 대해 필수적인 닫힘 조건이 발견되었다.
• $\pi_*\mathrm{H}\mathbb{F}_p \wedge_R \mathrm{H}\mathbb{F}_p$의 원소 $\overline{p}$는 코탄젠트 복합체에서 비자명한 장애를 증거로 삼으며, $d(f,g)_*(\overline{p}) = 0$이 되는 것은 $p$의 영-호모토피가 서로 호모토피적임과 동치이다.
• 파워 연산은 $ku$에서 $2$의 정규화가 $v$의 정규화에 비자명한 관계를 유도함을 탐지한다. 이는 $\pi_*ku$에서 $Q^2(2) = v$가 성립하지 않음에도 불구하고 성립한다.