Modular perverse sheaves on flag varieties. II: Koszul duality and formality. (Q5963492)

The paper continues the study of modular perverse sheaves on flag varie\-ties begun in [the authors, Ann. Sci. Éc. Norm. Supér. (4) 49, No. 2, 325--370 (2016; Zbl 1386.14178)] (with a joint appendix with Geordie Williamson). For varieties equipped with a stratification by affine spaces, the authors develop a formalism of ``mixed modular perverse sheaves''. Two applications are given: (1) a ``Koszul-type'' derived equivalence relating a given flag variety to the Langlands dual flag variety, (2) a formality theorem for the modular derived category of a flag variety.