The Yoneda–convolution conjecture for half-density sheaves

Let Snk,k\mathcal{S}_{n-k,k} be the Slodowy slice, let YY be the corresponding Springer fiber, and let AA range over all irreducible components of YY. Write iA:ASnk,ki_A:A\hookrightarrow \mathcal{S}_{n-k,k} for the inclusion, and let Ω(A)1/2\mathcal{\Omega}(A)^{1/2} be the associated half-density sheaf. The Ext-algebra is equipped with the Yoneda product, while H(Y~×gY~)H(\widetilde{Y}\times_{\mathfrak{g}}\widetilde{Y}) is equipped with convolution. Yoneda–convolution conjecture. There is an isomorphism of algebras

ExtCoh(Snk,k)(AiAΩ(A)1/2,AiAΩ(A)1/2)H(Y~×gY~).\operatorname{Ext}^\bullet_{\operatorname{Coh}(\mathcal{S}_{n-k,k})}\Big(\bigoplus_A i_{A*}\mathcal{\Omega}(A)^{1/2},\bigoplus_A i_{A*}\mathcal{\Omega}(A)^{1/2}\Big)\cong H(\widetilde{Y}\times_{\mathfrak{g}}\widetilde{Y}^{}).

This would give an explicit description of the Ext-algebra of the half-densities by identifying its Yoneda multiplication with convolution; the source introduces it as a conjecture and gives no resolution.

Sources & referencesView supporting material

Primary source

Catharina Stroppel and Ben Webster, “2-block Springer fibers: convolution algebras and coherent sheaves”, arXiv:0802.1943 (2010).

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.