[论文解读] Elliptic curves and continued fractions

Alfred J. van der Poorten|ArXiv.org|Mar 14, 2004

Algebraic Geometry and Number Theory参考文献 8被引用 24

一句话总结

本文建立了首一四次多项式平方根的连分数展开与椭圆曲线算术之间的深刻联系，表明其渐近分数产生满足Somos型递推关系的整数序列。通过将连分数过程解释为雅可比(Jacobian)上无穷远点处除子的加法，作者推导出显式的递推关系——如形如 $ B_{h-2}B_{h+3} = B_{h+2}B_{h-1} + B_{h+1}B_h $ 的关系——并证明这些关系自然源自椭圆曲线上的点乘法，从而统一了数论序列与代数几何理论。

ABSTRACT

We detail the continued fraction expansion of the square root of the general monic quartic polynomial, noting that each line of the expansion corresponds to addition of the divisor at infinity. We analyse the data yielded by the general expansion. In that way we obtain `elliptic sequences' satisfying Somos relations. I mention several new results on such sequences. The paper includes a detailed `reminder exposition' on continued fractions of quadratic irrationals in function fields.

研究动机与目标

• 阐明由Somos型递推关系定义的整数序列（特别是形如 $ B_{h-2}B_{h+3} = B_{h+2}B_{h-1} + B_{h+1}B_h $ 的序列）的代数起源。
• 表明首一四次多项式 $ D(X) $ 的 $ \sqrt{D(X)} $ 连分数展开，对应于关联椭圆曲线雅可比(Jacobian)上无穷远点处除子的加法。
• 统一函数域中连分数理论与椭圆曲线算术，尤其通过挠除子与函数域单位的视角。
• 证明满足Somos-$ m $ 关系（如Somos-4、Somos-5、Somos-6、Somos-8）的序列本质上与椭圆曲线上群法则相关，并可从同一基本结构中导出。

提出的方法

• 分析形如 $ D(X) = (X^2 + f)^2 + 4v(X - w) $ 的 $ \sqrt{D(X)} $ 的连分数展开，利用完全分式递推关系。
• 通过展开式中系数比较定义序列 $ e_h, w_h, v_h $，导出关键恒等式 $ e_h e_{h+1} = v(w - w_h) $。
• 建立连分数过程与椭圆曲线 $ Y^2 = D(X) $ 上点加法之间的对应关系，识别出 $ M_{h+1} = (w_h, e_h - e_{h+1}) $ 为曲线上的点。
• 使用双有理变换将四次模型转化为魏尔斯特拉斯(Weierstrass)形式 $ V^2 - vV = U^3 - fU^2 + vwU $，以支持群法则计算。
• 应用函数域 $ \mathbb{F}(X,Y) $ 中单位的理论，证明若存在范数为 $ -\kappa $ 的非平凡单位，则连分数具有拟周期性。
• 推导连分数的对称性质，包括当 $ \kappa \neq -1 $ 时的扭曲对称性，并证明拟周期展开也具有两倍于拟周期的周期性。

实验结果

研究问题

• RQ1 由Somos型递推关系（如 $ B_{h-2}B_{h+3} = B_{h+2}B_{h-1} + B_{h+1}B_h $）定义的整数序列，与椭圆曲线算术有何关联？
• RQ2 当 $ D(X) $ 为首一四次多项式时，$ \sqrt{D(X)} $ 的连分数展开的几何解释是什么？
• RQ3 为何某些满足Somos-$ m $ 关系的序列也满足多个其他此类关系（例如，一个Somos-4序列同时也是Somos-5、Somos-6和Somos-8序列）？
• RQ4 在函数域中，二次无理数的连分数展开在何种条件下成为拟周期的？这与函数域中单位的存在性有何关联？

主要发现

• 当 $ D(X) = (X^2 + f)^2 + 4v(X - w) $ 时，$ \sqrt{D(X)} $ 的连分数展开对应于关联椭圆曲线雅可比(Jacobian)上无穷远点处除子的加法。
• 递推关系 $ B_{h-2}B_{h+3} = B_{h+2}B_{h-1} + B_{h+1}B_h $ 源于椭圆曲线上的群法则，序列 $ (B_h) $ 编码了某一点的平移倍数坐标的分母。
• 一个Somos-4序列总是满足Somos-5、Somos-6和Somos-8关系，通过推导恒等式 $ C_{h-3}C_{h+3} = C_{h-1}C_{h+1} + 5C_h^2 $ 得到证明。
• 若函数域中存在范数为 $ -\kappa $ 的非平凡单位 $ u $，则 $ Y + A - T $ 的连分数为拟周期，且当 $ \kappa \neq -1 $ 时，其拟周期必为奇数。
• $ Y + A - T $ 的连分数具有两倍于拟周期的周期，且由于 $ \kappa $ 的存在而表现出扭曲对称性，该性质由Schmidt的连分数乘法法则形式化。
• 满足 $ T_{h-3}T_{h+3} = T_{h-2}T_{h+2} + T_h^2 $ 的序列 $ (\ldots, 2, 1, 1, 1, 1, 1, 1, 2, 3, 4, 8, 17, 50, \ldots) $ 来源于在亏格2曲线 $ Y^2 = (X^3 - 4X + 1)^2 + 4(X - 2) $ 上对无穷远点处除子的倍数相加。