Finite-field computation of weight-zero Kato homology

Let FF be a finite field, let XX be the variety under consideration, let p=ch(F)p=\operatorname{ch}(F), and let r1r\geq 1. The groups KHj(0)(X,Z/pr)KH_j^{(0)}(X,\mathbb{Z}/p^r) are the weight-zero Kato homology groups.

Finite-field computation. There is an isomorphism

KHj(0)(X,Z/pr){Z/pr,j=0,0,j>0.KH_j^{(0)}(X,\mathbb{Z}/p^r)\xrightarrow{\simeq}\begin{cases}\mathbb{Z}/p^r,&j=0,\\0,&j>0.\end{cases}

Thus the weight-zero Kato homology is concentrated in degree zero and equals Z/pr\mathbb{Z}/p^r there.

Sources & referencesView supporting material

Primary source

Toshiro Hiranouchi and Rin Sugiyama, “Extended differential symbol and the Kato homology groups”, arXiv:2501.11224 (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.