[论文解读] ON A FAMILY OF QUARTIC THUE EQUATIONS OVER FUNCTION FIELDS

Clemens Fuchs, Ana Jurasi ́ C+1 more|arXiv (Cornell University)|Dec 10, 2014

Algebraic Geometry and Number Theory参考文献 14被引用 1

一句话总结

本文通过在函数域上避免使用高度界，通过战略性地选择更小的单位群环，解决了函数域上一类四次Thue方程，从而得到简洁而初等的证明。关键贡献在于完全求解了参数方程 X(X − Y)(X + Y)(X − λY) + Y⁴ = λ 在 C(T) 上的解，其中 λ ∈ C(T) 为非常值且 λ ≠ 0。

ABSTRACT

We consider and completely solve the parametrized family of Thue equations X(X − Y )(X + Y )(X − �Y ) + Y 4 = �, where the solutions x,y come from the ring C(T), the parameter � ∈ C(T) is some non-constant polynomial and 0 6 � ∈ C. It is a function field analogue of the family solved by Mignotte, Pethýo and Roth in the integer case. A feature of our proof is that we avoid the use of height bounds by considering a smaller relevant ring for which we can determine the units more easily. Because of this, the proof is short and the arguments are very elementary (in particular compared to previous results on parametrized Thue equations over function fields).

研究动机与目标

• 求解函数域上参数化的四次Thue方程族，将先前基于整数的结果推广至函数域情形。
• 克服在函数域上Diophantine分析中通常依赖高度界的复杂技术困难。
• 通过限制到更小的环，简化单位群计算，从而实现初等方法。
• 与先前关于函数域上参数化Thue方程的研究相比，提供更短且自包含的证明。

提出的方法

• 聚焦于方程 X(X − Y)(X + Y)(X − λY) + Y⁴ = λ 在 C(T) 上的解，其中 λ 是 C(T) 中的非常值多项式。
• 使用比整个函数域更小、更易处理的环，以简化单位群的结构。
• 避免依赖通常用于Diophantine分析中的高度界，这些界虽常见但使证明复杂化。
• 应用初等代数技巧，直接从单位群结构确定所有解。
• 利用环 C(T) 的代数性质以及四次方程的特定形式，推导出完整的解集。
• 采用变换将方程转化为单位群分析可直接得出所有解的形式。

实验结果

研究问题

• RQ1 在函数域 C(T) 上，四次Thue方程 X(X − Y)(X + Y)(X − λY) + Y⁴ = λ 的完整解集是什么？
• RQ2 是否可以避免使用高度界（函数域Diophantine分析中的标准工具，但复杂）来获得解？
• RQ3 限制到更小的环如何简化单位群计算并促成初等证明？
• RQ4 参数 λ ∈ C(T) ∼ {0} 在决定解的可解性与结构中起什么作用？
• RQ5 在求解函数域上的参数化Thue方程时，初等方法在多大程度上可替代复杂边界？

主要发现

• 本文完全求解了 C(T) 上参数化四次Thue方程族的所有解，且所有解均明确给出。
• 通过在更小的环中工作，避免了高度界，显著简化了单位群分析。
• 该解法是初等且自包含的，与先前研究中更复杂的处理方式形成鲜明对比。
• 对所有非常值 λ ∈ C(T)，λ ≠ 0，该关键方程均被求解，解为 x, y ∈ C(T)。
• 所选环中单位群的结构使得无需辅助界即可直接确定所有解。
• 该结果建立了Mignotte、Pethő与Roth在整数情形下求解结果的函数域类比，但证明更短且更清晰。