Complete intersection K-theory and Chern classes

DOI10.1007/PL00004384MaRDI QIDQ1384614zbMATH OpenOpenAlexFDO

Authors Satyagopal Mandal

Publication date 2 June 1998

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/alg-geom/9605012

zbMATH Keywords

algebraic cyclescomplete intersectionChern classesGrothendieck group\(\gamma\)-filtration

Mathematics Subject Classification ID

Projective and free modules and ideals in commutative rings (13C10) Complete intersections (14M10) (K)-theory of schemes (19E08) Linkage, complete intersections and determinantal ideals (13C40) (K_0) of other rings (19A49) Stability for projective modules (19A13)

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 $f_1,f_2,\mathrm{...},f_r$ (with $rleqn$) is a regular sequence in $A$ and suppose $Q$ is a projective $A$-module of rank $r$ that maps onto the ideal $(f_1,f_2,\mathrm{...},f_{r-1},f_r^{(r-1)!})$. Then $[Q]=[Q_{0}oplusA]$ in $K_0(A)$ for some projective $A-module{Q}_0$ of rank $r-1$.} 2) The set ${\displaystyle }$F_0K_0(A) = {[A/I] in K_0(A): I~ is~ a~ locally~ complete ~intersection~ ideal~ in~ A~ of~ height~n }${\displaystyle }$ is a {it subgroup} of $K_0(A)$. We also show that if $A$ is a reduced affine algebra over a field $k$ then $F_0{K}_0(A)$ {it is indeed the Zero Cycle Subgroup of} $K_0(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 $F_0{K}_0(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 $r_0,r$ be two integers with $n/2leq{r}_{0}leqrleqn$. Let i) $Q_0$ be a projective $A-module$ of rank $r_0-1$ such that the restriction $Q_0|Y$ is trivial for all locally complete intersection subvarieties $Y$ of codimension at least $r_0$. Also ii) for $k=r_0$ to $r$, let $I_k$ be locally complete intersection ideals of height $k$ so that $I_k/I_k^2$ has a generators of the type $f_1,\mathrm{...},f_{k-1},f_k^{(k-1)!}$. Then there is a projective $A-moduleQ$ of rank $r$ such that

Recommendations

• Zero cycles and projective modules
• Some applications of algebraic cycles to affine algebraic geometry
• Zero-cycles, splitting of projective modules and number of generators of a module

Cited in

(15)

• A version of smooth K-theory adapted to the total Chern class
• Cycle modules and the intersection \(A_\infty\)-algebra
• Intersection theory of algebraic obstructions
• Intersection theory and Chern classes in Bott-Chern cohomology
• Zero cycles and projective modules
• Some applications of algebraic cycles to affine algebraic geometry
• Euler class construction
• K-theory of intersection spaces
• \(K\)-theory and 0-cycles on schemes
• Chern classes, K-theory and Landweber exactness over nonregular base schemes
• A Riemann-Roch theorem
• On the equivalence of integral \(T^k\)-cohomology Chern numbers and \(T^k\)-\(K\)-theoretic Chern numbers
• CHOW GROUPS OF COMPLETE REGULAR LOCAL RINGS III
• The monoid structure on homotopy obstructions
• Chern Classes from Algebraic Morava K-Theories to Chow Groups

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)