Gross–Popescu's ideal-generation conjecture for polarized abelian surfaces

Let (A,L)(A,L) be a polarized abelian surface of type (1,d)(1,d), where LL is very ample and d9d\geq 9. Write the associated embedding as

AP(H0(A,L)).A\subseteq \mathbb{P}(H^0(A,L)).

Gross–Popescu's conjecture. The homogeneous ideal of AA in this embedding is generated by quadrics and cubics.

The conjecture concerns the equations defining polarized abelian surfaces in projective space. The source proves a generalization using projective normality and states that the corresponding ideal-generation result has three exceptions, but it does not explicitly establish the conjecture in the full stated generality.

Sources & referencesView supporting material

Primary source

Daniele Agostini, “A note on homogeneous ideals of polarized abelian surfaces”, arXiv:1604.06228 (2018).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.