No label defined (Q4258071)

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.