We investigate compatibility of gradings for an almost Koszul or Koszul algebra $R$ that is also the higher preprojective algebra $Î _{n+1}(A)$ of an $n$-hereditary algebra $A$. For an $n$-representation finite algebra $A$, we show that $A$ must be Koszul if $Î _{n+1}(A)$ can be endowed with an almost Koszul grading. For an acyclic basic $n$-representation infinite algebra $A$, we show that $A$ must be Koszul if $Î _{n+1}(A)$ can be endowed with a Koszul grading. From this we deduce that a higher preprojective grading of an (almost) Koszul algebra $R = Î _{n+1}(A)$ is, in both cases, isomorphic to a cut of the (almost) Koszul grading. Up to a further assumption on the tops of the degree $0$ subalgebras for the different gradings, we also show a similar result without the basic assumption in the $n$-representation infinite case. As an application, we show that $n$-APR tilting preserves the property of being Koszul for $n$-representation infinite algebras.
On compatibility of Koszul- and higher preprojective gradings
- 论文ID: 2411.13283
- 标题: On compatibility of Koszul- and higher preprojective gradings
- 作者: Darius Dramburg (Uppsala University), Mads Hustad Sandøy (NTNU)
- 分类: math.RT (Representation Theory), math.RA (Rings and Algebras)
- 发表时间: October 17, 2025 (arXiv版本v3)
- 论文链接: https://arxiv.org/abs/2411.13283
本文研究了既是几乎Koszul或Koszul代数又是n-遗传代数A的高阶预投射代数Πn+1(A)的分次兼容性问题。对于n-表示有限代数A,作者证明了如果Πn+1(A)可以赋予几乎Koszul分次,则A必须是Koszul的。对于非循环基本n-表示无限代数A,作者证明了如果Πn+1(A)可以赋予Koszul分次,则A必须是Koszul的。由此推导出(几乎)Koszul代数R = Πn+1(A)的高阶预投射分次在两种情况下都同构于(几乎)Koszul分次的切割。作为应用,作者证明了n-APR倾斜保持n-表示无限代数的Koszul性质。
- 预投射代数的重要性: 预投射代数在表示论中扮演重要角色,最初由Gelfand和Ponomarev构造,后来被Dlab和Ringel给出组合描述。对于箭图Q,预投射代数定义为Π(Q) = kQ̄/(∑α∈Q₁ αα* - α*α)。
- 高阶推广: Iyama和Oppermann在Iyama的高阶Auslander-Reiten理论框架下将预投射代数推广为高阶预投射代数:Πn+1(A) = TA Ext^n_A(D(A), A)。
- 分次结构的交互: 当n-遗传代数A是Koszul时,Πn+1(A)可以同时具有:
- 来自张量度数的高阶预投射分次
- Grant-Iyama构造的(n+1)-总分次,使其成为(几乎)Koszul代数
作者提出的关键问题(Question 2.24)是:给定一个(几乎)Koszul代数R•和其上的高阶预投射分次,是否存在自同构将高阶预投射分次映射为Koszul分次的"切割"?
- 理论完善: 理解不同分次结构之间的兼容性关系
- 逆向问题: Grant-Iyama的工作显示Koszul的A导致(几乎)Koszul的Πn+1(A),本文研究逆向问题
- 几何解释: 在n-表示驯良情况下,分次兼容性等价于仿射簇Spec(Z(Πn+1(A)))上两个k*-作用的交换性
- n-表示有限情况的完整刻画: 证明了如果Πn+1(A)可赋予几乎Koszul分次,则A必须是Koszul的(Proposition 4.2),并且存在高阶预投射切割(Theorem 4.3)。
- n-表示无限情况的基本版本: 对于非循环基本n-表示无限代数A,证明了如果Πn+1(A)可赋予Koszul分次,则A必须是Koszul的,且存在切割(Theorem 5.16)。
- 非基本版本的扩展: 在额外假设下给出了非基本情况的类似结果(Theorem 5.17)。
- APR倾斜的Koszul性保持: 证明了n-APR倾斜保持n-表示无限代数的Koszul性质(Corollary 5.18)。
- 技术工具的发展: 建立了分次根的关系、幂零元素的作用等关键技术结果。
Definition 2.19: 高阶预投射分次•R在(几乎)Koszul代数R•上称为切割,如果:
- Koszul生成双模R₁分解为预投射齐次片:R₁ = ₀(R₁) ⊕ ₁(R₁)
- 分解恢复预投射分次:₀R = ⟨R₀ ⊕ ₀(R₁)⟩,₁R由₁(R₁)作为₀R-双模生成
Definition 3.1: 局部有限非负分次代数R•称为分次基本的,如果有限维代数R₀是基本的。
通过Wedderburn-Malcev定理和分次结构的相互作用:
- Proposition 5.2: 对于两个局部有限维分次R•和•R,有top(R₀) ≃ top(₀R)
- Corollary 5.6: 在基本假设下,如果生成元是幂零的,则分次根包含关系成立
关键技术结果: 对于非循环n-表示无限代数A,双模HomA(A, τ⁻ₙ(A))由幂零元素生成(Corollary 5.11)。
证明策略:
- 利用n-几乎分裂序列的结构
- 分析态射f: P → τ⁻ₙ(P)的因子分解
- 使用Gabriel箭图的非循环性排除某些直和项
Proposition 5.14: 如果分次单模作为未分次模同构,且满足局部有限条件,则A是Koszul的。
证明要点:
- 使用最小分次投射分解
- 建立Ext代数的生成关系
- 从Πn+1(A)的Koszul性推导A的Koszul性
- 分次结构的精细分析: 通过分次根的比较建立不同分次之间的关系
- 幂零性条件的利用: 创新性地使用生成元的幂零性作为桥梁
- 几何视角的引入: 将分次兼容性问题转化为代数簇上群作用的交换性问题
- 基本化约技术: 发展了将一般情况约化到分次基本情况的系统方法
作为纯数学理论论文,本文通过以下方式验证结果:
- 构造性证明: 对于存在性结果,给出明确的构造方法
- 反例分析: Example 2.23展示了不是所有高阶预投射分次都是切割
- 特殊情况验证: 通过Kronecker箭图等具体例子验证理论
Example 2.23: Kronecker箭图的预投射代数
- 展示了通过自同构可以得到非切割的高阶预投射分次
- 说明了分次根的不变性
- 验证了主要定理的必要性
Theorem 4.3: 设R•是(p,n+1)-Koszul的,存在高阶预投射分次•R使得A = ₀R是n-表示有限的。则存在R•上的高阶预投射切割,其度数0部分同构于A。
Theorem 5.16: 设R = R•是分次基本Koszul代数,R₁由幂零元素生成。如果存在非循环高阶预投射分次•R,则存在自同构将此分次映射为高阶预投射切割。
Theorem 5.17: 非基本版本,在R₀ ⊆ ₀R的额外假设下成立。
Corollary 5.18: n-APR倾斜保持Koszul性质。即如果A是基本n-表示无限Koszul代数,B是A的n-APR倾斜,则B也是Koszul的。
- 经典预投射代数: Gelfand-Ponomarev (1979), Dlab-Ringel (1980)的组合构造
- 同调描述: Baer-Geigle-Lenzing (1987)的分次结构
- 高阶推广: Iyama-Oppermann (2013)的高阶Auslander-Reiten理论
- Koszul结构: Grant-Iyama (2020)的(n+1)-总分次构造
- 逆向问题: 与Grant-Iyama工作形成对偶关系
- 完整性: 回答了DG24a, Question 3.13中提出的问题
- 补充性: 与Thibault Thi20关于哪些Koszul代数不能是高阶预投射代数的工作互补
- 在适当条件下,Koszul分次和高阶预投射分次的兼容性问题有肯定答案
- 高阶预投射代数的(几乎)Koszul性等价于原代数的Koszul性
- n-APR倾斜保持Koszul性质,为高阶表示论提供了重要工具
- 非循环假设: n-表示无限情况需要Gabriel箭图非循环的假设
- 基本性假设: 完全去除基本性假设仍需额外条件
- 开放问题: Question 3.10关于幂等元的自同构调整仍未解决
- 一般化研究: 去除非循环和基本性假设
- 计算方面: 发展具体计算切割的算法
- 几何应用: 深入研究代数簇上群作用交换性的几何意义
- 推广应用: 将结果推广到更一般的代数类
- 理论深度: 建立了两个重要分次结构之间的深刻联系
- 技术创新: 发展了处理分次兼容性的新技术工具
- 完整性: 在两种主要情况下都给出了完整答案
- 应用价值: APR倾斜保持Koszul性的结果具有重要应用前景
- 假设限制: 某些结果需要较强的技术假设
- 构造性: 虽然证明了存在性,但缺乏显式构造方法
- 计算复杂性: 实际验证切割条件可能计算复杂
- 理论贡献: 为高阶表示论和Koszul代数理论提供了新视角
- 方法论价值: 分次结构分析的方法具有广泛适用性
- 未来发展: 为相关领域的进一步研究奠定了基础
- 高阶Auslander-Reiten理论: 直接应用于高阶表示论研究
- Koszul代数研究: 为Koszul代数的分次结构研究提供工具
- 代数几何: 分次环的几何性质研究
- 同调代数: 分次同调结构的一般性研究
论文包含丰富的参考文献,涵盖了预投射代数、Koszul代数、高阶Auslander-Reiten理论等相关领域的重要工作,体现了作者对相关文献的全面掌握和深入理解。