Equivariant Koszul Duality, Modular Category $\mathcal{O}$, and Periodic Kazhdan--Lusztig Polynomials

TL;DR

This paper establishes a formula for extension group dimensions in modular category $ ext{O}$ for algebraic groups in positive characteristic, linking it to periodic Kazhdan--Lusztig polynomials under Lusztig's conjecture.

Contribution

It introduces a new formula connecting extension groups in modular category $ ext{O}$ to affine Kazhdan--Lusztig polynomials, utilizing equivariant Koszul duality.

Findings

Extension group dimensions are given by coefficients of periodic Kazhdan--Lusztig polynomials.

The formula holds under Lusztig's conjecture, known in large characteristic.

Uses a torus-equivariant Koszul duality approach.

Abstract

Let $G$ be a connected reductive algebraic group over an algebraically closed field of positive characteristic, $\mathfrak{g}$ be its Lie algebra, and $B$ be a Borel subgroup. We prove a formula for the dimensions of extension groups, in the principal block of the category of strongly $B$-equivariant $\mathfrak{g}$-modules (also called modular category $\mathcal{O}$), from a simple object to a costandard object, under the assumption that Lusztig's conjecture holds (which is known in large characteristic). The answer is given by a coefficient of a periodic Kazhdan--Lusztig polynomial associated with the corresponding affine Weyl group. Among other things, the proof uses a torus-equivariant version of the Koszul duality for $\mathfrak{g}$-modules constructed by the first author.