[論文レビュー] Rost Nilpotence and Free Theories

Stefan Gille, Alexander Vishik|arXiv (Cornell University)|Apr 12, 2018

Algebraic Geometry and Number Theory参考文献 6被引用数 3

ひとこと要約

本稿は、h が一般に定数な整合的コホロジー理論であるとき、h-モチーフの圏における射影的同次的多様体に対して、Rostの零冪原理を確立する。主な応用は、代数コホモロジーとその後続理論を含む自由理論に向けられる。著者らは、任意の有限生成な拡大体へのコホロジーを拡張する整合的理論を導入し、理論が一般に定数であるとき、零冪性が成り立つことを示す。モチーフに関する帰納法とRostの補題を用いて、体の拡大における核の振る舞いを制御する。

ABSTRACT

We introduce coherent cohomology theories h_* and prove that if such a theory is moreover generically constant then the Rost nilpotence principle holds for projective homogeneous varieties in the category of h_*-motives. Examples of such theories are algebraic cobordism and its descendants the free theories.

研究の動機と目的

• 射影的同次的多様体に対して、h-モチーフの圏におけるRostの零冪原理を確立すること。
• 基本体のすべての有限生成拡大体へコホロジー関手を拡張する整合的コホロジー理論を導入し、その性質を研究すること。
• 自由理論および一般に定数な整合的理論に対して、Rostの零冪原理が成り立つことを示すこと。
• Rostの零冪性が方向付きコホロジー公理の形式的帰結でないことを、非整合的設定における反例を構成することで示すこと。

提案手法

• 基本体 k 上の拡張された方向付きコホロジー理論を定義し、各有限生成拡大体 F/k に対して、局所化および引き戻し構造を持つコホロジー理論 h∗F を割り当てる。
• 多様体の函数体上でのコホロジー環の間の整合性条件 θY/X を用いて、整合的理論の概念を導入する。
• 自由理論（Lazard環 L に対して h∗(X) = h∗(F) ⊗L Ω∗(X) と定義されるもの）が一般に定数かつ整合的であることを証明する。
• 代数閉包上での X のモチーフ分解におけるTateモチーフ成分の個数に関する帰納法を用い、Rostの補題を駆使して体拡大における零冪性を制御する。
• 非整合的理論におけるRostの零冪性の反例を構成し、非自明な関係を持つ定数理論ですら、零冪性が成立しないことを示す。
• Rostの補題を応用し、すべての剰余体上で消える対応が、モチーフ圏においてそのべきがゼロであることを導く。

実験結果

リサーチクエスチョン

• RQ1 コホロジー理論がどのような条件下で、h-モチーフ圏における射影的同次的多様体に対してRostの零冪原理が成り立つか。
• RQ2 Rostの零冪原理は、チャウモチーフを超えて、代数コボルディズムのようなより一般的なコホロジー理論へ拡張可能か。
• RQ3 Rostの零冪原理は、方向付きコホロジー公理の形式的帰結であるか、それとも追加の構造的条件を要するか。
• RQ4 コホロジー理論が満たすべき最小限の条件は何か。特に、体拡大で自明になる対応がモチーフ圏において零冪であることを保証するには。
• RQ5 柔軟な性質を持つ整合的コホロジー理論をどのように構成できるか。また、その結果、零冪性にどのような影響があるか。

主な発見

• コホロジー理論 h∗ が一般に定数かつ整合的である限り、任意の体 k 上のすべての射影的同次的多様体に対して、Rostの零冪原理が成り立つ。
• 自由理論、特に代数コボルディズムとその後続理論は、射影的同次的多様体に対してRostの零冪原理を満たす。
• 整合的コホロジー理論の理論は、Rostの零冪性が成り立つ一般の枠組みを提供し、チャウ理論を超えて拡張可能である。
• 自由理論より大きなクラスの、一般に定数かつ整合的な理論が存在することを示し、Rostの零冪性を満たす理論のクラスが自由理論を厳密に超えることを示す。
• 反例により、非整合的理論ではRostの零冪性が成立しないことが示され、標準公理の形式的帰結ではないことが証明される。
• 体拡大 L において消える対応 α ∈ Endk(X)h に対して、次元およびモチーフ分解における成分の個数にのみ依存する整数 m ≥ 1 が存在し、α◦m = 0 が成り立つ。