[论文解读] On radical square zero rings

Claus Michael Ringel, Bao-Lin Xiong|arXiv (Cornell University)|Dec 6, 2011

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

一句话总结

该论文证明：对于一个具有幂零根平方为零且拥有 n 个单模块的连通左阿廷环 Λ，若某个模 M 满足对所有 1 ≤ i ≤ n+1 有 Ext^i(M,Λ) = 0，则 M 必为投射模，除非 Λ 是自对偶的。其主要贡献在于证明了边界 n+1 的最优性，并完全分类了所有具有幂零根平方为零且非自对偶的阿廷代数，这些代数允许存在在 Ext 上限于度数 n 时消失的非投射模。

ABSTRACT

Let A be a connected left artinian ring with radical square zero and with n simple modules. If A is not self-injective, then we show that any module M with Ext^i(M,A) = 0 for 1 \le i \le n + 1 is projective. We also determine the structure of the artin algebras with radical square zero and n simple modules which have a non-projective module M such that Ext^i(M,A) = 0 for 1 \le i \le n.

研究动机与目标

• 将陈关于根平方为零阿廷代数上CM模的结果推广至左阿廷环。
• 确定在非自对偶的根平方为零环中，使 Ext 消失蕴含投射性的精确边界。
• 完全分类所有具有根平方为零且拥有 n 个单模块的阿廷代数，这些代数允许存在一个非投射模 M 满足对所有 1 ≤ i ≤ n 有 Ext^i(M,Λ) = 0。
• 通过 syzygy 链和单模上的 Ext 消失性，刻画此类环与模的结构。
• 通过构造在度数 n 处消失但 n+1 处不消失的显式例子，证明边界 n+1 的最优性。

提出的方法

• 使用 syzygy 赋值 Ω_i 分析模的结构，通过迭代投射覆盖的核进行。
• 应用同构关系 Ext^i(M,Λ) ≅ Ext^{i-1}(ΩM,Λ) 将问题约化为对 syzygy 模的研究。
• 利用在根平方为零的环中，所有 syzygy 模均为半单模这一事实，使分析可基于单模进行。
• 通过在 Ext 消失性上进行归纳法，证明：若存在非投射单模 S 满足对所有 1 ≤ i ≤ d 有 Ext^i(S,Λ) = 0，则其会生成一串非投射单模的链，且这些模具有内射的投射覆盖。
• 构造特定的 Ext-Quiver Δ(n,t) 以对允许非投射模在 Ext 上限于度数 n 时消失的环的结构进行分类。
• 运用 Auslander-Reiten 理论，特别是 Auslander-Reiten 转移 τ，分析此类模的结构，并在 Ext 消失性扩展至度数 n 以上时导出矛盾。

实验结果

研究问题

• RQ1 在具有 n 个单模且非自对偶的根平方为零环 Λ 中，使 Ext^i(M,Λ) = 0 对所有 1 ≤ i ≤ d 成立蕴含 M 为投射模的最小度数 d 是多少？
• RQ2 使 Ext 消失蕴含投射性的边界 d = n+1 是否可改进，或是否为最优？
• RQ3 具有根平方为零且 n 个单模的阿廷代数，若存在一个非投射模 M 满足对所有 1 ≤ i ≤ n 有 Ext^i(M,Λ) = 0，则其结构如何？
• RQ4 此类环中，单模上的 Ext 消失性条件如何与投射覆盖和内射包的结构相关联？
• RQ5 Auslander-Reiten 图与转移函子 τ 在分类具有高 Ext 消失性的非投射模中起什么作用？

主要发现

• 对于一个具有根平方为零且拥有 n 个单模的连通左阿廷环 Λ，若对所有 1 ≤ i ≤ n+1 有 Ext^i(M,Λ) = 0 且 Λ 非自对偶，则 M 必为投射模。
• 边界 n+1 是最优的：存在非自对偶的阿廷代数，其根平方为零且拥有 n 个单模，使得存在一个非投射模 M 满足对所有 1 ≤ i ≤ n 有 Ext^i(M,Λ) = 0。
• 此类环由其 Ext-Quiver Δ(n,t) 分类，其中 t 是一个完全平方数 m²，其结构由一串非投射单模 S₀, S₁, ..., S_{n-1} 构成，且满足 S_n ≅ S₀。
• 唯一满足对所有 1 ≤ i ≤ n 有 Ext^i(M,Λ) = 0 的非投射模 M 为 M = Tr(DS₀)，其中 S₀ 是唯一满足对所有 1 ≤ i ≤ n−1 有 Ext^i(S₀,Λ) = 0 的单模。
• 模 M = Tr(DS₀) 的长度为 t² + t − 1，且 t 由 M 的结构唯一确定，表明该不变量 t 可从 M 唯一恢复。
• 对于具有 Ext-Quiver Δ(n,t) 的阿廷代数，参数 t 必须为完全平方数，且此类代数与具有 n + m − 1 条箭头并关系杀灭所有长度为 2 的路径的路径代数 Morita 等价，其中 t = m²。