Van Geemen–van der Geer's conjecture on the \Gamma_{00} base locus

Let (A,Θ)(A,\Theta) be an indecomposable principally polarized abelian variety of dimension gg, with Θ\Theta symmetric. Let Γ00H0(A,2Θ)\Gamma_{00}\subset H^0(A,2\Theta) be the subspace of sections vanishing to order four at the origin, and let V00V_{00} be the base locus of the associated linear series. For a smooth curve CC, write

CC={OC(pq):p,qC}.C-C=\{\mathscr O_C(p-q):p,q\in C\}.

Van Geemen–van der Geer's conjecture. If (A,Θ)(A,\Theta) is the Jacobian of a smooth curve CC, then, as a set,

V00=CC.V_{00}=C-C.

If (A,Θ)(A,\Theta) is not a Jacobian, then, as a set, V00=0V_{00}=0. This conjecture seeks to characterize Jacobians among indecomposable principally polarized abelian varieties through the base locus of the linear system defined by sections vanishing to order four at the origin. The source gives no resolution status beyond stating the conjecture.

Sources & referencesView supporting material

Primary source

Sebastian Casalaina-Martin, “Singularities of theta divisors in algebraic geometry”, arXiv:1207.1042 (2012).

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.