[論文レビュー] Grothendieck groups and tilting objects

Idun Reiten, Michel Van den Bergh|ArXiv.org|May 10, 2000

Algebraic structures and combinatorial models参考文献 14被引用数 4

ひとこと要約

この論文は、代数閉体上に存在する連結でネーター的かつヘレディタリーで、Ext-有限なアーベル圏において、Grothendieck群の有限生成性とtilting対象の存在との間の正確な同値性を確立している。この圏はセレーファンクターをもち、無限長の対象を有する。先行研究の分類結果を用いて、これらの条件下でGrothendieck群が有限生成であることとtilting対象の存在が同値であることを証明し、ホモロジー的不変量（Grothendieck群）と構造的性質（tilting対象）を、重み付き射影直線の整合的層や、グレーディング特異性の商圏を含む広範な圏のクラスにおいて結びつけた。

ABSTRACT

Let C be a connected noetherian hereditary abelian Ext-finite category with Serre functor over an algebraically closed field k, with finite dimensional homomorphism and extension spaces. Using the classification of such categories from math.RT/9911242, we prove that if C has some object of infinite length, then the Grothendieck group of C is finitely generated if and only if C has a tilting object.

研究の動機と目的

• 代数閉体上に存在する連結でネーター的かつヘレディタリーで、Ext-有限なアーベル圏のGrothendieck群が有限生成となる条件を特定すること。
• このような圏において、tilting対象の存在とGrothendieck群の有限生成性との関係を明確にすること。
• 重み付き射影直線の整合的層や、グレーディング特異性の商圏が、より広範な導来圏のクラスにおいて果たす役割を理解を拡張すること。
• セレーフ双対性の文脈において、ホモロジー的消失と生成条件に基づいた、tilting対象のための基準を提示すること。
• 与えられた条件下で、Grothendieck群の有限生成性がtilting対象の存在を含意し、逆にその逆も成り立つことを確立すること。

提案手法

• 文献[31]で確立された、代数閉体上でのセレーファンクターを有する連結でネーター的かつヘレディタリーでExt-有限なアーベル圏の分類結果を活用する。
• Ext-有限かつヘレディタリーな圏の文脈においてGrothendieck群の理論を適用し、無限長の対象が存在する場合の有限生成性を分析する。
• HomおよびExt¹ファンクターの消失と生成条件に基づいた、新しいtilting対象の基準を導入する。
• 離散値環上のヘレディタリー順序のモジュールにおける例外的集合を構成し、P¹上の層の順序を伴う整合的層の圏におけるtilting対象の構成を容易にする。
• tilting対象、Grothendieck群の有限生成性、セレーフ双対性といった主要な性質が導来同値性に関して不変であることを用いて、ネーター的圏にとどまらず、導来同値な圏へと結果を拡張する。
• グレーディング環およびその商圏の文脈において、局所化およびインジェクティブ分解の技法を用いて、商圏のグローバル次元およびヘレディタリー性を分析する。

実験結果

リサーチクエスチョン

• RQ1 代数閉体上に存在する連結でネーター的かつヘレディタリーで、Ext-有限なアーベル圏のGrothendieck群が有限生成となる条件は何か？
• RQ2 Grothendieck群の有限生成性は、ある対象が無限長である場合を含めて、このような圏においてtilting対象の存在を含意するか？
• RQ3 セレーファンクターの存在が、tilting対象とGrothendieck群の構造との間の相互作用にどのように影響するか？
• RQ4 重み付き射影直線の整合的層の圏や、グレーディング特異性の商圏において、Grothendieck群とtilting対象の存在との正確な関係は何か？
• RQ5 射影次元に依存しないで、ホモロジー的消失と生成条件に基づいた、tilting対象のための新しい基準を定式化できるか？

主な発見

• セレーファンクターをもち、無限長の対象を有する連結でネーター的かつヘレディタリーで、Ext-有限なアーベル圏において、Grothendieck群が有限生成であることと、その圏がtilting対象を含意することとは同値である。
• tilting対象の存在は、Grothendieck群が有限ランクの自由アーベル群であることを示し、既知の結果をより広範な文脈で確認した。
• 新しいtilting対象の基準が確立された：対象Tがtiltingであるとは、Ext¹(T,T)=0であり、かつHom(T,X)=0かつExt¹(T,X)=0ならばX=0であることを満たすことである。
• 離散値環上のヘレディタリー順序における例外的集合の構成により、P¹に層の順序を伴う整合的層の圏におけるtilting対象の明示的構成が可能になった。
• クルル次元2の孤立特異点をもつ可換ネーター的グレーディングモジュールの商圏について、Grothendieck群が有限生成であることとtilting対象の存在とは一致する。
• 結果は、セレーフ双対性を有するネーター的ヘレディタリー圏に導来同値な圏へと拡張され、Grothendieck群の有限生成性とtilting対象の存在との同値性が導来同値性に関して保存されることを示した。