群表示论
在群论中，群表示论（英语：Group representation theory）是一个非常重要的理论。它包含了（局部）紧致群、李群、李代数及群概形的表示等种种分支，近来无限维表示理论也渐露头角。表示理论在量子物理与数学的各领域中均有重要应用。
基本定义[编辑]
表示理论早期是藉矩阵的语言描述的，具体定义如下：
- 如果任何非零方阵的集合的乘法关系和给定群的乘法关系相同，则这个矩阵集合形成群的一个表示，这套矩阵的阶称为表示的维数。
- 如果两个同维表示的矩阵以同一相似变换相关联，则称这两个表示是等价的。
- 如果任何维数大于一的表示的所有矩阵都可以用相同的相似变换变换为相同的块对角矩阵结构，则称此表示为可约表示，反之称为不可约表示。
形式地说，一个群<math>G</math>的表示乃一同态 <math>\rho: G \rightarrow \mathrm{GL}(V)</math>，其中<math>V</math>为给定的有限维向量空间，系数布于一个域<math>F</math>，通常取<math>F = \mathbb{C}</math>，但在一般域（如局部域或有限域）上的表示也有重要应用。<math>\mathrm{GL}(V)</math>表从<math>V</math>上的自同构，或对一给定的基底来说，是<math>n = \dim V</math>阶可逆方阵的集合。若<math>\mathrm{Ker}(\rho)</math>是平凡的，则称此表现是忠实的。
若所考虑的群<math>G</math>带有额外的结构（如拓扑群、李群或群概形），我们通常要求<math>\rho</math>满足相应的条件（如连续性、可微性或者要求它是概形间的态射）；在有限群及紧致群以外的情况，通常也须考虑无穷维表示。
一个群<math>G</math>的所有有限维表示构成一个张量范畴，记为<math>\mathrm{Rep}_G</math>；其态射定义如下：
<math>\mathrm{Hom}_G((\rho, V), (\sigma, W)) := \{f \in \mathrm{Hom}_F(V, W) : f(\rho(g)v) = \sigma(g)f(v) \}</math>
它等价于有限维<math>F[G]</math>-模所构成的范畴。不难验证表示间的同构确由矩阵的相似变换给出。一个表示被称作不可约的，当且仅当它没有在<math>G</math>的作用下不变的非平凡子空间。若一个表示能表成不可约表示的直和，则称之为完全可约的。若取<math>F=\mathbb{C}</math>，则紧致群的表示均为完全可约的，对于一般的李群及群概形则复杂得多，完全可约与否通常与半单性有关。
特征标[编辑]
给定<math>G</math>的一个表示，可以得到一个特征标<math>\chi: G \rightarrow F</math>，它是个类函数。特征标理论在有限群分类中占关键地位；在紧致群上，特征标满足舒尔正交关系，又根据彼得-外尔定理，不可约表现的特征标相对于 <math>L^{\infty}</math> 范数在类函数中稠密。请参见特征标理论。
诱导与限制[编辑]
设<math>H</math>为<math>G</math>之子群，<math>(G:H) < \infty</math>。以下将定义两个函子<math>\mathrm{Res}^G_H: \mathrm{Rep}_G \rightarrow \mathrm{Rep}_H</math>（限制）与<math>\mathrm{Ind}^G_H: \mathrm{Rep}_H \rightarrow \mathrm{Rep}_G</math>（诱导）。
- 若<math>\rho: G \rightarrow \mathrm{GL}(V)</math>为G的表示，则ρ限制于H给出H的表示，记为<math>\mathrm{Res}^G_H(V)</math>。
- 若<math>\rho: H \rightarrow \mathrm{GL}(V)</math>为H的表示，我们定义<math>V^G := \{ f: G \rightarrow V : \forall h \in H \; f(hg)=\rho(h)f(g) \}</math>。<math>G</math>以右乘法作用在<math>V^G</math>上。<math>V^G</math>仍是有限维，记此表示为<math>\mathrm{Ind}^G_H(V)</math>。
诱导表示亦可用矩阵直接计算，或定义为某个主齐性空间的截面；后者可推广至李群与群概形的表示，此时诱导表示的性状与<math>G/H</math>的几何构造密切相关。
弗罗贝尼乌斯互反定理言明：若<math>V,W</math>分别为<math>G, H</math>的表示，则有自然的同构<math>\mathrm{Hom}_H (W, \mathrm{Res}^G_H (V)) = \mathrm{Hom}_G(\mathrm{Ind}^G_H (W),V)</math>。换言之：<math>(\mathrm{Ind}^G_H, \mathrm{Res}^G_H)</math>为一对伴随函子。
若以特征标表之，上述同构化为一个较弱但较具体的等式：<math>(\chi_{\mathrm{Ind}^G_H(W)}, \chi_V) = (\chi_W, \chi_{\mathrm{Res}^G_H(V)})</math>。
例子[编辑]
- 任意一个群<math>G</math>都自然地作用在其群代数<math>\mathbb{C}[G]</math>上，称为正则表现。
- 对称群<math>S_n</math>以<math>\sigma \cdot e_i = e_{\sigma(i)}</math>作用在<math>\mathbb{C}^n</math>上。
- <math>\mathrm{SO}_n(\mathbb{R})</math>以<math>g \cdot f(x) = f(g(x))</math>作用于m次调和多项式上。
与物理学的关系[编辑]
迄今已知的物理定律通常在某个李群的作用下保持不变，如空间的旋转群<math>\mathrm{SO}(3)</math>或其覆盖<math>\mathrm{Spin}(3)</math>，其不可约表示关系到角动量的量子化。进一步的例子是：任何与狭义相对论相容的量子力学系统都带有<math>G := AH</math>（半直积）的酉表示，其中<math>A</math>是时空的平移而<math>H</math>是 劳仑兹变换群，借着研究<math>G</math>的不可约酉表示，可分类粒子的质量和自旋。
参见[编辑]
文献[编辑]
- 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