Residue invariance of weight-one Kato homology under regular proper models

Let FF be a local field of characteristic p>0p>0 with finite residue field kk, let XX be a smooth variety over FF, and let X\mathscr{X} be a model of XX over the valuation ring OF\mathcal{O}_F. Write XkX_k for its special fiber. For r1r\geq 1 and j0j\geq 0, let Δj\Delta_j denote the residue map from weight-one Kato homology of XX to weight-zero Kato homology of XkX_k.

Residue invariance conjecture. If the model X\mathscr{X} is proper over OF\mathcal{O}_F and regular, then

Δj:KHj(1)(X,Z/pr)KHj(0)(Xk,Z/pr)\Delta_j:KH_j^{(1)}(X,\mathbb{Z}/p^r)\to KH_j^{(0)}(X_k,\mathbb{Z}/p^r)

is an isomorphism for all r1r\geq 1 and j0j\geq 0.

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.