On transformation formulas of $p$-adic hypergeometric functions

技术摘要：p-进超几何函数的变换公式

问题陈述
本文探讨了三类不同的 $p$-进超几何函数——Dwork 函数 ($F^{Dw}_a(t)$)、以及由 Asakura 和 Wang 引入的两种对数型函数 ($F^{(\sigma)}_a(t)$ 和 $\tilde{F}^{(\sigma)}_a(t)$) ——其变换公式之间的关系。具体而言，作者研究了在反转对称性 $t \mapsto t^{-1}$ 下的两个猜想变换公式：

1. 猜想 5.5： 一个关于 Dwork 函数的变换公式，通过一个符号因子和 $t$ 的幂次将 $F^{Dw}_a(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})$（带有适当的 Frobenius 调整）。

虽然猜想 5.5 在特定情形下（例如 $s=2$ 或在 $a$ 和 $p$ 满足特定条件下由 Nemoto 证明）已被证实，且猜想 5.2 在模 $p$ 或特定几何设定下已知成立，但这两个猜想之间的逻辑依赖关系尚未确定。本文旨在确定：Dwork 函数的变换公式的有效性是否蕴含了对数型函数变换公式的有效性。

方法论
作者结合了 $p$-进分析、同余关系以及在 Witt 环和形式幂级数框架内的系数操纵方法。

1. 定义与预备知识： 本文回顾了这三种超几何函数的定义。$F^{Dw}_a(t)$ 被定义为超几何幂级数 $F_a(t)/F_{a'}(t^p)$ 的比值。对数函数 $F^{(\sigma)}_a(t)$ 和 $\tilde{F}^{(\sigma)}_a(t)$ 则通过涉及 $p$-进 Digamma 函数 ($\psi_p$)、欧拉常数 ($\gamma_p$) 以及 Frobenius 内同态的积分来定义。
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$-进插值的函数关系：对于 $\lambda \in \mathbb{Z}_p$，有 $\beta_\lambda + \tilde{\beta}_{-\lambda-a} = 0$。该关系是利用 $p$-进 Gamma 函数的性质以及涉及 Pochhammer 符号的特定同余关系证明的。
4. 同余约化： 证明主蕴含关系的依据在于 Lemma 5.9，该引理证明了如果猜想 5.5 成立，则基础级数系数的乘积之和在模 $p^{d+1}$ 下满足一个同余关系。
5. 归纳论证： 定理 5.10 利用来自 Lemma 4.2 的系数关系以及从猜想 5.5 导出的同余式，证明了对数型函数的变换公式（猜想 5.2）在模 $p^n$ 下对所有 $n$ 均成立，从而在相关的收敛函数环中建立了恒等式。

主要贡献与结果

• 主定理 (Theorem 5.10)： 主要结果是证明了 猜想 5.5 蕴含 猜想 5.2。具体而言，如果 Dwork $p$-进超几何函数的变换公式成立，那么关于 $F^{(\sigma)}_a(t)$ 和 $\tilde{F}^{(\sigma)}_a(t)$ 的变换公式必然成立。
• 对猜想 5.5 的修正： 作者识别并修正了先前文献（[9, Conjecture 4.18]）中关于猜想 5.5 原有表述的一个错误。他们建立并指出，对于 $p=2$，存在取决于 $s$ 的奇偶性以及 Dwork 素数 $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）。

意义
本文声称其意义主要在于作为连接两个不同 $p$-进超几何理论领域的理论桥梁。通过证明 Dwork 函数（其具有与椭圆曲线单位根相关的几何应用）的变换公式蕴含了对数型函数（其与综合正则量 [syntomic regulators] 及 $p$-进 Beilinson 猜想相关）的变换公式，这项工作统一了这些框架。

作者指出，这种蕴含关系允许在不需要新的几何证明的情况下，利用 Nemoto 对猜想 5.5 的最新推广来推导出猜想 5.2 的新情形。本文并未提出超出证明这些特定变换公式及其逻辑相互依赖性范围之外的新实验应用或未来方向。