Truncation and the induction theorem (Q2182359)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Truncation and the induction theorem
scientific article

    Statements

    Truncation and the induction theorem (English)
    0 references
    0 references
    0 references
    23 May 2020
    0 references
    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.
    0 references
    quantum enveloping algebras
    0 references
    algebraic groups
    0 references
    derived categories
    0 references
    highest weight categories
    0 references
    poset orders
    0 references
    truncated induction
    0 references
    representations in characteristic \(p\)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references