射影表示
在数学中,群
在域
上的矢量空间
上的射影表示意指一个群同态
其中
表示矢量空间
的自同构群,而
视为纯量积映射
,其中
。
若
维度有限,选定基底后可将
理解为
,即
阶可逆矩阵对正规子群
之商群。
对于给定的群表示
,与商映射
合成后可得到一个射影表示。较常探讨的是逆向的问题:如何将一个射影表示
提升至一个表示
,使得
?
对于提升问题,通常采取如下进路:取同态
与
的纤维积,得到一个中心扩张
其中
。
这类扩张由群上同调
分类。若此扩张是平凡的,则
可提升至
的表示。即使此表示无法提升,仍可退而求其次,藉群上同调研究扩张的性质,例如:扩张对应的上同调类
满足
若且唯若
可提升为某个中心扩张
的
的表示。
