Complete intersection K-theory and Chern classes

From MaRDI portal
Complete intersection \(K\)-theory and Chern classes



Abstract: Throughout this abstruct A will denote a noetherian commutative ring of dimension n. The paper has two parts. Among the interesting results in Part-1 are the following: 1) {it suppose that f1,f2,...,fr (with rleqn) is a regular sequence in A and suppose Q is a projective A-module of rank r that maps onto the ideal (f1,f2,...,fr−1,fr(r−1)!). Then [Q]=[Q0oplusA] in K0(A) for some projective A−moduleQ0 of rank r−1.} 2) The set F_0K_0(A) = {[A/I] in K_0(A): I~ is~ a~ locally~ complete ~intersection~ ideal~ in~ A~ of~ height~n } is a {it subgroup} of K0(A). We also show that if A is a reduced affine algebra over a field k then F0K0(A) {it is indeed the Zero Cycle Subgroup of} K0(A) {it that is generated by smooth maximal ideals} CalM {it of height} n. 3){it let A be such that whenever I is a locally complete intersection ideal of height n with [A/I]=0 then I is the image of a projective A−module of rank n. Then for any locally complete intersection ideal J of height n with [A/J] divisible by (n−1)! in F0K0(A), there is a projective A−module of rank n that maps onto J}. The main result in Part-2 is the following construction: 1) {it let X=SpecA be a Cohen-Macaulay scheme of dimension n and let r0,r be two integers with n/2leqr0leqrleqn. Let i) Q0 be a projective A−module of rank r0−1 such that the restriction Q0|Y is trivial for all locally complete intersection subvarieties Y of codimension at least r0. Also ii) for k=r0 to r, let Ik be locally complete intersection ideals of height k so that Ik/Ik2 has a generators of the type f1,...,fk−1,fk(k−1)!. Then there is a projective A−moduleQ of rank r such that











This page was built for publication: Complete intersection \(K\)-theory and Chern classes

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