[論文レビュー] 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

ひとこと要約

本稿では、非自明なドリンキン図形自己同型を用いて、型$A_{2n+1}$のねじれた適応$r$-クラスター点および折りたたまれたアドラール＝アリューリン（AR）クイバーを導入し、量子アフィン代数$U_q'(B_{n+1}^{(1)})$のドレーザの法則および分母公式を符号化する組合せ的枠組みを確立する。主な貢献は、型$A_{2n+1}$の折りたたまれたARクイバーがねじれたコックスター元を実現し、$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.

研究の動機と目的

• 非自明なドリンキン図形自己同型を用いて、型$A_{2n+1}$におけるねじれたコックスター元の組合せ的枠組みを確立すること。
• 標準的ARクイバーの一般化として、ねじれた適応$r$-クラスター点およびそれらに関連する折りたたまれたARクイバーを定義し、それらを研究すること。
• 折りたたまれたARクイバーが、量子アフィン代数$U_q'(B_{n+1}^{(1)})$の本質的表現論的データを符号化することを証明すること。
• 型$B_{n+1}^{(1)}$の未ねじれた設定からねじれた設定へ、ドレーザの法則および分母公式に関する既知の結果を拡張すること。
• 自己同型による折りたたみ構成が、テンソル積の重複度および分母公式の完全な構造を捉えていることを示すこと。

提案手法

• 非自明なドリンキン図形自己同型$\bigvee$に関して閉じた簡約表現を用いて、型$A_{2n+1}$のねじれた適応$r$-クラスター点$[[\textbf{i}_0]]$を導入する。
• ねじれた適応クラスに関連する凸部分順序$\triangleleft_{[\textbf{i}_0]}$の組合せ的実現として、折りたたまれたARクイバーを定義する。
• $\Phi^{+}_{A_{2n+1}}$の各正ルート$\beta$に対して、写像$\widehat{\Omega}(\beta) = (i,p)$を用いて、偶奇性およびルートデータに基づく量子パラメータを割り当てる。
• すべての$V_{[\textbf{i}_0]}(\beta)$を含み、部分商、拡張、テンソル積に関して閉じた最小のアーベルな完全部分圏として、$\mathscr{C}_{[\textbf{i}_0]}$を定義する。
• テンソル積の非消滅条件と、$[\textbf{i}_0]$-最小対$(\alpha,\beta)$の間の対応を確立する。ただし、$\gamma = \alpha + \beta$である。
• ドレーザの法則が、折りたたまれたARクイバーの座標を介して実現され、$x, y, z$に関する明示的なパラメータ条件が得られることを証明する。

実験結果

リサーチクエスチョン

• RQ1 非自明なドリンキン図形自己同型を用いて、型$A_{2n+1}$のねじれたコックスター元を体系的に構成する方法は何か？
• RQ2 非自明な$A_{2n+1}$自己同型から生じる折りたたまれたARクイバーの組合せ的構造は何か？
• RQ3 型$A_{2n+1}$の折りたたまれたARクイバーは、$U_q'(B_{n+1}^{(1)})$のドレーザの法則を符号化できるか？
• RQ4 折りたたまれたARクイバーは、$U_q'(B_{n+1}^{(1)})$の分母公式を捉えているか？
• RQ5 ねじれた適応$r$-クラスター点と$U_q'(B_{n+1}^{(1)})$の表現論の間にはどのような関係があるか？

主な発見

• 非自明なドリンキン図形自己同型$\bigvee$を用いて構成された型$A_{2n+1}$の折りたたまれたARクイバーは、ねじれたコックスター元を実現し、$\Phi^{+}$上の凸部分順序$\triangleleft_{[\textbf{i}_0]}$を符号化する。
• 型$A_{2n+1}$のねじれた適応$r$-クラスター点$[[\textbf{i}_0]]$は、すべての$U_q'(B_{n+1}^{(1)})$-加群$V_{[\textbf{i}_0]}(\beta)$を含み、テンソル積および拡張に関して閉じた圏$\mathscr{C}_{[\textbf{i}_0]}$を生成する。
• ドレーザの法則$U_q'(B_{n+1}^{(1)})$は、折りたたまれたARクイバーによって完全に符号化される：$\mathrm{Hom}(V(\varpi_j)_y \otimes V(\varpi_i)_x, V(\varpi_k)_z) \neq 0$であるための必要十分条件は、$[\textbf{i}_0]$-最小対$(\alpha, \beta)$が存在し、$\gamma = \alpha + \beta$となることである。
• 分母公式$d_{k,l}(z)$は、折りたたまれたARクイバー構造から実現可能であり、未ねじれた型への先行結果を一般化する。
• 例外型においても、折りたためる$r$-クラスター点が存在する：$E_6$に対しては32個のねじれた適応クラスを有する$[[\textbf{i}_0]]$、$D_4$に対してはそれぞれ6クラスの$[[\textbf{i}_0]]$および$[[\textbf{j}_0]]$が存在し、この枠組みが単純連結型を超えて拡張可能であることを確認する。
• $E_6$の$[[\textbf{i}_0]]$における異なるねじれた適応クラスの数（32）は、$E_6$のドリンキンクイバーの数と一致しており、深い組合せ的対応が存在することを示唆する。