Double lines on quadric hypersurfaces (Q1633889)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Double lines on quadric hypersurfaces
scientific article

    Statements

    Double lines on quadric hypersurfaces (English)
    0 references
    0 references
    0 references
    21 December 2018
    0 references
    The authors study families of degree two curves and semistable sheaves on the smooth quadric hypersurface \(Q_3 \subset \mathbb P^4_{\mathbb C}\). For Hilbert polynomial \(\chi (t) = 2t+1\) there are isomorphisms \(\mathbf{Hilb}_{\chi (t)}(Q_3) \cong {\mathbf M}_{\chi (t)} (Q_3) \cong \mathbb G (2,4)\) where \({\mathbf M}_{\chi (t)} (Q_3)\) is the moduli space of semistable sheaves on \(Q_3\) introduced by \textit{C. T. Simpson} [Publ. Math., Inst. Hautes Études Sci. 79, 47--129 (1994; Zbl 0891.14005)] and \(\mathbb G(2,4)\) is the Grassmann variety of \(2\)-planes \(H \subset \mathbb P^4\). Given such a \(2\)-plane \(H \subset \mathbb P^4\), the corresponding curve in the Hilbert scheme is simply \(H \cap Q_3 \subset \mathbb P^4\). Half the paper is dedicated to the more complicated case of curves and sheaves with Hilbert polynomial \(\chi (t) = 2t+2\). Here the Hilbert scheme \(\mathbf{Hilb}_{\chi (t)} (Q_3)\) consists of two rational irreducible components \(\mathcal H_1\) and \(\mathcal H_2\) of dimensions \(9\) and \(6\) which is smooth away from \(\mathcal H_1 \cap \mathcal H_2\). The curves in \(\mathcal H_1\) are not locally Cohen-Macaulay, consisting of a plane conic and an embedded or isolated point while \(\mathcal H_2\) consists of locally Cohen-Macaulay curves; the intersection \(\mathcal H_1 \cap \mathcal H_2\) consists of singular conics with an embedded point at the singularity. The situation is similar to that of \(\mathbf{Hilb}_{\chi (t)} (\mathbb P^3)\) studied by \textit{D. Chen} et al. [Commun. Algebra 39, No. 8, 3021--3043 (2011; Zbl 1238.14012)], where it was also shown that the two families meet transversely along the intersection. The authors prove that \({\mathbf M}_{\chi (t)} (Q_3)\) consists of two irreducible components \(\mathcal M_1\) and \(\mathcal M_2\) of dimension \(6\) corresponding to spaces of conics in \(Q_3\) and pairs of lines in \(Q_3\). Furthermore the moduli space \(\mathbf M^{\alpha}_{\chi (t)} (Q_3)\) of \(\alpha\)-stable pairs introduced by \textit{M. He} [Int. J. Math. 9, 545--598 (1998; Zbl 0936.14008)] consists of two irreducible components \(\mathcal N_1\) and \(\mathcal N_2\) of dimensions \(7\) and \(6\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    pure sheaves
    0 references
    locally Cohen-Macaulay curves
    0 references
    Hilbert schemes
    0 references
    0 references
    0 references