No label defined (Q4033875)

Let \(X\) be a \(g\)-dimensional abelian variety defined over an algebraically closed field \(k\) of characteristic \(p \neq 2\). Let \({\mathcal L} \in \text{Pic} X\) be an ample symmetric invertible sheaf and \(L={\mathcal L}^{\otimes 2}\). \(L\) defines a morphism \(\varphi_ L :X \to \mathbb{P} [H^ 0(X,L)]\). Let \(i=\bigoplus_{n \geq 2} I_ n\) be the homogeneous ideal associated to \(\varphi_ L(X)\). The author first shows: If the complete linear system \(| {\mathcal L} |\) is base point free then \(I\) is generated by \(I_ 2\) and \(I_ 3\). If \(L\) is only normally generated then \(I\) is generated by \(I_ 2\), \(I_ 3\) and \(I_ 4\). Assuming that \(L\) is normally generated and \({\mathcal L}\) is of separable type the author then constructs polynomials generating \(I_ 2\) and \(I_ 4\).