[論文レビュー] Homological ring epimorphisms and recollements II: Algebraic K-theory

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

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

ひとこと要約

本稿は、ホモロジカルな環エピモルフィズムおよび非可換局在化の文脈において、高次代数的K理論の無限に長いメイヤ＝ヴェトリス完全系列を確立する。これは、再構成理論を高次代数的K理論へ拡張し、加法性公式およびK群の新たな記述、特に非可換テンソル積を用いた無限大ダイヒレッド群の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理論へ拡張するため、K群の加法性公式が成り立つ十分条件を確立すること。
• ホモロジカルな正確な文脈における高次代数的K群の長いメイヤ＝ヴェトリス完全系列を構成すること。
• これらの結果をホモロジカルな環エピモルフィズムおよび非可換局在化、特にミルナー四角形に適用すること。
• 一般化された自由積および局在化に関するK理論の結果を再導出し、一般化すること。これにはカロービの定理およびワルドハウゼン–ニーマン–ラニッチの定理が含まれる。
• 正則コherent環上の自由積に関する代数的K理論を、非可換テンソル積のexactな文脈を用いて新たな記述すること。

提案手法

• 三角的構造を持つ3つの環のK理論を関連付けるために、導来加群カテゴリの再構成を用いる。
• ホモロジカルな環エピモルフィズムを用いて、メイヤ＝ヴェトリス系列を支える正確な文脈を構成する。
• 非可換局在化の理論を用いてミルナー四角形をモデル化し、ワルドハウゼンの枠組みを一般化する。
• 再構成構造と整合性を保つ条件のもとで、高次K群の加法性公式を導出する。
• 正則コherent環上の自由積のK群を記述するために、exactな文脈の非可換テンソル積を用いる。
• 再構成のホモロジカル構造を繰り返し適用することで、無限に長いメイヤ＝ヴェトリス完全系列を確立する。

実験結果

リサーチクエスチョン

• RQ1 導来加群カテゴリの再構成が、高次代数的K群の加法性公式を誘導するための条件は何か？
• RQ2 ホモロジカルな正確な文脈において、高次代数的K理論に対して長いメイヤ＝ヴェトリス完全系列を構成できるか？
• RQ3 ホモロジカルな環エピモルフィズムおよび非可換局在化は、K理論系列の構造にどのように影響を与えるか？
• RQ4 正則コherent環上の2つの群の自由積のK理論は何か？ そして、非可換テンソル積のexactな文脈を用いてどのように記述できるか？
• RQ5 無限大ダイヒレッド群のK理論は、exactな文脈の非可換テンソル積を用いて再表現可能か？

主な発見

• ホモロジカルな環エピモルフィズムおよび非可換局在化の文脈において、高次代数的K理論の無限に長いメイヤ＝ヴェトリス完全系列が構成された。
• 再構成構造から導かれる十分条件のもとで、高次K群の加法性公式が確立された。
• ミルナー四角形のK理論は、長い完全系列を用いて記述され、カロービの局在化結果が特別な場合として回復された。
• 正則コherent環上の一般化された自由積のK理論は、exactな文脈の非可換テンソル積を用いて表現された。
• 非可換テンソル積を用いたexactな文脈の観点から、無限大ダイヒレッド群の代数的K理論が新たな記述を得られ、そのK群の構造的洞察が得られた。