[论文解读] An introduction to higher dimensional local fields and adeles

Matthew Morrow|arXiv (Cornell University)|Apr 3, 2012

Algebraic Geometry and Number Theory参考文献 8被引用 20

一句话总结

本文系统地介绍了高维局部域与adele，建立了基础理论、拓扑结构、通过Milnor K-理论的类域论，以及从概形出发的构造方法。结果表明，高维adele群能够计算层上同调，将经典adele理论推广至高维情形，并在算术几何与对偶理论中具有应用价值。

ABSTRACT

These notes are an introduction to higher dimensional local fields and higher dimensional adeles. As well as the foundational theory, we summarise the theory of topologies on higher dimensional local fields and higher dimensional local class field theory.

研究动机与目标

• 为算术几何领域的研究人员系统化整理高维局部域及其拓扑的基础理论。
• 阐明从概形出发，通过子概形的完整旗构造高维adele环的机制。
• 总结高维类域论，包括其基于Milnor K-理论与受限积的表述形式。
• 解释adele群如何计算概形上拟 coherent 层的上同调，推广一维情形。
• 提供一份自包含的参考文献，使研究人员能够顺利进入高维类域论与adele上同调的高级文献领域。

提出的方法

• 本文通过概形上不可约闭子概形的完整旗，利用迭代完备化与局部化构造高维局部域。
• 在每个旗层级上，将高维adele定义为局部域的受限积，通过有限性条件确保收敛性。
• 该理论采用Milnor K-理论表述高维类域论，将阿贝尔扩张与互惠映射联系起来。
• 通过序列饱和与Ind-Pro方法构建高维局部域的拓扑，取代不充分的离散赋值拓扑。
• 通过adele群之间对角嵌入与边界映射的交换图表建立上同调计算。
• 显式验证有限性条件（例如，对几乎所有x，有f ∈ O_x + p^r_{x,y}），确保adele群的良定义性。

实验结果

研究问题

• RQ1 如何利用子概形的完整旗，从概形系统地构造高维局部域？
• RQ2 在高维局部域上，何种拓扑结构能支持调和分析与类域论？
• RQ3 高维类域论如何通过Milnor K-理论推广一维情形？
• RQ4 高维adele群在算术与代数曲面上如何计算层上同调？
• RQ5 受限积与对角嵌入在构造计算上同调的adele复形中起何种作用？

主要发现

• 高维局部域根据其维数与剩余域结构分类，推广了一维局部域作为洛朗级数或p进域的分类方法。
• adele群构造出的复形，其上同调自然同构于H*(X, O_X)，将经典adele解析推广至高维情形。
• 高维局部域的拓扑通过序列饱和与Ind-Pro方法定义，确保与K-理论及调和分析的相容性。
• Milnor K-理论为高维类域论提供了代数基础，互惠映射将阿贝尔扩张与K-理论类联系起来。
• adele的受限积结构确保元素在所有旗上满足有限性条件，使adele群良定义且在上同调上有效。
• adele群之间对角嵌入与边界映射的图表构成一个复形，用于计算上同调，且对每个映射均显式验证了有限性条件。