[论文解读] Reduced power operations in motivic cohomology

Vladimir Voevodsky|ArXiv.org|Jul 15, 2001

Algebraic Geometry and Number Theory参考文献 3被引用 6

一句话总结

本论文为特征不等于 l 的域 k 上的 motivic 上同调构造了 ℤ/l-系数的约化幂运算，证明了其 motivic 版本的 Cartan 公式与 Adem 关系。对于奇素数 l，运算代数同构于拓扑 Steenrod 代数与点的 motivic 上同调的扭曲张量积；而对于 l=2，关系式中涉及来自 motivic 上同调环的非平凡系数。

ABSTRACT

In this paper we construct an analog of Steenrod operations in motivic cohomology and prove their basic properties including the Cartan formula, the Adem relations and the realtions to characteristic classes.

研究动机与目标

• 为特征 ≠ l 的域 k 上的 motivic 上同调定义并研究 ℤ/l-系数的约化幂运算。
• 建立这些运算的 motivic 版本的 Cartan 公式与 Adem 关系。
• 描述由约化幂运算、Bockstein 同态以及对 Spec(k) 的 motivic 上同调类的乘法生成的代数结构。
• 澄清 motivic Steenrod 代数及其对偶的结构，特别是当 l=2 时，Adem 关系中出现来自 H^{*,*} 的系数。
• 纠正并重新推导先前工作（如 [9]）中的关键结果，特别是关于运算 Q_i 及其通过 k 中存在 √−1 的定义。

提出的方法

• 通过类从对称群的分类空间的上同调构造总幂运算，方法受 [7] 启发。
• 将 motivic Thom 同构与向量丛的欧拉类作为计算的核心工具。
• 应用对称性定理与对偶 motivic Steenrod 代数上的共乘法结构来分析运算。
• 利用 Bμ_l 与 BS_l 的 motivic 上同调推导运算之间的关系。
• 使用标准投影 P(O ⊕ L) → Th(L) 将 t_L 与 σ 和 e(L) 关联，从而计算运算 ϕ 对 t_L 的作用 ϕ(t_L)。
• 应用分裂原理与单项式基分析来计算特征类 c_ρ(E,R)(V)，并验证 P(R)(t_{L_1} ∧ ⋯ ∧ t_{L_m}) 的公式。

实验结果

研究问题

• RQ1 在 ℤ/l-系数的 motivic 上同调中，约化幂运算 P^i 的 motivic 类比是什么？
• RQ2 Cartan 公式与 Adem 关系在 motivic 设置下如何推广？
• RQ3 由约化幂运算、Bockstein 同态以及对点的 motivic 上同调类的乘法生成的代数结构是怎样的？
• RQ4 为何当 l=2 时，Adem 关系中涉及来自 H^{*,*} 的非平凡系数，而奇素数 l 的情况并非如此？
• RQ5 如何修正 [9] 中对运算 Q_i 的归纳定义？当 k 中不包含 −1 的平方根时，正确的构造方法是什么？

主要发现

• 对于奇素数 l，双稳定上同调运算代数同构于拓扑 Steenrod 代数与 H^{*,*}(Spec(k), ℤ/l) 的扭曲张量积，运算在 H^{*,*} 上的作用定义了该扭曲。
• 对于 l=2，Adem 关系中涉及来自 H^{*,*} 的非平凡系数，反映出 motivic Steenrod 代数更复杂的结构。
• 运算 q_n 满足：对任意线丛 L，有 q_n(t_L) = e(L)^{l^n - 1} t_L；对 w ∈ H^{2,1}(X, ℤ/l) 且可提升至 H^{2,1}(X, ℤ)，有 q_n(w) = w^{l^n}。
• 当 E ≠ 0 时，运算 ρ(E,R) 在 c_ρ(E,R)(V) 上为零，此时特征类 c_ρ(E,R)(V) 也为零。
• 总幂运算 P(R) 作用于 t_{L_1} ∧ ⋯ ∧ t_{L_m} 的公式为：对所有函数 f: {1,…,m} → ℕ 的求和，其中 f 取值 i 恰好 r_i 次，系数包含 e(L_j)^{l^{f(j)} - 1}。
• 本文纠正了 [9] 中的错误，表明 Q_i 的归纳定义仅在 k 包含 √−1 时成立，并提供了这些运算的新且正确的构造。