Linkage and translation for tensor products of representations of simple algebraic groups and quantum groups

Abstract

Let $\mathbf{G}$ be either a simple linear algebraic group over an algebraically closed field of characteristic $\ell >0$ or a quantum group at an $\ell$-th root of unity. We define a tensor ideal of singular $\mathbf{G}$-modules in the category $\mathrm{Rep}(\mathbf{G})$ of finite-dimensional $\mathbf{G}$-modules and study the associated quotient category $\underline{\mathrm{Re}}\mathrm{p}(\mathbf{G})$, called the regular quotient. Our main results are a 'linkage principle' and a 'translation principle' for tensor products: Let ${\underline{\mathrm{Re}}\mathrm{p}}_0(\mathbf{G})$ be the essential image in $\underline{\mathrm{Re}}\mathrm{p}(\mathbf{G})$ of the principal block of $\mathrm{Rep}(\mathbf{G})$. We first show that ${\underline{\mathrm{Re}}\mathrm{p}}_0(\mathbf{G})$ is closed under tensor products in $\underline{\mathrm{Re}}\mathrm{p}(\mathbf{G})$. Then we prove that the monoidal structure of $\underline{\mathrm{Re}}\mathrm{p}(\mathbf{G})$ is governed to a large extent by the monoidal structure of ${\underline{\mathrm{Re}}\mathrm{p}}_0(\mathbf{G})$. These results can be combined to give an external tensor product decomposition $\underline{\mathrm{Re}}\mathrm{p}(\mathbf{G})\cong \mathrm{Ver}(\mathbf{G})⊠{\underline{\mathrm{Re}}\mathrm{p}}_0(\mathbf{G})$, where $\mathrm{Ver}(\mathbf{G})$ denotes the Verlinde category of $\mathbf{G}$.

23 pages. Minor revisions after a referee report. To appear in Proc. London Math. Soc