Tilting modules and cellular categories

TL;DR

This paper demonstrates that categories of tilting modules for algebraic groups and related structures are cellular, providing explicit generators for morphisms and extending results to quantum groups and specific cases like SL_2.

Contribution

It proves that tilting modules form a cellular category and identifies generating sets for morphisms, extending previous results to infinitesimal thickenings and quantum groups.

Findings

Tilting modules form a cellular category for reductive algebraic groups.

Explicit cellular basis elements generate all morphisms in these categories.

Results apply to quantum groups at roots of unity and specific cases like SL_2.

Abstract

In this paper we study categories of tilting modules. Our starting point is the tilting modules for a reductive algebraic group G in positive characteristic. Here we extend the main result in [8] by proving that these tilting modules form a (strictly object-adapted) cellular category. We use this result to specify a subset of cellular basis elements, which generates all morphisms in this category. In a different direction we generalize the earlier results to the case where G is replaced by the infinitesimal thickenings G_rT of a maximal torus T in G by the Frobenius subgroup schemes G_r. Here our procedure leads to a special set of generators for the morphisms in the category of projective G_rT- modules. Our methods are rather general (applying to "quasi hereditary like" categories). In particular, there are completely analogous results for tilting modules of quantum groups at roots of unity. As examples we treat the tilting modules in the ordinary BGG category O, and in the modular case we examine G = SL_2 in some details.