Equivariant Hikita-Nakajima kernel conjecture for general quivers

At least 3 years old · documented by

Let I=(I0,I1)I=(I_0,I_1) be a finite quiver with dimension vector v=(vi)i∈I0{\bf v}=(v_i)_{i\in I_0} and framing w=(wi)i∈I0{\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 Spec⁡HA×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.

References

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.