同余群的稳定同调

本文证明，在一个非常一般的框架下，同余群的 d 次同调定义了一个次数至多为 2d 的弱多项式函子，并描述了该函子模掉更小次数多项式函子的情形。我们的主要工具是一个谱序列，它连接了类同余群（其形式设定接近于 2010 年与 Vespa 为正交群引入的设定）的同调与函子同调。我们证明并以关键方式利用了多项式函子上的一些张量结构和导出 Kan 扩张的性质。我们的结果尤其以不同的方法推广了 Suslin 关于整数代数 K 理论中切除的工作，以及 Church-Miller-Nagpal-Reinhold 近期的一篇预印本。