{
  "id": "1309.7241",
  "version": "v2",
  "published": "2013-09-27T13:57:34.000Z",
  "updated": "2016-03-21T06:15:26.000Z",
  "title": "Truncation and the induction theorem",
  "authors": [
    "Terrell Hodge",
    "Paramasamy Karuppuchmy",
    "Leonard Scott"
  ],
  "comment": "10 pages",
  "categories": [
    "math.RT"
  ],
  "abstract": "A key result in a 2004 paper by S. Arkhipov, R. Bezrukavnikov, and V. Ginzburg (ABG) gives an equivalence of the bounded derived category of finite dimensional modules for the principal block of a Lusztig quantum algebra at an $\\ell^{th}$ root of unity, with am explicit full subcategory of the bounded derived category of integrable type 1 modules for a Borel part of the quantum algebra. Some restrictions on $\\ell$ are required; in particular, it is assumed $\\ell > h$, the Coxeter number. The same paper suggests there is an analogous result for representations of semisimple algebraic groups in characteristic $p>0$, and the authors of this paper have proved such a result (with $p>h$) in a separate manuscript, recently posted. The philosophy of the proof is a variation on that of ABG, but contains new ingredients and some missing details, even in the quantum case. The present paper continues the study of the modular case, showing the equivalence constructed (via a right derived functor of induction from a Borel part) behaves well, when $p>2h-2$, with respect to certain weight poset \"truncations\", making use of van der Kallen's 1989 \"excellent order\" highest weight categories. This implies, in particular, that the equivalence can be reformulated in terms of triangulated categories associated to derived categories of finite dimensional quasi-hereditary algebras. We expect that a similar result holds in the quantum case.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2013-09-27T13:57:34.000Z",
      "abstract": "A key result in a 2004 paper by S. Arkhipov, R. Bezrukavnikov, and V. Ginzburg compares the bounded derived category of finite dimensional modules for the principal block of a Lusztig quantum algebra at a root of unity with a special full subcategory of the bounded derived category of integrable type 1 modules for a Borel part of the quantum algebra. The same paper indicates there is an analogous result for representations of semisimple algebraic groups in characteristic p>0, and the authors of this paper have confirmed this indication, in a separate manuscript in preparation. In the present paper we assume this characteristic p equivalence, and prove a new result showing it behaves well with respect to certain weight poset \"truncations\", making use of van der Kallen's 1989 \"excellent order\" highest weight categories. This means, in particular, that the equivalence can be reformulated in terms of derived categories of finite dimensional algebras.",
      "journal": null,
      "doi": null,
      "authors": [
        "Terrell Hodge",
        "Paramasamy Karuppuchmy",
        "Leonard Scot"
      ]
    },
    {
      "version": "v2",
      "updated": "2016-03-21T06:15:26.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "17B55",
      "17B50"
    ],
    "keywords": [
      "induction theorem",
      "truncation",
      "bounded derived category",
      "highest weight categories",
      "finite dimensional algebras"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 10,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2013arXiv1309.7241H"
    }
  }
}