Bloch's pole-order conjecture in logarithmic K-theory

Let VV be a variety with strictly semistable reduction XX over a local field with residue field kk, assume that kk is finite, and define

L(Hm(V),s)=det(1φ(k)s;Hm(VK,Q)N=0)1,L(H^m(V),s)=\det(1-\varphi\,\sharp(k)^{-s};H^m(V_{\overline{K}},\mathbb{Q}_{\ell})^{N=0})^{-1},

where φ\varphi is geometric Frobenius. Let K(X,m,r)K(X,m,r) be the group defined in the finer logarithmic Tate conjecture. The modified Bloch pole-order conjecture. The order of the pole of L(Hm(V),s)L(H^m(V),s) at s=rZs=r\in\mathbb{Z} equals

dimQK(X,m,r).\dim_{\mathbb{Q}}K(X,m,r).

The source describes this as a modification of a conjecture of S. Bloch and notes that the finer log Tate conjecture implies it under semisimplicity of Frobenius; it is not resolved here.

Sources & referencesView supporting material

Primary source

Kazuya Kato, Chikara Nakayama and Sampei Usui, “Logarithmic Tate conjectures over finite fields”, arXiv:2502.16974 (2025).

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.