[论文解读] From Orbital Varieties to Alternating Sign Matrices

Philippe Di Francesco, Paul Zinn-Justin|ArXiv.org|Dec 14, 2005

Algebraic structures and combinatorial models参考文献 12被引用 10

一句话总结

该论文建立了B、C、D型李代数中的轨道流形与q-KZ方程解之间的联系，表明在单位根 q = e^{2πi/3} 处，归一化的基态向量的条目为整数，其和对应于交错符号矩阵（ASMs）的对称类，包括半转对称ASMs。该构造通过q-变形多项式和与Temperley–Lieb代数相关的边界条件，将Razumov–Stroganov猜想从A型推广至其他经典李代数类型。

ABSTRACT

We study a one-parameter family of vector-valued polynomials associated to each simple Lie algebra. When this parameter $q$ equals -1 one recovers Joseph polynomials, whereas at $q$ cubic root of unity one obtains ground state eigenvectors of some integrable models with boundary conditions depending on the Lie algebra; in particular, we find that the sum of its entries is related to numbers of Alternating Sign Matrices and/or Plane Partitions in various symmetry classes.

研究动机与目标

• 将Razumov–Stroganov对应关系从A型李代数推广至B、C、D型李代数。
• 研究与U_q(ŝl(2))基的可积模型中轨道流形M² = 0相关的q-变形多项式的作用。
• 将q = e^{2πi/3}处归一化基态向量条目之和识别为交错符号矩阵和平面分拆的对称类计数。
• 建立特征向量最大条目与低秩系统中条目之和之间的联系，尤其针对C型模型。

提出的方法

• 从gl(N)的基本表示中由M² = 0定义的轨道流形构造一参数族向量值多项式，推广Joseph多项式。
• 使用Hotta构造将等变上同调类（多重次数）与轨道流形关联，这些类是谱参数和C×权的多项式。
• 通过来自扩展Temperley–Lieb代数的R矩阵和边界算子，将多项式变形以满足B、C、D型的一级q-KZ方程。
• 在q = e^{2πi/3}（即RS点）处求值，此时解成为转移矩阵的Perron–Frobenius特征向量。
• 取齐次极限（w_i = 1），并归一化特征向量使其最小条目为1，从而得到整数条目。
• 依赖于条目之和与已知组合序列之间关系的猜想性恒等式，包括半转对称ASMs的A_HT(r)。

实验结果

研究问题

• RQ1 B_r、C_r和D_r李代数中的轨道流形如何与具有边界条件的q-KZ方程解相关联？
• RQ2 在q = e^{2πi/3}处，q-KZ系统归一化基态向量条目之和对B、C、D型的组合解释是什么？
• RQ3 能否将D_r特征向量的最大条目与C_{r-1}系统的条目之和关联起来？
• RQ4 在RS点处，特征向量的条目是否对应于交错符号矩阵的对称类，如半转对称ASMs？
• RQ5 是否存在通过q-变形轨道流形多项式对Razumov–Stroganov猜想在非A型李代数中的系统性推广？

主要发现

• 在q = e^{2πi/3}处，D_r归一化基态向量条目之和的猜想为A_HT(r)，即大小为r的半转对称交错符号矩阵的数量。
• 当r = 5时，条目之和为25，与A_HT(5) = 25一致，且v_πΨ_π之和为429，与A(5) = 429一致。
• D_5特征向量的最大条目为4，等于A(2)^2 = 2^2 = 4，即C_4系统条目之和。
• 在齐次极限下，D_r特征向量的条目为整数，其和由行列式公式给出：A_HT(2n) = det({i+j choose 2i-j} + {i+j+1 choose 2i-j}) 和 A_HT(2n+1) = det({i+j+1 choose 2i-j} + {i+j+2 choose 2i-j+1})。
• D_r q-KZ系统最小次数解的总次数为r(r-1)/2，部分次数满足m_1 = m_r = r-1。
• 通过反射对称性，D_r系统与C_{r-1}系统相关联，且D_r特征向量的最大条目等于C_{r-1}特征向量条目之和。