[論文レビュー] Motivic connective K-theories and the cohomology of A(1)

Daniel C. Isaksen, Armira Shkembi|arXiv (Cornell University)|Feb 11, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 6

ひとこと要約

本稿は、代数的K理論のホモトピー固定点を用いて、Spec C 上でモチーフ的接続的K理論スペクトラ ko および kgl を構成し、それらのホモトピー群を計算するためのアダムススペクトル系列を確立する。主な結果は、モチーフ的アダムススペクトル系列のE2項が Ext_{A(1)}(H^{*,*}(X), M2) であり、M2 = F2[τ] であることから、モチーフ的 ko-ホモロジーの有効な計算が可能になることである。

ABSTRACT

We make some computations in stable motivic homotopy theory over Spec \mathbb{C}, completed at 2. Using homotopy fixed points and the algebraic K-theory spectrum, we construct a motivic analogue of the real K-theory spectrum KO. We also establish a theory of connective covers to obtain a motivic version of ko. We establish an Adams spectral sequence for computing motivic ko-homology. The E_2-term of this spectral sequence involves Ext groups over the subalgebra A(1) of the motivic Steenrod algebra. We make several explicit computations of these E_2-terms in interesting special cases.

研究の動機と目的

• Z/2作用によるモチーフ的代数的K理論スペクトラKGLのホモトピー固定点を用いて、古典的実K理論KOのモチーフ的類似物を構成すること。
• KGLの接続的被覆としてモチーフ的接続的K理論スペクトラkglを定義し、そのモチーフ的コホモロジーを計算すること。
• モチーフ的ko-ホモロジーを計算するためのモチーフ的アダムススペクトル系列を確立し、E2項がモチーフ的部分代数A(1)上のExt群を含むこと。
• 特にDQnに関連するA(1)-加群Mに対して、Ext_{A(1)}(M, M2)を計算し、モチーフ的ko-ホモロジーの有効な可算性を示すこと。
• 古典的ホモトピー理論とは対照的に、すべてのk ≥ 0に対してη^k ≠ 0 であるモチーフ的性質を示すことにより、古典的理論との違いを強調すること。

提案手法

• Z/2作用によるKGLのホモトピー固定点としてモチーフ的KOスペクトラを構成し、古典的KO = KU^{hZ/2} の構成に類似させる。
• KGLの接続的被覆としてモチーフ的接続的kglを定義し、F2係数でのそのモチーフ的コホモロジーH^{*,*}(kgl)をA//E(1)として計算する。ここでE(1)はQ0とQ1が生成する部分代数である。
• モチーフ的アダムススペクトル系列（MASS）を用いて、スペクトラのモチーフ的ホモトピー群を計算し、E2項をExt_{A(1)}(H^{*,*}(X), M2)（M2 = F2[τ]）として与える。
• ホモトピー固定点スペクトル系列（HFSS）を用いて、koおよびkglhZ/2のホモトピーを計算し、重要な微分と拡張を同定する。
• 短い完全系列によるA(1)-加群の短完全系列（例えばΣ^{n,n/2}M2 → eH^{*,*}(DQ_{n+2}) → eH^{*,*}(DQ_n)）から誘導されるExt群の長完全系列を用いて、Ext群を計算する。
• 低次のホモロジー次数での明示的コサイクル計算により、曖昧性（例えばh1z = 0かどうか）を解消し、特定の要素の非自明性を同定する。

実験結果

リサーチクエスチョン

• RQ1 F2係数での接続的モチーフ的K理論スペクトラkglのモチーフ的コホモロジーは何か？ また、モチーフ的スティーブンス代数とはどのように関係するか？
• RQ2 安定モチーフ的ホモトピー理論の枠組みにおいて、Spec C 上でKOのモチーフ的類似物をどのように構成できるか？ そのホモトピー群は何か？
• RQ3 モチーフ的ko-ホモロジーを計算するためのモチーフ的アダムススペクトル系列のE2項の構造は何か？ そして、代数的にどのように計算できるか？
• RQ4 モチーフ的Ext群Ext_{A(1)}(M, M2)は、古典的対応物とはどのように異なり、特にすべてのk ≥ 0に対してη^k ≠ 0 であることを検出できるか？
• RQ5 モチーフ的係数環M2 = F2[τ] は、モチーフ的アダムススペクトル系列のE2項におけるモチーフ的ko-ホモロジーの計算に果たす役割は何か？

主な発見

• F2係数でのkglのモチーフ的コホモロジーは、A//E(1) に同型であり、ここでAはモチーフ的スティーブンス代数、E(1)はQ0 = Sq1およびQ1 = Sq1Sq2 + Sq2Sq1が生成する部分代数である。
• koのモチーフ的コホモロジーはA//A(1) に同型であり、A(1)はSq1とSq2が生成する部分代数である。これは古典的結果H*(ko) = A//A(1) の直接的なモチーフ的類似物を確立する。
• モチーフ的ko-ホモロジーを計算するためのモチーフ的アダムススペクトル系列のE2項はExt_{A(1)}(H^{*,*}(X), M2) であり、M2 = F2[τ] である。これにより、モチーフ的ko-ホモロジーの有効な代数的計算が可能になる。
• DQ_nのためのExt_{A(1)}(M, M2)の明示的計算が提供され、n mod 4に応じて構造が異なることが示され、n ≡ 1, 2, 3 mod 4 の場合に生成子と関係式を明示的に記述する。
• 計算により、すべてのk ≥ 0に対して、モチーフ的安定茎においてη^k ≠ 0 であることが判明し、古典的の場合とは対照的である（η^4 = 0）。この違いは、A(1)上のExt群における代数的検出によって明らかになる。
• n ≡ 1 mod 4 の場合、Ext_{A(1)}(eH^{*,*}(DQ_n), M2) の構造が計算され、生成子k, r_{4i−1}, v, u, t と、h0, h1, α, β, τ およびA(1)-加群構造を含む関係式が得られる。これにより、h0t などの主要な要素の非自明性が確認される。