Milnor 予想
次の問題を解決したいのでした。 問題 \( a_1,\dots ,a_w \in k^*\) とする。スキーム \( Q_{\underline{a}}\) を、次の方程式で定まるものとする。 \[Q_{\underline{a}}:=\bigl\{ \langle\langle a_1,\dots ,a_{w-1}\rangle\rangle = a_w t^2 \bigr\}\subse…
前回までに、Milnor 予想の証明は次の問題に帰着されていました。 問題 \( a_1,\dots ,a_w \in k^*\) とする。スキーム \( Q_{\underline{a}}\) を、次の方程式で定まるものとする。 \[Q_{\underline{a}}:=\bigl\{ \langle\langle a_1,\dots ,a_{w-1}\rangle…
この記事ではつぎの主張の証明を解説します。 残った課題:\( 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…
この記事では Rost のノルム原理と呼ばれる定理の証明を解説したいですが、勉強中です。。。
前の記事の補題 2 の証明 Rost の冪零定理 前の記事の補題 2 の証明 補題 2 を便宜のため再掲します。 補題 2 非特異な 2 次超曲面 \(X/k\) と、元 \( \rho \in \mathrm{End}_{DM(k)}(X) \) について、或る体拡大 \( K/k\) ののちに ρ が冪等になるならば、…
この記事は Karpenko の 4 ページからなるノート「A shortened construction of the Rost motive」を見ながら書いています。チンタラ書くので、Chow 群のリテラシーのある方は、Karpenko の論文を読む方が絶対に速いです。 定理の主張 定理の証明 (補題 1) …
\( \mathbf{Z}/2\) 係数の Bloch-Kato 予想が一般の係数に先行して解けたのは、2 次形式の理論を利用して作った多様体が、証明を便利に回す歯車として使えるからです。 ただし、Voevodsky 論文じたいでは、2 次形式の理論は、表立って論じられません。すべて…
体 \( k\) の有限個の可逆元 \( a_1,\dots ,a_n\in k^* \) に対して、Pfister form を次のテンソル積で定義します。 \[\langle\langle a_1,\dots ,a_n\rangle\rangle := \langle 1,-a_1 \rangle \otimes \dots \otimes \langle 1,-a_n \rangle .\] これは \(…
前の記事までで、論文「Reduced power operations in motivic cohomology」の本質部分はさらったと思われるので、次の記事からは、Milnor 予想 (Bloch-加藤予想の \( \mathbf{Z}/2\) 係数の場合) を扱った論文「Motivic cohomology with \( \mathbf{Z}/2\)-c…