贝赫和斯维讷通-戴尔猜想

该猜想以数学家布莱恩·约翰·伯奇和彼得·斯温纳顿-戴尔的名字命名，他们于1965年首次提出了这一猜想。它描述了阿贝尔群的算术性质与解析性质之间的联系，即对有理数域上的任一椭圆曲线，其L函式在1的化零阶（Order of vanishing）等于此曲线上有理点构成的阿贝尔群的秩。

这个猜想的提出引起了广泛的关注和讨论，因为它涉及到数学的深层结构，并对于解析数论和算术几何有着重要的影响。由于其复杂性和难度，BSD猜想至今尚未被证明，因此被视为当代数学中最具挑战性的问题之一。

设 E 是定义在代数数域 K 上的椭圆曲线， E(K) 是 E 上的有理点的集合，已知 E(K) 是有限生成交换群。记 L(s,E) 是 E 的L函数，则此猜想如下： （公式略）

该猜想的起源可追溯至1958年，当时研究人员利用EDSAC计算机进行了一系列数值运算。这些计算旨在为椭圆曲线寻找一种与狄利克雷类数公式相类似的理论规律。2000年，位于马萨诸塞州剑桥的克雷数学研究所将其列为七大千禧年大奖难题之一，并悬赏一百万美元，奖励能给出严谨数学证明的人。值得注意的是，奖项规则对“反例”的认定设有门槛：若反例仅是依靠现代电脑强大的运算能力暴力搜索所得，而无法对问题本质提供“理论上的深刻见解”，可能不符合获奖资格。

伯奇和斯温纳顿-戴尔猜想之所以在数学界占有核心地位，是因为它在复分析与数论这两个截然不同的领域之间，建立了一种令人惊讶的深刻联系。若能证明此猜想，将意味着人类对数学架构中的深层结构有了全新的认识。数学理论常被视为由无数“点”（命题）与“箭头”（逻辑推论）构成的网络；而在两个看似无关的理论间架起桥梁，相当于建立了大量新的逻辑通路。这不仅能解决许多现存难题，更将开创前所未有的应用前景。因此，构建这座理论桥梁被视为当代数学最艰巨的任务之一。

如果猜想成立，意味着某些特定方程“解的数量与结构”，与其对应数学函数的“零点性质”紧密相关。方程的整数解或有理数解属于代数与数论的研究范畴（离散数学）；而数学函数的连续性、微分学及零点分布则属于分析学的范畴（连续数学）。该猜想的挑战在于将这两者统一在同一个框架内。简而言之，伯奇和斯温纳顿-戴尔猜想断言：椭圆曲线上有理点生成的群之秩（Rank），可以直接由其对应的 L 函数在 s=1 处的零点阶数推导出来。

具体而言，问题陈述如下：设 E 为有理数域上的一条椭圆曲线， L(E,s) 为其L函数。根据莫德尔-韦伊定理（Mordell-Weil theorem）， E 上的有理点集合 E(Q) 构成一个有限生成的阿贝尔群。这意味着该群同构于 E(Q)_(tors)× Z ^(r)，其中 E(Q)_(tors) 是有限的扭子子群，而非负整数 r 称为 E 的“代数秩”。该猜想断言：此代数秩 r 恰好等于 L(E,s) 在 s=1 处的零点阶数（即解析秩），公式为 r=ord ₛ₌₁L(E,s)。

除了解析秩与代数秩的对应关系外，该猜想还包含更深层的定量描述。这涉及到一个关键的数学对象——泰特-沙法列维奇群（Tate-Shafarevich Group），它量化了局部-整体原理在该曲线上的失效程度。强伯奇和斯温纳顿-戴尔猜想（Strong BSD Conjecture）进一步预言：椭圆曲线的泰特-沙法列维奇群必为有限群，且其群阶（大小）连同曲线的其他算术不变量，精确地出现在 L 函数于 s=1 处泰勒展开式的首项系数中。

尽管数学家们付出了巨大努力，目前距离完全解决该问题仍有相当距离。在20世纪下半叶，关于秩 r=0 和 r=1 的情形已获得证明（如格罗斯-察吉尔公式和科利瓦金的工作）。然而，对于秩 r≥ 2 的情形，由于关键的黑格纳点（Heegner point）方法失效，目前甚至连单个曲线的理论证明都尚未达成，尽管数值证据强烈支持猜想成立。近年来，研究人员也开始尝试利用人工智能技术，试图从大数据中寻找椭圆曲线秩分布的潜在规律。

问题描述

伯奇和斯温纳顿-戴尔猜想预测，某些方程解的数量与结构，可以在现代数学中看似毫无关联的领域中找到线索。这也正是该猜想难以被证明的原因：至今我们尚未建立起能够完整解释这种深层联系的统一理论。数学理论建立在被视为真理的公理（即基本假设）之上，这些公理虽然客观存在，但许多基于此衍生的问题往往在提出许久后，才随着新数学工具的诞生而获得解决。这可以与国际象棋作类比：虽然游戏规则简单且“完全确定”（相当于公理），但游戏本身的复杂性使得至今仍未被“完全解开”，即不存在一个能算出所有局面最优解的“完美棋手”。

为了定位伯奇和斯温纳顿-戴尔猜想，理解数学方程的概念至关重要。方程的例子包括 1=1， 2=2 和 2· x=4。在后者中，符号 x 必须先被“显现”出来，然后通过 x=2 才能清楚地识别出简单的关系 2· 2=4。方程可以变形。

所需基础与公式化

符号

使用以下通用符号： （公式略） 表示自然数。 （公式略） 表示整数。 Q 表示有理数。 R 表示实数。 C 表示复数。 Re (z) 和 Im (z) 分别表示复数 z 的实部和虚部。 x∈ M 表示 x 是集合 M 的一个元素， x∉ M 表示它不是集合 M 的元素。例如 -1/3∈ Q 和 -1/3∉ Z。 e^(x) 表示自然指数函数， log(x) 表示自然对数。

有理数运算

伯奇和斯温纳顿-戴尔猜想涉及所谓的“有理点”。为了更深入地理解这一概念，掌握有理数（或称“分数”）的运算是不可或缺的。一个实数——直观上是射线上没有“最小单位”的任意长度—— x 被称为有理数，如果它可以写成两个整数的商，即 x=a/b，其中 a 和 b 是任意整数。这里 a 是“分子”， b 是“分母”。有理数的例子包括 1/2,3/1=3,4/20。

背景与解释

在许多科学领域中，理解系统（粗略地说，许多不同元素的全域相互作用）并能够进行预测是至关重要的。由于系统在规模上可能非常复杂，研究系统的“局部”方面以期将这些“局部因素”拼凑成“全域理解”可能会有所帮助。由于显而易见的原因，研究局部方面比研究整个系统更容易，因为对后者的理解也可能解答个别问题。例如，可以尝试从“普通人”的属性推断国家共同体内的动态。另一个例子是通过宏观经济学中的模型描述全域经济关系（例如关注总供给和总需求的AS-AD模型）。

在数论中，一种形式的“局部-全域原理”也是有方法的。待研究的“系统”例如可以是一个方程，如 y²=x³+x²-x 在有理数上，而“对系统的问题”是这在有理数上是否可解。为此，首先要弄清楚哪些“局部因素”构成了数字：根据算术基本定理，已知每个 （公式略） 的整数（除符号和因数顺序外）可以唯一地分解为质因数。

历史

早期历史

椭圆曲线（即亏格为 1 的曲线）背景下的问题在亚历山大港的丢番图的著作《算术》中发挥了重要作用。如果一条实直线与椭圆曲线相交于两点，或者作为切线在一个点“双重”相交，那么它也有第三个实交点。如果这两个交点是有理点，那么第三个也是。这一事实早已被艾萨克·牛顿发现。特别值得注意的是，在曲线的一个有理点处画切线会导致该切线在另一个有理点处再次与曲线相交。丢番图隐含地应用这种方法从一个解得出第二个解。然而，他没有迭代这个过程。皮埃尔·德·费马是第一个认识到这种方式有时可以获得无穷多个解的人。此外，费马引入了“无穷递降法”，该方法有时可用于证明解的数量是有限的甚至是零。

关于 L-函数的表述

在 20 世纪末，通过巨大的努力，在模形式定理的框架下证明了可以为椭圆曲线分配一个数学函数，即其所谓的“L-函数”，该函数定义在实数（甚至复数）上，并在那里具有“非常好的解析性质”，如可微性。伯奇和斯温纳顿-戴尔猜想现在指出，这个 L-函数“知道”椭圆曲线上有理点的数量：它由 x=1 处零点的阶数编码。这里的阶数意味着“函数项中因子 (x-1) 的频率”；在这个意义上，函数 （公式略） 在 x=1 处有一个 4 阶零点。猜想认为，阶数越高，椭圆曲线上的有理点就“越多”。

为了全面理解椭圆曲线的L函数，需要用到复数。然而，其动机和构造以及伯奇和斯温纳顿-戴尔猜想的表述也可以通过学校数学中已知的实数来实现。

重要性

椭圆曲线秩的计算

如果伯奇和斯温纳顿-戴尔猜想成立，那么椭圆曲线的秩可以通过算法确定。除了费马的下降法和黑格纳点（Heegner point）方法外，计算“解析”秩是最常见的方法之一。这里必须假设伯奇和斯温纳顿-戴尔猜想成立，因为它指出解析秩等于代数秩。前者明显更容易计算，而后者才是真正感兴趣的，即“应该”被计算的量。 例如，怀尔斯已经展示的椭圆曲线的模性质在某些地方有所帮助。可以通过算法确定 L(E,s) 泛函方程中的符号 sgn(E,Q)；同时也成立 (-1)^(r)=sgn(E,Q)，因此可以计算秩的奇偶性。

尽管计算解析秩明显比代数秩容易，但在这里也会出现困难，特别是对于高秩 r≥ 4。 然而，如果确实证明了对于所有 0≤ n≤ r-1 都有 L⁽ⁿ⁾(E,1)=0，那么临界量 （公式略）

启发式论证

数学家尼尔·科布利茨（Neal Koblitz）提出了一个启发式论证，指向伯奇和斯温纳顿-戴尔猜想弱形式的正确性，但他本人也指出这距离严格的证明还“很远”。如果假设 L(E,s) 的欧拉乘积在 s=1 时代表该函数（事实上并非如此！），我们将会有： （公式略）

其中 Nₚ(E)=p+1-aₚ(E) 表示 E 在 F ₚ 上的点数。当质数 p 变化时，根据哈塞定理（Hasse's Theorem）， Nₚ(E) 的值在 p 附近的区间长度 2√p 内“分布”。粗略地说， Nₚ(E)≈ p± √p。如果这呈现出一种“振荡模式”，即向一个方向和另一个方向的波动数量大致相等，人们可以推断出该乘积“收敛”到一个不为 0 的极限值。然而，如果 Nₚ(E) 有倾向于在“较大的一侧”即 p+√p，我们将得到： （公式略）

研究历史

部分结果

该猜想目前仅在特定情况下被证明。对于代数秩 r>1 的曲线，至今尚未证明任何突破性的结果。例如，存在代数秩为 4 的曲线 E 的无限族，使得 L(E,s) 的泛函方程中的符号 sgn(E,Q)=1。这时必须满足 L'(E,1)=L(E,1)=0 （照惯例，撇号表示函数的高阶导数），并且已知解析秩至少为 2。该猜想将蕴含 L''(E,1)=0 和 （公式略），但目前尚不知如何证明这一点。数学家亨利·科恩（Henri Cohen）认为，即便是证明“一条单一曲线”的这一事实，也值得获得菲尔兹奖。

对于该猜想的正确性，存在强有力的数值论据。

复乘

“复乘”（Complex Multiplication）是一种特殊的性质，只有相对较少数量的（有理数上的）椭圆曲线拥有此性质。它表示曲线上的点不仅可以被整数倍增（即 3P=P+P+P），还可以与某些非实数进行“乘法”运算。

推广

伯奇和斯温纳顿-戴尔猜想也可以针对“阿贝尔簇”（Abelian varieties）进行表述。这是椭圆曲线的高维类比。