[論文レビュー] 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の多項式形式の数論的不等式を、等特徴的優れたヘンゼル的局域環の設定に一般化する。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$が$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の多項式形式の数論的不等式を、形式的べき級数体から、等特徴的優れたヘンゼル的局域環のより広いクラスへ一般化すること。
• 商体の完成化内の代数的要素と、元の環からの有理近似との間の$\mathfrak{m}$-adic距離に、一様な下界を確立すること。
• この設定において線形Artin近似性質を、局域環に関する最小限の仮定の下で、数論的不等式を証明することで拡張すること。
• 下界における指数$a$が、すべてのこのような代数的要素に対して一様に有界でないことを示し、Rondの反例を一般化すること。

提案手法

• 等特徴的優れたヘンゼル的局域環$(A, \mathfrak{m})$の商体$K = Q(A)$における$\mathfrak{m}$-付値を用い、値群が$\mathbb{Z}$に同型で、超越次数の条件を満たす(axioms (a)-(d)を満たす)。
• 完全局域環上の$\mathfrak{m}$-付値に関するReesの不等式を、$\mathfrak{m}$-adic順序と付値を関連付ける主要な技術的道具として適用する。
• Hübl-Swansonの結果を用いて、解析的既約な優れた環へ一般化された順序関数の積不等式の変種を用いる。
• $A[z]$上の順序関数$\nu_{\mathfrak{m}}$の非消滅性質により、数論的不等式を$\mathfrak{m}$-adic順序に関する不等式に還元する。
• 付値$\boldsymbol{v}$に関する$\hat{K}$の完成化を用い、$\hat{\boldsymbol{v}}$が$K[z]$上で$\mathfrak{m}'$-付値であることを示す。
• 線形Artin近似性質を、不等式$s\hat{\boldsymbol{v}}(x - yz) \leq \nu_{\mathfrak{m}'}(x - yz) + C \leq t\boldsymbol{v}(x) + C$から導かれる、$|z - x/y|_{\hat{\boldsymbol{v}}}$の下界の形で適用する。

実験結果

リサーチクエスチョン

• RQ1 等特徴的優れたヘンゼル的局域環の商体の完成化における代数的要素$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$に対して$A[z]$が解析的既約であることにより、数論的不等式の証明がどのように容易化されるか。

主な発見

• この論文は、等特徴的優れたヘンゼル的局域環の商体の完成化において、すべての$x \in A$、$y \in A^*$、$z \in \hat{K} \setminus K$（$K$上代数的）に対して、$|z - x/y|_{\hat{\boldsymbol{v}}} > c \cdot |y|_{\boldsymbol{v}}^a$（$a > 0$、$c > 0$）の形の数論的不等式を確立する。
• 指数$a$は正であるが、一様に有界ではない。Rondの、指数が無限大に発散する要素の反例が、この設定へ一般化される。
• 証明は、$\mathfrak{m}$-付値に関するReesの不等式と、$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近似性質が確認され、完成化内の代数的要素が、元の環からの有理要素によって過度に近似されえないことが示される。