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=dimXd=\dim X, and let qq be a section of the log structure not belonging to k×k^\times. Let K(X×X,2d,d1)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,d1)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.

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.