Derived reciprocity conjecture for the Kato class in the αgβh=1\alpha_g\beta_h=1 case

About 5 years old · traced to

Assume αgβh=1\alpha_g\beta_h=1, and let P,QP,Q be the points in (E(H)⊗Vgh∨)GQ(E(H)\otimes V_{gh}^{\vee})^{G_{\mathbb Q}}. Let κ′(f,gα,h1/β)\kappa'(f,g_{\alpha},h_{1/\beta}) be the derived cohomology class, let L\mathcal L be the relevant L\mathcal L-invariant, and let Ξgα\Xi_{g_{\alpha}}, Ωh1/β\Omega_{h_{1/\beta}}, and ugαu_{g_{\alpha}} be the associated periods and Gross--Stark unit. Derived reciprocity conjecture. In Hf⁡1(Q,Vfgh)H_{\operatorname{f}}^1(\mathbb Q,V_{fgh}),

κ′(f,gα,h1/β)=LΞgα⋅Ωh1/β⋅log⁡p(Pββ)⋅Q−log⁡p(Qββ)⋅Plog⁡p(ugα)(modL×).\kappa'(f,g_{\alpha},h_{1/\beta})=\frac{\mathcal L}{\Xi_{g_{\alpha}}\cdot\Omega_{h_{1/\beta}}}\cdot\frac{\log_p(P_{\beta\beta})\cdot Q-\log_p(Q_{\beta\beta})\cdot P}{\log_p(u_{g_{\alpha}})}\pmod{L^{\times}}.

This is the conjectural analogue of a derived reciprocity theorem: the ordinary reciprocity law degenerates in this case, and the displayed formula is expected to express the derived class in terms of the points. Its general validity remains open.

References

Primary source

Oscar Rivero, “Generalized Kato classes and exceptional zero conjectures”, arXiv:2103.00987 (2021).

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.