Unimodular Elements and Projective Modules Abhishek Banerjee Indian Statistical Institute 203, B T Road Calcutta India

Similar documents
STABLY FREE MODULES KEITH CONRAD

A NOTE ON RELATIVE UNIMODULAR ROWS

A division algorithm

Math-Net.Ru All Russian mathematical portal

GENERATING NON-NOETHERIAN MODULES CONSTRUCTIVELY

In a series of papers that N. Mohan Kumar and M.P. Murthy ([MK2], [Mu1], [MKM]) wrote, the final theorem was the following.

SUMS OF UNITS IN SELF-INJECTIVE RINGS

EXCERPT FROM A REGENERATIVE PROPERTY OF A FIBRE OF INVERTIBLE ALTERNATING MATRICES

The cancellable range of rings

COMMUNICATIONS IN ALGEBRA, 15(3), (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY. John A. Beachy and William D.

Algebra Homework, Edition 2 9 September 2010

OF AZUMAYA ALGEBRAS OVER HENSEL PAIRS

On Unit-Central Rings

Assigned homework problems S. L. Kleiman, fall 2008

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

7 Orders in Dedekind domains, primes in Galois extensions

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander

c-pure Projective and c-pure Injective R-Modules

ON REGULARITY OF RINGS 1

x y B =. v u Note that the determinant of B is xu + yv = 1. Thus B is invertible, with inverse u y v x On the other hand, d BA = va + ub 2

ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

One-sided clean rings.

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA

MATH 326: RINGS AND MODULES STEFAN GILLE

TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

Ideals Of The Ring Of Higher Dimensional Dual Numbers

Ring Theory Problems. A σ

4.4 Noetherian Rings

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of

An Algorithmic Proof of Suslin s Stability Theorem for Polynomial Rings

arxiv: v1 [math.ac] 15 Jul 2011

A Generalization of VNL-Rings and P P -Rings

Strongly Nil -Clean Rings

APPLICATIONS OF KAPLANSKY-COHEN S THEOREM. Tran Van Dong, Nguyen Trong Bac and Nguyen Van Sanh


Math 121 Homework 5: Notes on Selected Problems

Serre s Problem on Projective Modules

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

On Commutative FDF-Rings

INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II

Azumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras

Homological Dimension

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

Strongly nil -clean rings

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES

Some Examples and Cosntructions

ADDITIVE GROUPS OF SELF-INJECTIVE RINGS

Homework 4 Solutions

Semi co Hopfian and Semi Hopfian Modules

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

arxiv: v1 [math.ac] 30 Aug 2016

MATH 221 NOTES BRENT HO. Date: January 3, 2009.

Classes of Commutative Clean Rings

IDEAL CLASSES AND RELATIVE INTEGERS

EP elements and Strongly Regular Rings

Mathematical Research Letters 3, (1996) EQUIVARIANT AFFINE LINE BUNDLES AND LINEARIZATION. Hanspeter Kraft and Frank Kutzschebauch

COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA

Universal Localization of Piecewise Noetherian Rings

Math 711: Lecture of September 7, Symbolic powers

1. Algebraic vector bundles. Affine Varieties

Lecture 4. Corollary 1.2. If the set of all nonunits is an ideal in A, then A is local and this ideal is the maximal one.

The real root modules for some quivers.

LECTURE 4: GOING-DOWN THEOREM AND NORMAL RINGS

On Representability of a Finite Local Ring

Math 121 Homework 2 Solutions

List of topics for the preliminary exam in algebra

Tamagawa Numbers in the Function Field Case (Lecture 2)

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

Fundamental theorem of modules over a PID and applications

WEAK NULLSTELLENSATZ

A GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS

4. Noether normalisation

Proceedings of the Twelfth Hudson Symposium, Lecture Notes in Math. No. 951, Springer-Verlag (1982), 4l 46.

A classification of sharp tridiagonal pairs. Tatsuro Ito, Kazumasa Nomura, Paul Terwilliger

RIGHT SELF-INJECTIVE RINGS IN WHICH EVERY ELEMENT IS A SUM OF TWO UNITS

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation;

Projective and Injective Modules

BRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt,

MATH 323 Linear Algebra Lecture 6: Matrix algebra (continued). Determinants.

HAVE STABLE RANGE ONE

Acta Acad. Paed. Agriensis, Sectio Mathematicae 28 (2001) THE LIE AUGMENTATION TERMINALS OF GROUPS. Bertalan Király (Eger, Hungary)

LIFTED CODES OVER FINITE CHAIN RINGS

12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.

A reductive group with finitely generated cohomology algebras.

Spring 2016, lecture notes by Maksym Fedorchuk 51

arxiv: v1 [math.gr] 8 Nov 2008

n-x -COHERENT RINGS Driss Bennis

NOTES IN COMMUTATIVE ALGEBRA: PART 2

Eighth Homework Solutions

Math 418 Algebraic Geometry Notes

Pacific Journal of Mathematics

A SURVEY OF RINGS GENERATED BY UNITS

5 An Informative Example.

P-Ideals and PMP-Ideals in Commutative Rings

LOCALLY PRINCIPAL IDEALS AND FINITE CHARACTER arxiv: v1 [math.ac] 16 May 2013

Transcription:

Unimodular Elements and Projective Modules Abhishek Banerjee Indian Statistical Institute 203, B T Road Calcutta 700108 India Abstract We are mainly concerned with the completablity of unimodular rows to an invertible matrix We first relate this to stable range of the ring Further, we consider rows generating an idempotent of the ring to obtain completability under special conditions We try to obtain analogues of important theorems regarding unimodular rows in the case of these idempotent rows By ring, we shall always mean a commutative ring with identity Section 1: Stable Range and Unimodular Elements We consider a homomorphism from R n to R The mapping may be represented as a row of length n If we assume that the mapping is onto, we note that (1) The map must split (2) If the row is (a 1,, a n ), the elements a i must generate the unit ideal in R This is because the image of the epimorphism is the ideal generated by the a i s and it must contain 1 Let us call such rows unimodular rows Now consider the kernel of the epimorphism obtained from a unimodular row Clearly the kernel is a projective module P such that P R = R n We would like to obtain conditions under which P is a free module Since R is assumed to be commutative (and hence R has invariant basis number), this is equivalent to asking whether P R n 1 It is easy to see that the above condition is equivalent to the unimodular row being completable to an invertible matrix For a proof see [7] Defintion 11 :Stable Range: Let {a 1,, a n } be a set of elements generating the unit ideal The set is said to be reducible if there exist r 1,, r n 1 such that a 1 + r 1 a n,, a n 1 + r n 1 a n still generate the unit ideal If m is such that every such sequence of length exceeding m is reducible, the ring R is said to have stable range m Let us denote stable range by sr Definition 12 :Unimodular Elements: Let M be an R module Given any x M, we define the ideal o M (x) = {f(x) f Hom(M, R)} x is said to be a unimodular element if o M (x) = R Therefore, by a unimodular row, we shall mean a row a 1,, a n, the ideal generated by which is R We shall first show that long unimodular rows over a ring are always completable 1

Proposition 13 : If a ring has stable range n, then every unimodular row of length > n is completable to an invertible matrix Proof: Let us consider the invertible matrix I m, where m > n and a unimodular row (a 1,, a m ) Since the row is unimodular, there exist elements r 1,, r m 1 such that (a 1 + r 1 a m,, a m 1 + r m 1 a m ) is also a unimodular row Let b i = a i + r i a m Then, the following matrix is also invertible: 1 b 1 b 2 b m 1 0 1 0 0 0 0 0 1 Since the sequence of b i s is unimodular, by means of elementary column operations we can change the 1 in the top row to a m Using this a m, we can now sweep out the multiples r i a m from the other columns and get (a m, a 1, a 2,, a m 1 ) as our top row We have thus obtained a completion of the given unimodular sequence Corollary 14 : Every unimodular row over a semilocal ring is completable Proof: This is because a semilocal ring has stable range 1 For proof, see [1] We note that the row (a 1,, a n ) is unimodular if and only if the ideal generated by the a is is equal to R Let the ideal generated by them be I But I = R if and only if I m = R m for each maximal ideal m Thus, the row is unimodular if and only if it is locally unimodular We can use the method of localization to relate stable range to the dimension of the ring However, we shall have to assume that the ring is noetherian Lemma 15 :Let R be a noetherian commutative ring and let a 1,, a n, s R Then there exist c 1,, c n R such that ht(a 1 + sc 1,, a n + sc n )R s n Proof: Let p 1,, p m be the minimal prime ideals of R not containing s Then, by prime avoidance, a 1 + sr is not conatined in p i Thus, there exists c 1 such that ht(a 1 + sc 1 ) 1 Now, we consider q 1,, q k, the minimal prime ideals of R/(a 1 + sc 1 ) not containing s Proceeding in the same fashion, we see that there exist c 1,, c n such that ht(a 1 + sc 1,, a 1 + sc n ) n Also see[1] Proposition 16 :Let R be a noetherian commutative ring and let R have finite dimension Then if R is also reduced, sr(r) dim(r) Proof: Let a 1,, a n+1 be such that n > dim(r) Now, we can find numbers c 1,, c n such that ht(a 1 + a n+1 c 1,, a n + a n+1 c n )R an+1 n Thus the height of the ideal in the ring R an+1 also exceeds dim(r) Consequently, it must be equal to R itself, ie we have obtained a stable range kind of contraction (We require that the ring be reduced so that R an+1 be always defined) It is obvious that if any of the elements in the unimodular row is a unit or a zero, the vector becomes completable Next, we try out a nilpotent element Proposition 17: Let (a 1,, a n ) be a unimodular row such that a n is nilpotent Then the row is completable to an invertible matrix 2

Proof: We must have b 1,, b n such that a i b i = 1 But the element a n b n is nilpotent and hence a 1 b 1 ++a n 1 b n 1 = 1 a n b n is a unit in R Thus, the row a 1,, a n 1 is also unimodular Consequently, the row a 1,, a n is completable Corollary 18 : Let R be a commutative ring and let N denote the nilradical of R Then sr(r/n)=sr(r) Proof: Let sr(r/n) = n Now suppose that there exist a 1, a n+1 R which generate the unit ideal Then, there exist r 1,, r n such that a 1 +r 1 a n+1,, a n + r n a n+1 generate R/N Thus this sum differs from 1(in R) by a nilpotent element Since units over N lift to units over R, we are through Section 2: From Units to Idempotents In this section we shall examine what happens if the rows a 1,, a n generate the principal ideal generated by an idempotent instead of assuming that they are unimodularwe should get analogous results when we use idempotents instead of units We know that a unimodular row is an epimomorphism from R n to R The map splits and the kernel is a stably free projective module P of rank 1 This module P is free if and only if the unimodular row is completable to an invertible matrix In keeping with the notion of unimodular rows, we define idempotent rows as: Definition 21 :Idempotent rows: Let a 1,, a n R be such that the ideal generated by (a 1,, a n ) equals the principal ideal generated by an idempotent Then (a 1,, a n ) is said to be an idempotent row We have the fact that P R R n and we want to know whether P is free We shall start with an argument regarding the minimal number of generators for P This argument will use exterior powers: Proposition 22: Let R be a commutative (and hence stably finite*) ring and let P R R n Then, if P is minimally generated by n 1 elements, P is free Proof: Let k be the minimal number of generators for P Then there exists Q such that P Q R k Clearly, k n Let k < n 1 Then we apply n to both sides We get n P = 0 and also n 1 P = 0 However, if we apply n to the relation P R R n and compare, we get a contradiction Thus, k = n or k = n 1 If k = n 1, we add Q to both sides of the relation P R R n to get R n R n Q Since a commutative ring is stably finite, we see that Q = 0 and hence P is free *(Definition: Stably finite: A ring R is said to stably finite if the matrix rings M n (R) have the following property: if A, B M n (R) are such that AB = I, then BA = I This is equivalent to the following: if R n R n Q, then Q = 0) Now, we shall look at the stable ranges If R has stable range n, each of the rings er and (1 e)r also has finite stable range ( n) Conversely, let 3

n = max{sr(er), sr((1 e)r)} Then, let us take a sequence (a 1,, a n+1 ) of elements that generate R Clearly, ea 1,, ea n+1 generate er and so also for 1 e Thus, we find er 1,, er n such that (ea 1 + er 1,, ea n + er n ) = (e) and similarly we get (1 e)s is for generating (1 e) The unit ideal is generated by the elements a i +(r i e+s i (1 e))a n+1 The stable range of the ring is, therefore, n Now, an idempotent row is a homomorphism from R n to er Let us fix the notation: e is an idempotent, I 1 = er and I 2 = (1 e)r The idempotent row is introduced when the mapping takes R n not to the whole of R, but only to a direct summand, in which case, the map must split We obtain R n = I 1 P for some projective module P The natural question to ask is: When is P = I 2 R r for some r? The answer to this is obvious: there should exist elements b 1,, b n I 2 such that (a 1 + b 1,, a n + b n ) is a completable unimodular row Lemma 23 : Let (a 1,, a n ) be an idempotent row Then the kernel of the associated homomorphism is of the form I 2 R r if and only if the idempotent row can be completed to a matrix A such that there exists a matrix B such that AB = diag(e, 1, 1,, 1) Proof: Let b 1,, b n be elements of I 2 such that c i (a i + b i ) = 1 Let the row (a 1 + b 1,, a n + b n ) be completable to an invertible matrix This is an if and only if condition for the kernel of the homomorphism represented by (a 1,, a n ) to be of the form I 2 R r Consider the invertible matrix thus obtained, say A, with right inverse B If the first row of A were to be changed to (a 1,, a n ), then the first row of AB becomes the projection of the row (1, 0,, 0) into I 1, ie (e, 0,, 0) (Changing the first row of A from (a 1 + b 1,, a n + b n ) to (a 1,, a n ) is equivalent to multiplying the elements of the first row of A by e, since eb i = 0(since b i I 2 ) Hence the first row of AB, which is I also gets multiplied by e and becomes (e, 0, 0,, 0) Thus AB changes from diag(1, 1) to diag(e, 1, 1, 1)) It is obvious that if a unimodular row a 1,, a n is such that there exist a 1, a r (r < n) such that a 1,, a r is unimodular, we can complete the row to an inevrtible matrix We shall now see that this is true even if the subrow is just an idempotent row Proposition 24: If x 1, x n is a unimodular row such that there exists r < n such that x 1,, x r is an idempotent row, the unimodular row x 1,, x n is completable Proof: Let x 1,, x r be an idempotent row corresponding to an idempotent e If e = 1, we are through Otherwise, let e 1 Clearly, the row (x 1,, x r, 0,, 0) (n r0 s) is completable to a matrix A such that there exists a matrix B with AB = ei n (with A, B M n (er)) We also note that ((1 e)x r+1,, (1 e)x n ) is an idempotent row corresponding to (1 e) Similarly, (0,, 0, (1 e)x r+1,, (1 e)x n ) is completable to a matrix C such that there exists a matrix D with CD = (1 e)i n (with C, D M n ((1 e)r)) Thus, A+B is an invertible matrix with inverse C + D The elements ex r+1,, ex n can be added to the last few columns by using the elements x 1,, x r which generate er 4

Corollary 25: If the unimodular row contains an idempotent, it is completable Corollary 26: If the unimodular row (x 1,, x n ) contains i, j such that x i er and x j (1 e)r, it is completable If P is an R module, for an element x of P, let us define o(x) = {f(x) f Hom(P, R)} We know that o(x) is an ideal in R We are concerned with the situation in which o(x) is a direct summand of R, ie o(x) = er for some idempotent e Propositon 27: Let R be a semi local ring and let P be an R module Let α, β be elements of P such that o(α) = o(β) = er Further, suppose that (1 e)α = 0 Then, there exists an automorphism σ of P such that σ(α) = (β) Proof: We split P = αr Q 1 = βr Q 2 We add I 2 to both sides, now we have two unimodular elements inside I 2 P, namely (1 e, α) and (1 e, β) The first component refers to the element of I 2 and the second refers to the element of P in I 2 P If we consider the Q 1 and Q 2 components, the unimodular elements become (1 e, α, 0) and (1 e, β, 0) respectively Thus, there should exist an automorphism σ of I 2 P such that σ(1 e, α, 0) = (1 e, β, 0) Further we know that σ will leave invariant all submodules containing both of the unimodular elements(this follows from a very important theorem of Bass, see [5]) Now, σ(1 e, α, 0) = σ(1 e, 0, 0) + σ(0, α, 0) = (1 e, 0, 0) + (0, β, 0) We see that α = eα and (1 e)α = 0 Multiplying both sides by e, we have σ(0, α, 0) = (0, β, 0) Section 3: Suslin s Theorem The completability of unimodular rows has great bearing upon the Serre Conjecture (proved independently by Quillen and Suslin) Serre s Conjecture states that projective modules over all polynomial rings, ie rings of the form k[x 1,, x n ], k being a field, are free The following theorem was one of the most important steps in Suslin s proof of this conjecture We shall concentrate on the method used by Suslin in proving the theorem below We start by mentioning the theorem of Suslin: Theorem 31 : Let a 0, a 1,, a n be a unimodular row If the row a 0, a 1,, a n 1 is completable to an invertible matrix in the ring R/(a n ), then a 0, a 1,, a n 1, a n n is completable to an invertible matrix in R Proof: (Suslin[2]) We can easily see that given α M n (R) and β GL n (R), the matrix ( α ) 0 0 β can be changed to ( ) αβ 0 0 I n 5

by means of elementary transformations (Whitehead Lemma) (by elementary transformation, we mean a pre or postmultiplication of the matrix by a matrix of the form I + ae ij for i j where a R and e ij is the matrix having 1 in the (i, j) position and 0 s elsewhere) Let a 0, a 1,, a n 1 be completable to an invertible matrix ψ in R/a n Then, we have a φ such that ψφ = I + a n M We consider the matrix ( ) ψ an I A = n M φ A is clearly invertible Then we can use Whitehead s Lemma to stack the powers of a n appearing in the diagonal submatrix by means of elementary transformations The matrix is then transformed to B, where B has the form ( ) a B = ψ n n 0 0 I n 1 M 1 N 1 We use the I n 1 submatrix to eliminate n 1 rows and n 1 columns, leaving us with an invertible matrix having a 0, a 1,, a n 1, a n n as the first row We now adapt this method to prove: Proposition 32 : Let (a 0,, a n 1 ) be completable in R/(a n ) to a matrix of determinant r Then, the row (a 0, a n 1, a n n) is completable(in R) to a matrix of determinant r n Proof: Let the matrix in R/(a n ) be φ Consider the characteristic polynomial of φ The characteristic polynomial yields a relationship of the form φp(φ) = ri in R/(a n ) When lifted to R, we shall have an M such that φp(φ) = ri + a n M Then, we consider the matrix ( ) φ an I ψ = M p(φ) The determinant of the above matrix is r n Applying Suslin s procedure to this matrix, we can obtain a n n matrix with first row a 1,, a n 1, a n n and determinant r n References: [1] Rao, Ravi A & Ishchebeck, Frederick : Ideals and Reality, Springer Monographs in Mathematics [2] Suslin, A A: Stably free modules (Russian) Mat Sb (NS) 102(144) (1977), no 4, 537 550, 632 [3] Suslin, A A Projective modules over polynomial rings are free (Russian) Dokl Akad Nauk SSSR 229 (1976), no 5, 1063 1066 6

[4] Mandal, Satya Projective modules and complete intersections Lecture Notes in Mathematics, 1672 Springer-Verlag, Berlin, 1997 viii+114 pp ISBN: 3-540- 63564-5 [5] Bass, H K-theory and stable algebra Inst Hautes Etudes Sci Publ Math No 22 1964 5 60 [6] Bass, H; Heller, A; Swan, R G The Whitehead group of a polynomial extension Inst Hautes Etudes Sci Publ Math No 22 1964 61 79 [7] Lam, T Y A crash course on stable range, cancellation, substitution and exchange J Algebra Appl 3 (2004), no 3, 301 343 7