The Merel-unit and cubic-field unit conjecture

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 uOKu\in\mathcal{O}_K^* be a unit, let q1(modp)q\equiv1\pmod p satisfy (Dq)=1\left(\frac{-D}{q}\right)=-1, and assume p5p\geq5. Let ϖMerel(Z/q)\varpi_{\mathrm{Merel}}\in(\mathbb{Z}/q)^* be nonzero modulo pp after projection to Fp1\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,BZA,B\in\mathbb{Z} such that, for all such qq,

ϖMerelAη=uˉBin Fp1.\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 (q1)/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.

Sources & referencesView supporting material

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.