[論文レビュー] Norm varieties and algebraic cobordism

Markus Rost|ArXiv.org|Apr 15, 2003

Commutative Algebra and Its Applications参考文献 14被引用数 32

ひとこと要約

本稿は、ノルム多様体とそのブロッハ＝カートー予想（ミルナー予想 mod p）の証明における役割に関する基礎的結果を確立し、代数的コボルディズムを通じたコhomological基準を導入する。ノルム多様体は接バンドルの特徴的数を用いて定義され、これらの不変量の次数公式が示され、それらが被約的不変量であることが示される。主な貢献は、記号に関するヒルベルトの90条で、ヴォエヴォズキーの定理と組み合わせることで、ノルム類似写像の全単射性が導かれる。

ABSTRACT

We outline briefly results and examples related with the bijectivity of the norm residue homomorphism. We define norm varieties and describe some constructions. We discuss degree formulas which form a major tool to handle norm varieties. Finally we formulate Hilbert's 90 for symbols which is the hard part of the bijectivity of the norm residue homomorphism, modulo a theorem of Voevodsky.

研究の動機と目的

• ミルナーK理論 mod p における記号のためのノルム多様体の存在を確立し、ブロッハ＝カートー予想の幾何的枠組みを提供すること。
• 接バンドルの特徴的数を用いてノルム多様体を定義し、次数公式を用いてそれらの被約的不変性を証明すること。
• 記号に関するヒルベルトの90条を定式化・証明し、ノルム類似写像の全単射性を完成させるために必要なコhomological条件を満たすこと。
• 特にp乗次元の文脈において、ミルナーK理論と代数的コボルディズムを特徴的数を通じて結びつけること。
• ブロッハ＝カートー予想をノルム多様体の存在と分割体のK1群上のノルム写像の単射性に、幾何的かつコhomologicalに還元すること。

提案手法

• 体k（pとは異なる特性）上の滑らかで、固有で、既約な多様体Xとして、記号$ u = \{a_1, \dots, a_n\} \bmod p $のノルム多様体を定義する。条件は以下の通り：(1) $ u $ は $ k(X) $ 上で分解する、(2) $ \dim X = p^{n-1} - 1 $、(3) $ s_d(X)/p \not\equiv 0 \mod p $、ここで $ s_d $ はチャーン類におけるd番目のニュートン多項式である。
• 次数公式を用いる：$ \frac{s_d(Y)}{p} \equiv (\deg f) \frac{s_d(X)}{p} \mod J(X) $、ここで $ f: Y \to X $ は次元 $ d = p^n - 1 $ の滑らかで固有な多様体の間の準同型であり、$ J(X) = I(X) + p\mathbb{Z} $、$ I(X) $ は $ X $ のインデックスである。
• $ s_d(X)/p \mod J(X) $ が被約的不変量であることを確立し、これはノルム多様体の定義が被約的モデル間で一貫していることを示す。
• トランスセンドンス次元1の分割体上で、ターム記号とノルム写像を用いたK理論群の複体を構成し、群 $ H_0(u, K_1) $ を得る。
• ノルム写像 $ N_u: H_0(u, K_1) \to K_1k $ を定義し、それをガロアコhomologyおよびK理論の古典的定理に還元することで、その単射性（記号に関するヒルベルトの90条）を証明する。
• 次元 $ p^{n-1} - 1 $ のp一般分割多様体の存在を用いて、記号に関するヒルベルトの90条の証明を、既知の事例（例：$ n \leq 3 $）に還元する。

実験結果

リサーチクエスチョン

• RQ1 与えられた記号 $ \{a_1, \dots, a_n\} \in K^M_n(k)/p $ のノルム多様体を特徴づける幾何的条件は何か？
• RQ2 接バンドルの特徴的数は被約的写像の下でどのように振る舞い、どのような不変量が保存されるか？
• RQ3 代数的コボルディズムは、$ s_d(X)/p \mod p $ を通じて記号の非自明性を検出する役割を果たすか？
• RQ4 ノルム写像 $ N_u: H_0(u, K_1) \to K_1k $ の単射性はどのように確立され、ブロッハ＝カートー予想にどのような意味を持つのか？
• RQ5 p一般分割多様体の存在が、記号に関するヒルベルトの90条をどのように導くのか、どのような条件下で成立するか？

主な発見

• すべての記号 $ \{a_1, \dots, a_n\} \bmod p $ に対してノルム多様体が存在し、関数体上で記号が消えること、次元が $ p^{n-1} - 1 $ であること、および $ s_d(X)/p \mod p $ が非自明であることによって特徴づけられる。
• 滑らかで固有な多様体 $ Y \to X $ の写像 $ f $ に対して、次数公式 $ \frac{s_d(Y)}{p} \equiv (\deg f) \frac{s_d(X)}{p} \mod J(X) $ が成り立ち、$ s_d(X)/p \mod J(X) $ の被約的不変性が確立される。
• $ s_d(X)/p \mod J(X) $ の類は被約的不変量であり、これは $ X $ がノルム多様体であるときかつそのときに限り非自明である。
• 記号に関するヒルベルトの90条が成立する：ノルム写像 $ N_u: H_0(u, K_1) \to K_1k $ は単射であり、ヴォエヴォズキーの定理と組み合わせることで、ノルム類似写像の全単射性が導かれる。
• 特性0では、すべての重さ $ \leq m $ の記号に対して次元 $ p^{n-1} - 1 $ のp一般分割多様体が存在するならば、重さ $ \leq m $ の記号に関するヒルベルトの90条が成立する。特に $ n \leq 3 $ の場合は、既知の構成（セベリ＝ブリュア、メルクルジェフ＝シュスリン多様体）により確立されている。
• p=2の場合、$ N_u $ の単射性は、ピフェルネイバーのスピン形式の特別正規直交群上のスピン形式ノルムの核のR-自明性と同値であり、これにより古典的代数的K理論と結びつく。