[論文レビュー] An Elementary Introduction to Groups and Representations

Brian C. Hall|ArXiv.org|May 31, 2000

Advanced Algebra and Geometry被引用数 27

ひとこと要約

この論文は、微分幾何学の前提知識を回避するため、行列リー群に焦点を当てた、リー群および表現論へのアクセスしやすい行列式の導入を提供する。基本的な群の概念から始まり、リー代数、指数写像、および完全可約表現の分類に至るまで体系的に理論を展開し、一般の半単純リー代数とその最高重み分類の理論を動機づけるために、sl(3;C)を詳細に扱う。

ABSTRACT

These notes give an elementary introduction to Lie groups, Lie algebras, and their representations. Designed to be accessible to graduate students in mathematics or physics, they have a minimum of prerequisites. Topics include definitions and examples of Lie groups and Lie algebras, the relationship between Lie groups and Lie algebras via the exponential mapping, the basics of representations theory, the Baker-Campbell-Hausdorff formula, a detailed study of the representations of SU(3), and a brief survey of the representation theory of general semisimple groups.

研究の動機と目的

• 微分多様体の知識が全くない読者向けに、自己完結的でアクセスしやすいリー群および表現論の導入を提供すること。
• 微分幾何学を必要としない、具体的な行列例と計算を用いた行列リー群およびその関連するリー代数の理論の構築。
• 明示的な計算を通じて、半単純リー代数の構造とその表現論を動機づけ、sl(3;C)における計算を経て最高重み分類に至ること。
• シュールの補題、完全可約性、双対表現といった表現論の基礎的結果を確立し、SU(2)、SO(3)、ヘイゼンベルク群への応用を含む。
• ベーカー＝キャンベル＝ハウスドルフの公式と、リー群とリー代数を結ぶその役割を提示すること。特にヘイゼンベルク群の文脈で。

提案手法

• GL(n;C)の閉部分群として行列リー群を定義し、多様体論を必要としない具体的なアプローチを可能にする。
• 行列の指数関数と対数関数を用いて、リー群とリー代数を結びつけ、対角化可能、冪零、一般の行列に対して明示的な計算技術を用いる。
• 標準的な行列の交換子をリー括弧積として用い、行列リー群のリー代数を、すべてのtに対してexp(tX)が群に属する行列Xの集合として導出する。
• ベーカー＝キャンベル＝ハウスドルフの公式を用いて、群の積をリー代数の要素で表現し、ヘイゼンベルク群のケースで明示的な計算を行う。
• 降下作用素の作用と重根空間分解を用いて、sl(2;C)およびsl(3;C)の完全可約表現を最高重み理論により分類する。
• ワイル群と根空間分解を用いて、半単純リー代数の構造とその表現を分析し、特にsl(3;C)のケースに注目する。

実験結果

リサーチクエスチョン

• RQ1 微分幾何学を必要とせず、行列リー群のみを用いてリー群および表現論をどのように展開できるか？
• RQ2 行列リー群に付随するリー代数の構造は何か？また、指数写像は群と代数の間でどのように関係するか？
• RQ3 最高重み理論を用いて、sl(3;C)の完全可約表現をどのように分類できるか？重みと根は果たす役割は何か？
• RQ4 群の随伴表現とその中心の関係は何か？特に、単連結でない群（例：O(2)）においては？
• RQ5 sl(2;C)の表現論は、sl(n;C)へどの程度一般化できるか？また、sl(3;C)の証明が高ランクではどこで失敗するのか？

主な発見

• 連結な行列リー群Gの随伴表現について、ker(Ad) = Z(G)が成り立つが、O(2)ではこの等式は成り立たない。ker(Ad)は自明であるが、Z(O(2))には恒等元と−Iが含まれる。
• 有限アーベル群では、複素数の完全可約表現の数は群の元の数に等しく、これは巡回群の積として表せることによる。
• 任意の直交行列R ∈ O(n)は、R^nを1次元または2次元の不変部分空間に直交分解でき、2次元ブロックでは行列式が1となる。これにより、expの上への性質を用いてSO(n)が連結であることが示される。
• SO(n)の指数写像は全射であり、これはSO(n)の連結性を示す別証明を提供する。この証明は、行列式が1である条件に強く依存している。
• sl(2;C)⊕sl(2;C)の完全可約表現は、最高重みのペア(m1, m2)で分類され、次元は(m1+1)(m2+1)である。これはsl(2;C)のケースを一般化する。
• 最高重み(0,2)のsl(3;C)の完全可約表現について、次元は8であり、重みは(0,0), (−1,1), (1,−1), (−2,2), (0,−1), (2,−2), (−1,0), (1,1)であり、それぞれの重複度は1, 2, 2, 1, 1, 1, 1, 1である。