Equations of \((1,d)\)-polarized abelian surfaces (Q1384633): Difference between revisions

Let \((X,L)\) be a polarized abelian variety. By Lefschetz's theorem the line bundle \(L^{\otimes n}\) is very ample for \(n\geq 3\), i.e., defines a projective embedding \(\varphi_{L^{\otimes n}}: X\hookrightarrow \mathbb{P}^N\). Let \(I(L^{\times n})\) denote the homogeneous ideal of \(X\) in \(\mathbb{P}^N\). A result due to Kempf states that for \(n\geq 4\) the ideal \(I(L^{\otimes n})\) is generated by quadrics. Much less is known about primitive line bundles. Suppose \(A\) is an abelian surface and \(L\) a primitive ample line bundle on \(A\), i.e., \(L\) is of type \((1,d)\) for some positive integer \(d\). By Reider's theorem \(L\) is very ample for \(d\geq 5\) and \(A\) general. It is shown that the ideal \(I(L)\) is generated by quadrics, if \(d\geq 10\).