The log Tate conjecture via homotopy K-theory

About 1 year old · traced to

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 m≥2rm\geq 2r. Define KHi,lim⁡(X)=lim→⁡X′KHi(X′)KH_{i,\lim}(X)=\varinjlim_{X'}KH_i(X') over log modifications X′→XX'\to X, where KHKH is homotopy K-theory. The log Tate conjecture via homotopy K-theory. Both maps

Qℓ⊗gr⁡m−rK0,lim⁡(X×Gmm−2r)⟶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

Qℓ⊗gr⁡rKH2r−m,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.

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.