A linearization map for genuine equivariant algebraic $K$-theory

基本信息

• 论文ID: 2309.08025
• 标题: A linearization map for genuine equivariant algebraic $K$-theory
• 作者: Maxine E. Calle, David Chan, Andres Mejia
• 分类: math.AT (Algebraic Topology), math.KT (K-Theory and Homology)
• 发表时间: November 19, 2025 (v3)
• 论文链接: https://arxiv.org/abs/2309.08025

摘要

本文引入了一个针对环的系数系统(coefficient systems of rings)的代数$K$-理论版本，其值域为有限群$G$的genuine $G$-谱。作者利用此构造建立了与$G$-空间$X$相关的genuine $G$-谱$K_G(\mathbb{Z}[\pi_1(X)])$，为经典不变量的等变版本（如Wall有限性阻碍和Whitehead挠率）提供了自然栖息地。论文通过genuine等变线性化映射建立了该$K$-理论谱与Malkiewich-Merling的等变$A$-理论之间的比较。

研究背景与动机

1. 研究问题

经典的代数$K$-理论$K(\mathbb{Z}[\pi_1(X)])$编码了拓扑空间$X$的重要几何不变量，包括Euler示性数、Wall有限性阻碍和Whitehead挠率。当空间$X$具有有限群$G$作用时，群环$\mathbb{Z}[\pi_1(X)]$继承$G$-作用，其$K$-理论谱成为naïve $G$-谱。然而，这种naïve结构不足以完全捕获$X$的$G$-同伦型。

2. 问题重要性

• 等变不变量的缺失: 已知存在Wall有限性阻碍和Whitehead挠率的等变类似物（Baglivo 1979, Andrzejewski 1986, Illman 1974等），但缺乏统一的谱层面框架
• genuine谱的必要性: 要完整描述等变同伦型，需要genuine $G$-谱而非naïve $G$-谱
• 与等变$A$-理论的联系: Malkiewich-Merling构造的genuine等变$A$-理论$A_G(X)$需要与代数$K$-理论建立联系

3. 现有方法的局限性

• Merling的构造: 对于带$G$-作用的环$R$，Merling构造了genuine $G$-谱$K^\theta(R)$，但当$|G|$在$R$中可逆时，其不动点$K^\theta(R)^H \simeq K(R^H_\theta[W_GH])$只捕获环的不动点，而$(Z[\pi_1(X)])^H \neq Z[\pi_1(X^H)]$，无法准确描述空间不动点的数据
• Lück的方法: Lück构造的谱的低阶同伦群包含等变不变量，但与genuine $G$-谱的关系不明确

4. 研究动机

本文采用Elmendorf哲学：等变同伦论可通过研究不动点空间集合$\{X^H\}_{H\leq G}$及其限制映射来理解。这激发了从环的系数系统（presheaves on orbit category）构造genuine $G$-谱的想法。

核心贡献

1. 系数环的$K$-理论: 构造了从环的系数系统到genuine $G$-谱的函子$K_G(S)$，其不动点具有显式分裂（定理A）： $K_G(S)^G \simeq \prod_{(H)\leq G} K(S^H_\theta)$
2. 等变基本群的$K$-理论: 对$G$-空间$X$，定义系数环$\mathbb{Z}[\pi_1(X)]$，得到genuine $G$-谱$K_G(\mathbb{Z}[\pi_1(X)])$，恢复了Lück的结果并提供了等变不变量的谱层面实现
3. genuine等变线性化映射: 构造了映射$L: A_G(X) \to K_G(\mathbb{Z}[\pi_1(X)])$（定理C），证明其为等变2-连通，且与不动点分裂相容（定理D）
4. 几何不变量的实现: 证明等变Euler示性数、Wall有限性阻碍和Whitehead挠率作为$A_G(X)$同伦群中的元素实现（定理B）
5. 技术贡献: 发展了从2-范畴输入构造spectral Mackey函子及其态射的系统方法（附录B），预期有独立应用价值

方法详解

任务定义

核心任务: 对有限群$G$和环的系数系统$S: \mathcal{O}_G^{op} \to \text{Ring}$，构造genuine $G$-谱$K_G(S)$，使其：

• 在每个子群$H\leq G$处的值为$K(P^H_S)$（有限生成投射模范畴的$K$-理论）
• 转移、限制和共轭映射由诱导、限制函子及其$K$-理论诱导
• 不动点具有可计算的分裂

输入:

• 系数环$S: \mathcal{O}_G^{op} \to \text{Ring}$，即对每个$G/H$给定环$S^H$，配备限制映射和Weyl群作用
• 或更具体地，$G$-空间$X$定义的系数环$\mathbb{Z}[\pi_1(X)](G/H) := \mathbb{Z}[\pi_1(X^H)]$

输出: Genuine $G$-谱（通过spectral Mackey函子模型）

模型架构

1. 系数系统的范畴结构

定义 (2.1-2.2):

• 系数系统$M: \mathcal{O}_G^{op} \to \text{Ab}$是从轨道范畴到阿贝尔群的函子
• 系数环$S$是值域为环范畴的系数系统，限制映射和Weyl群作用为环同态

关键结构:

• 单子积$\square$: $(M\square N)^H = M^H \otimes N^H$，单位为常值$\mathbb{Z}$系数系统
• 系数环恰为此单子范畴中的幺半群
• $S$-模范畴$\text{Mod}_S$定义为此单子范畴中的模

扭群环 (2.6-2.7): 对带$G$-作用的环$R$，扭群环$R_\theta[G]$的乘法为： $(r_1g_1)(r_2g_2) = (r_1r_2^{g_1})g_1g_2$$S$-模$M$等价于在每个层次$M^H$是$S^H_\theta[W_GH]$-模，且与限制映射相容（引理2.9）

2. 诱导与限制函子

对$H\leq K$，定义函子$\rho: \mathcal{O}_H \to \mathcal{O}_K$：

• 限制函子 $R^K_H: \text{Coeff}_K \to \text{Coeff}_H$为$(ρ^{op})^*$
• 诱导函子 $I^K_H: \text{Coeff}_H \to \text{Coeff}_K$为左Kan扩张$ρ^{op}_!$

计算公式 (引理2.18): $I^K_H(M)^J \cong \bigoplus_{x\in (K/H)^J} M^{J^x}$ 其中$J^x = x^{-1}Jx$是共轭子群

Frobenius互反 (引理2.16): $M \square I^K_H(N) \cong I^K_H(R^K_H(M) \square N)$

Mackey双陪集公式 (命题2.26): $R^K_H I^K_J \cong \bigoplus_{\gamma \in J\backslash K/H} I^H_{H\cap J^\gamma} R^{J^\gamma}_{H\cap J^\gamma} c_\gamma$

这些函子限制到投射模范畴，给出伴随： $\text{Proj}_{R^G_K(S)} \rightleftarrows \text{Proj}_{R^G_H(S)}$

3. 从范畴Mackey函子到谱Mackey函子

2-范畴框架 (第3节及附录A):

• 定义严格2-范畴$\mathbf{B}_G$，对象为$G$的子群，态射范畴$\mathbf{B}_G(H,K)$本质上由形式转移、限制和共轭组合而成
• 关键技术结果（命题3.3，推广自Malkiewich-Merling）：给定严格2-函子$F: \mathbf{B}_G \to \text{Wald}$满足条件$(\star)$（保持余积和零对象），可构造spectral Mackey函子$K_G(F)$

条件$(\star)$: 对任意$A\in F(H)$和$S,T\in \mathbf{B}_G(H,K)$： $F(S\sqcup T)(A) \cong F(S)(A) \vee F(T)(A), \quad F(\emptyset)(A) \cong 0_K$

伪函子的处理 (命题3.4): 实际上只需伪函子（组合满足到同构），通过标准严格化可应用命题3.3

4. $K_G(S)$的构造

投射模的Waldhausen范畴: 对系数环$S$，$P^H_S$是$R^G_H(S)$上有限生成投射模范畴，具有正合结构（单态为admissible monic，满态为分裂满态）

伪函子构造 (命题3.6): 赋值$H \mapsto P^H_S$配备诱导、限制和共轭函子组装为伪函子$\mathbf{B}_G \to \text{Wald}$满足$(\star)$

证明要点:

• 诱导与限制的伪函子性来自Mackey公式（2.26）和共轭性质（2.25）
• 条件$(\star)$由系数系统的余积性质保证
• 完整证明延迟到附录B（命题B.43），利用系统化方法

定理A的陈述 (定理3.1, 3.7): $K_G(S)^G \simeq K(\text{Proj}_S) \simeq \prod_{(H)\leq G} K(S^H_\theta)$ 其中积遍历共轭类代表元，$S^H_\theta = S(G/H)_\theta[W_H]$

技术创新点

1. 系数系统视角的突破

• 创新: 不是直接处理带$G$-作用的环，而是系统地使用系数系统（轨道范畴上的预层）
• 优势: 自然编码所有子群的不动点信息，避免了Merling方法中$(R^G)^H \neq R^H$的问题
• 合理性: 符合Elmendorf哲学——等变同伦论由不动点系统决定

2. 分裂定理的精细控制

• 滤链方法 (3.1节): 定义子范畴$P_{\leq i}$（在$G/H_j$上消失，$j>i$）和$P_i$（$H_i$-生成的投射模）
• 关键引理 (3.12): 每个$P\in P_{\leq i}$存在唯一分裂短正合列$P_i \to P \to P/P_i$
• 等价性 (3.15): 构造函子$\Phi_i: \text{Proj}_{S^{H_i}_\theta} \to P_i$，证明求值函子$\text{ev}_{G/H_i}: P_i \to \text{Proj}_{S^{H_i}_\theta}$是等价
• 结果: 得到分裂纤维序列，归纳地产生分裂

3. 完美复形的视角

• 动机: 线性化映射更自然地定义在链复形层面
• 构造 (3.2节): 定义$H_i$-有界完美复形范畴$\text{Perf}_{\leq i}$
• 关键命题 (3.24): 存在同伦等价 $K(\text{Perf}_{\leq i}) \simeq K(\text{Perf}_{\leq(i-1)}) \times K(\text{Perf}_{S^{H_i}_\theta})$ 投影由求值$\text{ev}_{G/H_i}$诱导
• 优势: 允许在复形层面定义线性化，同时保持分裂结构

4. 线性化映射的构造策略

函子定义 (4.1节): 对$Y\in R^G_{fd}(X)$（$G$-等变有限支配的retractive空间），定义 $L_G(Y)(G/H) = C_*(\tilde{Y}^H, \tilde{X}^H)$ 其中$\tilde{Y}^H$是$Y^H$沿回缩$Y^H\to X^H$的拉回

弱正合性: $L_G$不保持余积（只到拟同构），但保持弱pushout，因此诱导$K$-理论映射（利用Blumberg-Mandell的$S'_\bullet$-构造）

伪自然性的处理:

• $L$不是伪自然变换（转移只保持到拟同构）
• 引入"弱自然变换"概念（lax变换且2-胞腔为弱等价）
• 附录B证明这足以诱导genuine $G$-谱映射（定理B.12）

与分裂的相容性 (定理4.20): 关键交换图