The log Tate conjecture in degree twice the codimension

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)=limXK0(X),K_{0,\lim}(X)=\varinjlim_{X'}K_0(X'),

where XX' ranges over the log modifications of XX; let grr\operatorname{gr}^r denote the gamma filtration and write Hm(X)=Hlogeˊtm(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

QgrrK0,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.

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.