[论文解读] n-dimensional local fields and adeles on n-dimensional schemes

Denis Vasilievich Osipov|arXiv (Cornell University)|Aug 11, 2005

Algebraic Geometry and Number Theory参考文献 19被引用 21

一句话总结

本文对n维局部域及n维概形上的adele进行了全面综述，通过Beilinson的单纯化方法建立了基础定义、分类定理及adele复形。它展示了这些结构如何解析拟相干层并得出代数几何中的互惠律，特别是在曲面上的情形，给出了关于赋值和符号的tame符号与高阶tame符号的显式公式。

ABSTRACT

It is a survey paper on n-dimensional local fields and adeles on n-dimensional schemes.

研究动机与目标

• 系统化n维局部域的理论及其在高维代数几何中的作用。
• 将经典的类域论和adele结构推广至任意维数的概形。
• 通过adele解析建立高阶adele、层上同调与交点理论之间的联系。
• 利用tame符号与高阶Milnor K-理论，形式化并证明2维局部域上的互惠律。
• 统一并拓展Parshin、Beilinson、Kato及其他人在高维局部域与adele上同调方面的工作。

提出的方法

• 通过归纳定义n维局部域：将其定义为具有(n−1)维剩余域的完备离散赋值环的分式域。
• 应用Beilinson的单纯化方法，通过子簇的旗（flag）在诺特概形上定义高阶adele。
• 将adele复形构造为旗上受限积，其分量属于n维局部域。
• 引入与单一旗相关的受限adele复形，实现局部化的上同调解析。
• 利用代数K-理论中的Milnor K-理论与边界映射，定义高阶符号：ν_K(f,g) 与 (f,g,h)_K。
• 通过赋值ν_i与依赖于整数组合奇偶性的符号项，推导出符号的显式公式。

实验结果

研究问题

• RQ1 n维局部域如何分类？其结构性质如何通过迭代离散赋值描述？
• RQ2 n维概形上的高阶adele如何推广经典曲面与曲线上adele的结构？
• RQ3 adele复形在解析诺特概形上的拟相干层中起什么作用？
• RQ4 在2维局部域中，tame符号ν_K(f,g)与高阶符号(f,g,h)_K的互惠律如何产生？
• RQ5 受限adele复形与代数几何中上同调解析之间存在何种关系？

主要发现

• n维局部域通过归纳分类：若域K的最后剩余域为k，则K是具有(n−1)维剩余域且以k为最后剩余域的完备离散赋值环的分式域。
• tame符号ν_K(f,g)显式给出为ν_K(f,g) = ν_1(f)ν_2(g) − ν_2(f)ν_1(g)，其中ν_i为迭代赋值。
• 高阶符号(f,g,h)_K表示为符号项乘以f,g,h模最大理想的单项式，符号项取决于赋值乘积的对称和。
• 对任意曲面X上的点p，有∑_{C∋p} ν_K(f,g) = 0，其中C遍历过p的局部曲线芽，且∏_{C∋p} (f,g,h)_K = 1，表明全局互惠性。
• 对曲面X上的曲线C，有∑_{p∈C} [k(p):k]·ν_K(f,g) = 0 且 ∏_{p∈C} Nm_{k(p)/k} (f,g,h)_K = 1，确立相对互惠律。
• 符号ν_K(f,g)作为K^*到ℤ的中心扩张中的交换子出现，为互惠律提供了群论解释。