p-adic L-function conjecture at the parameter a=1

Let p1(mod4)p\equiv1\pmod 4 be a prime. Let A=η6(4z)=anqnA=\eta^6(4z)=\sum a_nq^n, and let αpZp\alpha_p\in {\mathbb Z}_p be the root of T2apT+p2T^2-a_pT+p^2 satisfying αpap(modp)\alpha_p\equiv a_p\pmod p. Let σ\sigma be the Frobenius σ(t)=tp\sigma(t)=t^p.

The a=1a=1 p-adic L-function conjecture. There is a constant C1Q×C_1\in {\mathbb Q}^{\times} independent of pp such that

Lp(A,ωTei1,0)=C1(1p2αp1)F12,12,12(σ)(t)t=1.L_p(A,\omega_{\mathrm{Tei}}^{-1},0)=C_1(1-p^2\alpha_p^{-1}){\mathscr F}^{(\sigma)}_{\frac12,\frac12,\frac12}(t)|_{t=1}.

This is the proposed extension of the preceding conjecture to a=1a=1; the source describes it as plausible in view of an earlier theorem, so its status remains open.

Sources & referencesView supporting material

Primary source

Masanori Asakura, “A generalization of the Ross symbols in higher K-groups and hypergeometric functions II”, arXiv:2102.07946 (2022).

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.