No label defined (Q4497338)

The aim of this paper is the theory of tilting modules for a reductive algebraic group \(G\) over an algebraically closed field \(K\) of characteristic \(p\). In order to be convenient to the reader, this paper is essentially self-contained, what explains its length. Also the author tries to make it accessible to a ``characteristic zero'' reader. The first three sections contain the basic material on algebraic groups. He recalls some elementary results about restricted Lie algebras, the definition of Chevalley groups and the main theorems of their representation theory. In this setting, the definition of a tilting module is based on the good filtrations. Therefore he gives an elementary treatment of these filtrations in Section 4. He defines the Frobenius splittings in Section 5. In Section 6, he gives a full proof of the stability by tensor product of good filtrations. Section 7 is devoted to the definition of tilting modules, following the work of Donkin. As the tensor product of two tilting modules is a tilting module, one can form a tensor category \(\mathcal P\) for which the morphisms are defined by the functor \(T^\Gamma\), which is investigated in Section 8. In Section 9, he explains the similarities with a tensor category \(\mathcal O^l_{int}\) considered by Moore and Seiberg in the context of Conformal Field Theory. In Section 10, he gives a proof of the so-called modular Verlinde formula which is simpler than the author's original proof. The abstract theory of the commutant algebra of a tilting module is explained in Section 11 and the subsequent sections are devoted to concrete examples. Section 12 is devoted to \(\text{GL}(n)\)-theory. In Section 13, he shows an easy example of a fusion ring, from which he recovers a result of Doty and gives a new proof of a result of Benkart, Britten and Lemire. Section 14 is devoted to the symmetric group, it also contains some unpublished results connected with the works of Erdmann and Kleshchev. For the entire collection see [Zbl 0941.00016].