[论文解读] Derived equivalences and stable equivalences of Morita type, II

Wei Hu, Changchang Xi|arXiv (Cornell University)|Dec 23, 2014

Algebraic structures and combinatorial models参考文献 37被引用 10

一句话总结

本文提出了一种通用方法，将代数闭域上Frobenius-有限代数的稳定同构（Morita型）提升为导出同构。证明了任意两个不含半单直和项的Frobenius-有限代数之间的此类稳定同构均可提升为迭代的几乎ν-稳定导出同构，从而在该背景下证实了Auslander-Reiten猜想，并为验证Broué的阿贝尔缺陷群猜想提供了工具。

ABSTRACT

Motivated by understanding the Broué's abelian defect group conjecture from algebraic point of view, we consider the question of how to lift a stable equivalence of Morita type between arbitrary finite dimensional algebras to a derived equivalence. In this paper, we present a machinery to solve this question for a class of stable equivalences of Morita type. In particular, we show that every stable equivalence of Morita type between Frobenius-finite algebras over an algebraically closed field can be lifted to a derived equivalence. %Thus Frobenius-finite algebras share many common %invariants of both derived equivalences and stable equivalences. Especially, Auslander-Reiten conjecrure is true for stable equivalences of Morita type between Frobenius-finite algebras without semisimple direct summands. Examples of such a class of algebras are abundant, including Auslander algebras, cluster-tilted algebras and certain Frobenius extensions. As a byproduct of our methods, we further show that, for a Nakayama-stable idempotent element $e$ in an algebra $A$ over an arbitrary field, each tilting complex over $eAe$ can be extended to a tilting complex over $A$ that induces an almost $ν$-stable derived equivalence studied in the first paper of this series. Moreover, we demonstrate that our techniques are applicable to verify the Broué's abelian defect group conjecture for several cases mentioned by Okuyama.

研究动机与目标

• 解决有限维代数之间Morita型稳定同构能否被提升为导出同构的开放问题。
• 将Rickard关于导出蕴含稳定同构的结果推广至一大类代数的逆方向。
• 为Frobenius-有限代数背景下稳定同构向导出同构的提升提供构造性方法。
• 利用所开发的工具在特定情况下验证Broué的阿贝尔缺陷群猜想。
• 建立Auslander-Reiten猜想在Morita型稳定同构下成立的条件。

提出的方法

• 引入Frobenius-有限代数的概念，定义为其中Frobenius部分（即ν-稳定幂等元e对应的eAe）为表示有限的代数。
• 发展一种技术，将eAe上的倾斜复形扩展为A上的倾斜复形，以保证几乎ν-稳定导出同构。
• 应用系列论文第一部分中的几乎ν-稳定导出同构理论，从Morita型稳定同构构造迭代导出同构。
• 利用导出同构保持单模个数的性质，而Morita型稳定同构在无半单直和项时保持投射单模个数的性质。
• 运用Nakayama函子与ν-稳定幂等元分析Frobenius部分的结构及其表示有限性。
• 将提升技术应用于具体例子，包括Auslander代数与簇-倾斜代数，以验证导出同构的提升。

实验结果

研究问题

• RQ1 在何种条件下，两个有限维代数之间的Morita型稳定同构可被提升为导出同构？
• RQ2 能否在Frobenius-有限代数之间验证Morita型稳定同构的Auslander-Reiten猜想？
• RQ3 在多大程度上可利用Morita型稳定同构及其向导出同构的提升来验证Broué的阿贝尔缺陷群猜想？
• RQ4 哪些代数类，如细胞代数，是Frobenius-有限的？
• RQ5 如何将Frobenius部分eAe上的倾斜复形扩展为整个代数A上的倾斜复形？

主要发现

• 在代数闭域上且不含半单直和项的Frobenius-有限代数之间，任意Morita型稳定同构均可提升为迭代的几乎ν-稳定导出同构。
• 在不含半单直和项的Frobenius-有限代数之间，Morita型稳定同构满足Auslander-Reiten猜想。
• 所开发的工具使Broué的阿贝尔缺陷群猜想在Okuyama先前研究的若干情况下得以验证。
• 对于代数A中的Nakayama-稳定幂等元e，eAe上的任意倾斜复形均可扩展为A上的倾斜复形，从而诱导出几乎ν-稳定导出同构。
• Frobenius-有限代数上倾斜复形的端同态代数的Cartan矩阵是表示有限的，从而可实现向导出同构的提升。
• 该方法适用于大量代数类，包括Auslander代数、簇-倾斜代数以及某些Frobenius扩张。