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

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 Hf1(Q,Vfgh)H_{\operatorname{f}}^1(\mathbb Q,V_{fgh}),

κ(f,gα,h1/β)=LΞgαΩh1/βlogp(Pββ)Qlogp(Qββ)Plogp(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.

Sources & referencesView supporting material

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.