Projective modules over overrings of polynomial rings (Q2268836)

Let \(A\) be a commutative Noetherian ring of dimension \(d\) and let all modules be finitely generated. Let \(P\) be a projective \(A\)-module of rank \(n\). If \(P \oplus A^{m} {\overset\sim{} } Q \oplus A^{m}\) for some projective \(A\)-module \(Q\) implies that \(P {\overset\sim {\to}} Q\), then \(P\) is said to be cancellative. The module \(P\) is said to have a unimodular element if \(P {\overset\sim {\to}} P' \oplus A\) for some projective \(A\)-module \(P' \). The set of all unimodular elements of an \(A\)-module \(M\) is denoted by \(Um(M)\) and \(\text{Aut}_{A}(M)\) denotes the group of all \(A\)-automorphisms of \(M\). For an ideal \(J\) of \(A\), \(\text{Aut}_{A}(M,J)\) denotes the kernel of the natural homomorphism \(\text{Aut}_{A}(M) \to \text{Aut}_{A} (M/JM)\). The subgroup of \(\text{Aut}_{A} (A \oplus M)\) generated by all the automorphisms \(\Delta _{\alpha \psi } = \left( \begin{matrix} 1 & \alpha \psi \cr 0 & id_{M} \end{matrix} \right)\) and \(\Gamma _{m} = \left( \begin{matrix} 1 & 0 \cr m & id_{M} \end{matrix} \right)\) with \(\alpha \in J, \psi \in \text{Hom} _{A} (M,A)\) and \(m \in M,\) is denoted by \(EL'(A \oplus M,J)\). Since the late 1950s, many authors have found results, under restrictions with respect to rank, dimension and other parameters on \(P\) and \(A\), for \(EL'(A \oplus P)\) to act transitively on \(Um(A \oplus P)\) (which implies the cancellation property) and for the existence of an unimodular element. In this paper \(P\) is a projective module, \(R = A[X_{1}, \dots X_{l}, Y_{1}, \dots Y_{m}, {{1} \over {f_{1} \dots f_{m}}} ]\)-module of rank \(r \geq \max (2, \dim A+1),\) where \(f_{i} \in A[Y_{i}].\) The authors prove that the natural map \(\phi _{r} : GL_{r}/EL'_{r}(R) \to K_{1}(R)\) is surjective, that \(\phi_{r+1}\) is an isomorphism if \(f_{i}\) is monic and that \(EL'(R \oplus P)\) acts transitively on \(Um(R \oplus P)\). In particular, this means that \(P\) is then cancellative. \(P\) is also shown to have a unimodular element if \(A\) is an affine algebra over a field. These results generalize previous results by various authors.