Ideles in higher dimension (Q2391549)

In the 1980s, \textit{K. Kato} and \textit{S. Saito} [Contemp. Math. 55, 255--331 (1986; Zbl 0614.14001)] developed a class field theory for higher-dimensional schemes. For an integral normal scheme \(X\) proper over \(\mathrm{Spec}(\mathbb{Z})\) with function field \(F\), the results are expressed in terms of relative class groups \(C_{\mathrm{Nis}}(X,\mathcal{I}) =H^d_{\mathrm{Nis}}(X, \mathcal{K}^M_d(\mathcal{O}_X,\mathcal{I}))\). Here \(I\) is a nonvanishing coherent sheaf of ideals on \(X\), and there are reciprocity maps \[ \rho:C_{\mathrm{Nis}}(X,\mathcal{I})\to \mathrm{Gal}(F^{\mathrm{ab}}_{\mathcal{I}}/F) \] where \(F^{\mathrm{ab}}_{\mathcal{I}}\) is the maximal abelian extension of \(F\) whose ramification is bounded by \(\mathcal{I}\). The theory does not define an idele group or an absolute idele class group. In the paper under review, the author defines, for such schemes \(X\), idele groups \(I(F;X)\) and idele class groups and \(C(F;X)\) using Parshin chains on pairs \(U\subset X\), where \(U\) is an open subscheme of \(X\), and Milnor \(K\)-groups of the associated residue fields. The idele class groups admit a reciprocity map \[ \rho:C(F;X)\to \mathrm{Gal}(\bar{F}/F)^{\mathrm{ab}}. \] The author relates these idele class groups to the relative class groups of Kato and Saito and gives an elegant reformulation of the their main results in terms of these idele class groups. He also describes the relation between these idele class groups and the class groups of \textit{G. Wiesend} [Math. Z. 256, No. 4, 717--729 (2007; Zbl 1115.14016)].