[论文解读] An Atiyah-Hirzebruch spectral sequence for KR-theory

Daniel Dugger|ArXiv.org|Apr 7, 2003

Advanced Algebra and Geometry参考文献 5被引用 6

一句话总结

本文在 Z/2-等变同伦理论的背景下，为 KR-理论构造了一个 Atiyah-Hirzebruch 族谱序列，利用扭曲的 Postnikov 截断函子在谱 Z×BU 上构建塔结构，其层为等变 Eilenberg-MacLane 空间。关键结果是得到一个收敛于 KR-理论的族谱序列，其 E2 页由具有常系数 Z 的 RO(G)-分次 Eilenberg-MacLane 上同调给出，从而为等变 K-理论建立了一个类似 motivic 的框架。

ABSTRACT

We construct a spectral sequence for computing KR-theory, analogous to the spectral sequence relating motivic cohomology to algebraic K-theory.

研究动机与目标

• 在 Z/2-等变同伦理论的背景下，为代数 K-理论发展 motivic Atiyah-Hirzebruch 族谱序列的等变类比。
• 构建一个将 RO(G)-分次 Eilenberg-MacLane 上同调（具有常 Mackey 范畴系数）与 KR-理论联系起来的族谱序列。
• 提供一个族谱序列的框架，该框架未来或可被适配至 motivic 同伦理论。
• 计算 étale 上同调群 H_et^{p,q}(pt) 和 H_et^{p,q}(Z/2)，以确定族谱序列的 E2 页。
• 建立 H^{0,*}_et(pt) 上的环结构，并将其与非等变及等变上同调中的已知结构进行比较。

提出的方法

• 使用扭曲的 Postnikov 截断函子在 Z/2-等变谱 Z×BU 上构造滤过结构，将其分解为层，每层均为等变 Eilenberg-MacLane 空间。
• 采用双分次指标 (p+q,q) 表示球面与上同调群，与 motivic 同伦理论的惯例保持一致。
• 将等变 Eilenberg-MacLane 谱 HZ 构造为 S^{2n,n} 上的自由阿贝尔群，其结构映射由 S^{2,1} 作用诱导。
• 应用余纤维序列如 S^{0,0} → S^{1,1} → Z/2_+ ∧ S^{1,0}，以计算不同次数的上同调群。
• 使用涉及 S^1_a 和 E(Z/2) 的余纤维序列，计算商空间的奇异上同调，并推导出 étale 上同调群。
• 将该族谱序列与 motivic 情形进行比较，并通过稳定化完成完整族谱序列的构造。

实验结果

研究问题

• RQ1 在 Z/2-等变设定下，KR-理论的 Atiyah-Hirzebruch 族谱序列具有何种结构？
• RQ2 如何利用扭曲的 Postnikov 截断函子，从谱 Z×BU 构造出指向 KR-理论的族谱序列？
• RQ3 对于常 Mackey 范畴系数 Z，RO(G)-分次 Eilenberg-MacLane 上同调群 H^{p,q}(pt; Z) 是什么？
• RQ4 étale 上同调群 H_et^{p,q}(pt) 和 H_et^{p,q}(Z/2) 如何与族谱序列的 E2 页相关联？
• RQ5 H^{0,*}_et(pt) 上的环结构是什么？它与等变及 motivic 上同调中的已知结构有何比较？

主要发现

• 族谱序列收敛于 KR^{p+q}(X)，其 E2 页为 E2^{p,q} = H^{p,-q/2}(X; Z)，其中 H^{*,*} 表示具有常系数 Z 的 RO(G)-分次 Eilenberg-MacLane 上同调。
• 对于点，当所有 n ≥ 1 时，有 H_et^{0,-2n}(pt) = Z 且 H_et^{0,-2n+1}(pt) = 0，且限制映射 H_et^{0,-2n}(pt) → H_et^{0,-2n}(Z/2) 是同构。
• 群 H_et^{0,-2}(pt) 同构于 Z，且映射 H^{0,-2} → H_et^{0,-2} 是乘以 2 的映射，该性质被用于通过归纳法推导更高阶群的结构。
• 环 H^{0,*}_et(pt) 同构于 Z[y]，其中 y 的分次为 (0,-2)，且乘法 y 的作用通过余纤维序列的长正合列确定。
• 族谱序列通过在 Z×BU 上使用扭曲的 Postnikov 截断函子构建塔结构，再通过稳定化从不稳定层恢复完整的族谱序列。
• 对 H_et^{p,q}(pt) 的计算表明，当 p < 0 且 q < 0 时群为零，且所有次数的群均通过余纤维序列与奇异上同调的比较完全确定。