Curve-counting conjecture for rationality of X4,6X_{4,6}

Let EE be the elliptic curve used in the construction, and let H144H_{144} be the matrix defining the curves under consideration. For pE4p\in E^4, denote by #(p)\#(p) the number of curves C~\tilde{C} of this type corresponding to H144H_{144} and containing pp. Define

D0,1,2,1={(p1,p2,p3,p4)E4p2+2p3+p4=0}.D_{0,1,2,1}=\{(p_1,p_2,p_3,p_4)\in E^4\mid p_2+2p_3+p_4=0\}.

Curve-counting conjecture for X4,6X_{4,6}. For a generic point pE4p\in E^4, one has #(p)=1\#(p)=1. Moreover, for a generic point pD0,1,2,1p\in D_{0,1,2,1}, one has #(p)=1\#(p)=1. This conjecture implies the rationality of X4,6X_{4,6} by the cited lemma. It strengthens the curve-counting statement needed beyond the already established unirationality of X4,6X_{4,6}; the conjecture remains unresolved in the supplied source.

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.