[论文解读] Equivariant classifying spaces and cdh descent for the homotopy K-theory of tame stacks

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

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用 3

一句话总结

本文在 G-等变 motivic 同伦论中为可 tame 的代数群的等变分类空间构建了几何模型。它证明了同伦 K-理论谱在任意基变换下是稳定的，并且证明了可 tame 的 Artin 群栈的同伦 K-理论满足 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 tame Artin stacks satisfies cdh descent.

研究动机与目标

• 在 G-等变 motivic 同伦论中为线性代数群的分类空间开发几何模型。
• 确立表示同伦 K-理论的等变 motivic 谱在基变换下的稳定性。
• 证明可 tame 的 Artin 群栈的同伦 K-理论满足 cdh 下降性质。
• 将 motivic 同伦论的框架扩展至包含可 tame 的群概形及其作用。
• 通过等变与 cdh 拓扑方法，为同伦 K-理论的下降理论提供基础。

提出的方法

• 利用 motivic 同伦论中可 tame 群概形的结构，构建分类空间的几何模型。
• 在表示同伦 K-理论的等变 motivic 谱上定义 E-infinity 环结构。
• 通过 motivic 设置下的下降技术，证明同伦 K-理论谱的基变换稳定性。
• 将 cdh 下降机制应用于等变 motivic 谱，以将下降性质扩展至可 tame 的 Artin 群栈。
• 利用可 tame 条件，确保群作用在几何与同伦论上的良好行为。
• 利用等变同伦论与 cdh 拓扑之间的相互作用，建立下降性质。

实验结果

研究问题

• RQ1 如何在 G-等变 motivic 同伦论中为线性代数群的分类空间构建几何模型？
• RQ2 何种条件可确保表示同伦 K-理论的等变 motivic 谱在基变换下的稳定性？
• RQ3 可 tame 的 Artin 群栈的同伦 K-理论是否满足 cdh 下降？
• RQ4 群概形的可 tame 性如何影响分类空间的同伦性质？
• RQ5 E-infinity 环结构在同伦 K-理论谱基变换稳定性中起到何种作用？

主要发现

• 在可 tame 群概形的 G-等变 motivic 同伦论背景下，成功构建了线性代数群分类空间的几何模型。
• 证明了表示同伦 K-理论的等变 motivic 谱在任意基变换下是稳定的。
• 可 tame 的 Artin 群栈的同伦 K-理论满足 cdh 下降性质，从而扩展了下降技术的适用范围。
• 同伦 K-理论谱上的 E-infinity 环结构确保了与基变换和下降性质的兼容性。
• 群概形的可 tame 条件对于确保构造在几何与同伦论上的良好行为至关重要。
• 本研究在等变 motivic 同伦论与群栈代数 K-理论的下降理论之间建立了桥梁。