[論文レビュー] On Voevodsky's algebraic K-theory spectrum BGL

Ivan Panin, K. I. Pimenov+1 more|ArXiv.org|Sep 25, 2007

Homotopy and Cohomology in Algebraic Topology被引用数 5

ひとこと要約

本稿は、Voevodskyの$$\mathrm{BGL}$$$-スペクトラが$$\mathrm{Spec}(\mathbb{Z})$$上での代数的$$K$$-理論を表すものとして一意的であることを確立し、モチビック安定ホモトピー圏においてその上に一意的な可換環スペクトラ構造を構成する。著者らは、この環構造が$$\mathrm{BGL}^{2*,*}(X)$$上の自明な乗法的構造と整合することを証明し、モチビックConner-Floyd定理やSnaith型定理への応用を可能にする。

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{Spec}(\mathbb{Z})$$上での代数的$$K$$-理論スペクトラとしてのVoevodskyの$$\mathrm{BGL}$$$-スペクトラの一意性を、正規化仮定の下で確立すること。
• モチビック安定ホモトピー圏において、$$\mathrm{BGL}$$$-スペクトラに可換環スペクトラ構造を与えること。
• この環構造が関手$$X \mapsto \mathrm{BGL}^{2*,*}(X)$$上の自然な乗法的構造と整合することを保証し、モチビックコホモロジー定理への応用を可能にすること。
• $$\mathrm{Spec}(\mathbb{Z})$$からの構造を用いて、任意のノエター的スキーム$$S$$（有限クリュール次元をもつ）に対して、$$\mathrm{BGL}$$$に標準的なモノイダル構造を導くこと。

提案手法

• Voevodskyによる$$\mathrm{BGL}$$$の構成を用い、$$\mathbf{P}^{1}$$-スペクトラとしての$$\mathrm{BGL}$$$を、$$\mathbb{Z} \times \mathrm{Gr}$$$にモチビック弱同値であるとみなす（ここで$$\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)$$$との整合性を保証する。
• $$\mathrm{H}_\bullet(S)$$$におけるThomason-Trobaughの$$K$$-理論表現を用い、$$K^0$$$上のテンソル積を$$\mathrm{BGL}$$$上への積に持ち上げる。
• $$K$$-群のグラスマンニアン上での$$\varprojlim^1$$$群の消滅を用いて、逆極限における同型が成り立つことを示し、構成に不可欠な性質を確立する。
• $$K_0(X)$$$が滑らかでセル構造を持つスキームにおいて$$K_0(S)$$$上自由または射影的であるという事実を用い、乗法的構造の整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 Voevodskyの$$\mathrm{BGL}$$$-スペクトラは、正規化条件の下で、$$\mathrm{Spec}(\mathbb{Z})$$$上での代数的$$K$$-理論スペクトラとして一意的に定まるか？
• RQ2 モチビック安定ホモトピー圏$$\mathrm{SH}(\mathbb{Z})$$$において、$$\mathrm{BGL}$$$に可換環スペクトラ構造を標準的に定義できるか？
• RQ3 同じ正規化仮定の下で、$$\mathrm{BGL}$$$上のこの環構造は一意的か？
• RQ4 $$\mathrm{BGL}^{2*,*}(X)$$$に誘導される積が、滑らかなスキーム$$X$$$に対して$$K^0(X)$$$上の自然な乗法的構造を尊重するか？
• RQ5 この構造を任意のノエター的スキーム$$S$$$（有限クリュール次元をもつ）に引き戻し、$$\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}$$$に標準的なモノイダル構造が誘導される。
• $$K$$-群のグラスマンニアン上での$$\varprojlim^1$$$群の消滅により、逆極限における同型が成り立つことが保証され、環構造の構成が可能になる。
• $$\mathrm{BGL}$$$上の環構造はモチビックConner-Floyd定理と整合し、Snaithの定理のモチビック版の証明に用いられている。