[论文解读] The unit equation has no solutions in number fields of degree prime to $3$ where $3$ splits completely

Nicholas Triantafillou|arXiv (Cornell University)|Mar 5, 2020

Algebraic Geometry and Number Theory参考文献 7被引用 5

一句话总结

本文证明了在3在数域$K$中完全分裂且$[K:\mathbb{Q}]$不被3整除的条件下，单位方程$x + y = 1$在$K$中无解。作者采用受Skolem-Chabauty-Coleman方法启发的$p$-进方法，表明在此条件下，$\mathcal{O}_K^\times$中的任意一对单位均无法相加为1，从而首次构造出高次数数域中无例外单位的非平凡无限家族。

ABSTRACT

Let $K$ be a number field with ring of integers $\mathcal O_{K}$. We prove that if $3$ does not divide $ [K:\mathbb Q]$ and $3$ splits completely in $K$, then the unit equation has no solutions in $K$. In other words, there are no $x, y \in \mathcal O_{K}^{ imes}$ with $x + y = 1$. Our elementary $p$-adic proof is inspired by the Skolem-Chabauty-Coleman method applied to the restriction of scalars of the projective line minus three points. Applying this result to a problem in arithmetic dynamics, we show that if $f \in \mathcal O_{K}[x]$ has a finite cyclic orbit in $\mathcal O_{K}$ of length $n$ then $n \in \{1, 2, 4\}$.

研究动机与目标

• 建立一类新的数域——即次数与3互素且3完全分裂的数域——其上单位方程无解。
• 提供首个非平凡的高次数数域无限家族，其上无例外单位（排除2分裂且剩余域为$\mathbb{F}_2$的平凡情形）。
• 将此结果应用于算术动力系统，限制此类数域上多项式映射的有限轨道可能的周期长度。
• 拓展$p$-进方法（特别是Skolem-Chabauty-Coleman方法）的应用范围，将其推广至$\mathbb{P}^1 \setminus \{0,1,\infty\}$的标量限制。

提出的方法

• 通过3在$K$中完全分裂所诱导的$d$个嵌入，将$\mathcal{O}_K$嵌入到$\mathbb{Z}_3^d$中，对单位方程进行$p$-进分析。
• 利用单位在$\mathcal{O}_K^\times$中经这些嵌入映射到$1 + 3\mathbb{Z}_3$的性质，确保其对数具有正的3-进赋值。
• 构造一个3-进幂级数$f(n) = \prod_{i=1}^d (1 + \exp(n \log u_i))$，其零点对应于单位方程的解。
• 分析$f(n)$的幂级数展开中系数的3-进赋值，证明当且仅当$3 \mid d$时有$v_3(a_0) \geq 2$，这与假设$3 \nmid d$矛盾。
• 运用$p$-进对数与指数的理论，依赖于$\mathbb{Z}_3$中$\exp$与$\log$的收敛条件。
• 将结果与$\mathbb{P}^1 \setminus \{0,1,\infty\}$的广义雅可比簇的标量限制联系起来，将解解释为3-进解析集中的交点。

实验结果

研究问题

• RQ1 是否存在除平凡情形外的高次数数域无限家族，其上单位方程无解？
• RQ2 Skolem-Chabauty-Coleman方法能否被调整，以通过局部条件检测数域上代数曲面上有理点的缺失？
• RQ3 数域$K$的哪些局部条件会强制导致例外单位（即满足$x + y = 1$且$x,y \in \mathcal{O}_K^\times$的解）不存在？
• RQ4 素数$p$的分裂行为与$K$的次数如何相互作用，以限制单位方程解的存在性？
• RQ5 在数域中缺少例外单位对动力系统有何影响，特别是对多项式映射有限轨道的周期？

主要发现

• 当3在$K$中完全分裂且$3 \nmid [K:\mathbb{Q}]$时，单位方程$x + y = 1$在$\mathcal{O}_K^\times$中无解。
• 该结果首次确立了高次数数域中无例外单位的非平凡无限家族（排除2分裂且剩余域为$\mathbb{F}_2$的情形）。
• 证明利用了范数映射的幂级数展开的$p$-进分析，表明常数项$a_0 = 2^d - (-1)^d$满足$v_3(a_0) \geq 2$当且仅当$3 \mid d$，与假设矛盾。
• 该方法依赖于$\mathbb{Z}_3$中$\exp$与$\log$的收敛性，以及$f(n)$的幂级数展开中奇次幂系数的消失，这反映了单位方程的对称性。
• 作为推论，任何$f \in \mathcal{O}_K[x]$在$\mathcal{O}_K$中具有有限轨道时，其轨道大小$n$必属于$\{1,2,4\}$。
• 此类数域中例外单位的缺失意味着，除非存在例外单位，否则不存在奇数阶的有限轨道，从而将动力系统与单位群结构联系起来。