群表示论

✍ dations ◷ 2025-04-04 19:53:49 #抽象代数,群论,群表示论

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

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

形式地说,一个群 G {\displaystyle G} 的表示乃一同态 ρ : G G L ( V ) {\displaystyle \rho :G\rightarrow \mathrm {GL} (V)} ,其中 V {\displaystyle V} 为给定的有限维向量空间,系数布于一个域 F {\displaystyle F} ,通常取 F = C {\displaystyle F=\mathbb {C} } ,但在一般域(如局部域或有限域)上的表示也有重要应用。 G L ( V ) {\displaystyle \mathrm {GL} (V)} 表从 V {\displaystyle V} 上的自同构,或对一给定的基底来说,是 n = dim V {\displaystyle n=\dim V} 阶可逆方阵的集合。若 K e r ( ρ ) {\displaystyle \mathrm {Ker} (\rho )} 是平凡的,则称此表现是忠实的。

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

一个群 G {\displaystyle G} 的所有有限维表示构成一个张量范畴,记为 R e p G {\displaystyle \mathrm {Rep} _{G}} ;其态射定义如下:

H o m G ( ( ρ , V ) , ( σ , W ) ) := { f H o m F ( V , W ) : f ( ρ ( g ) v ) = σ ( g ) f ( v ) } {\displaystyle \mathrm {Hom} _{G}((\rho ,V),(\sigma ,W)):=\{f\in \mathrm {Hom} _{F}(V,W):f(\rho (g)v)=\sigma (g)f(v)\}}

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

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

H {\displaystyle H} G {\displaystyle G} 之子群, ( G : H ) < {\displaystyle (G:H)<\infty } 。以下将定义两个函子 R e s H G : R e p G R e p H {\displaystyle \mathrm {Res} _{H}^{G}:\mathrm {Rep} _{G}\rightarrow \mathrm {Rep} _{H}} (限制)与 I n d H G : R e p H R e p G {\displaystyle \mathrm {Ind} _{H}^{G}:\mathrm {Rep} _{H}\rightarrow \mathrm {Rep} _{G}} (诱导)。

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

弗罗贝尼乌斯互反定理言明:若 V , W {\displaystyle V,W} 分别为 G , H {\displaystyle G,H} 的表示,则有自然的同构 H o m H ( W , R e s H G ( V ) ) = H o m G ( I n d H G ( W ) , V ) {\displaystyle \mathrm {Hom} _{H}(W,\mathrm {Res} _{H}^{G}(V))=\mathrm {Hom} _{G}(\mathrm {Ind} _{H}^{G}(W),V)} 。换言之: ( I n d H G , R e s H G ) {\displaystyle (\mathrm {Ind} _{H}^{G},\mathrm {Res} _{H}^{G})} 为一对伴随函子。

若以特征标表之,上述同构化为一个较弱但较具体的等式: ( χ I n d H G ( W ) , χ V ) = ( χ W , χ R e s H G ( V ) ) {\displaystyle (\chi _{\mathrm {Ind} _{H}^{G}(W)},\chi _{V})=(\chi _{W},\chi _{\mathrm {Res} _{H}^{G}(V)})}

迄今已知的物理定律通常在某个李群的作用下保持不变,如空间的旋转群 S O ( 3 ) {\displaystyle \mathrm {SO} (3)} 或其覆盖 S p i n ( 3 ) {\displaystyle \mathrm {Spin} (3)} ,其不可约表示关系到角动量的量子化。进一步的例子是:任何与狭义相对论相容的量子力学系统都带有 G := A H {\displaystyle G:=AH} (半直积)的酉表示,其中 A {\displaystyle A} 是时空的平移而 H {\displaystyle H} 是 劳仑兹变换群,借着研究 G {\displaystyle G} 的不可约酉表示,可分类粒子的质量和自旋。

相关

  • 有毒蘑菇蕈类(注音:ㄒㄩㄣˋㄌㄟˋ;拼音:xùn lèi),通称蘑菇、菇类,是大型、高等的真菌,子实体通常肉眼可见。菌丝具横隔壁,将菌丝分隔成多细胞。不过,蘑菇一词通常是对蘑菇属(Agaricus)部分食
  • 吉西他滨吉西他滨(英语:Gemcitabine),是用于化学疗法的人工合成胞嘧啶核苷衍生物,具有放射增敏作用强,毒副作用较小的特点。礼来公司的注册商品名为健择(Gemzar)。结构是去氧胞苷2'碳上的氢
  • 四氯甲烷1.831 g.cm-3, -186 °C (固) 1.809 g.cm-3, -80 °C (固)四氯化碳(化学式:CCl4),也称四氯甲烷或氯烷,常态下为无色液体。过去常用作灭火器中的灭火物质,也曾经是常用的冷却剂。可
  • 常设仲裁法院常设仲裁法院(法语:Cour permanente d'arbitrage,缩写:CPA; 英语:Permanent Court of Arbitration,缩写:PCA),是位于荷兰海牙的国际仲裁机构。常设仲裁法院不等同联合国国际法院(法语:C
  • 晏姓,在《百家姓》中排第324位。始祖为晏安,陆终之第五个儿子。而陆终则是祝融氏吴回之子。春秋时代晏氏家族昌盛,为齐国四大贵族之一。秦汉以后世居于山东。晏姓在大陆和台湾
  • 截角三角化四面体截角三角化四面体是一种凸多面体,共有16个面,由五边形和六边形所组成,其中五边形有四种,每种有三个,并以四面体边和面之关系排列,原属于四面体顶点的部分则为六边形这是构造一个截
  • 2019冠状病毒病多哥疫情2019冠状病毒病多哥疫情,介绍在2019新型冠状病毒疫情中,在多哥发生的情况,可能无法涵盖所有及时的事件。3月6日,多哥通报首例患者,是输入性病例。患者是一位42岁的女性,居住在首都
  • 酸微菌亚纲酸微菌亚纲(Acidimicrobiia)是放线菌的一个亚纲,其中已描述了三个科,八个属和九个种。医学导航:病菌细菌(分类)gr+f/gr+a(t)/gr-p(c/gr-o药物(J1p、w、n、m、疫苗)
  • 大卫·希尔伯特大卫·希尔伯特(德语:David Hilbert .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gent
  • 巴尔托洛梅乌·迪亚士巴尔托洛梅乌·迪亚士(葡萄牙语:Bartolomeu Dias,1451年-1500年5月24日)是一名葡萄牙贵族和著名航海家,他于1487年带领船队航行至非洲大陆最南端并发现好望角,为葡萄牙开辟通往印度