Generalised parabolic bundles and applications to torsionfree sheaves on nodal curves (Q2365885): Difference between revisions

Let \(X\) be an integral projective curve defined over an algebraically closed field, with only one node as a singularity. Let \(p:\tilde X\to X\) be the normalization map, and \(x_ 1\), \(x_ 2\) the points of the fiber \(p^{-1}(x_ 0)\), where \(x_ 0\) is the node of \(X\). Let \(U\) be the moduli space of semi-stable torsionfree sheaves of rank \(n\) and degree \(d\) on \(X\). For \(n=2\), this moduli space was studied by \textit{C. S. Seshadri} [``Fibrés vectoriels sur les courbes algèbriques'', Astérisque 96 (1982; Zbl 0517.14008)] and \textit{D. Gieseker} [J. Differ. Geom. 19, 173-206 (1984; Zbl 0557.14008)]. The author studies the moduli space \(U\) by using some moduli spaces of vector bundles (with an extra structure) on \(\tilde X\). This is accomplished by the following construction: Let \(E\) be a vector bundle of rank \(n\) and degree \(d\) on \(\tilde X\) and \(F_ 1(E)\) an \(n\)-dimensional subspace of the vector space \(E(x_ 1)\oplus E(x_ 2)\simeq(p_ *E)(x_ 0)\). To the pair \((E,F_ 1(E))\), which is called a generalized parabolic vector bundle (GPB) on \(\tilde X\), one can associate a torsionfree sheaf \(F\) on \(X\), of rank \(n\) and degree \(d\), namely the kernel of the map \(p_ *E\to(p_ *E)(x_ 0)/F_ 1(E)\). Introducing a convenient notion of (semi)stable GPB, it follows that \(E\) is a (semi)stable GPB on \(\tilde X\) if and only if \(F\) is a (semi)stable torsionfree sheaf on \(X\). The author proves that there exists a coarse moduli space \(M\) of equivalence classes of semistable GPB's on \(\tilde X\) of rank \(n\) and degree \(d\), the morphism \(f:M\to U\) defined by the above construction is surjective and induces an isomorphism of \(f^{-1}(U_ n)\) onto \(U_ n\), where \(U_ n\) is the open subset of \(U\) corresponding to locally free sheaves. She uses these results in order to identify the largest open subset of \(U\) to which the morphism \(\text{det}:U_ n\to J(X)\) (the generalized Jacobian of \(X)\) extends as a morphism into \(\bar J(X)\) (the compactified Jacobian of \(X)\).