Global localization conjecture for weight-one Kato homology

Let FF be a global field, let FvF_v be the completion at a place vv, and set Xv:=XFFvX_v:=X\otimes_F F_v. Let p=ch(F)p=\operatorname{ch}(F) and r1r\geq 1.

Global localization conjecture. For j>0j>0, there is an isomorphism

KHj(1)(X,Z/pr)vKHj(1)(Xv,Z/pr),KH_j^{(1)}(X,\mathbb{Z}/p^r)\xrightarrow{\simeq}\bigoplus_v KH_j^{(1)}(X_v,\mathbb{Z}/p^r),

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

0KH0(1)(X,Z/pr)vKH0(1)(Xv,Z/pr)Z/pr0,0\to KH_0^{(1)}(X,\mathbb{Z}/p^r)\to\bigoplus_v KH_0^{(1)}(X_v,\mathbb{Z}/p^r)\to\mathbb{Z}/p^r\to0,

where vv runs over all places of FF. This is a local-global description of the weight-one Kato homology groups.

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.