[論文レビュー] On the algebraic cobordism spectra MSL and MSp

Ivan Panin, Charles Walter|arXiv (Cornell University)|Nov 2, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 27

ひとこと要約

本稿は、対称 T^∧2-スペクトルの圏における可換モノイドとして代数的コボルディズムスペクトル MSL と MSp を構成し、MSp がモチビック安定ホモトピー圏においてシンプレクティックに向き付けられたコホモロジー理論の普遍的対象であることを確立する。主な結果は、MSp から終域 A への可換モノイドの準同型の集合と、A 上の同型的シンプレクティックティモクラスの列との間に自然な全単射が存在することであり、これにより MSp の普遍性が証明される。

ABSTRACT

We construct algebraic cobordism spectra MSL and MSp. They are commutative monoids in the category of symmetric T^{2}- spectra. The spectrum MSp comes with a natural symplectic orientation given either by a tautological Thom class th^{MSp} in MSp^{4,2}(MSp_{2}), a tautological Borel class b_{1}^{MSp} in MSp^{4,2}(HP^{\infty}) or any of six other equivalent structures. For a commutative monoid E in the category SH(S) we prove that assignment g -> g(th^{MSp}) identifies the set of homomorphisms of monoids g : MSp -> E in the motivic stable homotopy category SH(S) with the set of tautological Thom elements of symplectic orientations of E. A weaker universality result is obtained for MSL and special linear orientations.

研究の動機と目的

• 対称 T^∧2-スペクトルの圏における可換モノイドとして、代数的コボルディズムスペクトル MSL と MSp を構成すること。
• モチビック安定ホモトピー圏 SH(S) において、MSp がシンプレクティックに向き付けられたコホモロジー理論の普遍的対象であることを確立すること。
• SH(S) 内の可換モノイド A への準同型 φ: MSp → A と、A 上の同型的シンプレクティックティモクラスの列との間に自然な全単射が存在することを証明すること。
• 代数的コボルディズムにおける特殊線形およびシンプレクティック向きのためのホモトピー的枠組みを提供し、ヴェドヴォスキーの MGL の構成を拡張すること。

提案手法

• Sp_{2n} と Σ_n ⊂ Sp_{2n} の作用が整合的であるように、BSp_{2n} と MSp_n を用いて MSp を構成し、対称 T^∧2-スペクトル構造を保証する。
• MSp_2 におけるティモクラス th^MSp ∈ MSp^{4,2}(MSp_2) あるいは同値に HP^∞ 上のボレルクラス b_1^MSp ∈ MSp^{4,2}(HP^∞) を用いて、MSp に同型的シンプレクティック向きを与える。
• クaternion的射影バンドル定理を用いて BSp_{2r} と MSp_{2r} のコホモロジーを計算し、A^{*,*}(MSp) 内の逆極限計算を可能にする。
• 自然な写像 A^{0,0}(MSp) → lim^1 A^{4r,2r}(MSp_{2r}) が同型であることを証明し、準同型の分類における障害項を排除する。
• 対称 T^∧2-スペクトルの普遍性を用いて、写像 φ ↦ φ(th^MSp) が可換モノイドの準同型とシンプレクティックティモクラスの間の全単射を誘導することを示す。
• 逆系の構造と接続写像の上への性質を用いて、lim^1 項が消えることを示し、A^{*,*}(MSp) ≅ A^{*,*}(pt)[[b_1,b_2,...]]^hom という同型を得る。

実験結果

リサーチクエスチョン

• RQ1 モチビックホモトピー理論において、シンプレクティック向きのための普遍的代数的コボルディズムスペクトルは存在するか？
• RQ2 MSp の構成は、対称 T^∧2-スペクトルにおける可換モノイド構造に拡張可能か？
• RQ3 準同型 φ: MSp → A をその同型的ティモクラスの引き戻し φ(th^MSp) に写す写像が、A 上のシンプレクティック向きと自然な全単射をなすか？
• RQ4 逆極限構造は、シンプレクティックに向き付けられたコホモロジー理論における A^{*,*}(MSp) の計算にどのような役割を果たすか？
• RQ5 ヘルミート K-理論やウィット群といった既知の理論において、障害群 lim^1 A^{2n-1,n}(MSL_n^{⟨n⟩}) および lim^1 A^{8r-1,4r}(MSp_{2r} ∧ MSp_{2r}) は消えるか？

主な発見

• スペクトル MSp は、対称 T^∧2-スペクトルの圏における可換モノイドであり、MSp_2 における同型的ティモクラス th^MSp ∈ MSp^{4,2}(MSp_2) によって自然なシンプレクティック向きを持つ。
• SH(S) 内の可換モノイドの準同型 φ: MSp → A と、シンプレクティック向きの普遍性を満たす同型的シンプレクティックティモクラスの列 (θ_1, θ_2, ...) の間には自然な全単射が存在する。
• MSp のコホモロジーは A^{*,*}(MSp) ≅ lim^1 A^{*,*}(MSp_{2r}) ≅ A^{*,*}(pt)[[b_1, b_2, ...]]^hom を満たし、接続写像の上への性質により lim^1 項が消える。
• MSp ∧ MSp の場合にも同様の結果が成り立ち、A^{*,*}(MSp ∧ MSp) ≅ A^{*,*}(pt)[[b'_1, b'_2, ..., b''_1, b''_2, ...]]^hom が成り立つ。
• 準同型 φ がモノイド準同型であるための障害は消える。なぜなら、写像 A^{0,0}(MSp ∧ MSp) → lim^1 A^{8r,4r}(MSp_{2r} ∧ MSp_{2r}) が同型であるからである。
• MSL については、弱い普遍性の結果が成り立つ：準同型 φ: MSL → A は、lim^1 障害を除いて特殊線形向きに対応し、その障害は Hom_{SH(S)}(MSL ∧ MSL, A) の部分群に属する。