Motivic Steenrod algebra and Thom obstructions without desingularization
We give a desingularization-free proof of Voevodsky's identification of bistable mod-$\ell$ motivic cohomology operations with the motivic Steenrod algebra over fields of characteristic zero. This supplies the direct argument anticipated by Voevodsky in his study of motivic Eilenberg--MacLane spaces. As an application,...