The log Tate conjecture in degree twice the codimension

About 1 year old · traced to

Let s=Spec⁡(k)s=\operatorname{Spec}(k) be the standard log point, let XX be a projective vertical log smooth fs log scheme over ss, let ℓ\ell be invertible in kk, and define

K0,lim⁡(X)=lim→⁡X′K0(X′),K_{0,\lim}(X)=\varinjlim_{X'}K_0(X'),

where X′X' ranges over the log modifications of XX; let gr⁡r\operatorname{gr}^r denote the gamma filtration and write Hm(X)ℓ=Hlog⁡eˊt⁡m(Xs‾(log⁡),Qℓ)H^m(X)_{\ell}=H^m_{\operatorname{\log\acute{e}t}}(X_{\overline{s}(\log)},\mathbb{Q}_{\ell}). The log Tate conjecture. The Chern class map

Qℓ⊗gr⁡rK0,lim⁡(X)⟶H2r(X)ℓ(r)G\mathbb{Q}_{\ell}\otimes\operatorname{gr}^rK_{0,\lim}(X)\longrightarrow H^{2r}(X)_{\ell}(r)^G

is surjective. This is the degree-2r2r logarithmic analogue of the classical Tate conjecture; the paper notes that it was discussed previously but does not state a resolution.

References

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.