Type A algebraic coherence conjecture of Pappas and Rapoport

Abstract

The Pappas--Rapoport coherence conjecture, proved by Zhu, states that the dimensions of spaces of sections of certain line bundles coincide. The two sides of the equality correspond to line bundles on spherical Schubert varieties in affine Grassmannians and to line bundles on unions of Schubert varieties in affine flag varieties. Algebraically, the claim can be reformulated as an equality between the dimensions of certain Demazure modules and certain sums of Demazure modules. The goal of this paper is to formulate an algebraic construction that provides an explicit link between the aforementioned Demazure modules. Our construction works only in type A, but it applies to a much wider class of representations than those arising in the geometric coherence conjecture. In the general case, one side of the conjectural equality involves affine Kostant--Kumar modules.