On transformation formulas of $p$-adic hypergeometric functions

技術要約：p進超幾何関数の変換公式

問題提起
本論文は、3つの異なるクラスのp進超幾何関数、すなわちドワーク（Dwork）の関数（$F^{Dw}_a(t)$）、および浅倉とWangによって導入された2つの対数型関数（$F^{(\sigma)}_a(t)$ および $\tilde{F}^{(\sigma)}_a(t)$）における変換公式の関係を扱う。具体的には、著者らは反転対称性 $t \mapsto t^{-1}$ の下での2つの予想された変換公式を調査している：

1. 予想 5.5： ドワークの関数に関する変換公式であり、$F^{Dw}_a(t)$ を符号因子と $t$ のべき乗を用いて $F^{Dw}_a(t^{-1})$ に関連付けるもの。
2. 予想 5.2： 対数型関数 $F^{(\sigma)}_a(t)$ と $\tilde{F}^{(\sigma)}_a(t)$ を関連付ける変換公式であり、$F^{(\sigma)}_a(t) = -\tilde{F}^{(\sigma)}_a(t^{-1})$ であること（適切なフロベニウス調整を伴う）を提唱している。

予想 5.5 は、特定のケース（例：$s=2$、または $a$ と $p$ に関する条件の下での Nemoto による結果）において既に証明されており、また予想 5.2 は $\text{mod } p$ において、あるいは特定の幾何学的設定において成立することが知られていたが、これら2つの予想の間の論理的依存関係は未確立であった。本論文は、ドワークの関数の変換公式の妥当性が、対数型関数の変換公式の妥当性を導くかどうかを決定することを目的としている。

手法
著者らは、Witt環および形式的冪級数の枠組みにおける、p進解析、合同関係、および係数操作の組み合わせを用いている。

1. 定義と準備： 本論文では、これら3つの超幾何関数の定義を復習する。$F^{Dw}_a(t)$ は、超幾何級数 $F_a(t)/F_{a'}(t^p)$ の比として定義される。対数関数 $F^{(\sigma)}_a(t)$ および $\tilde{F}^{(\sigma)}_a(t)$ は、p進ディガンマ関数 ($\psi_p$)、オイラー定数 ($\gamma_p$)、およびフロベニウス自己準同型を含む積分を通じて定義される。
2. 係数解析： 技術的な核心部分は、これらの関数の冪級数展開の係数の分析である。著者らは、正規化された係数 $\beta_k = B_k/A_k$ および $\tilde{\beta}_k = \tilde{B}_k/A_k$ を定義する。ここで $A_k$ は基礎となる超幾何級数の係数であり、$B_k, \tilde{B}_k$ は対数関数の分子の係数である。
3. 主要な補題 (Lemma 4.2)： 確立された中心的な結果は、これらの係数のp進補間に関する関数的関係 $\beta_\lambda + \tilde{\beta}_{-\lambda-a} = 0$ （$\lambda \in \mathbb{Z}_p$）である。この関係は、pガンマ関数の性質およびポッホハマー記号に関する特定の合同式を用いて証明される。
4. 合同式の簡約： 主な含意の証明は、予想 5.5 が成り立つならば、基礎級数の積の特定の和が $\text{mod } p^{d+1}$ において合同関係を満たすことを示す Lemma 5.9 に依存している。
5. 帰納的議論： 定理 5.10 は、Lemma 4.2 からの係数関係と、予想 5.5 から導出された合同式を用いることで、対数関数の変換公式（予想 5.2）が全ての $n$ に対して $\text{mod } p^n$ で成立することを示し、それによって関連する収束関数の環における恒等性を確立する。

主要な貢献と結果

• 主定理 (Theorem 5.10)： 主要な結果は、「予想 5.5 は予想 5.2 を含意する」 という証明である。具体的には、ドワークのp進超幾何関数の変換公式が成り立つならば、$F^{(\sigma)}_a(t)$ と $\tilde{F}^{(\sigma)}_a(t)$ を関連付ける変換公式は必然的に従う。
• 予想 5.5 の修正： 著者らは、先行文献（[9, Conjecture 4.18]）に見られる予想 5.5 の元の定式化における誤りを特定し、修正した。彼らは、$p=2$ の場合、以前は見落とされていた $s$ のパリティおよびドワーク素数 $a'$ に依存する符号の曖昧さが存在することを確立した。
• 予想 5.2 の新たなケース： 著者らは、自らの主定理を予想 5.5 に関する既存の結果（特に Nemoto による Theorem 5.8 および $s=1$ の場合の Example 3）と組み合わせることで、以下のケースにおいて予想 5.2 が真であることを導き出した：
  • $s=1$ の場合（Corollary 5.11）。
  • $s \ge 2$ かつ $a \in N^{-1}\mathbb{Z}, 0 < a < 1$ であり、ある $N \ge 2$ に対して $p \nmid N$ である場合（Corollary 5.12）。

意義
本論文は、主に2つの異なるp進超幾何理論の領域を結ぶ理論的な架け橋としての意義を主張している。ドワークの関数（楕円曲線の単元根に関連する幾何学的応用を持つ）の変換公式が、対数型関数（シントミック・レギュレータおよびp進ベイリンソン予想に関連するもの）の変換公式を導くことを確立することで、これらの枠組みを統一している。

著者らは、この含意により、予想 5.5 の最近の一般化（Nemoto によるもの）を活用することで、新たな幾何学的証明を必要とせずに予想 5.2 の新たなケースを導出できると述べている。本論文は、これらの特定の変換公式の証明およびそれらの論理的相互依存性の範囲を超えた、新しい実験的な応用や将来の方向性を提案するものではない。