Stability results for projective modules over Rees algebras (Q1672013)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Stability results for projective modules over Rees algebras
scientific article

    Statements

    Stability results for projective modules over Rees algebras (English)
    0 references
    0 references
    0 references
    7 September 2018
    0 references
    Let \(R\) be a commutative Noetherian ring of Krull dimension \(d\). A classical result of \textit{J.-P. Serre} [in: Algebre Theorie Nombres, Sem. P. Dubreil, M.-L. Dubreil-Jacotin et C. Pisot 14 (1960/61), No. 2, 16 p. (1963; Zbl 0132.41301)] says that every finitely generated projective \(R\)-module \(P\) of rank \(>d\) splits off a free summand. One of the aims of this article is to provide a class of examples of commutative Noetherian rings \(R\) of dimension \(d\) such that every rank \(d\) projective \(R\)-module splits off a free summand of rank one. The authors prove the following result: Theorem 1: Let \(R\) be a commutative Noetherian domain of dimension \(d-1\) (\(d\geq 1\)), \(I\) an ideal of \(R\) and \(A=R[It]\) or \(R[It,t^{-1}]\). (i) If \(P\) is a projective \(A\)-module of rank \(d\), then \(P\overset{\sim}{\longrightarrow}Q\oplus A\) for some projective \(A\)-module \(Q\). (ii) Every finitely generated projective \(A\)-module of rank \(d\) is cancellative. For \(A=R[t]\) and for birational overrings of \(R[t]\), a similar type of result is proved by \textit{B. Plumstead} [Am. J. Math. 105, 1417--1433 (1983; Zbl 0532.13008)] and [\textit{R. A. Rao}, Patching techniques in algebra -- stability theorems for overrings of polynomial rings and extendability of quadratic modules with sufficient Witt index. Bombay University (Ph.D. Thesis) (1984)] respectively. As an application of the above theorem, the authors prove the following result: Theorem 2: Let \(R\) be a commutative Noetherian domain of dimension \(d\) and \(I\) an ideal of \(R\). Let \(M\) be a finitely generated module over \(A=R[It]\) or \(R[It,t^{-1}]\). Then \(M\) is generated by \(e(M)=\mathrm{Sup}_{\mathfrak{p}}\{\mu_{\mathfrak{p}}(M)+\dim(A/{\mathfrak{p}})\}\) elements.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    projective modules
    0 references
    stability for projective modules
    0 references
    associated graded rings of ideals
    0 references
    0 references
    0 references