[論文レビュー] On a property of branching coefficients for affine Lie algebras

M. Ilyin, P. P. Kulish+1 more|ArXiv.org|Dec 11, 2008

Algebraic structures and combinatorial models参考文献 8被引用数 7

ひとこと要約

本稿では、重み格子に埋め込まれた特別な部分集合「ファン」と呼ばれる構造を用いて、再帰的かつ体系的な方法で、アフィンリーモジュールの可解な最高重みモジュールの再帰的係数を再帰的に計算する手法を提案する。このファンは、再帰的関係を支配する注入写像を符号化する。この手法により、重み多重度や分解問題に対して、特に効率的かつ体系的な計算が可能となる。

ABSTRACT

It is demonstrated that decompositions of integrable highest weight modules of a simple Lie algebra with respect to its reductive subalgebra obey the set of algebraic relations leading to the recursive properties for the corresponding branching coefficients. These properties are encoded in the special element (of the formal algebra E(g)) Gamma_(a ->g) that describes the injection and is called the fan. In the simplest case, when "a" is a Cartan subalgebra of g, the recursion procedure generates the weight diagram of the module L(g). When applied to a reduction of highest weight modules the recursion described by the fan provides a highly effective tool to obtain the explicit values of branching coefficients.

研究の動機と目的

• アフィンリ代数の可解な最高重みモジュールの再帰的係数を、再帰的かつ体系的な代数的アプローチで再帰的に計算するための手法を開発すること。
• 注入写像 $\mathfrak{a} \to \mathfrak{g}$ を符号化し、分岐係数の再帰的関係を支配する普遍的な代数的構造「ファン」としての構造を同定すること。
• 特に重み図と多重度計算に対して、明示的な分岐規則を決定するためのコンactかつ効果的な計算ツールを提供すること。
• 特定の重み格子包含条件を満たす任意の再帰的部分代数に対して、従来の正則注入に関する結果を一般化する再帰的枠組みを拡張すること。

提案手法

• アフィンリ代数の可解モジュールに対して有効な、Weyl-Kac特徴関数公式から分岐係数に関する代数的関係を導出する。
• 注入写像 $\mathfrak{a} \to \mathfrak{g}$ を符号化し、再帰的関係を支配する、形式的代数 $\mathcal{E}_{\mathfrak{a}}$ 内の最小の重み集合としての「ファン」$\Gamma_{\mathfrak{g}\supset\mathfrak{a}}$ を同定する。
• 重みの自然な半順序において、各関係式の最低重みを固定することで、ファンを用いて分岐係数の再帰的関係を生成する。
• 既知の初期値（例：最高重み多重度）から段階的に係数を解くことで、再帰を適用し、分岐規則を計算する。
• 特異的重み図 $\widehat{\Psi_{A_{2}^{(2)}}}$ とWeylチャネルの交差を用いて、分解における最高重みと多重度を抽出する。
• 重み多重度を $q$ のべき級数として符号化する分岐関数 $b_I^{(\mu)}(q)$ および $b_{II}^{(\mu)}(q)$ の形で結果を提示する。

実験結果

リサーチクエスチョン

• RQ1 再帰的かつ体系的な方法で、再帰的部分代数への還元に関して、アフィンリ代数の可解な最高重みモジュールの分岐係数をどのように計算できるか。
• RQ2 これらの分岐係数の再帰的関係を支配する代数的構造は何か。また、注入写像 $\mathfrak{a} \to \mathfrak{g}$ とどのように関係しているか。
• RQ3 アフィンリ代数 $\mathfrak{g}$ のカイゼル代数 $\mathfrak{h}(\mathfrak{g})$ に対して $\mathfrak{a} = \mathfrak{h}(\mathfrak{g})$ のとき、ファン $\Gamma_{\mathfrak{g}\supset\mathfrak{a}}$ を用いてモジュールの完全な重み図を再構成できるか。
• RQ4 ファンに基づく再帰的枠組みは、BGG分解、BRSTコホホロジー、Kac-Petersonの公式といった既存手法と比較して、どのように効率的かつ一般性に優れているか。
• RQ5 Weylベクトルと根系は、再帰的構造を定義し、異なる重みレベル間で一貫性を保つために果たす役割は何か。

主な発見

• アフィンリ代数の可解な最高重みモジュールの分岐係数は、Weyl-Kac特徴関数公式から導出された無限個の代数的関係を満たす。
• これらの関係は、注入写像 $\mathfrak{a} \to \mathfrak{g}$ のみに依存する最小の重み集合「ファン」$\Gamma_{\mathfrak{g}\supset\mathfrak{a}}$ を用いて体系的に解ける再帰的系を形成する。
• アフィンリ代数 $\mathfrak{g}$ のカイゼル代数 $\mathfrak{h}(\mathfrak{g})$ に対して $\mathfrak{a} = \mathfrak{h}(\mathfrak{g})$ のとき、ファンの再帰的関係によりモジュール $L_{\mathfrak{g}}$ の完全な重み図が再構成可能である。
• $A_2^{(1)} \downarrow A_2^{(2)}$ の還元に関して、明示的な分岐規則が得られる：$L_{A_2^{(1)}\downarrow A_2^{(2)}}^{\omega_0} = \bigoplus_{\xi} b_\xi^{(\mu)} L_{A_2^{(2)}}^{\xi}$ であり、係数 $b_\xi^{(\mu)}$ は再帰的に計算される。
• 分解には $b_{\omega_0}^{(\mu)}(-10) = 4$、$b_{2\omega_1}^{(\mu)}(-9) = 5$、$b_{\omega_0}^{(\mu)}(-8) = 3$ といった多重度が含まれており、シフトされたWeylチャネルとの交差により確認されている。
• 結果は生成関数としてコンactに表現される：$b_I^{(\mu)}(q) = 1 + q^4 + 2q^6 + 3q^8 + 4q^{10} + \cdots$ および $b_{II}^{(\mu)}(q) = q + 2q^3 + 2q^5 + 4q^7 + 5q^9 + \cdots$。