2025-11-20T11:37:14.895362

On compatibility of Koszul- and higher preprojective gradings

Dramburg, Sandøy
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.
academic

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性质。

研究背景与动机

问题背景

  1. 预投射代数的重要性: 预投射代数在表示论中扮演重要角色,最初由Gelfand和Ponomarev构造,后来被Dlab和Ringel给出组合描述。对于箭图Q,预投射代数定义为Π(Q) = kQ̄/(∑α∈Q₁ αα* - α*α)。
  2. 高阶推广: Iyama和Oppermann在Iyama的高阶Auslander-Reiten理论框架下将预投射代数推广为高阶预投射代数:Πn+1(A) = TA Ext^n_A(D(A), A)。
  3. 分次结构的交互: 当n-遗传代数A是Koszul时,Πn+1(A)可以同时具有:
    • 来自张量度数的高阶预投射分次
    • Grant-Iyama构造的(n+1)-总分次,使其成为(几乎)Koszul代数

核心问题

作者提出的关键问题(Question 2.24)是:给定一个(几乎)Koszul代数R•和其上的高阶预投射分次,是否存在自同构将高阶预投射分次映射为Koszul分次的"切割"?

研究动机

  1. 理论完善: 理解不同分次结构之间的兼容性关系
  2. 逆向问题: Grant-Iyama的工作显示Koszul的A导致(几乎)Koszul的Πn+1(A),本文研究逆向问题
  3. 几何解释: 在n-表示驯良情况下,分次兼容性等价于仿射簇Spec(Z(Πn+1(A)))上两个k*-作用的交换性

核心贡献

  1. n-表示有限情况的完整刻画: 证明了如果Πn+1(A)可赋予几乎Koszul分次,则A必须是Koszul的(Proposition 4.2),并且存在高阶预投射切割(Theorem 4.3)。
  2. n-表示无限情况的基本版本: 对于非循环基本n-表示无限代数A,证明了如果Πn+1(A)可赋予Koszul分次,则A必须是Koszul的,且存在切割(Theorem 5.16)。
  3. 非基本版本的扩展: 在额外假设下给出了非基本情况的类似结果(Theorem 5.17)。
  4. APR倾斜的Koszul性保持: 证明了n-APR倾斜保持n-表示无限代数的Koszul性质(Corollary 5.18)。
  5. 技术工具的发展: 建立了分次根的关系、幂零元素的作用等关键技术结果。

方法详解

核心概念定义

高阶预投射切割

Definition 2.19: 高阶预投射分次•R在(几乎)Koszul代数R•上称为切割,如果:

  1. Koszul生成双模R₁分解为预投射齐次片:R₁ = ₀(R₁) ⊕ ₁(R₁)
  2. 分解恢复预投射分次:₀R = ⟨R₀ ⊕ ₀(R₁)⟩,₁R由₁(R₁)作为₀R-双模生成

分次基本代数

Definition 3.1: 局部有限非负分次代数R•称为分次基本的,如果有限维代数R₀是基本的。

主要技术路径

1. 分次根的分析

通过Wedderburn-Malcev定理和分次结构的相互作用:

  • Proposition 5.2: 对于两个局部有限维分次R•和•R,有top(R₀) ≃ top(₀R)
  • Corollary 5.6: 在基本假设下,如果生成元是幂零的,则分次根包含关系成立

2. 幂零性的建立

关键技术结果: 对于非循环n-表示无限代数A,双模HomA(A, τ⁻ₙ(A))由幂零元素生成(Corollary 5.11)。

证明策略:

  • 利用n-几乎分裂序列的结构
  • 分析态射f: P → τ⁻ₙ(P)的因子分解
  • 使用Gabriel箭图的非循环性排除某些直和项

3. Koszul性的传递

Proposition 5.14: 如果分次单模作为未分次模同构,且满足局部有限条件,则A是Koszul的。

证明要点:

  • 使用最小分次投射分解
  • 建立Ext代数的生成关系
  • 从Πn+1(A)的Koszul性推导A的Koszul性

技术创新点

  1. 分次结构的精细分析: 通过分次根的比较建立不同分次之间的关系
  2. 幂零性条件的利用: 创新性地使用生成元的幂零性作为桥梁
  3. 几何视角的引入: 将分次兼容性问题转化为代数簇上群作用的交换性问题
  4. 基本化约技术: 发展了将一般情况约化到分次基本情况的系统方法

实验设置

理论验证方法

作为纯数学理论论文,本文通过以下方式验证结果:

  1. 构造性证明: 对于存在性结果,给出明确的构造方法
  2. 反例分析: Example 2.23展示了不是所有高阶预投射分次都是切割
  3. 特殊情况验证: 通过Kronecker箭图等具体例子验证理论

关键例子

Example 2.23: Kronecker箭图的预投射代数

  • 展示了通过自同构可以得到非切割的高阶预投射分次
  • 说明了分次根的不变性
  • 验证了主要定理的必要性

主要结果

定理陈述

n-表示有限情况

Theorem 4.3: 设R•是(p,n+1)-Koszul的,存在高阶预投射分次•R使得A = ₀R是n-表示有限的。则存在R•上的高阶预投射切割,其度数0部分同构于A。

n-表示无限情况

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的。

相关工作

历史发展

  1. 经典预投射代数: Gelfand-Ponomarev (1979), Dlab-Ringel (1980)的组合构造
  2. 同调描述: Baer-Geigle-Lenzing (1987)的分次结构
  3. 高阶推广: Iyama-Oppermann (2013)的高阶Auslander-Reiten理论
  4. Koszul结构: Grant-Iyama (2020)的(n+1)-总分次构造

本文定位

  • 逆向问题: 与Grant-Iyama工作形成对偶关系
  • 完整性: 回答了DG24a, Question 3.13中提出的问题
  • 补充性: 与Thibault Thi20关于哪些Koszul代数不能是高阶预投射代数的工作互补

结论与讨论

主要结论

  1. 在适当条件下,Koszul分次和高阶预投射分次的兼容性问题有肯定答案
  2. 高阶预投射代数的(几乎)Koszul性等价于原代数的Koszul性
  3. n-APR倾斜保持Koszul性质,为高阶表示论提供了重要工具

局限性

  1. 非循环假设: n-表示无限情况需要Gabriel箭图非循环的假设
  2. 基本性假设: 完全去除基本性假设仍需额外条件
  3. 开放问题: Question 3.10关于幂等元的自同构调整仍未解决

未来方向

  1. 一般化研究: 去除非循环和基本性假设
  2. 计算方面: 发展具体计算切割的算法
  3. 几何应用: 深入研究代数簇上群作用交换性的几何意义
  4. 推广应用: 将结果推广到更一般的代数类

深度评价

优点

  1. 理论深度: 建立了两个重要分次结构之间的深刻联系
  2. 技术创新: 发展了处理分次兼容性的新技术工具
  3. 完整性: 在两种主要情况下都给出了完整答案
  4. 应用价值: APR倾斜保持Koszul性的结果具有重要应用前景

不足

  1. 假设限制: 某些结果需要较强的技术假设
  2. 构造性: 虽然证明了存在性,但缺乏显式构造方法
  3. 计算复杂性: 实际验证切割条件可能计算复杂

影响力

  1. 理论贡献: 为高阶表示论和Koszul代数理论提供了新视角
  2. 方法论价值: 分次结构分析的方法具有广泛适用性
  3. 未来发展: 为相关领域的进一步研究奠定了基础

适用场景

  1. 高阶Auslander-Reiten理论: 直接应用于高阶表示论研究
  2. Koszul代数研究: 为Koszul代数的分次结构研究提供工具
  3. 代数几何: 分次环的几何性质研究
  4. 同调代数: 分次同调结构的一般性研究

参考文献

论文包含丰富的参考文献,涵盖了预投射代数、Koszul代数、高阶Auslander-Reiten理论等相关领域的重要工作,体现了作者对相关文献的全面掌握和深入理解。