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

At least 4 years old · documented by

Let p≡1(mod4)p\equiv1\pmod 4 be a prime. Let A=η6(4z)=∑anqnA=\eta^6(4z)=\sum a_nq^n, and let αp∈Zp\alpha_p\in {\mathbb Z}_p be the root of T2−apT+p2T^2-a_pT+p^2 satisfying αp≡ap(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 C1∈Q×C_1\in {\mathbb Q}^{\times} independent of pp such that

Lp(A,ωTei−1,0)=C1(1−p2αp−1)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.

References

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.