On completion of unimodular rows over polynomial extension of finitely generated rings over Z

DOI10.1016/J.JPAA.2020.106507MaRDI QIDQ2196365zbMATH OpenOpenAlexFDO

Authors Sampat Sharma

Publication date 28 August 2020

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2005.03485

zbMATH Keywords

completion of unimodular rowsWitt group

Mathematics Subject Classification ID

Projective and free modules and ideals in commutative rings (13C10) Grothendieck groups, (K)-theory and commutative rings (13D15) Stable range conditions (19B10)

Abstract: In this article, we prove that if $R$ is a finitely generated ring over $mathbbZ$ of dimension $d,dgeq2,frac1d!inR$, then any unimodular row over $R[X]$ of length $d+1$ can be mapped to a factorial row by elementary transformations.

Review text

Here are the main results of this paper. Assume that \(R\) is a finitely generated commutative ring of Krull dimension \(d\), where \(d\ge2\). Let \(m\) be a positive even integer such that \(\frac {1} {m}\in R\). Then each unimodular row of length \(d+1\) over \(R[X]\) is elementarily equivalent to a unimodular row of the form \((u_0^{m},\dots, u_d)\). In particular, one may choose \(m=d!\), thus assuming \(\frac {1} {d!}\in R\). Moreover, in this case, if \(T\) is a multiplicative subset of \(R\), then any unimodular row over \(R_T[X]\) of length \(d+1\) is elementarily equivalent over \(R_T[X]\) to a unimodular row of the form \((u_0^{d!}\dots u_d)\). Recall that a row over a ring \(A\) is unimodular if the ideal generated by its entries is equal to \(A\). By a particular case of Suslin's Theorem, a unimodular row of the form \((u_0^{r!},\dots ,u_r)\) over an arbitrary commutative ring is completable to an invertible matrix.

Recommendations

• On completable unimodular row over a polynomial ring
• A note on unimodular rows
• On Unimodular Rows
• Unimodular rows over monoid rings
• Remarks on unimodular rows

Cites work

• A class of projective modules which are nearly free
• A group structure on certain orbit sets of unimodular rows
• Computation of k₁Via mennicke symbols
• Faisceaux algébriques cohérents
• On Completing Unimodular Polynomial Vectors of Length Three
• On Stably Extended Projective Modules Over Polynomial Rings
• ON STABLY FREE MODULES
• ON THE STRUCTURE OF THE SPECIAL LINEAR GROUP OVER POLYNOMIAL RINGS
• Operations on orbits of unimodular vectors
• Projective modules over polynomial rings
• Serre's conjecture
• SERRE'S PROBLEM ON PROJECTIVE MODULES OVER POLYNOMIAL RINGS, AND ALGEBRAIC K-THEORY
• The Bass-Quillen conjecture in dimension three but characteristic 2,3 via a question of A. Suslin

Cited in

(21)

• The elementary action on unimodular rows over a monoid ring. II
• A note on unimodular rows
• Unimodular rows over monoid rings
• On the first row map \(\mathrm{GL}_{d+1}(R)\longrightarrow\frac{Um_{d+1}(R)}{E_{d+1}(R)}\)
• Two lives: compositions of unimodular rows
• Completion of skew completable unimodular rows
• On a theorem of Keune
• Subintegral extensions and unimodular rows.
• A study of Suslin matrices: their properties and uses
• Remarks on unimodular rows
• The simplified derivation of the completion theorem to a unimodular matrix over R[z_l, z₂]
• On the completability of unimodular rows of length three
• On Completing Unimodular Polynomial Vectors of Length Three
• On Unimodular Rows over Polynomial Rings
• On Unimodular Rows
• On completable unimodular row over a polynomial ring
• A sufficient criterion about group homomorphism of the first row map
• Unimodular rows over affine algebras over algebraic closure of a finite field
• Relative unimodular rows over polynomial rings
• Completion of relative unimodular rows over finitely generated rings over Z
• A sufficient criterion about completion of unimodular rows over polynomial rings

This page was built for publication: On completion of unimodular rows over polynomial extension of finitely generated rings over \(\mathbb{Z}\)

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