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

\(\gamma\)-filtrationalgebraic cyclesChern classescomplete intersectionGrothendieck group

Mathematics Subject Classification ID

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

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

Review text

The paper consists of two parts. The first part deals with an interesting subgroup of \(K_0\) of a commutative noetherian ring, determined by its locally complete intersection ideals. Let \(A\) be a noetherian commutative ring of dimension \(n\). Let \(F_0K_0A=\{[A/I]\in K_0A:I\) is a locally complete intersection ideal of height \(n\}\), where \(K_0A=K_0(\text{Spec }A)\) denotes Grothendieck's \(K_0\). As a first result it is shown that \(F_0K_0A\subset K_0A\) is a subgroup, which is called the zero cycle subgroup. Furthermore, whenever \(A\) is a reduced affine \(n\)-dimensional algebra over a field \(k\), then \(F_0K_0A\) is generated by the classes \([A/\mathfrak{M}]\), where \(\mathfrak{M}\) runs through all the regular maximal ideals of \(A\) of height \(n\). Via a universal construction one arrives at (a corollary of) the main result: With notations as above assume that whenever \([A/I]=0\) in \(K_0A\), \(I\) is an image of a projective (resp.\ stably free) \(A\)-module \(Q\) of rank \(n\). Then, if \([A/I]\) is divisible by \((n-1)!\) in \(F_0K_0A\), \(I\) is image of a projective \(A\)-module \(Q\) (resp.\ with \((n-1)!([Q]-n)=-[A/I]\)) of rank \(n\). The second part deals with the construction of projective modules with certain cycles as the total Chern class. For a noetherian scheme \(X\) let \(\displaystyle{ \Gamma(X)=\oplus_{i=0}^n\Gamma^i(X)}\) be the graded ring associated to Grothendieck's \(\gamma\)-filtration of \(K_0(X)\). Let \(\displaystyle{\text{CH}(X)=\oplus_{i=0}^n\text{CH}^i(X)}\) denote the Chow group of cycles of \(X\) modulo rational equivalence. The following result is a corollary of the main theorem of the second part: Let \(X=\text{Spec }A\) be a smooth affine variety of dimension \(n\) over a field. Assume that \(\text{CH}^n(X)\) is divisible by \((n-1)!\). Let \(Q_0\) be a projective \(A\)-module of rank \(n-1\), and let \(x_n\) be a cycle in \(\text{CH}^n(X)\). Then there is a projective \(A\)-module \(Q\) of rank \(n\) such that \(C_i(Q)=C_i(Q_0)\) for \(1\leq i<n\) and \(C_n(Q) =x_n\), where the \(C_i\) denote the Chern classes in \(\text{CH}^i(X)\), \(1\leq i\leq n\). Conversely, if \(Q\) is a projective \(A\)-module of rank \(n\), then there is a projective \(A\)-module \(Q\) of rank \(n\) such that \(C_i(Q)=C_i(Q)\) for \(1\leq i<n\) and \(C_n(Q)=0\) in \(\text{CH}^n(X)\). The paper closes with some alternative proofs of results of \textit{N.~Mohan~Kumar} and \textit{M.~Murphy} on algebraic cycles and Chern classes.

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

(16)

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

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)