Higher codimension cycles on the Hilbert scheme of three points on the projective plane (Q2031549)

In this paper, the authors study the higher codimensional cycle structure of the Hilbert scheme of three points in the projective plane. Let \((\mathbb P^{2})^{[n]}\) be the Hilbert scheme parametrizing length-\(n\) \(0\)-dimensional closed subschemes of the projective plane \(\mathbb P^{2}\). It is known that the homology and Chow ring of \((\mathbb P^{2})^{[n]}\) are isomorphic. The main result of the paper determines the nef cones \(\mathrm{Nef}^2\big ((\mathbb P^{2})^{[3]} \big )\) and \(\mathrm{Nef}^3\big ((\mathbb P^{2})^{[3]} \big )\) of \((\mathbb P^{2})^{[3]}\) in codimensions \(2\) and \(3\) respectively. Equivalently, via the intersection pairing, the main result determines the effective cones \(\mathrm{Eff}_2\big ((\mathbb P^{2})^{[3]} \big )\) and \(\mathrm{Eff}_3\big ((\mathbb P^{2})^{[3]} \big )\) in dimensions \(2\) and \(3\) respectively. In addition, the Chern/Segre classes of all the tautological bundles on \((\mathbb P^{2})^{[3]}\) are computed in terms of the geometric bases defined by R.~Mallavibarrena and I.~Sols. The main idea in the proofs utilizes the structure of the orbits of the group action on \((\mathbb P^{2})^{[3]}\) which is induced by the group action on \(\mathbb P^{2}\). Section~2 includes the preliminaries such as Grassmannians, tautological bundles, bases of the Chow ring, cones of cycles, and exceptional bundles. Section~3 computes the Chern/Segre classes of the tautological bundles on \((\mathbb P^{2})^{[3]}\) corresponding to the line bundles on \(\mathbb P^{2}\). Section~4 presents some criterions for nefness. In Section~5, the authors work out the cycle structure of the orbits of the \(\mathrm{PGL}(3)\) action on \((\mathbb P^{2})^{[3]}\). The main result is proved in Section~6. Section~7 concerns \(2\)-very ampleness and the pliant cones.