🔢 mathematics

Geometric construction of modular polynomials with level structures

本文提出了一种纯代数方法，用于构造与高阶不变量（如蒙哥马利曲线和海森曲线）直接相关的模多项式，证明了其整数系数和对称性，并提供了一种基于形变方法的算法来计算这些多项式。

原作者： Hiroshi Onuki, Yukihiro Uchida, Ryo Yoshizumi

发布于 2026-01-27

📖 1 分钟阅读🧠 深度阅读

原作者： Hiroshi Onuki, Yukihiro Uchida, Ryo Yoshizumi

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

想象一下，你是一位正在设计一种非常特殊的建筑——椭圆曲线的资深建筑师。这些建筑并非你可以步入其中的实体，而是看起来像扭曲环状的复杂数学形状。长期以来，数学家们一直拥有一份“蓝图”，被称为模多项式（Modular Polynomial）。你可以把这份蓝图看作一本巨大的规则手册，它精确地告诉了你两个这样的曲线是如何相互连接的。如果曲线 A 和曲线 B 通过一种特定的桥梁（称为同源/isogeny）相连，那么这本规则手册中就有一个公式，它会说：“如果你代入 A 的坐标，你必然会得到 B 的坐标。”

几十年来，这份规则手册仅存在于最著名的版本中，即 j-不变数（j-invariant）。但数学家们知道，还有其他描述这些曲线的方式——比如 Montgomery 形式和 Hessian 形式——它们在现代密码学中因计算速度更快而广受欢迎。问题在于，没人为这些特定的形式编写过规则手册。

这篇由 Onuki、Uchida 和 Yoshizumi 撰写的论文，就像是一支终于建成了这些缺失规则手册的施工队。以下是他们是如何完成这项工作的，用简单的语言来解释：

1. 问题：缺失的蓝图

想象一下，你有一套标准城堡（经典曲线）的乐高组装说明书。同时，你也有一套关于未来主义飞船（Montgomery 曲线）和流线型摩天大楼（Hessian 曲线）的说明书。你知道飞船和摩天大楼通过桥梁与城堡相连，但你却没有关于如何利用这些桥梁将飞船的设计转化为摩天大楼设计的具体说明。

作者们想要为这些特定的飞船和摩天大楼设计制作专门的“翻译规则手册”（模多项式）。

2. 解决方案：一种新的建造方式

通常，为了构建这些规则手册，数学家需要使用来自“模形式（Modular Forms）”领域的重型机械（你可以把它想象成一台需要物理学博士学位才能操作的高科技 3D 打印机）。

作者们采取了另一种方法。他们使用了纯代数（Pure Algebra），这更像是使用锤子和锯子。他们不需要那台高级的 3D 打印机。相反，他们观察了定义这些曲线的特定“成分”（系数），并问道：“如果我有一个桥梁连接这两个形状，我能否写出一个简单的方程来联系它们的成分？”

他们证明了：

是的，规则手册确实存在。
它们很简洁： 这些规则手册中的数字都是整数（没有混乱的分数）。
它们是对称的： 如果你在方程中交换两个曲线的位置，规则仍然成立（就像一座双向桥）。
它们是唯一的： 对于每种类型的桥梁，都只有一个正确的规则手册。

3. “良模型（Good Model）”的概念

为了让这项工作奏效，作者引入了一个他们称之为**“良模型（Good Model）”**的概念。

想象一下你正在描述一辆汽车。你可以通过发动机排量、颜色或车牌号来描述它。但为了构建一个关于汽车如何连接的规则手册，你需要一种能让你轻松观察零件运动的描述方式。

**“良模型”**是一种描述曲线的特定方式（例如对 Montgomery 曲线使用“x 坐标”，或对 Hessian 曲线使用特殊的“t 坐标”），它自带一份内置手册。
这份手册明确告诉你如何进行：
- 曲线上的点乘法（标量乘法）。
- 寻找充当“零”的点（除法多项式）。
- 在曲线之间搭建桥梁（同源公式）。

作者们展示了对于 Montgomery 曲线和 Hessian 曲线，这些“良模型”是存在的。因为拥有这些手册，他们可以从数学上证明这些规则手册必然存在，并且具有良好的性质。

4. 构造方法（算法）

一旦他们证明了规则手册可能存在，他们就需要真正地将它们写下来。他们不能仅仅靠猜测；这些数字非常庞大。

他们使用了一种基于**变形理论（Deformation Theory）**的巧妙技巧。想象你有一个曲线的粘土模型。

你取一点点几乎看不见的“魔法粉尘”（一个数学变量，称为 $\epsilon$ ）并将其混入粘土中。
你稍微拉伸粘土（使其变形）。
你在原始粘土和拉伸后的粘土之间建立一座桥。
通过观察随着你添加更多粉尘，这座桥是如何变化的，你可以逆向工程出整个规则手册。

他们在计算机上使用了一种基于**中国剩余定理（Chinese Remainder Theorem）**的方法来执行此操作。这可以看作是在拼凑一个巨大的拼图。他们并没有试图一次性解决整个拼图（这会消耗太多内存），而是在不同的“世界”（不同的质数）里解决小块的拼图，然后将这些碎片缝合在一起，形成完整的、宏大的规则手册。

5. 他们实际发现了什么

作者们不仅仅是说“这是可能的”。他们实际上构建了以下内容的规则手册：

Montgomery 曲线： 广泛用于安全通信（如 Curve25519）。
Hessian 曲线： 另一种高效的密码学形状。

他们编写了一个计算机程序，用于生成各种规模桥梁（质数）的多项式。他们测试了结果并确认这些规则手册运行完美：如果你使用它们来建造一座桥，这座桥确实会如预测般连接起曲线。

总结

简而言之，这篇论文关于的是**“蓝图的民主化”**。

之前： 我们有一种针对一种类型曲线的主规则手册，但流行的“Montgomery”和“Hessian”类型却被排除在外，没有明确的数学方式将它们联系起来。
现在： 作者们建立了一种全新的、纯代数的方法，来生成这些特定曲线的规则手册。他们证明了这些规则手册在数学上是可靠的（整数、对称），并提供了一种快速生成它们的计算机算法。

他们并没有发明新的曲线或改变密码学的工作方式；他们只是填补了数学家和密码学家一直在寻找的说明手册中缺失的页面。

技术摘要：具有层结构的模多项式的几何构造

问题陈述
经典的模多项式 $\Phi_m(X, Y)$ 描述了通过次数为 $m$ 的循环同源连接的两条椭圆曲线的 $j$ -不变量之间的代数关系。虽然存在计算这些多项式的算法（例如，通过傅里叶展开、超奇异同源或形变理论），但目前需要将这一框架扩展到“更高层”的结构。具体而言，本文研究了针对特定椭圆曲线模型（如 Montgomery 曲线和 Hessian 曲线，分别对应于具有层结构 $\Gamma_0(4)$ 和 $\Gamma(3)$ 的增强型椭圆曲线）的不变量的模多项式的构造。在此之前，文献中尚未严格证明这些特定形式的模多项式的存在性，也未建立过不依赖于模形式理论的纯代数构造方法。

方法论
作者提出了一种纯代数方法来构造高层不变性的模多项式。该方法依赖于以下核心概念：

不变量与良好模型（Good Models）： 作者定义了“层 $\Gamma$ 的不变量”为从增强型椭圆曲线的同构类集合到 $\mathbb{C}$ 的单射，并伴随一个将不变量与 $j$ -不变量联系起来的有理函数。至关重要的是，他们引入了“良好模型”的概念，这要求存在关于以下内容的显式公式：
- 标量乘法（ $[m]P$ ）。
- 除多项式（识别 $m$ 阶点）。
- 同源公式（从源曲线和核生成元计算目标曲线的不变量）。
  这些公式的系数必须位于特定的环中（例如 $\mathbb{Z}[X]$ 或 $\mathbb{Z}[1/m][X]$ ），以确保整数性。
通过形变理论证明存在性： 为了证明不变量 $\alpha$ 的模多项式 $\Phi^\alpha_m(X, Y)$ 的存在性，作者利用了形变理论（具体为 Kunzweiler–Robert 框架）。他们考虑了除多项式在有理函数域上的最小分裂域。通过分析伽罗瓦群在除多项式根（对应于循环子群）上的作用，他们构造了一个以通过同源连接的目标曲线的不变量为根的多项式。
算法构造： 本文改编了用于计算经典模多项式的 Kunzweiler–Robert 算法。该算法在有限域 $\mathbb{F}_{p^2}$ 上运行，并使用中国剩余定理（CRT）将结果提升到 $\mathbb{Z}[X, Y]$ 。
- 它选择具有复乘性质的素数 $p$ ，使得同源计算能够高效进行。
- 它在 Artinian 环 $R = \mathbb{F}_{p^2}[\epsilon]/(\epsilon^{\ell+2})$ 上对曲线和不变量进行形变。
- 它通过牛顿迭代（Hensel 提升）计算同源并提升目标不变量 $\alpha(E', P')$ ，确保提升后的不变量满足该模型的定义有理函数。

主要贡献

存在性与性质： 本文证明了对于任何拥有“良好模型”（满足特定的整数性和公式条件）的不变量 $\alpha$ ，模多项式 $\Phi^\alpha_m(X, Y)$ 均存在，且其在 $Y$ 上是次数为 $\psi(m)$ 的首一多项式，且具有整数系数。
对称性与不可约性：
- 当 $m > 1$ 且层为 $\Gamma_0(N)$ 或 $m \equiv \pm 1 \pmod N$ 时，该多项式被证明是称的（ $\Phi^\alpha_m(X, Y) = \Phi^\alpha_m(Y, X)$ ）。
- 如果该不变量是“可计算的”（可以表示为 $j$ -不变量和层结构坐标的有理函数，且独立于特定的曲线），则该多项式在 $\mathbb{C}(X)$ 上是不可约的。
具体实例： 作者展示了 Montgomery 曲线的系数 $A$ 和 Hessian 曲线的系数 $d$ 满足良好模型的条件。因此，这些系数的模多项式存在并具有所述性质。
同余性质： 本文确定了这些多项式系数的同余条件。对于 Montgomery 曲线，除非 $i+j \equiv 0 \pmod 2$ ，否则 $X^i Y^j$ 的系数为零。对于 Hessian 曲线，基于 $m \pmod 3$ 存在类似的模约束。
算法实现： 提供了一种复杂度为 $\tilde{O}(\ell^3 \log^3 \ell \log \log \ell)$ 比特运算的算法来计算这些多项式，其效率与已知最好的经典模多项式算法相匹配。

结果

作者在 SageMath 中实现了该算法，并计算了所有 $\ell < 150$ 的素数对应的 Montgomery 曲线和 Hessian 曲线的模多项式。
实验结果证实，计算出的多项式在有限域上满足同源条件。
实验验证了系数的对称性和特定的同余性质。
计算出的多项式的对数高度通常符合与经典情况相关的猜想界限，仅在 Hessian 情况下的某些小素数处存在微小例外。
对置换 $\sigma$ （与在不变量图像之外的点处评估多项式相关）的研究表明，对于 Montgomery 曲线， $\sigma$ 是恒等变换；而对于 Hessian 曲线，它是一个非平凡置换。

意义与主张
作者明确指出，他们的主要贡献是提供另一种构造高层模多项式的方法，这种方法是纯代数的，且不依赖于模形式理论。他们并非声称这些示例（Montgomery/Hessian 系数）不是模函数；相反，他们断言其代数方法提供了一条独特的、潜在有用的路径，用于构造其他形式的椭圆曲线的模多项式，在这些情况下，应用模形式理论可能较为困难，或者虽然已知标量乘法和同源的显式公式，但其模性质并不直观。

本文强调，这些形式的模多项式的存在性此前在文献中尚未得到证明。通过建立“良好模型”标准，作者为验证更广泛的一类椭圆曲线模型的模多项式的存在性和整数性提供了通用的框架。

1. 问题：缺失的蓝图

2. 解决方案：一种新的建造方式

3. “良模型（Good Model）”的概念

4. 构造方法（算法）

5. 他们实际发现了什么

总结

类似论文