[论文解读] Infinitely many algebras derived equivalent to a block

Jeremy Rickard|arXiv (Cornell University)|Oct 9, 2013

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

一句话总结

本文证明了某些具有阿贝尔缺陷群的有限群的块代数，通过基于对称代数上模的syzygy构造，与无穷多个非Morita等价的代数导出等价。关键结果是：导出等价代数中Cartan不变量无界，意味着存在无穷多个Morita等价类，从而挑战了Donovan猜想中的有限性假设。

ABSTRACT

We give a construction that in many cases gives a simple way to construct infinite families of algebras that are not Morita equivalent, but are all derived equivalent to the same block algebra of a finite group, and apply it to some small blocks. We make some remarks relating this construction to Donovan's Conjecture and Broue's Abelian Defect Group Conjecture.

研究动机与目标

• 研究导出等价于一个区块代数是否意味着仅有有限多个Morita等价类，尤其与Donovan猜想和Broué猜想的关系。
• 确定是否存在无穷多个导出等价代数且其Cartan不变量无界，是否与Donovan猜想的较弱形式相矛盾。
• 提供一种构造方法，用于生成无穷多个导出等价但非Morita等价的代数族。
• 探讨是否可以在不依赖有限单群分类的情况下，排除此类代数作为区块代数的可能性。

提出的方法

• 使用投影覆盖和简单模子集索引的商模，构造一个倾斜复形。
• 利用对称代数中的对偶性，分析投影模的同伦范畴中的Hom空间。
• 在自同态代数 $ E $ 上定义模 $ M = \operatorname{Hom}_{A}(P_k, P_\epsilon) $，并分析其syzygy $ \Omega^s M $。
• 建立 $ \Omega^s M $ 的底层维数的递推关系 $ a_{s+1} = 3a_s + 1 $，表明其呈指数增长。
• 应用定理2.3，得出无界Cartan不变量意味着导出等价代数存在无穷多个Morita等价类。
• 利用具有阿贝尔缺陷群（如 $ D = C_3 \times C_3 $）的群代数结构，构造出具有无穷多个导出等价类的具体例子。

实验结果

研究问题

• RQ1 即使Cartan不变量有界，是否存在无穷多个与给定区块代数导出等价的Morita等价类？
• RQ2 是否存在无穷多个导出等价代数且其Cartan不变量无界，可否用于反驳Donovan猜想的较弱形式？
• RQ3 是否可以证明通过syzygy方法构造的某些导出等价代数，不与任何区块代数Morita等价，且无需依赖有限单群分类？
• RQ4 导出等价是否保持足够的结构性质，以区分区块代数与其他导出等价代数？

主要发现

• 模 $ M $ 的syzygy维数 $ a_s $ 呈指数增长，满足递推关系 $ a_{s+1} = 3a_s + 1 $，初始条件为 $ a_0 = a_1 = 2 $。
• 递推关系的解显示指数增长：$ a_s = \left(1 - \frac{1}{\sqrt{5}}\right)\left(\frac{3+\sqrt{5}}{2}\right)^s + \left(1 + \frac{1}{\sqrt{5}}\right)\left(\frac{3-\sqrt{5}}{2}\right)^s $。
• 导出等价代数中Cartan不变量无界，意味着存在无穷多个Morita等价类。
• 该构造适用于具有阿贝尔缺陷群（如 $ D = C_3 \times C_3 $）的有限群的区块代数，产生无穷多个导出等价但非Morita等价的代数族。
• 该方法无需依赖有限单群分类，提示了一条可能路径，用于区分非区块代数与导出等价代数。
• 结果表明，Broué的阿贝尔缺陷猜想并不能直接推出Donovan猜想，因为即使Cartan不变量有界，也可能不足以保证仅有有限多个Morita类。