[論文レビュー] Determinants of perfect complexes and Euler characteristics in relative K_0-groups

Manuel Breuning|ArXiv.org|Dec 8, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用数 3

ひとこと要約

本稿では、相対代数的K₀群におけるEuler特性が、完備複体の三角化カテゴリ上の行列式関手を用いて構成可能であることを確立している。これは、以前の方法が正確なカテゴリに依存していたのを一般化したものである。主な結果は、三角化カテゴリ上の関手によるEuler特性が、古典的構成と一致することを示しており、算術的および代数的幾何学への応用においてより自然かつ概念的に堅牢な枠組みを提供する。

ABSTRACT

We study the K_0 and K_1-groups of exact and triangulated categories of perfect complexes, and we apply the results to show how determinant functors on triangulated categories can be used for the construction of Euler characteristics in relative algebraic K_0-groups.

研究の動機と目的

• 正確なカテゴリに限らない相対K₀群におけるEuler特性の構成を、完備複体の三角化カテゴリへ一般化すること。
• 三角化カテゴリ上の行列式関手が、精錐Euler特性を定義するために正確なカテゴリ上の関手に置き換え可能であることを示すこと。
• 完備複体の三角化カテゴリのK₀群と古典的K群の間に自然な同型を確立し、既存理論と整合性を保つこと。
• 算術的代数的幾何学への応用と整合する、相対K₀群におけるEuler特性の概念的枠組みを提供すること。
• K理論の基礎的問題を解決し、完備複体の三角化カテゴリのK₁群が、Rが正則であればRのK₁群へ全射（かつ同型）に写ることを示すこと。

提案手法

• 環R上の完備複体の三角化カテゴリD^perf(R)における普遍行列式関手を活用し、Euler特性を定義する。
• K₀(R)からK₀(D^perf(R))への自然な準同型と、i=0では同型、i=1では全射であることを用いて、古典的K理論と導来K理論を関連付ける。
• モノイダル関手によるPicardカテゴリ間のホモトピーfiberの理論を適用し、相対K₀群K₀(R,S)を行列式関手のカテゴリの基本群に関連付ける。
• 正確なカテゴリと三角化カテゴリを含む可換図式を構成し、整合性のある行列式関手とモノイダル関手を用いて、導来設定におけるEuler特性と古典的ものとの関係を明示する。
• 行列式関手のカテゴリの基本群と相対K₀群K₀(R,S)との間に同型を確立し、精錐Euler特性の定義を可能にする。
• 複体がSへのベースチェンジで正則化されるとき、三角化カテゴリによるEuler特性χ^triが古典的Euler特性χと一致することを証明する。

実験結果

リサーチクエスチョン

• RQ1 完備複体の三角化カテゴリ上の行列式関手を用いて、相対K₀群におけるEuler特性を定義できるか？
• RQ2 三角化カテゴリによるK₀(R,S)におけるEuler特性の構成は、正確なカテゴリによる古典的構成と同値か？
• RQ3 完備複体の三角化カテゴリのK₀群およびK₁群と、環Rの古典的K群との関係は何か？
• RQ4 Rが正則でない場合、K₁(R) → K₁(D^perf(R))の自然な写像は同型のままであるか？
• RQ5 相対K₀群K₀(R,S)は、Picardカテゴリ間のモノイダル関手に関連する行列式関手のカテゴリの基本群とどのように関係するか？

主な発見

• K₀(R) → K₀(D^perf(R))の自然な準同型は同型であり、K₁(R) → K₁(D^perf(R))は全射であり、Rが正則であれば同型である。
• 三角化カテゴリ上の行列式関手によるEuler特性χ^triは、複体がS上で正則化されるとき、古典的Euler特性χとK₀(R,S)で一致する。
• 相対K₀群K₀(R,S)は、モノイダル関手Mに関連する行列式関手のカテゴリの基本群π₀(F(M))と自然に同型である。
• K₀(R,S)における精錐Euler特性の構成は、行列式関手の選択に依存せず、普遍行列式関手の普遍性にのみ依存する。
• 非正則な環Rに対して、写像K₁(R) → K₁(D^perf(R))は単射でないため、[1]の同型結果が一般の正確なカテゴリに拡張されないことが示された。
• アーベル圏AについてK₁(A) ≅ K₁(D^b(A))が成り立つが、これは正確なカテゴリへ一般化されない。本稿では反例を提示している。