On the Diophantine Equation $x_1^{3}-x_2^{2}x_1+1=0$ over $\mathbb{Q}(\sqrt{2})$

技术摘要：关于 $\mathbb{Q}(\sqrt{2})$ 上丢番图方程 $x_1^3 - x_2^2 x_1 + 1 = 0$ 的研究

问题陈述
本文研究了在特定定义域内丢番图方程 $x_1^3 - x_2^2 x_1 + 1 = 0$ 的可解性，其中 $x_1 \in \mathbb{Q}(\sqrt{2})$ 且 $x_2 \in \mathbb{Z}[\sqrt{2}]$。主要目标是确定该三次方程在实二次域 $\mathbb{Q}(\sqrt{2})$ 的整数环上的完整解集。

方法论
作者采用了针对二次整数环 $\mathbb{Z}[\sqrt{2}]$ 的初等算术技术。证明策略依赖于三大支柱：

1. 单位群结构： 利用 $\mathbb{Z}[\sqrt{2}]$ 是主理想整环（PID）以及其单位群由基本单位 $1 + \sqrt{2}$ 生成的事实。
2. 整除性与范数论证： 通过分析当 $x_1$ 表示为互质整数之商时方程各项的整除性质，建立任何有理解 $x_1$ 实际上必须是 $\mathbb{Z}[\sqrt{2}]$ 中的单位这一结论。
3. 关于单位幂次的辅助引理： 证明的核心在于将原方程归约为 $x_1$ 为单位的情况。这导致了涉及基本单位 $y = 1 + \sqrt{2}$ 及其共轭 $z = 1 - \sqrt{2}$ 之幂次的辅助方程。具体而言，作者证明了对于自然数 $s$ 和非平凡 $m \in \mathbb{Z}[\sqrt{2}]$，形式为 $(1+\sqrt{2})^{4s} + (1+\sqrt{2})^{-2s} = m^2$ 以及 $(1-\sqrt{2})^{4s} - (1-\sqrt{2})^{-2s} = m^2$ 的方程不存在解。这些引理是通过分析二项式展开中 $\sqrt{2}$ 的系数并利用奇偶性论证推导出来的。

关键结果
本文确立了定理 1.1，该定理断言方程 $x_1^3 - x_2^2 x_1 + 1 = 0$ 在 $\mathbb{Q}(\sqrt{2}) \times \mathbb{Z}[\sqrt{2}]$ 中的解集恰好包含两对解：

• $(x_1, x_2) = (-1, 0)$
• $(x_1, x_2) = (1, \sqrt{2})$

证明表明，假设存在任何其他解，会导致关于基本单位幂次展开中系数奇偶性的矛盾。

在椭圆曲线中的应用
作为该丢番图结果的直接应用，本文分析了由 $C_m: Y^2 = X^3 - m^2 X + 1$ 定义的椭圆曲线族，其中 $m \in \mathbb{Z}[\sqrt{2}]$。

• 椭圆曲线上的 2 阶点对应于三次多项式 $X^3 - m^2 X + 1$ 的根。
• 推论 1.2 推导出，对于每个 $m \in \mathbb{Z}[\sqrt{2}] \setminus \{0, \sqrt{2}\}$，Mordell–Weil 群 $C_m(\mathbb{Q}(\sqrt{2}))$ 不包含 2 阶有理点。
• 文中指出，在排除的情况 $m=0$ 和 $m=\sqrt{2}\text{ 之下}$，2 阶点确实存在（具体为 $(-1,0)$ 和 $(1,0)$ 分别对应上述情况）。

意义与范围
作者将这项工作定位为对二次整数环上丢番图方程研究的一项初等贡献，在这一领域，相比于有理整数，已知的结论较少。

• 声明的谦逊性： 文中明确指出这些技术是“完全初等的”，仅依赖于 $\mathbb{Z}[\sqrt{2}]$ 的算术，而未调用高级数学工具。
• 背景： 研究结果旨在补充由 Kamienny 和 Kenku–Momose 发起的关于二次域上椭圆曲线挠群的研究。
• 未来方向： 作者建议这些方法可以应用于其他实二次域上的类似方程、具有一般整数参数的方程或该族曲线 $C_m$ 的高阶挠点，但在本文中并未声称解决了这些更广泛的问题。