Semisimplification of the category of tilting modules for \(\mathrm{GL}_n\) (Q2213758)

Let \(k\) be an algebraically closed field of prime characteristic \(p \geq 0\) and \(G_n:= \mathrm{GL}_n(k)\), an algebraic group, for \(n\geq 0\). The symmetric tensor category \(\mathcal{R}ep(G_n)\) of finite-dimensional rational representations of \(G_n\) is a lower finite highest weight category with irreducible, standard, costandard and indecomposable tilting modules \(L_n(\lambda)\), \(\Delta_n(\lambda)\), \(\nabla_n(\lambda)\) and \(T_n(\lambda)\) parametrized by their highest weight \(\lambda\). The dominant weight \(\lambda\) may be identified with \(X_n^+ = \{\lambda = (\lambda_1,\dots,\lambda_n) \in \mathbb{Z}^n : \lambda_1 \geq \ldots \geq \lambda_n \}\) ordered by the usual dominance ordering \(\unlhd\). Let \(\mathcal{T}ilt (G_n)\) be the full subcategory of \(\mathcal{R}ep (G_n)\) consisting of all tilting modules, which is a Karoubian rigid symmetric monoidal category. The defining \(n\)-dimensional representation \(V_n\) of \(G_n\) is an indecomposable tilting module, as are all of its (irreducible) exterior powers and their duals. These modules generate \(\mathcal{T}ilt(G_n)\) as a Karoubian monoidal category. The semisimplification \(\overline{\mathcal{T}ilt(G_n)} := \mathcal{T}ilt(G_n) / \mathcal{N}\) of the category \(\mathcal{T}ilt(G_n)\) is its quotient by the tensor ideal \(\mathcal N\) consisting of all negligible morphisms. This is a semisimple symmetric tensor category with irreducible objects arising from the indecomposable tilting modules whose dimension is nonzero modulo \(p\). Let \(0<p<n\). The authors describe the semisimplification of the monoidal category of tilting modules for the algebraic group \(\mathrm{GL}_n\) in characteristic \(p > 0\). That is, for \(p > 0\), there is a symmetric monoidal equivalence between \(\overline{\mathcal{T}ilt(G_{n_0})} \boxtimes\cdots\boxtimes \overline{\mathcal{T}ilt(G_{n_r})}\) and \(\overline{\mathcal{T}ilt(G_{n})}\). The authors compute the dimensions of the indecomposable tilting modules modulo \(p\), i.e., the irreducible objects of \(\overline{\mathcal{T}ilt(G_{n})}\) are the indecomposable tilting modules with highest weight in \(X_{n,p}^+\) (see Equation (1.6), page 3).