[論文レビュー] On the dynamical Yang-Baxter equation

Pavel Etingof|ArXiv.org|Jul 1, 2002

Algebraic structures and combinatorial models被引用数 18

ひとこと要約

本稿は、量子力学的ヤン・バクスター方程式（QDYBE）の包括的な概要を提供し、力学的量子群の理論におけるその役割を確立するとともに、トレース関数を通じて可積分系へとつなげる。量子力学的R行列に関連するトレース関数が、可換な差分作用素の共通固有関数であることが示され、マケドン・関数およびルイゼナールズ関数が得られ、二重スペクトル対称性を示す。

ABSTRACT

This talk is inspired by two previous ICM talks, by V.Drinfeld (1986) and G.Felder (1994). Namely, one of the main ideas of Drinfeld's talk is that the quantum Yang-Baxter equation (QYBE), which is an important equation arising in quantum field theory and statistical mechanics, is best understood within the framework of Hopf algebras, or quantum groups. On the other hand, in Felder's talk, it is explained that another important equation of mathematical physics, the star-triangle relation, may (and should) be viewed as a generalization of QYBE, in which solutions depend on additional ``dynamical'' parameters. It is also explained there that to a solution of the quantum dynamical Yang-Baxter equation one may associate a kind of quantum group. These ideas gave rise to a vibrant new branch of ``quantum algebra'', which may be called the theory of dynamical quantum groups. My goal in this talk is to give a bird's eye review of some aspects of this theory and its applications.

研究の動機と目的

• 力学的量子群の文脈において、量子力学的ヤン・バクスター方程式（QDYBE）の体系的枠組みを構築すること。
• QDYBEの解と動的パラメータを有する量子群の表現との間の関係を確立すること。
• インターウィーブィング作用素のトレース関数が、可換な差分作用素の共通固有関数を構成する役割を調査すること。
• これらのトレース関数がマケドン関数およびその楕円的変形を生じさせ、それらの二重スペクトル的対称性を明らかにすること。
• 理論をアフィンリー代数および他の一般化されたベラヴィン＝ドリンフェルド三重に一般化し、楕円的ハイパーグエオメトリック関数の分野へと拡張すること。

提案手法

• 正則関数 $ R: \frak{h}^* \to \text{End}_{\frak{h}}(V \bigotimes V) $ に対する量子力学的ヤン・バクスター方程式（QDYBE）を、動的パラメータ $ \frak{h} $ を持ち、スぺクトルパラメータおよびステップ $ \gamma $ のバリエーションを含む形で定式化する。
• QDYBEの可逆解としての量子力学的R行列の概念を導入し、有理的、三角関数的、楕円的の場合の明示的例を提示する。
• 動的RLL関係を満たす $ L $-作用素による量子力学的R行列の表現を定義し、表現のテンソルカテゴリを形成する。
• 表現 $ W $ における $ L $-作用素のトレースとしての動的転送行列 $ \frak{D}_W $ を構成し、それらが可換であり、可換代数を生成することを示す。
• トレース関数 $ F_V(λ, μ) $ の差分方程式を導出し、$ \frak{D}_W^{(λ)} $ の固有関数であり、固有値が $ \chi_W(q^{-2\bar{\mu}}) $ に与えられることを示す。
• 対称性 $ F_{V^*}(μ, λ) = F_V(λ, μ)^* $ を確立し、$ μ $ に関する双対差分方程式と二重スペクトル的性質を示す。

実験結果

リサーチクエスチョン

• RQ1 QDYBEの解は、どのように力学的量子群およびその表現を生じさせるか？
• RQ2 量子力学的R行列に関連する表現のテンソルカテゴリの構造はどのようなものか？
• RQ3 インターウェーブィング作用素のトレース関数は、可換な差分作用素および可積分系とどのように関係するか？
• RQ4 トレース関数はどのような形で二重スペクトル的対称性を示し、マケドンおよびルイゼナールズ系とどのように関連するか？
• RQ5 トレース関数の理論をアフィンリー代数および他の一般化されたベラヴィン＝ドリンフェルド三重へ一般化できるか？

主な発見

• トレース関数 $ F_V(λ, μ) $ は、動的転送行列 $ \frak{D}_W^{(λ)} $ の共通固有関数であり、固有値は $ \chi_W(q^{-2\bar{\mu}}) $、すなわち $ W $ の特徴標である。
• 対称性 $ F_{V^*}(μ, λ) = F_V(λ, μ)^* $ により、$ F_V(λ, μ) $ は $ μ $ に関して双対差分方程式を満たすことが示され、二重スペクトル的性質が確立される。
• $ \frak{g} = \frak{sl}_n $ および $ V = L_{kn\omega_1} $ の場合、トレース関数 $ F_V(λ, μ) $ はマケドン関数のスカラー倍であり、$ \frak{D}_W $ 作用素はマケドンの差分作用素に共役である。
• 楕円的の場合、同じ構成によりマケドン系の楕円的変形としてルイゼナールズ系が得られる。
• $ q = 1 $ の極限では、差分方程式が微分方程式に変わり、三角関数的カロジェロ＝モーザー系に還元されるが、双対方程式はワイル群作用と併存する。
• 多成分トレース関数は、差分方程式および対称性の多成分版を満たし、量子キニジフニク・ザモロッチキョフ＝バーナード方程式およびその双対を満たす。