Random power-residue symbol conjecture for CM elliptic curves

About 20 years old · traced to

Let EtdE_t^d be the CM elliptic curve and let wdw_d denote the order of the relevant unit group. For a prime pp, write (ap(Etd)p)m\left(\frac{a_p(E_t^d)}{p}\right)_m for the mmth power residue symbol of its ppth Fourier coefficient. Random power-residue symbol conjecture. Fix m≥1m\geq 1 and let C\mathcal C be a Chebotarev set contained in Cm1∩Cd+\mathcal C_m^1\cap\mathcal C_{\sqrt d}^{+}. Then

δmn(Etd;C)=φ(n)m⋅δm′n′(Etd;C)φ(n′)/m′\delta_m^n(E_t^d;\mathcal C)=\frac{\varphi(n)}{m}\cdot\frac{\delta_{m'}^{n'}(E_t^d;\mathcal C)}{\varphi(n')/m'}

where

m′=(m,wd),n′=m′(mn,wd).m'=(m,w_d),\qquad n'=\frac{m'}{\left(\frac{m}{n},w_d\right)}.

This gives the paper's precise formulation of the claim that the power-residue symbol is random except for the constraints detected by the lower-level density with m′=(m,wd)m'=(m,w_d). The paper presents this as a conjecture after proving several special density computations; the general assertion is not resolved in the supplied text.

References

Primary source

Tom Weston and Elena Zaurova, “Power residues of Fourier coefficients of elliptic curves with complex multiplication”, arXiv:math/0604034 (2006).

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.