[論文レビュー] Derived Categories

Amnon Yekutieli|arXiv (Cornell University)|Jan 16, 2020

Algebraic structures and combinatorial models参考文献 105被引用数 36

ひとこと要約

この予稿書は、可換および非可換代数における導来圏の基礎的および応用的洞察を提供しており、公理主義的枠組みよりも構成と例に重点を置いている。DG代数、三角系列および導来圏、K-インジェクティブ／プロジェクティブ／フラット加群といった主要な道具を確立し、双対化複体、ティルティング双加群、非可換MGM同値性といった高度なトピックを展開している。応用としては、カルラビ＝ヤウ環およびアーツィン＝シュレル正則環に及ぶ。

ABSTRACT

This is the fourth (and last) prepublication version of a book on derived categories, that will be published by Cambridge University Press. The purpose of the book is to provide solid foundations for the theory of derived categories, and to present several applications of this theory in commutative and noncommutative algebra. The emphasis is on constructions and examples, rather than on axiomatics. Here are the topics covered in the book: - A review of standard facts on abelian categories. - Differential graded algebra (DG rings, DG modules, DG categories and DG functors). - Triangulated categories and triangulated functors between them. How they arise from the DG background. The homotopy category K(A,M) of DG A-modules in M. - Localization of categories. The derived category D(A,M), which is the localization of K(A,M) with respect to the quasi-isomorphisms. - Left and right derived functors of a triangulated functor. - K-injective, K-projective and K-flat DG modules. Their roles, and their existence in several important algebraic situations. - Dualizing and residue complexes over commutative noetherian rings, including Van den Bergh rigidity. - Perfect DG modules and tilting DG bimodules over NC (noncommutative) DG rings. - NC connected graded rings, including Artin-Schelter regular rings. Derived torsion for NC connected graded rings, its relation to the chi condition of Artin-Zhang, and the NC MGM Equivalence. Balanced dualizing complexes, their uniqueness, existence and trace functoriality. - NC rigid dualizing complexes, following Van den Bergh. The uniqueness and existence of these complexes, a few examples, and their relation to Calabi-Yau rings. Readers of this preview version are urged to write to the author with any comments regarding errors, suggestions or questions.

研究の動機と目的

• 導来圏の厳密かつアクセス可能な基礎を、抽象的公理主義よりも構成と例に焦点を当てて確立すること。
• 導来圏理論の中心的枠組みとしてのDG代数、DG加群、DG圏の役割を探ること。
• 三角系列函手の左および右導来函手を含む導来函手の理論を、DG加群の文脈で発展させること。
• 可換ネーター的環上の双対化および残留複体の振る舞いを調査し、ヴァン・デン・ベルクの剛性とトレース函手の関数的性を含む。
• 非可換設定への理論の拡張、特にNC連結次数付き環、完全加群、ティルティング双加群の文脈において、非可換MGM同値性を確立すること。

提案手法

• 導来圏の構成のための主な代数的枠組みとして微分付きグレーディング（DG）環およびDG加群を用いる。
• DG A加群のホモトピー圏 K(A,M) を加群圏 M 内で構成し、その後、準同型写像の局所化により導来圏 D(A,M) を形成する。
• 局所化技術を適用して三角系列圏を導出し、特に導来函手に関連する三角系列函手を研究する。
• K-インジェクティブ、K-プロジェクティブ、K-フラットDG加群を導入・分析し、重要な代数的文脈における存在を証明する。
• トレース函手の関数的性とアーツィン＝ザンのチーコンitionを用いて、非可換環への理論の適用を、バランス型および剛性のある双対化複体を通じて行う。
• 導来ねじれおよびカルラビ＝ヤウ性質への接続を用いて、NC環における非可換MGM同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 DG代数およびDG加群から導来圏を、ホモロジー代数を支援する形で体系的に構成する方法は何か？
• RQ2 K-インジェクティブ、K-プロジェクティブ、K-フラットDG加群が重要な代数的文脈で存在することを保証する条件は何か？
• RQ3 可換ネーター的環上での双対化および残留複体の振る舞いはどのように規定され、ヴァン・デン・ベルクの剛性は果たす役割は何か？
• RQ4 非可換代数において、NC DG環上の完全DG加群およびティルティングDG双加群の構造と意義は何か？
• RQ5 NC連結次数付き環における導来ねじれは、アーツィン＝ザンのチーコンitionおよび非可換MGM同値性とどのように関係するか？

主な発見

• 導来圏 D(A,M) は、ホモトピー圏 K(A,M) を準同型写像で局所化することによって明確に定義され、導来函手の強固な枠組みを提供する。
• K-インジェクティブ、K-プロジェクティブ、K-フラットDG加群は重要な代数的文脈に存在し、左および右導来函手の構成を可能にする。
• NC連結次数付き環上のバランス型双対化複体は、自然同型を除いて一意的であり、トレース函手の関数的性を示す。
• 非可換設定では剛性のある双対化複体が存在し、一意的であり、明示的な例とカルラビ＝ヤウ環への接続が示されている。
• 非可換MGM同値性はNC連結次数付き環に対して成立し、導来ねじれがアーツィン＝ザンのチーコンitionと関連している。
• ヴァン・デン・ベルクの双対化複体に関する剛性定理はDG設定において確立され、これらの複体の一意性と構造を強化する。