[논문 리뷰] C_2-equivariant and R-motivic stable stems, II

Eva Belmont, Bertrand Guillou외 1명|arXiv (Cornell University)|2020. 01. 07.

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

한 줄 요약

이 논문은 $²$-Bockstein 스펙트럴 시퀀스의 비교를 통해 $²$-equivariant 및 $²$-motivic 안정 호모토피 군 사이의 이somorphism을 범위 내에서 확립한다. 주요 결과는 Betti 실현이 범위 $2w - s < 5$ 내에서, $(s,w) = (0,2)$를 제외하고는 동형사상이며, $2w - s = 5$일 땐 단사임을 보여주며, 이는 $²$-motivic 계산이 이 범위 내에서 $C_2$-equivariant 호모토피 군을 실현할 수 있음을 시사한다.

ABSTRACT

We show that the $C_2$-equivariant and $\mathbb{R}$-motivic stable homotopy groups are isomorphic in a range. This result supersedes previous work of Dugger and the third author.

연구 동기 및 목표

• 특정 차수 범위 내에서 $²$-motivic 및 $C_2$-equivariant 안정 호모토피 군을 비교하는 것.
• Betti 실현이 특정 스템 및 무게 범위 내에서 이들 군 간에 동형사상을 유도함을 확립하는 것.
• 이전 작업을 향상시키기 위해 cobar 복합체 대신 $²$-Bockstein 스펙트럴 시퀀스를 사용하여 보다 효율적인 비교를 수행하는 것.
• 스펙트럴 시퀀스의 Adams $E_2$-페이지가 $2w - s < 5$ 범위 내에서 $(s,w) = (0,2)$를 제외하고는 동형임을 보이고, 이를 고차수 Adams 페이지 및 안정 호모토피 군으로 확장하는 것.
• 구체적인 원소를 구성하여 범위의 날카러움을 입증하는 것 — 즉, 이소모르피즘 범위 외부에 있지만 영구 사이클인 원소들이 존재함을 보여주며, Betti 실현 하에서 이들이 동형이 아니라는 점을 확인함.

제안 방법

• $²$-motivic 및 $C_2$-equivariant Adams $E_2$-페이지로 수렴하는 $²$-Bockstein 스펙트럴 시퀀스를 비교하는 것.
• 일부 범위 내에서 $²$-Bockstein 스펙트럴 시퀀스가 동형임을 이용하여 Adams $E_2$-페이지의 동형성을 유도하는 것.
• Adams 스펙트럴 시퀀스의 각 페이지 $E_r$ 에 대해 귀납법을 적용하여 $E_2$ 에서 $E_∞$ 로의 동형성을 확장하는 것.
• 특히 $\operatorname{Ext}_{NC}$ 의 코어가 0임을 이용하여 제시된 범위 내에서 동형성을 증명하는 것.
• $C_2$-equivariant 스펙트럴 시퀀스에서 $\frac{\gamma}{\tau}h_0^f$ 가 영구 사이클임을 이용하여 귀납법의 경계 케이스를 다루는 것.
• Adams 미분 다이어그램의 다이어그램 추적을 통해 Betti 실현 사상이 고차수 페이지까지도 여전히 동형 또는 단사임을 보이는 것.

실험 결과

연구 질문

• RQ1 Betti 실현 하에서 $²$-motivic 및 $C_2$-equivariant 안정 호모토피 군이 어떤 스템과 무게 범위에서 동형이 되는가?
• RQ2 Adams $E_2$-페이지의 비교를 고차수 Adams 페이지 및 궁극적으로 안정 호모토피 군으로 확장할 수 있는가?
• RQ3 Betti 실현 하에서 안정 호모토피 군의 동형성에 대해 $2w - s < 5$ 범위가 날카로운가?
• RQ4 Betti 실현 사상이 $2w - s = 5$ 일 때의 행동은 어떠하며, 왜 이 경우에만 단사인가?
• RQ5 이소모르피즘 범위 외부에 존재하는 명시적 영구 사이클이 존재하는가? 이는 경계의 날카러움을 입증하는 데 기여하는가?

주요 결과

• Betti 실현 사상 $\pi^\mathbb{R}_{s,w} \to \pi^{C_2}_{s,w}$ 는 $2w - s < 5$ 이고 $(s,w) \neq (0,2)$ 일 때 동형이다.
• 이 범위는 $2w - s = 5$ 일 때 단사임을 보이며, 이 범위가 날카로운 것은 명시적 반례를 통해 입증된다.
• $²$-Bockstein 스펙트럴 시퀀스는 $²$-motivic 및 $C_2$-equivariant Adams $E_2$-페이지에 대해 $2w - s < 5$ 범위 내에서 동형이며, $(0,2)$를 제외한다.
• 이so모르피즘된 관련 순서의 개체들 덕분에 $2w - s < 5$, $(s,w) \neq (0,2)$ 범위 내에서 Adams $E_\infty$-페이지가 동형이다.
• $\frac{\gamma}{\tau}P^k h_1$ 는 차수 $(8k+1, 4k+1, 4k+3)$ 에서 두 스펙트럴 시퀀스 모두에서 영구 사이클이며, 이는 이소모르피즘 범위 외부에 위치한다. 이는 경계의 날카러움을 보여준다.
• 이 범위 외부에서 $2w - s = 5$ 이고 $k \geq 1$ 일 때 사상이 동형이 아니며, 이는 Betti 실현 하에서 이 원소들이 동형이 아니라는 점을 확인함으로써 범위의 날카러움이 확인된다.