The Merel-unit and cubic-field unit conjecture

About 9 years old · traced to

Let KK be a cubic extension with negative discriminant −D-D, let LL be its sextic Galois closure, and let gg be the associated weight one form of level DD. Let u∈OK∗u\in\mathcal{O}_K^* be a unit, let q≡1(modp)q\equiv1\pmod p satisfy (−Dq)=−1\left(\frac{-D}{q}\right)=-1, and assume p≥5p\geq5. Let ϖMerel∈(Z/q)∗\varpi_{\mathrm{Merel}}\in(\mathbb{Z}/q)^* be nonzero modulo pp after projection to Fp⟨1⟩\mathbb{F}_p\langle1\rangle, and let η\eta be the first Fourier coefficient of the Eisenstein component of the projection of g(z)g(qz)g(z)g(qz) to level qq. Let uˉ∈(Z/q)∗\bar u\in(\mathbb{Z}/q)^* be the reduction of uu modulo the unique degree-one prime of KK above qq. The Merel-unit conjecture. There exist A,B∈ZA,B\in\mathbb{Z} such that, for all such qq,

ϖMerelA⋅η=uˉBin Fp⟨1⟩.\varpi_{\mathrm{Merel}}^{A\cdot\eta}=\bar u^B\quad\text{in }\mathbb{F}_p\langle1\rangle.

The coefficient η\eta is well defined modulo the numerator of (q−1)/12(q-1)/12, which is sufficient for this relation. The supplied text presents this as a rephrasing of the paper's conjecture and gives no resolution.

References

Primary source

Michael Harris and Akshay Venkatesh, “Derived Hecke algebra for weight one forms”, arXiv:1706.03417 (2017).

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.