On injective modules and support varieties for the small quantum group

Abstract

Let $u_ζ(g)$ denote the small quantum group associated to the simple complex Lie algebra $g$, with parameter $q$ specialized to a primitive $\ell$-th root of unity $ζ$ in the field $k$. Generalizing a result of Cline, Parshall and Scott, we show that if $M$ is a finite-dimensional $u_ζ(g)$-module admitting a compatible torus action, then the injectivity of $M$ as a module for $u_ζ(g)$ can be detected by the restriction of $M$ to certain root subalgebras of $u_ζ(g)$. If the characteristic of $k$ is positive, then this injectivity criterion also holds for the higher Frobenius--Lusztig kernels $U_ζ(G_r)$ of the quantized enveloping algebra $U_ζ(g)$. Now suppose that $M$ lifts to a $U_ζ(g)$-module. Using a new rank variety type result for the support varieties of $u_ζ(g)$, we prove that the injectivity of $M$ for $u_ζ(g)$ can be detected by the restriction of $M$ to a single root subalgebra.