Structure of the cycle map for Hilbert schemes of families of nodal curves

From MaRDI portal
(Redirected from Publication:501848)



Abstract: We study the relative Hilbert scheme of a family of nodal (or smooth) curves, over a base of arbitrary dimension, via its (birational) cycle map, going to the relative symmetric product. We show the cycle map is the blowing up of the discriminant locus, which consists of cycles with multiple points. We determine the relevant cotangent sheaves and complexes. We determine the structure of certain projective bundles called node scrolls, which play an important role in the geometry of Hilbert schemes.


This paper describes the relative Hilbert Chow morphism for a flat projective family \(\pi: X \to B\) of generically nonsingular curves which are at worst nodal over an arbitrary irreducible base \(B\). The relative Hilbert Chow morphism is the cycle map \(c_m: X^{[m]}_B \to X^{(m)}_B\), where \(X^{[m]}_B\) is the relative Hilbert scheme of \(m\) points and \(X^{(m)}_B\) is the relative symmetric product. The main theorem states that \(c_m\) is equivalent to the blowing up of the discriminant locus \(D^m \subset X^{(m)}_B\). The author works over the complex numbers and uses Serre's GAGA principle, constructing a local analytic model \(H\) for \(X^{[m]}_B\) and reverse engineering an ideal sheaf \(G\) in \(X^{(m)}_B\) to have syzygies so that the blow up at \(G\) maps to the pullback \(OH\) of \(H\) over the Cartesian product via a map \(\gamma\). A local analysis shows that \(\gamma\) is an isomorphism and that \(G\) defines the ordered diagonal, hence descends to the isomorphism claimed. This provides the details of a proof sketched in the author's earlier paper [in: Projective varieties with unexpected properties. A volume in memory of Giuseppe Veronese. Proceedings of the international conference ``Varieties with unexpected properties, Siena, Italy, June 8--13, 2004. Berlin: Walter de Gruyter. 361--378 (2005; Zbl 1186.14027)]. In the second half of the paper the author uses the local model \(H\) to glean information about the singularity stratification of \(X^{[m]}_B\), specifically the structure of certain node polyscrolls he used earlier [Asian J. Math. 17, No. 2, 193--264 (2013; Zbl 1282.14097)] to develop an intersection calculus for the Hilbert scheme. This extends the intersection theory and enumerative geometry of a single smooth curve developed by \textit{I. G. Macdonald} [Topology 1, 319--343 (1962; Zbl 0121.38003)] to families with at worst nodal singularities, extending work of \textit{E. Cotterill} [Math. Z. 267, No. 3--4, 549--582 (2011; Zbl 1213.14064)].





Describes a project that uses

Uses Software






This page was built for publication: Structure of the cycle map for Hilbert schemes of families of nodal curves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q501848)