[論文レビュー] Argument Shift Method and Gaudin Model

Leonid Rybnikov|ArXiv.org|Jun 15, 2006

Algebraic structures and combinatorial models参考文献 17被引用数 16

ひとこと要約

本稿は、単純なリー代数 $\frak{g}$ に対して、テンソル積 $U(\frak{g})^{\bigotimes n}$ 内に、$u \in \frak{g}^*$ および相異なる複素数 $z_1,\dots,z_n$ をパrameterとする、最大可換部分代数の族を構成する。これは、引数シフト法と高次 Gaudin ハミルトニアンを一般化し、$\frak{g} = \langle\mathrm{sl}_r\rangle$ の場合、これらの部分代数が一般のテンソル積表現において単純スペクトルを持つことを証明し、一般の $\langle\mathrm{sl}_r\rangle$ Gaudin モデルにおけるスペクトルの単純性を確立する。

ABSTRACT

We construct a family of maximal commutative subalgebras in the tensor product of n copies of the universal enveloping algebra U(g) of a semisimple Lie algebra g. This family is parameterized by collections μ; z_1,...,z_n, where μ\in g^*, and z_1,...,z_n are pairwise distinct complex numbers. The construction presented here generalizes the famous construction of the higher Gaudin hamiltonians due to Feigin, Frenkel, and Reshetikhin. For n=1, our construction gives a quantization of the family of maximal Poisson-commutative subalgebras in S(g) obtained by the argument shift method. Next, we describe natural representations of commutative algebras of our family in tensor products of finite-dimensional g-modules as certain degenerations of the Gaudin model. In the case of g=sl_r we prove that our commutative subalgebras have simple spectrum in tensor products of finite-dimensional g-modules for generic μand z_i. This implies simplicity of spectrum in the "generic" sl_r Gaudin model.

研究の動機と目的

• 半単純リー代数に対して、$U(\frak{g})$ 内の Mischenko–Fomenko 部分代数を量子化するため、引数シフト法を一般化すること。
• 高次 Gaudin ハミルトニアンの構成を、$\mu \in \frak{g}^*$ および相異なる $z_i$ をパrameterとする、$U(\frak{g})^{\otimes n}$ 内の可換部分代数の族へ拡張すること。
• $\frak{g} = \langle\mathrm{sl}_r\rangle$ の場合、これらの部分代数が一般のテンソル積表現において単純スペクトルを持つことを証明すること。
• 退化および極限構成を用いて、一般の $\langle\mathrm{sl}_r\rangle$ Gaudin モデルにおけるスペクトルの単純性を確立すること。

提案手法

• アフィン Kac–Moody 代数 $\hat{\frak{g}}$ の臨界レベルにおける完全化された普遍包あくり代数の中心から、$U(\frak{g})^{\otimes n}$ 内の可換部分代数族 $\mathcal{A}_\mu(z_1,\dots,z_n) \subset U(\frak{g})^{\bigotimes n}$ を、ホモオモルフィズムを介して構成する。
• 無限大におけるパrameter $z$ を含む極限構成を用い、$\mathcal{A}(z_1,\dots,z_n,\infty) \subset U(\frak{g})^{\otimes n} \otimes S(\frak{g})$ を定義し、その後 $\mu \in \frak{g}^*$ での評価により $\mathcal{A}_\mu(z_1,\dots,z_n)$ を得る。
• 対称化写像を用いて、古典的 Mischenko–Fomenko 部分代数 $A_\mu \subset S(\frak{g})$ を量子部分代数 $\mathcal{A}_\mu \subset U(\frak{g})$ に上げ、$\operatorname{gr} \mathcal{A}_\mu = A_\mu$ が成り立つように保証する。
• 退化技術を適用し、$\mathcal{A}_\mu(z_1,\dots,z_n)$ を Gaudin モデルに関連づけ、表現の極限を介して $V_{(\lambda)}^{\text{sing}}$ 上での作用を示す。
• Gelfand–Tsetlin 部分代数が、$\mu(t) = \sum t^{k-1} E_{kk}$ のとき $\mathcal{A}_\mu$ の極限として得られることを用い、その既知の単純スペクトルを活用する。
• Zariski の稠密性の議論を用いて、一般の $\mu$ および $z_i$ に対して、$\mathcal{A}_\mu(z_1,\dots,z_n)$ の $V_{(\lambda)}$ におけるスペクトルが単純であることを示す。

実験結果

リサーチクエスチョン

• RQ1 古典的ポisson代数 $S(\frak{g})$ における引数シフト法を、量子普遍包あくり代数 $U(\frak{g})$ に持ち上げる方法は、可換性および最大性を保つことができるか？
• RQ2 高次 Gaudin ハミルトニアンは、追加のパrameter $\mu \in \frak{g}^*$ を含めることでどのように一般化できるか？ そして、その結果得られる可換部分代数の代数的構造は何か？
• RQ3 $\mathcal{A}_\mu(z_1,\dots,z_n) \subset U(\frak{g})^{\otimes n}$ が、有限次元 $\frak{g}$-加群の一般のテンソル積表現において単純スペクトルを持つだろうか？
• RQ4 標準的 Gaudin 代数 $\mathcal{A}(z_1,\dots,z_n)$ のスペクトルは一般の表現において単純であろうか？ そして、これは $\mathcal{A}_\mu$-族の性質から導けるか？

主な発見

• $\frak{g} = \langle\mathrm{sl}_r\rangle$ の場合、一般の $\mu$ および $z_i$ に対して、構成された可換部分代数 $\mathcal{A}_\mu(z_1,\dots,z_n)$ は $V_{(\lambda)}$ で単純スペクトルを持つ。これは Gelfand–Tsetlin 部分代数への極限退化により確立された。
• $\mu(t) = \sum t^{k-1} E_{kk}$ のとき、$\mathcal{A}_\mu$ の極限は $U(\langle\mathrm{sl}_r\rangle)$ 内の Gelfand–Tsetlin 部分代数に一致し、これは既知の単純スペクトルを持つ。
• $\mathcal{A}_\mu(z_1,\dots,z_n)$ は、$\operatorname{gr} \mathcal{A}_\mu = A_\mu$ を満たすように、$S(\frak{g})$ 内の Mischenko–Fomenko 部分代数 $A_\mu \subset S(\frak{g})$ の量子化である。正則半単純 $\mu$ に対して成り立つ。
• 追加のパrameter $\mu \in \frak{g}^*$ を導入することで、高次 Gaudin ハミルトニアンの構成が一般化され、より大きな可換作用素の族が得られる。
• 標準的 Gaudin 代数 $\mathcal{A}(z_1,\dots,z_n)$ のスペクトルは、$z_i$ が一般のとき、支配的整数ウェイト $({\lambda}_1,\dots,{\lambda}_n)$ の Zarsiki 稠密部分集合に対して $V_{(\lambda)}^{\text{sing}}$ で単純である。
• $\mathcal{A}_\mu(z_1,\dots,z_n)$ は、$\hat{\frak{g}}$ の中心の臨界レベルでの表現の退化として得られ、$\mu \in \frak{g}^*$ での評価により得られる。