[論文レビュー] K-theory and derived equivalences

Daniel Dugger, Brooke Shipley|ArXiv.org|Sep 8, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 5

ひとこと要約

この論文は、モデル圏理論とティルティング理論を活用することで、導来同値な環は同一の代数的K理論群を持つことを確立している。2つの環のチェイン複体の導来圏が同値であるならば、それらのK理論空間は弱同値であることが示され、平坦性の仮定なしに、以前の結果を高次K理論へと拡張している。

ABSTRACT

We show that if two rings have equivalent derived categories then they have the same algebraic K-theory. Similar results are given for G-theory, and for a large class of abelian categories.

研究の動機と目的

• 環の代数的K理論が、その環そのものではなく、導来圏にのみ依存するかどうかを特定すること。
• ホモトピー代数を用いて、既知のK₀に関する結果を高次K理論群へと拡張すること。
• 導来同値が、チェイン複体のモデル圏のクイレン同値を意味することを示すこと。
• ネーター環のG理論が導来同値に関して不変であることを確立すること。
• より複雑な先行研究とは対照的に、単純なモデル圏に基づくK理論不変性の証明を提供すること。

提案手法

• 環上のチェイン複体のホモトピー的構造をモデル圏によって形式化する。
• クイレンの定理（Waldhausen圏のクイレン同値が、それらのK理論空間の弱同値を誘導する）を適用する。
• ティルティング理論を活用し、環の導来同値が、それらのチェイン複体のモデル圏の同値を意味することを示す。
• 環RとSが導来同値であるとき、R-加群とS-加群のモデル圏の間のクイレン同値を構成する。
• 単体的図式におけるリーディー・モデル構造を用いて、WaldhausenのS-構成およびそのネ载体を分析する。
• コボルント対象の部分圏への誘導関手が弱同値を保存することを証明し、K理論の比較を可能にする。

実験結果

リサーチクエスチョン

• RQ1 環の代数的K理論は、その導来圏にのみ依存するか？
• RQ2 高次K理論群は、導来圏の三角的構造から回復可能か？
• RQ3 環の間の導来同値は、それらのチェイン複体のモデル圏の同値を意味するか？
• RQ4 ネーター環のG理論は導来同値に関して不変か？
• RQ5 K理論の不変性は、複雑なホモトピー的道具立てを避け、モデル圏技法を用いて証明可能か？

主な発見

• 2つの環RとSが導来同値（すなわち、非有界チェイン複体の導来圏が三角的同値）であるならば、それらの代数的K理論群は同型である：すべてのn ≥ 0に対してKₙ(R) ≅ Kₙ(S)。
• RとSが導来同値であるとき、K理論空間K(R)とK(S)は、K群以上のレベルで弱同値である。
• 完全複体の全部分圏（D_c(R)とD_c(S)）が同値であり、かつその同値がシフト関手と可換である限り、この結果は成り立つ。
• ネーター環に対しては、導来同値がG理論空間の弱同値を意味する：G(R) ≃ G(S)であるため、Gₙ(R) ≅ Gₙ(S)が成り立つ。
• 証明は、導来同値がRおよびS上のチェイン複体のモデル圏の間のクイレン同値を誘導することを示すことに依存している。
• モデル圏の使用により、証明が簡素化され、ネーマンの研究で用いられた複雑な構成を避けつつ、より一般化された結果が得られている。