The log Tate conjecture via homotopy K-theory

Let s=Spec(k)s=\operatorname{Spec}(k) be the standard log point, let XX be as above, let \ell be invertible in kk, and let m2rm\geq 2r. Define KHi,lim(X)=limXKHi(X)KH_{i,\lim}(X)=\varinjlim_{X'}KH_i(X') over log modifications XXX'\to X, where KHKH is homotopy K-theory. The log Tate conjecture via homotopy K-theory. Both maps

QgrmrK0,lim(X×Gmm2r)Hm(X)(r)G\mathbb{Q}_{\ell}\otimes\operatorname{gr}^{m-r}K_{0,\lim}(X\times\mathbb{G}_m^{m-2r})\longrightarrow H^m(X)_{\ell}(r)^G

and

QgrrKH2rm,lim(X)Hm(X)(r)G\mathbb{Q}_{\ell}\otimes\operatorname{gr}^{r}KH_{2r-m,\lim}(X)\longrightarrow H^m(X)_{\ell}(r)^G

are surjective. This is a proposed general-degree refinement of the log Tate conjecture; no resolution is given.

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.