Equality of the compactified gradient and odd two-torsion singularity loci

For each genus gg, let I(g)AgI^{(g)}\subset\mathcal A_g be the locus of principally polarized abelian varieties whose theta divisor is singular at an odd two-torsion point, and let G(g)G^{(g)} denote the corresponding locus defined by the vanishing of the relevant theta-gradient equations. Write I(g)\overline{I^{(g)}} and G(g)\overline{G^{(g)}} for their closures in the full perfect-cone compactification AgPerf(8)\mathcal A_g^{\operatorname{Perf}}(8). Equality conjecture. For every genus gg,

G(g)=I(g).\overline{G^{(g)}}=\overline{I^{(g)}}.

This predicts that passing to the full compactification introduces no additional boundary component into the zero locus of the theta-gradient equations. The source presents the equality as a conjecture, with no resolution supplied.

Sources & referencesView supporting material

Primary source

Samuel Grushevsky and Klaus Hulek, “The class of the locus of intermediate Jacobians of cubic threefolds”, arXiv:1103.1857 (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.