[論文レビュー] On torsion torsionfree triples

Pedro Nicolás|ArXiv.org|Jan 3, 2008

Nonlinear Waves and Solitons参考文献 53被引用数 38

ひとこと要約

この論文は、ホモロジー代数と導来圏を用いて、加群圏および三角圏におけるねじれ・ねじれ自由（TTF）三つ組の包括的分類を確立する。dg圏のホモロジー的エピモルフィズムを介した三角圏におけるTTF三つ組のパラメータ化を導入し、左/右分裂TTF三つ組がべき等イデアルに対応することを証明する。非ネーター的設定におけるExtの消滅の失敗に関する重要な結果も得られる。

ABSTRACT

We study torsion torsionfree(=TTF) triples in abelian and triangulated categories. (Notice that TTF triples in a triangulated category are essentially in bijection with recollement data for this triangulated category.) In particular, we complete Jans' characterization of split TTF triples on a category of modules, prove a weak version of the Generalized Smashing Conjecture, use homological epimorphisms of differential graded(=dg) categories to give an explicite description of all the TTF triples in the derived category of a k-flat dg category and develope an unbounded approach to Koenig's theorem on recollements of right bounded derived categories of ordinary algebras.

研究の動機と目的

• 任意の環上の加群圏におけるねじれ・ねじれ自由（TTF）三つ組の分類を、ジャンズの中心的TTF三つ組に関する古典的結果を拡張することを目的とする。
• リコイルメント構造および導来圏を用いて、TTF三つ組のパラメータ化を三角圏へ一般化することを目的とする。
• TTF三つ組が左・右・中心的分裂となる条件を、特にべき等イデアルとの関係で調査することを目的とする。
• 非ネーター的設定におけるExt函手の振る舞いを分析すること、特に可算な単純なフォン・ノイマン正則環上のインジェクティブ加群に関してを目的とする。
• スマッシング部分圏と導来圏における両側イデアルとの関係を確立し、一般化されたスマッシング予想に貢献することを目的とする。

提案手法

• リコイルメントおよびデカルランメント構造を用いて、三角圏におけるTTF三つ組を特徴付ける。
• B. ケラーの導来圏におけるモリタ理論を適用し、TTF三つ組をdg圏のホモロジー的エピモルフィズムに関連付ける。
• 無限大のデヴィッサージュおよびペルフェクト生成を用いて、コンパクト対象およびスマッシング部分圏を分析する。
• dg圏の右有界導来圏を構成し、t構造およびTTF三つ組を研究する。
• 可算なフォン・ノイマン正則環において純粋なグローバル次元≤1であることを利用して、遺伝的性質を証明する。
• インジェクティブ包と直交するべき等元を用いたリフト補題を適用し、関手HomA(Q, ?)が小さな直積を保存することを示す。

実験結果

リサーチクエスチョン

• RQ1 環Aにおけるどの両側イデアルが、Mod Aにおける左または右分裂TTF三つ組に対応するか？
• RQ2 インジェクティブ右A加群Qに対して、関手HomA(Q, ?)が小さな直積を保存する条件は何か？
• RQ3 無限集合Λに対してExt1A(Q, Q(Λ))が消えるのはいつか？その非消滅は何を示唆するか？
• RQ4 dg圏の導来圏における三角圏的TTF三つ組はどのようにパラメータ化されるか？
• RQ5 導来圏におけるスマッシング部分圏と両側イデアルの関係は何か？

主な発見

• 右ネーター的でない可算な単純なフォン・ノイマン正則環Aに対して、HomA(Q, ?)が小さな直積を保存するインジェクティブ右A加群Qが存在する。
• 任意の無限集合Λに対してExt1A(Q, Q(Λ)) ≠ 0 である。これは、HomA(Q, ?)が直積を保存してもExt関手が消えないことを示している。
• 任意の集合Iに対して、自然な写像⊕i∈I HomA(Q, Xi) → HomA(Q, ⊕i∈I Xi) は双対である。これは、Qがホモトピー圏におけるコンパクト対象であることを示している。
• このようなQの存在は、非ネーター的環において一般に一般化されたスマッシング予想が成り立たないことを示唆する。
• dg圏のホモロジー的エピモルフィズムによる三角圏的TTF三つ組のパラメータ化は、ペルフェクト生成設定において完全な分類を提供する。
• HomA(Q, ?)が直積を保存してもExt1A(Q, Q(N))が消えないことは、非ネーター的文脈においてコンパクト性がインジェクティブ生成を意味しないことを示している。