[論文レビュー] On the relation between Nori Motives and Kontsevich Periods

Annette Huber, Stefan Müller–Stach|arXiv (Cornell University)|May 4, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 18

ひとこと要約

この論文は、Kontsevichの形式的周期の代数のスペクトルが、ℚ 上のNoriの混合モチーフのカテゴリのモチーフ的ガロア群の下でのトールサーであることを証明する。Noriのモチーフの図式的構成とTannaka双対性を用いて、特異コホロジーとde Rhamコホロジーの周期同型が、このトールサー上の点として生じることを確立し、形式的周期をモチーフ的ガロア対称性の観点から幾何学的に解釈する。

ABSTRACT

We show that the spectrum of Kontsevich's algebra of formal periods is a torsor under the motivic Galois group for mixed motives over the rational numbers. This assertion is stated without proof by Kontsevich and originally due to Nori. In a series of appendices, we also provide the necessary details on Nori's category of motives.

研究の動機と目的

• Kontsevichの予想である、形式的周期の代数のスペクトルが、ℚ 上の混合モチーフのモチーフ的ガロア群の下でのトールサーであるという完全な証明を提供すること。
• 特にそのテンソル構造とTannakian構造に関して、Noriの混合モチーフのカテゴリの技術的基盤を明確化し、形式化すること。
• Kontsevichの形式的周期と、Noriの枠組みにおける周期同型の間の明確な対応を確立すること。
• 主結果に必要なトールサー、図式カテゴリ、リジディティ基準に関する詳細な技術的付録を提供すること。
• Kontsevichの周期の形式的定義と、Noriのモチーフの幾何的構成との間の溝を埋め、それらの深い構造的整合性を確認すること。

提案手法

• フィルトレーションを備えた代数的多様体の図式を用いて、Noriの混合モチーフのカテゴリを構成し、特異コホロジーとde Rhamコホロジーとにおける整合性を保証する。
• 混合モチーフのカテゴリにTannaka双対性を適用し、モチーフ的ガロア群をファイバー関手のテンソル自己同型の群として同定する。
• スペクトルSpec(P)を用いて、形式的周期の代数Pに幾何的構造を付与し、それがトールサー作用を有することを示す。
• テンソルカテゴリのリジディティ基準を用いて、混合モチーフのカテゴリがTannakian的かつリジッド的であることを証明する。
• リジディフィードアフィン被覆のČech複体と、非常に良いフィルトレーションに関連する複体との間に、自然な同型を確立し、函子的性を保証する。
• 形式的周期から複素数への評価写像が、特異コホロジーとde Rhamコホロジーの同型のトールサーを通じて因数分解されることを示す。

実験結果

リサーチクエスチョン

• RQ1 Kontsevichの形式的周期の代数のスペクトルは、自然にℚ 上の混合モチーブのモチーフ的ガロア群の下でのトールサーであるか？
• RQ2 Noriの図式的モチーブ構成は、形式的周期代数と周期同型とどのように関係しているか？
• RQ3 非常に良いフィルトレーションと細胞的分解は、周期ペアリングを幾何的に実現するために果たす明確な役割は何か？
• RQ4 NoriのカテゴリにTannakian形式主義を適用することで、形式的周期上のトールサー構造を純粋に導出可能か？
• RQ5 形式的周期の間の関係は、混合モチーブのカテゴリにおける幾何的同型とどの程度一致するか？

主な発見

• 代数の形式的周期のスペクトル、Spec(P) は、自然にℚ 上のNoriの混合モチーブカテゴリのモチーブ的ガロア群の下でのトールサーである。
• 特異コホロジーとde Rhamコホロジーの周期同型は、このトールサー上の複素数点として実現され、Kontsevichの予想を確認する。
• 非常に良いフィルトレーションとČech複体を用いたNoriの混合モチーブカテゴリの構成は、導来カテゴリにおける明確に定義された函手的複体をもたらす。
• 形式的周期の代数Pは、特異およびde Rhamファイバー関手の同型のトールサー上の関数の環に同型である。
• Noriのカテゴリのリジディティにより、モチーブ的ガロア群はSpec(P)に自由かつ推移的に作用し、トールサー構造が確認される。
• 評価写像P → ℂ が単射であることは、周期予想が成り立つことと同値であり、結果が超越論の深い予想と関係している。