强制分次代数的零分次部分

本文关注半单代数群 $G$ 在特征 $p$ 下的表示范畴的一个特定子范畴，该子范畴源于相应量子群在 $p$ 次单位根处的半单模。因此，该子范畴记录了量子群与代数群之间的上同调差异。我们在此范畴中定义平移函子，并利用它们在不成立 Lusztig 特征标公式时获取关于 $G$ 的不可约特征标的信息。