On transformation formulas of $p$-adic hypergeometric functions

Résumé Technique : Formules de Transformation des Fonctions Hypergéométriques $p$-adiques

Énoncé du Problème
Cet article traite de la relation entre les formules de transformation pour trois classes distinctes de fonctions hypergéométriques $p$-adiques : les fonctions de Dwork ($F^{Dw}_a(t)$), et deux fonctions de type logarithmique introduites par Asakura et Wang ($F^{(\sigma)}_a(t)$ et $\tilde{F}^{(\sigma)}_a(t)$). Plus précisément, les auteurs étudient deux conjectures de formules de transformation sous la symétrie d'inversion $t \mapsto t^{-1}$ :

1. Conjecture 5.5 : Une formule de transformation pour les fonctions de Dwork, reliant $F^{Dw}_a(t)$ à $F^{Dw}_a(t^{-1})$ via un facteur de signe et une puissance de $t$.
2. Conjecture 5.2 : Une formule de transformation reliant les fonctions de type logarithmique $F^{(\sigma)}_a(t)$ et $\tilde{F}^{(\sigma)}_a(t)$, postulant que $F^{(\sigma)}_a(t) = -\tilde{F}^{(\sigma)}_a(t^{-1})$ (avec les ajustements de Frobenius appropriés).

Bien que la Conjecture 5.5 ait été prouvée pour des cas spécifiques (par exemple, $s=2$ ou sous des conditions sur $a$ et $p$ par Nemoto), et que la Conjecture 5.2 fût connue pour être vérifiée modulo $p$ ou dans des contextes géométriques spécifiques, la dépendance logique entre ces deux conjectures restait non établie. L'article cherche à déterminer si la validité de la formule de transformation pour les fonctions de Dwork implique la validité de la formule de transformation pour les fonctions de type logarithmique.

Méthodologie
Les auteurs emploient une combinaison d'analyse $p$-adique, de relations de congruence et de manipulation de coefficients dans le cadre des anneaux de Witt et des séries formelles de puissances.

1. Définitions et Préliminaires : L'article passe en revue les définitions des trois fonctions hypergéométriques. $F^{Dw}_a(t)$ est définie comme le rapport des séries hypergéométriques $F_a(t)/F_{a'}(t^p)$. Les fonctions logarithmiques $F^{(\sigma)}_a(t)$ et $\tilde{F}^{(\sigma)}_a(t)$ sont définies via des intégrales impliquant les fonctions digamma $p$-adiques ($\psi_p$), les constantes d'Euler ($\gamma_p$) et les endomorphismes de Frobenius.
2. Analyse des Coefficients : Le travail technique central consiste à analyser les coefficients des développements en séries de puissances de ces fonctions. Les auteurs définissent des coefficients normalisés $\beta_k = B_k/A_k$ et $\tilde{\beta}_k = \tilde{B}_k/A_k$, où $A_k$ sont les coefficients de la série hypergéométrique de base, et $B_k, \tilde{B}_k$ sont les coefficients des numérateurs des fonctions logarithmiques.
3. Lemme Clé (Lemme 4.2) : Un résultat central établi est une relation fonctionnelle entre les interpolations $p$-adiques de ces coefficients : $\beta_\lambda + \tilde{\beta}_{-\lambda-a} = 0$ pour $\lambda \in \mathbb{Z}_p$. Cette relation est prouvée en utilisant les propriétés de la fonction Gamma $p$-adique et des congruences spécifiques impliquant les symboles de Pochhammer.
4. Réduction par Congruence : La preuve de l'implication principale repose sur le Lemme 5.9, qui démontre que si la Conjecture 5.5 est vérifiée, alors des sommes de produits spécifiques de coefficients de la série de base satisfont une relation de congruence modulo $p^{d+1}$.
5. Argument Inductif : Le Théorème 5.10 utilise la relation de coefficients du Lemme 4.2 et la congruence dérivée de la Conjecture 5.5 pour montrer que la formule de transformation pour les fonctions logarithmiques (Conjecture 5.2) est vérifiée modulo $p^n$ pour tout $n$, établissant ainsi l'identité dans l'anneau de fonctions convergentes approprié.

Contributions et Résultats Clés

• Théorème Principal (Théorème 5.10) : Le résultat primaire est la preuve que la Conjecture 5.5 implique la Conjecture 5.2. Plus précisément, si la formule de transformation pour les fonctions hypergéométriques $p$-adiques de Dwork est vérifiée, alors la formule de transformation reliant $F^{(\sigma)}_a(t)$ et $\tilde{F}^{(\sigma)}_a(t)$ s'ensuit nécessairement.
• Correction de la Conjecture 5.5 : Les auteurs identifient et corrigent une erreur dans la formulation originale de la Conjecture 5.5 trouvée dans la littérature antérieure ([9, Conjecture 4.18]). Ils établissent que pour $p=2$, une ambiguïté de signe existe selon la parité de $s$ et du nombre premier de Dwork $a'$, ce qui avait été précédemment omis.
• Nouveaux Cas pour la Conjecture 5.2 : En combinant leur théorème principal avec les résultats existants sur la Conjecture 5.5 (spécifiquement le Théorème 5.8 de Nemoto et l'Exemple 3 pour $s=1$), les auteurs déduisent que la Conjecture 5.2 est vraie dans les cas suivants :
  • Lorsque $s=1$ (Corollaire 5.11).
  • Lorsque $s \ge 2$, $a \in N^{-1}\mathbb{Z}$, $0 < a < 1$, et $p \nmid N$ pour un certain $N \ge 2$ (Corollaire 5.12).

Signification
L'article revendique une importance principalement en tant que pont théorique reliant deux domaines distincts de la théorie hypergéométrique $p$-adique. En établissant que la formule de transformation pour les fonctions de Dwork (qui ont des applications géométriques liées aux racines unités des courbes elliptiques) implique la formule de transformation pour les fonctions de type logarithmique (qui sont liées aux régulateurs syntomiques et à la conjecture $p$-adique de Beilinson), ce travail unifie ces cadres.

Les auteurs affirment que cette implication permet de déduire de nouveaux cas pour la Conjecture 5.2 sans nécessiter de nouvelles preuves géométriques, en s'appuyant sur les généralisations récentes de la Conjecture 5.5 par Nemoto. L'article ne propose pas de nouvelles applications expérimentales ou de directions futures au-delà de la preuve de ces formules de transformation spécifiques et de leur interdépendance logique.