English

Complete Intersections K-Theory and Chern Classes

alg-geom 2008-02-03 v1 Algebraic Geometry

Abstract

Throughout this abstruct AA will denote a noetherian commutative ring of dimension nn. The paper has two parts. Among the interesting results in Part-1 are the following: 1) {\it suppose that f1,f2,...,frf_1, f_2, ..., f_r (with rnr \leq n) is a regular sequence in AA and suppose QQ is a projective AA-module of rank rr that maps onto the ideal (f1,f2,...,fr1,fr(r1)!)(f_1, f_2, ..., f_{r-1},f_r^{(r-1)!}). Then [Q]=[Q0A][Q]=[Q_0 \oplus A] in K0(A)K_0(A) for some projective Amodule Q0A-module~Q_0 of rank r1r-1.} 2) The set F0K0(A)={[A/I]K0(A):I is a locally complete intersection ideal in A of height n}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)K_0(A). We also show that if AA is a reduced affine algebra over a field kk then F0K0(A)F_0K_0(A) {\it is indeed the Zero Cycle Subgroup of} K0(A)K_0(A) {\it that is generated by smooth maximal ideals} \CalM\Cal M {\it of height} nn. 3){\it let AA be such that whenever II is a locally complete intersection ideal of height nn with [A/I]=0[A/I]=0 then II is the image of a projective AmoduleA-module of rank nn. Then for any locally complete intersection ideal JJ of height nn with [A/J][A/J] divisible by (n1)!(n-1)! in F0K0(A)F_0K_0(A), there is a projective AmoduleA-module of rank nn that maps onto JJ}. The main result in Part-2 is the following construction: 1) {\it let X=SpecAX=Spec A be a Cohen-Macaulay scheme of dimension nn and let r0, rr_0,~r be two integers with n/2r0rnn/2 \leq r_0 \leq r \leq n. Let i) Q0Q_0 be a projective AmoduleA-module of rank r01r_0-1 such that the restriction Q0YQ_0|Y is trivial for all locally complete intersection subvarieties YY of codimension at least r0r_0. Also ii) for k=r0k= r_0 to rr, let IkI_k be locally complete intersection ideals of height kk so that Ik/Ik2I_k/I_k^2 has a generators of the type f1,...,fk1,fk(k1)!f_1, ..., f_{k-1}, f_k^{(k-1)!}. Then there is a projective Amodule QA-module~Q of rank rr such that

Keywords

Cite

@article{arxiv.alg-geom/9605012,
  title  = {Complete Intersections K-Theory and Chern Classes},
  author = {Satya Mandal},
  journal= {arXiv preprint arXiv:alg-geom/9605012},
  year   = {2008}
}

Comments

amstex