[論文レビュー] Compact groups and their representations

A. A. Kirillov, Alexander Kirillov|ArXiv.org|Jun 7, 2005

Advanced Topics in Algebra参考文献 2被引用数 4

ひとこと要約

この論文は、コンパクトなリー群の構造および表現論の包括的概説を提供し、再帰的分解、複素化、および最高重み理論による分類に焦点を当てる。Weylのキャラクター公式や、最大トーラスおよびルート系がキャラクターと重複度の計算に果たす役割を含む、基礎的な結果を確立する。

ABSTRACT

This is an overview article on compact Lie groups and their representations, written for the Encyclopedia of Mathematical Physics to be published by Elsevier.

研究の動機と目的

• リー代数の分解と位相的不変量を用いて、連結なコンパクトなリー群の構造理論を体系化すること。
• コンパクトなリー群の複素化の存在と一意性を確立し、表現論におけるその役割を示すこと。
• 最高重み理論とルート系のデータを用いて、有限次元の無限可約表現を分類すること。
• キャラクター、次元、重みの重複度の計算に用いる計算ツール（Weylのキャラクター公式やKostantの分割関数など）を提供すること。
• フラッグ多様体とラインバンドルを通じて、コンパクト群の表現論と代数幾何学を結びつけること。

提案手法

• コンパクト群のリー代数を、アーベルな理想部分代数と半単純な導来代数の直和に分解し、$ G = (A \times K)/Z $ というグローバルな群構造を得る。
• コンパクト群のリー代数が再帰的であることを示すために、キリング形式の非正定性を用いる。
• コンパクトリー群 $ G $ の複素化 $ G_{\mathbb{C}} $ を構成し、$ \operatorname{Lie}(G_{\mathbb{C}}) = \mathfrak{g}_{\mathbb{C}} $ を満たす複素リー群としての性質を示し、$ G \subset G_{\mathbb{C}} $ がホモトピー同値であることを証明する。
• Weylのキャラクター公式 $ \chi_{L_{\lambda}} = \frac{A_{\lambda + \rho}}{A_{\rho}} $ を適用する。ここで $ A_{\mu} = \sum_{w \in W} \varepsilon(w) e^{w(\mu)} $ であり、最高重みからキャラクターを計算する。
• Kostantの分割関数 $ K(\tau) $ を用いて、重みの重複度を $ \operatorname{mult}_{L(\lambda)}\mu = \sum_{w \in W} \varepsilon(w) K(w(\lambda + \rho) - \rho - \mu) $ で計算する。
• Littlewood–Richardsonの法則とヤング盤を用いて、$ \mathrm{U}(n) $ におけるテンソル積の重複度を明示的に計算する。

実験結果

リサーチクエスチョン

• RQ1 連結なコンパクトリー群の構造は、その最大トーラスおよび simply-connected 半単純成分を用いてどのように分解可能か？
• RQ2 コンパクトリー群の複素化が存在し、一意であるための条件は何か？
• RQ3 最高重みとルート系を用いて、コンパクトリー群の無限可約表現はどのように分類されるか？
• RQ4 Weylのキャラクター公式の正確な形は何か？また、次元の公式や重みの重複度の計算にどのように寄与するか？
• RQ5 特に古典的群において、テンソル積の重複度をアルゴリズム的にどのように計算できるか？

主な発見

• 任意の連結なコンパクトリー群 $ G $ は、一意に $ G = (A \times K)/Z $ と分解可能であり、ここで $ A $ はトーラス、$ K $ は simply-connected 半単純群、$ Z $ は有限な中心部分群である。
• コンパクトリー群 $ G $ の複素化 $ G_{\mathbb{C}} $ は一意に存在し、$ \pi_1(G) \simeq \pi_1(G_{\mathbb{C}}) $ を満たし、$ G_{\mathbb{C}}/G $ は可縮である。
• $ G $ の任意の有限次元表現は、一意に $ G_{\mathbb{C}} $ の正則表現に拡張可能であり、実表現論と複素表現論を結びつける。
• Weylのキャラクター公式により $ \chi_{L_{\lambda}} = \frac{A_{\lambda + \rho}}{A_{\rho}} $ が得られ、ここで $ A_{\mu} = \sum_{w \in W} \varepsilon(w) e^{w(\mu)} $ であり、キャラクターの正確な計算が可能になる。
• 最高重み $ \lambda $ を持つ無限可約表現の次元は $ \dim L(\lambda) = \prod_{\alpha \in R_+} \frac{\langle \alpha^\vee, \lambda + \rho \rangle}{\langle \alpha^\vee, \rho \rangle} $ で与えられる。
• $ \mathrm{SU}(2) $ に対して、最高重み $ k \cdot \omega $ を持つ無限可約表現の次元は $ k+1 $ であり、キャラクターは $ \chi_{\Pi_k} = \frac{x^{k+1} - x^{-(k+1)}}{x - x^{-1}} $ である。