[论文解读] Twisted Coxeter elements and folded AR-quivers via Dynkin diagram automorphisms: I

Se‐jin Oh, UhiRinn Suh|arXiv (Cornell University)|May 31, 2016

Algebraic structures and combinatorial models参考文献 21被引用 5

一句话总结

本文通过非平凡的Dynkin图自同构，引入了类型 $A_{2n+1}$ 的扭曲自适应 $r$-簇点和折叠的Auslander-Reiten (AR) 图，建立了一个组合框架，用于编码量子仿射代数 $U_q'(B_{n+1}^{(1)})$ 的Dorey法则和分母公式。主要贡献在于证明了类型 $A_{2n+1}$ 的折叠AR图实现了扭曲Coxeter元，并完整捕获了 $U_q'(B_{n+1}^{(1)})$ 的表示论数据，包括张量积非零条件和分母公式。

ABSTRACT

We introduce and study the twisted adapted $r$-cluster point and its combinatorial Auslander-Reiten quivers, called twisted AR-quivers and folded AR-quivers, of type $A_{2n+1}$ which are closely related to twisted Coxeter elements and the non-trivial Dynkin diagram automorphism. As applications of the study, we prove that folded AR-quivers encode crucial information on the representation theory of quantum affine algebra $U_q'(B^{(1)}_{n+1})$ such as Dorey's rule and denominator formulas.

研究动机与目标

• 通过非平凡的Dynkin图自同构，建立类型 $A_{2n+1}$ 的扭曲Coxeter元的组合框架。
• 定义并研究扭曲自适应 $r$-簇点及其相关的折叠AR图，作为标准AR图的推广。
• 证明折叠AR图编码了量子 affine 代数 $U_q'(B_{n+1}^{(1)})$ 的关键表示论数据。
• 将关于Dorey法则和分母公式的已知结果从非扭情形推广到类型 $B_{n+1}^{(1)}$ 的扭情形。
• 证明通过自同构折叠构造的折叠AR图完整捕获了张量积重数和分母公式的全部结构。

提出的方法

• 通过在非平凡Dynkin图自同构 $\bigvee$ 下封闭的约化表达式，引入类型 $A_{2n+1}$ 的扭曲自适应 $r$-簇点 $[[\textbf{i}_0]]$。
• 将折叠AR图定义为与扭曲自适应类相关的凸偏序 $\triangleleft_{[\textbf{i}_0]}$ 的组合实现。
• 通过映射 $\widehat{\Omega}(\beta) = (i,p)$ 构造每个正根 $\beta \in \Phi^{+}_{A_{2n+1}}$ 对应的 $U_q'(B_{n+1}^{(1)})$-模 $V_{[\textbf{i}_0]}(\beta)$，根据奇偶性和根数据分配量子参数。
• 将范畴 $\mathscr{C}_{[\textbf{i}_0]}$ 定义为最小的阿贝尔全子范畴，对子商、扩张和张量积封闭，且包含所有 $V_{[\textbf{i}_0]}(\beta)$。
• 建立张量积非零条件与 $[\textbf{i}_0]$-极小对 $(\alpha,\beta)$ 之间的对应关系，使得 $\gamma = \alpha + \beta$。
• 证明 $U_q'(B_{n+1}^{(1)})$ 的Dorey法则通过折叠AR图中的坐标实现，且对 $x, y, z$ 的参数条件有明确表达。

实验结果

研究问题

• RQ1 如何通过Dynkin图自同构系统地构造类型 $A_{2n+1}$ 的扭曲Coxeter元？
• RQ2 从 $A_{2n+1}$ 的非平凡自同构产生的折叠AR图的组合结构是什么？
• RQ3 类型 $A_{2n+1}$ 的折叠AR图能否编码 $U_q'(B_{n+1}^{(1)})$ 的Dorey法则？
• RQ4 折叠AR图是否捕获了 $U_q'(B_{n+1}^{(1)})$ 的分母公式？
• RQ5 扭曲自适应 $r$-簇点与 $U_q'(B_{n+1}^{(1)})$ 的表示理论之间有何关系？

主要发现

• 通过非平凡Dynkin图自同构 $\bigvee$ 构造的类型 $A_{2n+1}$ 折叠AR图实现了扭曲Coxeter元，并编码了 $\Phi^{+}$ 上的凸偏序 $\triangleleft_{[\textbf{i}_0]}$。
• 类型 $A_{2n+1}$ 的扭曲自适应 $r$-簇点 $[[\textbf{i}_0]]$ 导出了一个对张量积和扩张封闭的范畴 $\mathscr{C}_{[\textbf{i}_0]}$，其中包含所有 $U_q'(B_{n+1}^{(1)})$-模 $V_{[\textbf{i}_0]}(\beta)$。
• Dorey法则对于 $U_q'(B_{n+1}^{(1)})$ 完全由折叠AR图捕获：当且仅当存在一个 $[\textbf{i}_0]$-极小对 $(\alpha, \beta)$ 满足 $\gamma = \alpha + \beta$ 时，有 $\mathrm{Hom}(V(\varpi_j)_y \otimes V(\varpi_i)_x, V(\varpi_k)_z) \neq 0$。
• 分母公式 $d_{k,l}(z)$ 对于 $U_q'(B_{n+1}^{(1)})$ 可从折叠AR图的结构中实现，推广了先前在非扭类型中的结果。
• 对于例外类型，存在可折叠的 $r$-簇点：$E_6$ 的 $[[\textbf{i}_0]]$ 有32个扭曲自适应类，$D_4$ 的 $[[\textbf{i}_0]]$ 和 $[[\textbf{j}_0]]$ 各有6个类，证实该框架可推广至非单纯连通类型。
• $E_6$ 的 $[[\textbf{i}_0]]$ 中不同扭曲自适应类的数量（32个）与 $E_6$ 的Dynkin图数量一致，暗示存在深刻的组合对应关系。