[论文解读] Representation theory of Geigle-Lenzing complete intersections

Martin Herschend, Osamu Iyama+2 more|arXiv (Cornell University)|Sep 2, 2014

Algebraic structures and combinatorial models被引用 6

一句话总结

本文引入了几何-伦辛（Geigle-Lenzing, GL）完备交与GL射影空间，作为加权射影直线的高维类比，建立了其奇点范畴与有限维代数——CM-典范代数和d-典范代数——之间的导出等价性，从而将倾斜理论与d-表示理论推广至这些非交换几何对象。

ABSTRACT

Weighted projective lines, introduced by Geigle and Lenzing in 1987, are important objects in representation theory. They have tilting bundles, whose endomorphism algebras are the canonical algebras introduced by Ringel. The aim of this paper is to study their higher dimensional analogs. First, we introduce a certain class of commutative Gorenstein rings $R$ graded by abelian groups $L$ of rank $1$, which we call Geigle-Lenzing complete intersections. We study the stable category of Cohen-Macaulay representations $CM^LR$, which coincides with the singularity category $D_{sg}^L(R)$. We show that the stable category of $CM^LR$ is triangle equivalent to $D^b(mod A^{CM})$ for a finite dimensional algebra $A^{CM}$, which we call the CM-canonical algebra. As an application, we classify the $(R,L)$ that are Cohen-Macaulay finite. We also give sufficient conditions for $(R,L)$ to be $d$-Cohen-Macaulay finite in the sense of higher Auslander-Reiten theory. Secondly, we study a new class of non-commutative projective schemes in the sense of Artin-Zhang, i.e. the category $coh X=mod^LR/mod^L_0R$ of coherent sheaves on the Geigle-Lenzing projective space $X$. Geometrically this is the quotient stack $[(Spec R-{R_+})/Spec k[L]]$. We show that $D^b(coh X)$ is triangle equivalent to $D^b(mod A^{ca})$ for a finite dimensional algebra $A^{ca}$, which we call a $d$-canonical algebra. We study when $X$ is $d$-vector bundle finite, and when $X$ is derived equivalent to a $d$-representation infinite algebra in the sense of higher Auslander-Reiten theory. Our $d$-canonical algebras provide a rich source of $d$-Fano and $d$-anti-Fano algebras in non-commutative algebraic geometry. We also observe Orlov-type semiorthogonal decompositions of $D_{sg}^L(R)$ and $D^b(coh X)$.

研究动机与目标

• 通过引入几何-伦辛完备交与射影空间，将加权射影直线的表示理论推广至高维。
• 建立GL完备交的奇点范畴与有限维代数（称为CM-典范代数）的导出范畴之间的导出等价性。
• 通过GL射影空间将倾斜理论与d-表示理论推广至非交换射影概形。
• 利用高阶奥沙尔-雷登理论，对GL完备交何时为柯尼希-麦克aul伊有限及d-柯尼希-麦克aul伊有限进行分类。
• 为GL射影空间上凝聚层的奇点范畴与导出范畴构造奥尔洛夫型半正交分解。

提出的方法

• 将GL完备交定义为分次哥罗温斯坦环 R = k[T₀,…,T_d, X₁,…,X_n]/(X_i^{p_i} - ℓ_i(T₀,…,T_d))，其中ℓ_i为处于一般位置的线性形式。
• 使用塔特的DG代数解析方法分析奇点范畴 D^b_sing(R)，其三角等价于柯尼希-麦克aul伊模的稳定范畴 CML_R。
• 构造CM-典范代数 ACM 为 CML_R 中某个倾斜对象的自同态代数，从而得到导出等价性 D^b_sing(R) ≅ D^b(mod ACM)。
• 将GL射影空间定义为非交换射影概形 X = [Spec R \∕ R⁺] / G，其凝聚层由 mod_L R / mod_L^0 R 给出。
• 证明 D^b(coh X) 三角等价于 D^b(mod Aca)，其中 Aca 为某个d-典范代数，由X上的倾斜层构造而来。
• 应用高阶奥沙尔-雷登理论，刻画d-向量丛有限性与d-表示无穷性，并推导出 D^b_sing(R) 与 D^b(coh X) 的奥尔洛夫型半正交分解。

实验结果

研究问题

• RQ1 哪些GL完备交是柯尼希-麦克aul伊有限的？在高阶奥沙尔-雷登理论中，d-柯尼希-麦克aul伊有限性的充分条件是什么？
• RQ2 GL完备交的奇点范畴如何与某个有限维代数的导出范畴导出等价？
• RQ3 GL射影空间上凝聚层的导出范畴具有何种结构？其何时与d-表示无穷代数导出等价？
• RQ4 是否可为GL射影空间上凝聚层的奇点范畴与导出范畴构造奥尔洛夫型半正交分解？
• RQ5 d-倾斜对象与d-簇倾斜子范畴在GL完备交与射影空间的表示理论中起何作用？

主要发现

• GL完备交 R 上的柯尼希-麦克aul伊模的稳定范畴 CML_R 三角等价于有限维代数 ACM 的导出范畴 D^b(mod ACM)，其中 ACM 称为CM-典范代数。
• d-典范代数 Aca 满足 D^b(coh X) ≅ D^b(mod Aca)，建立了GL射影空间 X 上凝聚层范畴与有限维代数导出范畴之间的导出等价性。
• 对于满足 p₁ = p₂ = 2 的GL完备交，CM-典范代数的整体维数至多为 d，且 CML_R 允许由倾斜对象 U_CM 生成的 d-簇倾斜子范畴。
• 在 d-簇倾斜子范畴 U 中构造一个倾斜对象 V，定义为 U = add{U_CM(ℓω) | ℓ ∈ ℤ} 且 V = U_CM ⊕ (⊕_{x∈S} R(x))，其中 S 是 L/Zω 的一组完全代表元集。
• 通过 d-簇倾斜子范畴中的一个截面构造 d-倾斜丛，其自同态代数即为 d-典范代数 Aca。
• 在 D^b_sing(R) 与 D^b(coh X) 上均观察到奥尔洛夫型半正交分解，将经典结果推广至高维GL情形。