On the unit equation $\varepsilon+\delta=n$ in cubic fields

技术摘要：关于三次域中单位方程 $\varepsilon + \delta = n$ 的研究

问题陈述
本文研究了三次数域 $L$ 中单位方程 $\varepsilon + \delta = n$，其中 $\varepsilon$ 和 $\delta$ 是其整数环 $\mathcal{O}_L$ 中的单位，$n$ 是一个非零整数。该方程对应于在穿孔曲线 $X = \mathbb{P}^1 \setminus \{0, n, \infty\}$ 上寻找 $L$-有理点。具体而言，作者关注的是“新”点集，记作 $X(\mathcal{O}_L)^{\text{new}}$，即定义在 $L$ 上但并非定义在任何比 $\mathbb{Q}$ 更小的扩张上的点。核心问题是，当三次域按绝对判别式排序时，这些解的统计行为如何。

研究方法
作者结合了显式代数参数化与算术统计学的方法。

1. 解的参数化：
   论文首先建立了单位方程的解与特定三次多项式的根之间的对应关系。

   • 对于 $n \geq 3$，引理 5 表明，若 $L = \mathbb{Q}(\varepsilon)$ 为三次域，则 $\varepsilon$ 的最小多项式必须具有形式 $X^3 + aX^2 - (n^2 + an)X + 1$（其中 $a$ 为某个整数）。
   • 对于 $n=2$ 和 $n=1$，引理 6 和引理 7 提供了类似的显式参数化，识别出了生成相关域的特定三次多项式族。
   • 作者还分析了二次情形（第 2 节），证明对于任何 $n$，包含解的二次域仅有有限个，这与三次情形形成了对比。

2. 算术统计与伽罗瓦理论：
   为了证明统计结果，作者利用了一个近期定理（定理 8），该定理源自其前作 [6] 以及 Bhargava、Taniguchi 和 Thorne [1] 的研究。该定理提供了一个判定标准，用于确定由多项式 $F(t, X)$ 定义的一族三次域是否构成一个“稀薄”（thin）集合（即在按判别式排序的所有三次域中占比为 0%）。

   • 作者根据引理中的参数化构造了一个二元多项式 $F(T, X)$。
   • 他们分析了 $F$ 关于 $X$ 的判别式 $\Delta_X(F)$。他们将该判别式分解为 $g(T) \cdot h(T)^2$，其中 $g(T)$ 是无平方因子（square-free）的。
   • 证明依赖于验证 $g(T)$ 的两个条件：
     1. $g(T)$ 没有有理根（通过研究相关的亏格 1 曲线 $E: Y^2 + Y = X^3$ 来验证）。
     2. 伽罗瓦群 $G = \text{Gal}(g)$ 包含一个在 $g$ 的根上自由作用的元素。

主要贡献与结果
本文提出了关于方程 $\varepsilon + \delta = n$ 的两个主要结果：

• 定理 3(I)： 存在无穷多个三次域 $L$，使得新点集 $(\mathbb{P}^1 \setminus \{0, n, \infty\})(\mathcal{O}_L)^{\text{new}}$ 非空。这是通过引理 5、6 和 7 中所述的无穷三次域族显式构造建立的。
• 定理 3(II)： 当三次域按绝对判别式排序时，100% 的三次域满足 $(\mathbb{P}^1 \setminus \{0, n, \infty\})(\mathcal{O}_L)^{\text{new}} = \emptyset$。
  • 该结果通过证明由单位方程解生成的次数域族属于定理 8 中描述的“稀薄”集而得到证明。
  • 作者验证了对于 $n \geq 3$，判别式多项式 $g(T)$ 没有有理根，且其伽罗瓦群包含一个无不动点的元素。对于 $n=1$ 和 $n=2$ 的情况，作者指出其过程类似但更为基础。

意义与主张
本文的研究结果为“双曲曲线的统计丢番图稳定性猜想”（猜想 1）提供了进一步的证据。该猜想认为，对于双曲曲线 $X$，在允许的族中，$L$-新点集对于 100% 的扩张 $L$ 都是空的。

• 与猜想的一致性： 结果证实了对于特定的双曲曲线 $\mathbb{P}^1 \setminus \{0, n, \infty\}$，该猜想在三次域族中成立。
• 与二次域的对比： 作者强调了二次域与三次域之间的显著差异。虽然定理 3(II) 的二次类比是平凡的（因为只有有限个二次解），但三次情形需要非平凡的统计论证来证明尽管解是无穷多的，但它们是稀有的（密度为 0）。
• 谦逊的态度： 作者将这项工作定位为为更广泛的猜想提供“进一步证据”，而非对所有双曲曲线完成猜想的证明。他们明确引用了前作 [6] 以说明其一般框架以及 $n=1$ 的特殊情况（定理 2），并指出本文将其推广到了任意非零整数 $n$。

论文最后指出，用于验证判别式多项式性质的辅助计算代码（Magma）已在公共仓库中公开。