§§ 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 に載っている巡回拡大に関する一事実だけ…