On invariance of the Euler class groups under a subintegral base change (Q401716): Difference between revisions

Let \(R\) be a commutative Noetherian ring. A ring extension \(R\hookrightarrow S\) is called subintegral if: (1) it is integral, (2) the induced map \(\text{Spec}(S)\rightarrow\text{Spec}(R)\) is bijective, and (3) the induced field extensions \(R_{\mathfrak p}/{\mathfrak p}R_{\mathfrak p}\hookrightarrow S_{\mathcal{P}}/{\mathcal{P}}S_{\mathcal{P}}\) are all trivial, where \(\mathcal{P}\in\text{Spec}S\) and \(\mathfrak p=\mathcal{P}\cap R\). In the paper under review, the authors prove that if \(R\hookrightarrow S\) be a subintegral extension with \(\text{dim}R=n\geqslant2\), then the \(n\)th Euler class group of \(R\) is isomorphic to the \(n\)th Euler class group of \(S\) (see [\textit{S. M. Bhatwadekar} and \textit{R. Sridharan}, Compos. Math. 122, No. 2, 183--222 (2000; Zbl 0999.13007)] for the definition of Euler class group). They also give an example to show that similar conclusion does not holds for integral (but not subintegral) extension of rings. \textit{F. Ischebeck} [J. Algebra 121, No. 2, 323--338 (1989; Zbl 0684.13003)] asked the following question. { Question.} Let \(R\hookrightarrow S\) be a subintegral extension. Let \(P\) and \(Q\) be two projective \(R\)-modules such that \(\text{det} P\simeq\text{det}Q\) and \(P\bigotimes S\simeq Q\bigotimes S\). Is \(P\simeq Q\)? The authors give an affirmative answer in the case when \(\dim R=2\).