射影表示

表示论中, 上的向量空间 上的射影表示指从射影线性群的一个群同态

其中 表示在域上向量空间 的可逆线性变换构成的一般线性群,而 视为标量积映射 ,其中

维度有限,选定基底后可将 理解为 ,即 可逆矩阵正规子群 之商群。

对于给定的群表示 ,与商映射 合成后可得到一个射影表示。较常探讨的是逆向的问题:如何将一个射影表示 提升至一个表示 ,使得

对于提升问题,通常采取如下进路:取同态 纤维积,得到一个中心扩张

其中

这类扩张由群上同调 分类。若此扩张是平凡的,则 可提升至 的表示。即使此表示无法提升,仍可退而求其次,藉群上同调研究扩张的性质,例如:扩张对应的上同调类 满足 当且仅当 可提升为某个中心扩张 的表示。

参见