[论文解读] Norm varieties and algebraic cobordism

Markus Rost|ArXiv.org|Apr 15, 2003

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

一句话总结

本文建立了关于范数簇及其在证明Bloch-Kato猜想（Milnor猜想模p）中作用的基础性结果，通过代数cobordism引入了上同调准则。它利用切丛的特征数定义范数簇，并证明了这些不变量的次数公式，表明它们是双有理不变量。关键贡献是符号的希尔伯特第90条，该条件与Voevodsky定理结合，意味着范数剩余同态的双射性。

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.

研究动机与目标

• 建立Milnor K-理论模p中符号的范数簇的存在性，为Bloch-Kato猜想提供几何框架。
• 通过切丛的特征数定义范数簇，并利用次数公式证明其双有理不变性。
• 提出并证明符号的希尔伯特第90条，即完成范数剩余同构证明所必需的关键上同调条件。
• 通过特征数，特别是p-幂次维数的情形，将Milnor K-理论与代数cobordism联系起来。
• 将Bloch-Kato猜想的几何与上同调化归为范数簇的存在性以及分裂域上K1-群的范数映射的单射性。

提出的方法

• 将符号 $ u = \{a_1, \dots, a_n\} \bmod p $ 的范数簇定义为在特征 $ \neq p $ 的域 $ k $ 上的光滑、完备、不可约代数簇 $ X $，满足：(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 $，并通过将其约化为伽罗瓦上同调与K-理论中的经典定理，证明其单射性——即符号的希尔伯特第90条。
• 利用维数为 $ p^{n-1} - 1 $ 的 $ p $-通用分裂簇的存在性，将符号的希尔伯特第90条的证明约化为特征为0时的已知情形（例如 $ n \leq 3 $）的证明。

实验结果

研究问题

• RQ1 何种几何条件可表征给定符号在 $ K^M_n(k)/p $ 中的范数簇？
• RQ2 切丛的特征数在双有理映射下如何变化，哪些不变量被保持？
• RQ3 代数cobordism在通过 $ s_d(X)/p \mod p $ 检测符号非平凡性方面起何作用？
• RQ4 如何建立范数映射 $ N_u: H_0(u, K_1) \to K_1k $ 的单射性，其对Bloch-Kato猜想有何含义？
• RQ5 在何种条件下，$ p $-通用分裂簇的存在性可推出符号的希尔伯特第90条？

主要发现

• 所有符号 $ \{a_1, \dots, a_n\} \bmod p $ 均存在范数簇，其定义为：符号在函数域上分裂，维数为 $ p^{n-1} - 1 $，且 $ s_d(X)/p \mod p $ 非零。
• 对于维数为 $ d = p^n - 1 $ 的光滑完备代数簇之间的态射 $ f: Y \to X $，次数公式 $ \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 $ 是单射，结合Voevodsky定理，意味着范数剩余同态的双射性。
• 在特征为0时，若对所有权重 $ \leq m $ 的符号，存在维数为 $ p^{n-1} - 1 $ 的 $ p $-通用分裂簇，则符号的希尔伯特第90条对权重 $ \leq m $ 成立，其中 $ n \leq 3 $ 的情形已通过已知构造（Severi-Brauer簇、Merkurjev-Suslin簇）确立。
• 当 $ p=2 $ 时，$ N_u $ 的单射性等价于Pfister邻域的特殊正交群上旋量范数核的 $ R $-平凡性，将结果与经典代数K-理论联系起来。