特征 via 无限ramification 的动机Steenrod运算

我们构造了在特征 $p$ 下动机上同调的模 $p$ 动机Steenrod运算，使用Nizio\l{}所述定理的动机细化。关键输入是Levine 所建立的动机同调纯度定理。我们的运算满足预期性质（自然性、阿德姆关系和Cartan公式），适用于所有bidegrees，概括了Primozic 以前仅知“Chow对角线”上的结果。我们提供几何应用：1) 特征下非（准）光滑可实现代数循环的例子，2) 特征下动机Steenrod问题的答案，3) 积分型晶体Tate猜想的反例。