The Kazhdan–Lusztig–factorizable-sheaves equivalence

Let G1G_1 be a simple group, let G1G_1 be its Langlands dual group, and let κ1\kappa_1 be the invariant form used to define the Kazhdan–Lusztig category KLκ1(G1)KL^{\kappa_1}(G_1). Let FSa(G1)FS^a(G_1) denote the factorizable-sheaves chiral category with parameter aa, and let d1d_1 be the ratio of the squares of the lengths of the shortest and longest roots of g1 g_1. Kazhdan–Lusztig–factorizable-sheaves conjecture. For c1Qc_1\notin \mathbb Q, there is an equivalence of chiral categories

KLκ1(G1)FS1c1d1(G1).KL^{\kappa_1}(G_1)\simeq FS^{\frac{1}{c_1d_1}}(G_1).

This equivalence is algebraic, meaning that it exists over an arbitrary ground field of characteristic 00. The paper says that the conjecture is the subject of work in progress, and gives no resolution beyond that.

Sources & referencesView supporting material

Primary source

Dennis Gaitsgory, “Twisted Whittaker model and factorizable sheaves”, arXiv:0705.4571 (2008).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.