[論文レビュー] Special polynomials related to the supersymmetric eight-vertex model. I. Behaviour at cusps

Hjalmar Rosengren|arXiv (Cornell University)|May 3, 2013

Algebraic structures and combinatorial models参考文献 19被引用数 9

ひとこと要約

本稿は、超対称八頂点模型に関連する対称多項式の族を導入し、モジュラー群 $\Gamma_0(12)$ の尖点におけるその挙動に焦点を当てる。これらの多項式が恒等的に消失しないことを証明し、Painlevé VI の tau 関数としての役割の基盤を確立するとともに、Q作用素の固有値、ハミルトニアンの固有ベクトル、楕円格子模型におけるドメインウォール分配関数との関連を示す。

ABSTRACT

We study certain symmetric polynomials, which as very special cases include polynomials related to the supersymmetric eight-vertex model, and other elliptic lattice models with $Δ=\pm 1/2$. In this paper, which is the first part of a series, we study the behaviour of the polynomials at special parameter values, which can be identified with cusps of the modular group $Γ_0(12)$. In subsequent papers, we will show that the polynomials satisfy a non-stationary Schrödinger equation related to the Knizhnik--Zamolodchikov--Bernard equation and that they give a four-dimensional lattice of tau functions of Painlevé VI.

研究の動機と目的

• 楕円可解格子模型に現れる特別な多項式を一般化する、4次元の対称有理関数 $T_n^{(\mathbf{k})}$ の定義と解析を行う。
• モジュラー群 $\Gamma_0(12)$ の尖点における $T_n^{(\mathbf{k})}$ の挙動を、三角関数的尖点と双曲的尖点に分けて調査する。
• $T_n^{(\mathbf{k})}$ と既知の特別関数（Q作用素の固有値、ドメインウォール分配関数など）との明示的関係を確立する。
• Knizhnik–Zamolodchikov–Bernard 方程式に関連する非定常シュレーディンガー方程式を満たす $T_n^{(\mathbf{k})}$ が満たす性質を証明する基盤を築く。
• XYZスピンチェーンや 8VSOS モデルなどの異なる物理的モデルに共通して現れる同じ多項式を統一的に理解する枠組みを提供する。

提案手法

• $T_n^{(\mathbf{k})}$ を $m$ 変数の対称有理関数として定義し、$n \in \mathbb{Z}$ および $\mathbf{k} = (k_0,k_1,k_2,k_3) \in \mathbb{Z}^4$ でパラメータ化し、$|\mathbf{k}| + m = 2n$ を満たす。
• $T_n^{(\mathbf{k})}$ が周期 $(1,\tau)$ の楕円関数であること、およびパラメータ $\zeta$ が $\Gamma_0(12)$ の Hauptmodul であることの証明。
• 三角関数的尖点 ($\tau = i\infty$) と双曲的尖点における $T_n^{(\mathbf{k})}$ の挙動を、漸近展開とモジュラー変換を用いて分析。
• Knizhnik–Zamolodchikov–Bernard 方程式から導かれる偏微分方程式を用い、背理法と根解析により、$T_n^{(\mathbf{k})}$ が恒等的に消失しないことを証明。
• $T_n^{(\mathbf{k})}$ と既知の多項式（Bazhanov と Mangazeev の Q作用素固有値、Rosengren の3色模型分配関数）との明示的関係を確立。
• $P_n$ と $\mathcal{P}_n$ の同定における正規化因子 $f(\zeta)$ が恒等的に 1 であることを、対称性、正則性、および特別点における極限解析を用いて証明。

実験結果

リサーチクエスチョン

• RQ1 モジュラー群 $\Gamma_0(12)$ の尖点における対称多項式 $T_n^{(\mathbf{k})}$ の挙動はいかなるものか。また、三角関数的および双曲的タイプにどのように分解されるか。
• RQ2 $T_n^{(\mathbf{k})}$ と超対称 XYZ スピンチェーンにおける Q作用素固有値から得られる多項式との正確な関係は何か。
• RQ3 $T_n^{(\mathbf{k})}$ と3色模型のドメインウォール分配関数との間の関係を厳密に確立できるか。
• RQ4 Q作用素固有値、ハミルトニアン固有ベクトル、分配関数といった、見た目は異なる物理的対象が、なぜ関連する特別関数を生じるのか。
• RQ5 $P_n$ と $\mathcal{P}_n$ の同定における正規化因子 $f(\zeta)$ は恒等的に 1 か。その条件は何か。

主な発見

• 補題 3.9 により、$T_n^{(\mathbf{k})}$ が恒等的に消失しないことが示され、Painlevé VI の tau 関数に関する後続研究の基盤となる。
• $T_n^{(\mathbf{k})}$ が周期 $(1,\tau)$ の楕円関数であること、および $\zeta$ が $\Gamma_0(12)$ の Hauptmodul であることの証明により、モジュラー形式と関連づけられる。
• 三角関数的尖点 ($\tau = i\infty$) は XXZ スピンチェーンへの還元に対応し、双曲的尖点は XY スピンチェーンに対応する。物理的解釈が得られる。
• $T_n^{(0,n,n,-1)}(x)$ が [BM1] に現れる多項式 $\mathcal{P}_n$ のスケーリング版に一致することを厳密に証明し、正規化因子 $f(\zeta) \equiv 1$ であることを示した。
• $P_n(x,\zeta)$ の微分方程式が [BM1] の予想された方程式と同値であることが示され、係数 $d(\zeta)$ の根解析により、$P_n$ が $\zeta$ の非定数多項式で割り切れないことが証明された。
• $f(\zeta)$ が極と零点の解析、対称性 $f(\zeta) = f(1/\zeta)$、$\zeta = 0$ での正則性、$\zeta = -1$ での有界性を用いて、恒等的に 1 であることが証明された。