[论文解读] Equivariant algebraic K-theory

Mona Merling|arXiv (Cornell University)|Jan 1, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用 4

一句话总结

本文通过在 G-谱中函子性地编码环和范畴上的群作用，为有限群引入了一种真正的等变代数 K-理论，解决了朴素方法中等变性失效的问题。该框架统一了等变拓扑 K-理论、Atiyah 的实 K-理论以及 Waldhausen 的 A-理论，并在等变稳定同伦理论中恢复并重新解释了关键映射，如 Quillen-Lichtenbaum 猜想和 Carlsson 的装配映射。

ABSTRACT

A group action on the input ring or category induces an action on the algebraic $K$-theory spectrum. However, a shortcoming of this naive approach to equivariant algebraic $K$-theory is, for example, that the map of spectra with $G$-action induced by a $G$-map of $G$-rings is not equivariant. We define a version of equivariant algebraic $K$-theory which encodes a group action on the input in a functorial way to produce a $genuine$ algebraic $K$-theory $G$-spectrum for a finite group $G$. The main technical work lies in studying coherent actions on the input category. A payoff of our approach is that it builds a unifying framework for equivariant topological $K$-theory, Atiyah's Real $K$-theory, and existing statements about algebraic $K$-theory spectra with $G$-action. We recover the map from the Quillen-Lichtenbaum conjecture and the representational assembly map studied by Carlsson and interpret them from the perspective of equivariant stable homotopy theory. We also give a definition of an equivariant version of Waldhausen's $A$-theory of a $G$-space.

研究动机与目标

• 为解决朴素等变代数 K-理论中 G-环之间的 G-映射无法在 K-理论谱上诱导出等变映射的问题。
• 构造一个函子性地编码输入范畴上群作用的真正代数 K-理论 G-谱。
• 在单一框架下统一现有理论，如等变拓扑 K-理论、Atiyah 的实 K-理论以及 Waldhausen 的 A-理论。
• 在等变稳定同伦理论中恢复并重新解释经典映射（如 Quillen-Lichtenbaum 猜想和 Carlsson 的表示性装配映射）。
• 将 A-理论的定义扩展至等变设定下的 G-空间，提供一个取值于 G-谱的理论。

提出的方法

• 定义一种函子性构造的代数 K-理论，为带有协调 G-作用的范畴分配一个真正的 G-谱。
• 利用输入范畴上的协调作用，确保与真正 G-谱结构的兼容性。
• 运用等变稳定同伦理论的技术，确保输出的 K-理论谱尊重群作用与 G-等变性。
• 将该框架应用于恢复已知映射：Quillen-Lichtenbaum 猜想与 Carlsson 的装配映射，现被解释为等变映射。
• 通过定义一个产出 G-谱的等变 A-理论，将 Waldhausen 的 A-理论扩展至 G-空间。
• 利用 K-理论的普遍性质，确保在构造之间具有自然性与群作用的相容性。

实验结果

研究问题

• RQ1 如何定义一种等变代数 K-理论，使其能以保持 G-等变性的方式真正编码环和范畴上的群作用？
• RQ2 带有群作用的范畴必须满足何种结构性质，才能支持取值于真正 G-谱的 K-理论？
• RQ3 所提出的框架如何统一现有理论，如实 K-理论与等变拓扑 K-理论？
• RQ4 经典映射（如 Quillen-Lichtenbaum 猜想与 Carlsson 的装配映射）能否自然地在该等变框架中被恢复？
• RQ5 如何将空间的 Waldhausen A-理论推广至 G-空间，以产生一个真正的 G-谱？

主要发现

• 本文通过函子性地编码输入范畴上的群作用，为有限群构造了一个真正的代数 K-理论 G-谱。
• 该构造解决了朴素 G-作用在环上无法在 K-理论谱上诱导出等变映射的问题。
• 该框架统一了等变拓扑 K-理论、Atiyah 的实 K-理论以及带有 G-作用的现有代数 K-理论。
• Quillen-Lichtenbaum 猜想与 Carlsson 的表示性装配映射作为等变稳定同伦范畴中的自然映射被恢复。
• 为 G-空间定义了 Waldhausen A-理论的等变版本，产出一个取值于 G-谱的理论。
• 该方法为等变代数 K-理论提供了系统且函子性的基础，与稳定同伦理论相容。