[論文レビュー] Norm Varieties and the Chain Lemma (after Markus Rost)

Christian Haesemeyer, Charles A. Weibel|ArXiv.org|Jun 20, 2008

Algebraic Geometry and Number Theory参考文献 9被引用数 4

ひとこと要約

本稿は、Bloch-Kato予想の証明における2つの基礎的結果であるRostの鎖補題とノルム原理の完全な証明を提供する。非自明なMilnor K理論mod pの記号に対して、特定のp形式および分解性を有する滑らかで射影的かつセルラーモデルの多様体が存在することを確立し、ノルム多様体上のある種のゼロサイクルがp次点から生じることを示し、すべての素数pおよびすべてのnについてノルム類似定理の検証を完了する。

ABSTRACT

The goal of this paper is to present proofs of two results of Markus Rost: the Chain Lemma and the Norm Principle. These are the final steps needed to complete the publishable verification of the Bloch-Kato conjecture, that the norm residue maps are isomorphisms between Milnor K-theory $K_n^M(k)/p$ and etale cohomology $H^n(k,μ_p^n)$ for every prime p, every n and every field k containing 1/p. Our proofs of these two results are based on Rost's 1998 preprints, his web site and Rost's lectures at the Institute for Advanced Study in 1999-2000 and 2005.

研究の動機と目的

• Bloch-Kato予想の証明における重要な段階であるRostの鎖補題の完全で公開された証明を提供すること。
• ノルム原理を確立し、ノルム多様体上の特定のゼロサイクルがp次点から生じることを保証すること。
• Rostの補題からRostモチーフの存在、最終的に完全なBloch-Kato予想への論理的つながりを完成させること。
• 1998–2005年のRostの未発表のプレプリントおよび講義を、算術的幾何学のコミュニティ向けに形式化し、明確化すること。

提案手法

• p特異体k上の滑らかで射影的かつセルラーモデルの多様体S（次元：p^n - p）を構成し、特定のMilnor K理論的関係を満たす可逆層およびp形式を備えることで鎖補題を証明する。
• すべての有限拡大の次数がpで割り切れるp特異体の構造を用い、記号およびノルムの振る舞いを制御する。
• モチービックゼロサイクルの群$\overline{A}_0(X,\mathcal{K}_1)$を射影の差の類としての商と定義し、ノルム写像$N: \overline{A}_0(X,\mathcal{K}_1) \to k^\times$を定義する。
• cobordism理論と次数公式を用い、モチービックホモロジー群上の写像$\psi$が特定のクラス上で消えることを示し、局所化技法の適用を可能にする。
• 体の拡大における帰納法および移行論法を用い、pのべき次元を持つ任意のゼロサイクルが、群$\overline{A}_0(X,\mathcal{K}_1)$の簡約化においてp次点から生じることを示す。
• Rost多様体の存在とモチービックホモロジー列の構造を活用し、Bloch-Kato予想を2つの補題に還元する。

実験結果

リサーチクエスチョン

• RQ1 任意の非自明な記号$\{a_1,\dots,a_n\} \in K_n^M(k)/p$に対して、p特異体k上の滑らかで射影的かつセルラーモデルの多様体Sが存在し、記号が$k(S)$上で分解し、必要なMilnor K理論的恒等式を満たすp形式が存在するか？
• RQ2 ノルム多様体X上で、$\overline{A}_0(X,\mathcal{K}_1)$内の任意のゼロサイクルが、k上p次点から生じるか？
• RQ3 多様体$X \times X \to X \to \text{Spec}(k)$を含むモチービックホモロジー列が、Rost多様体のために正確に保たれるための条件は何か？
• RQ4 ノルム多様体$\overline{A}_0(X,\mathcal{K}_1)$上のノルム写像が、Bloch-Kato予想の文脈でゼロサイクルの構造をどのように制御できるか？
• RQ5 p特異体およびp次拡大の不在が、分解多様体の構成と鎖補題の証明において果たす役割は何か？

主な発見

• 鎖補題が証明された：任意の非自明な記号$\{a_1,\dots,a_n\} \in K_n^M(k)/p$（kはp特異体）に対して、記号が$k(S)$上でp形式の鎖を介して分解され、必要なMilnor K理論的恒等式を満たす、次元$p^n - p$の滑らかで射影的かつセルラーモデルの多様体Sが存在する。
• ノルム原理が確立された：非自明な記号のノルム多様体Xに対して、$[k(z):k] = p^\nu$, $\nu > 1$を満たす任意のクラス$[z,\beta] \in \overline{A}_0(X,\mathcal{K}_1)$は、$[k(x):k] = p$を満たすクラス$[x,\alpha]$と同値である。これは、高次元のサイクルがp次点から生じることを示している。
• 多様体S上の第一チャーン類$c_1(J)^{\dim S}$の次数はpと互いに素であり、コホロロジー的構造の非退化性を保証する。
• Rost多様体に対して、モチービックホモロジー列$H_{-1,-1}(X \times X) \to H_{-1,-1}(X) \to H_{-1,-1}(k)$は正確である。これは、Rost多様体がBloch-Kato類似を実現する役割を果たしていることを確認する。
• Rost多様体の存在は鎖補題およびノルム原理から導かれる。これにより、完全なBloch-Kato予想への論理的経路が完成する。
• 証明はcobordism理論に依拠し、特定のモチービックホモロジークラス上で写像$\psi$が消えることの証明は、固定点のない群作用と局所化を用いて確立される。