Truncation and the induction theorem (Q2182359)

Let \(G\) be a semisimple, simply connected algebraic group defined and split over the prime field \(\mathbb{F}_p\), with split maximal torus \(T\) contained in a Borel subgroup \(B\). Let \(D_{\mathrm{triv} }(B)\) be the full subcategory of the derived category of rational \(B\)-modules whose objects have cohomology that is finite dimensional as a vector space, with all weights lying in \(p\) times the root lattice. Let \(\mathrm{block}(G)\) denote the principal block of \(G\), the full subcategory of the category of rational \(G\)-modules whose objects have finite composition series with highest weights linked to \(0\). In other words, with highest weights in the orbit of \(0\) under the dot action of the affine Weyl group. Let \(h\) be the Coxeter number. The authors take as starting point \par Theorem 1. If \(p>h\) then \(\mathrm{RInd}_B^G:D(B)\to D(G)\) defines an isomorphism \(D_{\mathrm{triv} }(B)\to D^b(\mathrm{block}(G))\) by restricting its domain and range.\par The aim of the paper is to derive a truncated version of Theorem 1. If \(m>0\), let \(\Lambda_m\) be the subset of the root lattice consisting of the \(\lambda\) with \(\alpha^\vee(\lambda)\leq mp\) for all coroots \(\alpha^\vee\). Let \(\Gamma_m\) be the subset of \(\Lambda_m\) consisting of dominant weights linked to \(0\).\par The truncated version of Theorem 1 reads:\par Theorem 2. Under the assumption \(p >2h-2\), the equivalence \(\mathrm{RInd}_B^G: D_{\mathrm{triv} }(B)\to D^b(\mathrm{block}(G))\) of Theorem 1 induces, for each integer \(m >0\), equivalences of full triangulated subcategories \(D_{\mathrm{triv} }(\mathrm{Dist}(B)_{\Lambda_m})\stackrel\sim\to D^b(\mathrm{block}(G)_{\Gamma_m}).\) Also, \(D_{\mathrm{triv} }(B)\) is naturally equivalent to the directed union of its full triangulated sub-categories \(D_{\mathrm{triv} }(\mathrm{Dist}(B)_{\Lambda_m})\), \(m>0\) an integer, and \(D^b(\mathrm{block}(G))\) is similarly naturally equivalent to the directed union of the various \(D^b(\mathrm{block}(G)_{\Gamma_m})\). \par The authors remark that for each positive integer \(m\), the categories \(\mathrm{Dist}(B)_{\Lambda_m}\) and \(\mathrm{block}(G)_{\Gamma_m}\) are equivalent to categories of finite dimensional modules for finite dimensional quasi-hereditary algebras. The proof uses slight variations on the two highest weight category structures on the category of rational \(B\)-modules, introduced by the reviewer in [Math. Z. 201, No. 1, 19--31 (1989; Zbl 0642.20037)]. Its costandard modules are acyclic for the Joseph functors \(H_w\) (ibid. Exercise 2.23), in particular they are acyclic for \(\mathrm{Ind}_B^G\). See also [\textit{W. van der Kallen}, Lectures on Frobenius splittings and \(B\)-modules. Bombay: Tata Institute of Fundamental Research; Berlin: Springer-Verlag (1993; Zbl 0815.20027)]. Following Woodcock the authors modify the partial orderings on the weights, to make them better adapted to alcove geometry. This does not affect the costandard modules.