[論文レビュー] Simple dg modules for positive dg algebras

Bernhard Keller, Pedro Nicolás|arXiv (Cornell University)|Sep 29, 2010

Algebraic structures and combinatorial models参考文献 15被引用数 4

ひとこと要約

この論文は、Dwyer-Greenlees-Iyengarの技法を用いて、コンパクトな生成対象によって生成される三角圏における重み構造を構成し、正のdg代数で、次数0におけるホモロジーが半単純である場合、そのホモロジー上の各単純加群が、導来圏において同型を除いて一意にdg加群に引き上げられることを証明する。これにより、そのようなdg代数の完全な導来圏に標準的なt-構造が得られ、特定のdg代数、特にGinzburg代数を含む、t-構造の心と単純 minded 観点の集合との間の全単射が確立される。

ABSTRACT

Using techniques due to Dwyer-Greenlees-Iyengar we construct weight structures in triangulated categories generated by compact objects. We apply our result to show that, for a dg category whose homology vanishes in negative degrees and is semi-simple in degree 0, each simple module over the homology lifts to a dg module which is unique up to isomorphism in the derived category. This allows us, in certain situations, to deduce the existence of a canonical t-structure on the perfect derived category of a dg algebra. From this, we can obtain a bijection between hearts of t-structures and sets of so-called simple-minded objects for some dg algebras (including Ginzburg algebras associated to quivers with potentials). In three appendices, we elucidate the relation between Milnor colimits and homotopy colimits and clarify the construction of t-structures from sets of compact objects in triangulated categories as well as the construction of a canonical weight structure on the unbonded derived category of a non positive dg category.

研究の動機と目的

• コンパクトな生成対象によって生成される三角圏における重み構造を、ホモロジー的技法を用いて構成すること。
• 正のdg代数のホモロジー上の単純加群が、導来圏において一意にdg加群に引き上げられることを確立すること。
• そのようなdg代数の完全な導来圏における標準的t-構造の存在を導出すること。
• dg代数、特にGinzburg代数を含む、t-構造の心と単純 minded 観点の集合との間の対応関係を明確にすること。
• 三角圏におけるMilnor余極限、ホモトピー余極限、およびt-構造の構成との関係を解明すること。

提案手法

• Dwyer, Greenlees, Iyengarの技法を応用し、コンパクト生成対象を備えた三角圏における重み構造を構成する。
• ホモロジーが負の次数で消え、次数0で半単純であるdg圏に重み構造理論を適用する。
• 重み構造の存在を用いて、dg代数の完全な導来圏に標準的t-構造を誘導する。
• 単純加群の一意的dg上昇を通じて、t-構造の心と単純 minded 観点の集合との間の全単射を確立する。
• Milnor余極限とそれらが導来圏の文脈におけるホモトピー余極限とどのように関係するかを分析する。
• 明示的なホモトピー的技法を用いて、非正のdg圏の非有界導来圏に標準的重み構造を構成する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな生成対象によって生成される三角圏において、ホモロジー的技法を用いて重み構造を体系的に構成できるか？
• RQ2 正のdg代数のホモロジー上の単純加群が、導来圏において一意にdg加群に引き上げられるのはどのような条件下か？
• RQ3 そのような一意的上昇の存在が、完全な導来圏における標準的t-構造の存在を示唆するのはいつか？
• RQ4 Ginzburg代数のようなdg代数において、単純 minded 観点の集合とt-構造の心との間の正確な関係は何か？
• RQ5 dg代数の導来圏において、Milnor余極限はホモトピー余極限とどのように関係するか？

主な発見

• 正のdg代数で、次数0におけるホモロジーが半単純である場合、そのホモロジー上の任意の単純加群は、導来圏における同型を除いて一意にdg加群に引き上げられる。
• この一意的上昇性質により、そのdg代数の完全な導来圏に標準的t-構造が存在することが保証される。
• このようなdg代数において、t-構造の心と単純 minded 観点の集合との間の全単射が確立される。
• この構成は、有向グラフとポテンシャルを伴うGinzburg代数に適用可能であり、これらの代数に対してt-構造フレームワークを提供する。
• 論文は、与えられた条件下で、導来圏の文脈においてMilnor余極限とホモトピー余極限が一致することを明確にしている。
• 非正のdg圏の非有界導来圏に標準的重み構造が構成され、有界または完全な場合に限らない理論の拡張がなされた。