Moving lemma for additive higher Chow groups

From MaRDI portal



Abstract: We prove moving lemma for additive higher Chow groups of smooth projective varieties. As applications, we prove the very general contravariance property of additive higher Chow groups. Using the moving lemma, we establish the structure of graded-commutative differential graded algebra (CDGA) on these groups.


Let \(X\) be a smooth projective variety over a field \(k\) and let \(TH^q(X;n;m)\) be the additive higher Chow groups, as defined in [\textit{A. Krishna} and \textit{M. Levine}, J. Reine Angew. Math. 619, 75--140 (2008; Zbl 1158.14009)]. The main goal of this paper is to prove a moving lemma for these additive higher Chow groups. Additive higher Chow groups are expected to complement higher Chow groups for non reduced schemes, so as to obtain the right motivic cohomology groups. In particular, for a smooth projective variety \(X\) one expects an Atiyah-Hirzebruch spectral sequence \[ TH^{-q}(X, -p-q; m)\Rightarrow K^{\mathrm{nil}}_{-p-q}(X; m) \] where \(K^{\mathrm{nil}}_{-p-q}(X; m)\) is the homotopy fiber of the restriction map \[ K(X\times\text{Spec}(k(t))\to K(X\times\text{Spec\,} k[t]/(t^{m+1})). \] The main result of this paper is the following moving lemma, which is the additive analogue of the moving lemma for higher Chow groups, as proved by Bloch and Levine. Theorem 1. For a smooth projective variety \(X\) and a finite collection \({\mathcal W}\) of its locally closed algebraic sets, every additive higher Chow cycle is congruent to an admissible cycle intersecting properly all members of \({\mathcal W}\) times faces. In other words, the inclusion of complexes \[ TZ^q_{{\mathcal W}}(X,-; m)\to TZ^q(X,-; m) \] is a quasi-isomorphism. As an application of their moving lemma the authors prove the following contravariant property for additive higher Chow groups. Theorem 2. For a morphism \(f: X\to Y\) of quasi-projective varieties over a field \(k\), where \(Y\) is smooth and projective, there is a pull-back map \[ f^*: TH^q(Y, n;m)\to T^q(X, n;m) \] satisfying the expected composition law. The moving lemma can be applied to construct a triangulated category \({\mathcal D}{\mathcal M}(k;m)\) of mixed motives over \(k[t]/(t^{m+1})\), which extends the category constructed by \textit{M. Hanamura} [Invent. Math. 158, No. 1, 105--179 (2004; Zbl 1068.14022)].











This page was built for publication: Moving lemma for additive higher Chow groups

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