[論文レビュー] Comparison of cobordism theories

Marc Levine|ArXiv.org|Jul 14, 2008

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

ひとこと要約

この論文は、特徴量がゼロの体上のすべての準射影的多様体について、代数的コボルディズム $Ω_*$ が $τ_{’}^{\text{MGL}}_{2*,*}$ に同型であることを示している。これはホップ・モレルのスペクトル系列と次元に関する帰納法を用いて達成され、同型は自然であり、既知の体上の同型を拡張するもので、代数的コボルディズムがこの設定における普遍的な向き付きのボレル・ムーアホモロジー理論であることを確認する。

ABSTRACT

Relying on results of Hopkins-Morel, we show that, for $X$ a quasi-projective variety over a field of characteristic zero, the canonical map $Ω_n(X) o MGL_{2n,n}'(X)$ is an isomorphism. Here $Ω_*(X)$ is the theory of algebraic cobordism defined by Levine-Morel, and $MGL_{*,*}'$ is the Borel-Moore homology version of the theory of algebraic cobordism defined via the algebraic Thom complex in the Morel-Voevodsky motivic stable homotopy category.

研究の動機と目的

• 特徴量がゼロの体上のすべての準射影的多様体へ、代数的コボルディズムと $τ^{ ext{MGL}}_{2*,*}$ 間の既知の同型を拡張すること。
• 自然変換 $τ_{’}^{ ext{MGL}}: Ω_* \to \operatorname{MGL}'_{2*,*}$ が準射影的 $k$-スキームの圏上で同型であることを確立すること。
• 次元に関する帰納法を用い、モチーフコホモロジーにおける局所化系列と境界写像を用いてこれを証明すること。
• ホップ・モレルのスペクトル系列を活用して、$k$ 上の有限生成な体 $F$ に対して $τ^{ ext{MGL}}_{2n,n}(F)$ および $τ^{ ext{MGL}}_{2n-1,n}(F)$ の生成元を計算すること。
• $τ^{ ext{MGL}}_{*,*}$-理論における境界写像を引き上げる幾何的除数類写像を $Ω_*$ に定義し、同型と整合性を保つこと。

提案手法

• $F$ が $k$ 上の有限生成な体である場合に、$τ^{ ext{MGL}}_{2n,n}(F)$ および $τ^{ ext{MGL}}_{2n-1,n}(F)$ の生成元を計算するために、ホップ・モレルのスペクトル系列 $E^{p,q}_2(n) = H^{p-q,n-q}(F) \otimes \mathbb{L}^q \Rightarrow \operatorname{MGL}^{p+q,n}(F)$ を用いる。
• 多様体 $X$ の次元に関する帰納法を適用し、局所化系列を用いて同型の主張を低次元のストラトムに還元する。
• 吹き上げと引き戻しを用いて、残渣体内の単元に関連するクラスを定義するための幾何的除数写像 ${\rm div}^\Omega_i: \mathbb{Z}[k(x_i)^\times] \otimes \mathbb{L}_*$ を構成する。
• ギジン系列と押し出しの自然性を用いて、除数写像が $τ^{ ext{MGL}}_{*,*}$-理論における境界写像と整合することを保証する。
• 除数写像が $Ω_*$ におけるものと $τ^{ ext{MGL}}_{*,*}$-理論における境界写像を結ぶ重要な図式 (6.1) の可換性を検証し、変換の単射性を証明する。
• ホップ・モレルのスペクトル系列の存在に依存しており、その完全な構成が完了している前提として結果を扱う。

実験結果

リサーチクエスチョン

• RQ1 特徴量がゼロの体上のすべての準射影的多様体について、自然変換 $\vartheta_{\text{MGL}'}: \Omega_* \to \operatorname{MGL}'_{2*,*}$ は同型であるか？
• RQ2 体上での代数的コボルディズムと $τ^{ ext{MGL}}_{2*,*}$ 間の同型は、次元に関する帰納法を用いて、すべての準射影的スキームへ拡張可能か？
• RQ3 $τ^{ ext{MGL}}_{*,*}$-理論における境界写像は、$Ω_*$ における幾何的除数類とどのように関係するか？
• RQ4 ホップ・モレルのスペクトル系列は、有限生成体 $F$ に対して $τ^{ ext{MGL}}_{2n,n}(F)$ および $τ^{ ext{MGL}}_{2n-1,n}(F)$ のホモロジー群を計算するために果たす役割は何か？
• RQ5 $τ^{ ext{MGL}}_{*,*}$-理論における境界写像を引き上げる幾何的除数類写像を $Ω_*$ に構成可能か？ また、押し出しと整合性を保つことができるか？

主な発見

• 特徴量がゼロの体 $k$ 上のすべての準射影的 $k$-スキームについて、自然変換 $\vartheta_{\text{MGL}'}: \Omega_* \to \operatorname{MGL}'_{2*,*}$ は同型である。
• 同型は次元に関する帰納法を用いて確立され、$\Omega_*$ の局所化系列の右完全性と境界写像との整合性が利用されている。
• $\partial: \operatorname{MGL}'_{2n+1,n}(k(X)) \to \varinjlim_{W \subset X} \operatorname{MGL}'_{2n,n}(W)$ という境界写像は [3] における除数類の観点から記述可能であり、核の幾何的制御が可能になる。
• ${\rm div}^\Omega_i$ は $\mathbb{Z}[k(x_i)^\times] \otimes \mathbb{L}_*$ 上で適切に定義されており、$i_* \circ {\rm div}^\Omega_i = 0$ を満たすため、codimension 1 のストラトムへの包含と整合性がある。
• 図式 (6.1) は可換であり、$\Omega_*$ における幾何的除数写像が $\operatorname{MGL}'_{*,*}$ における境界写像を引き上げることを確認する。これは単射性の証明に不可欠である。
• 結果はホップ・モレルのスペクトル系列に依存しており、したがってその完全な構成が完了している前提に依存するが、フレームワーク自体は他に完全かつ一貫性を保っている。