The equivariant Beilinson conjecture for abelian extensions

Let L/KL/K be an abelian extension of number fields, let G=Gal(L/K)G=\operatorname{Gal}(L/K), and let kk be the relevant integer. The finite motivic cohomology is HM1(SpecL,Q(k))finH^1_{\mathscr M}(\operatorname{Spec}L,\mathbb Q(k))_{\mathrm{fin}}, the real Deligne cohomology is HD1((SpecL)/R,R(k))H^1_{\mathscr D}((\operatorname{Spec}L)_{/\mathbb R},\mathbb R(k)), and BL+B_L^+ is the invariant Betti--de Rham lattice in the latter. Under the R[G]\mathbb R[G]-isomorphism

detR[G](RQHM1(SpecL,Q(k))fin)detR[G](HD1((SpecL)/R,R(k))),\operatorname{det}_{\mathbb R[G]}(\mathbb R\otimes_{\mathbb Q}H^1_{\mathscr M}(\operatorname{Spec}L,\mathbb Q(k))_{\mathrm{fin}})\cong\operatorname{det}_{\mathbb R[G]}(H^1_{\mathscr D}((\operatorname{Spec}L)_{/\mathbb R},\mathbb R(k))),

Equivariant Beilinson conjecture. The equality

detQ[G](HM1(SpecL,Q(k))fin)=L(1k)(detQ[G]BL+)\operatorname{det}_{\mathbb Q[G]}(H^1_{\mathscr M}(\operatorname{Spec}L,\mathbb Q(k))_{\mathrm{fin}})=L^*(1-k)\bigl(\operatorname{det}_{\mathbb Q[G]}B_L^+\bigr)

holds, where L(1k)R[G]L^*(1-k)\in\mathbb R[G] maps to (L(χ1,1k))χ(L^*(\chi^{-1},1-k))_\chi under the character decomposition of R[G]\mathbb R[G].

This is presented as part of the equivariant version of Beilinson's conjectures. The supplied text gives no resolution, so the conjecture remains open here.

Sources & referencesView supporting material

Primary source

Kenichi Bannai, Hohto Bekki, Kei Hagihara, Tatsuya Ohshita, Kazuki Yamada and Shuji Yamamoto, “The Hodge Realization of the Polylogarithm and the Shintani Generating Class for Totally Real Fields”, arXiv:2207.03285 (2023).

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.