韦伊高

在数学中，我们如何衡量一个数的“大小”？虽然绝对值告诉我们一个数与零的距离，但它未能捕捉其固有的算术复杂度。像 $10001/10000$ 这样的数虽然接近 1，但感觉比整数 2 更复杂。这一差距凸显了在数论中需要一把更精细的标尺。韦伊高就是那把标尺——一个量化数的复杂度的深刻概念，为深入洞察其结构铺平了道路。本文旨在全面概述这一基本工具。第一章“原理与机制”将从头构建韦伊高，探讨其对不同类型数的定义、核心性质，以及如何将其改进为几何对象上的典范高。随后的“应用与跨学科联系”一章将展示高函数在实践中的威力，说明它如何成为解决丢番图方程、理解代数结构以及构建现代算术几何中一些最重要猜想的关键工具。

假设我问你一个简单的问题：一个数有多“大”？你的第一反应可能是谈论它在数轴上与零的距离——也就是数学家所说的绝对值。数字 $1,000$ 比 $10$ “大”。这很简单。但在数的王国里，尤其是在有理数（分数）的世界中，事情并不总是那么简单。数字 $10,001/10,000$ 是大还是小？它的值非常接近 $1$，从这个意义上说，它很小。但看看它的组成部分！它是由相当大的整数构成的。那么 $-84/125$ 呢？它的绝对值小于一，但它似乎在某种程度上比整数 $2$ 更“复杂”。

这暗示我们需要一种不同的“大小”概念，一种不仅捕捉数的量级，而且捕捉其算术复杂度的概念。这就是​​韦伊高​​背后美妙的思想。它是一种工具，让我们能够以一种深刻、优雅且极其有用的方式来衡量数的复杂度。它就像物理学家梦想中的守恒量，但却是为数的王国量身定做的。

让我们尝试为有理数（比如 $x = a/b$，其中我们已经约去了所有公因子，使之成为既约分数）发明一个复杂度的度量。一个好的度量可能应该取决于分子 $a$ 和分母 $b$ 的大小。一个自然的第一猜想可能是取两者（绝对值）中的较大者。我们称之为朴素高，$H(x) = \max\{|a|, |b|\}$。

这是一个不错的开始。对于整数 $n$（我们写作 $n/1$），其朴素高为 $H(n) = |n|$。$1/n$ 的高为 $H(1/n) = |n|$。这很好！数 $n$ 和 $1/n$ 在某种意义上是同等复杂的，而这个高函数捕捉到了这一点。

然而，数学家们已经认识到，处理和通常比处理积要好得多。对数可以将乘积转化为和。因此，我们定义​​绝对对数韦伊高​​（或简称​​高​​）为朴素高的自然对数：

让我们感受一下。根据这个定义，整数 $2$（或 $2/1$）的高是 $h(2) = \log\max\{|2|, |1|\} = \log(2)$。它的倒数 $1/2$ 的高是 $h(1/2) = \log\max\{|1|, |2|\} = \log(2)$。正如我们所希望的，它们是相同的。那么 $1/3$ 呢？它的高是 $h(1/3) = \log\max\{|1|,|3|\} = \log(3)$。一个数的高总为非负，因为对于任何既约分数 $a/b$，$\max\{|a|, |b|\}$ 至少为 $1$。它仅在特殊数字如 $0/1$、$1/1$ 和 $-1/1$ 时为零。

我们如何将这个思想从简单分数推广到更复杂的数，比如 $\sqrt{2}$ 或黄金比例 $\phi = (1+\sqrt{5})/2$？这些是​​代数数​​——整系数多项式的根。事实证明，有两种方式可以思考它们的高，而这两种看似截然不同的方法给出了完全相同的结果，这是我们触及深层奥秘的首个迹象之一。

视角一：根植于其族

一个代数数 $\alpha$ 由它的“族”——其极小多项式的其他根——所定义。$\sqrt{2}$ 的极小多项式是 $x^2-2=0$，其根为 $\sqrt{2}$ 和 $-\sqrt{2}$。$\sqrt{2}$ 的“复杂度”必然与这个多项式有关。

存在一个通用的公式将此形式化。对于一个 $d$ 次代数数 $\alpha$，其极小多项式为 $a_d x^d + \dots + a_0 = 0$（系数为整数），它的高由一个优美的公式给出，该公式涉及首项系数 $a_d$ 和所有根 $\alpha_1, \dots, \alpha_d$（$\alpha$ 的“Galois 共轭”）：

让我们用 $\sqrt{2}$ 来测试一下。它的极小多项式是 $x^2 - 2 = 0$。这里，次数是 $d=2$，首项系数是 $a_2=1$，根是 $\alpha_1 = \sqrt{2}$ 和 $\alpha_2 = -\sqrt{2}$。代入这些值：

因为 $\log(1)=0$ 且 $|\sqrt{2}| = |-\sqrt{2}| > 1$，这个式子可以奇妙地简化：

这非常了不起！$\sqrt{2}$ 的高恰好是 $2$ 的高的一半。这证实了我们的直觉，即 $\sqrt{2}$ 在算术上应该比 $2$ “更简单”。

视角二：所有视角的总和

现在来看一种完全不同的方法。在物理学中，一个系统的全局属性，比如它的总能量，通常是局部能量密度在整个空间上的积分。数论中也有类似的思想。它有不同的衡量“大小”的方法，称为​​绝对值​​或​​位​​。

你熟悉“无穷远处的位”，它对应于通常的绝对值 $|x|_\infty$。但对于每个素数 $p$，都有一个 ​​$p$-进绝对值​​ $|x|_p$，它本质上衡量了 $x$ 的素因子分解中 $p$ 的幂次。例如，$|12|_2 = |2^2 \cdot 3|_2 = (1/2)^2 = 1/4$，因为有 $2^2$ 这个因子。$|12|_3 = 1/3$，而对于任何其他素数如 $p=5$，则有 $|12|_5 = 1$。

这些绝对值被数学中最崇高、最神秘的事实之一联系在一起：​​乘积公式​​。对于任何非零有理数 $x$，如果你将其在每一个位上（所有的 $p$-进位和无穷远位）的大小相乘，结果总是恰好为 1。

其中 $M_{\mathbb{Q}}$ 表示 $\mathbb{Q}$ 的所有位的集合。这是一种数的守恒定律。

利用这一点，我们可以将高定义为所有这些位上“局部复杂度”的和：

这里，求和遍及包含 $\alpha$ 的数域 $K$ 的所有位 $v$，而 $n_v/[K:\mathbb{Q}]$ 是权重因子。这个公式看起来令人生畏，但对于 $\mathbb{Q}$ 中的有理数，它简化得很好。局部复杂度 $\log\max\{1, |x|_v\}$ 仅在无穷远位以及整除 $x$ 的分子或分母的素数位上非零。当你把它们加起来时，你会重新得到我们最初的简单定义。

对于更复杂的数，这个定义仍然完美适用。它给出的值与从极小多项式得到的定义完全相同。这种统一性是一个强有力的信号，表明韦伊高是一个自然且基本的概念。该定义不依赖于我们使用哪个数域 $K$ 来进行计算，这是位在域扩张中分裂方式的直接结果。

一个新概念的好坏取决于它所遵循的规则。韦伊高遵循几条简单而强大的法则，使其成为探索数论世界的完美工具。

• ​​和与积的复杂度有界：​​ 和或积的高由其构成部分的高所控制。具体来说：

  • $h(\alpha \beta) \le h(\alpha) + h(\beta)$
  • $h(\alpha + \beta) \le h(\alpha) + h(\beta) + \log(2)$ 这些类似三角不等式的性质意味着，当我们组合数时，它们的复杂度不会失控地爆炸。

• ​​Northcott 有限性性质：​​ 这是皇冠上的明珠。对于任何给定的复杂度（高）和次数界限，只存在有限个代数数满足条件。换言之，集合

  $$\{\alpha \in \overline{\mathbb{Q}} : h(\alpha) \le B \text{ and } [\mathbb{Q}(\alpha):\mathbb{Q}] \le d\}$$

  对于任何界限 $B$ 和次数 $d$ 都是有限的。这是一个极其强大的论断。它表明代数数不是一个连续的涂抹；它们是离散的点，被其复杂度所量化。这就像发现音乐中的音符不仅仅是任意频率，而是被量化为一个音阶。

• ​​Kronecker 定理：​​ Northcott 性质的一个直接推论是，一个数的高恰好为零当且仅当它为 $0$ 或一个​​单位根​​（即某个数 $\zeta$ 满足 $\zeta^n=1$ 对某个整数 $n$ 成立）。从某种意义上说，这些是存在的最简单的算术数。

当我们将焦点从单个的数转移到由数定义的几何对象时，高的故事变得真正充满活力，例如方程 $y^2 = x^3 + Ax + B$ 的有理数解集。这是一种​​椭圆曲线​​，其有理点集构成一个群——我们可以将曲线上的两个点“相加”得到第三个点。

定义曲线上一点 $P=(x,y)$ 的高最自然的方式就是直接取其 $x$ 坐标的高：我们称之为​​朴素高​​，$h_x(P) = h(x(P))$。这是一个很好的起点，但它有一个微妙的缺陷。如果我们取一点 $P$ 并在曲线上将其“加倍”得到 $[2]P$，我们希望它们的高之间存在一个简单的关系。将 $x(P)$ 映到 $x([2]P)$ 的映射是一个 4 次有理函数。所以我们可能期望 $h_x([2]P) = 4 h_x(P)$。但这并不完全成立！我们发现的是：

那个小小的 $O(1)$ 项代表一个有界误差。它就像一个本应完美的系统中的微小摩擦。它破坏了一个本可非常优美的二次关系。物理学家是不会容忍这个的！一定有办法找到“真正”的守恒量。

确实有。Néron 和 Tate 的卓越洞见是通过取极限来“平均掉”这个误差。我们定义​​Néron-Tate 典范高​​为：

这个极限过程消除了讨厌的误差项，留下了一个具有宏伟性质的“完美”高函数：

1. ​​它确实是二次的：​​ 对于任何整数 $n$，$\hat{h}([n]P) = n^2 \hat{h}(P)$。摩擦消失了！
2. ​​它满足平行四边形法则：​​ $\hat{h}(P+Q) + \hat{h}(P-Q) = 2\hat{h}(P) + 2\hat{h}(Q)$。这使其成为点群上的一个真正的二次型。
3. ​​它能检测挠点：​​ $\hat{h}(P)=0$ 当且仅当 $P$ 是一个挠点（即存在某个 $n \ge 1$ 使得 $[n]P = \mathcal{O}$ 的点），挠点是单位根在群论中的类似物。

这个典范高不再仅仅是坐标复杂度的度量；它是点本身的深刻几何不变量。事实上，整个过程是​​算术动力学​​中一个更普适故事的特例，在算术动力学中，人们研究几何空间上映射 $f$ 的迭代。Néron-Tate 高对应于椭圆曲线上的映射 $f(P) = [m]P$，但同样的极限构造可以为一大类动力系统给出典范高。

这种优美的结构——局部项之和，因乘积公式而在坐标变换下保持不变，并且可提炼成完美的二次型——使得韦伊高成为现代数论中最强大、最基本的工具之一，将整数的离散世界与几何的连续景观联系起来。它揭示了在看似混乱的数的宇宙中隐藏的统一性和刚性结构。

在上一章中，我们费心构建了一种新的尺子——韦伊高。我们了解到，这不仅仅是一把普通的尺子；它衡量的是算术复杂度。对于一个简单的分数，它告诉你其分子和分母有多大。对于一个更复杂的代数数，它捕捉了其定义多项式系数的大小。我们已经造好了我们的“复杂度计”。接下来，一个自然而令人兴奋的问题是：我们能用它做什么？它能让我们看到数学世界中哪些秘密的结构？

想象一下望远镜的发明。它不仅让我们能更清楚地看到月亮；它揭示了木星有自己的卫星，金星有相位，而银河系那模糊的光带是由无数颗独立的恒星组成的。它揭示了宇宙隐藏的建筑结构。韦伊高就是我们探索数字宇宙的望远镜。它将关于数和方程结构的抽象、看似棘手的问题，转化为关于大小、距离和形状的切实问题。现在，让我们把这台新望远镜对准数学天空中的几片星群，看看它能揭示出哪些奇观。

让我们从数系本身的内部架构开始。考虑一个数域，比如 $K = \mathbb{Q}(\sqrt{2})$，即所有形如 $a+b\sqrt{2}$ 的数的集合，其中 $a$ 和 $b$ 是有理数。在这个域中，有些数扮演着特殊的角色：单位元。这些数的倒数也属于该域的“整数”系统（这里指 $a,b \in \mathbb{Z}$ 的数 $a+b\sqrt{2}$）。例如，$1+\sqrt{2}$ 是一个单位元，因为它的倒数 $-1+\sqrt{2}$ 也是这些整数之一。这些单位元构成一个群，而 Dirichlet 的一个著名定理告诉我们这个群有一个优美而简单的结构：它是由有限个“基本”单位元生成的。在我们的例子中，每个单位元都只是一个基本单位元 $\epsilon = 1+\sqrt{2}$ 的幂（不计符号）。所以任何单位元 $u$ 都可以写成 $u = \pm \epsilon^m$。

这是一个优美的结构性论断，但它引出了一个实际问题。如果我给你一个看起来很复杂的单位元，比如 $u = 7+5\sqrt{2}$，你怎么判断它是不是“基本的”，还是某个更简单单位元的幂？你如何找到指数 $m$？你可以尝试计算 $\epsilon$ 的幂次直到找到 $u$，但如果 $m$ 非常大呢？

这时我们的高函数就派上用场了。高作为复杂度的度量，在乘法下表现得非常出色。事实上，我们可以推导出的一个关键性质是，对于一个单位元 $u = \pm \epsilon^m$，其对数高与基本单位元的高之间有一个简单的关系：$h(u) = |m| h(\epsilon)$。突然间，我们困难的结构性问题变成了一个简单的除法问题！要找到指数的大小，我们只需计算高的比值：$|m| = h(u)/h(\epsilon)$。高函数充当了单位元乘法结构的“对数”，将寻找指数的搜索问题变成了简单的算术。最小的非平凡单位元是那个具有最低非零高的单位元，所有其他单位元都由它构成，它们的高整齐地分布在一个梯子上，梯级之间的间距为 $h(\epsilon)$。抽象的代数结构被我们的高函数标尺清晰地展现为一个简单、均匀分布的格点。

数学中最古老、最高尚的探索之一是寻找多项式方程的整数解或有理数解——这个领域被称为丢番图几何。在这里，高函数从一个结构性工具转变为一盏强大的探照灯，使我们能够驾驭无限的可能性空间。

椭圆曲线与有限基

考虑一个像 $y^2 = x^3 + Ax + B$ 这样的方程，它定义了一条椭圆曲线。它的有理数解集拥有一个惊人的隐藏结构：它们构成一个群！你可以将两个解“相加”得到第三个解。著名的 Mordell-Weil 定理指出，这个群是有限生成的。这意味着存在一个有限的“生成元”点集，通过群运算可以从它们生成所有其他无限多个有理数解。

这是一个深刻的存在性定理，但它让我们身处黑暗之中。如果需要检查的点有无限多个，我们怎么可能找到这些生成元呢？这个任务似乎是不可能的。但同样，高的概念带来了光明。在椭圆曲线上，我们可以定义一个高的改进版本，称为典范高 $\hat{h}$，它完美地适应了群结构。它满足一个优美的二次法则：一个点 $[n]P$（点 $P$ 与自身相加 $n$ 次）的高恰好是 $\hat{h}([n]P) = n^2 \hat{h}(P)$。

这种二次增长是关键。一个称为“下降法”的深刻过程，在许多情况下，可以为我们正在寻找的生成元的典范高提供一个绝对上界，比如 $B$。但这是一个对抽象高值的界限；它如何帮助我们找到具体的数呢？关键的联系是一个不等式，它将点 $P=(x,y)$ 的抽象典范高与我们熟悉的其 $x$ 坐标的韦伊高联系起来：$|\hat{h}(P) - \frac{1}{2}h(x)|$ 受一个仅取决于曲线的常数所限制。

因此，逻辑链是完整的：下降法给出了 $\hat{h}(P)$ 的一个界限，这又给出了 $h(x)$ 的一个界限，进而给出了有理数 $x$ 的分子和分母大小的一个界限。潜在解的无限海洋缩减为一个有限的、可搜索的池塘。高函数就像一盏强大的探照灯，告诉我们即使海中有无限多的鱼，我们正在寻找的那些——生成元——也必定在这片被照亮的小水域里游泳。

丢番图逼近：普适的速度极限

一个相关的问题不仅是解是否存在，而是它们有多“特殊”。在丢番图逼近中，我们问：我们能用一个“更简单”的数 $\beta$ 多好地逼近一个给定的代数数 $\alpha$？什么使得一个逼近是“好的”？一个好的逼近是 $|\alpha - \beta|$ 相对于 $\beta$ 的复杂度非常小。而我们的复杂度度量是什么？当然是高！

对于用有理数 $p/q$ 逼近无理代数数 $\alpha$，Roth 定理告诉我们存在一个硬性限制。不等式 $|\alpha - p/q| 1/q^{2+\varepsilon}$ 对于任何 $\varepsilon > 0$ 都只有有限个解。指数 2 是一个尖锐的阈值。

如果我们尝试用更复杂的数，比如次数至多为 $n$ 的代数数 $\beta$，来逼近 $\alpha$ 呢？W. M. Schmidt 对 Roth 定理的宏伟推广，即其子空间定理的一个推论，给出了答案。使用乘性韦伊高 $H(\beta)$（我们的对数高是 $h(\beta) = \ln H(\beta)$），新的阈值出现了。对于任何 $\varepsilon > 0$，不等式 $|\alpha - \beta| H(\beta)^{-(n+1)-\varepsilon}$ 在次数至多为 $n$ 的所有代数数 $\beta$ 中只有有限个解。

这是一个优美而深刻的结果。它为逼近建立了一个“普适的速度极限”。你允许使用的工具越复杂（即逼近数的次数 $n$ 越大），你就能越好地逼近 $\alpha$。高函数使得这个定律变得精确，提供了逼近质量与逼近数复杂度之间的精确权衡。

这个主题在 Baker 的对数线性形式理论中得到了最强有力的体现。该理论为诸如 $|\Lambda| = |b_1 \ln \alpha_1 + \dots + b_n \ln \alpha_n|$ 之类的量提供了明确的、可计算的下界，防止它们过分接近于零。这些界限已被用于解决一大批丢番图方程。不出所料，代数数 $\alpha_i$ 的高是这些界限中的关键参数。奇怪的是，对于更高高度的数，这些界限通常更弱，这是一个微妙之处，揭示了这些深刻结果的复杂性。

到目前为止，我们已经看到高是解决代数和数论问题的实用工具。但它最深刻的角色，也是其真正力量的源泉，是作为通往几何的桥梁。在现代数学中，数论和几何学已经融合成算术几何领域，而高函数是其核心语言。

动力学的节奏

当我们对一个数反复应用一个函数时，它的高会发生什么变化？这是算术动力学的领域。考虑最简单的有趣情况：射影直线上的映射 $f(z)=z^d$。对于任何起始点 $\alpha$，我们生成一个点序列 $\alpha, \alpha^d, \alpha^{d^2}, \alpha^{d^3}, \dots$。我们可以通过观察长期增长率来定义这个动力系统的“典范高”：$\hat{h}_f(\alpha) = \lim_{n \to \infty} d^{-n} h(f^n(\alpha))$。一个快速的计算揭示了一些奇妙的事情。由于 $h(f^n(\alpha)) = h(\alpha^{d^n}) = d^n h(\alpha)$，极限是平凡的！我们发现 $\hat{h}_f(\alpha) = h(\alpha)$。对于这个最简单的映射，标准的韦伊高已经是完美的、自然的复杂度度量。对于更复杂的映射，典范高是一种新工具，它衡量一个点轨道的“算术逃逸率”，融合了数论和混沌理论。

大一统：Vojta 猜想

这段旅程在一种令人叹为观止的统一愿景中达到高潮。我们提到的许多著名成果——Thue、Siegel、Roth、Faltings 的定理，以及 abc 和 Szpiro 猜想——都被认为是同一颗统一宝石的不同侧面：一个由 Paul Vojta 提出的深刻猜想网络。而这些猜想的语言就是高的语言。

Faltings 定理（旧称 Mordell 猜想）是 20 世纪数学的一项丰碑式成就，它指出亏格大于一的曲线只有有限个有理点。Vojta 猜想为这为何成立提供了一个惊人简单的启发式解释。它预测了一个不等式，一种在曲线上定义的两种不同类型的高之间的“拉锯战”。一种高 $h_{K_X}$ 以一定的速率增长。猜想指出，它的增长速度不能比 $\varepsilon$ 乘以另一个标准高 $h_A$ 快太多。但我们从基本性质知道，$h_{K_X}$ 的增长速度至少是 $h_A$ 的一个固定倍率 $c$。如果我们选择的 $\varepsilon$ 小于 $c$，那么两个不等式同时成立的唯一方式就是高 $h_A$ 是有界的！而根据 Northcott 性质，有界的高意味着有限个点。通过不等式之间的对抗得出了有限性！

也许这种统一力量最壮观的例证是与著名的 abc 猜想的联系。这个听起来简单但意义深远的关于方程 $a+b=c$ 的猜想，被认为是丢番图分析中最重要的未解问题之一。事实证明，如果你将 Vojta 的宏大几何猜想应用到最简单的情形——去掉三个点 $\{0, 1, \infty\}$ 的射影直线 $\mathbb{P}^1$——它会直接推导出 abc 猜想。同样的机制，当应用于称为“椭圆曲面”的几何对象时，同样能推导出 Szpiro 猜想，这是一个关于椭圆曲线的相关论断。

从 Thue 方程到 Faltings 定理，从单位元群到 abc 猜想，所有这些看似迥异的主题都被高函数这条共同的线索编织在一起。它提供了一本在代数、几何和动力学之间进行翻译的词典。它使我们能够证明某些解集是有限的（如在 Faltings 定理或 Siegel 关于 Thue 方程的定理中），并帮助我们计算其他解集（如在 Mordell-Weil 定理中）。有时，这些基于高的证明是“非构造性的”——它们证明了有限性，却没有给我们找到所有解的方法，就像一张显示有有限数量岛屿但没有坐标的地图。其他时候，它们又是非常构造性的。

我们这把简单的尺子，诞生于衡量一个分数大小的愿望，带领我们踏上了一段不可思议的旅程。它向我们展示了单位元隐藏的格点结构，照亮了有理点的藏身之处，并揭示了自己是那些统一数论与几何的最深刻猜想的母语。衡量复杂度这一谦逊的行为，揭示了一个充满深刻而优美联系的宇宙。