The vanishing conjecture for fixed log étale cohomology

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 write

Hm(X)=Hlogeˊtm(Xs(log),Q),G=π1log(s).H^m(X)_{\ell}=H^m_{\operatorname{\log\acute{e}t}}(X_{\overline{s}(\log)},\mathbb{Q}_{\ell}),\qquad G=\pi_1^{\log}(s).

The fixed-part vanishing conjecture.

Hm(X)(r)G=0H^m(X)_{\ell}(r)^G=0

unless m2rm\geq 2r. This extends the usual vanishing outside the Tate range to log étale cohomology; the source says it is well known in the semistable-reduction case but 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.