The Merkuriev--Suslin theorem for any semi-local ring

From MaRDI portal
Publication:852912



Abstract: We introduce here a method which uses etale neighborhoods to extend results from smooth semi-local rings to arbitrary semi-local rings A by passing to the henselization of a smooth presentation of A. The technique is used to show that etale cohomology of A agrees with Galois cohomology, the Merkuriev-Suslin theorem holds for A, and to describe torsion in K_2(A).


\noindent In the paper the author develops a method which allows him to extend results concerning smooth semi-local ring to arbitrary local rings. The main theorem which makes this extension possible is the following: Theorem 1. Let \(A\) be a semi-local ring essentially of finite type over a base ring \(k\). Suppose \(A\cong B/J\) where \(B\) is a smooth semi-local ring essentially of finite type over \(k.\) Let \(\mathcal C\) be a category of semi-local ring extensions of \(B\) containing \(A\),\(B^{h}_{/J}\), and the full subcategory \(\text{Ét}(J)\). Suppose \(F_{1},F_{2}: {\mathcal C}\rightarrow \text{Ab}\) are two covariant functors which are either both local for \(V(J)\) or \(F_{2}\) is local for \(V(J)\) and \(F_{1}\) is locally of finite presentation and satisfies the epic Hensel pair condition. Let \(\phi :F_{1}\rightarrow F_{2}\) be a natural transformation such that \({\phi}( B^{\prime})\) is an isomorphism if \(B^{\prime}\) is smooth and essentially of finite type over \(k\). Then \({\phi}( A)\) is an isomorphism. The author gives three applications: in the first he shows that under suitable hypotheses the étale cohomology of \(A\) is the same as the Galois cohomology, in the second he extends the Merkuriev-Suslin theorem and in the third generalizes to \(A\) the Suslin's computation of the \(\ell\)-primary component of \(K_{2}(k)\).











This page was built for publication: The Merkuriev--Suslin theorem for any semi-local ring

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