[论文解读] Auslander-Reiten duality for subcategories

Rasool Hafezi|arXiv (Cornell University)|May 18, 2017

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

一句话总结

本文为artin代数上模范畴 mod-Λ 的解析-余解析、函子有限的子范畴（包括有限投射维数模与Gorenstein投射模）建立了Auslander-Reiten对偶性。当Λ为1-Gorenstein代数时，提供了计算𝒫<∞(Λ)中相对Auslander-Reiten平移的方法，并刻画了Gprj-Λ上平移与第一个syzygy函子重合的条件。

ABSTRACT

Auslander-Reiten duality for module categories is generalized to some sufficiently nice subcategories. In particular, our consideration works for $\mathcal{P}^{

研究动机与目标

• 将Auslander-Reiten对偶性从模范畴推广至mod-Λ中足够好的子范畴，特别是解析-余解析、函子有限的子范畴，且对直和项封闭。
• 为1-Gorenstein代数Λ时，提供在有限投射维数模子范畴𝒫<∞(Λ)中计算Auslander-Reiten平移的方法。
• 刻画Gorenstein投射模范畴Gprj-Λ上Auslander-Reiten平移与第一个syzygy函子重合的条件。
• 在Gorenstein投射模的背景下，建立相对Auslander-Reiten对偶性与经典不变量（如整体维数与导出等价性）之间的联系。
• 将Ringel与Zhang的对偶性结果推广至更广泛的范畴框架，以支持奇点与预投射代数等应用。

提出的方法

• 利用Ringel-Zhang等价性的推广，将其扩展至具有足够投射元的阿贝尔范畴，以及对满态射的核封闭的子范畴。
• 应用稳定范畴 $ S_{\mathcal{X}}(\mathcal{A})/\mathcal{V} $ 的构造，其中 $ \mathcal{V} $ 由平凡复形组成，建立其与 $ \mathrm{mod}\underline{\mathcal{X}} $ 的等价性，从而实现对偶性结果。
• 运用余挠对理论与相对同调代数理论，关联 $ \mathcal{P}^{<\infty}(\Lambda) $ 与 $ \mathrm{Gprj}\text{-}\Lambda $，尤其在Gorenstein代数设定下。
• 应用Crawford关于预投射代数与Kleinian奇点的结果，推导出三角等价 $ \mathrm{Gprj}\text{-}T_2(R_Q)/\mathcal{V} \simeq \mathrm{mod}\Pi(\mathcal{Q}) $，将表示理论与奇点理论联系起来。
• 利用 $ \mathrm{mod}(\underline{\mathrm{Gprj}}\text{-}\Lambda) $ 上的Frobenius范畴结构，通过相对Auslander-Reiten平移分析整体维数与半单性。
• 应用稳定Gorenstein投射范畴的导出等价不变性，以在导出等价代数之间保持半单性与对偶性性质。

实验结果

研究问题

• RQ1 在何种条件下，mod-Λ的解析-余解析、函子有限子范畴会具备Auslander-Reiten对偶性？
• RQ2 当Λ为1-Gorenstein代数时，如何显式计算子范畴 $ \mathcal{P}^{<\infty}(\Lambda) $ 中的Auslander-Reiten平移？
• RQ3 在 $ \mathrm{Gprj}\text{-}\Lambda $ 上，Auslander-Reiten平移何时同构于第一个syzygy函子？
• RQ4 $ \mathrm{mod}(\underline{\mathrm{Gprj}}\text{-}\Lambda) $ 的整体维数与该范畴的半单性之间存在何种关系？
• RQ5 导出等价性与代数胶合构造如何影响Gorenstein投射子范畴中Auslander-Reiten对偶性的存在性与形式？

主要发现

• 当Λ为1-Gorenstein时，artin代数Λ上有限投射维数模的子范畴 $ \mathcal{P}^{<\infty}(\Lambda) $ 具备Auslander-Reiten对偶性，且相对Auslander-Reiten平移可显式计算。
• 对于Gorenstein投射模，其Auslander-Reiten平移与第一个syzygy函子重合当且仅当 $ \mathrm{mod}(\underline{\mathrm{Gprj}}\text{-}\Lambda) $ 是半单的，而这种情况恰好发生在整体维数为零时。
• 等价关系 $ \underline{\mathrm{Gprj}}\text{-}T_2(R_Q)/\mathcal{V} \simeq \mathrm{mod}\Pi(\mathcal{Q}) $ 成立，通过广义对偶性框架将Kleinian奇点与预投射代数联系起来。
• 二次单项式代数满足 $ \mathrm{mod}(\underline{\mathrm{Gprj}}\text{-}\Lambda) $ 为半单的条件，因为其Gorenstein投射稳定范畴是三角范畴，且与半简单范畴的乘积等价。
• 代数的简单胶合构造保持 $ \mathrm{mod}(\underline{\mathrm{Gprj}}\text{-}\Lambda) $ 的半单性，因此类型为 $ \mathbb{A}_n $ 的簇-倾斜代数与簇管中极大刚性对象的自同态代数满足对偶性条件。
• $ \mathrm{mod}(\underline{\mathrm{Gprj}}\text{-}\Lambda) $ 为半单的性质在导出等价下保持不变，如通过稳定Gorenstein投射范畴的不变性所证明。