Equivariant cycles and cancellation for motivic cohomology (Q273494): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / author | |||
Property / author: Jeremiah Heller / rank | |||
Normal rank | |||
Property / review text | |||
In this foundational paper the authors establish the computational basis for one form of equivariant motivic cohomology. More precisely, they give a definition of \textit{motivic Bredon cohomology} modeled in a natural way on the non-equivariant definition, and establish ``the usual results''. In somewhat more detail, given a group \(G\), the authors define the category of presheaves with \(G\)-equivariant transfers over a field \(k\). These are presheaves on the category of smooth \(k\)-schemes with a \(G\)-action, but where morphisms are the equivariant finite correspondences. On the category of smooth \(G\)-schemes there is the equivariant Nisnevich topology (which is to be distinguished from the fixed-point Nisnevich topology). Given a \(k\)-representation \(V\) of \(G\), the authors make the expected definition \(H^*_G(X, \mathbb{Z}(V)) = H^*_{GNis}(X, C_* \mathbb{Z}(V))\), where \(C_*\) denotes the \(\mathbb{A}^1\)-chain complex and \(\mathbb{Z}(V) = \mathbb{Z}_{tr} \mathbb{P}(V \oplus 1)/\mathbb{P}(V)[-2\dim{V}]\). Under good conditions, this definition satisfies all the usual properties, in particular homotopy invariance and cancellation. (Here ``good conditions'' is fairly restrictive compared to the setup above, in particular the authors need to assume that \(G = (\mathbb{Z}/2)^n\) for the strongest results.) The proofs are adaptations of those of Suslin-Voevodsky. Those adaptations are by no means trivial, and the entire paper is highly technical. | |||
Property / review text: In this foundational paper the authors establish the computational basis for one form of equivariant motivic cohomology. More precisely, they give a definition of \textit{motivic Bredon cohomology} modeled in a natural way on the non-equivariant definition, and establish ``the usual results''. In somewhat more detail, given a group \(G\), the authors define the category of presheaves with \(G\)-equivariant transfers over a field \(k\). These are presheaves on the category of smooth \(k\)-schemes with a \(G\)-action, but where morphisms are the equivariant finite correspondences. On the category of smooth \(G\)-schemes there is the equivariant Nisnevich topology (which is to be distinguished from the fixed-point Nisnevich topology). Given a \(k\)-representation \(V\) of \(G\), the authors make the expected definition \(H^*_G(X, \mathbb{Z}(V)) = H^*_{GNis}(X, C_* \mathbb{Z}(V))\), where \(C_*\) denotes the \(\mathbb{A}^1\)-chain complex and \(\mathbb{Z}(V) = \mathbb{Z}_{tr} \mathbb{P}(V \oplus 1)/\mathbb{P}(V)[-2\dim{V}]\). Under good conditions, this definition satisfies all the usual properties, in particular homotopy invariance and cancellation. (Here ``good conditions'' is fairly restrictive compared to the setup above, in particular the authors need to assume that \(G = (\mathbb{Z}/2)^n\) for the strongest results.) The proofs are adaptations of those of Suslin-Voevodsky. Those adaptations are by no means trivial, and the entire paper is highly technical. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Tom Bachmann / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14F42 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 19E15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14C15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55N91 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6572154 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
equivariant motivic cohomology | |||
Property / zbMATH Keywords: equivariant motivic cohomology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Bredon motivic cohomology | |||
Property / zbMATH Keywords: Bredon motivic cohomology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cancellation theorem | |||
Property / zbMATH Keywords: cancellation theorem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
homotopy invariance | |||
Property / zbMATH Keywords: homotopy invariance / rank | |||
Normal rank |
Revision as of 17:01, 27 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Equivariant cycles and cancellation for motivic cohomology |
scientific article |
Statements
Equivariant cycles and cancellation for motivic cohomology (English)
0 references
22 April 2016
0 references
In this foundational paper the authors establish the computational basis for one form of equivariant motivic cohomology. More precisely, they give a definition of \textit{motivic Bredon cohomology} modeled in a natural way on the non-equivariant definition, and establish ``the usual results''. In somewhat more detail, given a group \(G\), the authors define the category of presheaves with \(G\)-equivariant transfers over a field \(k\). These are presheaves on the category of smooth \(k\)-schemes with a \(G\)-action, but where morphisms are the equivariant finite correspondences. On the category of smooth \(G\)-schemes there is the equivariant Nisnevich topology (which is to be distinguished from the fixed-point Nisnevich topology). Given a \(k\)-representation \(V\) of \(G\), the authors make the expected definition \(H^*_G(X, \mathbb{Z}(V)) = H^*_{GNis}(X, C_* \mathbb{Z}(V))\), where \(C_*\) denotes the \(\mathbb{A}^1\)-chain complex and \(\mathbb{Z}(V) = \mathbb{Z}_{tr} \mathbb{P}(V \oplus 1)/\mathbb{P}(V)[-2\dim{V}]\). Under good conditions, this definition satisfies all the usual properties, in particular homotopy invariance and cancellation. (Here ``good conditions'' is fairly restrictive compared to the setup above, in particular the authors need to assume that \(G = (\mathbb{Z}/2)^n\) for the strongest results.) The proofs are adaptations of those of Suslin-Voevodsky. Those adaptations are by no means trivial, and the entire paper is highly technical.
0 references
equivariant motivic cohomology
0 references
Bredon motivic cohomology
0 references
cancellation theorem
0 references
homotopy invariance
0 references