Schur Eisenstein series and Schur MacMahon series

Résumé Technique : Séries de Schur-Eisenstein et Séries de Schur-MacMahon

Énoncé du Problème
L'article traite de la relation structurelle entre deux familles de formes quasi-modulaires indexées par des partitions : les sommes de diviseurs de MacMahon classiques (généralisées en séries de Schur-MacMahon) et les séries d'Eisenstein multiples (généralisées en séries de Schur-Eisenstein). Bien que la relation entre les cas à colonne unique (séries de MacMahon $A_r$ et séries d'Eisenstein multiples toutes-deux $G_{\{2\}r}$) ait été établie précédemment par le premier auteur, un cadre unifié pour les diagrammes de Young arbitraires faisait défaut. Les auteurs visent à définir ces familles généralisées, à établir une transition explicite entre elles, à analyser leurs structures différentielles sous l'action classique de $\mathfrak{sl}_2$, et à étudier leur rôle dans la formation de bases pour l'anneau des formes quasi-modulaires, notamment concernant les coefficients entiers.

Méthodologie
Les auteurs utilisent la théorie des fonctions symétriques comme langage unificateur. Ils définissent trois homomorphismes d'algèbre de l'anneau des fonctions symétriques $\Lambda$ (sur $\mathbb{Q}$) vers l'anneau des formes quasi-modulaires $\mathcal{M}$ :

1. $\Phi_\beta$ : Associe les sommes de puissances $p_r$ aux valeurs zeta multiples de Schur renormalisées $\beta_{2r} = \zeta(2r)/(2\pi i)^{2r}$.
2. $\Phi_g$ : Associe les sommes de puissances $p_r$ à la série de MacMahon $P_r = \sum_{m \ge 1} (q^m/(1-q^m)^2)^r$. L'image d'une fonction de Schur $s_\lambda$ par cette application est la série de Schur-MacMahon $g(\lambda)$.
3. $\Phi_G$ : Associe les sommes de puissances $p_r$ à la série d'Eisenstein renormalisée $G_{2r}$. L'image de $s_\lambda$ est la série de Schur-Eisenstein $G(\lambda)$.

La méthodologie centrale implique :

• Transition d'Algèbre de Hopf : Utiliser un coproduit de Faà di Bruno déformé $\Delta_F$ sur $\Lambda$ pour construire un automorphisme $\theta$ tel que $\Phi_G = \Phi_g \circ \theta$. Cela interprète la transition entre les deux familles comme une convolution dans une algèbre de Hopf.
• Analyse Combinatoire : Utiliser les nombres factoriels centraux de la première et de la seconde espèce pour calculer explicitement les coefficients de la transition $\theta$.
• Calcul Différentiel : Définir des dérivations sur $\Lambda$ ($D_\Lambda, W_\Lambda, \delta_\Lambda$) qui élèvent l'action de la triple classique $\mathfrak{sl}_2$ sur $\mathcal{M}$ (degré de poids, dérivée $q \frac{d}{dq}$, et l'opérateur $\delta = -\frac{1}{2}\frac{\partial}{\partial G_2}$).
• Divisibilité 2-adique : Employer les propriétés de l'équation différentielle de Weierstrass et les valuations 2-adiques des polynômes d'Eisenstein pour prouver des résultats de linéarité indépendante.

Contributions Clés et Résultats

1. Théorème de Transition Explicite (Théorème Principal A) :
   Les auteurs prouvent que la série de Schur-Eisenstein $G(\lambda)$ peut être exprimée comme une combinaison linéaire de séries de Schur-MacMahon $g(\mu)$ où $\mu$ est un sous-diagramme de $\lambda$. Plus précisément, $G(\lambda) = \beta(\lambda) + \sum_{0 < |\mu| < |\lambda|} d_\lambda(\mu) g(\mu) + g(\lambda)$. Les coefficients $d_\lambda(\mu)$ sont des entiers (combinaisons linéaires de valeurs zeta renormalisées) et sont déterminés par les nombres factoriels centraux. Cette transition est réalisée via l'automorphisme $\theta$ de $\Lambda$, qui est montré être l'automorphisme de rotation associé à la convolution du caractère de zeta et de la spécialisation de MacMahon.

2. Structure $\mathfrak{sl}_2$ (Théorème Principal B) :
   L'article construit un relèvement de la triple classique $\mathfrak{sl}_2$ $(D, W, \delta)$ sur $\mathcal{M}$ vers l'anneau des fonctions symétriques $\Lambda$.

   • L'opérateur d'abaissement $\delta$ agit sur $G(\lambda)$ en sommant sur toutes les partitions obtenues en retirant une seule case de $\lambda$.
   • L'opérateur de relèvement $D$ agit sur $G(\lambda)$ via une formule de déterminant impliquant les séries de colonnes $G_{\{2\}k}$.
   • Les auteurs montrent que la conjugaison de cette triple par $\theta$ produit une triple correspondante adaptée aux séries de Schur-MacMahon $g(\lambda)$, retrouvant les formules de dérivation d'Andrews–Rose.

3. Théorème de Base (Théorème Principal C) :
   Les auteurs prouvent que pour tout poids $2n$, l'ensemble des séries de Schur-Eisenstein $\{G(\lambda) \mid \lambda \vdash n, \lambda_1 \le 3\}$ forme une base de l'espace des formes quasi-modulaires $\mathcal{M}_{2n}$.

   • La preuve repose sur le fait que la matrice de transition de la base monôme $G_2^a G_4^b G_6^c$ vers la base de Schur est unitaire triangulaire supérieure modulo 2.
   • Cela établit que les partitions dont les parties ont une taille au plus 3 sont suffisantes pour générer tout l'anneau des formes quasi-modulaires, reflétant le fait que $\mathcal{M} = \mathbb{Q}[G_2, G_4, G_6]$.

4. Conjecture d'Intégralité (Conjecture Principale D) :
   L'article définit le réseau intégral $\mathcal{M}_\mathbb{Z} = \mathcal{M} \cap \mathbb{Z}[[q]]$ et le sous-anneau engendré par les séries de Schur-MacMahon à coefficients entiers, $\mathcal{G}_\mathbb{Z} = \mathbb{Z}[A_1, A_2, \dots]$.

   • Les auteurs conjecturent que $\mathcal{G}_\mathbb{Z} = \mathcal{M}_\mathbb{Z}$, signifiant que les séries de Schur-MacMahon engendrent l'intégralité du réseau intégral des formes quasi-modulaires.
   • Ils fournissent des preuves computationnelles vérifiant cette égalité pour des poids allant jusqu'à 16 et proposent une borne raffinée $B(k)$ pour la taille des partitions nécessaires pour engendrer les formes de poids $\le k$.

Signification et Revendications
L'article prétend fournir une « correction homogène naturelle » des séries de poids mixtes de MacMahon via les séries de Schur-Eisenstein, généralisant les résultats précédents des colonnes uniques aux diagrammes de Young arbitraires. En interprétant la transition entre ces familles à travers le prisme d'une algèbre de Hopf de Faà di Bruno, les auteurs unifient les termes constants (valeurs zeta), la structure filtrée (séries de MacMahon) et la structure homogène (séries d'Eisenstein) au sein d'un cadre unique de fonctions symétriques.

La signification du théorème de base réside dans l'identification d'un sous-ensemble de partitions combinatoirement naturel (celles dont la taille maximale des parties est 3) qui génère tout l'espace des formes quasi-modulaires, offrant une nouvelle perspective sur la structure algébrique de $\mathcal{M}$. La conjecture d'intégralité suggère que les séries de Schur-MacMahon ne sont pas seulement une base rationnelle mais une base intégrale complète, capturant toutes les congruences divisées dans l'anneau des formes quasi-modulaires. Les auteurs notent que si la génération rationnelle est prouvée, l'égalité intégrale reste une conjecture soutenue par une vérification computationnelle jusqu'au poids 16.