Higher codimension cycles on the Hilbert scheme of three points on the projective plane (Q2031549): Difference between revisions

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.