Delphi.science

Motivic Steenrod algebra and Thom obstructions without desingularization

Jiahao Hu

arXivarxiv/2609.14128Sep 12, 2026math.AGscore 0

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, we study Thom's topological obstructions to desingularization, which arose in his work on the Steenrod realization problem. Without invoking desingularization, we prove that the primary and all higher Thom obstructions vanish on complex algebraic cycles. The proof uses the…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2609.14128
curl -X POST /api/v1/records/arxiv/2609.14128/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.14128/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'