🔢 mathematics

Quadratic Twists of Heronian Elliptic Curves with Arbitrarily Large 2-Selmer Rank

本文通过分析由 2 的幂次诱导的二次扭曲，明确确定了与面积为 $2mn$ 的海伦三角形相关的椭圆曲线的 2-Selmer 秩，从而为任何无平方因子奇整数 $n$ 构建了具有任意大 2-Selmer 秩的此类曲线的显式族。

原作者： Vinodkumar Ghale, Md Imdadul Islam

发布于 2026-08-04

📖 1 分钟阅读🧠 深度阅读

原作者： Vinodkumar Ghale, Md Imdadul Islam

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一个数字不再仅仅是计算器上冰冷、坚硬的数字，而是作为一场宏大、古老谜题中角色的世界。这个故事发生在数论王国，数论是数学的一个分支，它将整数视为一个拥有隐藏规则与关系的秘密社团。几个世纪以来，数学家们一直痴迷于一个特定的谜题，叫做“同余数问题”。这个问题提出了一个简单的疑问：一个特定的整数，是否可以作为一个直角三角形的面积，且该三角形的所有边长也都是有理数（分数）？

为了解决这个问题，数学家们不仅仅是在画三角形；他们还架起了一座通往另一个世界的桥梁，那个世界被称为椭圆曲线。你可以把这些曲线想象成不仅仅是你在纸上画出的平滑线条，而是由隐形数学轨道构成的复杂、扭曲的过山车。轨道的“形状”会告诉你这个三角形谜题是否存在解。但棘手之处在于，有时轨道看起来似乎有解，但实际上却是一个死胡同。为了弄清这一点，数学家们使用了一个特殊的工具——2-Selmer 群。你可以将这个群看作是一个“安全检查站”或是一个“过滤器”。它会检查过山车上的每一条可能路径，以确定它是一条真实的、有效的路线，还是仅仅是一个虚假的幻象。这个群的大小（其“秩”）告诉我们存在多少潜在的解。秩越大，谜题就越复杂，寻找实际答案也就越困难。

现在，进入赫伦椭圆曲线的世界。这些是与赫伦三角形直接相关的特殊椭圆曲线家族——赫伦三角形是指边长和面积均为有理数的三角形，以古希腊数学家希罗命名。虽然同余数问题关注的是直角三角形，但赫伦三角形可以拥有任何角度，这使得它们成为一个更加狂野且多样化的群体。

在这篇论文中，两位数学家 Vinodkumar Ghale 和 Md Imdadul Islam 决定对这个特定的曲线家族进行深入研究。他们想看看如果旋转曲线上的一个特定“旋钮”会发生什么，这个旋钮是一个被称为 $m$ 的数字，它是三角形面积公式（$2mn $）的一部分。通过改变$ m$，他们不仅仅是在进行微小的调整；他们是在进行一次“二次扭转”。想象一下，你正拿着一根橡胶圈（曲线）绕着一根杆子进行扭转。形状发生了变化，张力发生了转移，而且它弹回的方式也完全不同了，尽管它是由同样的材料制成的。

作者们专注于当他们使用 2 的幂次进行扭转时（将 $m$ 从 1 变为 2，再到 4，再到 8，以此类推）这些曲线会发生什么。他们想知道：这种扭转会让这个安全检查站（2-Selmer 群）变大还是变小？以及，他们能否让它变得尽可能大？

以下是他们的发现。他们证明了通过精心选择公式中的另一个数字 $n$ ，他们可以极其精确地控制这个安全检查站的大小。具体而言，他们表明，如果你选择一个由特定类型质数组成的数字 $n$ （即除以 8 后余数为 1 的质数），那么 2-Selmer 群的大小就会呈线性增长。每当你向 $n$ 中添加一个这样的特殊质因数，该群的秩就会增加 1。

该论文提供了一个清晰、分步的配方。它准确地告诉你如何根据 $n$ 拥有的质因数数量以及扭转数 $m$ 是奇数还是偶数来计算该群的大小。他们并非仅仅在猜测；他们使用了名为“2-下降法”的严谨数学方法来证明他们的公式是正确的。他们甚至使用包含巨大数字（有些包含十几个质因数）的计算机模拟来验证他们的理论，结果与他们的预测完美吻合。

他们发现中最令人兴奋的部分是，这种增长是没有极限的。因为你可以不断地向 $n$ 中添加越来越多的这些特殊质因数，你可以构建出一个 2-Selmer 秩可以任意大的曲线家族。换句话说，他们展示了如何构建一个具有如此庞大的安全检查站的数学结构，其规模可以达到你所能想象的任何程度。这不仅仅是解决了一个小谜题；它为数学家提供了一个强大的新工具，用以创造具有极高复杂性的曲线实例，帮助他们理解数字背后深层且隐藏的架构。

技术摘要：具有任意大 2-Selmer 秩的赫伦椭圆曲线的二次扭转

问题陈述
本文研究了赫伦椭圆曲线（Heronian elliptic curves）的算术性质，特别是源自赫伦三角形（边长为有理数且面积也为有理数的三角形，面积为 $2mn$）的曲线。虽然关于二次扭转族中 2-Selmer 秩分布的同余数问题（直角三角形）已有深入研究，但在以自然参数 $m$ （面积中 2 的指数）为特征的赫伦椭圆曲线这一特定背景下，尚未进行显式分析。作者研究了由 2 的幂次（变化的 $m$ ）进行的二次扭转下， $E_{m,n}$ 曲线族的 2-Selmer 群如何变换，旨在构建具有预设且任意大 2-Selmer 秩的显式族。

方法论
作者对如下定义的椭圆曲线族进行了完整的 2-下降分析：
$E_{m,n}: y^2 = x(x - 2mn^2)(x + 2m)$
其中 $n$ 是一个平方自由奇整数，满足 $n^2 + 1 = 2q$ ，且对于某个素数 $q$ 成立。其方法论如下：

挠群分析： 作者首先确定了有理挠子群 $E_{m,n}(\mathbb{Q})_{\text{tors}}$ 对于所有 $m$ 均同构于 $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ ，从而通过 2-可除性判据排除了 4 阶点。
下降映射设置： 他们定义了一个向 $Q(S, 2) \times Q(S, 2)$ 映射的 2-下降映射 $\beta$ ，其中 $S$ 包含 $n$ 的素因子、 $q$ 以及 2。2-Selmer 群被识别为满足齐次空间在所有局部域 $\mathbb{Q}_l$ 中均有非平凡解的对 $(b_1, b_2)$ 。
局部可解性分析： 证明的核心在于对 $l=2$ $l = 2$ 、 $l=p$ $l = p$ （对于 $p|n$ $p ∣ n$ ）以及 $l=q$ $l = q$ 处的局部阻碍进行详细分析。
- $m$ 的奇偶性： 分析分为 $m$ 为奇数和 $m$ 为偶数两种情况。
- $n$ 的素因子分解： 将整数 $n$ 分解为 $n = n_1 n_2$ ，其中 $n_1$ 包含素因子 $p \equiv \pm 1 \pmod 8$ ，而 $n_2$ 包含素因子 $p \equiv \pm 3 \pmod 8$ 。
- 同余条件： 根据 $q = (n^2+1)/2 \pmod 8$ 的同余类以及 $n$ 的素因子的剩余类，作者推导出了属于 Selmer 群的对 $(b, b), (2b, b)$ 等的充要条件。
显式构造： 通过排除不满足局部可解性的对（例如，证明如果 $p \equiv \pm 3 \pmod 8$ 整除 $b$ 且 $m$ 为奇数，则该对不在 Selmer 群中），作者隔离出了 2-Selmer 群的精确生成元。

关键结果
论文给出了基于 $m$ 的奇偶性和 $n$ 的分解情况，关于 2-Selmer 秩 $s_2(E_{m,n})$ 和 2-Selmer 群结构的显式公式：

情况 1： $m$ 为奇数
- 若 $n_1 = 1$ $n_{1} = 1$ （ $n$ $n$ 的所有素因子均为 $\equiv \pm 3 \pmod 8$ $\equiv \pm 3 (mod 8)$ ）：
  - 若 $q \equiv 1 \pmod 8$ ，则 $s_2 = 1$ 。
  - 若 $q \equiv 5 \pmod 8$ ，则 $s_2 = 0$ 。
- 若 $n_1 > 1$ $n_{1} > 1$ ：
  - 若 $q \equiv 1 \pmod 8$ ，则 $s_2 = r + s + 1$ 。
  - 若 $q \equiv 5 \pmod 8$ ，则 $s_2 = r + s$ 。
- 此处， $r$ 和 $s$ 分别是 $n_1$ 中同余于 $1 $和$ 7 \pmod 8$ 的素因子计数。
情况 2： $m$ 为偶数
- 若 $n_2 = 1$ $n_{2} = 1$ （ $n$ $n$ 的所有素因子均为 $\equiv \pm 1 \pmod 8$ $\equiv \pm 1 (mod 8)$ ）：
  - $s_2 = r + s + 1$ 。
- 若 $n_2 > 1$ $n_{2} > 1$ ：
  - $s_2 = r + s + t - 1$ ，其中 $t$ 是 $n_2$ 的素因子个数。

意义与主张
作者声称这项工作代表了首次显式确定了在赫伦椭圆曲线的具体背景下，2-Selmer 群如何进行二次扭转。

任意大的秩： 结果表明，通过选择具有足够多同余于 $1 \pmod 8$ 的素因子（特别是在 $n_1$ 中）的 $n$ ，可以构造出具有任意大 2-Selmer 秩的显式赫伦椭圆曲线族。
推广： 这将之前研究 [1] 中的族（受限于 $n$ 的特定条件）推广到了任意 $m$ ，提供了对扭转行为的完整算术描述。
上界： 由于 2-Selmer 秩提供了 Mordell-Weil 秩的上界（即 $rank E(\mathbb{Q}) \le s_2(E)$ ），这些公式为这些曲线的秩提供了显式的上界。

本文通过使用 SageMath 和 MAGMA 进行计算验证，支持了这些理论发现，展示了不同 $n$ （具有递增数量的素因子）下的 2-Selmer 秩和生成元表，证实了秩随同余于 $1 \pmod 8$ 的素因子数量呈线性增长。

技术摘要：具有任意大 2-Selmer 秩的赫伦椭圆曲线的二次扭转

类似论文