[论文解读] Noncommutative Motives II: K-Theory and Noncommutative Motives

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

advanced mathematical theories被引用 3

一句话总结

本文通过证明dg范畴的非连通K-理论是非连通K-理论的Nisnevich层化，且其$\mathbb{A}^1$-局部化在非交换动机稳定范畴中成为一个单位，建立了非交换动机与代数K-理论之间的基础联系。这证实了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-理论在经过$\mathbb{A}^1$-局部化后，成为非交换动机稳定范畴中的单位。
• 验证Kontsevich的猜想：K-理论在非交换动机范畴中代表了映射空间。
• 表明从交换到非交换动机的动机函子通过同伦不变K-理论分解，且当$k$允许奇点解析时，该分解是全忠实的。

提出的方法

• 使用非交换动机的$(\infty,1)$-范畴$\mathcal{S}\mathcal{H}_{nc}(k)$，其构造为dg范畴上谱的Nisnevich层的$\mathbb{A}^1$-局部化。
• 应用$\mathcal{S}\mathcal{H}_{nc}(k)$的普遍性质，证明非连通K-理论是非连通K-理论的Nisnevich层化。
• 利用[4]中的最新结果，证明非连通K-理论的$\mathbb{A}^1$-局部化在$\mathcal{S}\mathcal{H}_{nc}(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-理论模的范畴。
• 通过一个保持小余极限的单一场函子的Zig-zag结构，将作者的方法与Cisinski-Tabuada的方法进行比较，表明Tabuada构造的Nisnevich-$\mathbb{A}^1$-局部化等价于作者的$\mathcal{S}\mathcal{H}_{nc}(k)$。

实验结果

研究问题

• RQ1 在非交换设定中，dg范畴的非连通K-理论是否是非连通K-理论的Nisnevich层化？
• RQ2 非连通K-理论的$\mathbb{A}^1$-局部化是否在$\mathcal{S}\mathcal{H}_{nc}(k)$中成为单位？
• RQ3 动机函子$\mathcal{L}^\otimes$是否通过同伦不变K-理论模的范畴分解？
• RQ4 当$k$允许奇点解析时，该分解是否全忠实？
• RQ5 在普遍性质方面，作者的非交换动机框架与Cisinski-Tabuada方法相比如何？

主要发现

• 非连通K-理论的dg范畴被典范地识别为非连通K-理论的Nisnevich层化，解决了非交换K-理论中的一个关键结构性问题。
• 非连通K-理论的$\mathbb{A}^1$-局部化是$\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$是一个允许奇点解析的域时，该分解是全忠实的，表明在传递到非交换世界时，动机层面未丢失任何信息。