English

Notes from a family of smooth $G$-Hilbert schemes

Algebraic Geometry 2025-10-30 v1 Representation Theory

Abstract

Let G=Z/rZ G = \mathbb{Z}/r\mathbb{Z} be the cyclic group of order rr, and let ϖ=e2πi/r\varpi = e^{2\pi i / r} denote a primitive rr th root of unity. Consider the action of GG on Cn\mathbb{C}^n via the embedding φ:GGLn(C),φ(1)=diag ⁣(ϖ,,ϖs,ϖ1,,ϖ1ns), \varphi : G \hookrightarrow GL_n(\mathbb{C}), \qquad \varphi(1) = \mathrm{diag}\!\bigl( \underbrace{\varpi, \dots, \varpi}_{s},\, \underbrace{\varpi^{-1}, \dots, \varpi^{-1}}_{n - s} \bigr), where 0<s<n0 < s < n . Denote the corresponding GIT quotient by Xs,n,r=Spec((C[z1,,zn])G). \mathcal{X}_{s,n,r} = \mathrm{Spec}\bigl((\mathbb{C}[z_1,\dots,z_n])^G\bigr). Then the varieties Xs,n,r\mathcal{X}_{s,n,r} is a cyclic quotient singularity of type 1r(1,,1s,1,,1ns)\tfrac{1}{r}\bigl(\underbrace{1,\dots,1}_{s}, \underbrace{-1,\dots,-1}_{n-s}\bigr). We show that the associated GG-Hilbert schemes Ys,n,r\mathcal{Y}_{s,n,r} are smooth, connected, and irreducible. The natural morphism ρs,n,r:Ys,n,rXs,n,r \rho_{s,n,r}:\mathcal{Y}_{s,n,r}\longrightarrow\mathcal{X}_{s,n,r} is a projective resolution of Xs,n,r\mathcal{X}_{s,n,r}, discrepant for n3n \ge 3. We establish that the irreducible components of the central fiber ρs,n,r1(0)\rho_{s,n,r}^{-1}(0) are in bijection with the nontrivial characters of GG, thereby realizing the classical McKay correspondence in this family of examples. Finally, we describe a canonical choice of this bijection via the Fourier--Mukai type functor Ψ:Db(CohG(Cn))Db(Coh(Ys,n,r)), \Psi : D^b(\mathrm{Coh}_G(\mathbb{C}^n)) \longrightarrow D^b(\mathrm{Coh}(\mathcal{Y}_{s,n,r})), by showing that, for each nontrivial irreducible representation of GG, the corresponding skyscraper sheaf is mapped to a complex whose 0th0^{\text{th}} cohomology is supported on a unique irreducible component of the central fiber ρs,n,r1(0)\rho_{s,n,r}^{-1}(0).

Keywords

Cite

@article{arxiv.2510.24977,
  title  = {Notes from a family of smooth $G$-Hilbert schemes},
  author = {Boris Tsvelikhovskiy},
  journal= {arXiv preprint arXiv:2510.24977},
  year   = {2025}
}