[论文解读] On the Algebraic K-theory of Monoids

Chenghao Chu, Jack Morava|arXiv (Cornell University)|Sep 16, 2010

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

一句话总结

本文在投影作用为自由的条件下，建立了非交换幺半群（含零元）代数K-理论中+-构造与Q-构造的等价性。证明了此类幺半群的同伦不变性，并通过稳定同伦群计算了有限生成阿贝尔群关联幺半群的$ K_2 $，利用带基点的分类空间的稳定同伦群构造了普遍中心扩张。

ABSTRACT

Let $A$ be a not necessarily commutative monoid with zero such that projective $A$-acts are free. This paper shows that the algebraic K-groups of $A$ can be defined using the +-construction and the Q-construction. It is shown that these two constructions give the same K-groups. As an immediate application, the homotopy invariance of algebraic K-theory of certain affine $\mathbb{F}_1$-schemes is obtained. From the computation of $K_2(A),$ where $A$ is the monoid associated to a finitely generated abelian group, the universal central extension of certain groups are constructed.

研究动机与目标

• 将代数K-理论构造——特别是+-构造与Q-构造——推广至非交换幺半群（含零元）的情形，其中投影作用为自由。
• 将$ A $-集的可接受正合序列概念推广至非交换幺半群，从而实现基于Q-构造的K-理论。
• 在$ A $为交换且投影$ A $-集为自由的条件下，建立仿射$ \bbF_1 $-概形$ \text{Spec}(A) $的代数K-理论的同伦不变性。
• 计算与有限生成阿贝尔群相关的幺半群$ A $的$ K_2(A) $，并由此构造普遍中心扩张。
• 通过谱序列分析，将$ \bbF_1 $-概形的$ K $-群与$ BG_+ $的稳定同伦群（特别是$ \tilde{K}_2 $）联系起来。

提出的方法

• 通过在一般线性群$ GL(A) $中定义稳定特殊线性群$ E(A) $，将+-构造推广至非交换幺半群，确保构造具有良好性质。
• 引入带基点的$ A $-集范畴，推广$ A $-作用以适应$ \bbF_1 $-几何，并在此背景下定义可接受正合序列。
• 在投影$ A $-集为自由的假设下，对$ A $-集范畴应用Quillen的Q-构造，确保Q-构造产生良定义的K-理论空间。
• 利用Atiyah-Hirzebruch谱序列分析$ \tilde{K}_2 $，特别关注微分$ d: H_3(G, \bbZ) \to H_1(G, \bbZ/2) $，并证明其在有限生成阿贝尔群$ G $上消失。
• 建立$ K_i(\text{Spec}(\bbF_1[G])) $与$ \pi_i^s(BG_+) $之间的同构，将幺半群K-理论与稳定同伦理论联系起来。
• 通过$ K_2 $计算应用普遍中心扩张构造，特别针对$ G = \bbZ/d $，证明$ K_2(\bbZ/d_*) \cong \bbZ/2 \oplus \bbZ/2 $。

实验结果

研究问题

• RQ1 在投影作用为自由的条件下，+-构造能否推广至含零元的非交换幺半群？
• RQ2 对于此类幺半群，Q-构造是否与+-构造产生相同的K-理论？在何种条件下成立？
• RQ3 当$ A $为交换且投影$ A $-集为自由时，仿射$ \bbF_1 $-概形$ \text{Spec}(A) $的代数K-理论是否具有同伦不变性？
• RQ4 与有限生成阿贝尔群相关的幺半群$ A $的$ K_2(A) $的结构如何？其与普遍中心扩张有何关系？
• RQ5 稳定同伦群$ \pi_i^s(BG_+) $与$ \bbF_1[G] $-概形的代数K-理论有何关系，特别是当$ i=2 $时？

主要发现

• 在投影$ A $-集为自由的幺半群$ A $中，+-构造与Q-构造产生同构的K-理论群，确立了该情形下的$ Q = + $定理。
• 当$ A $为交换且投影$ A $-集为自由时，$ \text{Spec}(A) $的代数K-理论具有同伦不变性，将已知结果推广至更广义的幺半群类。
• 对于$ G = \bbZ/d $，有$ K_2(\bbZ/d_*) \cong \bbZ/2 \oplus \bbZ/2 $，该结果通过Q-构造计算，并经由Atiyah-Hirzebruch谱序列验证。
• 在Atiyah-Hirzebruch谱序列中，微分$ d: H_3(G, \bbZ) \to H_1(G, \bbZ/2) $在有限生成阿贝尔群$ G $上消失，意味着$ \pi_2^s(BG_+) \cong \bbZ/2 \oplus G/2 \oplus H_2(G, \bbZ) $。
• 对于非阿贝尔群如$ A_n $、$ \Sigma_n $、$ E_n(\bbF_q) $及$ GL_n(\bbF_q) $，第二稳定同伦群$ \pi_2^s(BG_+) $被计算为$ \bbZ/2 \oplus H_2(G, \bbZ) $或$ \bbZ/2 \oplus \bbZ/2 \oplus H_2(G, \bbZ) $，具体取决于群与域的特征。
• 对$ \bbF_1[G] $-概形的$ K_2 $计算导致了$ G $的普遍中心扩张的构造，特别是当$ G = \bbZ/d $时，通过同构$ K_2(\bbZ/d_*) \cong \bbZ/2 \oplus \bbZ/2 $实现。