[論文レビュー] On the criteria for linear independence of Nesterenko, Fischler and Zudilin

Amarisa Chantanasiri|ArXiv.org|Dec 24, 2009

Mathematical Dynamics and Fractals参考文献 4被引用数 5

ひとこと要約

本稿は、フィシュラーとツディリンが提示したネステルケンの線形独立性基準の改良版について、ミンコフスキーの凸体定理と入れ子の凸体を用いて、より簡素な証明を提示する。主な貢献は、ネステルケンの元々の結果を含む新たな代数的独立性および超越性の基準を導くものであり、制御された大きさと値をもつ整数線形形式の列から導かれる定量的評価を含む。

ABSTRACT

In 1985, Yu. V. Nesterenko produced a criterion for linear independence, which is a variant of Siegel's. While Siegel uses upper bounds on full systems of forms, Nesterenko uses upper and lower bounds on sufficiently dense sequences of individual forms. The proof of Nesterenko's criterion was simplified by F. Amoroso and P. Colmez in 2003. More recently, S. Fischler and W. Zudilin produced a refinement, together with a much simpler proof. This new proof rests on a simple argument which we expand here. We get a new result, which contains Nesterenko's criterion, as well as criteria for algebraic independence.

研究の動機と目的

• フィシュラーとツディリンによるネステルケンの線形独立性基準の改良版の証明をより簡素化し、一般化すること。
• 改良された枠組みから代数的独立性の新たな基準を導出すること。
• 制御された成長と値をもつ整数線形形式の列を用いて、定量的超越性基準を確立すること。
• 一様で強固な解析的手法を用いて、超越数論における既存の結果を統一的かつ拡張すること。

提案手法

• ミンコフスキーの凸体定理を用いて、実ベクトルにおける線形形式の値に制限を課えることによって定義される、R^{1+r_n} 内の入れ子の凸対称コンact集合を分析する。
• |x_0| および |x_0 ξ_i - x_i| における境界を用いて、体積が 2^{r_n+1} である凸体 C_n を定義し、定理を適用する。
• ある行列式条件が満たされない場合、体積と格子点の個数から矛盾が生じることを示す。
• Q_n, A_n, B_n の成長に関する仮定の下で、不等式 A_n ≤ 2^{r_n+1}(B_n Q_n)^{r_n} を導出する。
• 多項式の次数と長さが有界であるような列に、同じ枠組みを適用し、代数的独立性および超越性の基準を導出する。
• σ(n) の漸近的成長条件および比 σ(n+1)/σ(n) → 1 を用いて、基準の適用可能性を保証する。

実験結果

リサーチクエスチョン

• RQ1 フィシュラーとツディリンによる改良線形独立性基準は、ミンコフスキーの定理を用いてより簡素に証明可能か？
• RQ2 改良された基準は、ネステルケンの元々の結果を特別な場合として含むか？
• RQ3 この枠組みは、実数の代数的独立性の基準に拡張可能か？
• RQ4 一変数多項式に同じ手法を適用した場合、どのような定量的超越性条件が導かれるか？
• RQ5 新しい基準は、ゲルファンドの古典的超越性基準と比べてどれほど強いか？

主な発見

• 改良された基準は、ネステルケンの元々の線形独立性基準を特別な場合として含む。
• 代数的独立性の新たな基準が導かれる：次数 ≤ d かつ長さ ≤ e^{σ(n)} である多項式 P_n が、e^{-(τ_d+η_d)σ(n)} ≤ |P_n(ϑ_1,…,ϑ_t)| ≤ e^{-τ_d σ(n+1)} を満たすならば、ϑ_1,…,ϑ_t は代数的に独立である。
• 超越性に関しては、α_n, β_n, γ_n の成長条件の下で、γ_n ≤ log 2 + d_n(α_n + β_n - γ_{n-1} + log 2) が得られる。
• 特に次数 ≤ d かつ長さ ≤ e^{σ(n)} の場合、τ_2 ≤ d + d(τ_1 - τ_2) が得られ、|P_n(ϑ)| に対する下界が得られるとき、ゲルファンドの境界を改善する。
• 指数の2次成長の下では、次数が δn + o(n) で長さが e^{βn+o(n)} であるとき、λ(1 - 2δ) ≤ δ(α + β - γ) が得られる。
• この手法は、A_n, B_n, Q_n を含む同一の基本不等式から出発し、代数的独立性および超越性の両方の結果を一元的に得る統一的な枠組みを提供する。