[论文解读] Noncommutative Motives I: A Universal Characterization of the Motivic Stable Homotopy Theory of Schemes

Marco Robalo|arXiv (Cornell University)|Jun 16, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 49被引用 16

一句话总结

本文通过高阶范畴理论与非交换动机理论，建立了对概形的动机稳定同伦理论的普遍表征。通过将对称谱构造推广至对称张量 $(∞,1)$-范畴，本文提供了一个从经典动机同伦理论到新的非交换动机理论的典范张量函子，从而能够通过普遍性质与下降条件，系统地比较交换与非交换代数几何。

ABSTRACT

Let $\V$ be a symmetric monoidal model category and let $X$ be an object in $\V$. From this we can construct a new symmetric monoidal model category $Sp^Σ(\V,X)$ of symmetric spectra objects in $\V$ with respect to $X$, together with a left Quillen monoidal map $\V o Sp^Σ(\V,X)$ sending $X$ to an invertible object. In this paper we use the recent developments in the subject of Higher Algebra to understand the nature of this construction. Every symmetric monoidal model category has an underlying symmetric monoidal $(\infty,1)$-category and the first notion should be understood as a mere "presentation" of the second. Our main result is the characterization of the underlying symmetric monoidal $\infty$-category of $Sp^Σ(\V,X)$, by means of a universal property inside the world of symmetric monoidal $(\infty,1)$-categories. In the process we also describe the link between the construction of ordinary spectra and the one of symmetric spectra. As a corollary, we obtain a precise universal characterization for the motivic stable homotopy theory of schemes with its symmetric monoidal structure. This characterization trivializes the problem of finding motivic monoidal realizations and opens the way to compare the motivic theory of schemes with other motivic theories. As an application we provide a new approach to the theory of noncommutative motives by constructing a stable motivic homotopy theory for the noncommutative spaces of Kontsevich. For that we introduce an analogue for the Nisnevich topology in the noncommutative setting. Our universal property for the classical theory for schemes provides a canonical monoidal map towards these new noncommutative motives and allows us to compare the two theories.

研究动机与目标

• 在对称张量 $(∞,1)$-范畴的框架下，提供概形的动机稳定同伦理论的普遍表征。
• 通过高阶代数与dg-范畴，将经典对称谱构造推广至非交换设定。
• 为非交换空间引入 $ΐ^1$-同伦不变性与非交换尼兹涅维奇拓扑的非交换类比。
• 建立从经典动机同伦理论到非交换动机同伦理论的典范张量函子。
• 通过普遍性质，为比较交换与非交换代数几何中的动机不变量奠定基础。

提出的方法

• 使用高阶范畴理论，通过 $∞$-范畴稳定化过程，将对称张量模型范畴提升为对称张量 $(∞,1)$-范畴。
• 在对称张量 $(∞,1)$-范畴中，以可逆对象 $X$ 为基准，构造对称谱范畴 $Sp^{Σ}(Σ, X)$，作为其普遍稳定化。
• 应用稳定化的普遍性质，将概形的动机稳定同伦理论表征为：在对称张量 $(∞,1)$-范畴中，使塔特对象成为可逆对象的普遍范畴。
• 通过dg-范畴定义非交换光滑空间，并利用dg-范畴的尼兹涅维奇正方形，为其配备非交换尼兹涅维奇拓扑。
• 在预层范畴 $Fun(Ν cS(k)^{op}, ˇ Sp)$ 上，对 $L_{pe}(ΐ^1)$-不变性与非交换尼兹涅维奇下降进行局部化，得到非交换动机稳定同伦范畴。
• 通过局部化与稳定化的普遍性质，建立所得局部化预层范畴与非交换动机稳定同伦范畴 $σττ_{nc}(k)^{⊗}$ 之间的典范张量等价。

实验结果

研究问题

• RQ1 在对称张量 $(∞,1)$-范畴的语境中，什么普遍性质表征了概形的动机稳定同伦理论？
• RQ2 如何通过高阶代数与dg-范畴，将对称谱的构造推广至非交换空间？
• RQ3 尼兹涅维奇拓扑的非交换类比是什么？它如何在非交换动机同伦理论中支持下降？
• RQ4 经典概形动机稳定同伦理论如何通过张量函子映射到新的非交换动机理论？
• RQ5 非交换动机理论在多大程度上能通过同伦不变 $K$-理论实现完全忠实的因子分解？

主要发现

• 概形的动机稳定同伦理论被普遍表征为：在对称张量 $(∞,1)$-范畴中，使塔特对象成为可逆对象的普遍范畴，其表征基于对称张量 $(∞,1)$-范畴世界中的普遍性质。
• 构造 $Sp^{Σ}(Σ, X)$ 提供了相对于可逆对象 $X$ 的普遍稳定化，将经典对称谱推广至 $∞$-范畴设定。
• 在非交换光滑空间的 $(∞,1)$-范畴 $Ν cS(k)$ 上定义了非交换尼兹涅维奇拓扑，其基于dg-范畴的尼兹涅维奇正方形。
• 非交换动机稳定同伦范畴 $σττ_{nc}(k)^{⊗}$ 与局部化预层范畴 $Fun_{Nis,L_{pe}(ΐ^1)}(Ν cS(k)^{op}, ˇ Sp)^{⊗}$ 之间存在典范张量等价，后者通过尼兹涅维奇下降与 $ΐ^1$-不变性进行局部化得到。
• 存在一个从经典动机稳定同伦范畴 $σττ(k)^{⊗}$ 到非交换动机稳定同伦范畴 $σττ_{nc}(k)^{⊗}$ 的典范张量函子，其由稳定化的普遍性质所诱导。
• 柯尔特谢维奇的猜想——即非交换动机同伦理论中映射谱与张量积的 $K$-理论之间的关系——在此框架中预计成立，提示动机函子可通过 $σττ(k)^{⊗}$-模在同伦不变 $K$-理论谱 $ℇ𝔌𝔊$ 上实现因子分解。