[論文レビュー] On the zero slice of the sphere spectrum

Vladimir Voevodsky|ArXiv.org|Jan 2, 2003

Algebraic and Geometric Analysis被引用数 47

ひとこと要約

この論文は、特性がゼロの体上で、モチーフ的球面スペクトルの零番目のスライスがモチーフ的エイレンバーグ＝マクレインスぺクトル $ H_{\mathbb{Z}} $ に一致することを証明しており、古典的な安定ホモトピー群 $ \pi_0^s(S^0) = \mathbb{Z} $ のモチーフ的類似を確立する。証明はモチーフ的エイレンバーグ＝マクレイン空間の構造と $ T^n $ の対称冪に依拠し、$ A^1 $-ホモトピー理論とスライスフィルトレーション技術を用いる。

ABSTRACT

In this paper we prove over fields of characteristic zero that the zero slice of the motivic sphere spectrum is the motivic Eilenberg-Maclane spectrum. As a corollary one concludes that the slices of any spectrum are modules over the motivic Eilenberg-MacLane spectrum. To prove our result we analyze the unstable homotopy type of the symmetric powers of the T-sphere.

研究の動機と目的

• 特性がゼロの体上で、[3] に提示された主な予想である、モチーフ的球面スペクトルの零スライスがモチーフ的エイレンバーグ＝マクレインスぺクトル $ H_{\mathbb{Z}} $ に一致することを証明すること。
• スライスフィルトレーションを用いて、古典的結果 $ \pi_0^s(S^0) = \mathbb{Z} $ のモチーフ的類似を確立すること。
• 主結果から、任意のスペクトルのスライスが $ H_{\mathbb{Z}} $-モジュールであることを示すこと。
• $ A^1 $-ホモトピー理論と等変モジュールスチュームを用いて、モチーフ的ホモトピー型を分析するための道具を開発すること。

提案手法

• モチーフ的設定における $ n $-厚い空間の概念を導入し、そのような空間のスパンススペクトルがスライスフィルトレーションの $ n $-番目の段階にあることを示す。
• 特性がゼロのときのみ有効な、モチーフ的エイレンバーグ＝マクレイン空間 $ K_n $ のモデルとして、$ T^n = \mathbb{A}^n / (\mathbb{A}^n \setminus \{0\}) $ の対称冪を用いる。
• 等変モジュールスチュームに関数 $ Quot_G $ を適用し、対称冪とモチーフ的ホモトピー型との関係を確立する。
• $ K_n^{\text{eff}} $ の有界次数のサイクルによるフィルトレーションを用いて、写像 $ T^n \to K_n $ のコーンが $ (n+1) $-厚いことを示す。
• $ A^1 $-ホモトピー同値とベクトルバンドルの $ A^1 $-可縮性から、モジュールスチュームが非還元的スパンスに一致することを示す。
• 厚い対象のフィルタードコロイドに沿った閉包性と対称冪の構造を用いて、$ \Sigma_s(K_n^{\text{eff}} / T^n) $ が $ (n+1) $-厚いことを導く。

実験結果

リサーチクエスチョン

• RQ1 特性がゼロの体上で、モチーフ的球面スペクトルの零スライスは何か？
• RQ2 モチーフ的ホモトピー理論におけるスライスフィルトレーションは、安定ホモトピー群とどのように関係するか？
• RQ3 モチーフ的エイレンバーグ＝マクレインスぺクトル $ H_{\mathbb{Z}} $ は、球面スペクトルの零スライスとして実現可能か？
• RQ4 モチーフ的空間 $ K_n $ のホモトピー的構造は何か？ また、$ T^n $ の対称冪とどのように関係するか？
• RQ5 写像 $ T^n \to K_n $ のコーンは、スライスフィルトレーションの $ (n+1) $-番目の段階にあるか？

主な発見

• 特性がゼロの体上で、モチーフ的球面スペクトルの零スライスはモチーフ的エイレンバーグ＝マクレインスぺクトル $ H_{\mathbb{Z}} $ と同型であり、[3] の主な予想を確認する。
• 有効モチーフコホモロジーを表すモチーフ的空間 $ K_n^{\text{eff}} $ は、次数が有界なサイクルによるフィルトレーションを備え、その各商は $ d $-次の対称冪 $ \text{Sym}^d(T^n) $ に同型である。
• $ K_n^{\text{eff}} / T^n $ はフィルトレーションを持ち、その $ d $-番目の商は $ \text{Sym}^d(T^n) $ に同型であり、この空間のスパンスは $ (n+1) $-厚い。
• 単位写像 $ T^n \to K_n $ のコーンは $ \Sigma_T^{n+1} SH^{\text{eff}} $ に属する。これは、単位写像 $ \mathbf{1} \to H_{\mathbb{Z}} $ のコーンが $ \Sigma_T^1 SH^{\text{eff}} $ に属することを意味する。
• 任意のモチーフ的スペクトルのスライスは、主結果の直接的帰結として $ H_{\mathbb{Z}} $-モジュールである。
• 証明は、基本体における $ d! $ の逆元の存在に依拠しており、これが特性がゼロに限定される理由であるが、著者は一般の場合にも成り立つと予想している。