[논문 리뷰] The special fiber of the motivic deformation of the stable homotopy category is algebraic

Bogdan Gheorghe, Guozhen Wang외 1명|arXiv (Cornell University)|2018. 09. 25.

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

한 줄 요약

이 논문은 $˃^{0,0}/\tau$ 위에서의 조화 모티브 스펙트럼의 $\infty$-범주와 짝수 차수에 집중된 $p$-완비화된 $\mathrm{BP}_*\mathrm{BP}$-코모듈의 유계된 도파르 카테고리 사이의 동치성을 확립한다. 이 동치는 $\widehat{S^{0,0}}/\tau$에 대한 모티브 아담스 스펙트럴 시퀀스와 고전적 대수적 노빅로프 스펙트럴 시퀀스 사이의 동형을 유도하며, 이는 90번째 스템까지 및 그 이상의 고차원에서 고전적 스펙트럼의 안정적 호모토피 군을 계산할 수 있게 한다.

ABSTRACT

For each prime $p$, we define a $t$-structure on the category $\widehat{S^{0,0}}/τ ext{-}\mathbf{Mod}_{harm}^b$ of harmonic $\mathbb{C}$-motivic left module spectra over $\widehat{S^{0,0}}/τ$, whose MGL-homology has bounded Chow-Novikov degree, such that its heart is equivalent to the abelian category of $p$-completed $BP_*BP$-comodules that are concentrated in even degrees. We prove that $\widehat{S^{0,0}}/τ ext{-}\mathbf{Mod}_{harm}^b$ is equivalent to $\mathcal{D}^b({{BP}_*{BP} ext{-}\mathbf{Comod}}^{ev})$ as stable $\infty$-categories equipped with $t$-structures. As an application, for each prime $p$, we prove that the motivic Adams spectral sequence for $\widehat{S^{0,0}}/τ$, which converges to the motivic homotopy groups of $\widehat{S^{0,0}}/τ$, is isomorphic to the algebraic Novikov spectral sequence, which converges to the classical Adams-Novikov $E_2$-page for the sphere spectrum $\widehat{S^0}$. This isomorphism of spectral sequences allows Isaksen and the second and third authors to compute the stable homotopy groups of spheres at least to the 90-stem, with ongoing computations into even higher dimensions.

연구 동기 및 목표

• 특수 섬유 $\tau = 0$에서의 모티브 스펙트럼의 안정적 호모토피 카테고리와 $\mathrm{BP}_*\mathrm{BP}$-코모듈의 대수적 카테고리 사이의 유도 동치를 확립하기.
• $\widehat{S^{0,0}}/\tau$에 대한 모티브 아담스 스펙트럴 시퀀스가 고전적 대수적 노vik로프 스펙트럴 시퀀스와 일치함을 확인하기.
• $\operatorname{Spec} \mathbb{C}$ 위에서의 변형 이론을 통해 모티브 호모토피 이론에서 고전적 호모토피 이론으로의 계산적 다리를 제공하기.
• 이 동치를 활용하여, 이 동형을 통해 최소한 90번째 스템까지 고전적 스펙트럼의 안정적 호모토피 군을 명시적으로 계산할 수 있도록 하기.

제안 방법

• $\widehat{S^{0,0}}/\tau$-모듈 스펙트럼의 조화 범주에 유계된 초우주-노빅로프 차수를 가진 $t$-구조를 구성하기.
• 이 $t$-구조의 하트가 짝수 차수의 $p$-완비화된 $\mathrm{BP}_*\mathrm{BP}$-코모듈의 아벨 카테고리와 동치임을 증명하기.
• $\mathcal{D}^b(\mathrm{BP}_*\mathrm{BP}\text{-Comod}^{\mathrm{ev}})$와 $\widehat{S^{0,0}}/\tau\text{-Mod}_{\mathrm{harm}}^b$ 사이의 안정적 $\infty$-카테고리 동치를 수립하기.
• 일반화된 계수 스펙트럴 시퀀스와 $\mathrm{MGL}$-호모로지의 성질을 이용하여 $\widehat{S^{0,0}}/\tau$ 위의 모듈 카테고리 분석하기.
• 모티브적 설정에서 아담스 타워를 특성화하고, 이들이 고전적 노빅로프 스펙트럴 시퀀스의 타워와 일치함을 보이기.
• $\tau$를 통한 모티브 구조의 변형을 활용하여 $\tau = 0$ 섬유가 고전적 호모토피 이론과 어떻게 연결되는지 밝히기.

실험 결과

연구 질문

• RQ1 모티브적 안정적 호모토피 카테고리의 특수 섬유 $\tau = 0$는 $\mathrm{BP}_*\mathrm{BP}$-코모듈의 대수적 카테고리와 동치인가?
• RQ2 $\widehat{S^{0,0}}/\tau$에 대한 모티브 아담스 스펙트럴 시퀀스는 고전적 대수적 노빅로프 스펙트럴 시퀀스와 일치하는가?
• RQ3 이 동치는 알려진 범위를 초월하여 고전적 스펙트럼의 안정적 호모토피 군을 계산하는 데 사용될 수 있는가?
• RQ4 $\mathrm{MGL}$-호모로지의 역할은 $\widehat{S^{0,0}}/\tau$ 위에서의 조화 모티브 모듈의 구조를 제어하는 데 어떤가?
• RQ5 $\tau$-보크슈타인 스펙트럴 시퀀스는 $\tau = 0$에서의 모티브 아담스 스펙트럴 시퀀스와 어떻게 관련되는가?

주요 결과

• 유계된 초우주-노빅로프 차수를 가진 $\widehat{S^{0,0}}/\tau$-모듈 스펙트럼의 카테고리는 짝수 차수의 $p$-완비화된 $\mathrm{BP}_*\mathrm{BP}$-코모듈의 유계된 도파르 카테고리와 동치이다.
• $\widehat{S^{0,0}}/\tau$에 대한 모티브 아담스 스펙트럴 시퀀스는 고전적 스펙트럼의 대수적 노빅로프 스펙트럴 시퀀스와 동형이다.
• 이 동형은 최소한 90번째 스템까지 고전적 스펙트럼의 안정적 호모토피 군을 계산할 수 있게 하며, 현재는 더 높은 차원으로의 확장을 진행 중이다.
• 모티브 카테고리의 $t$-구조의 하트는 짝수 차수의 $\mathrm{BP}_*\mathrm{BP}$-코모듈 카테고리와 동치이며, 2016년의 추측을 확인한다.
• 변형 매개변수 $\tau$는 $\tau$-보크슈타인 스펙트럴 시퀀스와 일치하는 스펙트럴 시퀀스를 유도하며, 모티브적 및 고전적 호모토피 이론을 연결한다.
• 논문의 차트들은 $\widehat{S^{0,0}}/\tau$에 대한 모티브 아담스 스펙트럴 시퀀스의 $E_2$, $E_3$, $E_\infty$-페이지를 보여주며, $E_2$-페이지에서 고전적 아담스 스펙트럴 시퀀스와 일치함을 확인한다.