Curve-counting conjecture for rationality of X5,6X_{5,6}

Let EE be the elliptic curve used in the construction, let H13824H_{13824} be the matrix defining the curves under consideration, and let #(p)\#(p) be the curve count defined for points of E5E^5. Define

D1,0,ζ,0,1={(p1,p2,p3,p4,p5)E5p1+ζp3=p5}.D_{1,0,\zeta,0,-1}=\{(p_1,p_2,p_3,p_4,p_5)\in E^5\mid p_1+\zeta p_3=p_5\}.

Curve-counting conjecture for rationality of X5,6X_{5,6}. For a generic point pD1,0,ζ,0,1p\in D_{1,0,\zeta,0,-1}, one has #(p)=1\#(p)=1. Together with rationality of X4,6X_{4,6}, the source states that this conjecture implies rationality of X5,6X_{5,6}; no resolution is supplied.

Sources & referencesView supporting material

Primary source

Anton Mellit, “Rationality proofs by curve counting”, arXiv:1705.02931 (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.