[論文レビュー] Derived Equivalence induced by $n$-tilting modules

Silvana Bazzoni, Francesca Mantese+1 more|ArXiv.org|May 22, 2009

Algebraic structures and combinatorial models参考文献 20被引用数 9

ひとこと要約

本稿では、結合的環 $R$ 上の任意の $n$-tilting 加群 $T_R$ に対して、$\mathcal{D}(R)$ と $\mathcal{D}(\operatorname{End}(T'))$ の三角的部分圏 $\mathcal{E}_\perp$ の間の導来同値を誘導する同値な $n$-tilting 加群 $T'_R$ が存在することを確立している。ここで $\mathcal{E}_\perp$ は、$\mathcal{D}(\operatorname{End}(T'))$ の $-\otimes^\mathbb{L}_{S'}T'$ の全左導来函手の核による商と同値である。これはバゾーニの 1-tilting 結果を一般化し、古典的 $n$-tilting 場合における古典的導来同値を回復する。

ABSTRACT

Let $T_R$ be a right $n$-tilting module over an arbitrary associative ring $R$. In this paper we prove that there exists a $n$-tilting module $T'_R$ equivalent to $T_R$ which induces a derived equivalence between the unbounded derived category $\D(R)$ and a triangulated subcategory $\mathcal E_{\perp}$ of $\D(\End(T'))$ equivalent to the quotient category of $\D(\End(T'))$ modulo the kernel of the total left derived functor $-\otimes^{\mathbb L}_{S'}T'$. In case $T_R$ is a classical $n$-tilting module, we get again the Cline-Parshall-Scott and Happel's results.

研究の動機と目的

• バゾーニの 1-tilting 導来同値結果を一般の $n$-tilting 加群へ拡張すること。
• 導来同値 $\mathcal{D}(R) \simeq \mathcal{E}_\perp \subseteq \mathcal{D}(\operatorname{End}(T'))$ を誘導する同値な $n$-tilting 加群 $T'_R$ を構成すること。
• $\mathcal{E}_\perp$ が $\mathcal{D}(\operatorname{End}(T')) / \ker(-\otimes^\mathbb{L}_{S'}T')$ と同値であること、すなわち ミヤシタ型同値の一般化を示すこと。
• 古典的 $n$-tilting 場合において、クライン＝パラシュール＝スコットおよびハッペルの結果を特殊ケースとして回復すること。

提案手法

• $T_R$ と同値な良い $n$-tilting 加群 $T'_R$ を、tilting 加群の変更により定義し、tilting 類 $KE_i(T)$ を保存すること。
• $-\otimes^\mathbb{L}_{S'}T'$ の全左導来函手を構成し、$S' = \operatorname{End}(T')$ におけるその核 $\mathcal{E}$ を $\mathcal{D}(S')$ 内で特定すること。
• $\mathcal{E}_\perp \subseteq \mathcal{D}(S')$ を $\mathcal{E}$ の右直交部分圏として定義し、それが三角的かつシフトに関して閉じていることを保証すること。
• $H = \operatorname{Hom}_R(T', -)$ および $G = - \otimes_{S'} T'$ を用いて、$\mathbb{R}H$ と $\mathbb{L}G$ の随伴函手により $\mathcal{D}(R) \simeq \mathcal{E}_\perp$ の三角的同値を確立すること。
• 同値が各 $0 \leq i \leq n$ に対して $KE_i(T)$ と $KT_i(T') \cap \mathcal{E}_\perp$ 間の加群レベルの同値に制限されることを示し、ミヤシタの結果を一般化すること。
• $T_R$ が古典的 $n$-tilting であることと $\mathcal{E} = 0$ が同値であること、したがって $\mathcal{E}_\perp = \mathcal{D}(S')$ となり、古典的導来同値 $\mathcal{D}^b(R) \simeq \mathcal{D}^b(S)$ が回復されることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 1-tilting 加群が誘導する導来同値は、$n > 1$ の $n$-tilting 加群へ一般化可能か？
• RQ2 導来函手 $-\otimes^\mathbb{L}_{S'}T'$ と $\operatorname{Hom}_R(T', -)$ が $\mathcal{D}(R)$ と $\mathcal{D}(S')$ の商の間の導来同値を誘導する同値な $n$-tilting 加群 $T'_R$ が存在するか？
• RQ3 古典的 $n$-tilting 加群の場合、導来同値はどのように古典的導来同値と関係しているか？
• RQ4 $\mathcal{D}(\operatorname{End}(T'))$ 内の $\mathcal{D}(R)$ に対応する三角的部分圏 $\mathcal{E}_\perp$ の正確な構造は何か？
• RQ5 $-\otimes^\mathbb{L}_{S'}T'$ の核 $\mathcal{E}$ が消える条件は何か？ そしてこれは古典的 $n$-tilting 性質とどのように関係するか？

主な発見

• 任意の $n$-tilting 加群 $T_R$ に対して、$S' = \operatorname{End}(T')$ とおくとき、$\mathcal{D}(R)$ と $\mathcal{D}(S')$ の三角的部分圏 $\mathcal{E}_\perp$ 間の三角的同値 $\mathcal{D}(R) \simeq \mathcal{E}_\perp$ を誘導する同値な $n$-tilting 加群 $T'_R$ が存在する。
• $\mathcal{E}_\perp$ は $\mathcal{D}(S') / \ker(-\otimes^\mathbb{L}_{S'}T')$ と同値であり、一般化された設定における導来同値を提供する。
• 同値は各 $0 \leq i \leq n$ に対して $KE_i(T) \simeq KT_i(T') \cap \mathcal{E}_\perp$ の加群レベルの同値に制限され、ミヤシタの同値を一般化する。
• $T_R$ が古典的 $n$-tilting であるとき、核 $\mathcal{E}$ は消えるため $\mathcal{E}_\perp = \mathcal{D}(S')$ となり、古典的導来同値 $\mathcal{D}^b(R) \simeq \mathcal{D}^b(S)$ が回復される。
• 導来同値は $\mathbb{R}H = \operatorname{Ext}^i_R(T', -)$ と $\mathbb{L}G = \operatorname{Tor}_i^S(-, T')$ の随伴函手により実現され、それぞれのクラス上で逆同値に制限される。
• $\mathcal{E} = 0$ であることと $T_R$ が古典的 $n$-tilting であることとは同値であり、一般化された枠組み内での古典的ケースを特徴づける。