[論文レビュー] Ext and the Motivic Steenrod Algebra over $\R$

Michael A. Hill|ArXiv.org|Apr 13, 2009

Algebraic structures and combinatorial models参考文献 6被引用数 8

ひとこと要約

本稿では、ℝ 上のモチーフ的スティーナーディ・代数における Ext 群を計算する降下型 Bocksteinスペクトル系列を導入し、BP⟨n⟩ および ko の古典的計算のモチーフ的類似を可能にする。主な貢献は、モチーフ的 BPGL および koℝ に対する Adams スペクトル系列が E₂ で収束し、隠れた乗法的拡張がないこと、および ρ- torsion-free 要素が生存することを示したことである。これにより、モチーフ的 J-ホモオモルフィズムおよびヘルミート的 K-理論と関連づけられる。

ABSTRACT

We present a descent style, Bockstein spectral sequence computing Ext over the motivic Steenrod algebra over $\R$ and related sub-Hopf algebras. We demonstrate the workings of this spectral sequence in several examples, providing motivic analogues to the classical computations related to BP and ko.

研究の動機と目的

• ℝ 上のモチーフ的 Ext 群を計算するための道具を開発し、古典的代数的トポロジーをモチーフ的設定へと拡張すること。
• 特に実代数的幾何の文脈において、BP⟨n⟩ および ko を含む古典的計算のモチーフ的類似を提供すること。
• モチーフ的 BPGL および koℝ に対する Adams スペクトル系列が E₂ で収束し、隠れた乗法的拡張がないことを確立すること。
• 実化および周期性を介して、結果をモチーフ的 J-ホモオモルフィズムおよびヘルミート的 K-理論と結びつけること。
• ρ- torsion-free 要素が Adams スペクトル系列で生存することを示し、モチーフ的ホモトピー理論における周期的構造の存在を支持すること。

提案手法

• 複素モチーフ的スティーナーディ代数上の Ext を実の場合へと持ち上げる四重次数の Bockstein スペクトル系列を構成する。
• ℝ 上のモチーフ的スティーナーディ代数における不変イデアル (ρ) を用いて、ℂ 上の Ext から ℝ 上の Ext へのフィルトレーションおよびスペクトル系列を定義する。
• 変換則同型を用いて、E(∞) や 𝒜(1) などの部分 Hopf 代数上の Ext を、BPGL および koℝ のコホモロジーと関連付ける。
• 既知の BPℝ の計算を用い、モチーフ的ホモトピー群の ℝ 上のものと Z/2-等化的ものとの比較に実化関手 t: 𝒮ℝ → 𝒮^ℤ/2 を用いる。
• スパarsity 論法および実表現環の構造を用いて、Adams 差分および隠れた拡張を除外する。
• Z/2-等化的設定における ρ とクラス a の同一視を用い、ρ- torsion-free 要素がスペクトル系列で生存することを示す。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、スペクトル系列を用いて ℝ 上のモチーフ的スティーナーディ代数における Ext 群を計算できるか？
• RQ2 ℝ 上で、古典的 BP⟨n⟩ および ko の計算のどのモチーフ的類似が存在するか？
• RQ3 モチーフ的 BPGL および koℝ に対する Adams スペクトル系列に、隠れた乗法的拡張があるか？
• RQ4 特に ρ- torsion-free 要素を通じて、モチーフ的 J-ホモオモルフィズムがこれらの計算から検出可能か？
• RQ5 モチーフ的 BPGL および koℝ のホモトピー群は、ヘルミート的 K-理論および周期性とどのように関係するか？

主な発見

• モチーフ的 BPGL に対する Adams スペクトル系列は、スパarsity および実化関手が Z/2-等化的設定へ埋め込まれることにより、E₂ で収束し、隠れた乗法的拡張がない。
• モチーフ的 koℝ に対しても同様に、Adams スペクトル系列は E₂ で収束し、隠れた拡張がない。また、Adams 差分のすべてのターゲットは ρ で割り切れる。
• v₀(0) は ℝ 上の π₀₀S⁰⁰ における 2 の乗法的演算を検出するが、これは v₀(0) と ρη₀ の和が 2 を表すことに整合的である。
• すべての n および k に対して、クラス ρⁿPᵏ(η) は Adams スペクトル系列で生存する。これは、モチーフ的安定茎に ρ- torsion-free 要素が存在することを示唆する。
• 実化関手 t は ρ を a に、vᵢ(j) を vᵢ(j) に写像し、π∗,∗BPGL が既知の BPℝ のホモトピー群へ埋め込まれることを確認し、拡張の不在を裏付ける。
• 計算は、v₁⁴ を逆数化することで得られる非連結な周期的モチーフ的ヘルミート的 K-理論の存在を支持し、モチーフ的 J-ホモオモルフィズムが ρ- torsion-free であるという証拠を提供する。