Integrality of the Chern character in small codimension (Q452049): Difference between revisions

Let \(X\) be an algebraic variety, \(K_{0}^{\prime}(X)\) the Grothendieck group of coherent sheaves, \(\mathrm{CH}_{i}(X)_{ Q}\) the Chow group of \(X\) of algebraic cycles of dimension \(i\) and \(\mathrm{ch}_{i}: K_{0}^{\prime}(X) \rightarrow \mathrm{CH}_{i}(X)_{Q}\) the homological Chern character. One can state the following conjecture: Conjecture. Let \(X\) be a variety, and \(n\) a positive integer. Then \[ p^{[n/(p-1)]} \cdot \mathrm{ch}_{\dim X-n} [{\mathcal O}_{X}]\in \mathrm{im} (\mathrm{CH}_{\dim X-n}(X)_{Z_{(p)}}\rightarrow \mathrm{CH}_{\dim X-n}(X)_{Q_{(p)}} \] The topological analog of this was formulated and proved by \textit{J. F. Adams} [Proc. Camb. Philos. Soc. 57, 189-199 (1961; Zbl 0103.16001)]. For another easier proof of this but with more restrictive assumptions [\textit{M. F. Atiyah}, Q. J. Math., Oxf. II. Ser. 17, 165--193 (1966; Zbl 0144.44901)]. The author gives a proof of this conjecture for any \(p\) and \(n<p(p-1).\) Using Gabber's result on existence of regular alterations the author can prove the conjecture for all \(n\) in the case when the characteristic of the base field is not equal to \(p.\) The consequences of this conjecture especially to study of correspondences between algebraic varieties are also discussed. Assuming that the conjecture holds true for \(n\leq m(p-1),\) given any (possibly singular) variety \(X\) the author constructs for any \(0<i \leq m ,\) a morphism of graded abelian groups: \[ T_{i}: \mathrm{CH}_{\bullet}(X)\otimes {\mathbb Z}/{p} \rightarrow {\widetilde{\mathrm{CH}}}_{{\bullet}-i(p-1)}(X)\otimes {\mathbb Z}/{p} \] \({\widetilde{\mathrm{CH}}}_{{\bullet}}\) denotes here the Chow group modulo torsion. The operations \(T_{i}\) for \(1<i \leq (p-1) \) are constructed unconditionally and for all \(i,\) when the characteristics of the base field is different from \(p.\) The operations \(T_{i}\) for \(i\leq p\) correspond up to sign to the \(i\)-th Steenrod operations modulo \(p\) for \(i\leq p.\) The author proves also some formulas concerning these operations.