[論文レビュー] 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代数に結びつく可積分模型を用いて、タイプAを超えた古典的リー型へのRazumov–Stroganov予想の一般化を実現する。

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.

研究の動機と目的

• タイプAリー代数を超えて、B, C, D型へのRazumov–Stroganov対応の一般化を図ること。
• U_q(ŝl(2))に基づく可積分模型における、軌道的多様体M² = 0に関連するq-変形多項式の役割を調査すること。
• q = e^{2πi/3}における正規化された基底状態ベクトルの成分の和が、交互置換行列および平面分割の対称性クラスの数に一致することを特定すること。
• 固有ベクトルの最大成分と、低ランク系における成分の和との関係、特にC型モデルにおいて明確にすること。

提案手法

• gl(N)の基本表現におけるM² = 0で定義される軌道的多様体から、1パラメータ族のベクトル値多項式を構成し、ジョゼフ多項式を一般化する。
• ホッタの構成を用いて、軌道的多様体に等変コホモロジー類（多重次数）を対応させ、スペクトルパラメータとC×重みに関する多項式を得る。
• 拡張されたTemperley–Lieb代数から導かれるR行列と境界作用素を用いて、B, C, D型のレベル1 q-KZ方程式を満たすように多項式を変形する。
• q = e^{2πi/3}（RS点）で系を評価し、解が転送行列のペロン＝フロベニウス固有ベクトルとなることを示す。
• 同次極限（w_i = 1）をとり、最小成分が1になるように固有ベクトルを正規化することで、整数値成分を得る。
• 成分の和と既知の組合せ論的数列との間の予想的恒等式に依存しており、特に半回転対称ASMsのA_HT(r)を含む。

実験結果

リサーチクエスチョン

• RQ1 B_r, C_r, D_r型リー代数における軌道的多様体は、境界条件付きのq-KZ方程式の解とどのように関係するか？
• RQ2 B, C, D型において、q = e^{2πi/3}における正規化された基底状態ベクトルの成分の和の組合せ論的解釈は何か？
• RQ3 D_r型の固有ベクトルの最大成分は、C_{r-1}系における成分の和と関係づけられるか？
• RQ4 RS点における固有ベクトルの成分は、半回転対称ASMsのようなASMsの対称性クラスに対応するか？
• RQ5 q-変形軌道的多様体多項式を用いて、A型以外のリー代数へのRazumov–Stroganov予想の一貫した一般化は可能か？

主な発見

• q = e^{2πi/3}において、D_rの正規化された基底状態ベクトルの成分の和は、サイズrの半回転対称ASMsの個数A_HT(r)に予想される。
• r = 5の場合、成分の和は25であり、A_HT(5) = 25と一致する。また、v_πΨ_πの和は429であり、A(5) = 429と一致する。
• D_5の固有ベクトルの最大成分は4であり、C_4系における成分の和A(2)^2 = 2^2 = 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}固有ベクトルの成分の和に等しい。