[論文レビュー] On tilting complexes providing derived equivalences that send simple-minded objects to simple objects

Steffen Koenig, Dong Yang|arXiv (Cornell University)|Nov 17, 2010

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

ひとこと要約

この論文は、t-構造とA∞-構造を用いて、リッカードのティルティング複体の構成が単純対象を実際に単純加群に送る導来同値を与える条件を特徴づけている。このような複体がティルティングであるのは、関連するt-構造が非正dg代数の導来カテゴリにおける標準的t-構造と整合するときであり、リッカードの結果を自己同型的かつ非正dg代数へ拡張する代替のA∞-構成を提供している。

ABSTRACT

Given a set of 'simple-minded' objects in a derived category, Rickard constructed a complex, which over a symmetric algebra provides a derived equivalence sending the 'simple-minded' objects to simple ones. We characterise in terms of t-structures, when this complex is a tilting complex, show that there is an associated natural $t$-structure and we provide an alternative construction of this complex in terms of A-infinity-structures. Our approach is similar to that of Keller--Nicolás.

研究の動機と目的

• リッカードのティルティング複体の構成が、単純対象を実際に単純加群に写す導来同値を与える条件を特徴づけること。
• リッカードの複体がティルティング複体であるための必要十分条件（t-構造の観点で記述されたもの）を同定すること。
• リッカードの元々の結果を対称代数から自己同型的かつ有限次元の非正dg代数へ拡張すること。
• ケラーとニコラスの結果を一般化する形で、同じ複体の代替的A∞-構成を提供すること。
• 関連するt-構造のハートが、元の代数の加群カテゴリと同値であることを確立し、単純対象の正しい振る舞いを保証すること。

提案手法

• t-構造理論を用いて、リッカードのミルナー余極限構成が、有限次元の非正dg代数の導来カテゴリにおいていつティルティング複体を与えるかを分析する。
• dg代数の導来カテゴリにおける標準的t-構造を適用し、リッカードの複体が、mod(Ā)（元の代数Āの加群カテゴリ）と同値なハートを持つt-構造を誘導することを示す。
• minimal perfect resolution（補題5.4）を用いて、per(A)内の対象を quasi-isomorphic に表現し、ホモロジー条件との整合性を保証する。
• ナカヤマ関手νとその随伴を用いて、射影加群e_iAと単純加群S_jとの間に双対性を確立し、D(A)におけるホモロジー条件が単純加群と射影加群を特徴づけることを示す。
• ケラーとルフェーヴルのA∞-圏と導来同値に関する結果を活用し、A∞-構造を用いてティルティング複体を構成する。
• 特にper(A)とD_fd(A)に注目して、dg代数とその導来カテゴリの理論を応用し、有限性とt-構造との整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 リッカードの複体が単純対象を単純加群に写すとき、それがティルティング複体である条件は何か？
• RQ2 リッカードの構成に関連するt-構造はどのように特徴づけられ、D_fd(A)における標準的t-構造とどのような関係にあるか？
• RQ3 リッカードの構成をA∞-構造を用いて再定式化できるか？そして、これにより同等の導来同値が得られるか？
• RQ4 リッカードの結果は、対称代数を越えて、特に自己同型的かつ非正dg代数へどの程度一般化できるか？
• RQ5 単純対象の集合{S₁,…,Sᵣ}と、導来カテゴリ内での対応する射影生成子との間の正確な関係は何か？

主な発見

• リッカードの複体がティルティング複体であるのは、関連するt-構造がD_fd(A)における標準的t-構造と整合するときであり、これは複体がティルティング条件を満たすときに限り成立する。
• リッカードの複体が誘導するt-構造のハートは、元の代数Āの加群カテゴリmod(Ā)と同値である。
• D_fd(A)内の単純対象の集合{S₁,…,Sᵣ}は、Ā上の単純加群に正確に対応し、射影加群e_iAとのホモロジー条件によって特徴づけられる。
• ミルナー余極限によって構成された複体は、最小的完全dg加群と quasi-isomorphic であり、これによりper(A)におけるティルティング性が保証される。
• A∞-構造による構成は、同じティルティング複体の代替的で同値な記述を提供し、有限次元の非正dg代数のより広い文脈で有効である。
• ナカヤマ関手νは、per(A)とthick(D(A))との間で三角同値を誘導し、双対性を通じて、S_jとD(Ae_i)との間のホモロジー条件が単純加群の構造を回復することを保証する。