この記事ではつぎの主張の証明を解説します。 残った課題：\( a_1,\dots ,a_w \) を \(k^*\) の任意の元とするとき、ガロアコホモロジーの写像 \[ H^{w+1,w}_{et}(Spec(k),\mathbf{Z}_{(2)}) \to H^{w+1,w}_{et}(Spec(k(Q_{\underline{a}}) ),\mathbf{Z}_{(2…

§§ 5, 6 で、Bloch-Kato 予想が次の主張から従うことを、一応説明しました。 目標：\[ H^{w+1,w}_L (Spec(k),\mathbf{Z}_{(l)} )=0 \tag{H90\( (w,l)\) }\] これを考える上で役に立つ事実として、§5 で次のことがわかっているのでした。 定理 [\(\mathbf{Z}/…

§5 と §6 では、Bloch-Kato 予想の証明を、次数に関する帰納法で遂行する際に用いる、技術的な命題を証明しています。 §5 に出てくる対象は、体の Milnor K群とガロアコホモロジーのみで、引用する結果は Bass-Tate に載っている巡回拡大に関する一事実だけ…

設定を思い出しましょう。\( k\) を標数 \(\neq 2\) の体とし、\(k^*\) の元の列 \( \underline{a}=(a_1,\dots ,a_n)\) を任意に取ります。 2次超曲面 \( Q_{\underline{a}} \subset \mathbf{P}^{2^{n-1}}\) を方程式 \[\langle\langle a_1,\dots ,a_{n-1}\r…