[论文解读] Low Degree Places on the Modular Curve X1(N)

Mark van Hoeij|arXiv (Cornell University)|Feb 20, 2012

Cryptography and Residue Arithmetic被引用 5

一句话总结

本文研究模曲线 $X_1(N)$ 上的低度点，重点关注定义在度数小于 $X$-扭结数的数域上的点。通过黎曼-罗赫空间计算与模单位，作者证明了此类点的存在性（例如，当 $N=37$ 时，一个度数为 6 的域支持一个阶为 37 的点），并提出了一种有限可计算的方法来寻找所有此类点，尽管反例表明并非所有低度点都是尖点邻域点。

ABSTRACT

This short note gives questions and examples of points on X1(N) defined over number fields whose degrees are lower than the gonality.

研究动机与目标

• 确定 $X_1(N)$ 上度数小于 $X$-扭结数的点是否仅有有限多个，若是，是否可通过有限步计算找到。
• 调查 $X_1(N)$ 上所有低度非尖点位置是否均为尖点邻域点，即是否存在于仅含尖点与该位置的除子的模单位的支集内。
• 开发并测试计算策略——具体为黎曼-罗赫空间计算与模单位的根查找——以定位 $X_1(N)$ 上的低度点。
• 通过概率方法将低度点的搜索扩展至 $N \leq 80$，并与早期的黎曼-罗赫计算结果进行比较。
• 测试 $f - c = 0$ 方法（使用模单位）与黎曼-罗赫方法在 $N \leq 40$ 下的有效性，观察到强烈的实证一致性。

提出的方法

• 将低度点定义为 $X_1(N)$ 上非尖点位置 $v$，满足 $\deg(v) < \text{gon}(N)$，即 $X_1(N)$ 的 $X$-扭结数。
• 使用在尖点上支撑的除子 $D$ 的黎曼-罗赫空间 $L(D)$，计算具有受控极点与零点的函数，以寻找低度点。
• 将有限域 $\mathbb{F}_p$ 上的除子提升至特征 0，构造候选点，确保 $\deg(D') < \text{gon}(N)$ 且 $D' \geq 0$，$\text{Supp}(D') \cap \text{Cusps}(N) = \emptyset$。
• 对于 $N > 40$，改用概率方法：采样模单位 $f$，并求解 $f - c = 0$，其中 $c = \pm 1$，找到对应于低度点的根。
• 利用 Sutherland 数据库中通过 $r, s, b, c$ 的显式参数化，定义椭圆曲线 $E_{b,c}$，其上存在一个阶为 $N$ 的点 $P$，对应于 $X_1(N)$ 上的一个点。
• 验证位置 $v$ 的剩余域 $\mathbb{Q}(v)$ 是一个度数为 $\deg(v)$ 的数域，且 $E_{b,c}$ 在 $\mathbb{Q}(v)$ 上具有一个阶为 $N$ 的点。

实验结果

研究问题

• RQ1 低度点集合 $\text{LDP}(N) = \{v \in \text{Places}(N) \setminus \text{Cusps}(N) \mid \deg(v) < \text{gon}(N)\}$ 是否总是有限的，并且可在有限步内计算？
• RQ2 是否每个低度点都是尖点邻域点，即是否存在一个模单位 $f$ 满足 $v(f) = 1$ 且 $\text{Supp}(f) \subseteq \text{Cusps}(N) \cup \{v\}$？
• RQ3 对于 $N \leq 40$，$f - c = 0$ 方法（使用模单位）是否能恢复所有通过黎曼-罗赫计算找到的低度点？
• RQ4 对于 $N \leq 80$，非尖点位置的度数以及 $C_N = \mathbb{Q}(x)[y]/(F_N)$ 中函数的度数是多少？搜索是否完整？
• RQ5 是否存在理论解释，说明为何 $f - c = 0$ 方法在实证上能成功恢复所有通过黎曼-罗赫找到的低度点？

主要发现

• 当 $N = 37$ 时，阶为 37 的点定义在 $\mathbb{Q}(\alpha, \tau)$ 上，这是一个度数为 6 的数域，而 $X_1(37)$ 的 $X$-扭结数为 18，表明 $\text{LDP}(37) \neq \emptyset$。
• $f - c = 0$ 方法使用模单位，成功恢复了所有通过黎曼-罗赫方法在 $N \leq 40$ 下找到的低度点，表明其具有强实证有效性，尽管该方法是启发式的。
• 问题 1（是否所有低度点都是尖点邻域点）的答案是否定的：并非所有低度点都作为仅含尖点与该点的模单位的支集出现。
• 一份 $N \leq 80$ 的表格列出了所找到的函数与位置的度数，其中 '6+' 表示度数 $\geq 6$ 的位置，'9,10,11+' 表示对应度数的函数。
• 对于 $N = 29$，发现了三个非同构的度数为 9 的数域，每个都支持一个椭圆曲线上阶为 29 的点。
• 对于 $N = 31$，发现了五个非同构的数域，包括一个度数为 9 的域，$X$-扭结数为 12，且找到了度数为 9 及以上的点。