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

At least 9 years old · documented by

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

A⊆P(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.

References

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.