[论文解读] A note on rational and elliptic curves associated with the cuboid factor equations

Руслан Шарипов|arXiv (Cornell University)|Sep 25, 2012

Polynomial and algebraic computation参考文献 38被引用 9

一句话总结

本文研究了由长方体因式分解方程导出的有理曲线与椭圆曲线——这些多项式方程源自完全长方体问题。通过将这些方程用多重对称多项式表示，并将其约化为单个有理曲线方程，作者建立了与直线的双有理等价关系，从而可应用椭圆曲线理论。其主要贡献在于构建了一个系统性框架，将亏格零与亏格一曲线与有理完全长方体的存在性联系起来。

ABSTRACT

A rational perfect cuboid is a rectangular parallelepiped whose edges and face diagonals are given by rational numbers and whose space diagonal is equal to unity. It is described by a system of four equations with respect to six variables. The cuboid factor equations were derived from these four equations by symmetrization procedure. They constitute a system of eight polynomial equations, which has been solved parametrically. In the present paper its parametric solution is expressed through intersections or rational and elliptic curves arranged into parametric families.

研究动机与目标

• 建立长方体因式分解方程的有理解与亏格零及亏格一代数曲线之间的联系。
• 研究长方体因式分解方程的有理解是否对应于亏格零或亏格一曲线上的有理点。
• 确定由这些曲线导出的丢番图方程的可解性条件。
• 将椭圆曲线理论应用于有理完全长方体存在性问题。
• 提供一个框架，用于在研究完全长方体时应用现代椭圆曲线理论工具。

提出的方法

• 将长方体因式分解方程组约化为关于初等多重对称多项式与空间对角线 $L$ 的单个多项式方程。
• 应用多重对称多项式理论，将方程表示为 $E_{10}, E_{01}, E_{11}, L$ 及其他对称不变量的形式。
• 通过参数 $t$ 的有理函数，利用与直线的双有理等价关系，推导出所得曲线的有理参数化表示。
• 将曲线变换为勒让德类型的丢番图方程：$X^2 - MN Y^2 + 3Z^2 = 0$，其中 $MN$ 为无平方因子数。
• 应用勒让德定理及其改进形式，确定该丢番图方程的可解性条件。
• 分析由同一系统导出的亏格一曲线，表明其在 $(\pm1, 0)$ 处具有有理点，从而确认其为椭圆曲线。

实验结果

研究问题

• RQ1 由长方体因式分解方程导出的丢番图方程 $X^2 - MN Y^2 + 3Z^2 = 0$ 在何种条件下存在非零有理解？
• RQ2 由长方体因式分解方程得到的亏格零曲线是否在 $\mathbb{Q}$ 上有理？如何判断？
• RQ3 由长方体因式分解方程导出的亏格一曲线是否符合椭圆曲线的定义？它们具有哪些有理点？
• RQ4 能否利用由长方体因式分解方程导出的有理曲线与椭圆曲线的交点来构造有理完全长方体？
• RQ5 参数 $Q = (M m^2)/(N n^2)$ 在确定相关代数曲线的有理性方面起什么作用？

主要发现

• 根据定理 1.1 的证明，长方体因式分解方程对正有理解而言等价于原始长方体方程。
• 该系统约化为单个有理曲线方程：$(2E_{11})^2 + (E_{01}^2 + L^2 - E_{10}^2)^2 - 8E_{01}^2 L^2 = 0$，该方程具有有理参数化表示。
• 当且仅当满足定理 3.3 与 3.4 的可解性条件时，亏格零曲线在 $\mathbb{Q}$ 上有理，特别是 $-3$ 是模 $MN$ 的二次剩余。
• 亏格一曲线 $2(w^2 - 1) = P \alpha^3$ 在 $(\pm1, 0)$ 处具有有理点，从而确认其为椭圆曲线。
• 丢番图方程 $X^2 - MN Y^2 + 3Z^2 = 0$ 存在非零有理解，当且仅当 $MN > 0$，$-3$ 是模 $MN$ 的二次剩余，且根据 $MN \mod 3$ 的值，$MN$（或 $MN/3$）是模 3 的二次剩余。
• 附录文件 Quadratic_curves.txt 中对特定曲线的数值分析表明，该长方体因式分解理论中确实存在有理与非有理的亏格零曲线。