[論文レビュー] Tilting Theory and Functor Categories III. The Maps Category

R. Mart ́ õnez-Villa|arXiv (Cornell University)|Jan 21, 2011

Algebraic structures and combinatorial models参考文献 17被引用数 6

ひとこと要約

この論文は、skeletally small preadditive 圏 C に対する contravariant functor 圏 Mod(C) において、一般化された tilting 圏を導入することで、tilting 理論を拡張し、有界な導来圏 D^b(Mod(C)) と D^b(Mod(T)) の間の同値性を確立している。さらに、特に artin 環 Λ に対する mod(modΛ) の文脈において、関手圏における tilting と、写像の圏における相対的 tilting の関係を明らかにし、古典的な結果をより広範な圏的枠組みへ一般化している。

ABSTRACT

In this paper we continue the project of generalizing tilting theory to the category of contravariant functors Mod(C), from a skeletally small preadditive category C to the category of abelian groups, initiated in [17]. In [18] we introduced the notion of a generalized tilting category T , and extended Happel’s theorem to Mod(C). We proved that there is an equivalence of triangulated categories D b (Mod(C) ∼ D b (Mod(T )). In the case of dualizing varieties, we proved a version of Happel’s theorem for the categories of finitely presented functors. We also proved in this paper, that there exists a relation between covariantly finite coresolving categories, and generalized tilting categories. Extending theorems for artin algebras proved in [4], [5]. In this article we consider the category of maps, and relate tilting categories in the category of functors, with relative tilting in the category of maps. Of special interest is the category mod(modΛ) with Λ an artin algebra.

研究の動機と目的

• skeletally small preadditive 圏 C に対して、モジュール圏から contravariant functor 圏 Mod(C) への tilting 理論の一般化を図ること。
• 一般化された tilting 圏 T を用いて、D^b(Mod(C)) と D^b(Mod(T)) の間の導来同値性を確立すること。
• covariantly finite coresolving 圏と一般化された tilting 圏との関係を調査すること。
• 既知の artin 環に関する定理を、関手圏および写像の圏の文脈へ拡張すること。
• artiniens 環 Λ に対して、写像の圏における tilting 理論を用いて、mod(modΛ) の構造と性質を調査すること。

提案手法

• 関手圏 Mod(C) 内に、一般化された tilting 圏 T の概念を導入する。
• 文献[18]の導来同値枠組みを応用し、一般化された tilting 圏 T に対して D^b(Mod(C)) ≅ D^b(Mod(T)) を証明する。
• 特に双対的多様体の文脈において、関手圏 Mod(C) における tilting と、写像の圏における相対的 tilting の関係を明らかにする。
• covariantly finite coresolving 部分圏の構造を活用し、一般化された tilting 圏の特徴づけを行う。
• mod(modΛ) を主要な例として分析し、関手圏における tilting と、写像の圏における tilting の関係を結ぶ。
• 文献[4]および[5]における artin 環に関する結果を、関手圏および相対的 tilting のより広範な文脈へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 skeletally small preadditive 圏 C に対して、モジュール圏から contravariant functor 圏 Mod(C) への tilting 理論をどのように一般化できるか？
• RQ2 一般化された tilting 圏 T に対して、D^b(Mod(C)) と D^b(Mod(T)) の間の導来同値関係はどのように規定されるか？
• RQ3 関手圏 Mod(C) における tilting 圏は、写像の圏における相対的 tilting とどのように関係しているか？
• RQ4 covariantly finite coresolving 圏は、一般化された tilting 圏の特徴づけにおいて果たす役割は何か？
• RQ5 artiniens 環 Λ に対して、mod(modΛ) の構造は、写像の圏における tilting とどのように関係しているか？

主な発見

• 一般化された tilting 圏 T に対して、D^b(Mod(C)) と D^b(Mod(T)) の間の導来同値性が確立され、Happel の定理が関手圏の文脈へ拡張された。
• 双対的多様体の状況では、有限生成関手の圏に対し、Happel の定理のバージョンが証明された。
• covariantly finite coresolving 圏と一般化された tilting 圏との間の構造的関係が明らかにされた。
• artiniens 環 Λ に対して、mod(modΛ) は、関手圏における tilting と、写像の圏における tilting を結ぶ自然な枠組みを提供することが示された。
• 古典的な artin 環に関する tilting 定理が、より広範な contravariant functor 圏および写像の圏の文脈へ一般化された。
• この枠組みにより、導来同値性を介して、モジュール圏における tilting 現象を関手圏へ移すことが可能になった。