A full $p^{4r}$ supercongruence tower for a level-three symmetric-cube hypergeometric sequence

Résumé Technique : Une tour de supercongruences complète en $p^{4r}$ pour une séquence hypergéométrique de type cube symétrique de niveau trois

Énoncé du Problème
L'article traite des propriétés arithmétiques des coefficients $A_n$ dans le développement du cube d'une série hypergéométrique spécifique :
$$\left[ {}_2F_1\left(\frac{1}{3}, \frac{1}{3}; 1; 27z\right) \right]^3 = \sum_{n \ge 0} A_n z^n.$$
Bien que la séquence $A_n$ et sa paramétrisation modulaire sur la courbe modulaire $X_0(3)$ aient été précédemment connues (notamment via les travaux de Moy), l'article cherche à établir une « tour de supercongruences complète en puissances de primes $p^{4r}$ ». Plus précisément, il vise à prouver que pour tout nombre premier $p \ge 5$ et entiers $m, r \ge 1$, les coefficients satisfont la congruence :
$$A_{mp^r} \equiv A_{mp^{r-1}} \pmod{p^{4r}}.$$
Des résultats antérieurs avaient établi cette congruence uniquement pour le cas $r=1$ (modulo $p^4$) ou pour des congruences ordinaires modulo $p^r$. Le défi consiste à étendre le module de $p^4$ à $p^{4r}$ pour toutes les puissances de primes $r \ge 1$.

Méthodologie
La preuve est entièrement modulaire, s'appuyant sur la théorie des formes modulaires, des opérateurs de Hecke et la géométrie de la courbe $X_0(3)$. La méthodologie procède par les étapes suivantes :

1. Paramétrisation Modulaire : L'auteur définit $B_n = (-1)^n A_n$ et réalise la fonction génératrice $\sum B_n t^n$ comme une forme modulaire $\Theta(\tau) = \eta(\tau)^9 / \eta(3\tau)^3$ sur $X_0(3)$, où $t(\tau) = \eta(3\tau)^{12} / \eta(\tau)^{12}$ est un Hauptmodul.
2. Dérivée Logarithmique et Séries d'Eisenstein : La dérivée logarithmique de la fonction génératrice, notée $C(q)$, est identifiée comme la série d'Eisenstein $3E_{5, \chi_0, \chi_3}$ de poids 5 et de caractère $\chi_3$.
3. Extraction de Coefficients : En utilisant la formule de Lagrange–Buermann, les coefficients $B_m$ sont exprimés comme le terme constant (coefficient de $q^0$) de la série de Laurent $C(q)/t(q)^m$.
4. Analyse du Défaut : Pour prouver la congruence, l'auteur analyse le « défaut » entre les termes à différentes puissances de primes. Au lieu d'itérer un opérateur de Cartier à un seul prime, l'article introduit un défaut de Cartier creux $F_{m,s}$ et un levé de Hecke modulaire correspondant $G_{m,s}$.
   • Le défaut est défini par $F_{m,s} = \Lambda_p^{s+1} f_{mp^{s+1}} - \Lambda_p^s f_{mp^s}$, où $f_N = C/t^N$ et $\Lambda_p$ est l'opérateur de Cartier.
   • Le levé modulaire est $G_{m,s} = T_{p^{s+1}} f_{mp^{s+1}} - T_{p^s} f_{mp^s}$, où $T_{p^k}$ sont les opérateurs de Hecke de puissance de prime.
5. Argument Inductif sur les Couches de Hecke : La preuve procède par induction sur l'exposant de la puissance de prime $s$. L'idée centrale est de montrer que $G_{m,s}$ est divisible par $p^{4(s+1)}$.
   • Expansion de Hecke : La Proposition 5.1 fournit une expansion explicite de $T_{p^a}$ en termes de $\Lambda_p$ et $V_p$ (l'opérateur de Frobenius), montrant que $G_{m,s}$ diffère de $F_{m,s}$ par des termes divisibles par de hautes puissances de $p$, en supposant l'hypothèse inductive.
   • Analyse de l'Espace Modulaire : La forme $G_{m,s}$ est montrée comme appartenant à l'espace des formes modulaires faiblement holomorphes $M_5^!(\Gamma_0(3), \chi_3)$. Cet espace est engendré par $\{C, tC\}$.
   • Involution de Fricke : Une étape cruciale implique l'application de l'involution de Fricke $W_3$. L'auteur démontre que $G_{m,s}|W_3$ possède un ordre d'annulation élevé au cusp $\infty$ (spécifiquement $\ge m+1$). Cela force les coefficients de la « partie principale » de $G_{m,s}$ (les coefficients de $C/t^j$ pour $j < m$ et le terme $tC$) à s'annuler exactement, tandis qu'il est montré que les coefficients restants sont divisibles par $p^{4(s+1)}$ via l'hypothèse inductive.

Contributions Clés

• Extension de la Profondeur du Module : La contribution primaire est l'extension de la profondeur du module de la supercongruence de $p^4$ (le cas de profondeur un prouvé dans un travail précédent de l'auteur) à $p^{4r}$ pour tout $r \ge 1$.
• Défauts de Hecke de Puissance de Prime : L'article remplace le « défaut de Hecke à un seul prime » utilisé dans la littérature antérieure par un « défaut de puissance de prime ». Cela permet d'itérer la preuve de la congruence pour des puissances de primes arbitraires.
• Défauts de Cartier Creux : L'introduction du défaut de Cartier creux $F_{m,s}$ sert de pont entre les formes modulaires et les coefficients arithmétiques, isolant les termes spécifiques qui contrôlent la congruence.
• Annulation Exacte via l'Involution de Fricke : La preuve utilise l'involution de Fricke sur l'espace bidimensionnel $M_5(\Gamma_0(3), \chi_3)$ pour éliminer exactement les termes d'ordre inférieur, une technique qui renforce le résultat au-delà de ce que les seules congruences différentielles formelles pourraient accomplir.

Résultats
L'article prouve le Théorème 1.1 : Pour tout nombre premier $p \ge 5$ et tous entiers $m, r \ge 1$,
$$A_{mp^r} \equiv A_{mp^{r-1}} \pmod{p^{4r}}.$$
Ce résultat confirme que la séquence $A_n$ satisfait une « tour de supercongruences complète en $p^{4r}$ ». La preuve établit que la différence entre les coefficients aux indices $mp^r$ et $mp^{r-1}$ est divisible par $p^{4r}$.

Signification et Revendications
L'article stipule explicitement que la séquence $A_n$, la paramétrisation modulaire impliquant des quotients $\eta$ et les congruences ordinaires de niveau $p^r$ ont déjà été enregistrées par Moy. La nouveauté de ce travail est strictement le renforcement de la précision du module préservant la profondeur.

• L'auteur affirme que le cadre ordinaire de Moy produit des congruences modulo $p^r$, mais que la précision supplémentaire de $p^{4r}$ n'est pas produite par les seules congruences différentielles formelles.
• Le résultat est obtenu en récupérant la précision supplémentaire $p^{3r}$ grâce à la combinaison des expansions de Hecke de puissance de prime et de la chute d'ordre de Fricke.
• L'article ne prétend pas de nouvelles applications ou propositions expérimentales ; sa signification est purement théorique, contribuant au « dictionnaire de niveau trois » des supercongruences en fournissant une tour complète pour cette séquence hypergéométrique de cube symétrique spécifique.