[论文解读] Stable categories of higher preprojective algebras

Osamu Iyama, Steffen Oppermann|arXiv (Cornell University)|Dec 17, 2009

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

一句话总结

本文为全局维数至多为 $ n $ 的有限维代数引入了 $(n+1)$-预投影代数，证明若原代数是 $ n $-表示有限型，则其 $(n+1)$-预投影代数是自内射的，且其稳定模范畴是 $(n+1)$-卡拉比-丘。关键的是，该稳定范畴同构于稳定 $ n $-奥尔施泰因代数的 $(n+1)$-阿米厄特簇范畴，因此包含一个 $(n+1)$-簇倾斜对象。

ABSTRACT

We introduce (n+1)-preprojective algebras of algebras of global dimension n. We show that if an algebra is n-representation-finite then its (n+1)-preprojective algebra is self-injective. In this situation, we show that the stable module category of the (n+1)-preprojective algebra is (n+1)-Calabi-Yau, and, more precisely, it is the (n+1)-Amiot cluster category of the stable n-Auslander algebra of the original algebra. In particular this stable category contains an (n+1)-cluster tilting object. We show that even if the (n+1)-preprojective algebra is not self-injective, under certain assumptions (which are always satisfied for n \in {1,2}) the results above still hold for the stable category of Cohen-Macaulay modules.

研究动机与目标

• 通过为全局维数为 $ n $ 的代数定义 $(n+1)$-预投影代数，将经典预投影代数推广至高阶表示理论。
• 建立这些代数的同调性质，特别是当满足 $ n $-表示有限性时的自内射性与卡拉比-丘行为。
• 证明 $(n+1)$-预投影代数的稳定模范畴同构于一个 $(n+1)$-阿米厄特簇范畴，从而实现一个高阶簇倾斜对象。
• 在 $(n+1)$-预投影代数非自内射时，通过科亨-麦克唐纳模范畴扩展结果，前提是满足 vosnex 条件。
• 通过导出等价与稳定范畴中的倾斜对象，统一高阶簇范畴理论与高阶预投影代数。

提出的方法

• 将 $(n+1)$-预投影代数定义为张量代数 $\widetilde{\Lambda} = T_\Lambda \operatorname{Ext}_\Lambda^n(D\Lambda, \Lambda)$，推广经典预投影代数。
• 利用 $ n $-阿米厄特簇范畴与轨道范畴的普遍性质，关联导出范畴与稳定模范畴。
• 通过 $ \mathrm{mod}\,\Lambda $ 中的 $ n $-簇倾斜对象，在稳定模范畴 $\underline{\mathrm{mod}}\,\widetilde{\Lambda}$ 中构造一个倾斜对象。
• 通过导出函子验证对偶条件，证明稳定范畴 $\underline{\mathrm{mod}}\,\widetilde{\Lambda}$ 是 $(n+1)$-卡拉比-丘。
• 在非自内射情形下，研究科 Hen-Macaulay 模的稳定范畴 $\underline{\mathrm{CM}}(\widetilde{\Lambda})$，证明其同构于稳定 $ n $-奥尔施泰因代数 $\Gamma$ 的导出范畴。
• 通过限制函子与倾斜对象的自同态代数，利用 DG 代数技巧与导出范畴建立三角等价。

实验结果

研究问题

• RQ1 在何种条件下，$ n $-表示有限型代数的 $(n+1)$-预投影代数是自内射的？
• RQ2 $(n+1)$-预投影代数的稳定模范畴如何与高阶簇范畴相关联？
• RQ3 当 $(n+1)$-预投影代数非自内射时，其稳定范畴是否仍具有 $(n+1)$-卡拉比-丘性质？
• RQ4 vosnex 条件在将自内射情形的结果推广至一般情形中起什么作用？
• RQ5 $(n+1)$-预投影代数的稳定范畴与一个 $(n+1)$-阿米厄特簇范畴之间是否存在三角等价？

主要发现

• 若 $\Lambda$ 是 $ n $-表示有限型，则其 $(n+1)$-预投影代数 $\widetilde{\Lambda}$ 是自内射的。
• 当 $\widetilde{\Lambda}$ 自内射时，其稳定模范畴 $\underline{\mathrm{mod}}\,\widetilde{\Lambda}$ 是 $(n+1)$-卡拉比-丘。
• 稳定模范畴 $\underline{\mathrm{mod}}\,\widetilde{\Lambda}$ 与稳定 $ n $-奥尔施泰因代数 $\Gamma$ 的 $(n+1)$-阿米厄特簇范畴 $\mathscr{C}^{n+1}_\Gamma$ 三角同构。
• 当 $\widetilde{\Lambda}$ 非自内射但满足 vosnex 条件时，稳定范畴 $\underline{\mathrm{CM}}(\widetilde{\Lambda})$ 同构于 $\Gamma$ 的导出范畴。
• 在 vosnex 条件下，稳定范畴 $\underline{\mathrm{CM}}(\widetilde{\Lambda})$ 是 $(n+1)$-卡拉比-丘，且包含一个 $(n+1)$-簇倾斜对象。
• 在 $\underline{\mathrm{CM}}(\widetilde{\Lambda})$ 中，倾斜对象的自同态代数同构于稳定 $ n $-奥尔施泰因代数 $\Gamma$，且该同构通过限制函子实现。