[论文解读] Diophantine inequality for equicharacteristic excellent Henselian local domains

Hirotada Ito, Shuzo Izumi|arXiv (Cornell University)|Jan 7, 2008

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

一句话总结

本文将 G. Rond 在形式幂级数域上的丢番图不等式推广至特征相等的优良 Hensel 局部环的设定。通过利用 Rees 对 $\varsigma$-赋值的不等式以及线性 Artin 逼近性质，作者建立了完成域中代数元与基域有理逼近之间 $\varsigma$-adic 距离的下界，证明了对所有 $x, y \in A$，$y \neq 0$，有 $|z - x/y|_{\hat{\boldsymbol{v}}} > c \cdot |y|_{\boldsymbol{v}}^a$，其中 $a > 0$ 且 $c > 0$，且该不等式对所有 $z \in \hat{K} \setminus K$ 代数元一致成立。该结果将丢番图逼近理论推广至远超形式幂级数环的广泛局部环类。

ABSTRACT

G. Rond has proved a Diophantine type inequality for the field of quotients of the convergent or formal power series ring in multivariables. We generalize his theorem to the field of the quotients of an excellent Henselian local domain in equicharacteristic case.

研究动机与目标

• 将 G. Rond 在形式幂级数域上的丢番图不等式推广至特征相等的优良 Hensel 局部环的更广类。
• 在局部环的完成域中，建立代数元与来自该环的有理逼近之间 $\mathfrak{m}$-adic 距离的统一下界。
• 通过在最小假设下证明丢番图不等式，将线性 Artin 逼近性质推广至该设定。
• 表明下界中的指数 $a$ 为正但并非对所有此类代数元一致有界，推广了 Rond 的反例。

提出的方法

• 在特征相等的优良 Hensel 局部环 $(A, \mathfrak{m})$ 的分式域 $K = Q(A)$ 上使用 $\mathfrak{m}$-赋值，满足公理 (a)-(d)，包括值群同构于 $\mathbb{Z}$ 及超越次数条件。
• 将 Rees 对完整局部环上 $\mathfrak{m}$-赋值的不等式作为关键技术工具，用于关联赋值与 $\mathfrak{m}$-adic 序。
• 采用序函数的乘积不等式变体，通过 Hübl-Swanson 的结果将其推广至解析不可约的优良环。
• 通过 $A[z]$ 上序函数 $\nu_{\mathfrak{m}}$ 的非消去性，将丢番图不等式约化为关于 $\mathfrak{m}$-adic 序的不等式。
• 使用 $K$ 关于赋值 $\boldsymbol{v}$ 的完成 $\hat{K}$，并分析 $\hat{\boldsymbol{v}}$ 在 $K[z]$ 上的行为，证明其为 $\mathfrak{m}'$-赋值。
• 以不等式 $s\hat{\boldsymbol{v}}(x - yz) \leq \nu_{\mathfrak{m}'}(x - yz) + C \leq t\boldsymbol{v}(x) + C$ 的形式应用线性 Artin 逼近性质，导出对 $|z - x/y|_{\hat{\boldsymbol{v}}}$ 的下界。

实验结果

研究问题

• RQ1 在特征相等的优良 Hensel 局部环的分式域的完成中，对代数元 $z \in \hat{K} \setminus K$，是否存在形式为 $|z - x/y|_{\hat{\boldsymbol{v}}} > c \cdot |y|_{\boldsymbol{v}}^a$ 的丢番图不等式？
• RQ2 Rond 在形式幂级数域上的结果能否推广至更广的局部环类，包括非形式幂级数环？
• RQ3 下界中的指数 $a$ 是否对所有此类代数元 $z$ 一致有界，还是如 Rond 的反例所示可任意增大？
• RQ4 $\mathfrak{m}$-赋值在连接赋值理论结构与环中 $\mathfrak{m}$-adic 序方面起到何种作用？
• RQ5 当 $z$ 代数超 $K$ 时，$A[z]$ 的解析不可约性如何促进丢番图不等式的证明？

主要发现

• 本文建立了形式为 $|z - x/y|_{\hat{\boldsymbol{v}}} > c \cdot |y|_{\boldsymbol{v}}^a$ 的丢番图不等式，其中 $a > 0$ 且 $c > 0$，对所有 $x \in A$，$y \in A^*$，以及所有 $z \in \hat{K} \setminus K$ 代数超 $K$ 的元素成立，该不等式在特征相等的优良 Hensel 局部环的分式域的完成中有效。
• 指数 $a$ 为正但并非一致有界；Rond 关于指数无界的元素反例已推广至该设定。
• 证明依赖于 Rees 对 $\mathfrak{m}$-赋值的不等式以及 $A[z]$ 上 $\mathfrak{m}$-adic 序的非消去性，后者确保和的序由其最低次项决定。
• $\hat{\boldsymbol{v}}|_{Q(A[z])}$ 被证明是 $A[z]$ 上的 $\mathfrak{m}'$-赋值，这对在完成中应用不等式至关重要。
• $\hat{K}$ 一般并非 $\hat{A}$ 的分式域，因此必须独立处理赋值 $\hat{\boldsymbol{v}}$，且不等式直接在 $\hat{K}$ 上证明。
• 该结果确认了在该推广设定下线性 Artin 逼近性质成立，表明完成域中的代数元无法被原始环中的有理元太好逼近。