[论文解读] Fabric idempotents and homological dimensions

Jordan McMahon|arXiv (Cornell University)|Mar 19, 2018

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

一句话总结

本文引入了织造幂等元——有限维代数中一类特殊的幂等理想，用于控制同调维数并实现奇点范畴的分类。通过推广Chen-Ye对Nakayama代数的研究，证明了高阶Nakayama代数的奇点范畴同构于某个自内射高阶Nakayama代数的稳定范畴，从而将分类结果推广至高维类比情形。

ABSTRACT

Over a finite-dimensonal algbera $A$, simple $A$-modules that have projective dimension one have special properties. For example, Geigle-Lenzing studied them in connection to homological epimorphisms of rings, and they have also appeared in work concerning the finitistic dimension conjecture. If we however work in a $d$-cluster-tilting subcategory, then not all simples are contained in this subcategory. In this context, a replacement might be to work with idempotent ideals instead, and utilise the theory of Auslander-Platzeck-Todorov. We introduce the notion of a fabric idempotent as an analogue of the localising modules studied by Chen-Krause, and to illustrate the theory we show that they provide rich combinatorial properties. An application is to extend the classification of singularity categories of Nakayama algebras by Chen-Ye to higher Nakayama algebras.

研究动机与目标

• 将Nakayama代数奇点范畴的分类结果推广至高阶Nakayama代数，借助同调不变量。
• 定义并研究织造幂等元，作为具有投影维数为一的模的局部化模的推广。
• 通过织造维数为Gorenstein内射模的分解中的投影生成元提供追踪框架。
• 通过连续的幂等元约化，建立奇点范畴与自内射代数的稳定模范畴之间的等价关系。

提出的方法

• 在有限维代数A中引入织造幂等元f，使得商代数A/⟨f⟩的投影维数至多为一，并满足关于Auslander-Reiten转移的对偶条件。
• 将A/⟨f⟩的投影模的织造维数定义为最小的n，使得该模可表示为某个内射A-模的第n个挠子模。
• 利用Auslander-Platzeck-Todorov理论，将织造幂等元与同调维数及Gorenstein内射模联系起来。
• 通过沿织造幂等元连续约化，将高阶Nakayama代数约化为自内射代数，同时保持奇点范畴不变。
• 通过显式构造箭图与关系的约化，证明D_sg(A) ≅ D_sg(fAf)，并最终得到D_sg(A) ≅ D_sg(B)，其中B为自内射代数。
• 验证最终约化代数f′fAff′为自内射代数，因此D_sg(f′fAff′) ≅ mod(B)。

实验结果

研究问题

• RQ1 Nakayama代数奇点范畴的分类能否推广至高阶Nakayama代数？
• RQ2 代数需满足何种结构性条件，才能存在织造幂等元并控制同调维数？
• RQ3 模的织造维数如何决定其分解中投影生成元的变化？
• RQ4 沿织造幂等元约化在何种条件下保持奇点范畴不变？
• RQ5 反复应用织造幂等元约化后，何时会得到一个自内射代数？

主要发现

• 对于任意有限维高阶Nakayama代数A，存在一个自内射高阶Nakayama代数B，使得D_sg(A) ≅ D_sg(B) ≅ mod(B)。
• 在例5中，6-Iwanaga-Gorenstein代数的A/⟨f⟩的织造维数为5，表明内射模的前六个挠子模由A(e + e_14)生成，而更高级的则由Af生成。
• 在例5中，Ω²(I_03) = P_14，Ω⁶(I_13) = P_12，且Ω⁶(I_23) = P_13，验证了织造维数与生成元转移。
• 在例5中，代数fAf同构于高阶Nakayama代数A^{(2)}_{∝l′}，其中l′ = (4,3,3,3)，且fAf非自内射，但f′fAff′为自内射。
• 最终代数f′fAff′的箭图包含顶点12,13,23,25,35,36及mesh关系，其奇点范畴同构于稳定模范畴。
• 该构造确保D_sg(A) ≅ D_sg(fAf) ≅ D_sg(f′fAff′) ≅ mod(f′fAff′)，从而完成分类。