[논문 리뷰] Power operations for $ ext{H}\underline{\mathbb{F}}_2$ and a cellular construction of $ ext{BP}\mathbf{R}$

Dylan Wilson|arXiv (Cornell University)|2016. 11. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 4

한 줄 요약

이 논문은 정규 표현 구면의 확장된 힘의 곱과 테이트 수축을 포함하는 공선형화 기법을 사용하여 $\mathrm{H}\underline{\mathbb{F}}_2$에 대한 등변 승법 작용을 구성한다. 이 작용의 $C_2$-등변 쌍대 스틴로드 대수에서의 작용을 계산하고, 이를 통해 2-국소 슬라이스 세포를 이용한 $\mathrm{BP}\mathbf{R}$의 셀 구조를 제시하며, $\mathrm{Even}(S^0) \simeq \mathrm{BP}\mathbf{R}$임을 증명하고 슬라이스 타워를 규명한다.

ABSTRACT

We study some power operations for ordinary $C_2$-equivariant homology with coefficients in the constant Mackey functor $\underline{\mathbb{F}}_2$. In addition to a few foundational results, we calculate the action of these power operations on a $C_2$-equivariant dual Steenrod algebra. As an application, we give a cellular construction of the $C_2$ equivariant Brown-Peterson spectrum $ ext{BP}\mathbf{R}$ and deduce its slice tower.

연구 동기 및 목표

• 등변 승법 작용을 $C_2$-등변 설정에서 $\mathrm{H}\underline{\mathbb{F}}_2$에 대해 구성하고, 고전적 Dyer-Lashof 작용을 일반화한다.
• 이 승법 작용이 $C_2$-등변 쌍대 스틴로드 대수에서 작용하는 방식을 계산하며, 특히 생성자 $\tau_0$에서의 작용을 중점적으로 다룬다.
• 매니폴드나 형식적 군 법칙에 의존하지 않고 순수하게 호모토피론적이고 셀 기반의 방식으로 $\mathrm{BP}\mathbf{R}$를 구성한다.
• 구축된 셀 모델을 이용하여 $\mathrm{BP}\mathbf{R}$의 슬라이스 타워를 규명한다.
• 스펙트럼 $\mathrm{Even}(S^0)$이 $S^0_{(2)}$에 짝수 차원 슬라이스 세포를 붙여 $n\rho - 1$ 차수의 호모토피 매크리 함수를 제거함으로써 구성되며, 이는 $\mathrm{BP}\mathbf{R}$와 동치임을 증명한다.

제안 방법

• 확장된 힘의 곱의 대체로 공선형화된 형태를 사용하여, $\mathrm{H}\underline{\mathbb{F}}_2 \wedge \Sigma^{n\rho} \mathbb{P}_2(S^{-n\rho})$의 호모토피 극한을 취해 스펙트럼 $\mathrm{Ops}_{\mathrm{H}\underline{\mathbb{F}}_2} := \operatorname{holim}_n (\mathrm{H}\underline{\mathbb{F}}_2 \wedge \Sigma^{n\rho} \mathbb{P}_2(S^{-n\rho}))$를 정의함으로써 승법 작용을 정의한다. 이는 일반적인 표현 구면을 다룰 수 있도록 한다.
• 스펙트럼 $\mathrm{Ops}_{\mathrm{H}\underline{\mathbb{F}}_2}$를 테이트 수축의 디스스펜션으로 식별함으로써, 그 호모토피에서의 스틴로드 코작용을 계산할 수 있도록 한다.
• 니시다 관계식과 코작용 계산을 이용하여 승법 작용이 쌍대 스틴로드 대수에서 작용하는 방식을 규명한다.
• 호모토피 매크리 함수가 $n\rho - 1$ 차수에서 0이 되도록 하기 위해, $S^0_{(2)}$에 짝수 차원 2-국소 슬라이스 세포를 붙여 $\mathrm{Even}(S^0)$을 구성한다.
• 장애 이론과 $RO(C_2)$-등급 화이트헤드 정리를 적용하여, 기저 스펙트럼과 기하적 고정점들을 비교함으로써 $\mathrm{Even}(S^0) \simeq \mathrm{BP}\mathbf{R}$임을 검증한다.
• 아담스 스펙트럴 시리즈와 모듈 구조를 이용하여 $\mathrm{Even}(S^0)$이 올바른 호모토피 매크리 함수와 슬라이스 필터링을 가짐을 검증한다.

실험 결과

연구 질문

• RQ1 등변 승법 작용을 정규 표현 구면을 초월하여 일반적인 표현 구면에 대해 구성할 수 있는가?
• RQ2 이 승법 작용이 $C_2$-등변 쌍대 스틴로드 대수에서 작용하는 방식은 무엇이며, 특히 생성자 $\tau_0$에서의 작용은 어떻게 되는가?
• RQ3 매니폴드나 형식적 군 법칙에 대한 참조 없이 순수하게 호모토피론적 자료만을 사용하여 $\mathrm{BP}\mathbf{R}$를 셀 기반으로 구성할 수 있는가?
• RQ4 $\mathrm{BP}\mathbf{R}$의 슬라이스 타워는 무엇이며, $\mathrm{Even}(S^0)$의 셀 구조와의 관계는 어떠한가?
• RQ5 스펙트럼 $\mathrm{Even}(S^0)$이 $S^0_{(2)}$에 짝수 차원 슬라이스 세포를 붙여 구성되었을 때, 이는 $\mathrm{BP}\mathbf{R}$와 동치인가?

주요 결과

• 모든 $C_2$-스펙트럼 $X$에 대해 대칭적 $C_2$-곱을 지닌 $(\mathrm{H}\underline{\mathbb{F}}_2)_\star X$에 대해 등변 승법 작용 $Q^{n\rho}$가 정의되며, 고전적 Dyer-Lashof 성질의 등변 버전을 만족한다.
• $C_2$-등변 쌍대 스틴로드 대수 $\underline{\pi}_\star(\mathrm{H}\underline{\mathbb{F}}_2 \wedge \mathrm{H}\underline{\mathbb{F}}_2)$는 승법 작용에 대한 대수로서 생성되며, $\tau_0 \in \pi^{C_2}_1(\mathrm{H}\underline{\mathbb{F}}_2 \wedge \mathrm{H}\underline{\mathbb{F}}_2)$에서 생성된다.
• 테이트 수축과 코작용 계산을 통해 승법 작용의 니시다 관계식이 검증되었으며, 이는 비등변 경우에도 깔끔한 유도를 가능하게 한다.
• 호모토피 매크리 함수가 $n\rho - 1$ 차수에서 0이 되도록 짝수 차원 2-국소 슬라이스 세포를 붙여 구성된 스펙트럼 $\mathrm{Even}(S^0)$은 $\mathrm{BP}\mathbf{R}$와 동치이다.
• $\mathrm{Even}(S^0)$의 호모토피 매크리 함수는 $\underline{\pi}_{*\rho}(\mathrm{Even}(S^0)) \cong \underline{\mathbb{Z}}_{(2)}[v_1, v_2, \dots]$를 만족하며, 여기서 $|v_i| = (2^i - 1)\rho$ 이고, $\underline{\pi}_{*\rho - 1}(\mathrm{Even}(S^0)) = 0$ 이다.
• $\mathrm{BP}\mathbf{R}$의 슬라이스 타워는 셀 구조를 통해 규명되며, $n \geq 0$일 때 $n$번째 슬라이스는 $\Sigma^{n\rho} \mathrm{H}\underline{\mathbb{F}}_2$이다.