[論文レビュー] Rational solutions of Knizhnik-Zamolodchikov system

Lev Sakhnovich|ArXiv.org|Sep 25, 2006

advanced mathematical theories参考文献 3被引用数 4

ひとこと要約

この論文は、モノドロミー行列に特定の代数的条件が満たされる場合、Knizhnik-Zamolodchikov (KZ) 線形微分方程式系が有理関数の基本解をもつことを証明している。系の構造行列が対称性、冪等性、交換関係を満たすとき、特に対称群 $S_n$ の自然表現から生じる場合、$ ho = \pm 1$ に対して解が有理的であることが示され、Chervov と Talalaev の予想が裏付けられた。

ABSTRACT

We consider Knizhnik-Zamolodchikov system of linear differential equations. The coefficients of this system are rational functions. We prove that under some conditions the solution of KZ system is rational too. This assertion confirms partially the conjecture of Chervov-Talalaev.

研究の動機と目的

• Knizhnik-Zamolodchikov (KZ) 系が有理的基底解をもつための条件を確立すること。
• Chervov と Talalaev が提起した、$\rho = \pm 1$ における KZ 系の有理的解に関する予想を検証すること。
• 対称群 $S_n$ の行列表現を通じて KZ 系のモノドロミー構造を分析すること。
• 残留行列 $P_k$ におけるスペクトル的および代数的条件を通じて解の有理的性を特徴づけること。
• 強正則性を用いて、有限および無限の特異点において解の有理的性が保たれることを示すこと。

提案手法

• 特異点 $ z_k $ の周りでの形式的べき級数展開を用い、$ W(z) = \sum_{p \geq m} b_p (z - z_k)^p $ の係数 $ b_q $ に対する再帰関係を適用。
• Laurent級数解の存在を決定する必要十分条件を [Sa06] から適用し、再帰式 $ [(q+1)I_n - a_{-1}]b_{q+1} = \sum_{j+\ell=q} \rho a_j b_\ell $ を用いる。
• 有理的性を保証するための条件を課す：$ P_k^2 = I_n $、$ [P_j P_k P_\ell + P_\ell P_k P_j]P_k^+ = 0 $、$ (P_j P_k P_j + P_j)P_k^+ = P_k^+ $、および $ P_k $ の対称性。
• 方程式 $ \frac{dY}{dz} = -Y(z)A(z) $ の双対解 $ Y(z) $ を構成し、$ W(z)Y(z) $ が定数かつ正則であることを示し、基本解の性質を確認。
• 変数変換 $ z = 1/u $ を用いて無限遠点での挙動を解析し、$ W(z) $ および $ Y(z) $ が強正則的かつ有理的であることを証明。

実験結果

リサーチクエスチョン

• RQ1 残留行列 $ P_k $ にどのような代数的条件が満たされると、KZ 系が有理的基底解をもつのか？
• RQ2 転置行列 $ P(1,k+1) $ を用いた $ S_n $ の自然表現によって、$ \rho = \pm 1 $ のとき有理的解が得られるか？
• RQ3 行列 $ T = \sum_k P_k $ のスペクトル的性質は、有理的解における多項式部の次数にどのように影響するか？
• RQ4 特異点 $ z_k $ および $ z = \infty $ の強正則性を用いて、解の有理的性を証明できるか？
• RQ5 $\rho = 1$ と $\rho = -1$ の場合における KZ 系の解の関係は、特に行列の逆行列および転置に関してどのように規定されるか？

主な発見

• KZ 系は、$ \rho = \pm 1 $ であり、かつ $ P_k $ が定理 1.1 の四つの条件（$ P_k^2 = I_n $、対称性、特定の交換関係）を満たす場合、有理的基底解をもつ。
• 自然表現 $ P_k = P(1,k+1) $ を用いる場合、定理 1.1 の条件が満たされ、Chervov と Talalaev の予想が裏付けられた。
• 解 $ W(z) $ は $ W(z) = \sum_{k=1}^s \frac{L_k}{z - z_k} + Q_1(z) $ と表現可能であり、$ Q_1(z) $ は次数 $ \deg Q_1(z) = n - 1 $ の行列多項式である。
• 双対解 $ Y(z) $ は $ Y(z) = \sum_{k=1}^s \frac{M_k}{z - z_k} + Q_2(z) $ を満たし、$ \deg Q_2(z) = -1 $、つまり $ Q_2(z) = 0 $ である（$ m_T = -1 $ による）。
• 行列 $ T = \sum_k P_k $ の固有値は $ \lambda_1 = \lambda_2 = n-1 $、$ \lambda_3 = -1 $ であり、$ M_T = n-1 $、$ m_T = -1 $ となる。これは多項式部の次数を決定する。
• 積 $ W(z)Y(z) $ は定数かつ正則であり、$ W(z) $ および $ Y(z) $ が基本的有理的解であることを示し、$ \rho = -1 $ の場合 $ Y(z) = [W^{-1}(z)]^\tau $ が成り立つ。