[论文解读] New Approach to Arakelov Geometry

Nikolai Durov|ArXiv.org|Apr 16, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用 72

一句话总结

本文提出了一种基于广义环与广义概形的新型代数框架，用于阿莱克桑德罗夫几何（Arakelov geometry），统一了经典代数几何、阿莱克桑德罗夫理论、热带几何以及一个元素域（F₁）的几何。该框架构造了紧化谱 extbackslash{}Spec ackslash{}mathbb{Z}^ ackslash{}infty，并表明在此之上定义的模型自然诱导出复代数簇上的（可能奇异的）巴拿赫（co）度量。关键结果包括： extbackslash{}Spec ackslash{}mathbb{Z}^ ackslash{}infty 上向量丛的算术度，以及对数高度作为线丛度数的实现。

ABSTRACT

This work is dedicated to a new completely algebraic approach to Arakelov geometry, which doesn't require the variety under consideration to be generically smooth or projective. In order to construct such an approach we develop a theory of generalized rings and schemes, which include classical rings and schemes together with "exotic" objects such as F_1 ("field with one element"), Z_\infty ("real integers"), T (tropical numbers) etc., thus providing a systematic way of studying such objects. This theory of generalized rings and schemes is developed up to construction of algebraic K-theory, intersection theory and Chern classes. Then existence of Arakelov models of algebraic varieties over Q is shown, and our general results are applied to such models.

研究动机与目标

• 提出一种完全基于代数的方法来处理阿莱克桑德罗夫几何，避免使用复微分几何。
• 在概形理论中严格定义此前仅作为非正式概念的“阿基米德局部环”Z∞ 与“一个元素域”F₁。
• 在单一范畴框架下统一经典代数几何、阿莱克桑德罗夫几何、热带几何与F₁-几何。
• 在 \textbackslash{}Spec \,\mathbb{Z}^\infty 上构造广义概形，并研究该设定下的向量丛、Picard群与查沃环。
• 在新框架中建立算术不变量（如高度）与几何不变量（如线丛的度数）之间的对应关系。

提出的方法

• 引入广义环，包括 Z∞、Z(∞) 与 F±₁，作为经典环与赋值环的代数推广。
• 定义广义环的谱，并通过粘贴构造广义概形，形成一个包含经典概形作为全子范畴的范畴。
• 将 \textbackslash{}Spec \,\mathbb{Z}^\infty 构造为一个拟广义概形，作为 \textbackslash{}Spec \,\mathbb{Z} 的紧化。
• 利用 K₀ 上的 γ-滤子定义向量丛、线丛及其陈类，借鉴格罗滕迪克的黎曼-罗赫方法。
• 使用瓦尔德豪森的构造来处理高阶代数 K-理论，并将完美单纯对象作为完美复形的替代。
• 在有理数域上的代数簇的有理点与 \textbackslash{}Spec \,\mathbb{Z}^\infty 上模型的截面之间建立对应关系，将算术度与对数高度联系起来。

实验结果

研究问题

• RQ1 阿莱克桑德罗夫几何能否在完全代数的框架下被表述，而无需依赖复微分几何？
• RQ2 在概形理论中，如何严格定义一个元素域 F₁ 与阿基米德赋值环 Z∞？
• RQ3 \textbackslash{}Spec \,\mathbb{Z}^\infty 的 Picard 群与查沃环的结构是什么？它们与算术不变量有何关联？
• RQ4 能否将射影代数簇上一个有理点的对数高度实现为广义概形模型上线丛的度数？
• RQ5 在 \textbackslash{}Spec \,\mathbb{Z}^\infty 上的向量丛与经典阿莱克桑德罗夫理论中的埃尔米特向量丛之间有何关系？

主要发现

• 算术度映射 deg: Pic(\textbackslash{}Spec \,\mathbb{Z}^\infty) → log Q×+ 是一个同构，为线丛提供了完整的算术不变量。
• 对任意定义在 Q 上的射影代数簇 X，存在一个关于 \textbackslash{}Spec \,\mathbb{Z}^\infty 的有限表示模型 X，确保了代数上的有限性。
• 有理点 P ∈ X(Q) 唯一地延拓为截面 σP: \textbackslash{}Spec \,\mathbb{Z}^\infty → X，从而实现了有理点的几何提升。
• 拉回 σ∗P(OX(1)) 的算术度等于点 P 的对数高度，将几何度数与算术高度联系起来。
• 广义概形 \textbackslash{}Spec \,\mathbb{Z}^\infty 支持 X(C) 上的自然（co）度量，而经典度量如富比尼-斯图迪度量可由此类模型导出。
• 在 \textbackslash{}Spec \,\mathbb{Z}^\infty 上的向量丛由 GLn(Q)/GLn(Z) 参数化，其 K₀-群通过完美单纯对象计算得出。