Kato's localization conjecture for Kato homology over global fields

Let FF be a global field of characteristic p0p\geq 0, let lpl\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:=XFFvX_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

0KH0(1)(X,Z/lr)vKH0(1)(Xv,Z/lr)Z/lr0.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.

Sources & referencesView supporting material

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.