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

Tom Bachmann|arXiv (Cornell University)|2020. 06. 03.

Algebraic structures and combinatorial models참고 문헌 26인용 수 4

한 줄 요약

이 논문은 2가 역소수인 혼합 특성수 Dedekind 스킴 위에서 $η$-주기적 모티빅 스펙트럼 이론을 수립하며, $ω$-K-이론과 윌트 코homology와 같은 핵심 모티빅 스펙트럼을 이러한 기저로 확장한다. 프레임 전이와 $η$-국소화를 활용하여 기저 전환 불변성을 증명하고, [BH20]의 기본 섬세한 시퀀스를 임의의 Dedekind 스킴으로까지 확장함으로써 $η$-주기적 대수적 코버드 이론의 계산을 가능하게 한다.

ABSTRACT

We construct well-behaved extensions of the motivic spectra representing generalized motivic cohomology and connective Balmer--Witt K-theory (among others) to mixed characteristic Dedekind schemes on which 2 is invertible. As a consequence we lift the fundamental fiber sequence of $\\eta$-periodic motivic stable homotopy theory established in [arxiv:2005.06778] from fields to arbitrary base schemes, and use this to determine (among other things) the $\\eta$-periodized algebraic symplectic and SL-cobordism groups of mixed characteristic Dedekind schemes containing 1/2.

연구 동기 및 목표

• 필드에서부터 혼합 특성수 Dedekind 스킴으로 $η$-주기적 모티빅 스펙트럼—예를 들어 $ω$-K-이론, 윌트 코homology, 그리고 고차 콜-윌트 군을 확장한다.
• 2가 역소수인 Dedekind 환에서 이러한 스펙트럼의 기저 전환 불변성을 확립하여 산술기하학에서 정수론적 추론을 가능하게 한다.
• BH20에서의 기본 $η$-주기적 섬세한 시퀀스를 임의의 기저 스킴으로까지 확장하여 대수적 코버드 이론과 $SL$-코버드 이론의 결과를 확장한다.
• 프레임 전이와 층 이론적 기법을 통해 $ω$-K-이론과 같은 스펙트럼의 명시적이고 계산에 유용한 기술을 제공한다.

제안 방법

• 모티빅 스펙트럼과 프레임 스펙트럼 사이의 동치($\mathcal{SH}^{S^1\mathrm{fr}}(D) \simeq \mathcal{SH}^{\mathrm{fr}}(D)$)를 이용하여 $η$-국소화를 단순화하고 $\mathbb{P}^1$-안정화를 피한다.
• 프레임 전이와 $\mathcal{SH}^{S^1\mathrm{fr}}(D)$ 내의 호프 사상 $\eta$를 적용하여 $η$-주기적 $S^1$-스펙트럼을 정의하고 기존의 스펙트럼들과 연관시킨다.
• 이산 평가환론 위에서 윌트 링의 게르스텐 추측(출처: [Gei04])을 적용하여 윌트 층 $\underline{W}$의 엄격한 $\mathbb{A}^1$-불변성을 증명한다.
• 잔여체로의 당김을 통한 기저 전환 검출(출처: [BH21, Prop. B.3])을 활용하여 $\mathcal{SH}(D)$ 내의 동치와 연결성 조건을 검증한다.
• 스펙트럼의 기저 전환에 대한 안정성($\mathrm{H}\mathbb{Z}$의 안정성, Spitzweck)과 잭슨슨의 윌트 링 결과를 활용하여 스펙트럼을 구성하고 비교한다.
• 2와 $\mathbb{Z}[1/2]$에서의 실현과 국소화를 적용하여 문제를 $\mathbb{R}$ 및 $\mathbb{Q}$에서의 알려진 사례로 환원한다.

실험 결과

연구 질문

• RQ1 BH20에서의 $η$-주기적 모티빅 안정 호모토피 이론 섬세한 시퀀스는 1/2가 존재하는 임의의 Dedekind 스킴으로부터 필드로의 확장을 가능하게 하는가?
• RQ2 2가 역소수인 Dedekind 환에서 $\mathrm{kw}$, $\mathrm{HW}$, $\mathrm{H}_{W}\mathbb{Z}$, $\underline{K}^W$ 스펙트럼은 기저 전환에 대해 안정적인가?
• RQ3 혼합 특성수 Dedekind 스킴 위에서 $η$-주기적 대수적 $\mathrm{SL}$-코버드 이론과 심플렉틱 코버드 이론의 구조는 어떠한가?
• RQ4 $η$-주기적 스펙트럼는 이러한 기저에서 프레임 전이와 층 이론적 자료를 통해 명시적으로 기술될 수 있는가?

주요 결과

• 임의의 1/2가 존재하는 Dedekind 스킴 $D$에 대해 $\mathcal{SH}(D)$ 내에서 기본 $η$-주기적 섬세한 시퀀스 $\mathbbm{1}[\eta^{-1}]_{(2)} \to \mathrm{kw}_{(2)} \to \Sigma^4 \mathrm{kw}_{(2)}$ 가 성립하며, 이는 [BH20]의 결과를 일반 기저로 확장한다.
• $\underline{K}^W$ 스펙트럼의 호모토피 층은 $\underline{\pi}_0(\underline{K}^W)_* = \underline{I}^*$ 이고 $i \neq 0$일 때 $\underline{\pi}_i(\underline{K}^W)_* = 0$ 이며, 이는 $\underline{W}$의 엄격한 $\mathbb{A}^1$-불변성을 확인한다.
• 모든 스펙트럼—$\mathrm{kw}$, $\mathrm{HW}$, $\mathrm{H}_{W}\mathbb{Z}$, $\underline{K}^W$, $\mathrm{H}\tilde{\mathbb{Z}}$ 포함—은 1/2가 존재하는 임의의 Dedekind 스킴 $S$에 대해 $\mathcal{SH}(S)$ 내에서 셀룰라하다. 이는 기저 전환과 $\mathrm{MSp}$의 셀룰라성에 의해 증명된다.
• $\mathrm{kw}^{*}_{(2)}\mathrm{kw}$-대수는 $\varphi\beta = 9\beta\varphi + 8$ 를 만족하는 비가환 구조를 가지며, 이는 $\mathbb{Q}$ 위에서 알려진 경우의 일반화이다.
• $\mathrm{HW} \wedge \mathrm{HW}_{(2)}$ 는 $\bigvee_{n \geq 0} \Sigma^{4n} \mathrm{HW}/8n$ 으로 식별되며, 생성자들은 $x_m x_n = \binom{m+n}{n} x_{m+n}$ 을 만족한다.
• $η$-주기적 $\mathrm{MSL}$-스펙트럼은 $\mathrm{MSp}/(y_1,y_3,\dots) \simeq \mathrm{MSL}$ 과 $\mathrm{MSL}/(y_4,y_6,\dots) \simeq \mathrm{kw}$ 를 만족하며, 후자는 필드로의 당김 후에 동치가 된다.