The cohomology of framed moduli spaces and the coordinate ring of torus fixed points of quotient singularities

If two conical symplectic resolutions $X\to X_0$ and $X^{!}\to X_0^{!}$ are symplectic dual, the cohomology ring $H^{\ast }(X)$ and the coordinate ring of ${\mathbb{C}}^{\ast }$-fixed points in $X_0^{!}$ are expected to be isomorphic as graded algebras. This statement is called Hikita conjecture and it is known that the conjecture holds for some cases. In this paper, we deal with the cohomology of framed moduli spaces over the projective plane and the coordinate ring of ${\mathbb{C}}^{\ast }$- fixed points of ${\mathbb{C}}^{2n}\mathrm{/}((\mathbb{Z}\mathrm{/}r\mathbb{Z})\wr S_n)$ and show that these are isomorphic as graded vector spaces. Building on subsequent work of Krylov and Shlykov on the Hikita–Nakajima conjecture for the Gieseker variety, the appendix establishes an isomorphism of graded algebras by a different approach and gives an explicit presentation by generators and relations. This revised version also corrects an error in the proof in the previous version.