[论文解读] Equations in the Hadamard ring of rational functions

Andrea Ferretti, Umberto Zannier|ArXiv.org|Jan 26, 2007

Polynomial and algebraic computation参考文献 8被引用 4

一句话总结

本文将皮索特定理关于有理函数的 Hadamard 环中 d 次根的猜想推广至系数属于数域上 Hadamard 环的任意首一多项式方程。通过指数多项式表示和希尔伯特不可约性技术，证明了若此类方程在所有 n 下于基域中存在解，则在该域的有限扩张上，Hadamard 环中存在解，从而统一了关于 d 次根和 Hadamard 商定理的结果。

ABSTRACT

Let k be a number field. It is well known that the set of sequences composed by Taylor coefficients of rational functions over k is closed under component-wise operations, and so it can be equipped with a ring structure. A conjecture due to Pisot asks if (after enlarging the field) one can take d-th roots in this ring, provided d-th roots of coefficients can be taken in k. This was proved true in a preceding paper of the second author; in this article we generalize this result to more general equations, monic in Y, where the former case can be recovered for g(X,Y)=X^d-Y=0. Combining this with the Hadamard quotient theorem by Pourchet and Van der Poorten, we are able to get rid of the monic restriction, and have a theorem that generalizes both results.

研究动机与目标

• 解决范德波尔滕关于在数域上的有理函数 Hadamard 环中求解首一多项式方程的猜想。
• 将此前关于 Hadamard 环中 d 次根的结果推广至更一般的代数方程。
• 通过统一框架，将 Hadamard 商定理与皮索特定理（关于 d 次根的结果）统一起来。
• 在基域中所有点处均有解的条件下，证明在基域的有限扩张上，Hadamard 环中存在解。

提出的方法

• 将 Hadamard 环的元素表示为系数属于数域、根属于代数闭包的指数多项式。
• 应用希尔伯特不可约性定理，以控制算术级数中解的存在性。
• 利用约化技术和伽罗瓦理论，分析有限域上多项式因子的不可约性。
• 运用切巴塔廖夫密度定理，确保存在具有所需分裂行为的素数，以构造解。
• 应用解析数论中的估计，控制欧拉函数 φ(m)/m 的大小并控制扩张的规模。
• 通过 Hasse 原理和逼近定理，证明在有限域上多项式不可约，从而将局部解提升至整体域。

实验结果

研究问题

• RQ1 在基域中对每个 n 均存在解的条件下，当系数属于数域上 Hadamard 环的首一 Y 多项式方程在环中何时能全局求解？
• RQ2 此前关于 Hadamard 环中 d 次根的结果（皮索特定理）能否推广至任意首一多项式方程？
• RQ3 如何通过统一框架将 Hadamard 商定理与皮索特定理统一于求解 Hadamard 环中代数方程的体系之下？
• RQ4 希尔伯特不可约性在将局部解提升至 Hadamard 环中的全局解时起到何种作用？
• RQ5 能否利用解析数论工具，导出有限域扩张次数的有效界？

主要发现

• 本文证明：若关于 Y 的首一多项式方程在所有 n 下于基域中均有解，则存在基域的有限扩张，使得在该扩张上的 Hadamard 环中存在解。
• 解被证明为系数属于基域有限扩张的指数多项式，推广了 d 次根的情形。
• 证明依赖于将问题约化为在有限域上多项式不可约性，利用切巴塔廖夫密度定理确保合适素数的存在。
• 作者建立了多项式在素数模下保持不可约的条件，该条件基于剩余域中无根。
• 该方法通过结合广义方程解法，可消除 Hadamard 商定理中对首一性的限制。
• 结果可通过标准约化技术推广至有理数域上有限生成的域，尽管本文主要聚焦于数域。