[논문 리뷰] $\eta$-periodic motivic stable homotopy theory over fields

Tom Bachmann, Michael J. Hopkins|arXiv (Cornell University)|2020. 05. 14.

Homotopy and Cohomology in Algebraic Topology참고 문헌 55인용 수 10

한 줄 요약

이 논문은 특성 $\neq 2$인 체 위에서 $\eta$-주기적이고 2-국소적인 모티빅 스펙트럼의 2항분해를 연결된 2-국소 윌트 $K$-이론 스펙트럼의 이동을 통해 구축한다. 핵심 결과는 $ \mathbbm{1}[\eta^{-1}]_{(2)} \to \mathrm{kw}_{(2)} \xrightarrow{\varphi} \Sigma^4\mathrm{kw}_{(2)}$ 형태의 필라 시퀀스이며, 이는 고전적 $K(1)$-국소화 이론과 유사하며, $\eta$-주기적 모티빅 안정 스펙트럼과 대수기하 코버드르 그룹의 계산을 가능하게 한다.

ABSTRACT

Over any field of characteristic not 2, we establish a 2-term resolution of the $\\eta$-periodic, 2-local motivic sphere spectrum by shifts of the connective 2-local Witt K-theory spectrum. This is curiously similar to the resolution of the K(1)-local sphere in classical stable homotopy theory. As applications we determine the $\\eta$-periodized motivic stable stems and the $\\eta$-periodized algebraic symplectic and SL-cobordism groups. Along the way we construct Adams operations on the motivic spectrum representing Hermitian K-theory and establish new completeness results for certain motivic spectra over fields of finite virtual 2-cohomological dimension. In an appendix, we supply a new proof of the homotopy fixed point theorem for the Hermitian K-theory of fields.

연구 동기 및 목표

• 특성 $\neq 2$인 체 위에서 $\eta$-주기적이고 2-국소적인 모티빅 안정 호모토피 범주 구조를 이해하기 위해.
• 고전적 $K(1)$-국소 이론과 유사하게 연결된 윌트 $K$-이론을 통해 $\eta$-주기적 구면 스펙트럼을 해소하기 위해.
• $\eta$-주기적 모티빅 안정 스펙트럼과 대수기하 심플렉틱 및 $\mathrm{SL}$-코버드르 그룹을 계산하기 위해.
• 모티빅 허미티안 $K$-이론 스펙트럼 위에 애드민스 작용을 구성하고, 유한 가상 2-코호몰로지 차원을 가진 체 위의 모티빅 스펙트럼에 대한 완전성 결과를 증명하기 위해.
• 슬라이스 이론과 $\eta$-주기성을 활용하여 모티빅 허미티안 $K$-이론에 대한 호모토피 고정점 정리를 이전의 스펙트럼 시퀀스 계산에 의존하지 않고 재증명하기 위해.

제안 방법

• 연결된 2-국소 윌트 $K$-이론 스펙트럼 $\mathrm{kw}_{(2)}$를 사용하여 $\eta$-주기적이고 2-국소적인 구면 스펙트럼을 2항분해하는 필라 시퀀스의 사용.
• 모티빅 Snaith 정리와 호모토피 고정점 기법을 적용하여 $\mathrm{KO}$, $\mathrm{KGL}$, $\mathrm{KGL}^{hC_2}$ 간의 관계를 규명.
• 반복적인 $\eta$ 승수에 의한 코일리미트를 통한 $\eta$-주기화 구성으로 모티빅 호프 매핑의 역을 구하기.
• 모티빅 쌍대 스티너드 대수와 슬라이스 스펙트럼 시퀀스 기법을 활용하여 $\mathrm{HW}$-호몰로지의 $\mathrm{kw}$ 계산.
• $\eta$-주기성과 $\beta$-주기성을 활용하여 계산을 $\mathrm{KO}$의 슬라이스로 감소시키며, [ARØ17]의 결과를 활용하여 순환성을 피하기.
• 호모토피 고정점 설정에서 $\eta$-완전성과 극한 추론을 통해 $\mathrm{KO}$ 및 관련 스펙트럼의 완전성 확립.

실험 결과

연구 질문

• RQ1 특성 $\neq 2$인 체 위에서 $\eta$-주기적이고 2-국소적인 모티빅 구면 스펙트럼은 연결된 윌트 $K$-이론으로 어떻게 해소될 수 있는가?
• RQ2 $\mathrm{MSp}$ 및 $\mathrm{MSL}$에 대한 $\eta$-주기적 모티빅 안정 스펙트럼과 대수기하 코버드르 그룹의 구조는 어떠한가?
• RQ3 모티빅 허미티안 $K$-이론 위의 애드민스 작용은 모티빅 호프 매핑과 $\eta$-주기성과 어떻게 상호작용하는가?
• RQ4 유한 가상 2-코호몰로지 차원을 가진 체 위의 모티빅 스펙트럼에 대해 어떤 완전성 성질이 성립하는가?
• RQ5 모티빅 허미티안 $K$-이론에 대한 호모토피 고정점 정리는 이전의 스펙트럼 시퀀스 계산에 의존하지 않고 재증명될 수 있는가?

주요 결과

• 이 논문은 특성 $\neq 2$인 임의의 체 $k$에 대해 $\mathcal{SH}(k)$ 내에서 필라 시퀀스 $\mathbbm{1}[\eta^{-1}]_{(2)} \to \mathrm{kw}_{(2)} \xrightarrow{\varphi} \Sigma^4\mathrm{kw}_{(2)}$를 수립하여, 연결된 윌트 $K$-이론을 통해 $\eta$-주기적 구면 스펙트럼을 해소한다.
• $\eta$-주기적 모티빅 안정 스펙트럼 $\pi_{*}(\mathbbm{1}[\eta^{-1}])_{(2)}$는 이 해소를 통해 계산되며, 고전적 $K(1)$-국소 이론과 유사한 주기적 구조를 드러낸다.
• $\mathrm{MSp}[\eta^{-1}]$ 및 $\mathrm{MSL}[\eta^{-1}]$의 $\eta$-주기적 대수기하 심플렉틱 코버드르 그룹 $\pi_{*}(\mathrm{MSp}[\eta^{-1}])_{(2)}$와 $\pi_{*}(\mathrm{MSL}[\eta^{-1}])_{(2)}$는 이 해소와 $\mathrm{HW}$-호몰로지 계산을 통해 완전히 규명된다.
• 모티빅 스펙트럼 $\mathrm{KO}$ 위에 애드민스 작용이 구성되었으며, 버트 요소와의 호환성 및 $\eta$-주기성과의 일관성이 입증되었다.
• 슬라이스 이론과 $\eta$-완전성을 활용하여 $\mathrm{KO}$에 대한 모티빅 호모토피 고정점 정리를 재증명하였으며, [ARØ17]의 독립적인 슬라이스 계산에 기반하여 순환성을 피했다.
• 유한 가상 2-코호몰로지 차원을 가진 체 위에서 $\mathrm{KO}$ 및 관련 스펙트럼의 완전성 결과는 $\eta$-완전성과 호모토피 고정점 설정에서의 극한 추론을 통해 확립되었다.