Analysis reveals that the Steinberg representation is projective in semisimple groups at complex roots of unity, indicating a deeper understanding of injective properties.
We consider quantum group representations for a semisimple algebraic group G G at a complex root of unity q q . Here q q is allowed to be of any order. We revisit some fundamental results of Parshall-Wang and Andersen-Polo-Wen from the 90’s. In particular, we show that the category R e p ( G q ) Rep(G_q) of quantum group representations has enough projectives and injectives, and that a G q G_q -representation is projective (resp. injective) if and only if its restriction to the small quantum group is projective (resp. injective). Our results reduce to an analysis of the Steinberg representation in the simply-connected setting, and are well-known at odd order q q via works of the aforementioned authors. The details at arbitrary q q have, to our knowledge, not appeared in the literature up to this point.
No takes yet. Share an insight, caveat, or question.
Cris Negron (2025) studied this question.
Synapse has enriched 2 closely related papers on similar clinical questions. Consider them for comparative context: