Universal Koszul Duality for Kac-Moody Groups

TL;DR

This paper establishes a universal Koszul duality between equivariant K-motives on Kac-Moody flag varieties and constructible monodromic sheaves on their Langlands duals, extending known dualities and providing new insights into affine Kac-Moody groups.

Contribution

It introduces a monoidal equivalence called universal Koszul duality, generalizing previous results and connecting K-motives with monodromic sheaves for Kac-Moody groups.

Findings

Proves a monoidal equivalence between K-motives and sheaves on dual groups.

Extends Koszul duality results to affine Kac-Moody groups.

Provides foundational tools for six functors and constructible sheaves in this context.

Abstract

We prove a monoidal equivalence, called universal Koszul duality, between genuine equivariant K-motives on a Kac-Moody flag variety and constructible monodromic sheaves on its Langlands dual. The equivalence is obtained by a Soergel-theoretic description of both sides which extends results for finite-dimensional flag varieties by Taylor and the first author. Universal Koszul duality bundles together a whole family of equivalences for each point of a maximal torus. At the identity, it recovers an ungraded version of Beilinson-Ginzburg-Soergel's and Bezrukavnikov-Yun's Koszul duality for equivariant and unipotently monodromic sheaves. It also generalizes Soergel-theoretic descriptions for monodromic categories on finite-dimensional flag varieties by Lusztig-Yun, Gouttard and the second author. For affine Kac-Moody groups, our work sheds new light on the conjectured quantum Satake equivalences by Cautis-Kamnitzer and Gaitsgory. On our way, we establish foundations on six functors for reduced K-motives and introduce a formalism of constructible monodromic sheaves.