[論文レビュー] On the Blumberg-Mandell Künneth theorem for TP

Benjamin Antieau, Akhil Mathew+1 more|arXiv (Cornell University)|Oct 16, 2017

Homotopy and Cohomology in Algebraic Topology被引用数 14

ひとこと要約

本稿は、正の標数の完備体上の滑らかで固有なdg圏に対する周期的トポロジカルサイクリックホモロジー（TP）のブルンベルグ＝マネル Künneth 定理について、より強力な新しい証明を提供する。THH(k) の π⁎ の正則性に焦点を当てたスペクトル代数的アプローチにより、S¹作用を伴う THH(k)-加群の圏における双対可能な対象が完全であることを示し、これにより精密化された Künneth 公式と TC⁻(C) に対する有限性定理が得られる。

ABSTRACT

We give a new proof of the recent Künneth theorem for periodic topological cyclic homology (TP) of smooth and proper dg categories over perfect fields of characteristic p>0 due to Blumberg and Mandell. Our result is slightly stronger and implies a finiteness theorem for topological cyclic homology (TC) of such categories.

研究の動機と目的

• 滑らかで固有な dg 圏に対する正標数における Blumberg-Mandell Künneth 定理を、より一般な完全性結果を示すことで強化すること。
• 正標数 p > 0 の完備体上の滑らかで固有な dg 圏に対するトポロジカルサイクリックホモロジー（TC⁻）の有限性定理を確立すること。
• 両方の圏が滑らかで固有でなくてもよいというより弱い仮定のもとで、Künneth 公式が成り立つことを示すこと—具体的には、2つの圏のうち片方のみが滑らかで固有であれば十分である。
• 強化された定理を応用し、超特異的 K3 表面の文脈において、クリスタルコホモロジーおよび TF ホモロジーの有限性結果を導出すること。
• 特定のクリスタルコホモロジー項の非有限生成性が、TP における周期性によって解消され、TP(X) が TP(k) 上で有限であることが保たれることを示すこと。

提案手法

• 著者たちは、S¹作用を伴う THH(k)-加群の ∞-圏において作業し、TP と TC⁻ をそれぞれ THH^{tS¹} と THH^{hS¹} として Tate 構成を用いて定義する。
• この圏における任意の双対可能な対象が完全であることを証明し、これにより TP および TC⁻ に対する Künneth 定理が導かれる。
• 主な技術的根拠は、|x| = 2 である π⁎THH(k) ≃ W(k)[x±1] という次数付き環の正則性であり、これにより完全対象が双対可能であることが保証される。
• 証明は厚い部分圏の議論を用いる：完全対象は単位を生成する厚い部分圏に属し、双対性はこの文脈でコンパクト性を意味する。
• 著者たちは結果を、p 以上の素数で局域化された整数環の上の相対的 THH に一般化し、THH を S⁰[q] 上の相対的 THH に置き換える。ここで q は一様化因子へと写像される。
• TC に対する Nikolaus–Scholze 公式を適用し、TF ホモロジーにおける非有限生成性が TP における周期性によって解消されることを示す。

実験結果

リサーチクエスチョン

• RQ1 2つの滑らかで固有な dg 圏のうち、片方のみがコンパクトである場合に、TP に対する Künneth 定理が成り立つかどうか。
• RQ2 Blumberg-Mandell 定理が、正標数における TC⁻(C) および TF(C) の有限性結果を示すように強化可能か。
• RQ3 共役スペクトル系列における特定のクリスタルコホモロジー項の非有限生成性が、TP(k) 上での TP(X) の有限性と整合的か。
• RQ4 π⁎THH(k) の正則性を用いて、S¹作用を伴う THH(k)-加群の圏における THH(C) の完全性を確立できるか。
• RQ5 TP(k) の周期性が、TF(X) の局所-グローバルスペクトル系列における非有限項を安定化させ、TF(X) の有限性を保証するか。

主な発見

• 著者たちは、S¹作用を伴う THH(k)-加群の ∞-圏における任意の双対可能な対象が完全であることを証明し、これにより Blumberg-Mandell Künneth 定理が強化される。
• C または D のいずれか一方が k 上で滑らかで固有であれば、TP(C ⊗k D) に対する Künneth 公式が成り立つ。両方が必要ではない。
• この結果により、TC⁻(C) = THH(C)^{hS¹} に対する有限性定理が導かれる。C が k 上で滑らかで固有であれば、TC⁻(C) は W(k)-加群として有限生成である。
• 正標数 p > 0 の完備体 k 上の超特異的 K3 表面 X に対して、TF_{-1}(X) は W(k)-加群として有限生成でないが、中間のコホモロジー項における非有限生成性にもかかわらず成り立つ。
• 共役スペクトル系列における非有限生成性は、TP における周期性によって解消され、関連する微分が周期的コピー全体にわたってバランスが取られる。
• 証明により、H^2(X, W_nΩ^1) の有限生成性の欠如が、TP における周期性によって相殺され、TP(X) が TP(k) 上で有限であることが保たれることを示した。