Compatibility conjecture for the associated graded and block variety functors

Let Mmix\mathcal M^{\rm mix} be the graded subcategory from the Hodge-theoretic Koszul duality conjecture. Let κ\kappa be the functor from KK-equivariant coherent sheaves on p~\widetilde{\mathfrak p} to coherent sheaves on the corresponding character-space fiber product, and let T~\widetilde T be the functor from M\mathcal M to coherent sheaves on the block variety. Compatibility conjecture. For M,NMmixM,N\in\mathcal M^{\rm mix}, there is a canonical isomorphism

κ\gr(M)T~(Forg(M)).\kappa\circ\gr(M)\cong \widetilde T(\operatorname{Forg}(M)).

This asserts compatibility between the associated graded construction for Hodge DD-modules and the block-variety functor. The supplied text gives no resolution status or further evidence beyond stating the conjecture.

Sources & referencesView supporting material

Primary source

Roman Bezrukavnikov and Kari Vilonen, “Koszul Duality for Quasi-split Real Groups”, arXiv:1510.08343 (2025).

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.