Equivariant Hikita-Nakajima kernel conjecture for general quivers

Let I=(I0,I1)I=(I_0,I_1) be a finite quiver with dimension vector v=(vi)iI0{\bf v}=(v_i)_{i\in I_0} and framing w=(wi)iI0{\bf w}=(w_i)_{i\in I_0}. Let AA act on the Nakajima quiver variety M(v,w)\mathfrak{M}({\bf v},{\bf w}), let GvG_{\bf v} be the gauge group, and let Rv,w\mathcal{R}_{{\bf v},{\bf w}} be the corresponding variety of triples. Consider the surjective maps from HA×Gv(pt,C)H^*_{A\times G_{\bf v}}(\operatorname{pt},\mathbb{C}) to HA(M(v,w),C)H^*_A(\mathfrak{M}({\bf v},{\bf w}),\mathbb{C}) and to the algebra of functions on the T\mathbb{T}-fixed points of the Coulomb-branch spectrum, where T=(C×)I0\mathbb{T}=(\mathbb{C}^\times)^{|I_0|}. Equivariant Hikita-Nakajima kernel conjecture. The kernels of these two maps are equal; equivalently, they define the same closed subschemes of SpecHA×Gv(pt,C)\operatorname{Spec}H^*_{A\times G_{\bf v}}(\operatorname{pt},\mathbb{C}). The Jordan-quiver case follows from the main theorem of the paper, but the assertion for general quivers remains open.

Sources & referencesView supporting material

Primary source

Vasily Krylov and Pavel Shlykov, “Hikita-Nakajima conjecture for the Gieseker variety”, arXiv:2202.09934 (2023).

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.