[论文解读] A New Definition of the Steenrod Operations in Algebraic Geometry

Alex Boisvert|ArXiv.org|May 9, 2008

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

一句话总结

本文针对任意素数 p 及特征 ≠ p 的域，在代数几何的 Chow 理论中，通过 μp 作用与 Rost 的构造，提出了一种新的、直接的 mod p Steenrod 算子的定义。关键贡献在于一个避免使用等变 Chow 群与 motivic 上同调的公式，直接通过商概形与主齐性丛定义算子，并证明其与 Brosnan 早期定义一致，同时建立了基本性质，如 Cartan 公式与投影公式。

ABSTRACT

The Steenrod operations (mod p) in Chow theory are defined for any prime p for a quasi-projective scheme, without appealing to the results of any domain but Milnor's K-theory. The new definition also gives a direct formula that depends only on the scheme itself. Additionally, basic properties of the operations are proved from the new definition. The idea is based on a construction of M. Rost.

研究动机与目标

• 为任意素数 p 提供 Chow 理论中 Steenrod 算子的直接、初等定义，独立于 motivic 上同调或等变 Chow 群。
• 消除对嵌入光滑簇及基域中 p 次单位根的依赖，这些在早期构造中造成了困扰。
• 仅通过概形结构与 μp-群作用定义算子，确保自然性与函子性。
• 证明新定义满足关键性质，如 Cartan 公式、投影公式及与乘积的相容性。
• 建立一个可计算的公式，使其与 Brosnan 的构造等价。

提出的方法

• 通过其坐标环的 Z/pZ-分次结构定义概形 X 上的 μp-作用，从而构造固定点概形 X^G 与商概形 X/G。
• 以 Rost 算子 ρ_i^W 作为基本构件，其通过边界映射与关联于 W∖W^G 的主齐性丛定义，系数取自商概形上的典范线丛。
• 构造一个映射 P_X: CH(X) → CH((R^p(X)∖X)/G)，其模仿 Brosnan 的 P^n_G，适用于任意概形 X 的 R^p(X) 构造。
• 将 Steenrod 算子 S_k^X 定义为包含 Rost 算子 ρ_{(p-1)(n+k)} 与映射 P_X 的复合，附带符号修正。
• 利用 R^p(X)^G = X 的事实，确保算子值落在 CH_*(X)/p 中，从而使定义完全内蕴于 X。
• 通过形变技巧与等变 Chow 理论中的转移映射，证明函子性与乘积相容性。

实验结果

研究问题

• RQ1 能否在不依赖 motivic 上同调或等变 Chow 群的前提下定义 Chow 理论中的 Steenrod 算子？
• RQ2 是否存在一个仅依赖于概形结构与 μp-作用的直接公式来定义 Steenrod 算子？
• RQ3 新算子是否满足 Cartan 公式与投影公式？
• RQ4 新算子是否与 Brosnan 的构造等价？若等价，在何种条件下成立？
• RQ5 能否显式计算这些算子，特别是在光滑概形的情形下？

主要发现

• 新定义的 Steenrod 算子独立于嵌入光滑簇，且不需基域中包含 p 次单位根。
• 算子通过 Rost 算子与仅依赖于概形 X 及其 μp-作用的映射 P_X 的复合来定义。
• 算子满足 Cartan 公式：对所有 γ, δ ∈ Ch(X)，有 S_X(γ·δ) = S_X(γ)·S_X(δ)。
• 投影公式成立：对任意光滑概形间的态射 f: Y → X，有 f^*∘S_X = S_Y∘f^*。
• 对光滑概形 X 及 δ ∈ Ch^k(X)，有 S_X^r(δ) = δ（若 r=0），δ^p（若 r=k），其余情况为 0。
• 推论 6.5 中的显式计算表明，新算子与 Brosnan 的构造一致，确认了其一致性。