[论文解读] 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，并建立了用于计算其同伦群的Adams谱序列。关键结果是，动机Adams谱序列在ko-同调中的E2项为Ext_{A(1)}(H^{*,*}(X), M2)，其中M2 = F2[τ]，从而可通过动机A(1)上的代数Ext群有效计算动机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的动机类比。
• 将动机连通K-理论谱kgl定义为KGL的连通覆盖，并计算其动机上同调。
• 建立用于计算动机ko-同调的动机Adams谱序列，其E2项涉及动机子代数A(1)上的Ext群。
• 计算Ext_{A(1)}(M, M2)（M为各种A(1)-模，特别是与DQn相关的模），以展示动机ko-同调的有效可计算性。
• 通过展示在动机同伦论中η^k ≠ 0对所有k ≥ 0成立（而经典情形中η^4 = 0），凸显经典与动机同伦论之间的差异。

提出的方法

• 将动机KO谱构造为KGL在Z/2作用下的同伦固定点，类比经典构造KO = KU^{hZ/2}。
• 将动机连通kgl定义为KGL的连通覆盖，并计算其以F2为系数的动机上同调H^{*,*}(kgl)为A//E(1)，其中E(1)是由Q0和Q1生成的子代数。
• 使用动机Adams谱序列（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 在Spec C上，连通动机K-理论谱kgl的动机上同调是什么？它与动机Steenrod代数有何关系？
• RQ2 在Spec C上的稳定动机同伦理论中，如何构造KO的动机类比？其同伦群是什么？
• RQ3 用于计算动机ko-同调的动机Adams谱序列的E2项结构如何？如何通过代数方法计算？
• RQ4 动机Ext群Ext_{A(1)}(M, M2)与经典情形有何不同，特别是在检测η^k对k ≥ 0的非零性方面？
• RQ5 动机系数环M2 = F2[τ]在动机Adams谱序列E2项中对动机ko-同调计算起到何种作用？

主要发现

• 以F2为系数的kgl的动机上同调同构于A//E(1)，其中A为动机Steenrod代数，E(1)为由Q0 = Sq1和Q1 = Sq1Sq2 + Sq2Sq1生成的子代数。
• ko的动机上同调同构于A//A(1)，其中A(1)为由Sq1和Sq2生成的子代数，确立了经典结果H*(ko) = A//A(1)的直接动机类比。
• 用于计算ko_{*,*}(X)的动机Adams谱序列的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的非平凡性。