Restriction isomorphism in arbitrary relative dimension
Prove that, for arbitrary relative dimension d, the restriction map from CH^{d+1}(X,1)_{\mathbb{Z}/p^r\mathbb{Z}} to the inverse limit of the Nisnevich cohomology groups H^d(X_k,\mathcal{K}^{M}_{X_n,d+1}/p^r) is an isomorphism.
References
Conjecture 3.13. res is an isomorphism for arbitrary d.
— Higher dimensional local class field theory
(2609.34437 - Lüders, 28 Sep 2026) in Conjecture 3.13, Section 3.5