Regulator image conjecture for mock plectic invariants

Let EE be an elliptic curve, let KK be an imaginary quadratic field, let HcH_c be the relevant ring class field, and let χ\chi be a character of Δc\Delta_c. Let K ⁣:E(Hc)Hf1(Hc,Vp(E))\mathcal{K}\colon E(H_c)\to\operatorname{H}^1_f(H_c,V_p(E)) be the Kummer map, and let Kpap\mathcal{K}_p^{-a_p} be the (ap)(-a_p)-isotypic local Kummer map obtained from localization at pp. The regulator is the map

2E(Hc)χHf1(Hc,Vp(E))χQpHf1(Kp,Vp(E))ap,\bigwedge^2 E(H_c)^\chi\longrightarrow \operatorname{H}^1_f(H_c,V_p(E))^\chi\otimes_{\mathbb{Q}_p}\operatorname{H}^1_f(K_p,V_p(E))^{-a_p}, PQK(P)Kpap(Q)K(Q)Kpap(P).P\wedge Q\longmapsto \mathcal{K}(P)\otimes\mathcal{K}_p^{-a_p}(Q)-\mathcal{K}(Q)\otimes\mathcal{K}_p^{-a_p}(P).

Regulator image conjecture. If L(E/K,χ,1)=0L(E/K,\chi,1)=0, then Qχ\mathcal{Q}^\chi belongs to the image of this regulator. This predicts a direct relation between the mock plectic invariant and global points in E(Hc)χE(H_c)^\chi, via the global and local Kummer maps.

Sources & referencesView supporting material

Primary source

Michele Fornea and Lennart Gehrmann, “Iwasawa theory and mock plectic points”, arXiv:2311.03100 (2024).

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.