Harris--Venkatesh conjecture for derived Hecke operators on weight-1 forms

Let ff be a Hecke new cusp form of weight 11 and level NN, with adjoint Artin representation Ad(ρ)\operatorname{Ad}(\rho). Let U(Ad(ρ))\mathcal{U}(\operatorname{Ad}(\rho)) be its dual unit group, let Sp\mathfrak{S}_p denote the Shimura class, let TrpNp\operatorname{Tr}_p^{Np} be the indicated trace operator, and let ff^* be the dual newform. For primes p,5p,\ell\geq 5 coprime to NN, write log:Fp×Z/tZ\log_\ell:\mathbb{F}_p^\times\twoheadrightarrow\mathbb{Z}/\ell^t\mathbb{Z} for a fixed discrete logarithm, where t\ell^t is the exact power of \ell dividing p1p-1, and let RegFp×\operatorname{Reg}_{\mathbb{F}_p^\times} be the finite-field regulator map.

Harris--Venkatesh conjecture. There are an element uU(Ad(ρ))u\in\mathcal{U}(\operatorname{Ad}(\rho)) and a positive integer mm such that, for any primes p,5p,\ell\geq 5 coprime to NN,

mlogSp(TrpNp(f(z)f(pz)))=logRegFp×(u).m\cdot\log_\ell\mathfrak{S}_p\left(\operatorname{Tr}_p^{Np}\left(f(z)f^*(pz)\right)\right)=\log_\ell\operatorname{Reg}_{\mathbb{F}_p^\times}(u).

This conjecture predicts that the Shimura-class expression obtained from a weight-1 newform agrees, after a fixed integral scaling and discrete logarithm, with the reduction of a single Stark unit. The supplied text presents it as the Harris--Venkatesh conjecture away from the primes 22 and 33, but gives no resolution.

Sources & referencesView supporting material

Primary source

Robin Zhang, “The Harris-Venkatesh conjecture for derived Hecke operators I: imaginary dihedral forms”, arXiv:2301.00570 (2023).

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.