The real affine Grassmannian and quantum SL(2)

We prove that the category of equivariant perverse sheaves on the affine Grassmannian of PGL(2, R) is highest weight and we construct the projective objects. Moreover we prove that the category of perverse sheaves on the odd component is equivalent to the principal block of Lusztig’s quantum SL(2) at a primitive fourth root of unity.