[論文レビュー] Recollements of derived categories II: Algebraic K-theory

Haishan Chen, Changchang Xi|arXiv (Cornell University)|Dec 9, 2012

Algebraic structures and combinatorial models参考文献 37被引用数 19

ひとこと要約

本稿は、導来加群圏の再構成における高次代数的K群のMayer-Vietoris完全系列を確立し、K理論群の加法性公式が成り立つ十分条件を提示する。これらの結果をホモロジー的環エピモルフィズムおよび非可換局所化に応用することで、ミルノ四角形に対する無限大のMayer-Vietoris系列が得られ、非可換テンソル積を用いた無限大二面体群のK理論の新たな記述が得られる。

ABSTRACT

For a recollement of derived module categories of rings, we provide sufficient conditions to guarantee the additivity formula of higher algebraic K-groups of the rings involved, and establish a long Mayer-Vietoris exact sequence of higher algebraic K-groups for homological exact contexts introduced in the first paper of this series. Our results are then applied to recollements induced from homological ring epimorphisms and noncommutative localizations. Consequently, we get an infinitely long Mayer-Vietoris exact sequence of K-theory for Milnor squares, re-obtain a result of Karoubi on localizations and a result on generalized free products pioneered by Waldhausen and developed by Neeman and Ranicki. In particular, we describe algebraic $K$-groups of the free product of two groups over a regular coherent ring as the ones of the noncommutative tensor product of an exact context. This yields a new description of algebraic $K$-theory of infinite dihedral group.

研究の動機と目的

• 導来加群圏の再構成における高次代数的K群の加法性公式が成り立つ十分条件を特定すること。
• ホモロジー的完全な文脈およびホモロジー的環エピモルフィズムによって誘導される再構成におけるMayer-Vietoris完全系列を拡張すること。
• 非可換テンソル積を用いて一般化自由積および群環の代数的K理論を記述すること。
• 再構成技術を用いて局所化および自由積のK理論に関する結果を再導出し、一般化すること。
• 非可換テンソル積を用いて無限大二面体群のK理論を新たな記述で与えること。

提案手法

• 導来加群圏の再構成を用いて、三角関手と随伴を介して3つの環のK理論を関連付ける。
• Frobenius対およびWaldhausen圏の理論を応用して、完全な文脈におけるK理論空間を分析する。
• 完全なdg加群および高次K群の分解定理を用いて、K理論空間のホモトピー同値を確立する。
• ホモロジー的完全な文脈におけるK理論に対して、長大なMayer-Vietoris完全系列を構成し、NeemanおよびRanickiの結果を一般化する。
• 非可換局所化およびホモロジー的環エピモルフィズムにこの枠組みを適用し、特に標的加群が有限型分解を持つ場合に注目する。
• R-環の圏における群環関手および余積を用いて、群の自由積のK理論を非可換テンソル積と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 導来加群圏の再構成における高次代数的K群の加法性公式が成り立つ条件は何か？
• RQ2 ホモロジー的完全な文脈における代数的K理論に対して、長大なMayer-Vietoris完全系列を構成できるか？
• RQ3 群の自由積のK理論は、群環の非可換テンソル積のK理論とどのように関係するか？
• RQ4 非可換テンソル積およびNil群を用いて、無限大二面体群のK理論はどのように記述されるか？
• RQ5 Milnor四角形のK理論は、無限大のMayer-Vietoris系列を用いてどのように記述できるか？

主な発見

• ミルノ四角形に対して、高次代数的K群の無限大のMayer-Vietoris完全系列が確立され、古典的結果が一般化された。
• 正則なコherent環上の2つの群の自由積のK理論は、それらの群環の非可換テンソル積のK理論として記述される。
• 無限大二面体群 $D_{∞}$ に対して、本稿は新たな分解を提供する：$K_n(R(D_{∞})) \simeq K_n(R\mathbb{Z}_2 \boxtimes_R R\mathbb{Z}_2) \oplus \widetilde{\mathfrak{Nil}}_{n-1}(R)$。
• 結果はカルーブィの定理を再確認し、Waldhausen–Neeman–Ranickiの一般化自由積に関する結果を拡張する。
• $R(H*G)$ のK理論が $RH \boxtimes_R RG$ に同型であることが示され、R-環の圏における余積構造が裏付けられる。
• $\pi_1(V)$ が自明であるとき、$K_n(R(\pi_1(U))) \simeq K_n(R(\pi_1(U_1)) \boxtimes_R R(\pi_1(U_2)))$ が成り立ち、トポロジー的基本群と非可換積を介したK理論の関係が結ばれる。