[論文レビュー] Reduced power operations in motivic cohomology

Vladimir Voevodsky|ArXiv.org|Jul 15, 2001

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

ひとこと要約

本稿は、特徴が l でない素数 l である体 k に対して、ℤ/l-係数 motivic コホロロジーにおける簡約化されたべき演算を構成し、Cartan の公式およびアデム関係式の motivic 同型を証明する。奇数 l の場合、演算の代数は、トポロジカルなスティーネロード代数と点の 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.

研究の動機と目的

• 体 k に対して特徴が l でない素数 l であるとき、ℤ/l-係数 motivic コホロロジーにおける簡約化されたべき演算を定義し、それらを研究すること。
• これらの演算に対して、motivic コホロロジーにおける Cartan の公式およびアデム関係式の motivic 同型を確立すること。
• 簡約化されたべき演算、ボクシュタイン準同型、および Spec(k) の motivic コホロロジー類による乗法の生成する代数の構造を記述すること。
• 特に l=2 の場合にアデム関係式に H^{*,*} からの係数が現れる理由を含め、motivic スティーネロード代数およびその双対の構造を明確にすること。
• 特に、√−1 が k に存在するかどうかに依存する操作 Q_i の定義に関して、先行研究（例：[9]）における主要な結果の是正と再導出を行うこと。

提案手法

• 対称群の分類空間のコホロロジーを用いて総べき演算を構成し、[7] にインspired された手法に従う。
• 計算の中心的道具として、motivic ツォム同型とベクトルバンドルのオイラー類を用いる。
• 双対 motivic スティーネロード代数の対加法構造と対称性定理を用いて、演算を分析する。
• Bμ_l および BS_l の motivic コホロロジーを用いて、演算間の関係を導出する。
• 標準的射影 P(O ⊕ L) → Th(L) を用い、t_L を σ および e(L) に関連づけ、演算 ϕ に対して ϕ(t_L) を計算可能にする。
• 分割原理と単項式基底解析を用いて、特性類 c_ρ(E,R)(V) を計算し、P(R)(t_{L_1} ∧ ⋯ ∧ t_{L_m}) の公式を検証する。

実験結果

リサーチクエスチョン

• RQ1 ℤ/l-係数 motivic コホロロジーにおける簡約化されたべき演算 P^i の motivic 同型は何か？
• RQ2 Cartan の公式およびアデム関係式は、motivic 設定においてどのように一般化されるか？
• RQ3 簡約化されたべき演算、ボクシュタイン準同型、および点の motivic コホロロジー類による乗法の生成する代数の構造は何か？
• RQ4 l=2 の場合、なぜアデム関係式に H^{*,*} からの非自明な係数が現れるのか、奇数 l の場合とは異なるのはなぜか？
• RQ5 k に −1 の平方根が存在しない場合、[9] における操作 Q_i の帰納的定義はどのように是正され、適切な構成は何か？

主な発見

• 奇数 l の場合、双安定なコホロロジー的演算の代数は、トポロジカルなスティーネロード代数と H^{*,*}(Spec(k), ℤ/l) のねじれテンソル積に同型であり、H^{*,*} への演算の作用がねじれを定義する。
• l=2 の場合、アデム関係式に H^{*,*} からの非自明な係数が現れ、motivic スティーネロード代数のより複雑な構造を反映している。
• 演算 q_n は、線分バンドル L に対して q_n(t_L) = e(L)^{l^n - 1} t_L を満たし、w ∈ H^{2,1}(X, ℤ/l) で ℤ に引き上げられるものに対しては q_n(w) = w^{l^n} である。
• 任意のベクトルバンドル V に対して、E ≠ 0 のとき演算 ρ(E,R) は c_ρ(E,R)(V) に消えるし、この場合特性類 c_ρ(E,R)(V) はゼロである。
• t_{L_1} ∧ ⋯ ∧ t_{L_m} 上での総べき演算 P(R) の公式は、各 i にちょうど r_i 回値 i をとる関数 f: {1,…,m} → ℕ に関する和として与えられ、係数には e(L_j)^{l^{f(j)} - 1} が現れる。
• 本稿では、[9] における誤りを是正し、k に √−1 が存在しない限り Q_i の帰納的定義は無効であることを示し、k が −1 の平方根を持たない場合の正しい新しい構成を提供する。