[論文レビュー] On nilpotent extensions of $\infty$-categories and the cyclotomic trace

Elden Elmanto, Vladimir Sosnilo|arXiv (Cornell University)|Oct 19, 2020

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

ひとこと要約

この論文は、Dundas-Goodwillie-McCarthy (DGM) 定理のサイクロトミック・トレースへの拡張を、単生成でない安定 ∞-圏へと展開し、べき零拡大と重み構造を用いる。加法的 ∞-圏におけるべき零拡大を導入し、Bondarko の重み構造を活用することで、スタック上の切断可能不変量の cdh 降下を確立し、複素数体上の導来スタックに関して Blanc の格子予想の新たなケースを証明する。

ABSTRACT

We do three things in this paper: (1) study the analog of localization sequences (in the sense of algebraic $K$-theory of stable $\infty$-categories) for additive $\infty$-categories, (2) define the notion of nilpotent extensions for suitable $\infty$-categories and furnish interesting examples such as categorical square-zero extensions, and (3) use (1) and (2) to extend the Dundas-Goodwillie-McCarthy theorem for stable $\infty$-categories which are not monogenically generated (such as the stable $\infty$-category of Voevodsky's motives or the stable $\infty$-category of perfect complexes on some algebraic stacks). The key input in our paper is Bondarko's notion of weight structures which provides a "ring-with-many-objects" analog of a connective $\mathbb{E}_1$-ring spectrum. As applications, we prove cdh descent results for truncating invariants of stacks extending the work of Hoyois-Krishna for homotopy $K$-theory, and establish new cases of Blanc's lattice conjecture.

研究の動機と目的

• 環スペクトルを超えて、単一のコンパクト生成子を持たない安定 ∞-圏へ DGM 定理を一般化すること。
• 加法的 ∞-圏におけるべき零拡大（特にカテゴリカルな平方零拡大を含む）を定義・研究し、古典的べき零イデアルの一般化とする。
• 拡張された DGM 定理を用いて、代数的スタック上の切断可能不変量の cdh 降下を確立すること。
• 開発された枠組みを用いて、複素数体上の導来スタックに関して Blanc の格子予想の新たなケースを証明すること。
• 安定 ∞-圏の重みハートの文脈において、さまざまな K-理論不変量（直接和、Waldhausen、BGT）を統一すること。

提案手法

• 加法的 ∞-圏におけるべき零拡大の概念を導入し、環スペクトルにおけるイデアルに基づくべき零性の一般化とする。
• Bondarko の重み構造を用いて、接続的 E1-環スペクトルの「多くの対象を持つ環」の類似をモデル化する。
• Verdier 商とべき等元完備化を用いて、加法的 ∞-圏における局所化系列を構成する。
• モリタ理論と ind-完備化を用いて、加法的 ∞-圏とコンパクト生成子をもつ安定 ∞-圏との関係を関係づける。
• 重み構造を用いて既知のケースに還元することで、加法的 ∞-圏におけるべき零拡大に対する DGM 定理を確立する。
• cdh 降下および Nisnevich 降下の技術を用いて、特に導来スタックおよび ANS スタックを含むスタックへ不変量を拡張する。

実験結果

リサーチクエスチョン

• RQ1 サイクロトミック・トレースに関する DGM 定理は、単生成でない安定 ∞-圏へ拡張可能か？
• RQ2 ∞-圏におけるべき零イデアルの適切な一般化は何か？ そして、そのような拡大はどのように定義され、研究されるべきか？
• RQ3 代数的スタック上の切断可能不変量に関して、古典的ケースを超えて cdh 降下が成立するか？
• RQ4 複素数体上の導来スタックに関して、Blanc の格子予想はどのような条件下で成立するか？
• RQ5 安定 ∞-圏の重みハートの文脈において、さまざまな K-理論不変量（直接和、Waldhausen、BGT）はどのように関係するか？

主な発見

• DGM 定理は、加法的 ∞-圏におけるべき零拡大へと拡張され、非単生成安定 ∞-圏のための枠組みを提供する。
• 著者らは、幾何的条件を満たす導来スタック（商スタックや ANS スタックを含む）に対して、切断可能不変量の cdh 切断を証明する。
• Blanc の格子予想の新たなケースが、Y がアフィンで G が再帰的である形の [Y/G] の形をした導来スタック、および複素数体上の滑らかな ANS スタックについて検証される。
• 有界重みを持つ安定 ∞-圏に対して、重みハートにおける直接和、Waldhausen、BGT K-理論不変量は自然に同値であることが示される。
• 重みハートの連結 K-理論が、全カテゴリの非連結 K-理論の連結被覆であることが示される。
• この枠組みにより、Voevodsky のモチーフや代数的スタック上の完全複体に対するトレース法の適用が可能となり、従来の DGM 定理の範囲外にあった領域がカバー可能になる。