[論文レビュー] Motivic strict ring models for K-theory

Oliver Röndigs, Markus Spitzweck+1 more|ArXiv.org|Jul 23, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 8

ひとこと要約

本稿は、noether的スキームで有限次元のKrull次元をもつものについて、代数的K理論をモデル化する厳密な可換環対象を、モチビック安定ホモトピー理論において構成する。ボット類をファイブレーション的置換とモチビック対称スペクトラおよびモチビック関手における明示的な構造写像を用いて逆元化することで、厳密な乗法的構造が達成され、ホモトピー論的レベルでの環構造の曖昧さが解消され、K理論の加群の直接分類が可能になる。

ABSTRACT

It is shown that the K-theory of every noetherian base scheme of finite Krull dimension is represented by a strict ring object in the setting of motivic stable homotopy theory. The adjective `strict' is used to distinguish between the type of ring structure we construct and one which is valid only up to homotopy. Both the categories of motivic functors and motivic symmetric spectra furnish convenient frameworks for constructing the ring models. Analogous topological results follow by running the same type of arguments as in the motivic setting.

研究の動機と目的

• ホモトピー論的レベルでの曖昧さを回避するように、モチビックホモトピー理論における代数的K理論をモデル化する厳密な可換環対象を構成すること。
• ホモトピーに整合する構造ではなく、厳密な環構造を用いることで、K理論上の加群を分類するための枠組みを提供すること。
• 厳密モデルにおける乗法的構造が、モチビック安定ホモトピー圏における標準的K理論スペクトラと一致することを確立すること。
• 類似の手法を用いて、トポロジカルK理論へと拡張し、トポロジカルな設定においても厳密な環モデルを導出すること。

提案手法

• 乗法的群スキーム G_m の分類空間のボット逆元化されたモチビックスuspensionスペクトラに、厳密な可換モノイド構造を構成する。
• 点付きモチビック空間に対するラックス対称モノイダルファイブレーション的置換関手を用い、ボット類をホモトピー類ではなく、実際に写像として実現する。
• レベルごとのファイブレーション的置換と安定化を用い、ボットタワーからの対角スペクトラ構成により、厳密な環モデル KGL^β を定義する。
• モチビック対称スペクトラとモチビック関手の間の厳密な対称モノイダルクィルン同値を活用し、モデルを関手圏へと輸送する。
• 結果として得られるモデル KGL^β が正しいホモトピー型を持っていることを確認するため、モチビック安定ホモトピー圏におけるボット逆元化スuspensionスペクトラと同型であることを示す。
• KGL^β における乗法的構造が、モチビック安定ホモトピー圏における標準的KGLスペクトラと一致することを証明する。この際、K理論に対して非自明な幻影写像が存在しないことを利用している。

実験結果

リサーチクエスチョン

• RQ1 モチビックホモトピー理論において、代数的K理論に対してホモトピー論的レベルでの曖昧さを回避する厳密な可換環構造を構成できるか？
• RQ2 仮想バンドル類として定義されるボット類 β が、モチビック不安定圏において実際に写像として実現可能であり、厳密な逆元化が可能か？
• RQ3 厳密モデル KGL^β における乗法的構造は、モチビック安定ホモトピー圏における標準的K理論スペクトラ KGL と同値か？
• RQ4 同様の構成をトポロジカルな設定へと適応し、例えばユニタリK理論に対して厳密な環モデルを導出できるか？
• RQ5 ファイブレーション的置換と対称モノイダル構造は、モチビック環スペクトラにおける厳密性を達成するために果たす役割は何か？

主な発見

• 本稿は、モチビック対称スペクトラにおいて代数的K理論を表し、標準的KGLスペクトラと同一のホモトピー型を持つ厳密な可換環対象 KGL^β を構成する。
• 厳密モデル KGL^β は、モチビック安定ホモトピー圏におけるボット逆元化スuspensionスペクトラ Σ^∞(B G_m)_+ [β^{-1}] と同型である。
• KGL^β における乗法的構造は、モチビック安定ホモトピー圏におけるKGLと一致するが、これは厳密に定義されているにもかかわらず成り立つ。
• ボット類を実際に写像として実現するため、ラックス対称モノイダルファイブレーション的置換関手に依存しており、これにより厳密な逆元化が可能になる。
• 厳密な対称モノイダルクィルン同値を介して、K理論の厳密なモチビック関手モデルへとKGL^β が持ち上がる。
• 類似の構成により、ユニタリK理論を含むトポロジカルK理論に対しても、同様の方法を用いて厳密な可換環スペクトラが得られる。これは、π_2(Σ^∞ B C^×) におけるボット類に同じ手法を適用することで達成される。