The plectic polylogarithm specialization conjecture for Lerch zeta values

Let FF be a totally real field of degree gg, let UU be the relevant open torus, let pol\boldsymbol{\operatorname{pol}} be the polylogarithm class, and let ξ\xi be a torsion point of UU. Write Δ=OF+×\Delta=\mathcal O_{F+}^{\times} and let ξΔ\xi\Delta be the orbit of ξ\xi. Under the conjectural equivariant plectic Hodge theory and the resulting specialization map

iξΔ:H\sD2g1(U/F+×,\bbL!og)H\sDI2g1(ξΔ/Δ,iξΔ\bbL!og),i_{\xi\Delta}^*:H^{2g-1}_{\sD}(U/F^\times_+,\bbL\\!\operatorname{og})\longrightarrow H^{2g-1}_{\sD^I}(\xi\Delta/\Delta,i_{\xi\Delta}^*\bbL\\!\operatorname{og}),

with

H\sDI2g1(ξΔ/Δ,iξΔ\bbL!og)=n=1(2πi)(n1)g\bbR,H^{2g-1}_{\sD^I}(\xi\Delta/\Delta,i_{\xi\Delta}^*\bbL\\!\operatorname{og})=\prod_{n=1}^{\infty}(2\pi i)^{(n-1)g}\bbR,

Plectic polylogarithm specialization conjecture. The specialization satisfies

iξΔpol=(dF1/2\cL(ξΔ,n))n=1i_{\xi\Delta}^*\boldsymbol{\operatorname{pol}}=(d_F^{1/2}\cL^\infty(\xi\Delta,n))_{n=1}^{\infty}

where dFd_F is the discriminant of FF and

\cL(ξΔ,n)={\cL(ξΔ,n)if (n1)g is even,i,\cL(ξΔ,n)if (n1)g is odd,\cL^\infty(\xi\Delta,n)=\begin{cases}\Re\cL(\xi\Delta,n)&\text{if $(n-1)g$ is even},\\\\ i\\,\Im\cL(\xi\Delta,n)&\text{if $(n-1)g$ is odd},\end{cases}

with \cL(ξΔ,s)\cL(\xi\Delta,s) the Lerch zeta function associated with ξ\xi.

This conjecture predicts that the polylogarithm class specializes to the positive-integer Lerch zeta values, extending the classical three-punctured-projective-line picture. It depends on the conjectural equivariant plectic Hodge theory and is not resolved 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.