[论文解读] Categorical construction of A,D,E root systems

Alexander Kirillov, Jaimal Thind|arXiv (Cornell University)|Jul 15, 2010

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

一句话总结

本文通过一个平移箭图 $ ilde{\Gamma}$ 和一个 2-周期三角范畴 $ olinebreak[4]\mathcal{C} = D/\langle T^2 \rangle$，以一种典范的、方向无关的方式，构造了单连通的 A、D、E 根系。根被实现为 $ olinebreak[4]\mathcal{C}$ 中不可约对象的同构类，其内积与根格由欧拉形式定义。关键结果是预正则代数的周期性性质，由此导出一个由平移 $2h$ 给出的典范考克斯eter元，其中 $h$ 为考克斯eter数。

ABSTRACT

Let Γbe a Dynkin diagram of type A,D,E and let R denote the corresponding root system. In this paper we give a categorical construction of R from Γ. Instead of choosing an orientation of Γand studying representations of the associated quiver, we study representations of a canonical quiver \Gammahat associated to Γ. This construction is very closely related to the preprojective algebra of Γ. In particular, the construction gives a certain periodicity result about the preprojective algebra.

研究动机与目标

• 通过范畴论提供 A、D、E 根系的典范的、方向无关的构造。
• 消除标准根系构造中对箭图方向或简单根的任意选择的依赖。
• 建立一个范畴框架，使得根对应于具有显式内积与根格结构的三角范畴中的不可约对象。
• 证明在 Dynkin 情形下，预正则代数的 Koszul 复形具有周期性，且该周期性与考克斯eter数相关。

提出的方法

• 从 Dynkin 图 $\Gamma$ 构造一个平移箭图 $\tilde{\Gamma} \subset \Gamma \times \mathbb{Z}$，并将三角范畴 $D$ 定义为导出范畴 $D(\tilde{\Gamma})$ 的全子范畴。
• 利用 $D$ 的 Auslander-Reiten 箭图，将不可约对象与 $\tilde{\Gamma}^{\text{op}}$ 中的顶点对应起来，并通过预正则代数将其与网状范畴联系起来。
• 定义商范畴 $\mathcal{C} = D / T^2$，其中 $T$ 为平移函子，从而得到一个 2-周期三角范畴。
• 建立 $\mathcal{C}$ 与 $D^b(\text{Rep}(\Gamma, \Omega_h))/T^2$ 的导出范畴之间的等价关系，其中 $h$ 为任意高度函数，确保与 BGP 反射函子的相容性。
• 利用预正则代数的 Koszul 复形的图形描述，将元素可视化为 $\tilde{\Gamma}$ 中的“跳跃”路径，以计算 $\text{RHom}$ 复形。
• 证明范畴 $\mathcal{C}$ 具有一个由 $X \mapsto X(-2)$ 给出的典范考克斯eter元 $C$，且满足 $C^{2h} = \text{id}$，这反映了考克斯eter数 $h$。

实验结果

研究问题

• RQ1 能否通过范畴论实现 A、D、E 根系的典范的、方向无关的构造？
• RQ2 在 Dynkin 情形下，预正则代数的 Koszul 复形如何表现出周期性？
• RQ3 平移箭图 $\tilde{\Gamma}$ 及其导出范畴在将根实现为不可约对象的过程中起什么作用？
• RQ4 在 2-周期商范畴 $\mathcal{C} = D/T^2$ 中，考克斯eter元如何被范畴化实现？
• RQ5 能否在 $\tilde{\Gamma}^{\text{cyc}}$ 上的路径代数中显式描述 $\mathcal{C}$ 的格罗滕迪克群上的欧拉形式与内积？

主要发现

• 范畴 $\mathcal{C} = D/T^2$ 是 2-周期的，满足 $T^2 = \text{id}$，且对所有对象 $F$ 有 $F(2h) \cong F$，其中 $h$ 为考克斯eter数。
• 范畴 $\mathcal{C}$ 的格罗滕迪克群 $K$ 同构于根格，且不可约类的集合 $\text{Ind} \subset K$ 与 A、D、E 根系的根之间存在双射。
• 考克斯eter元 $C$ 由函子 $X \mapsto X(-2)$ 实现，且在 Auslander-Reiten 箭图 $\tilde{\Gamma}^{\text{cyc}}$ 上表现为平移 $\tau: (i,n) \mapsto (i,n+2)$。
• 在 $K$ 上的内积由 $(X,Y) = \langle X,Y \rangle_C + \langle Y,X \rangle_C$ 给出，其中 $\langle X,Y \rangle_C = \dim \text{RHom}(X,Y)$ 为欧拉形式。
• $\mathcal{C}$ 满足 Serre 对偶性：$\text{Hom}(X,Y) \cong (\text{Ext}^1(Y,X(-2)))^*$，且 $\text{Hom}(X_q,X_{q'}) \cong \text{Path}(q',q)/J$，其中 $J$ 为显式描述的理想。
• 存在一个周期性结果：$A_{i,j;l}^{\bullet+2} \simeq A_{i,j;l+2h}^{\bullet}$，这意味着 $H^k(A_{i,j;l}) \cong H^{k+2}(A_{i,j;l+2h})$，这反映了 Dynkin 情形下预正则代数的 $2h$-周期性。