跳转到内容

群表示论

本页使用了标题或全文手工转换
维基百科,自由的百科全书

群论中,群表示论(英语:Group representation theory)是一个非常重要的理论。它包含了(局部)紧致群李群李代数群概形的表示等种种分支,近来无限维表示理论也渐露头角。表示理论在量子物理与数学的各领域中均有重要应用。

基本定义

表示理论早期是藉矩阵的语言描述的,具体定义如下:

  • 如果任何非零方阵的集合的乘法关系和给定群的乘法关系相同,则这个矩阵集合形成群的一个表示,这套矩阵的阶称为表示的维数
  • 如果两个同维表示的矩阵以同一相似变换相关联,则称这两个表示是等价的。
  • 如果任何维数大于一的表示的所有矩阵都可以用相同的相似变换转换为相同的块对角矩阵结构,则称此表示为可约表示,反之称为不可约表示

形式地说,一个群的表示乃一同态 ,其中为给定的有限维向量空间,系数布于一个,通常取,但在一般域(如局部域有限域)上的表示也有重要应用。表从上的自同构,或对一给定的基底来说,是阶可逆方阵的集合。若是平凡的,则称此表现是忠实的。

若所考虑的群带有额外的结构(如拓扑群李群群概形),我们通常要求满足相应的条件(如连续性、可微性或者要求它是概形间的态射);在有限群及紧致群以外的情况,通常也须考虑无穷维表示。

一个群的所有有限维表示构成一个张量范畴,记为;其态射定义如下:

它等价于有限维-模所构成的范畴。不难验证表示间的同构确由矩阵的相似变换给出。一个表示被称作不可约的,若且唯若它没有在的作用下不变的非平凡子空间。若一个表示能表成不可约表示的直和,则称之为完全可约的。若取,则紧致群的表示均为完全可约的,对于一般的李群及群概形则复杂得多,完全可约与否通常与半单性有关。

特征标

给定的一个表示,可以得到一个特征标,它是个类函数。特征标理论在有限群分类中占关键地位;在紧致群上,特征标满足舒尔正交关系,又根据彼得-外尔定理,不可约表现的特征标相对于 范数在类函数中稠密。请参见特征标理论

诱导与限制

之子群,。以下将定义两个函子限制)与诱导)。

  • 为G的表示,则ρ限制于H给出H的表示,记为
  • 为H的表示,我们定义以右乘法作用在上。仍是有限维,记此表示为

诱导表示亦可用矩阵直接计算,或定义为某个主齐性空间的截面;后者可推广至李群与群概形的表示,此时诱导表示的性状与的几何构造密切相关。

弗罗贝尼乌斯互反定理言明:若分别为的表示,则有自然的同构。换言之:为一对伴随函子

若以特征标表之,上述同构化为一个较弱但较具体的等式:

例子

  • 任意一个群都自然地作用在其群代数上,称为正则表现
  • 对称群作用在上。
  • 作用于m次调和多项式上。

与物理学的关系

迄今已知的物理定律通常在某个李群的作用下保持不变,如空间的旋转群或其覆盖,其不可约表示关系到角动量的量子化。进一步的例子是:任何与狭义相对论相容的量子力学系统都带有半直积)的酉表示,其中是时空的平移而劳仑兹变换群,藉著研究的不可约酉表示,可分类粒子的质量和自旋

参见

文献

  • 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