The Springer cohomology conjecture for parabolic category Oκ\mathcal{O}^{\kappa}

Let κ=(k1,,km)\kappa=(k_1,\dots,k_m) be a decomposition of nn, let Oκ\mathcal{O}^{\kappa} be the corresponding parabolic highest weight category for sln\mathfrak{sl}_n, and let Bκ\mathcal{B}_{\kappa} be the Springer variety of complete flags stabilized by a nilpotent operator with Jordan decomposition (k1,,km)(k_1,\dots,k_m). The Springer cohomology conjecture.

Z(Oκ)H(Bκ,C).Z(\mathcal{O}^{\kappa})\cong \mathrm{H}^{\ast}(\mathcal{B}_{\kappa},\mathbb C).

This proposes a geometric description of the center of every such parabolic category; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Mikhail Khovanov, “Crossingless matchings and the cohomology of (n,n) Springer varieties”, arXiv:math/0202110 (2002).

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.