[论文解读] K-theory of endomorphisms via noncommutative motives

Andrew J. Blumberg, David Gepner+1 more|arXiv (Cornell University)|Feb 5, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 30被引用 4

一句话总结

本文利用非交换动机，建立了对自同态 K-理论的共表示结果，表明函子 KEnd(−) 被张量代数 𝕊[t] 的非交换动机所共表示。这给出了 KEnd(−) 的自然变换的完整分类，参数为整数与常数项为 1 的有理函数，从而解决了阿尔姆奎斯特在 1970 年代提出的问题。该框架还允许从非交换动机的对称张量结构中重构有理格拉斯曼向量。

ABSTRACT

In this article we study the K-theory of endomorphisms using noncommutative motives. We start by extending the K-theory of endomorphisms functor from ordinary rings to (stable) infinity categories. We then prove that this extended functor KEnd(-) not only descends to the category of noncommutative motives but moreover becomes co-represented by the noncommutative motive associated to the tensor algebra S[t] of the sphere spectrum S. Using this co-representability result, we then classify all the natural transformations of KEnd(-) in terms of an integer plus a fraction between polynomials with constant term 1; this solves a problem raised by Almkvist in the seventies. Finally, making use of the multiplicative co-algebra structure of S[t], we explain how the (rational) Witt vectors can also be recovered from the symmetric monoidal category of noncommutative motives. Along the way we show that the K_0-theory of endomorphisms of a connective ring spectrum R equals the K_0-theory of endomorphisms of the underlying ordinary ring π_0(R).

研究动机与目标

• 将自同态的 K-理论从普通环推广到稳定 ∞-范畴。
• 证明在非交换动机的范畴中，扩展后的 KEnd(−) 函子被 𝕊[t] 的非交换动机所共表示。
• 利用整数与常数项为 1 的有理函数参数，对 KEnd(−) 的所有自然变换进行分类。
• 通过 𝕊[t] 的余代数结构，从非交换动机的对称张量结构中重构有理格拉斯曼向量。
• 建立连通环谱 R 的自同态的 K₀ 与其中心普通环 π₀R 的 K₀ 一致，即 K₀(End(R)) ≃ K₀(End(π₀R))。

提出的方法

• 对于任意 ∞-范畴 𝒞，将 ∞-范畴的自同态 End(𝒞) 定义为函子 ∞-范畴 Fun(Δ¹/∂Δ¹, 𝒞)。
• 将自同态的 K-理论函子 KEnd(−) 构造为 End(−) 与完美 ∞-范畴上的代数 K-理论的复合函子。
• 证明 KEnd(−) 是一个加法不变量，因此可分解为通过非交换动机的范畴 M_add 的通用加法不变量 U_add。
• 通过 KEnd(−) 被 𝕊[t] 的非交换动机所共表示，证明 KEnd(𝒞) 自然同构于映射谱 Map(U_add(𝕊[t]), U_add(𝒞))。
• 利用 𝕊[t] 上的乘法余代数结构，将非交换动机的对称张量结构与有理格拉斯曼向量的构造联系起来。
• 通过分析 KEnd 函子在 K₀ 层级的行为，证明对于任意连通环谱 R，有 K₀(End(R)) ≃ K₀(End(π₀R))。

实验结果

研究问题

• RQ1 如何以同伦一致的方式将自同态的 K-理论从环推广到稳定 ∞-范畴？
• RQ2 在非交换动机的语境中，自同态 K-理论的通用性质是什么？
• RQ3 KEnd(−) 函子的所有自然变换是否可以被完全分类？
• RQ4 非交换动机 𝕊[t] 如何共表示自同态的 K-理论？
• RQ5 能否从非交换动机的对称张量结构中重构有理格拉斯曼向量？

主要发现

• 自同态 K-理论函子 KEnd(−) 在完美 ∞-范畴的 ∞-范畴上是一个加法不变量，可分解为非交换动机的范畴。
• KEnd(𝒞) 自然同构于映射谱 Map(U_add(𝕊[t]), U_add(𝒞))，表明 𝕊[t] 的非交换动机共表示 KEnd(−)。
• 所有 KEnd(−) 的自然变换均被整数与常数项为 1 的有理函数参数完全分类，从而解决了阿尔姆奎斯特在 1970 年代提出的问题。
• 通过 𝕊[t] 的余代数结构，从非交换动机范畴的对称张量结构中重构出有理格拉斯曼向量。
• 对于任意连通环谱 R，有 K₀(End(R)) ≃ K₀(End(π₀R))，即自同态的 K₀ 理论与其中心普通环 π₀R 的 K₀ 理论一致。
• 共表示结果表明，自同态的整个 K-理论由 𝕊[t] 的非交换动机完全决定，从而提供了一个通用模型。