[论文解读] A1-homotopy invariance of algebraic K-theory with coefficients and Kleinian singularities

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

Algebraic structures and combinatorial models参考文献 16被引用 5

一句话总结

本文建立了微分graded范畴上带系数的代数K-理论的A¹同伦不变性，将经典结果从概形推广至非交换与堆的设定。它将Bass-Quillen与Stienstra的工作推广至dg范畴，并应用该框架通过Coxeter矩阵的核与余核完全计算了K-理论带系数的Kleinian奇点，得出明确的循环群结构与可除性结果。

ABSTRACT

C. Weibel and Thomason-Trobaugh proved (under some assumptions) that algebraic K-theory with coefficients is A1-homotopy invariant. In this article we generalize this result from schemes to the broad setting of dg categories. Along the way, we extend Bass-Quillen's fundamental theorem as well as Stienstra's foundational work on module structures over the big Witt ring to the setting of dg categories. Among other cases, the above A1-homotopy invariance result can now be applied to sheaves of (not necessarily commutative) dg algebras over stacks. As an application, we compute the algebraic K-theory with coefficients of dg cluster categories using solely the kernel and cokernel of the Coxeter matrix. This leads to a complete computation of the algebraic K-theory with coefficients of the Kleinian singularities parametrized by the simply laced Dynkin diagrams. As a byproduct, we obtain some vanishing and divisibility properties of algebraic K-theory (without coefficients).

研究动机与目标

• 将带系数的代数K-理论的A¹同伦不变性从概形推广至更广泛的dg范畴设定。
• 将Bass-Quillen的基本定理与Stienstra的Witt模理论推广至dg范畴。
• 利用Coxeter矩阵的核与余核，完全计算dg簇范畴的带系数K-理论。
• 完全确定由单连通Dykin图参数化的Kleinian奇点的带系数K-理论。
• 作为副产品，推导出无系数代数K-理论的消失与可除性性质。

提出的方法

• 通过局部化论证与谱序列，将Bass-Quillen的基本定理适配至dg范畴。
• 利用局部化不变量，将Stienstra关于大Witt环上模结构的理论推广至dg范畴。
• 将A¹同伦不变性结果应用于堆上dg代数的层与dg轨道范畴。
• 利用dg轨道范畴构造，将簇范畴的K-理论与Coxeter矩阵关联。
• 在ℤ/l^νℤ上计算Coxeter矩阵的核与余核，以确定带系数的K-理论。
• 利用谱序列与张量积的右正合性，推导出同构与消失结果。

实验结果

研究问题

• RQ1 带系数的K-理论是否在dg范畴上保持A¹同伦不变性，而不仅限于概形？
• RQ2 Coxeter矩阵的核与余核是否能完全确定dg簇范畴的带系数K-理论？
• RQ3 A¹同伦不变性结果如何推广至堆上非交换dg代数的层？
• RQ4 与单连通Dykin图相关的Kleinian奇点的带系数K-理论群是否具有显式表达？
• RQ5 从系数计算中，无系数代数K-理论的哪些消失与可除性性质得以显现？

主要发现

• 对于A_n型Kleinian奇点，当l为奇数时，带系数的K-理论I K_q(A_n; ℤ/l^νℤ)同构于ℤ/gcd(n+1, l^ν)。
• 对于广义Kronecker图Q（当m=1时），带系数的K-理论I K_q(Q; ℤ/l^νℤ)同构于ℤ/gcd(3,l^ν) × ℤ/gcd(3,l^ν)，当l=3时为ℤ/3 × ℤ/3，否则为平凡群。
• dg簇范畴C_{A_n}^{(0)}的Grothendieck群K_0同构于ℤ/(n+1)，证实了余核计算。
• Kronecker图的dg簇范畴C_Q^{(1)}的Grothendieck群K_0同构于ℤ/3 × ℤ/3。
• 当1/l ∈ k时，包含映射A → A[t]在I K(A; ℤ/l^νℤ)上诱导同构，证明了dg范畴上的A¹同伦不变性。
• dg范畴与ℤ[1/l]的张量积满足I K(A)⊗ℤ[1/l] ≃ I K(A[t])⊗ℤ[1/l]，确立了有理数A¹不变性。