[論文レビュー] Finite Dimensional Representations of Quantum Affine Algebras

Michael Kleber|ArXiv.org|Sep 16, 1998

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

ひとこと要約

この論文は、$g$ が単純根系である場合の量子アフィン代数 $U_q(\hat{g})$ の有限次元表現のキャラクターを計算する新しいアルゴリズムを提示する。rigged configurationsの代わりにウェイル・チャネル内の多角形パスを用いる。$sl(n)$ の長方形表現のテンソル積の分解に対して対称的で効率的な方法を提供し、$U_q(g)$-キャラクター上で一般化された離散ヒロタ関係式に一意な解が存在することを確立し、量子アフィン代数表現の構造に関する新たな知見をもたらす。

ABSTRACT

We investigate the characters of some finite-dimensional representations of the quantum affine algebras $U_q(\hat{g})$ using the action of the copy of $U_q(g)$ embedded in it. First, we present an efficient algorithm for computing the Kirillov-Reshetikhin conjectured formula for these characters when $g$ is simply-laced. This replaces the original formulation, in terms of "rigged configurations", with one based on polygonal paths in the Weyl chamber. It also gives a new algorithm for decomposing a tensor product of any number of representations of $sl(n)$ corresponding to rectangular Young diagrams, in a way symmetric in all the factors. This section is an expanded version of q-alg/9611032 . Second, we study a generalization of certain remarkable quadratic relations that hold among characters of $sl(n)$ (the "discrete Hirota relations") whose solutions seem to be characters of quantum affine algebras. We use show that these relations have a unique solution over characters of $U_q(g)$.

研究の動機と目的

• $g$ が単純根系である場合の、量子アフィン代数 $U_q(\hat{g})$ の有限次元表現のキャラクターを計算する、効率的で対称的なアルゴリズムの開発。
• 元々の rigged configurations の定式化を、ウェイル・チャネル内の多角形パスに基づく幾何的アプローチに置き換えること。
• $sl(n)$ のキャラクター間の二次的関係である離散ヒロタ関係式を、$U_q(\hat{g})$-キャラクターとして一意に定まる解をもつ枠組みへ一般化すること。
• すべての因子に対して同等に扱う対称的な方法で、長方形 $sl(n)$ 表現のテンソル積を分解するための新しい手法の提供。
• $U_q(g)$-キャラクター環上で一般化されたヒロタ関係式の解の一意性を確立すること。

提案手法

• アルゴリズムは、キリロフ＝レシェティヒン・モジュールのキャラクターを計算するために正のウェイル・チャネル内での多角形パスを用いる。rigged configurations の組合せ的複雑性を回避する。
• $U_q(g)$ から $U_q(\hat{g})$ への埋め込みを活用し、$U_q(\hat{g})$-有限次元モジュールのキャラクターを $U_q(g)$-キャラクターと関連付ける。
• パスに基づくキャラクター計算により、任意個数の長方形 $sl(n)$ 表現のテンソル積の対称的分解が達成され、因子の順列不変性が保証される。
• 一般化された離散ヒロタ関係式はキャラクター環上の二次方程式として定式化され、その解は $U_q(\hat{g})$-モジュールのキャラクターとして解釈される。
• 解の一意性は、方程式系が $U_q(g)$-キャラクターの半群にちょうど一つの解を持つことの証明により示される。
• アプローチは、Paul Taylor の TeX マクロパッケージを用いて実装されており、詳細は55ページの博士論文に記載されている。

実験結果

リサーチクエスチョン

• RQ1 $g$ が単純根系である場合、rigged configurations よりも効率的にキリロフ＝レシェティヒンのキャラクター公式を計算できるか？
• RQ2 すべての因子を同等に扱う対称的かつ均等な方法で、長方形 $sl(n)$ 表現のテンソル積を分解できるか？
• RQ3 従来 $sl(n)$ に対して知られていた離散ヒロタ関係式は、$U_q(\hat{g})$-キャラクター環上で一意な解を持つのか？
• RQ4 ウェイル・チャネル内の幾何的パスによって、量子アフィン代数キャラクターの構造を捉えることができるか？
• RQ5 $U_q(g)$-部分代数は、$U_q(\hat{g})$-モジュールのキャラクターを決定づける役割を果たすのか？

主な発見

• 新しいアルゴリズムは、ウェイル・チャネル内の多角形パスを用いてキリロフ＝レシェティヒン・キャラクターを計算し、rigged configurations よりも幾何的で計算的に効率的な代替手段を提供する。
• この方法により、任意個数の長方形 $sl(n)$ 表現のテンソル積の対称的分解が可能になり、因子の順列不変性が保持される。
• 一般化された離散ヒロタ関係式は、$U_q(g)$-キャラクター環上で一意な解を持つ。この解は $U_q(\hat{g})$-モジュールのキャラクターに対応する。
• ヒロタ系の解が $U_q(g)$-キャラクターの半群上で一意であることが示され、量子アフィン代数表現の構造的性質が裏付けられる。
• 結果は55ページの博士論文から導かれており、Paul Taylor のマクロパッケージを用いた完全な TeX 実装が提供されている。
• 本研究は、q-alg/9611032 における先行研究を拡張し、パスに基づくおよび代数的アプローチを通じて、量子アフィン代数のキャラクターを研究するための新しい枠組みを提供する。