Perverse sheaves on affine flags and nilpotent cone of the Langlands dual group (Q839912): Difference between revisions

From MaRDI portal
Normalize DOI.
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1007/S11856-009-0025-X / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1007/S11856-009-0025-X / rank
 
Normal rank

Latest revision as of 04:50, 10 December 2024

scientific article
Language Label Description Also known as
English
Perverse sheaves on affine flags and nilpotent cone of the Langlands dual group
scientific article

    Statements

    Perverse sheaves on affine flags and nilpotent cone of the Langlands dual group (English)
    0 references
    3 September 2009
    0 references
    Let \(G\) be a split simple linear algebraic group over an algebraically closed field \(k\), \(B\) be a Borel subgroup, \({\mathcal{F}}\ell\) denote the associated affine flag variety, and \(I\) be an associated Iwahori subgroup. Let \(G^{\vee}\) denote the Langlands dual group of \(G\), \(\tilde{\mathcal{N}}\) denote the cotangent bundle on \(G^{\vee}/B^{\vee}\), and \(\mathcal{N}\) denote the nilpotent cone on the Lie algebra of \(G^{\vee}\). Let \(D^{G^{\vee}}(\tilde{\mathcal N})\) and \(D^{G^{\vee}}({\mathcal N})\) denote the bounded derived categories of \(G^{\vee}\)-equivariant coherent sheaves on \(\tilde{\mathcal N}\) and \({\mathcal N}\) respectively. Let \({\mathcal P}_{I}\) denote the full subcategory of perverse sheaves in the Iwahori equivariant derived category of \(l\)-adic sheaves on \({\mathcal F}\ell\) (\(l\) different from the characteristic of \(k\)). This work is a continuation of previous work of the author and \textit{S. Arkhipov} [Isr. J. Math. 170, 135--183 (2009; Zbl 1214.14011)]. In that work, the authors constructed a categorical equivalence between \(D^{G^{\vee}}(\tilde{\mathcal N})\) and the bounded derived category of a Serre quotient of \({\mathcal P}_{I}\). In this work, it is shown that there is an equivalence of categories \(\Phi\) between \(D^{G^{\vee}}({\mathcal N})\) and the bounded derived category \(D\) of another Serre quotient on \({\mathcal P}_I\). These equivalences are used to define a \(t\)-structure on \(D^{G^{\vee}}({\mathcal N})\) which is explicitly described. Further, the author considers the composite \(D^{G^{\vee}}({\mathcal N}) \to D \to D\) where the first map is \(\Phi\) and the second map is Verdier duality (an auto-equivalence). It is shown that this is isomorphic to a composition \(D^{G^{\vee}}({\mathcal N}) \to D^{G^{\vee}}({\mathcal N}) \to D\) where the second map is \(\Phi\) and the first map is explicitly given. The author uses these ideas to verify some conjectures of \textit{G. Lusztig} [J. Fac. Sci., Univ. Tokyo, Sect. IA 36, 297--328 (1989; Zbl 0688.20020); Adv. Math. 129, 85--98 (1997; Zbl 0884.20026)] and \textit{V. Ostrik} [Represent. Theory 4, 296--305 (2000; Zbl 0986.20045)] related to two-sided cells in the associated affine Weyl group and coherent perverse sheaves.
    0 references
    flag variety
    0 references
    nilpotent cone
    0 references
    Langlands dual group
    0 references
    sheaf cohomology
    0 references
    perverse sheaves
    0 references
    l-adic sheaves
    0 references
    derived category
    0 references
    Verdier duality
    0 references
    affine Weyl group
    0 references
    two-sided cell
    0 references

    Identifiers

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