Kato's localization conjecture for Kato homology over global fields

About 1 year old · traced to

Let FF be a global field of characteristic p≥0p\geq 0, let l≠pl\neq p be a prime, and for each place vv let FvF_v be the completion of FF at vv. Let XX be the scheme under consideration and set Xv:=X⊗FFvX_v:=X\otimes_F F_v. Let KHj(1)(−,Z/lr)KH_j^{(1)}(-,\mathbb{Z}/l^r) denote degree-jj Kato homology with coefficients in Z/lr\mathbb{Z}/l^r. Kato's localization conjecture. For j>0j>0, there is an isomorphism

KHj(1)(X,Z/lr)→≃⨁vKHj(1)(Xv,Z/lr),KH_j^{(1)}(X,\mathbb{Z}/l^r) \xrightarrow{\simeq} \bigoplus_v KH_j^{(1)}(X_v,\mathbb{Z}/l^r),

and for j=0j=0 there is a short exact sequence

0→KH0(1)(X,Z/lr)→⨁vKH0(1)(Xv,Z/lr)→Z/lr→0.0\to KH_0^{(1)}(X,\mathbb{Z}/l^r) \to \bigoplus_v KH_0^{(1)}(X_v,\mathbb{Z}/l^r) \to \mathbb{Z}/l^r \to 0.

The statement is a local-global assertion for Kato homology over a global field; the supplied text gives no resolution status.

References

Primary source

Toshiro Hiranouchi and Rin Sugiyama, “Zero-cycles on varieties over a B_s-field”, arXiv:2509.15617 (2026).

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.