[论文解读] Relative homological algebra, Waldhausen $K$-theory, and quasi-Frobenius conditions

Andrew Salch|arXiv (Cornell University)|Mar 15, 2013

Algebraic structures and combinatorial models参考文献 6被引用 4

一句话总结

本文证明，对于具有相对投影对象作为可缩对象的阿贝尔范畴，其瓦尔德豪森 $K$-理论要求满足准弗罗贝尼乌斯条件，才能存在柱丛函子，从而表明此类结构在稳定表示理论中并不比模型范畴更一般。本文计算了有限域的有限维准弗罗贝尼乌斯幂零扩张的稳定代数 $G$-理论，发现其同构于经过度数平移的拓扑循环同调，且为复定向的环谱。

ABSTRACT

We study the question of the existence of a Waldhausen category on any (relative) abelian category in which the contractible objects are the (relatively) projective objects. The associated $K$-theory groups are "stable algebraic $G$-theory," which in degree zero form a certain stable representation group. We prove both some existence and nonexistence results about such Waldhausen category structures, including the fact that, while it was known that the category of $R$-modules admits a model category structure if $R$ is quasi-Frobenius, that assumption is required even to get a Waldhausen category structure with cylinder functor---i.e., Waldhausen categories do not offer a more general framework than model categories for studying stable representation theory of rings. We study multiplicative structures on these Waldhausen categories, and we relate stable algebraic $G$-theory to algebraic $K$-theory and we compute stable algebraic $G$-theory for finite-dimensional quasi-Frobenius nilpotent extensions of finite fields. Finally, we show that the connective stable $G$-theory spectrum of $\mathbb{F}_{p^n}[x]/x^{p^n}$ is a complex oriented ring spectrum, partially answering a question of J. Morava about complex orientations on algebraic $K$-theory spectra.

研究动机与目标

• 确定相对阿贝尔范畴是否允许存在一种瓦尔德豪森范畴结构，使得相对投影对象为可缩对象。
• 研究准弗罗贝尼乌斯条件对于此类瓦尔德豪森范畴中柱丛函子存在的必要性。
• 探索由模的张量积诱导出的瓦尔德豪森 $K$-理论谱上的乘法结构。
• 将有限维有限域上代数的稳定代数 $G$-理论与代数 $K$-理论及拓扑循环同调联系起来。
• 计算截断多项式代数 $\mathbb{F}_p$ 上的连通稳定 $G$-理论谱的同伦群。

提出的方法

• 通过一对可允许类 $E$ 和 $F$ 在阿贝尔范畴上构造瓦尔德豪森范畴结构，将弱等价定义为 $E$-稳定等价，将纤维化定义为 $F$-单射。
• 证明柱丛函子存在的充要条件是每个对象都能通过 $F$-单射函子性地嵌入到一个 $E$-投影对象中，从而确立一种广义的准弗罗贝尼乌斯条件。
• 利用有限域上模的张量积的乘法结构，诱导出瓦尔德豪森 $K$-理论谱上的同伦交换环谱结构。
• 应用赫塞霍尔特-曼森对截断多项式环的拓扑循环同调的计算，将稳定 $G$-理论识别为 $TC_*(A;\hat{\mathbb{Z}}_p)$ 的度数平移版本。
• 利用阿蒂亚-赫兹布鲁赫谱序列及 $BU(1)$ 的 $2$-骨架，证明稳定 $G$-理论谱是复定向的。
• 利用同伦群上的 $\mathbb{Z}/p^n\mathbb{Z}$-模结构，消除 $\ell$-可除分量，确保计算的精确性。

实验结果

研究问题

• RQ1 在何种条件下，阿贝尔范畴上存在一种瓦尔德豪森范畴结构，使得相对投影对象为可缩对象？
• RQ2 此类瓦尔德豪森范畴中柱丛函子存在的准弗罗贝尼乌斯条件是否必要？
• RQ3 有限维有限域上准弗罗贝尼乌斯代数的瓦尔德豪森 $K$-理论谱是否可赋予乘法结构？
• RQ4 对于有限域的有限维幂零扩张，稳定代数 $G$-理论如何与代数 $K$-理论及拓扑循环同调相关联？
• RQ5 截断多项式代数 $\mathbb{F}_p[x]/x^{p^n}$ 的连通稳定 $G$-理论谱是否为复定向？

主要发现

• 在具有 $E$-稳定等价和 $F$-单射作为纤维化的阿贝尔范畴上，存在瓦尔德豪森范畴结构，且满足饱和性与扩张公理。
• 柱丛函子存在的充要条件是每个对象都能通过 $F$-单射函子性地嵌入到一个 $E$-投影对象中，这构成一种广义的准弗罗贝尼乌斯条件。
• 对于有限维有限域上准弗罗贝尼乌斯代数 $R$，其有限生成 $R$-模范畴具有瓦尔德豪森结构，其中单射为纤维化，稳定等价为弱等价。
• 稳定 $G$-理论 $(G_{st})_0(A) \cong \mathbb{Z}/p^n\mathbb{Z}$，由剩余域 $k$ 的类生成。
• 对所有正整数 $m$，有 $(G_{st})_{2m}(A) \cong TC_{2m-1}(A;\hat{\mathbb{Z}}_p) \cong \mathbb{W}_{mp^n-1}(k)/V_{p^n}\mathbb{W}_{m-1}(k)$，其中 $\mathbb{W}_i(k)$ 为大威特向量的第 $i$ 个滤子商。
• 稳定 $G$-理论谱 $g_{st}(A)$ 是复定向的，这由 $BU(1)$ 的阿蒂亚-赫兹布鲁赫谱序列中单位映射的满射性所证明。