[論文レビュー] 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

ひとこと要約

本稿は、dgカテゴリに対して代数的K理論の係数付きA¹ホモトピー不変性を確立し、古典的な結果を非可換およびスタック的設定へ一般化する。Bass-QuillenおよびStienstraの研究をdgカテゴリへ拡張し、核および余核を用いてコックスター行列を介してK理論を完全に計算する枠組みを適用し、巡回群構造および可除性に関する明示的結果を得る。

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).

研究の動機と目的

• スchemesからdgカテゴリへ、代数的K理論の係数付きA¹ホモトピー不変性を拡張すること。
• Bass-Quillenの基本定理およびStienstraのウィット加群理論をdgカテゴリへ一般化すること。
• コックスター行列の核および余核を用いて、dgクラスターカテゴリの係数付き代数的K理論を計算すること。
• 単純ラスドゥインキン図形によってパrameter化されるキーンリアン特異点の係数付きK理論を完全に特定すること。
• 係数付き計算の副産物として、（係数なしの）代数的K理論の消滅および可除性の性質を導出すること。

提案手法

• 局所化の議論とスペクトル系列を用いて、Bass-Quillenの基本定理をdgカテゴリへ適応する。
• 局所化不変量を用いて、ビッグウィット環上の加群構造理論をdgカテゴリへ拡張する。
• A¹ホモトピー不変性の結果をスタック上のdg代数の層およびdgオービットカテゴリへ適用する。
• dgオービットカテゴリ構成を用いて、クラスターカテゴリのK理論をコックスター行列に関連付ける。
• ℤ/l^νℤ上でのコックスター行列の核および余核を計算し、係数付きK理論を特定する。
• スペクトル系列およびテンソル積の右完全性を活用して、同型および消滅結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 K理論の係数付きA¹ホモトピー不変性は、スchemesに限らずdgカテゴリに対しても成り立つか？
• RQ2 コックスター行列の核および余核は、dgクラスターカテゴリの係数付きK理論を完全に決定できるか？
• RQ3 A¹ホモトピー不変性の結果は、スタック上の非可換dg代数の層へどのように拡張されるか？
• RQ4 単純ラスドゥインキン図形に関連するキーンリアン特異点の明示的K理論群（係数付き）は何か？
• RQ5 係数付き計算から、（係数なしの）代数的K理論に現れる消滅および可除性の性質は何か？

主な発見

• A_n型キーンリアン特異点に対して、係数付きK理論I K_q(A_n; ℤ/l^νℤ) は、l が奇数のとき ℤ/gcd(n+1, l^ν) に同型である。
• m=1 の一般化されたクロンケルクイバーQに対して、係数付きK理論I K_q(Q; ℤ/l^νℤ) は ℤ/gcd(3,l^ν) × ℤ/gcd(3,l^ν) に同型であり、l=3 のときは ℤ/3 × ℤ/3 で、それ以外の場合は自明である。
• dgクラスターカテゴリC_{A_n}^{(0)}のグロテンディーク群K_0は ℤ/(n+1) に同型であり、これは余核計算を確認する。
• クローンケルクイバーに対するdgクラスターカテゴリC_Q^{(1)}のグロテンディーク群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¹不変性を確立する。