Let S be an essentially smooth scheme over a field and ℓ ≠D char S a prime number. We show that the algebra of bistable operations in the mod ℓ motivic cohomology of smooth S-schemes is generated by the motivic Steenrod operations. This was previously proved by Voevodsky for S a field of characteristic zero. We follow Voevodsky's proof but remove its dependence on characteristic zero by using életale cohomology instead of topological realization and by replacing resolution of singularities with a theorem of Gabber on alterations.
The motivic Steenrod algebra in positive characteristic / M. Hoyois, S. Kelly, P.A. Oestvaer. - In: JOURNAL OF THE EUROPEAN MATHEMATICAL SOCIETY. - ISSN 1435-9855. - 19:12(2017), pp. 3813-3849. [10.4171/JEMS/754]
The motivic Steenrod algebra in positive characteristic
P.A. Oestvaer
2017
Abstract
Let S be an essentially smooth scheme over a field and ℓ ≠D char S a prime number. We show that the algebra of bistable operations in the mod ℓ motivic cohomology of smooth S-schemes is generated by the motivic Steenrod operations. This was previously proved by Voevodsky for S a field of characteristic zero. We follow Voevodsky's proof but remove its dependence on characteristic zero by using életale cohomology instead of topological realization and by replacing resolution of singularities with a theorem of Gabber on alterations.File | Dimensione | Formato | |
---|---|---|---|
1305.5690.pdf
accesso aperto
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
459.85 kB
Formato
Adobe PDF
|
459.85 kB | Adobe PDF | Visualizza/Apri |
JEMS-2017-019-012-08.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
315.6 kB
Formato
Adobe PDF
|
315.6 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.