[論文レビュー] Layer structure of irreducible Lie algebra modules

Jørgen Rasmussen|arXiv (Cornell University)|Mar 18, 2018

Advanced Algebra and Geometry参考文献 5被引用数 5

ひとこと要約

この論文は、有限次元単純複素リー代数の有限次元既約モジュールにおける異なる重みの指数関数の形式的和であるレイヤー和の概念を導入する。任意のこのようなモジュールのキャラクターが、非負整数係数のレイヤー和の線形結合に分解されることを証明し、ウェイリッジキャラクターと重み多重度を計算する新しい手法を提示する。また、異なる重みの数が、代数のランクに等しい次数の、ドゥインキンラベルに関する多項式であることが示される。

ABSTRACT

Let $\mathfrak{g}$ be a finite-dimensional simple complex Lie algebra. A layer sum is introduced as the sum of formal exponentials of the distinct weights appearing in an irreducible $\mathfrak{g}$-module. It is argued that the character of every finite-dimensional irreducible $\mathfrak{g}$-module admits a decomposition in terms of layer sums, with only non-negative integer coefficients. Ensuing results include a new approach to the computation of Weyl characters and weight multiplicities, and a closed-form expression for the number of distinct weights in a finite-dimensional irreducible $\mathfrak{g}$-module. The latter is given by a polynomial in the Dynkin labels, of degree equal to the rank of $\mathfrak{g}$.

研究の動機と目的

• 有限次元単純複素リー代数の有限次元既約表現におけるキャラクターと重み多重度を計算する、計算的に効率的な新しい手法を開発すること。
• このようなモジュールにおける異なる重みの数がドゥインキンラベルの多項式として特徴付けられることを示すこと。
• 非負整数係数を用いて、既約キャラクターをレイヤー和の線形結合として分解することを確立すること。
• 軌道和と既約キャラクターをレイヤー多項式とウェイリーグループ作用を用いて体系的に表現するフレームワークを提供すること。
• 低ランクの場合（$A_2$、$A_3$、$B_2$、$G_2$、$A_5$）の明示的計算を通じて、レイヤー多項式アプローチの整合性を検証すること。

提案手法

• 既約モジュール内の異なる重み全体にわたる形式的指数関数の和として、レイヤー和の概念を導入する。
• 最高重みのドゥインキンラベルに関する関数として、異なる重みの数を符号化するレイヤー多項式を定義する。この多項式の次数はリー代数のランクに等しい。
• ウェイリーグループの対称性と軌道構造を活用して、既約キャラクターを非負整数係数のレイヤー和の線形結合に分解する。
• 補助的キャラクターとウェイリの次元公式に関連する新しい多項式恒等式を用いて、レイヤー和と既約キャラクターとの関係を確立する。
• ウェイリーグループにおける交代和を用いて、軌道和を既約キャラクターの和として表現し、対角成分が1の下三角行列系を形成する。
• レイヤー多項式を、重みポリトープ内の格子点数え上げによって検証し、$A_2$、$A_3$、$B_2$、$G_2$ におけるキャラクターに基づく計算と一致することを確認する。

実験結果

リサーチクエスチョン

• RQ1 有限次元単純複素リー代数の有限次元既約モジュールのキャラクターは、非負整数係数のレイヤー和の線形結合として表現可能か？
• RQ2 このようなモジュールにおける異なる重みの数はドゥインキンラベルの多項式であるか。もしそうならば、その多項式の次数は何か？
• RQ3 ドメイントインテグラル重みに対応する軌道和は、ウェイリーグループ上で有限次元既約キャラクターの交代和として表現可能か？
• RQ4 レイヤー多項式の構成は、モジュールの重みポリトープにおける格子点数え上げと一致するか？
• RQ5 レイヤー和と既約キャラクターとの関係を記述する線形系の構造は何か。また、この系は逆行列可能であり、個々のキャラクターを再構成可能か？

主な発見

• 有限次元既約モジュールにおける異なる重みの数は、最高重みのドゥインキンラベルに関する多項式で与えられ、その次数はリー代数のランクに等しい。
• すべての有限次元既約モジュールのキャラクターは、非負整数係数を用いてレイヤー和の線形結合に分解可能である。
• $A_5$ におけるレイヤー多項式は、ドゥインキンラベルに関する5次多項式として明示的に計算され、重みポリトープ内の格子点数え上げと一致する。
• $G_2$ において、異なる重みの数は、キャラクター論的およびポリトープ・グリッド点数え上げの両方の方法と一致する多項式式で与えられる。
• 逆問題として、軌道和を既約キャラクターで表現するには、対角成分が1の下三角行列系が得られ、キャラクターの再帰的計算が可能になる。
• ウェイリーグループの位数は、シフトされたウェイリーグループ作用に関連する点で評価されたレイヤー多項式の交代和として表現可能である。