Linear independence of values of hypergeometric functions and arithmetic Gevrey series

技術要約：超幾何関数の値の線形独立性と算術ゲイリー級数

問題設定
本論文は、いくつかの異なる代数的点において評価された一般化超幾何関数 ${}_pF_q$ の値に関する線形独立性の結果を確立する問題に取り組んでいる。この研究は、Siegelの$E$関数および$G$関数の理論を拡張するためにY. Andréによって導入された、算術ゲイリー級数（arithmetic Gevrey series）の枠組みの中で行われる。著者らは、以下の3つの異なるパラメータ・レジームを統一的に扱うことを目的としている：

1. $p = q + 1$: $G$関数のケース（例：多重対数関数）。収束性は通常、複素平面内の単位円内に限定される。
2. $p < q + 1$: $E$関数のケース（例：指数関数級数）。これらは整関数である。
3. $p > q + 1$: 「オイラー型」または$Z$級数のケース。これらはアルキメデス的体においては収束半径がゼロであるが、非アルキメデス的（$p$進）体においては正の収束半径を持つ。

先行研究では、これらのケースを個別に扱ったり、有理数上での単一点評価に限定したりすることが多かった。本論文は、一般的な代数体の上のマルチポイント（多点）設定において、アルキメデス的および非アルキメデス的値則の両方をカバーする、統一的な構成を提供しようとしている。

手法
アプローチの中核は、隣接する（contiguous）超幾何関数族に対する**タイプIIのパデ近似（Padé approximants of type II）**の明示的な構成にある。手法は以下のステップに従う：

1. 作用素の構成: 著者らは、多項式環 $K[t]$ 上に作用する特定の線形作用素を定義する。微分や原始化（多重対数関数には十分であるが、本研究では不十分）に依存していた従来の手法とは異なり、本研究では作用素 $T_c$ と、超幾何関数のパラメータに関連した微分作用素の連鎖を導入する。これらの作用素により、一次微分作用素によって連結された関数の連鎖を体系的に生成することが可能となる。
2. パデ近似: これらの作用素を用いて、異なる点 $\alpha_i$ において評価された超幾何関数のためのパデ近似多項式 $P_\ell(z)$ および $P_{\ell,i,s}(z)$ を構成する。この構成は、すべてのパラメータ・レジーム（$p < q+1$, $p=q+1$, $p>q+1$）において一様である。
3. ヴァンデルモンドンデ（Wronskian）の非消滅: 証明の重要な要素は、構成された近似多項式によって形成されるエルミート型の一般化ヴァンデルモンドンデ行列式（Wronskian）の非消滅性を確立することである。著者らは、隣接する関数に関連する線形写像の核（kernel）を分析することで、この行列式が非ゼロであることを証明する。彼らは、特定のモルフィズムの核の共通部分を研究することにより、微分的な代数的独立性の手法を利用し、その共通部分に含まれる多項式が零多項式のみであることを示す。
4. 算術的評価: 構築された多項式のノルムおよびパデ近似の剰余項に関する詳細な評価を、アルキメデス的および非アルキメデス的な設定の両方について提供する。これらの評価は、線形独立性の判定基準（$G$関数のための定性的基準、および$E$関数やオイラー型級数のためのゼロ推定）を適用するために使用される。

主要な貢献と結果

• 一様な構成: 本論文は、すべての $p$ および $q$ のケースに適用可能な、パデ近似の一一的な構成を提示しており、$E$関数、$G$関数、およびオイラー型級数のために個別の手法を用いる必要を排除している。
• 多点独立性: 既知の線形独立性の定理を、単一点から、一般的な代数体上の多点設定へと拡張している。
  • ケース $p = q + 1$: 定理2.3は、高さと対数項に関する特定の不等式（$V_v(\alpha, \beta) > 0$）が満たされる場合、異なる点 $\alpha_i/\beta$ における ${}_dF_{d-1}$ およびその隣接変種の値に関する $K$ 上の線形独立性を確立している。これはChudnovskyおよびNesterenkoによる結果を一般化したものである。
  • ケース $p < q + 1$: 定理2.4は、異なる代数的点における ${}_pF_q$ およびその隣接変種の値に関する $\mathbb{Q}$ 上の線形独立性を証明している。これはSiegel-Shidlovskyの定理、およびFischler, Rivoal, Delaygueによる最近の研究に基づいている。
  • ケース $p > q + 1$: 定理2.5は、オイラー型級数の$p$進設定に対処している。これは、点が特定の収束条件を満たす場合、$p$進設定においてグローバルな線形関係が存在しないことを確認している。著者らは、線形形式の非消滅を保証するために必要な素数区間のサイズに関する有効な境界を提供しており、それが $\log H / \log \log H$ に比例する短い区間であることを示している。
• 新しい非消滅の証明: 論文は、一般化されたヴァンデルモンドンデ行列式の非消滅に関する新しい証明を導入している。この証明は、手法の普遍性に不可欠であり、行列式の値を明示的に計算するのではなく、微分作用素の核の精緻な分析に基づいている。
• 定量的改善: 著者らは、自らの構成により、技術的な解析的評価をより単純なノルム作用素の評価に置き換えることができ、より優れた、あるいは競争力のある定量的評価が可能になると主張している。

意義と主張
著者らは、隣接する超幾何関数の族に対して柔軟な枠組みを提供することにより、自らの研究が先行研究を一般化し、強化していると主張している。その意義は以下の点にある：

1. 普遍性: $E$関数、$G$関数、およびオイラー型級数を一つのパデ構成の下で同時に扱う能力。
2. 多点への拡張: 単一点評価を超えて、一般の数体上の異なる代数的点における値のシステムを扱うこと。
3. 算術ゲイリー級数: 結果は算術ゲイリー級数の理論の枠組みの中に位置づけられており、微分方程式の形式的な解としての性質に関する新たな洞察を提供している。
4. $p$進設定における最適性: $p > q + 1$ の場合、論文は非消滅に必要な素数区間の精緻な分析を提供しており、彼らの階乗評価が最適であり、先行研究（Matala-aho, Zudilin, またはChirskiiらによるもの）で見られる損失を被っていないことを指摘している。

論文は、手法は強力ではあるものの、核の分析を通じて証明される行列式の非消滅に依存していること、および定量的評価についてはセクション6で詳細に議論されていることを述べて結論づけている。また、本研究には、多重対数関数の線形形式に関する彼らの関連文献における以前の補題に関する訂正が含まれている。