An Exploration of Crank Generating functions for $t$-core partitions

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie des partitions, un champ riche d'histoire initié par les célèbres congruences de Ramanujan pour la fonction de partition $p(n)$ (découvertes en 1919). Ramanujan a démontré que pour $n \ge 0$ :

• $p(5n + 4) \equiv 0 \pmod 5$
• $p(7n + 5) \equiv 0 \pmod 7$
• $p(11n + 6) \equiv 0 \pmod{11}$

Freeman Dyson a introduit le concept de « rang » pour expliquer les congruences modulo 5 et 7, et a conjecturé l'existence d'un autre invariant statistique, le « crank » (manivelle), pour expliquer les trois congruences simultanément. Ce crank a été défini et sa fonction génératrice découverte par Andrews et Garvan en 1988.

Le problème central de cet article est l'extension de la notion de fonction génératrice de crank aux partitions $t$-cores. Une partition $t$-core est une partition dont aucun crochet (hook) n'est divisible par $t$. La fonction génératrice pour le nombre de partitions $t$-cores, noté $p^{(t)}(n)$, est donnée par :
$$\sum_{n \ge 0} p^{(t)}(n)q^n = \prod_{n=1}^{\infty} \frac{(1-q^{tn})^t}{(1-q^n)}$$

Récemment, Meher et Jindal (2024) ont prouvé de nouvelles congruences pour $p^{(t)}(n)$ en utilisant la théorie des formes modulaires. L'objectif de Wilson est de fournir des fonctions génératrices de crank qui expliquent combinatorialement (via la distribution des statistiques de crank sur les classes de résidus) ces congruences, en particulier pour $t=5$ et pour plusieurs valeurs de $t > 5$.

2. Méthodologie

L'auteur utilise une approche combinatoire et analytique reposant sur deux piliers principaux :

1. Construction de fonctions génératrices de crank :
   L'auteur propose une famille de fonctions génératrices $C^{(t)}(z, \tau)$ dépendant d'une variable $z$ (liée à la racine de l'unité $\zeta = e^{2\pi i z}$) et d'un paramètre $\tau$ ($q = e^{2\pi i \tau}$). Pour qu'une fonction $C(z, \tau)$ explique une congruence $a(\alpha n + \beta) \equiv 0 \pmod \ell$, elle doit satisfaire deux conditions :

   • $C(0, \tau)$ doit être la fonction génératrice standard de la suite $a(n)$.
   • Le coefficient de $q^{\alpha n + \beta}$ dans $C(z, \tau)$ doit être divisible par le polynôme cyclotomique $\Phi_\ell(\zeta)$. Cela implique que les partitions sont réparties équitablement parmi les classes de résidus modulo $\ell$ selon la statistique du crank.

2. Utilisation du Lemme de Radu :
   Pour prouver que les coefficients de certaines séries $q$ s'annulent (ou sont divisibles par un polynôme cyclotomique), l'auteur applique le Lemme de Radu (Lemma 2.4). Ce lemme est un outil puissant pour établir des congruences de partitions sans avoir à vérifier un nombre infini de cas.

   • Il permet de réduire la preuve d'une infinité de congruences à la vérification d'un nombre fini de conditions sur les coefficients initiaux.
   • L'auteur définit des tuples $(\alpha, M, N, r, \beta)$ appartenant à un ensemble $\Delta^*$ et calcule des bornes supérieures ($\lfloor \nu \rfloor$) pour vérifier les conditions nécessaires.
   • Les calculs de vérification des conditions du lemme (notamment les représentants des doubles classes de $\Gamma_0(N) \backslash \Gamma / \Gamma_\infty$) ont été effectués à l'aide du logiciel MAPLE.

3. Contributions Clés et Résultats

L'article présente des résultats théoriques sous forme de deux théorèmes principaux :

Théorème 1.2 : Le cas $t=5$
L'auteur définit une fonction génératrice de crank pour les partitions 5-cores :
$$C^{(5)}(z, \tau) := \prod_{n=1}^{\infty} \frac{(1-q^n)(1-q^{5n})(1-\zeta^{\pm 2}q^{5n})(1-\zeta^{\pm 4}q^{5n})}{(1-\zeta^{\pm 1}q^n)}$$
Cette fonction explique les congruences $p^{(5)}(15n + \beta) \equiv 0 \pmod 3$ pour $\beta \in \{6, 10, 12, 13\}$.
Note technique : La preuve pour $t=5$ est unique car ni $N$ ni $N/2$ ne sont sans facteur carré, nécessitant une recherche manuelle des représentants des doubles classes.

Théorème 1.3 : Le cas $t > 5$
L'auteur généralise la construction pour $t \in \{7, 11, 17, 19\}$. Pour chaque $t$, une fonction génératrice $C^{(t)}(z, \tau)$ est construite avec des puissances spécifiques de termes $(1-q^{tn})$ et des facteurs cyclotomiques dans le numérateur.
Ces fonctions expliquent les congruences $p^{(t)}(3tn + \beta) \equiv 0 \pmod 3$ pour des ensembles spécifiques de $\beta$. Par exemple :

• Pour $t=7$, les congruences sont vérifiées pour $\beta \in \{8, 11, 17\}$.
• Pour $t=11$, pour $\beta \in \{11, 20, 26, 29, 32\}$.
• Des résultats similaires sont établis pour $t=17$ et $t=19$.

Limites et Observations :

• Les fonctions génératrices proposées n'expliquent qu'une moitié des congruences connues pour $p^{(t)}(n)$ dans la littérature (notamment celles de Meher et Jindal).
• Les congruences expliquées correspondent spécifiquement aux cas où $\beta$ est un non-résidu quadratique modulo 3.
• Aucune fonction génératrice de crank n'est fournie pour les 13-cores et 23-cores, bien que des congruences existent pour ces cas.
• Aucune preuve n'est donnée pour $t > 23$, bien que des preuves numériques suggèrent l'existence de telles congruences.

4. Signification et Perspectives

Signification :
Ce travail comble un vide important en reliant les statistiques combinatoires (le crank) aux congruences des partitions $t$-cores, un domaine où de telles explications combinatoires étaient rares. Il démontre que la méthode de Radu, couplée à des constructions de fonctions génératrices adaptées, peut être étendue au-delà des partitions classiques et des partitions à couleurs multiples.

Questions ouvertes et Conclusion :
L'article se termine par trois questions majeures pour la recherche future :

1. Peut-on construire une famille de fonctions génératrices de crank qui explique toutes les congruences pour $p^{(t)}(n)$ simultanément (pour $t \le 23$) ?
2. Existe-t-il d'autres congruences appartenant à cette famille « modulo 3 » pour $t > 23$ ?
3. La famille de fonctions génératrices définie peut-elle être étendue à une famille infinie ?

En résumé, Samuel Wilson fournit des outils puissants pour comprendre la structure arithmétique des partitions $t$-cores, tout en identifiant clairement les limites actuelles de la théorie du crank pour ces objets, ouvrant ainsi la voie à de nouvelles recherches en théorie des nombres et en combinatoire.