Explicit reciprocity conjecture for the twisted Perrin-Riou-Stark element

Let AA be the CM abelian variety in the source, let g=dimAg=\dim A, let TP(A)\mathbb{T}_{\mathfrak{P}}(A) be its pp-adic representation, and let Scyc=Scyc(1)Scyc(g)gH1(K+,TP(A))\mathfrak{S}_{\mathrm{cyc}}=\mathfrak{S}_{\mathrm{cyc}}^{(1)}\wedge\cdots\wedge\mathfrak{S}_{\mathrm{cyc}}^{(g)}\in\bigwedge^gH^1(K_+,\mathbb{T}_{\mathfrak{P}}(A)). For a primitive character χ\chi of Γn\Gamma_n, let M(Scyc,ω,χ)\mathbb{M}(\mathfrak{S}_{\mathrm{cyc}},\omega,\chi) be the matrix formed from the Perrin-Riou symbols, and let E(χψ)\mathscr{E}(\chi\psi) and Ω(ϵ)\Omega_\infty(\epsilon) be the Euler factor and period defined in the source. Explicit reciprocity conjecture. There exists a choice of a Néron differential on AA such that

detM(Scyc,ω,χ)=E(χψ)L(1/2,χϵψϵ)Ω(ϵ)\det\mathbb{M}(\mathfrak{S}_{\mathrm{cyc}},\omega,\chi)=\mathscr{E}(\chi\psi)\cdot\frac{L(1/2,\chi_\epsilon\psi_\epsilon)}{\Omega_\infty(\epsilon)}

for every primitive character χ\chi of Γn\Gamma_n. This is proposed as a natural higher-dimensional extension of the Coates-Wiles explicit reciprocity law for elliptic units; no proof or disproof is stated in the supplied text.

Sources & referencesView supporting material

Primary source

Kazim Büyükboduk, “Beilinson-Kato and Beilinson-Flach elements, Coleman-Rubin-Stark classes, Heegner points and the Perrin-Riou Conjecture”, arXiv:1511.06131 (2017).

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.