Existence conjecture for the monodromy cycle

Let ss be the standard log point over a finite field, let XX be a projective vertical log smooth fs log scheme over ss, let d=dim⁡Xd=\dim X, and let qq be a section of the log structure not belonging to k×k^\times. Let K(X×X,2d,d−1)K(X\times X,2d,d-1) be the group from the finer logarithmic Tate conjecture, and let NqN_q denote the monodromy operators on log étale cohomology. Monodromy-cycle conjecture. There exists a unique element of K(X×X,2d,d−1)K(X\times X,2d,d-1) inducing

Nq:Hm(X)ℓ⟶Hm(X)ℓ(−1)N_q:H^m(X)_{\ell}\longrightarrow H^m(X)_{\ell}(-1)

for every mm and every ℓ≠p\ell\neq p, and inducing the analogous operator on log crystalline cohomology. This expected cycle would realize monodromy motivically; the source presents it as suggested by the finer log Tate conjecture and gives no 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.