Affine Springer–Hilbert-scheme sheaf correspondence

From papers

For G=GLnG=GL_n, let gamma\bingderbracetOgamma\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×cCcC2i_{cC^*}:{cC}^*\times{cC}\to{cC}^2 be the inclusion (x,y)mapsto(x1,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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Eugene Gorsky, Oscar Kivinen and Alexei Oblomkov, “The affine Springer fiber-sheaf correspondence”, arXiv:2204.00303 (2025).

Solutions 0

No solutions have been posted yet.