群表示論

维基百科，自由的百科全书

在群論中，群表示論(group representation theory)是一个非常重要的理論。它包含了（局部）緊緻群、李群、李代數及群概形的表示等種種分支，近來無限維表示理論也漸露頭角。表示理論在量子物理與數學的各領域中均有重要應用。

[编辑] 基本定義

表示理論早期是藉矩陣的語言描述的，具體定義如次：

如果任何非零方陣的集合的乘法關係和给定群的乘法關係相同，则這個矩陣集合形成群的一個表示，這套矩陣的階稱為表示的維數。
如果兩個同維表示的矩陣以同一相似變換相關聯，則稱這兩個表示是等價的。
如果任何維數大於一的表示的所有矩陣都可以用相同的相似變換轉換为相同的塊對角矩陣結構，則稱此表示为可約表示，反之稱为不可約表示。

形式地說，一個群 $G$ 的表示乃一同態 $\rho: G \rightarrow \mathrm{GL}(V)$ ，其中 $V$ 為給定的有限維向量空間，係數佈於一個域 $F$ ，通常取 $F = \mathbb{C}$ ，但在一般域（如局部域或有限域）上的表示也有重要應用。 $GL(V)$ 表從 $V$ 上的自同構，或對一給定的基底來說，是 $n = \dim V$ 階可逆方陣的集合。若 $Ker(ρ)$ 是平凡的，則稱此表現是忠實的。

若所考慮的群 $G$ 帶有額外的結構（如拓撲群、李群或群概形），我們通常要求 $ρ$ 滿足相應的條件（如連續性、可微性或者要求它是概形間的態射）；在有限群及緊緻群以外的情況，通常也須考慮無窮維表示。

一個群 $G$ 的所有有限維表示構成一個張量範疇，記為 $Rep G$ ；其態射定義如下：

$\mathrm{Hom}_G((\rho, V), (\sigma, W)) := \{f \in \mathrm{Hom}_F(V, W) : f(\rho(g)v) = \sigma(g)f(v) \}$

它等價於有限維 $F [G]$ -模所構成的範疇。不難驗證表示間的同構確由矩陣的相似變換給出。一個表示被稱作不可約的，若且唯若它沒有在 $G$ 的作用下不變的非平凡子空間。若一個表現能表成不可約表示的直和，則稱之為完全可約的。若取 $F=\mathbb{C}$ ，則緊緻群的表示均為完全可約的，對於一般的李群及群概形則複雜得多，完全可約與否通常與半單性有關。

[编辑] 特徵標

給定 $G$ 的一個表示，可以得到一個特徵標 $\chi: G \rightarrow F$ ，它是個類函數。特徵標理論在有限群分類中佔關鍵地位；在緊緻群上，特徵標滿足舒爾正交關系，又根據彼得-外爾定理，不可約表現的特徵標相對於 $L^{\infty}$ 範數在類函數中稠密。請參見特徵標理論。

[编辑] 誘導與限制

設 $H$ 為 $G$ 之子群， $(G:H) < \infty$ 。以下將定義兩個函子 $\mathrm{Res}^G_H: \mathrm{Rep}_G \rightarrow \mathrm{Rep}_H$ （限制）與 $\mathrm{Ind}^G_H: \mathrm{Rep}_H \rightarrow \mathrm{Rep}_G$ （誘導）。

若 $\rho: G \rightarrow \mathrm{GL}(V)$ 為G的表示，則ρ限制於H給出H的表示，記為 $\mathrm{Res}^G_H(V)$ 。
若 $\rho: H \rightarrow \mathrm{GL}(V)$ 為H的表示，我們定義 $V^G := \{ f: G \rightarrow V : \forall h \in H \; f(hg)=\rho(h)f(g) \}$ 。 $G$ 以右乘法作用在 $V G$ 上。 $V G$ 仍是有限維，記此表示為 $\mathrm{Ind}^G_H(V)$ 。

誘導表示亦可用矩陣直接計算，或定義為某個主齊性空間的截面；後者可推廣至李群與群概形的表示，此時誘導表示的性狀與 $G / H$ 的幾何構造密切相關。

弗羅貝尼烏斯互反定理言明：若 $V, W$ 分別為 $G, H$ 的表示，則有自然的同構 $\mathrm{Hom}_H (W, \mathrm{Res}^G_H (V)) = \mathrm{Hom}_G(\mathrm{Ind}^G_H (W),V)$ 。換言之： $(\mathrm{Ind}^G_H, \mathrm{Res}^G_H)$ 為一對伴隨函子。

若以特徵標表之，上述同構化為一個較弱但較具體的等式： $(\chi_{\mathrm{Ind}^G_H(W)}, \chi_V) = (\chi_W, \chi_{\mathrm{Res}^G_H(V)})$ 。

[编辑] 例子

任意一個群 $G$ 都自然地作用在其群代數 $\mathbb{C}[G]$ 上，稱為正則表現。
對稱群 $S n$ 以 $\sigma \cdot e_i = e_{\sigma(i)}$ 作用在 $\mathbb{C}^n$ 上。
$\mathrm{SO}_n(\mathbb{R})$ 以 $g \cdot f(x) = f(g(x))$ 作用於m次調和多項式上。

[编辑] 與物理學的關係

迄今已知的物理定律通常在某個李群的作用下保持不變，如空間的旋轉群 $SO(3)$ 或其覆蓋 $Spin(3)$ ，其不可約表示關係到角動量的量子化。進一步的例子是：任何與狹義相對論相容的量子力學系統都帶有 $G : = A H$ （半直積）的酉表示，其中 $A$ 是時空的平移而 $H$ 是勞侖茲變換群，藉著研究 $G$ 的不可約酉表示，可分類粒子的質量和自旋。

[编辑] 參見

[编辑] 文獻

J.L. Alperin, Rowen B. Bell, Groups and Representations (1995), Graduate Texts in Mathematics 162 ,Springer. ISBN 0387945261
J.C. Jantzen, Representations of Algebraic Groups (2003), American Mathematical Society. ISBN 0821835270
V.S. Varadarajan, An Introduction to Harmonic Analysis on Semisimple Groups (1989), Cambridge University Press. ISBN 0-521-34156-6

查 • 論 • 編 • 歷与抽象代数相关主题
代数系统 \| 群 \| 半群 \| 幺半群 \| 环 \| 域 \| 伽罗瓦域 \| 本原元 \| 格 \| 逆元素 \| 等价关系 \| 同构基本定理 \| 合成列 \| 自由對象
群论	子群 \| 阶 \| 阿贝尔群 \| 循環群 \| 有限群 \| 李群 \| 中心 \| 陪集 \| 正规子群 \| 拉格朗日定理 \| 幂零群 \| 商群 \| 双陪集 \| 共轭类 \| 群表示 \| 群作用 \| 交換子 \| 中心化子和正规化子 \| 交换子群 \| 可解群 \| p-群 \| 对称群 \| 西羅定理 \| 稳定子群 \| 單群 \| 半单群 \| 典型群 \| 自由群
环论	整环 \| 除环 \| 多项式环 \| 环的理想 \| 模 \| 幂零元 \| 特征 \| 主理想环 \| 唯一分解环 \| 素环 \| 商环 \| 自由模 \| 平坦模 \| 諾特環 \| 完備化 \| 阿廷模 \| 諾特模 \| 局部化 \| 深度 (模論) \| 局部環 \| 賦值環 \| 交換環上的代數 \| 單模
域论	域扩张 \| 有限域 \| 原根 \| 有限扩张 \| 超越扩张 \| 代数闭域 \| 局部域 \| 分式環 \| 单扩张 \| 代数扩张
同态 \| 同构 \| 商结构(商系统)