[论文解读] Quantum affine algebras at roots of unity and generalised cluster algebras

Anne-Sophie Gleitz|arXiv (Cornell University)|Oct 9, 2014

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

一句话总结

该论文证明了在单位根 $\rho$ 处，受限量子环代数 $U_{\rho}^{\text{res}}(L\frak{sl}_2)$ 的有限维表示的张量子范畴的格罗滕迪克环同构于类型 $C_{l-1}$ 的广义丛代数，其中 $l$ 是 $\rho^2$ 的阶。单模的类恰好对应于广义丛单项式，通过切比雪夫多项式与交换关系显式构造了同构关系。

ABSTRACT

Let $U_\varepsilon^{\mathrm{res}}(L\mathfrak{sl}_2)$ be the restricted integral form of the quantum loop algebra $U_q(L\mathfrak{sl}_2)$ specialised at a root of unity $\varepsilon$. We prove that the Grothendieck ring of a tensor subcategory of representations of $U_\varepsilon^{\mathrm{res}}(L\mathfrak{sl}_2)$ is a generalised cluster algebra of type $C_{l-1}$, where $l$ is the order of $\varepsilon^2$. Moreover, we show that the classes of simple objects in the Grothendieck ring essentially coincide with the cluster monomials. We also state a conjecture for $U_\varepsilon^{\mathrm{res}}(L\mathfrak{sl}_3)$, and we prove it for $l=2$.

研究动机与目标

• 建立量子仿射代数在单位根处的表示理论与广义丛代数之间的范畴与代数对应关系。
• 证明 $U_{\rho}^{\text{res}}(L\frak{sl}_2)$-模的张量子范畴的格罗滕迪克环同构于类型 $C_{l-1}$ 的广义丛代数，其中 $l$ 是 $\rho^2$ 的阶。
• 证明格罗滕迪克环中单模的类恰好对应于广义丛单项式，乘以系数生成元的切比雪夫多项式。
• 将结果推广至 $U_{\rho}^{\text{res}}(L\frak{sl}_3)$ 的情形，当 $l=2$ 时，且对 $l>2$ 提出一个猜想，此时丛代数为无限型。

提出的方法

• 构造 $U_{\rho}^{\text{res}}(L\frak{sl}_2)$-有限维模的张量子范畴 $\nc_{\rho^{\bbZ}}$。
• 以格罗滕迪克环 $K_0(\nc_{\rho^{\bbZ}})$ 为目标代数，定义从广义丛代数 $\nc_{l-1}$ 到该环的环同构 $\theta$。
• 通过基本模 $L(Y_{i,j})$ 定义 $\nc_{l-1}$ 中的丛变量，并将其映射至格罗滕迪克环中的类 $[L(Y_{i,j}))]$。
• 利用交换多项式 $\theta_r^0(u,v) = u + v$（当 $r < 2l-2$ 时）和 $\theta_{2l-2}^0(u,v) = u^3 + \rho_1 u^2 v + \rho_2 u v^2 + v^3$（其中 $\rho_i = [L(\bY_i)]$）建立广义丛代数中的交换关系。
• 证明 $\nc_{l-1}$ 中广义丛单项式的基通过切比雪夫多项式表达式，双射地映射至 $K_0(\nc_{\rho^{\bbZ}})$ 中单模类的基。
• 对 $\frak{sl}_3$ 情形，验证 $l=2$ 时的同构关系，并基于大量 Maple 计算提出 $l>2$ 时的猜想。

实验结果

研究问题

• RQ1 当 $\rho$ 是阶为 $l$ 的单位根时，$U_{\rho}^{\text{res}}(L\frak{sl}_2)$-模的张量子范畴 $\nc_{\rho^{\bbZ}}$ 的格罗滕迪克环是否同构于类型 $C_{l-1}$ 的广义丛代数？
• RQ2 格罗滕迪克环 $K_0(\nc_{\rho^{\bbZ}})$ 中单模的类是否恰好对应于广义丛代数 $\nc_{l-1}$ 中的广义丛单项式？
• RQ3 该对应关系能否推广至 $U_{\rho}^{\text{res}}(L\frak{sl}_3)$？若能，$l>2$ 时相关广义丛代数的结构如何？
• RQ4 切比雪夫多项式在联系丛单项式与格罗滕迪克环中单模类之间起什么作用？
• RQ5 当 $l>2$ 时，该构造中产生的广义丛代数是有限型还是无限型？

主要发现

• 当 $l$ 是 $\rho^2$ 的阶时，$U_{\rho}^{\text{res}}(L\frak{sl}_2)$-模的张量子范畴的格罗滕迪克环 $K_0(\nc_{\rho^{\bbZ}})$ 同构于类型 $C_{l-1}$ 的广义丛代数 $\nc_{l-1}$。
• 格罗滕迪克环 $K_0(\nc_{\rho^{\bbZ}})$ 中单模的类与 $\nc_{l-1}$ 中的广义丛单项式之间存在双射关系，对应关系由系数生成元 $[L(\bY_1)]$ 和 $[L(\bY_2)]$ 的切比雪夫多项式给出。
• 当 $l=2$ 时，$U_{\rho}^{\text{res}}(L\frak{sl}_3)$ 的结果已完全证明，此时格罗滕迪克环同构于类型 $G_2$ 的广义丛代数。
• 广义丛代数的初始交换矩阵的秩为 $2l-2$，其条目由特定的斜对称化模式定义，包含 $-1$、$0$ 和 $1$。
• 交换多项式在除最后一个变量外均为 $u + v$，而最后一个变量的交换多项式为 $\theta_{2l-2}^0(u,v) = u^3 + \rho_1 u^2 v + \rho_2 u v^2 + v^3$。
• 当 $l>2$ 时，广义丛代数为无限型，且猜想表明广义丛单项式仍映射至单模类，尽管其完整结构尚未被证明。