Ideles in higher dimension

From MaRDI portal
Publication:2391549



Abstract: We propose a notion of idele class groups of finitely generated fields using the concept of Parshin chains. This new class group allows us to give an idelic interpretation of the higher class field theory of Kato and Saito.


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)].











This page was built for publication: Ideles in higher dimension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391549)