[論文レビュー] Ringel modules and homological subcategories

Haishan Chen, Changchang Xi|arXiv (Cornell University)|Jun 4, 2012

Algebraic structures and combinatorial models参考文献 23被引用数 8

ひとこと要約

この論文は、環 $A$ 上の $n$-tilting または $n$-cotilting モジュール $T$ に対する左導来函手 $T \mathbin{\smash{ ikz[baseline=-0.5ex]}}{\text{\textasteriskcentered}}_{B}-$ の核が、環のエピモルフィズム $B \to C$ を通じて環 $C$ の導来圏 $\mathscr{D}(C)$ に同値であるような場合を統一的に扱う枠組みとして、Ringel モジュールを導入する。$n \geq 2$ に対して、非可換の場合の肯定的例と可換の場合の反例を構成し、tilting 理論における未解決問題を解決するとともに、より高い複雑性を示す cotilting モジュールへの拡張も行う。

ABSTRACT

Given a good $n$-tilting module $T$ over a ring $A$, let $B$ be the endomorphism ring of $T$, it is an open question whether the kernel of the left-derived functor $T\otimes^L_B-$ between the derived module categories of $B$ and $A$ could be realized as the derived module category of a ring $C$ via a ring epimorphism $B ightarrow C$ for $n\ge 2$. In this paper, we first provide a uniform way to deal with the above question both for tilting and cotilting modules by considering a new class of modules called Ringel modules, and then give criterions for the kernel of $T\otimes^L_B-$ to be equivalent to the derived module category of a ring $C$ with a ring epimorphism $B ightarrow C$. Using these characterizations, we display both a positive example of $n$-tilting modules from noncommutative algebra, and a counterexample of $n$-tilting modules from commutative algebra to show that, in general, the open question may have a negative answer. As another application of our methods, we consider the dual question for cotilting modules, and get corresponding criterions and counterexamples. The case of cotilting modules, however, is much more complicated than the case of tilting modules.

研究の動機と目的

• tilting 理論における未解決問題を解決すること：$n \geq 2$ である $n$-tilting モジュール $T$ に対して、$T \otimes^\mathbb{L}_B -$ の核が、ある環 $C$ を通じた環のエピモルフィズム $B \to C$ を介して $\mathscr{D}(C)$ に同値となるかどうか。
• 新しいクラスのモジュールである Ringel モジュールを導入することで、tilting および cotilting モジュールの統一的取り扱いを実現すること。
• 環 $C$ の導来圏 $\mathscr{D}(C)$ に $T \otimes^\mathbb{L}_B -$ の核が同値となるための一般基準を提供すること。ただし、$B \to C$ はホモロジー的環のエピモルフィズムであるものとする。
• 非可換代数におけるこのような実現の肯定的例と、可換代数における反例を $n$-tilting モジュールに対して構成すること。
• tilting モジュールよりもはるかに複雑であることが示される cotilting モジュールの分析を拡張し、対応する基準と例を提供すること。

提案手法

• $n$-tilting および $n$-cotilting モジュールに対する $T \otimes^\mathbb{L}_B -$ の核を分析する統一的枠組みとして Ringel モジュールを導入する。
• 導来函手、Tor および Ext の消滅、相対 Mittag-Leffler モジュールの性質を用いたホモロジー的基準を確立する。
• 導来圏における recollement 構造を用いて、環のエピモルフィズムを介して $\mathscr{D}(C)$、$\mathscr{D}(B)$、$\mathscr{D}(A)$ を関連付ける。
• 基準を適用し、非可換代数からの肯定的例と可換代数からの反例を $n$-tilting モジュールに対して構成する。
• 双対的な cotilting モジュールのケースを分析するため、基準を適応し、ホモロジー的部分圏に必要な条件を証明する。
• スペクトル系列およびインジェクティブ包と局所コホホモロジーの性質を用いて、反例における Tor および Ext 群の消滅および非消滅を検証する。

実験結果

リサーチクエスチョン

• RQ1 任意の $n \geq 2$ に対して、環 $A$ 上の良い $n$-tilting モジュール $T$ が存在し、$T \otimes^\mathbb{L}_B -$ の核が、ある環 $C$ を通じた環のエピモルフィズム $B \to C$ を介して $\mathscr{D}(C)$ に同値となるか。
• RQ2 補題 1.2(1) の逆は真か。すなわち、$T \otimes^\mathbb{L}_B -$ の核がホモロジー的であるならば、$T$ は 1-tilting モジュールでなければならないか。
• RQ3 良い $n$-cotilting モジュール $U$ に対して、$\mathrm{End}_A(U) \to C$ なるホモロジー的環のエピモルフィズム $\lambda$ が存在し、$\mathscr{D}(C)$ が $U \otimes^\mathbb{L}_B -$ の核を実現するか。
• RQ4 環 $A$ から出発するホモロジー的環のエピモルフィズムを用いて、$\mathscr{D}(A)$ のホモロジー的部分圏をパrameter化できるか、あるいは同値に分類できるか。
• RQ5 補題 6.2 の Ringel $R$-モジュール $M$ は常に良いものか。そして、これは補題 6.3 の一般化を意味するか。

主な発見

• この論文は、$n \geq 2$ である非可換環上に良い $n$-tilting モジュールを構成し、$T \otimes^\mathbb{L}_B -$ の核が環のエピモルフィズム $B \to C$ を介して $\mathscr{D}(C)$ に同値である肯定的例を提供する。
• 可換代数において $n$-tilting モジュールに対して、$n \geq 2$ の反例を提示し、$T \otimes^\mathbb{L}_B -$ の核が、このようなエピモルフィズムを介して任意の環 $C$ の $\mathscr{D}(C)$ に同値でないことを示している。
• $n$-cotilting モジュールに関しては、一般に $\mathscr{D}(B)$ 内で $U \otimes^\mathbb{L}_B -$ の核がホモロジー的でないことが証明されており、$n=2$ に対しても $\mathrm{Ext}^n(W, U_n) \neq 0$ であるためである。
• 核を $\mathscr{D}(C)$ として実現するための基準は、tilting モジュールに対しては有効であるが、cotilting モジュールに対してははるかに複雑であり、Tor および Ext の消滅のより深い分析を要する。
• この論文は、$n$-tilting モジュールに対して $n \geq 2$ の場合、このような recollement の存在は保証されないことが確認されており、環およびモジュールの構造に依存する。
• 反例において、$\mathrm{Tor}_n^A(E(A/\mathfrak{m}), E(A/\mathfrak{m})) \neq 0$ および $\mathrm{Ext}_A^n(W, U_n) \neq 0$ であることが示され、核がホモロジー的でないことが妨げられている。