[論文レビュー] On the $\eta$-inverted sphere

Oliver Röndigs|arXiv (Cornell University)|Feb 29, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 28被引用数 5

ひとこと要約

この論文は、2を法とする特徴を持つ任意の体上でのη-逆の球面スペクトルの1番目および2番目のホモトピー群が恒等的に消えることを証明する。η-逆の球面スペクトルを連結ワイト理論を用いて分解し、2-逆の後での位相的連結性結果を活用することで、モチーフ的アダムススペクトル系列およびスライスフィルトレーションの技術を用いて整数係数での消えることを確立する。これにより、従来の有理数および2進数の計算が拡張される。

ABSTRACT

It is shown that the first and second homotopy groups of the $\\eta$-inverted sphere spectrum over a field of characteristic not two are zero. A cell presentation of higher Witt theory is given as well, at least over the complex numbers.

研究の動機と目的

• 2を法とする特徴を持つ任意の体上でのη-逆の球面スペクトルの1番目および2番目のホモトピー群の消えることを確立すること。
• モチーフ的安定ホモトピー群の従来の有理数および2進数の計算を整数係数の場合にまで拡張すること。
• 複素数上での連結ワイト理論のセル提示を、η-逆の球面スペクトルを用いて与えること。
• モーレのゼロラインがミルナー＝ワイトK理論に一致することに基づき、η-逆の作用が1および2次元のホモトピー群に自明な影響を与えることを証明すること。
• アーユーブのベッチ実現の実数版を用いて、モチーフ的および位相的手法を接続することで、π_{n+3,n}\mathbf{1}[1/\eta]の整数係数計算を解明すること。

提案手法

• 連結ワイト理論によるη-逆の球面スペクトルの分解を用いる：ι[1/\eta] \to \mathsf{cKW} \to \mathsf{cKW} \wedge \mathsf{cKW}。
• 分解における2番目の写像の連結性を用いて、π_{n+1,n}\mathbf{1}[1/\eta]およびπ_{n+2,n}\mathbf{1}[1/\eta]の消えることを導出する。
• ジョゼフ・アーユーブのベッチ実現のモデルの実数版を用いて、連結実K理論から連結ワイト理論への結果の移行を行う。
• モチーフ的スライスフィルトレーションおよびモチーフ的アダムススペクトル系列の収束性を用いて、2-完全化されたホモトピー群を分析する。
• ミルナーの導来極限の完全列を用いて、2-完全化と2- torsion 情報をホモトピー群内で関連付ける。
• モーレのゼロラインがミルナー＝ワイトK理論に一致することを根拠に、π_{n,n}\mathbf{1}[1/\eta] \cong W(F)（ベース体のワイト環）の同型を適用する。

実験結果

リサーチクエスチョン

• RQ1 2を法とする特徴を持つ体上でのη-逆の球面スペクトルは、1次元および2次元のホモトピー群が自明であるか？
• RQ2 連結ワイト理論およびスライスフィルトレーションを用いて、π_{n+3,n}\mathbf{1}[1/\eta]の整数係数計算が達成可能か？
• RQ3 写像ι[1/\eta] \to \mathsf{cKW}の連結性が、低次元ホモトピー群の消えることをどのように示すか？
• RQ4 ΧおよびΣ上のモチーフ的アダムススペクトル系列は、π_{n+1,n}\mathbf{1}[1/\eta]の整数係数計算をどの程度可能にするか？
• RQ5 位相的連結実K理論に関する結果をモチーフ的設定における連結ワイト理論に移行可能か？

主な発見

• 任意の2を法とする特徴を持つ体上、すべての整数nに対して、π_{n+1,n}\mathbf{1}[1/\eta]およびπ_{n+2,n}\mathbf{1}[1/\eta]は消える。
• 写像ι[1/\eta] \to \mathsf{cKW}は2-連結であり、分解における2番目の写像ι[1/\eta] \to \mathsf{cKW} \to \mathsf{cKW} \wedge \mathsf{cKW}も2-連結であるため、関連するホモトピー層の消えることが示される。
• すべてのn \geq 5およびk \geq 1に対して、標準写像π_{n+3,n}\mathsf{sc}\mathbf{1} \to \u03c0_{n+3,n}\mathsf{sc}\mathbf{1}/2^kは全射であり、これによりlim^1項が消え、結果として2-完全化されたホモトピー群も消える。
• 同型π_{n+1,n}\mathbf{1}^\wedge_2 \cong \lim_k \pi_{n+1,n}(\mathsf{sc}\mathbf{1})/2^kが成り立ち、n \geq 5のときπ_{n+2,n}\mathsf{sc}\mathbf{1}が消えることから、n \geq 5のときπ_{n+1,n}\mathbf{1}^\wedge_2 = 0となる。これは整数係数での消えることを導くのを助ける。
• 複素数の場合、連結ワイト理論の完全かつ小さなセル提示が得られる。これはπ_{3,0}\mathbf{1}[1/\eta]の生成子を用いた4次元セルの付加から始まるが、主な証明には用いられていない。
• 2-完全化と2- torsion 分析をミルナーの完全列を用いて統合することで、π_{n+1,n}\mathbf{1}[1/\eta]およびπ_{n+2,n}\mathbf{1}[1/\eta]の整数係数での消えることが示され、2-逆の後でのみではなく、整数係数でも成り立つ。