[논문 리뷰] On Voevodsky's algebraic K-theory spectrum BGL

Ivan Panin, K. I. Pimenov외 1명|ArXiv.org|2007. 09. 25.

Homotopy and Cohomology in Algebraic Topology인용 수 5

한 줄 요약

이 논문은 스펙트럼 $\mathrm{Spec}(\mathbb{Z})$ 위에서 대수적 $K$-이론을 나타내는 보에보츠키의 $$\mathrm{BGL}$ $$$-스펙트럼의 유일성을 확립하고, 모티빅 스테이블 호모토피 범주에서 이에 대해 유일한 가환 링 스펙트럼 구조를 구축한다. 저자들은 이 링 구조가 $\mathrm{BGL}^{2*,*}(X)$ 위의 천연 승법 구조와 호환됨을 증명하여, 모티빅 콘너-플로이드 정리 및 스나이프 유형 정리에의 응용을 가능하게 한다.

ABSTRACT

Under a certain normalization assumption we prove that the $\Pro^1$-spectrum $\mathrm{BGL}$ of Voevodsky which represents algebraic $K$-theory is unique over $\Spec(\mathbb{Z})$. Following an idea of Voevodsky, we equip the $\Pro^1$-spectrum $\mathrm{BGL}$ with the structure of a commutative $\Pro^1$-ring spectrum in the motivic stable homotopy category. Furthermore, we prove that under a certain normalization assumption this ring structure is unique over $\Spec(\mathbb{Z})$. For an arbitrary Noetherian scheme $S$ of finite Krull dimension we pull this structure back to obtain a distinguished monoidal structure on $\mathrm{BGL}$. This monoidal structure is relevant for our proof of the motivic Conner-Floyd theorem. It has also been used by Gepner and Snaith to obtain a motivic version of Snaith's theorem.

연구 동기 및 목표

• 보에보츠키의 $$\mathrm{BGL}$ $$$-스펙트럼이 $\mathrm{Spec}(\mathbb{Z})$ 위에서 대수적 $K$-이론 스펙트럼으로서 정규화 조건 하에 유일하게 결정됨을 확립하는 것.
• 모티빅 스테이블 호모토피 범주에서 $$\mathrm{BGL}$ $$$-스펙트럼에 가환 링 스펙트럼 구조를 부여하는 것.
• 이 링 구조가 함자 $X \mapsto \mathrm{BGL}^{2*,*}(X)$ 위의 천연 승법 구조와 호환되도록 보장하여, 모티빅 코homology 정리에의 응용을 가능하게 하는 것.
• 모든 노에테리안 스킴 $S$에 대해 유한 크룰 차원을 가지며, $\mathrm{Spec}(\mathbb{Z})$ 위의 구조로부터 유도된 $$\mathrm{BGL}$ $$$-스펙트럼에 대한 표준적인 모노이드 구조를 제공하는 것.

제안 방법

• 보에보츠키의 $$\mathrm{BGL}$ $$$-스펙트럼을 $\mathbb{Z} \times \mathrm{Gr}$ 에 모티빅 약한 호모토피 동치를 갖는 $$\mathbf{P}^{1}$-스펙트럼으로서의 구성에 기반한다. 여기서 $\mathrm{Gr}$ 은 그라스만이안의 합집합이다.
• 모티빅 스테이블 호모토피 범주 $\mathrm{SH}(S)$ 위의 대칭 모노이드 구조를 이용하여 곱 $\mu_{\mathrm{BGL}}: \mathrm{BGL} \wedge \mathrm{BGL} \to \mathrm{BGL}$ 을 정의한다.
• 모티빅 호모토피 범주의 보편 성질을 통해 링 구조를 구성하여, $K^0(X) \cong \mathrm{BGL}^{2i,i}(X)$ 와의 호환성을 확보한다.
• Thomason-Trobaugh의 $K$-이론 표현을 $\mathrm{H}_\bullet(S)$ 에 적용하여 $K^0$ 위의 텐서곱을 $\mathrm{BGL}$ 위의 곱으로 끌어올린다.
• $\mathrm{Grassmannian}$의 $K$-군들 위에서 $\varprojlim^1$-군들의 소멸을 이용하여, 역극한에서의 동형사상이 성립함을 보장하여, 이는 구조의 구성에 핵심적이다.
• $K_0(X)$ 가 매끄럽고 세포 구조를 가진 스킴에 대해 $K_0(S)$ 위에서 자유 또는 프로젝티브임을 이용하여, 승법 구조의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 보에보츠키의 $$\mathrm{BGL}$ $$$-스펙트럼이 정규화 조건 하에 $\mathrm{Spec}(\mathbb{Z})$ 위에서 대수적 $K$-이론 스펙트럼으로서 유일하게 결정되는가?
• RQ2 모티빅 스테이블 호모토피 범주에서 $\mathrm{Spec}(\mathbb{Z})$ 위에서 $$\mathrm{BGL}$ $$$-스펙트럼에 대해 표준적인 가환 링 스펙트럼 구조를 정의할 수 있는가?
• RQ3 동일한 정규화 조건 하에 이 링 구조가 유일한가?
• RQ4 $\mathrm{BGL}^{2*,*}(X)$ 위에 유도된 곱이 매끄러운 스킴 $X$ 에서 $K^0(X)$ 위의 자연스러운 승법 구조를 존중하는가?
• RQ5 이 구조는 임의의 노에테리안 스킴 $S$ 에 대해 유한 크룰 차원을 가지며, $\mathrm{Spec}(\mathbb{Z})$ 에서의 구조로부터 유도된 $$\mathrm{BGL}$ $$$-스펙트럼에 대해 표준적인 모노이드 구조를 유도할 수 있는가?

주요 결과

• $$\mathrm{BGL}$ $$$-스펙트럼은 정규화 조건 하에 $\mathrm{Spec}(\mathbb{Z})$ 위에서 대수적 $K$-이론 스펙트럼으로서 유일하게 결정된다.
• $\mathrm{SH}(\mathbb{Z})$ 에서 $$\mathrm{BGL}$ $$$-스펙트럼에 대해 유일한 가환 링 스펙트럼 구조가 존재하며, $\mathrm{BGL}^{2*,*}(X)$ 위의 천연 승법 구조와 호환된다.
• $\mu_{\mathrm{BGL}} \in \mathrm{Hom}_{\mathrm{SH}(\mathbb{Z})}(\mathrm{BGL} \wedge \mathrm{BGL}, \mathrm{BGL})$ 는 $K^0(X)$ 위의 텐서곱과의 호환성에 의해 유일하게 특징지어진다.
• 이 구성은 모든 노에테리안 스킴 $S$ 에 대해 유한 크룰 차원을 가지며, $$\mathrm{BGL}$ $$$-스펙트럼에 대해 표준적인 모노이드 구조를 유도한다.
• $\mathrm{Grassmannian}$의 $K$-군들 위에서 $\varprojlim^1$-군들의 소멸은 역극한 동형사상이 성립함을 보장하여, 링 구조의 구성에 기여한다.
• $$\mathrm{BGL}$ $$$-스펙트럼의 링 구조는 모티빅 콘너-플로이드 정리와 호환되며, 스나이프의 정리의 모티빅 형태를 증명하는 데 사용되었다.