[論文レビュー] Koszul Equivalences in $A_\infty$-Algebras

D.-M. Lu, John H. Palmieri+2 more|ArXiv.org|Oct 29, 2007

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

ひとこと要約

本稿は、アダムス連結 $A_\infty$-代数に対する一般化されたコシュール双対性理論を確立し、二重コシュール双対が元の代数と quasi-isomorphic であることを証明するとともに、完備および有限次元ホモロジー圏の間で導来同値を誘導する。主な結果として、順序付き代数のアーティン＝シュレーダー正則性は、その Ext-代数がフレーバー代数であることと同値であり、スミスの定理を一般化し、コシュール双対性下でカバリ＝ヤウ性質を拡張する。

ABSTRACT

We prove a version of Koszul duality and the induced derived equivalence for Adams connected $A_\infty$-algebras that generalizes the classical Beilinson-Ginzburg-Soergel Koszul duality. As an immediate consequence, we give a version of the Bernšte{\uı}n-Gel'fand-Gel'fand correspondence for Adams connected $A_\infty$-algebras. We give various applications. For example, a connected graded algebra $A$ is Artin-Schelter regular if and only if its Ext-algebra $\Ext^\ast_A(k,k)$ is Frobenius. This generalizes a result of Smith in the Koszul case. If $A$ is Koszul and if both $A$ and its Koszul dual $A^!$ are noetherian satisfying a polynomial identity, then $A$ is Gorenstein if and only if $A^!$ is. The last statement implies that a certain Calabi-Yau property is preserved under Koszul duality.

研究の動機と目的

• 古典的コシュール双対性およびベイルソン＝ジンブルグ＝ゾルゲル双対性を $A_\infty$-代数の設定に拡張すること。
• アダムス連結 $A_\infty$-代数の完備導来カテゴリとそのコシュール双対の有限次元ホモロジーカテゴリとの間の導来同値性を確立すること。
• スミスのアーティン＝シュレーダー正則代数に関する結果を一般化し、このような代数がフレーバー代数である Ext-代数によって特徴づけられることを示すこと。
• 代数およびその双対がノエター的かつ多項式恒等式を満たすとき、ゴレンシュタイン性がコシュール双対性下で保存されることを証明すること。
• 射影的スキームの導来カテゴリ $\mathsf{D}^\infty(\operatorname{proj}A)$ と安定導来カテゴリ $\underline{\mathsf{D}}^\infty_{\operatorname{fg}}(E)$ の間の導来同値性により、BGG対応を $A_\infty$-代数へ拡張すること。

提案手法

• $A_\infty$-代数のコシュール双対を、そのバー構成のベクトル空間双対として定義する。
• 局所有限なコシュール双対を持つ増分 $A_\infty$-代数に対して、二重コシュール双対が元の代数と $A_\infty$-同型であることを証明する。
• $A_\infty$-加群の導来カテゴリを用い、完備複体 ($\mathsf{D}^\infty_{\operatorname{per}}$) と有限次元ホモロジー加群 ($\mathsf{D}^\infty_{\operatorname{fd}}$) を区別する。
• コシュール双対 $E$ のホモロジーが有限次元であるとき、三角的同値 $\mathsf{D}^\infty_{\operatorname{per}}(A) \cong \mathsf{D}^\infty_{\operatorname{fd}}(E)$ を確立する。
• 射影的スキームの導来カテゴリ $\mathsf{D}^\infty(\operatorname{proj}A)$ と安定導来カテゴリ $\underline{\mathsf{D}}^\infty_{\operatorname{fg}}(E)$ を定義し、アーティン＝シュレーダー正則性のもとでそれらの同値性を証明する。
• 理論を応用して、ノエター的かつ多項式恒等式を満たす条件のもとで、ゴレンシュタイン性がコシュール双対性下で保存されることを示す。

実験結果

リサーチクエスチョン

• RQ1 $A_\infty$-代数に対して、古典的およびベイルソン＝ジンブルグ＝ゾルゲル双対性を回復する一般化されたコシュール双対性は存在するか？
• RQ2 何の条件下で、 $A_\infty$-代数の二重コシュール双対が $A_\infty$-同型の意味で元の代数に回復されるか？
• RQ3 アダムス連結 $A_\infty$-代数の完備モジュールの導来カテゴリは、そのコシュール双対の有限次元ホモロジーを持つモジュールのカテゴリと導来同値となるか？
• RQ4 順序付き代数のアーティン＝シュレーダー正則性は、その Ext-代数がフレーバー代数であることと同値か？
• RQ5 代数およびそのコシュール双対がノエター的かつ多項式恒等式を満たすと仮定したとき、ゴレンシュタイン性はコシュール双対性によって保存されるか？

主な発見

• 増分 $A_\infty$-代数の二重コシュール双対は、そのコシュール双対が局所有限である限り、元の代数と $A_\infty$-同型である。
• アダムス連結 $A_\infty$-代数 $A$ 及びそのコシュール双対 $E$ に対して、 $HE$ が有限次元である限り、三角的同値 $\mathsf{D}^\infty_{\operatorname{per}}(A) \cong \mathsf{D}^\infty_{\operatorname{fd}}(E)$ が成り立つ。
• 連結な順序付き代数 $A$ がアーティン＝シュレーダー正則であることは、その Ext-代数 $\operatorname{Ext}^\ast_A(k,k)$ がフレーバー代数であることと同値であり、スミスの結果を一般化する。
• $R$ がコシュール代数であり、 $R$ 及びそのコシュール双対 $R^!$ がともにノエター的かつ多項式恒等式を満たすとき、 $R$ がゴレンシュタインであることは $R^!$ がゴレンシュタインであることと同値である。
• BGG対応が一般化される：ノエター的で右アーティン＝シュレーダー正則な $A_\infty$-代数 $A$ に対して、 $A$ のコシュール双対 $E$ を用いて、同値 $\mathsf{D}^\infty(\operatorname{proj}A) \cong \underline{\mathsf{D}}^\infty_{\operatorname{fg}}(E)$ が成り立つ。
• 与えられた技術的条件下で、カバリ＝ヤウ性質はコシュール双対性下で保存される。これはゴレンシュタイン性が保存され、この設定においてゴレンシュタイン性とアーティン＝シュレーダー条件が同値であるためである。