[论文解读] Homogeneous division polynomials for Weierstrass elliptic curves

Jinbi Jin|arXiv (Cornell University)|Mar 18, 2013

Algebraic Geometry and Number Theory参考文献 4被引用 3

一句话总结

本文在 ℤ[a₁,a₂,a₃,a₄,a₆][x,y,z] 中构造了齐次除法多项式 αₙ, βₙ, γₙ，它们在任意环上的所有魏尔斯特拉斯椭圆曲线上定义了乘法 by n 的运算，利用立方定理证明了其存在性与普遍性。关键贡献在于表明，巴伊济兹等人在 ℂ 上给出的模曲线 Y₁(n) 的方程实际上在 ℤ[1/n] 上定义了 Y₁(n)，而不仅限于 ℂ。

ABSTRACT

Starting from the classical division polynomials we construct homogeneous polynomials $α_n$, $β_n$, $γ_n$ such that for $P = (x:y:z)$ on an elliptic curve in Weierstrass form over an arbitrary ring we have $nP = \bigl(α_n(P):β_n(P):γ_n(P)\bigr)$. To show that $α_n,β_n,γ_n$ indeed have this property we use the a priori existence of such polynomials, which we deduce from the Theorem of the Cube. We then use this result to show that the equations defining the modular curve $Y_1(n)_{\mathbb C}$ computed for example by Baaziz, in fact are equations of $Y_1(n)$ over $\mathbb Z[1/n]$.

研究动机与目标

• 在任意环上的所有魏尔斯特拉斯椭圆曲线上构造齐次多项式 αₙ, βₙ, γₙ，以定义乘法 by n，包括非仿射点。
• 通过提供齐次的射影形式，解决经典除法多项式仅在仿射点（z=1）上定义的局限性。
• 证明在 ℂ 上的经典 Y₁(n) 模曲线方程（如巴伊济兹的方程）实际上在 ℤ[1/n] 上定义了 Y₁(n)，而不仅限于 ℂ。
• 通过这些齐次多项式，建立在 ℤ[1/n] 上的普遍光滑魏尔斯特拉斯曲线具有一个带有普遍 n-挠点的典范模型。
• 证明齐次多项式 αₙ, βₙ, γₙ 在符号意义下唯一，且次数为 n²，推广了经典仿射情形。

提出的方法

• 将经典除法多项式 ΦₙΨₙ, Ωₙ, Ψₙ³ 对魏尔斯特拉斯方程取齐次化，构造 αₙ, βₙ, γₙ，确保其次数为 n² 且齐次。
• 利用立方定理证明在任意环上的光滑魏尔斯特拉斯曲线上，存在此类齐次多项式以定义乘法 by n。
• 将问题约化到普遍光滑魏尔斯特拉斯曲线，并利用立方定理证明多项式 αₙ, βₙ, γₙ 在普遍曲线上定义了乘法 by n。
• 通过证明多项式在基变换下良定义且相容，将结果从光滑曲线推广到所有魏尔斯特拉斯曲线（包括奇异的）。
• 将构造应用于椭圆曲线带 Z/nZ 嵌入的模问题，利用塔特定型证明在 ℤ[1/n] 上的可表示性。
• 通过 ψₙ 和前序 fₙ 递归定义 fₙ ∈ ℤ[1/n][s,t]，并证明当与 δ ≠ 0（判别式条件）结合时，fₙ = 0 在 ℤ[1/n] 上定义了 Y₁(n)。

实验结果

研究问题

• RQ1 能否在 ℤ[a₁,a₂,a₃,a₄,a₆][x,y,z] 上构造齐次多项式 αₙ, βₙ, γₙ，使得对任意环上的所有魏尔斯特拉斯曲线及所有点 P = (x:y:z)，都有 nP = (αₙ(P) : βₙ(P) : γₙ(P))？
• RQ2 使用立方定理是否能为这类齐次除法多项式的存在性与普遍性提供一种概念性证明？
• RQ3 在 ℂ 上的经典 Y₁(n) 模曲线方程（如巴伊济兹的方程）是否实际上在 ℤ[1/n] 上定义了 Y₁(n)，而不仅限于 ℂ？
• RQ4 模空间 P(n)（即带 Z/nZ-嵌入的椭圆曲线）是否可通过 fₙ 的零点与非零判别式在 ℤ[1/n] 上表示？
• RQ5 塔特定型是否可用于证明在定义于 ℤ[1/n][s,t,δ⁻¹] 上的魏尔斯特拉斯曲线上，普遍 n-挠点对应于 (0:0:1)？

主要发现

• 齐次多项式 αₙ, βₙ, γₙ 存在且在符号意义下唯一，每个的次数为 n²，且对任意环上的所有魏尔斯特拉斯曲线及所有点 P = (x:y:z)，满足 nP = (αₙ(P) : βₙ(P) : γₙ(P))。
• 立方定理为这些多项式的存在性提供了概念性证明，确保它们在普遍光滑魏尔斯特拉斯曲线上定义了乘法 by n。
• 方程 fₙ = 0 与 δ ≠ 0（其中 fₙ 由 ψₙ = Ψₙ(1+s,t,t,0,0,0,0) 递归定义）在 ℤ[1/n] 上定义了模曲线 Y₁(n)，而不仅限于 ℂ。
• 椭圆曲线带 Z/nZ-嵌入的模问题 P(n) 在 ℤ[1/n] 上由 Spec ℤ[1/n][s,t,δ⁻¹,1/n]/(fₙ) 表示，其普遍曲线为 y²z + (1+s)xyz + t yz² = x³ + t x² z。
• 普遍 n-挠点在该模型上对应于 (0:0:1)，且该构造证实 fₙ 在 ℤ[1/n] 上的 n-挠点处精确为零。
• 该构造表明，巴伊济兹（2010）在 ℂ 上给出的 Y₁(n) 的经典方程在 ℤ[1/n] 上也成立，从而扩展了其算术意义。