On additive higher Chow groups of affine schemes (Q288651): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
This is a sequel to the authors' [Int. Math. Res. Not. 2015, No. 1, 1--54 (2015; Zbl 1349.14020)]. There a commutative differential graded algebra structure was produced for each integer \(m \geq 1\) on the family \(\{TCH^q (X, n; m) \}_{q, n \in \mathbb{N} }\) formed by the additive higher Chow groups of a smooth projective variety \(X\) over a perfect field \(k\) of characteristic \(\neq 2 \). By having \(m\) vary it turns out that one has a projective system of \(DGA\)' s, this was proved to be equipped with Frobenius and Verschiebung operators satisfying all the properties required for the definition of a restricted Witt complex over \(k\), as considered by \textit{L. Hesselholt} and \textit{I. Madsen} [in: Homotopy methods in algebraic topology. Proc. AMS-IMS-SIAM joint summer research conference, Boulder, CO, USA, 1999. Contemp. Math. 271, 127--140 (2001; Zbl 0992.19002)], see also \textit{K. Rülling} [J. Algebr. Geom. 16, No. 1, 109--169 (2007; Zbl 1122.14006)]. In [loc. cit.] a scholium was stated, to the effect that if the moving lemma could be proved to hold for the additive higher groups in case of smooth affine or quasi projective varieties then the main results there would extend also in this setting. Such a moving lemma was announced by \textit{W. Kai} [``A moving lemma for algebraic cycles with modulus and contravariance'', Preprint, \url{arXiv:1507.07619}], whose proof is illustrated for completeness also in the present paper. In this way the authors can continue their program, according to their expectations they show that for a smooth \(k\) scheme \(X = \mathrm{Spec} (R)\) which is essentially of finite type the family \(\{TCH^q (X, n; m) \}_{q, n, m }\,\) has the structure of a restricted Witt complex, both over \(k\) and over \(R\) . Moreover they investigate also certain multivariate additive higher Chow groups \(\{ CH^q(X[r]|D_{\underline {m}},n)\}_{q, n \geq 0}\) with modulus \(\underline{m}= (m_1, \cdots, m_r)\), which are a particular but interesting case of the groups studied by \textit{F. Binda} and \textit{S. Saito} [``Relative cycles with moduli and regulator maps'', Preprint, \url{arXiv:1412.0385}]. It is proved that the multivariate groups form a differential graded module over \(\{TCH^q (X, n; m-1) \}_{q, n \in \mathbb{N} }\,\), with \(m = |{\underline {m}}|\). | |||
Property / review text: This is a sequel to the authors' [Int. Math. Res. Not. 2015, No. 1, 1--54 (2015; Zbl 1349.14020)]. There a commutative differential graded algebra structure was produced for each integer \(m \geq 1\) on the family \(\{TCH^q (X, n; m) \}_{q, n \in \mathbb{N} }\) formed by the additive higher Chow groups of a smooth projective variety \(X\) over a perfect field \(k\) of characteristic \(\neq 2 \). By having \(m\) vary it turns out that one has a projective system of \(DGA\)' s, this was proved to be equipped with Frobenius and Verschiebung operators satisfying all the properties required for the definition of a restricted Witt complex over \(k\), as considered by \textit{L. Hesselholt} and \textit{I. Madsen} [in: Homotopy methods in algebraic topology. Proc. AMS-IMS-SIAM joint summer research conference, Boulder, CO, USA, 1999. Contemp. Math. 271, 127--140 (2001; Zbl 0992.19002)], see also \textit{K. Rülling} [J. Algebr. Geom. 16, No. 1, 109--169 (2007; Zbl 1122.14006)]. In [loc. cit.] a scholium was stated, to the effect that if the moving lemma could be proved to hold for the additive higher groups in case of smooth affine or quasi projective varieties then the main results there would extend also in this setting. Such a moving lemma was announced by \textit{W. Kai} [``A moving lemma for algebraic cycles with modulus and contravariance'', Preprint, \url{arXiv:1507.07619}], whose proof is illustrated for completeness also in the present paper. In this way the authors can continue their program, according to their expectations they show that for a smooth \(k\) scheme \(X = \mathrm{Spec} (R)\) which is essentially of finite type the family \(\{TCH^q (X, n; m) \}_{q, n, m }\,\) has the structure of a restricted Witt complex, both over \(k\) and over \(R\) . Moreover they investigate also certain multivariate additive higher Chow groups \(\{ CH^q(X[r]|D_{\underline {m}},n)\}_{q, n \geq 0}\) with modulus \(\underline{m}= (m_1, \cdots, m_r)\), which are a particular but interesting case of the groups studied by \textit{F. Binda} and \textit{S. Saito} [``Relative cycles with moduli and regulator maps'', Preprint, \url{arXiv:1412.0385}]. It is proved that the multivariate groups form a differential graded module over \(\{TCH^q (X, n; m-1) \}_{q, n \in \mathbb{N} }\,\), with \(m = |{\underline {m}}|\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Alberto Collino / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14C25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13F35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 19E15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6586168 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
algebraic cycle | |||
Property / zbMATH Keywords: algebraic cycle / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
additive higher Chow group | |||
Property / zbMATH Keywords: additive higher Chow group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Witt vectors | |||
Property / zbMATH Keywords: Witt vectors / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
de Rham-Witt complex | |||
Property / zbMATH Keywords: de Rham-Witt complex / rank | |||
Normal rank |
Revision as of 20:15, 27 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On additive higher Chow groups of affine schemes |
scientific article |
Statements
On additive higher Chow groups of affine schemes (English)
0 references
27 May 2016
0 references
This is a sequel to the authors' [Int. Math. Res. Not. 2015, No. 1, 1--54 (2015; Zbl 1349.14020)]. There a commutative differential graded algebra structure was produced for each integer \(m \geq 1\) on the family \(\{TCH^q (X, n; m) \}_{q, n \in \mathbb{N} }\) formed by the additive higher Chow groups of a smooth projective variety \(X\) over a perfect field \(k\) of characteristic \(\neq 2 \). By having \(m\) vary it turns out that one has a projective system of \(DGA\)' s, this was proved to be equipped with Frobenius and Verschiebung operators satisfying all the properties required for the definition of a restricted Witt complex over \(k\), as considered by \textit{L. Hesselholt} and \textit{I. Madsen} [in: Homotopy methods in algebraic topology. Proc. AMS-IMS-SIAM joint summer research conference, Boulder, CO, USA, 1999. Contemp. Math. 271, 127--140 (2001; Zbl 0992.19002)], see also \textit{K. Rülling} [J. Algebr. Geom. 16, No. 1, 109--169 (2007; Zbl 1122.14006)]. In [loc. cit.] a scholium was stated, to the effect that if the moving lemma could be proved to hold for the additive higher groups in case of smooth affine or quasi projective varieties then the main results there would extend also in this setting. Such a moving lemma was announced by \textit{W. Kai} [``A moving lemma for algebraic cycles with modulus and contravariance'', Preprint, \url{arXiv:1507.07619}], whose proof is illustrated for completeness also in the present paper. In this way the authors can continue their program, according to their expectations they show that for a smooth \(k\) scheme \(X = \mathrm{Spec} (R)\) which is essentially of finite type the family \(\{TCH^q (X, n; m) \}_{q, n, m }\,\) has the structure of a restricted Witt complex, both over \(k\) and over \(R\) . Moreover they investigate also certain multivariate additive higher Chow groups \(\{ CH^q(X[r]|D_{\underline {m}},n)\}_{q, n \geq 0}\) with modulus \(\underline{m}= (m_1, \cdots, m_r)\), which are a particular but interesting case of the groups studied by \textit{F. Binda} and \textit{S. Saito} [``Relative cycles with moduli and regulator maps'', Preprint, \url{arXiv:1412.0385}]. It is proved that the multivariate groups form a differential graded module over \(\{TCH^q (X, n; m-1) \}_{q, n \in \mathbb{N} }\,\), with \(m = |{\underline {m}}|\).
0 references
algebraic cycle
0 references
additive higher Chow group
0 references
Witt vectors
0 references
de Rham-Witt complex
0 references