[論文レビュー] A UNIVERSAL HKR THEOREM

Bertrand Toën, Tasos Moulinos+1 more|arXiv (Cornell University)|Jun 17, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用数 7

ひとこと要約

この論文は、ホッシャルト＝コスタント＝ローゼンバーグ（HKR）定理の普遍的バージョンを、正の特徴値および混合特徴値の設定で確立する。これは、トポロジカルな円とその形式的対応物の間を滑らかに補間するフィルター付き円を構成することで達成され、ホッシャルトホモロジーおよび循環ホモロジーから導来 de Rham コホホロジーへの自然なフィルトレーションを可能にする。主な貢献は、導来代数幾何学とウィットベクトルスキームを用いて、正の特徴値における古典的HKR同型写像の不成立を体系的に解消するフレームワークを提供することにある。

ABSTRACT

In this work we study the failure of the HKR theorem over rings of positive and mixed characteristic. For this we construct a filtered circle interpolating between the usual topological circle and a formal version of it. By mapping to schemes we produce this way a natural interpolation, realized in practice by the existence of a natural filtration, from Hochschild and cyclic homology to derived de Rham cohomology. The construction our filtered circle is based upon the theory of affine stacks and affinization introduced by the third author, together with some facts about schemes of Witt vectors.

研究の動機と目的

• 正の特徴値および混合特徴値の環における古典的ホッシャルト＝コスタント＝ローゼンバーグ（HKR）定理の不成立を解消すること。
• フィルター構造を用いて、トポロジカルな円とその形式的対応物の間の幾何的補間を構築すること。
• スキームおよびアフィンスタックを用いて、ホッシャルトホモロジーおよび循環ホモロジーから導来 de Rham コホホロジーへの自然なフィルトレーションを実現すること。
• 導来代数幾何学とウィットベクトルスキームを用いて、HKR同型写像を普遍的設定に拡張すること。
• 正の特徴値におけるホッシャルトホモロジーと de Rham コホホロジーを統一するフレームワークを提供すること。

提案手法

• 第3著者の発展させたアフィンスタックおよびアフィニゼーションの理論を用いて、フィルター付き円を構成する。
• 正の特徴値および混合特徴値における算術的構造を扱うために、ウィットベクトルスキームを用いる。
• フィルター付き円をスキームにマップすることで、ホッシャルトホモロジーおよび循環ホモロジー上の自然なフィルトレーションを生成する。
• 導来幾何的構成を用いて、トポロジカル構造と形式的構造の間を補間する。
• 補間のターゲットとして導来 de Rham コホホロジーを用い、ホッシャルトホモロジーと結びつける。
• フィルター付き円を用いて、導来代数幾何学における普遍的HKR型同型写像を確立する。

実験結果

リサーチクエスチョン

• RQ1 古典的HKR同型写像は、どのように正の特徴値および混合特徴値の環へ一般化できるか？
• RQ2 トポロジカルな円構造と形式的円構造の間を連続的に補間する幾何的対象は何か？
• RQ3 フィルター付き円の構成は、どのようにホッシャルトホモロジーから導来 de Rham コホホロジーへのフィルトレーションを促進するか？
• RQ4 ウィットベクトルスキームは、正の特徴値における構成をどのように支援するか？
• RQ5 アフィンスタックおよびアフィニゼーションの理論は、普遍的HKR定理を実現するためにどのような役割を果たすか？

主な発見

• フィルター付き円の構成は、トポロジカルな設定と形式的設定の間の幾何的ブリッジを提供し、導来幾何学における補間を可能にする。
• ホッシャルトホモロジーおよび循環ホモロジーから導来 de Rham コホホロジーへのフィルトレーションは、フィルター付き円とスキームへの写像を通じて自然に実現される。
• 導来構造とウィットベクトルスキームを活用することにより、正の特徴値および混合特徴値における普遍的HKR定理が成立する。
• 体系的なフィルトレーションを通じて、正の特徴値における古典的HKR同型写像の不成立が解消される。
• アフィンスタックおよびアフィニゼーションの使用により、補間の幾何的自然性と普遍性が保証される。