Springer-resolution Hochschild-center conjecture for affine Springer-fiber cohomology

About 4 years old · traced to

Let P⊂GP\subset G be a parabolic subgroup, let N~=T∗(G/P)\widetilde{N}=T^*(G/P) be the corresponding Springer resolution, and let TN~T\widetilde{N} be its tangent bundle. The dilation action of C∗\mathbb C^* gives the superscript grading kk. Let τ\tau be the Poisson bivector field on N~\widetilde{N}, and let \Fl\bIγ\Fl^{\gamma}_{\bI} be the affine Springer fiber with lattice action by Λ\Lambda. Springer-resolution center conjecture. There is a bigraded algebra isomorphism

⨁i+j+k=0Hi(N~,∧jTN~)k≅H∗(\Fl\bIγ)Λ.\bigoplus_{i+j+k=0}H^i(\widetilde{N},\wedge^jT\widetilde{N})^k\cong H^*(\Fl^{\gamma}_{\bI})^{\Lambda}.

Alternatively, there is a bigraded algebra isomorphism

⨁i+j+k=0Hi(N~,∧jTN~)k≅gr⁡PH∗(\Fl\bIγ)Λ.\bigoplus_{i+j+k=0}H^i(\widetilde{N},\wedge^jT\widetilde{N})^k\cong \operatorname{gr}^P H^*(\Fl^{\gamma}_{\bI})^{\Lambda}.

Moreover, under this correspondence τ\tau should correspond up to a scalar to the polynomial Δ(n−1,1)\Delta_{(n-1,1)}, or equivalently in the second version to c1(Ldet⁡)c_1(\mathcal L_{\det}).

The conjecture links the Hochschild-theoretic description of singular quantum-group centers with affine Springer-fiber cohomology and its perverse grading. The source gives no resolution.

References

Primary source

Nicolas Hemelsoet, Oscar Kivinen and Anna Lachowska, “On the affine Springer fibers inside the invariant center of the small quantum group”, arXiv:2205.09700 (2026).

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.