The motivic Lerch element conjecture for totally noncritical characters

Let FF be a totally real field, let g\mathfrak g be an ideal, put Γ=Gal(F(g)/F)\Gamma=\operatorname{Gal}(F(\mathfrak g)/F), and let kk be an integer. Let Lerg(k)\mathbf{Ler}_{\mathfrak g}(k) be the Lerch element in HDI2g1(T0[g]/C,R(kI))H^{2g-1}_{\mathscr D^I}(\mathscr T_0[\mathfrak g]_{/\mathbb C},\mathbb R(k_I)), and let χ\chi be a character of Γ\Gamma totally noncritical for kk. Under the stated isomorphism with the determinant of the real Deligne cohomology, the element

1dF1/2Lerg(k)Cχ,R[Γ]HDI2g1(T0[g]/C,R(kI))1\otimes d_F^{1/2}\mathbf{Ler}_{\mathfrak g}(k)\in\mathbb C\otimes_{\chi,\mathbb R[\Gamma]}H^{2g-1}_{\mathscr D^I}(\mathscr T_0[\mathfrak g]_{/\mathbb C},\mathbb R(k_I))

Motivic Lerch element conjecture. The image of this element belongs to

(detQ[Γ](HM1(SpecF(g),Q(k))fin))χ.\bigl(\operatorname{det}_{\mathbb Q[\Gamma]}(H^1_{\mathscr M}(\operatorname{Spec}F(\mathfrak g),\mathbb Q(k))_{\mathrm{fin}})\bigr)_\chi.

This conjecture reformulates the motivic nature predicted for the Lerch element in each totally noncritical character component. No resolution is given in the supplied text.

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.