Squarefree-value conjecture for elliptic-curve sequences

Let f(x,y)Z[x,y]f(x,y)\in\mathbb{Z}[x,y] be squarefree, let EE be a non-CM elliptic curve defined over Q\mathbb{Q}, and let πE,fSF(X)\pi_{E,f}^{SF}(X) count the primes pXp\leq X for which the associated value fp(E)f_p(E) is squarefree. Define CE,fSFC_{E,f}^{SF} by

CE,fSF=ME(1Cf(2)GL2(Z/2Z))nMEμ(n)CE,f(n2)GE(n2).C_{E,f}^{SF}=\prod_{\ell\nmid M_E}\left(1-\frac{|C_f(\ell^2)|}{|\operatorname{GL}_2(\mathbb{Z}/\ell^2\mathbb{Z})|}\right)\sum_{n\mid M_E}\mu(n)\frac{|C_{E,f}(n^2)|}{|G_E(n^2)|}.

Squarefree-value conjecture. As XX\to\infty,

πE,fSF(X)CE,fSFπ(X).\pi_{E,f}^{SF}(X)\sim C_{E,f}^{SF}\,\pi(X).

The preceding upper-bound theorem gives the correct order of magnitude and the conjectural constant, providing evidence for this asymptotic. The paper notes that the conjecture has been proved on average over the family of all elliptic curves for some specific sequences fp(E)f_p(E).

Sources & referencesView supporting material

Primary source

Shabnam Akhtari, Chantal David, Heekyoung Hahn and Lola Thompson, “Distribution of squarefree values of sequences associated with elliptic curves”, arXiv:1210.3433 (2013).

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.