[論文レビュー] Bethe subalgebras of the group algebra of the symmetric group

E. Mukhin, V. Tarasov+1 more|arXiv (Cornell University)|Apr 24, 2010

Algebraic structures and combinatorial models参考文献 15被引用数 5

ひとこと要約

この論文は、複素数 $z_1, \dots, z_n$ と変形パラメータ $\hbar$ でパrameter化された、対称群の群代数 $\mathbb{C}[\mathfrak{S}_n]$ 内の2つの族の最大可換部分代数、すなわちベーテ部分代数を導入する。これらの部分代数はゲルファンド＝ツェトリン部分代数の一般化であり、$\hbar \to 0$ の極限で元のゲルファンド＝ツェトリン構造が回復する変形であることが示されている。主な結果は、一般パラメータにおいて、これらの部分代数が最大可換であり、退化極限でゲルファンド＝ツェトリン代数と同型であるということである。

ABSTRACT

We introduce families of maximal commutative subalgebras, called Bethe subalgebras, of the group algebra of the symmetric group. Bethe subalgebras are deformations of the Gelfand-Zetlin subalgebra. We describe various properties of Bethe subalgebras.

研究の動機と目的

• 対称群 $\mathbb{C}[\mathfrak{S}_n]$ 内の最大可換部分代数の族、すなわちベーテ部分代数を、ゲルファンド＝ツェトリン部分代数の変形として定義し、それらを研究すること。
• シュール＝ワイエルシュトラス双対性を介して、これらの部分代数と量子可積分系モデル（特にガウディンおよびXXXモデル）との関係を確立すること。
• パラメータ $z_i$ が退化的配置に近づく極限におけるこれらの部分代数の振る舞いを分析し、ゲルファンド＝ツェトリン部分代数に収束することを示すこと。
• ベーテ部分代数がKnizhnik-Zamolodchikov型の作用素 $H_a^{[n]}$ によって生成されることを証明し、表現論における既知の代数と関係づけること。

提案手法

• パラメータ $z_i$ と $\hbar$ の有理関数によって定義される2つの部分代数族 $\mathcal{B}^S_n(z_1,\dots,z_n)$ と $\mathcal{B}^S_{n,\hbar}(z_1,\dots,z_n)$ を導入する。
• 互いに可換であり、$\mathcal{B}^S_n(z_1,\dots,z_n)$ を生成するKnizhnik-Zamolodchikov作用素 $H_a^{[n]} = \sum_{b \neq a} \frac{\sigma_{a,b}}{z_a - z_b}$ を定義する。
• 行列の共役作用と留数計算を用いて、特に $\hbar \to 0$ および $z_i \to 0$ の極限における部分代数の構造を分析する。
• シュール＝ワイエルシュトラス双対性を用いて、ベーテ部分代数を $\mathfrak{gl}_N$-加群上の量子可積分系のベーテ代数と関連付ける。
• 特定のパラメータ選択のもとで、ベーテ部分代数と既知の代数 $\mathcal{O}_{\boldsymbol{\Lambda},\boldsymbol{\lambda},\boldsymbol{b}}$ の同型を証明する。
• 閉路積分と有理関数の恒等式を用いて、退化極限における部分代数がゲルファンド＝ツェトリン代数に収束することを確立する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、ゲルファンド＝ツェトリン部分代数の変形として、$\mathbb{C}[\mathfrak{S}_n]$ の最大可換部分代数を構成できるか？
• RQ2 量子可積分系の文脈において、これらのベーテ部分代数とKnizhnik-Zamolodchikov作用素との関係は何か？
• RQ3 パラメータ $z_a - z_b \neq \hbar$ を満たすとき、ベーテ部分代数 $\mathcal{B}^S_n(z_1,\dots,z_n)$ と $\mathcal{B}^S_{n,\hbar}(z_1,\dots,z_n)$ が最大可換のままである条件は何か？
• RQ4 $\hbar \to 0$ および $z_a \to 0$ の極限において、これらの部分代数はどのように振る舞い、ゲルファンド＝ツェトリン部分代数に収束するか？
• RQ5 ベーテ部分代数は、$\mathcal{O}_{\boldsymbol{\Lambda},\boldsymbol{\lambda},\boldsymbol{b}}$ のような既知の表現論的代数の像として実現可能か？

主な発見

• 相異なる $z_1, \dots, z_n$ に対して、部分代数 $\mathcal{B}^S_n(z_1,\dots,z_n)$ は $\mathbb{C}[\mathfrak{S}_n]$ の最大可換部分代数であり、次元は $\dim \mathcal{G}_n$（ゲルファンド＝ツェトリン部分代数）に等しい。
• $\mathcal{B}^S_n(z_1,\dots,z_n)$ は、$z_i$ と置換 $\sigma_{a,b}$ の有理関数であるKnizhnik-Zamolodchikov作用素 $H_a^{[n]}$ によって生成される。
• $\mathcal{B}^S_{n,\hbar}(z_1,\dots,z_n)$ は、すべての $a > b$ に対して $z_a - z_b \neq \hbar$ のとき最大可換であり、$\hbar \to 0$ および $|z_{a-1} - z_a|/|z_{a+1} - z_a| \to 0$ の極限で $\mathcal{G}_n$ に収束する。
• すべての $a$ に対して $z_a \to 0$ の極限において、$\mathcal{B}^S_{n,\hbar}(z_1,\dots,z_n)$ に関連する行列 $\widetilde{Q}$ は行列 $\widehat{Q}$ に収束し、関連する生成関数 $\mathcal{P}_\hbar(u,v)$ は $\widehat{\mathcal{P}}(u,v;q)$ に収束する。これにより、ゲルファンド＝ツェトリン構造への収束が証明される。
• パラメータ $N = n$, $k = 1$, $b_1 = 0$, $\boldsymbol{\lambda}^{(1)} = \boldsymbol{\mu}$, $\boldsymbol{\lambda} = (1,\dots,1)$, $K_i = z_i$ を選ぶと、ベーテ部分代数 $\mathcal{B}^S_n(z_1,\dots,z_n)$ は代数 $\mathcal{O}_{\boldsymbol{\Lambda},\boldsymbol{\lambda},\boldsymbol{b}}$ と同型である。
• $\mathcal{B}^S_n(z_1,\dots,z_n)$ は $\mathbb{C}[\mathfrak{S}_n]$ の中心と、和 $\sum_{a=1}^n z_a \sigma_{i,j}$（和は置換の上）で張られ、$n=3$ の場合、中心と $z_1\sigma_{2,3} + z_2\sigma_{1,3} + z_3\sigma_{1,2}$ で生成されることが明示的に計算されている。