Affine Springer–Hilbert-scheme sheaf correspondence

About 4 years old · traced to

For G=GLnG=GL_n, let gamma\bingderbrace⟦t⟧Ogamma\bin g derbrace{\llbracket t\rrbracket}_{\mathcal O} be regular semisimple, let cbeta=β(gamma)cbeta=\beta(gamma) be the associated braid, and let icC∗:cC∗×cC→cC2i_{cC^*}:{cC}^*\times{cC}\to{cC}^2 be the inclusion (x,y)mapsto(x−1,y)(x,y)mapsto(x-1,y). Write cFgammacF_gamma for the affine-Springer sheaf and cGcbetacG_cbeta for the corresponding complex on cHilbn(cC2)cHilb^n({cC}^2). Affine Springer–Hilbert-scheme correspondence. There is an isomorphism of cC∗{cC}^*-equivariant sheaves

cFγ≃icC∗∗(cGcbeta),β=β(γ).cF_\gamma\simeq i_{{cC}^*}^*(cG_cbeta),\qquad \beta=\beta(\gamma).

The conjecture is known at the level of Euler characteristics in the elliptic SLnSL_n case, but the sheaf-level isomorphism remains open.

References

Primary source

Eugene Gorsky, Oscar Kivinen and Alexei Oblomkov, “The affine Springer fiber-sheaf correspondence”, arXiv:2204.00303 (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.