The Chow ring of punctual Hilbert schemes on toric surfaces (Q2644655): Difference between revisions

Let \(X\) be a smooth projective toric surface, and \(\mathbb H^d(X)\) the Hilbert scheme parametrizing the zero-dimensional subschemes of length \(d\) in \(X\). In this paper, the rational Chow ring \(A^*(\mathbb H^d(X))_{\mathbb Q}\) is computed. The main tool used for this is the technique of equivariant Chow rings. The author first computes in terms of generators and relations the \(T\)-equivariant Chow ring \(A^*_T(\mathbb H^d(X))_{\mathbb Q}\), where \(T\subset X\) is the two-dimensional torus embedded in \(X\). For this, results due to \textit{M. Brion} [Transform. Groups 2, 225--267 (1997; Zbl 0916.14003)] on equivariant Chow rings of toric varieties are applied. The usual Chow ring is then obtained as the quotient of \(A^*_T(\mathbb H^d(X))_{\mathbb Q}\) by a certain explicitly described ideal. In the last section of the paper, this method is illustrated by the computation of the equivariant and the usual Chow rings of the Hilbert scheme \(\mathbb H^3(\mathbb P^2)\).