[논문 리뷰] R-motivic stable stems

Eva Belmont, Daniel C. Isaksen|arXiv (Cornell University)|2020. 01. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 5

한 줄 요약

이 논문은 잘 이해된 $\mathbb{C}$-모티브 $\operatorname{Ext}$ 군들로부터 유도된 $\rho$-보크슈타인 스펙트럴 시리즈를 통해 얻은 입력을 바탕으로, $s-w \leq 11$ 범위에서 $×$-모티브 스태이블 호모토피 군 $π_{s,w}$를 $×$-모티브 애덤스 스펙트럴 시리즈를 사용하여 계산한다. 주요 기여는 이 군들의 완전한 결정, 즉 애덤스 미분과 $\rho$, $h_0$, $\eta$에 의한 숨겨진 확장들을 포함하며, 저차원에서 고전적 마하올드 불변량을 복원한다.

ABSTRACT

We compute some R-motivic stable homotopy groups. For $s - w \leq 11$, we describe the motivic stable homotopy groups $π_{s,w}$ of a completion of the R-motivic sphere spectrum. We apply the $ρ$-Bockstein spectral sequence to obtain R-motivic Ext groups from the C-motivic Ext groups, which are well-understood in a large range. These Ext groups are the input to the R-motivic Adams spectral sequence. We fully analyze the Adams differentials in a range, and we also analyze hidden extensions by $ρ$, 2, and $η$. As a consequence of our computations, we recover Mahowald invariants of many low-dimensional classical stable homotopy elements.

연구 동기 및 목표

• 범위 $s-w \leq 11$ 내에서 $×$-모티브 스태이블 호모토피 군 $π_{s,w}$를 계산하는 것.
• $×$-모티브 애덤스 스펙트럴 시리즈를 수립하고, $×$-모티브 $\operatorname{Ext}$ 군들로부터 입력을 확보하는 것.
• 이 범위 내에서 애덤스 미분과 $\rho$, $h_0$, $\eta$에 의한 숨겨진 확장을 해결하는 것.
• 이러한 계산을 통해 저차원 스태이블 호모토피 원소들의 고전적 마하올드 불변량을 복원하는 것.

제안 방법

• $\mathcal{A}$가 $×$-모티브 스틴로드 대수임을 고려하여, $E_2 = \operatorname{Ext}_{\mathcal{A}}(\mathbb{M}_2, \mathbb{M}_2)$인 $×$-모티브 애덤스 스펙트럴 시리즈를 사용하는 것.
• 기존의 $\mathbb{C}$-모티브 $\operatorname{Ext}$ 군들로부터 $\operatorname{Ext}_{\mathcal{A}}(\mathbb{M}_2, \mathbb{M}_2)$를 계산하기 위해 $×$-보크슈타인 스펙트럴 시리즈를 적용하는 것.
• 조합론적 추론을 통해 많은 수의 보크슈타인 미분을 유도하기 위해 사전에 $\rho$-주기적 군들을 계산하는 것.
• 모스 수렴 정리를 사용하여 토다 괄목을 계산하고 영구 사이클을 식별하는 것.
• 결과를 고전적 및 $×$-모티브 계산과 비교하여 애덤스 미분과 확장을 검증하는 것.
• $\rho$, $h_0$, $\eta$에 의한 숨겨진 확장을 분석하기 위해 셔플링 관계와 토다 괄목 비교를 사용하는 것.

실험 결과

연구 질문

• RQ1 $s-w \leq 11$일 때 $×$-모티브 스태이블 호모토피 군 $\pi_{s,w}$는 무엇인가요?
• RQ2 $\rho$-보크슈타인 스펙트럴 시리즈와 $\rho$-주기적 군들이 $×$-모티브 애덤스 스펙트럴 시리즈 내의 $\operatorname{Ext}$ 군들을 어떻게 제약하는가요?
• RQ3 $s-w \leq 11$ 범위 내에서 $×$-모티브 애덤스 스펙트럴 시리즈에 발생하는 애덤스 미분 $d_r$는 무엇인가요?
• RQ4 이 범위 내에서 $×$-모티브 애덤스 스펙트럴 시리즈에 발생하는 $\rho$, $h_0$, $\eta$에 의한 숨겨진 확장은 무엇인가요?
• RQ5 이러한 계산을 통해 고전적 마하올드 불변량은 어떻게 복원되거나 실현되는가요?

주요 결과

• $s-w \leq 11$ 범위에서 $×$-모티브 스태이블 호모토피 군 $\pi_{s,w}$가 완전히 계산되었으며, 모든 원소와 관계에 대한 명시적 묘사가 제공된다.
• $\rho$-보크슈타인 스펙트럴 시리즈를 사용하여 $\mathbb{C}$-모티브 $\operatorname{Ext}$로부터 $\operatorname{Ext}_{\mathcal{A}}(\mathbb{M}_2, \mathbb{M}_2)$를 계산하였으며, $\rho$-주기적 군들이 많은 수의 미분을 가능하게 하였다.
• 이 범위 내에서 $d_2$, $d_3$ 및 고차 미분들이 명시적으로 계산되었으며, 증명은 고전적, $×$-모티브, 토다 괄목 기법에 기반한다.
• $\rho$, $h_0$, $\eta$에 의한 숨겨진 확장들이 이 범위에서 완전히 분석되었으며, 표에 특정 타겟이 식별되었다.
• $\rho$-보크슈타인 및 애덤스 스펙트럴 시리즈를 통해 $\eta$, $\nu$, $\sigma$와 같은 저차원 고전적 스태이블 호모토피 원소들의 마하올드 불변량이 복원되었다.
• $\tau^2 h_0 h_3^2$, $h_4$, $f_0$, $h_0 i$와 같은 특정 원소들이 비자명한 미분을 갖는 것으로 나타났으며, 예를 들어 $d_2(h_4) = h_0 h_3^2$ 및 $d_3(h_0 h_4) = h_0 d_0 + \rho h_1 d_0$이다.