Congruences for hook lengths of partitions

Résumé Technique : Congruences pour les longueurs de crochet des partitions

Énoncé du Problème
L'article étudie les congruences combinatoires concernant le nombre de longueurs de crochet de longueur fixe $t$ au sein de sous-ensembles spécifiques de partitions d'entiers. Bien qu'il soit un résultat connu (dû à Bessenrodt, ainsi qu'à Bacher et Manivel) que le nombre total de crochets de longueur $t$ parmi toutes les partitions d'un entier $n$ est congru à $0 \pmod t$, des travaux récents (Amdeberhan et al.) ont établi une congruence similaire pour les partitions auto-conjuguées lorsque $t$ est pair. Le problème principal traité consiste à dériver ces résultats existants de manière plus directe, à les généraliser aux cas où $t$ est impair (sous des restrictions spécifiques), et à étendre ces congruences à la classe plus large des partitions $z$-asymétriques définies par Ayyer et Kumari.

Méthodologie
Les auteurs emploient la décomposition de Littlewood, une bijection classique dans la théorie des partitions qui associe une partition $\lambda$ à un couple (ou un tuple) composé d'un $t$-cœur $\omega$ et d'un $t$-quotient $\nu$. La méthodologie repose sur deux outils théoriques principaux :

1. Théorèmes d'Addition : Utiliser des identités de séries formelles dérivées de la décomposition de Littlewood pour relier les fonctions génératrices des longueurs de crochet dans un sous-ensemble de partitions aux fonctions génératrices des cœurs et des quotients sous-jacents.
2. Théorèmes de Multiplication : Employer des formules de produit pour les fonctions génératrices afin de dériver les propriétés structurelles des ensembles de partitions.

L'article adapte spécifiquement ces théorèmes aux :

• Partitions auto-conjuguées ($SC$) : Où la décomposition de Littlewood produit des symétries spécifiques dans le quotient.
• Partitions $z$-asymétriques ($P_z$) : Définies par la notation de Frobenius $\lambda = \binom{a_1+z, \dots, a_d+z}{a_1, \dots, a_d}$.
• Sous-ensembles restreints ($BG_{z,t}$) : Un sous-ensemble de $P_z$ défini par des conditions sur les longueurs de crochet principales pour assurer que les composantes du $t$-quotient se comportent de manière à permettre la factorisation.

Contributions Clés et Résultats

1. Dérivation et Généralisation pour les Partitions Auto-conjuguées :
   Les auteurs démontrent que la congruence $a^*_t(n) \equiv 0 \pmod t$ pour les partitions auto-conjuguées (où $t$ est pair) est une conséquence immédiate d'un théorème d'addition prouvé par le second auteur dans un travail précédent. Ils généralisent davantage cela aux cas où $t$ est impair en restreignant l'ensemble à $BG_t$ (les partitions dans $SC$ où le vecteur associé au $t$-cœur satisfait des conditions spécifiques). Ils établissent la formule de comptage exacte :
   $$a^*_t(n) = (t-1) \sum_{j \ge 1} |BG_t(n - 2jt)|$$
   ce qui implique $a^*_t(n) \equiv 0 \pmod{t-1}$ pour $t$ impair.

2. Extension aux Partitions $z$-asymétriques :
   L'article introduit un théorème d'addition-multiplication (Théorème 1.9) pour l'ensemble $BG_{z,t}$, un sous-ensemble spécifique de partitions $z$-asymétriques. Ce théorème fournit une identité de fonction génératrice impliquant des séries formelles $f_t$ et $g_t$ définies sur toutes les partitions, spécialisées au sous-ensemble $BG_{z,t}$.

   • Le Théorème 1.9 établit une relation entre la fonction génératrice des longueurs de crochet dans $BG_{z,t}$ et des produits de symboles $q$-Pochhammer.
   • Le Corollaire 1.10 dérive un résultat de congruence : le nombre de crochets de longueur $t$ dans $BG_{z,t}$, noté $a_{z,t}(n)$, satisfait :
     $$a_{z,t}(n) \equiv 0 \pmod{2\lfloor (t-z)/2 \rfloor}$$
   • Ce résultat unifie et étend les découvertes précédentes, récupérant le cas auto-conjugué ($z=0$) et le cas "doublé distinct" ($z=1$).

3. Cas Spécifiques et Fonctions Génératrices :

   • Partitions Doublées Distinctes ($DD = P_1$) : L'article fournit des fonctions génératrices et des congruences explicites pour les partitions $DD$(où$z=1$), montrant que pour $t \ge 2$, le nombre de crochets de longueur $t$ dans l'ensemble $BG_{1,t}$ est divisible par $2\lfloor (t-1)/2 \rfloor$.
   • Identité Modulaire de Nekrasov–Okounkov : Les auteurs présentent une version modulaire de l'identité de Nekrasov–Okounkov restreinte à l'ensemble $BG_{z,t}$, généralisant les identités modulaires précédentes dérivées de la décomposition de Littlewood.

Signification et Revendications
L'article affirme que sa principale importance réside dans la fourniture d'un cadre unifié pour dériver des congruences pour les longueurs de crochet. En exploitant les théorèmes d'addition et de multiplication associés à la décomposition de Littlewood, les auteurs montrent que :

• Les congruences connues pour les partitions auto-conjuguées ne sont pas des phénomènes isolés mais des conséquences directes de la structure algébrique sous-jacente de la décomposition.
• Ces résultats peuvent être systématiquement étendus aux partitions $z$-asymétriques, une classe de partitions pertinente pour la théorie des représentations des groupes classiques ($O(2n, \mathbb{C})$, $Sp(2n, \mathbb{C})$, $SO(2n+1, \mathbb{C})$).
• La restriction à l'ensemble $BG_{z,t}$ est nécessaire ; les auteurs notent que sans ces restrictions (par exemple, en considérant l'ensemble complet $P_z$), de telles congruences ne tiennent généralement pas pour $t-z$ impair ou pour certains cas pairs spécifiques, car des contre-exemples existent où le compte est égal à 1.

Le travail ne propose pas de nouvelles applications expérimentales mais clarifie les mécanismes combinatoires derrière les propriétés de théorie des nombres existantes, offrant une voie plus directe vers ces résultats et étendant leur portée aux partitions $z$-asymétriques.