[论文解读] 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$-代数建立了广义的科什乌尔对偶理论，证明了双重科什乌尔对偶同伦等价于原始代数，并在完美与有限维同调范畴之间诱导出导出等价。一个关键结果是：分次代数的阿廷-施莱尔正则性等价于其上同调代数为弗罗贝尼乌斯代数，该结果推广了史密斯定理，并在科什乌尔对偶下扩展了卡勒比-沃伊特性质。

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$-代数的完美导出范畴与其科什乌尔对偶的有限维同调范畴之间建立导出等价。
• 通过证明此类代数的上同调代数为弗罗贝尼乌斯代数，推广史密斯关于阿廷-施莱尔正则代数的结果。
• 在代数及其对偶均为诺特环并满足多项式恒等式时，证明戈伦斯坦性质在科什乌尔对偶下保持不变。
• 通过完美模的导出范畴与稳定导出范畴之间的导出等价，将 BGG 对应关系推广至 $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 分次代数的阿廷-施莱尔正则性是否等价于其上同调代数为弗罗贝尼乌斯代数？
• RQ5 在诺特与多项式恒等式假设下，戈伦斯坦性质是否在科什乌尔代数与其对偶之间传递？

主要发现

• 若增强的 $A_\infty$-代数的科什乌尔对偶局部有限，则其双重科什乌尔对偶同构于原始代数。
• 对于阿达姆斯连通的 $A_\infty$-代数 $A$ 及其科什乌尔对偶 $E$，若 $HE$ 为有限维，则存在三角等价 $\mathsf{D}^\infty_{\operatorname{per}}(A) \cong \mathsf{D}^\infty_{\operatorname{fd}}(E)$。
• 连通分次代数 $A$ 是阿廷-施莱尔正则的，当且仅当其上同调代数 $\operatorname{Ext}^\ast_A(k,k)$ 为弗罗贝尼乌斯代数，推广了史密斯的结果。
• 若 $R$ 为科什乌尔代数，且 $R$ 与它的科什乌尔对偶 $R^!$ 均为诺特环并满足多项式恒等式，则 $R$ 是戈伦斯坦代数当且仅当 $R^!$ 是。
• BGG 对应关系被推广：对于诺特的右阿廷-施莱尔正则 $A_\infty$-代数 $A$，存在等价 $\mathsf{D}^\infty(\operatorname{proj}A) \cong \underline{\mathsf{D}}^\infty_{\operatorname{fg}}(E)$，其中 $E$ 为 $A$ 的科什乌尔对偶。
• 在给定技术条件下，卡勒比-沃伊特性质在科什乌尔对偶下保持不变，因为戈伦斯坦性质被保持，且在此设定下与阿廷-施莱尔条件等价。