概念

高度理论

Weil 高度与 Arakelov 高度度量有理点的「复杂度」，是丢番图逼近与点计数的基础。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

高度理论算术几何

01定义

高度

h(P)

以坐标的分子分母大小度量有理点的「复杂度」，使「有界高度点有限」成为丢番图几何的基本事实。Weil 高度、典范高度与 Arakelov 几何构成点计数与分布的度量体系。

高度分层：有界高度 = 有限点集

$h([x_0:\cdots:x_n])=\frac{1}{[K:\mathbb{Q}]}\sum_v\log\max_i|x_i|_v$ ：对所有绝对值求和——局部-整体原理的度量版； $h(x)=\log\max(|a|,|b|)$ 是 $\mathbb{P}^1$ 情形。

有界高度、有界次数的点有限——丢番图问题变成「按高度逐层搜索」；莫德尔-魏尔定理的证明依赖高度的二次增长性质。

在算术曲线上给无穷远点配厄米度量：交点数成为算术不变量；法尔廷斯的高度、Faltings 定理的证明都在这套几何里展开。

h\!\left(\frac{a}{b}\right)=\log\max(|a|,|b|),\quad \gcd(a,b)=1

诺特拉斯 1920 年代定义高度；魏尔 1920 年代系统化；Arakelov 1974 年引入无穷远纤维的几何；法尔廷斯 1983 年用乘积高度证明莫德尔猜想。

有理点的算法枚举与计数、丢番图逼近（罗特定理的高度表述）、莫德尔-魏尔秩计算中的高度配对矩阵、BSD 猜想中 regulator 的高度定义。

有理点高度：Farey 分数的高度谱拖 n 提高 Farey 阶数：高度 log(max(a,b))，分母越小的分数越「低」

n Farey 阶8