[論文レビュー] Noncommutative Motives II: K-Theory and Noncommutative Motives

Marco Robalo|arXiv (Cornell University)|Jun 17, 2013

advanced mathematical theories被引用数 3

ひとこと要約

本稿は、非可換モチーフと代数的K理論の間の基礎的関係を確立し、dgカテゴリの非連結K理論が、連結K理論のNisnevich・シーヴィングであり、その$\AA^1$-局所化が非可換モチーフ的安定圏における単位元であることを証明する。これは、Kontsevichの非可換モチーフにおけるK理論が正しいマッピング空間を表すという予想を裏付けるものであり、特に関数体$k$が特異点の解消を許すとき、モチーフ的関手がホモトピー不変K理論を通じて自然に因数分解され、すべての情報を保持することを示す。

ABSTRACT

We continue the work initiated in arXiv:1206.3645, where we introduced a new stable symmetric monoidal $(\infty,1)$-category $SH_{nc}$ encoding a motivic stable homotopy theory for the noncommutative spaces of Kontsevich and obtained a canonical monoidal colimit-preserving functor $SH o SH_{nc}$ relating this new theory to the $(\infty,1)$-category encoding the stable motivic $\mathbb{A}^1$ theory of Morel-Voevodsky. For a scheme $X$ this map recovers the dg-derived category of perfect complexes $L_{pe}(X)$. In this sequel we address the study of the different flavours of algebraic $K$-theory of dg-categories. As in the commutative case, these can be understood as spectral valued $\infty$-presheaves over the category of noncommutative smooth spaces and therefore provide objects in $SH_{nc}$ once properly localized. Our first main result is the description of non-connective $K$-theory of dg-categories introduced by Schlichting as the noncommutative Nisnevich sheafification of connective $K$-theory. In particular it follows that its further $\mathbb{A}^1$-localization is an object in $SH_{nc}$. As a corollary of the recent result in A. Blanc Phd thesis, we prove that this object is a unit for the monoidal structure. Using this, we obtain a precise proof for a conjecture of Kontsevich claiming that $K$-theory gives the correct mapping spaces in noncommutative motives. As a second corollary we obtain a factorization of our comparison map $SH o SH_{nc}$ through $Mod_{KH}(SH)$ - the $(\infty,1)$-category of modules over the commutative algebra object $KH$ representing homotopy invariant algebraic $K$-theory of schemes in $SH$. If $k$ is a field admitting resolutions of singularities, this factorization is fully faithful, so that, at the motivic level, no information (below $K$-theory) is lost by passing to the noncommutative world.

研究の動機と目的

• dgカテゴリにおける代数的K理論のさまざまな形態が非可換モチーフの文脈でどのように理解されるかを明らかにすること。
• 非可換設定において、連結K理論と非連結K理論の明確な関係を確立すること。
• 非連結K理論が$\AA^1$-局所化を経て、非可換モチーフ的安定圏における単位元となることを証明すること。
• K理論が非可換モチーフの圏におけるマッピング空間を表すというKontsevichの予想を検証すること。
• 可換モチーフから非可換モチーフへのモチーフ的関手が、ホモトピー不変K理論を通じて因数分解されることを示し、$k$が特異点の解消を許すとき、忠実性が保たれることを示すこと。

提案手法

• 非可換モチーフの$(\infty,1)$-圏$\mathcal{S}\mathcal{H}_{nc}(k)$を、dgカテゴリ上のスペクトルのNisnevich・シーヴィングの$\AA^1$-局所化として構成する。
• 非可換モチーフの普遍性を用いて、非連結K理論が連結K理論のNisnevich・シーヴィングであることを示す。
• 最近の[4]の結果を活用し、非連結K理論の$\AA^1$-局所化が$\mathcal{S}\mathcal{H}_{nc}(k)$におけるモノイダル構造の単位元であることを証明する。
• モチーフ的関手$\mathcal{L}^\otimes: \mathcal{S}\mathcal{H}(k)^\otimes \to \mathcal{S}\mathcal{H}_{nc}(k)^\otimes$が、ホモトピー不変K理論$\mathcal{K}H$上のモジュールの圏$Mod_{\mathcal{K}H}(\mathcal{S}\mathcal{H}(k))$を通じて自然に因数分解されることを確立する。
• コロイド-タバウダのアプローチと比較し、列挙可能なモノイダル関手のズイ・ザグを用いて、タバウダの構成におけるNisnevich-$\mathbb{A}^1$-局所化が著者らの$\mathcal{S}\mathcal{H}_{nc}(k)$と同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 dgカテゴリの非連結K理論は、非可換設定において、連結K理論のNisnevich・シーヴィングであるか？
• RQ2 $\mathbb{A}^1$-局所化された非連結K理論は、$\mathcal{S}\mathcal{H}_{nc}(k)$における単位元となるか？
• RQ3 モチーフ的関手$\mathcal{L}^\otimes$は、ホモトピー不変K理論上のモジュールの圏を通じて因数分解されるか？
• RQ4 $k$が特異点の解消を許すとき、この因数分解は完全忠実か？
• RQ5 著者らの非可換モチーフ的枠組みは、Cisinski-Tabuadaのアプローチと、普遍性の観点からどのように比較できるか？

主な発見

• dgカテゴリの非連結K理論は、自然に連結K理論のNisnevich・シーヴィングとして同定され、非可換K理論における重要な構造的問題を解決する。
• $\mathbb{A}^1$-局所化された非連結K理論は、$\mathcal{S}\mathcal{H}_{nc}(k)$におけるモノイダル構造の単位元である。これは、非可換モチーフの圏において双対化対象として機能することを示唆する。
• この単位性は、Kontsevichの元々の予想、すなわちK理論が非可換モチーフの圏における正しいマッピング空間を与えるという予想を明確に証明する。
• モチーフ的関手$\mathcal{L}^\otimes: \mathcal{S}\mathcal{H}(k)^\otimes \to \mathcal{S}\mathcal{H}_{nc}(k)^\otimes$は、自然に$Mod_{\mathcal{K}H}(\mathcal{S}\mathcal{H}(k))$、すなわちホモトピー不変K理論上のモジュールの圏を通じて因数分解される。
• $k$が特異点の解消を許すとき、この因数分解は完全忠実であり、非可換世界に移行する際、モチーフ的レベルで情報が失われないことを示す。