[论文解读] Cdh Descent in Equivariant Homotopy $K$-Theory

Marc Hoyois|arXiv (Cornell University)|Apr 21, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用 21

一句话总结

本论文通过为驯服线性代数群的分类空间构造几何模型，在等变 motivic 同伦论的背景下建立了同伦 K-理论的 cdh 下降性。证明了作为 E∞-环谱构建的等变 motivic K-理论谱满足任意底变换下的 cdh 下降性和同伦不变性，将 Cisinski 的 cdh 下降结果推广至线性基底为准紧分离的仿射概形上的线性重新性群作用的商叠。

ABSTRACT

We construct geometric models for classifying spaces of linear algebraic groups in G-equivariant motivic homotopy theory, where G is a tame group scheme. As a consequence, we show that the equivariant motivic spectrum representing the homotopy K-theory of G-schemes (which we construct as an E-infinity-ring) is stable under arbitrary base change, and we deduce that homotopy K-theory of G-schemes satisfies cdh descent.

研究动机与目标

• 将同伦 K-理论的 cdh 下降性从概形推广至线性重新性代数群作用的商叠。
• 为驯服阿廷叠定义一个行为良好的同伦 K-理论谱 KH，使其在正则叠上与经典 K-理论一致。
• 建立 KH 为 cdh 层，并在等变设定下满足强同伦不变性与 Bott 陈类周期性。
• 在等变 motivic 同伦设定中，为线性代数群构造其分类空间的几何模型。
• 证明所得 K-理论谱在任意底变换下稳定，从而在等变 K-理论中实现下降结果。

提出的方法

• 通过将 Morel 和 Voevodsky 方法推广至等变设定，为驯服群概形的等变分类空间构造几何模型。
• 通过定义 KH 为 KB(Δ• × X) 的几何实现（X 为具有 Nisnevich 局部分裂向量丛扭化器的叠），确保与 Bott 陈类周期性的兼容性。
• 利用稳定等变 motivic 同伦论，将 KH 表示为 SH(X) 中的 E∞-环谱 KGLX，其中 X 为光滑 N-拟射影叠。
• 通过 E∞-空间的 motivic 等价性，证明在 N-拟射影态射下家族 {KGLX}X∈tqStkB 的底变换相容性。
• 利用群完备化与 Zariski 层化技术，证明沿 N-拟射影映射的 KGLX 拉回为同构。
• 应用右 Kan 扩张，将构造从子范畴扩展至整个 2-范畴 tqStkB，确保全局协张量结构。

实验结果

研究问题

• RQ1 同伦 K-理论是否对 G 为驯服线性代数群的商叠 [X/G] 满足 cdh 下降性？
• RQ2 能否在等变 motivic 同伦范畴中为 BG 构造一个支持 cdh 下降性的几何模型？
• RQ3 此类叠的等变 motivic K-理论谱 KH(X) 是否可表示为满足同伦不变性与 Bott 陈类周期性的 E∞-环谱？
• RQ4 在 tqStkB 中的叠上，家族 motivic 谱 {KGLX} 是否满足底变换性质？
• RQ5 能否通过几何实现将 cdh 下降结果推广至具有有限或对角化群作用的叠？

主要发现

• 同伦 K-理论谱 KH 在驯服商叠的 2-范畴 tqStkB 上被构造为 E∞-环谱，满足 cdh 下降性。
• 对于正则叠 X，映射 K(X) → KH(X) 为同构，确保与经典 K-理论的兼容性。
• KH 满足强同伦不变性：对任意向量丛上的 fpqc 扭化器 p: Y → X，拉回 p∗: KH(X) → KH(Y) 为同构。
• Bott 陈类周期性成立：对任意 X 上的向量丛 V，存在 KH(X)-模同构 KH(V) ≃ KH(X)。
• 对 X = [X/G]（G 有限或 Nisnevich 局部对角化）的情形，KH(X) 几何实现为 KB(Δ• × X)，推广了 Weibel 的定义。
• 映射 X ↦ KGLX 构成 CAlg(SH(−)) 沿 N-拟射影态射的协张量截面，意味着 KH 是 tqStkB 上的 cdh 层。