Le Boudec's conjecture on small points in quadratic twist families

Fix F(x)=x3+Ax+BZ[x]F(x)=x^3+Ax+B\in\mathbb{Z}[x] with discriminant Δ=(4A3+27B2)0\Delta=-(4A^3+27B^2)\neq0, and let EE be the elliptic curve y2=F(x)y^2=F(x) over Q\mathbb{Q}. Let S(X)\mathcal{S}(X) be the positive square-free integers up to XX, let EdE_d be the quadratic twist dy2=F(x)dy^2=F(x) for dS(X)d\in\mathcal{S}(X), and define ηd(A,B)\eta_d(A,B) by

\log\eta_d(A,B)=\min\left\\{\hat h_{E_d}(P):P\in E_d(\mathbb{Q})\setminus E_d(\mathbb{Q})_{\operatorname{tors}}\right\\}

when rankEd(Q)1\operatorname{rank}E_d(\mathbb{Q})\geq1, with ηd(A,B)=\eta_d(A,B)=\infty otherwise. Define

\mathcal{N}_\alpha(A,B;X)=\\#\left\\{d\in\mathcal{S}(X):\eta_d(A,B)\leq d^{1/8+\alpha}\right\\},

and let λA,B\lambda_{A,B} be the number of irreducible factors of F(x)F(x) in Z[x]\mathbb{Z}[x].

Le Boudec's conjecture. For every α>0\alpha>0, there exists a constant cA,B(α)>0c_{A,B}(\alpha)>0 such that

Nα(A,B;X)cA,B(α)X1/2(logX)λA,B\mathcal{N}_\alpha(A,B;X)\sim c_{A,B}(\alpha)X^{1/2}(\log X)^{\lambda_{A,B}}

as XX\to\infty.

This is presented as the direct elliptic-curve analogue of Hooley's conjecture, with canonical heights of quadratic twists playing the role of fundamental units. The source says the conjecture was communicated by Le Boudec in private conversations and gives no evidence of a resolution.

Sources & referencesView supporting material

Primary source

Joachim Petit, “On the number of quadratic twists with a rational point of almost minimal height”, arXiv:2004.02500 (2020).

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.