scientific article; zbMATH DE number 1329851

From MaRDI portal
Publication:4258071





This paper, which is the doctoral thesis of the author, is mainly devoted to prove two arithmetical results enjoyed by 3-dimensional complete regular local rings. Firstly, the author generalizes a result of Saito by proving that if \(A\) is a 3-dimensional complete regular local ring of positive characteristic with finite residue field and \(K\) its fractional field, then for an arbitrary natural number \(m\) prime to the characteristic of \(A\), the following Hasse principle complex for \(A\) becomes exact: \[ 0 \rightarrow H^{4}_{\text{et}} (K, \mu_{m}^{\otimes 3}) \rightarrow \bigoplus_{ p \in P_{A}^{1} } H^{3}_{\text{et}} (k (p) , \mu_{m}^{\otimes 2}) \rightarrow \bigoplus_{ m \in P_{A}^{2} } H^{2}_{\text{et}} (k (m) , \mu_{m}) \rightarrow {\mathbb Z}/m \rightarrow 0 \] where \(P_{A}^{i}\) denotes the set of height \(i\) prime ideals of \(A\) and \(k (p)\), \(k (m)\) denote the residue fields of \(p\) and \(m\), respectively. If \(A\) is as above, the author defines the idele class group \(C_{K}\) and shows that, whenever \(A\) has odd characteristic, then \(C_{K}\) is canonically attached to \(K\), and it holds the following dual reciprocity isomorphism: \[ H_{\text{Gal}}^{1} (K, {\mathbb Q}_{p}/ {\mathbb Z}_{p}) \cong \Hom_{c} (C_{K}, {\mathbb Q}_{p}/ {\mathbb Z}_{p}), \] where \(\Hom_{c} (C_{K}, {\mathbb Q}_{p}/ {\mathbb Z}_{p})\) denotes the set of all continuous homomorphisms of finite order from \(C_{K}\) to \( {\mathbb Q}_{p}/ {\mathbb Z}_{p}\). This result is also true for positive characteristic under the Bloch-Milnor-Kato conjecture.











This page was built for publication:

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