[論文レビュー] Free Boson Realization of $U_q(\widehat{sl_N})$

Hidetoshi Awata, Satoru Odake+1 more|arXiv (Cornell University)|May 26, 1993

Algebraic structures and combinatorial modelsMathematics被引用数 19

ひとこと要約

本稿は、$q$-変形ヘイゼンベルク実現とOPE技術を用いて、任意のレベル$k$における量子アフィン代数$U_q(\widehat{sl_N})$の自由ボソン実現を構成する。この構成は$q \to 1$極限においてワキモト実現に一般化され、代数と可換であり、最高重層状態を生成するスクリーニングカレントおよび頂点演算子の明示的表現が得られる。

ABSTRACT

We construct a realization of the quantum affine algebra $U_q(\widehat{sl_N})$ of an arbitrary level $k$ in terms of free boson fields. In the $q\! ightarrow\! 1$ limit this realization becomes the Wakimoto realization of $\widehat{sl_N}$. The screening currents and the vertex operators(primary fields) are also constructed; the former commutes with $U_q(\widehat{sl_N})$ modulo total difference, and the latter creates the $U_q(\widehat{sl_N})$ highest weight state from the vacuum state of the boson Fock space.

研究の動機と目的

• 量子アフィン代数の自由場実現をランク1および2を超えて一般$N$に拡張すること。
• 文献における空白を埋めるために、任意のレベル$k$における$U_q(\widehat{sl_N})$の自由ボソンを用いた体系的構成を提供すること。
• $q$-変形を用いてワキモト実現を量子アフィンの場合に一般化すること。
• 相関関数の計算に不可欠な、$U_q(\widehat{sl_N})$と可換（全微分の意味で）であり、スクリーニングカレントおよび一次場（主場）を構成すること。
• $XXZ$スピンチェーンや$q$-変形WZNWモデルなどの高ランク可積分模型を研究するための枠組みを確立すること。

提案手法

• $U_q(sl_N)$の$q$-差分作用素実現（ヘイゼンベルク実現）をアフィニゼーションして$U_q(\widehat{sl_N})$を構成する。
• 代数的関係の整合性を確認するため、演算子積展開（OPE）技術を用いる。
• 全微分の意味で$U_q(\widehat{sl_N})$と可換である$q$-変形指数関数的演算子としてのスクリーニングカレントを定義する。
• ボソン的真空から最高重層状態を生成する$q$-指数関数として頂点演算子を構成する。
• $q$-変形交換関係と正規順序を扱うために、ジャクソン積分と$q$-差分作用素を用いる。
• 相反する特異性を持つ項のペアリングにより、カレント、スクリーニングカレント、頂点演算子間のOPEにおける極の明示的キャンセルを実現する。

実験結果

リサーチクエスチョン

• RQ1 任意の$N$およびレベル$k$に対して、量子アフィン代数$U_q(\widehat{sl_N})$を自由ボソン場の観点からどのように実現できるか？
• RQ2 $\widehat{sl_N}$に対する$q$-変形ワキモト実現とは何か？また、$q \to 1$極限でどのように古典的ケースに還元されるか？
• RQ3 全微分の意味で$U_q(\widehat{sl_N})$と可換であるようなスクリーニングカレントをどのように構成できるか？
• RQ4 ボソン的フォック真空から最高重層表現を生成する頂点演算子（主場）の構造はいかなるものか？
• RQ5 カレント、スクリーニングカレント、頂点演算子間のOPEはどのように振る舞い、極のキャンセルを通じてどのように整合性が保証されるか？

主な発見

• $U_q(\widehat{sl_N})$の自由ボソン実現が任意のレベル$k$で構成され、$N=2,3$の既存結果を一般化する。
• この実現は$q \to 1$極限で古典的ワキモト実現に還元され、既知の古典的構成と整合性を確認する。
• スクリーニングカレントは明示的に$q$-指数関数として構成され、全微分の意味で$U_q(\widehat{sl_N})$と可換である。
• 頂点演算子は、ボソン的フォック真空から$U_q(\widehat{sl_N})$最高重層状態を生成する$q$-指数関数として定義される。
• カレントとスクリーニング／頂点演算子間のOPEにおける極のキャンセルが、相反する特異性を持つ項のペアリングを通じて体系的に検証される。
• 勾配作用素（grading operator）もボソン化されており、自由場フレームワーク内での完全な代数的構造が実現される。