[論文レビュー] Spectral sequences for cyclic homology

D. Kaledin|arXiv (Cornell University)|Jan 4, 2016

Homotopy and Cohomology in Algebraic Topology被引用数 6

ひとこと要約

本稿は、特徴標数 0 の体上の DG 環の周期的ホッジホモロジーに対する Kontsevich-Soibelman の退化予想を、非負のホモロジー次元の仮定なしに証明する。共周期的ホッジホモロジーに対する共役スペクトル系列を構成し、Deligne-Illusie 方式の正標数への還元を活用することで、ホモロジカルに滑らかでかつ固有な DG 環に対して、ホッジからデ ルラムへのスペクトル系列の退化を確立する。

ABSTRACT

We prove that for a homologically smooth and proper DG algebra over a field of characteristic 0, the Hodge-to-de Rham spectral sequence degenerates. This has been conjectured by M. Kontsevich and Y. Soibelman arXiv:math/0606241 and proved in arXiv:math/0611623 under a technical assumption. In this paper, the assumption is removed, and the argument is considerably simplified (in particular, it no longer uses Dold-Kan equivalence and simplicial methods). We also analyse the degeneration of the conjugate spectral sequence in positive caracteristic constructed in arXiv:1509.08784.

研究の動機と目的

• 特徴標数 0 の体上での DG 環の周期的ホッジホモロジーに対する Kontsevich-Soibelman 退化予想を、技術的制限なしに証明すること。
• 従来の研究で DG 環が非負の次数に集中していることを仮定していたという制限を解消すること。
• [Ka5] で導入された新しい不変量である共周期的ホッジホモロジーに対して、共役スペクトル系列を構成すること。
• Hochschild ホモロジーの代わりに共周期的ホッジホモロジーを用いることで、DG 環へ Deligne-Illusie 法を拡張すること。
• 従来の構成で除外されていた特徴標数 2 の場合を、トレース関手と分割技術を用いて扱うこと。

提案手法

• フィルター付き DG 圏と単体的対象の縁方向分割を用いて、共周期的ホッジホモロジーに対する共役スペクトル系列を構成する。
• ホモロジカルに滑らかで有界な DG 環に対して、周期的ホッジホモロジーと共周期的ホッジホモロジーの間の比較同型を用いる。
• ベース体の有限生成部分環を介して正標数への還元を適用し、良い残渣体を持つ極大イデアルの存在を保証する。
• 正標数において、有限次元の Hochschild ホモロジーと有界なコホモロジー次元のおかげで、共役スペクトル系列が退化することを活用する。
• すべての極大イデアルを法として微分が消えることから、特徴標数 0 において微分が恒等的に消えることを導く。
• 特徴標数 2 の場合を、[Ka6] のトレース関手と分割結果を用いて扱い、従来の研究におけるギャップを是正する。

実験結果

リサーチクエスチョン

• RQ1 特徴標数 0 の体上のホモロジカルに滑らかで固有な DG 環に対して、ホッジからデ ルラムへのスペクトル系列は、非負のホモロジー次元を仮定せずに退化するか？
• RQ2 特徴標数 2 を含むすべての標数において、共周期的ホッジホモロジーに対する共役スペクトル系列を構成できるか？
• RQ3 ホモロジカルに滑らかで有界な DG 環に対して、周期的ホッジホモロジーと共周期的ホッジホモロジーの間に同型が存在するか？
• RQ4 Hochschild ホモロジーの代わりに共周期的ホッジホモロジーを用いることで、DG 環への Deligne-Illusie 法の適応は可能か？
• RQ5 特徴標数正の状況下で、DG 環に対する相対的共役フィルトレーションを構成する際に、Tate コホモロジーはどのような役割を果たすか？

主な発見

• 任意のホモロジカルに滑らかでホモロジカルに固有な DG 環について、特徴標数 0 の体上ではホッジからデ ルラムへのスペクトル系列が退化する。
• 共周期的ホッジホモロジーに対する共役スペクトル系列は、正しい不変量へ収束し、有限次元の Hochschild ホモロジーのおかげで正標数において退化する。
• ホモロジカルに滑らかで有界な DG 環に対して、$ HP_{ullet}(A) \to \bar{HP}_{ullet}(A) $ の自然同型が成り立つ。これにより、周期的ホッジホモロジーとの比較が可能になる。
• 特徴標数 2 の場合がトレース関手と分割技術を用いてうまく扱われ、従来の構成におけるギャップが解消された。
• 微分がすべての極大イデアルを法として消えることから、特徴標数 0 の体上では微分が恒等的に消える。
• 結果として、技術的制限（ホモロジー次元や単体的技法）なしに、Kontsevich-Soibelman 退化予想が完全に一般化された形で確認された。