Abel maps of Gorenstein curves (Q931073): Difference between revisions

Let \(P\) be a nonsingular point of a Gorenstein algebraic curve \(X\). Let \(J^i_X\) be the moduli scheme for simple torsion-free rank \(1\) sheaves on \(X\) of degree \(i\). The authors construct Abel maps \(A\colon X\to J^1_X\) and \(A_P\colon X\to J^0_X\) and show that their images are the curves of the same arithmetic genus. They also show that \(A\) and \(A_P\) are embeddings away from rational subcurves \(L\subset X\) meeting \(\overline{X-L}\) in separating points and establish a connection with Seshadri's moduli scheme \(U_X(1)\) for semistable torsion-free rank \(1\) sheaves on \(X\), obtaining an embedding of \(A(X)\) into \(U_X(1)\).