[论文解读] K-theory and polynomial functors

Clark Barwick, Saul Glasman+2 more|arXiv (Cornell University)|Feb 1, 2021

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

一句话总结

本文证明了稳定 ∞-范畴上的代数 K-理论通过一个普遍性质，可函子性地延拓至多项式函子，而不仅限于精确函子。作为关键应用，它通过证明 TR(𝔽_p) 是离散的，给出了 Bökstedt 计算 THH(𝔽_p) 的新证明，该证明利用了同伦群中的 p-可除性与 Goodwillie 微积分。

ABSTRACT

We show that the algebraic K-theory space of stable infinity-categories is canonically functorial in polynomial functors. As a consequence, we obtain a new proof of Bökstedt's calculation of $\mathrm{THH}(\mathbb{F}_p)$.

研究动机与目标

• 将代数 K-理论的函子性从精确函子扩展至稳定 ∞-范畴之间的多项式函子。
• 在稳定 ∞-范畴与多项式函子的 ∞-范畴上，为 K-理论提供一个普遍特征化。
• 将此扩展的函子性应用于给出 Bökstedt 对 THH(𝔽_p) 计算的新证明。
• 通过同伦群中的 p-可除性，证明 TR(𝔽_p) 是离散的。
• 利用 [AN21] 关于循环谱的结果，将 THH(𝔽_p) 的结构与 TR(𝔽_p) 联系起来。

提出的方法

• 在 Cat_∞^poly 上定义一个函子 K̃，即小的、幂等完备的稳定 ∞-范畴与多项式函子的 ∞-范畴。
• 利用 K-理论的普遍性质，将从 Cat_∞^perf 到 Cat_∞^poly 的典范映射 ι → K 延拓。
• 应用 Goodwillie 微积分来分析循环 K-理论的第 m 个 Goodwillie 近似 P_mK^cyc。
• 对次数 ≤ p 的函子 f，构造一个映射 f_*: (P_{mp}K^cyc)(V) → (P_mK^cyc)(S_pV)。
• 通过乘积的分解与零因子上的消失性，证明恒等函子在 π_i（i ≥ 1）上诱导出一个被 p 整除的映射。
• 利用导出 p-完备性与 p-可除性，得出 π_i(TR(𝔽_p)) = 0 对所有 i ≥ 1 成立，因此 TR(𝔽_p) 是离散的。

实验结果

研究问题

• RQ1 代数 K-理论能否在稳定 ∞-范畴之间函子性地延拓至多项式函子？
• RQ2 当 K-理论被延拓至多项式函子时，其普遍特征化是什么？
• RQ3 多项式函子性如何蕴含 TR(𝔽_p) 的离散性？
• RQ4 能否通过 TR(𝔽_p) 的同伦论性质恢复 Bökstedt 对 THH(𝔽_p) 的计算？
• RQ5 Goodwillie 微积分在分析有限域的 K-理论中扮演何种角色？

主要发现

• 代数 K-理论函子 K 可自然地延拓为 Cat_∞^poly 上的函子 K̃，即稳定 ∞-范畴与多项式函子的 ∞-范畴。
• 该延拓 K̃ 满足与 K 在 Cat_∞^perf 上相同的普遍性质，但此时其态射为多项式函子。
• 在有限维 𝔽_p-向量空间上的恒等函子在同伦群 π_i（i ≥ 1）上诱导出一个被 p 整除的映射。
• 该 p-可除性意味着 π_i(TR(𝔽_p)) 是唯一的 p-可除群，因此消失，故 TR(𝔽_p) 是离散的。
• TR(𝔽_p) 的离散性意味着 THH(𝔽_p)_* ≅ 𝔽_p[σ]，其中 |σ| = 2，从而恢复 Bökstedt 定理。
• 该结果与 [AN21] 一致，表明 THH(𝔽_p) 的整个循环结构由 TR(𝔽_p) 决定。