[論文レビュー] 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-理論の関手的拡張が普遍性を用いて可能であることを確立する。主な応用として、ホモトピー群における p-可除性とグッドウィルジー計算を用いて、TR(𝔽_p) が離散的であることを示すことで、Bökstedt の THH(𝔽_p) の計算に対する新しい証明が得られる。

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̃ を定義する。ここで Cat_∞^poly は、小さい、idempotent 完全な安定 ∞-圏と多項式関手からなる ∞-圏である。
• K-理論の普遍性を用いて、Cat_∞^perf から Cat_∞^poly への標準的写像 ι → K を拡張する。
• グッドウィルジー計算を用いて、循環的 K-理論 P_mK^cyc の m 次グッドウィルジー近似を分析する。
• 次数 ≤ p の関手 f に対して、写像 f_*: (P_{mp}K^cyc)(V) → (P_mK^cyc)(S_pV) を構成する。
• 恒等関手が、i ≥ 1 に対して π_i に p で割り切れる写像を誘導することを示す。これは積への因数分解とゼロ因子での消滅を経由する。
• 導来 p-完備性と p-可除性を用いて、π_i(TR(𝔽_p)) = 0 (i ≥ 1) を結論づけ、したがって TR(𝔽_p) が離散的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 代数的 K-理論は、安定 ∞-圏間の多項式関手へと関手的に拡張可能か？
• RQ2 多項式関手にまで拡張された K-理論の普遍的特徴づけは何か？
• RQ3 多項式関手的関手性は、なぜ TR(𝔽_p) の離散性を導くのか？
• RQ4 Bökstedt の THH(𝔽_p) の計算は、TR(𝔽_p) のホモトピー的性質から再構成可能か？
• RQ5 グッドウィルジー計算は、有限体の K-理論を分析する上でどのような役割を果たすか？

主な発見

• 代数的 K-理論関手 K は、安定 ∞-圏と多項式関手の ∞-圏 Cat_∞^poly 上への自然な関手 K̃ に拡張可能である。
• K̃ は、Cat_∞^perf 上での K と同じ普遍的性質を満たすが、今や多項式関手が射として扱われる。
• 有限次元の 𝔽_p-ベクトル空間上の恒等関手は、i ≥ 1 に対してホモトピー群 π_i に p で割り切れる写像を誘導する。
• この p-可除性により、π_i(TR(𝔽_p)) は一意に p-可除であり、したがって消える。よって TR(𝔽_p) は離散的である。
• TR(𝔽_p) の離散性は、THH(𝔽_p)_* ≅ 𝔽_p[σ] かつ |σ| = 2 を意味し、Bökstedt の定理が回復される。
• この結果は [AN21] と整合的であり、THH(𝔽_p) の完全な巡回スペクトル構造が TR(𝔽_p) によって決定されることを示している。