[论文解读] A1-homotopy theory of noncommutative motives

Gonçalo Tabuada|arXiv (Cornell University)|Feb 18, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用 11

一句话总结

本文为微分几何范畴的非交换动机发展了 A¹-同伦理论，构建了 A¹-可加与 A¹-局部化不变量的通用范畴，以分类 K-理论与周期循环上同调之间的自然变换。研究证明 Karoubi-Villamayor K-理论（KV）与 Weibel 的同伦 K-理论（KH）是此类变换的通用理论，从而实现了对周期循环上同调的同伦 Chern 特征的简化构造。

ABSTRACT

In this article we continue the development of a theory of noncommutative motives. We construct categories of A1-homotopy noncommutative motives, described their universal properties, and compute their spectra of morphisms in terms of Karoubi-Villamayor's K-theory (KV) and Weibel's homotopy K-theory (KH). As an application, we obtain a complete classification of all the natural transformations defined on KV, KH. This leads to a streamlined construction of Weibel's homotopy Chern character from KV to periodic cyclic homology. Along the way we extend Dwyer-Friedlander's etale K-theory to the noncommutative world, and develop the universal procedure of forcing a functor to preserve filtered homotopy colimits.

研究动机与目标

• 为微分几何范畴语境下的非交换动机发展 A¹-同伦理论。
• 构建 A¹-可加与 A¹-局部化不变量的通用范畴，以分类 K-理论与周期循环上同调之间的自然变换。
• 扩展 Dwyer-Friedlander 的 étale K-理论，并在非交换设定中定义强制函子保持滤子同伦上积的通用程序。
• 对从 KV 和 KH 到周期循环上同调的自然变换进行完整分类，从而实现对同伦 Chern 特征的新构造。

提出的方法

• 作者构造了两个通用导出器态射：$ U^{{\bf A\backslash{}^{1}}}_{\mathsf{add}}: \mathsf{HO}(\mathsf{dgcat}) \to \operatorname{Mot}^{{\bf A\backslash{}^{1}}}_{\mathsf{add}} $ 与 $ U^{{\bf A\backslash{}^{1}}}_{\mathsf{loc}}: \mathsf{HO}(\mathsf{dgcat}) \to \operatorname{Mot}^{{\bf A\backslash{}^{1}}}_{\mathsf{loc}} $，满足 A¹-可加与 A¹-局部化不变量的通用性质。
• 他们利用微分几何范畴上的 Quillen 模型结构，并通过函子范畴的局部化，特别是 $ L_S\!\operatorname{Fun}(\mathsf{dgcat}_f^{\mathrm{op}},\mathsf{Sp}) $，实现通用构造，以强制保持同伦上积。
• 通过 KV 与 KH 表示通用范畴中态射谱的计算，表明 $ \underline{\mathrm{Hom}}_{\mathsf{add},{\bf A\backslash{}^{1}}}(\mathsf{HO}(\mathsf{dgcat}),\mathbb{D}) \simeq \underline{\mathrm{Hom}}_{!}(\operatorname{Mot}^{{\bf A\backslash{}^{1}}}_{\mathsf{add}},\mathbb{D}) $。
• 开发了一种通用程序，强制函子保持滤子同伦上积，从而构造出周期循环上同调的 A¹-可加变体 $ HP^{\mathrm{flt}} $，其在同伦有限表示的微分几何范畴上与 $ HP $ 一致。
• 作者利用 Thomason 的工作，将 Dwyer-Friedlander 的 étale K-理论扩展至微分几何范畴，证明其为 A¹-局部化不变量。
• 他们建立了自然变换 $ \epsilon: HP^{\mathrm{flt}} \Rightarrow HP $，该变换在同伦有限表示的微分几何范畴上是同构，从而将通用 A¹-可加理论与周期循环上同调联系起来。

实验结果

研究问题

• RQ1 非交换动机的通用 A¹-可加不变量理论是什么？它如何对 KV 与 KH 的自然变换进行分类？
• RQ2 如何修改周期循环上同调，使其保持滤子同伦上积，同时在有限表示对象上与原始版本一致？
• RQ3 强制保持滤子同伦上积的通用程序在构造 A¹-同伦不变量中起什么作用？
• RQ4 将 Dwyer-Friedlander 的 étale K-理论扩展至微分几何范畴，如何与 A¹-局部化不变量关联？
• RQ5 能否通过 A¹-同伦理论的通用性质重构从 KV 到周期循环上同调的同伦 Chern 特征？

主要发现

• 通用 A¹-可加范畴 $ \operatorname{Mot}^{{\bf A\backslash{}^{1}}}_{\mathsf{add}} $ 构造为 $ L_S\!\operatorname{Fun}(\mathsf{dgcat}_f^{\mathrm{op}},\mathsf{Sp}) $ 的局部化，其态射谱与 A¹-可加不变量的谱等价。
• 通用 A¹-局部化范畴 $ \operatorname{Mot}^{{\bf A\backslash{}^{1}}}_{\mathsf{loc}} $ 以类似方式构造，其态射谱与 A¹-局部化不变量的谱等价。
• 从 $ \mathsf{HO}(\mathsf{dgcat}) $ 到任意三角化导出器 $ \mathbb{D} $ 的态射谱计算为 $ \underline{\mathrm{Hom}}_{!}(\operatorname{Mot}^{{\bf A\backslash{}^{1}}}_{\mathsf{add}},\mathbb{D}) \simeq \underline{\mathrm{Hom}}_{\mathsf{add},{\bf A\backslash{}^{1}}}(\mathsf{HO}(\mathsf{dgcat}),\mathbb{D}) $，确立了其通用性质。
• 通过自然变换 $ \epsilon $，$ HP^{\mathrm{flt}} $ 的构造提供了一个与 $ HP $ 在同伦有限表示的微分几何范畴上一致的 A¹-可加变体周期循环上同调。
• 对从 KV 与 KH 到周期循环上同调的自然变换实现了完整分类，从而导出对同伦 Chern 特征的新且简化的构造。
• 证明了将 Dwyer-Friedlander 的 étale K-理论扩展至微分几何范畴后，其为 A¹-局部化不变量，从而将其经典角色推广至非交换设定。