Modularity from $q$-series

Résumé technique : Modularité à partir de séries q

Énoncé du problème
L'article traite d'un défi posé par G. E. Andrews, qui fait lui-même référence à un problème de L. Ehrenpreis : concevoir une méthode directe pour prouver la modularité des formes de sommation de séries q sans recourir à une entrée modulaire préexistante (telle que la modularité de la fonction $\eta$ de Dedekind, des fonctions thêta de Jacobi ou des séries d'Eisenstein). De nombreuses séries q issues de la combinatoire, de la théorie des représentations et de la physique présentent une modularité « mystérieuse » qui n'est pas visible à partir de leurs formules de sommation. Le cas test principal de ce défi est la paire Rogers–Ramanujan, dont la modularité est classiquement connue via des identités de produits infinis mais qui manque d'une preuve dérivée uniquement de leurs définitions en série.

Méthodologie
L'auteur, Ken Ono, développe un critère de modularité vectorielle basé entièrement sur l'algèbre des séries q, des systèmes différentiels q du premier ordre et le prolongement analytique. La méthodologie procède selon les étapes suivantes :

1. Systèmes différentiels locaux : L'article traite un vecteur de séries q holomorphes, $f = (f_1, \dots, f_r)^T$, comme une solution d'un système linéaire du premier ordre sur le demi-plan supérieur. En examinant les développements locaux aux pointes (spécifiquement $\infty$ et $0$), l'auteur construit des systèmes différentiels q locaux de la forme $\theta_\gamma f^{(\gamma)} = A_\gamma(q_\gamma) f^{(\gamma)}$, où $\theta = q \frac{d}{dq}$ et $A_\gamma$ est une matrice de fonctions méromorphes.
2. La condition « bonne » : Un vecteur $f$ est défini comme « bon » pour une donnée d'orbite finie $O$ s'il satisfait trois conditions :
   • Matrice fondamentale locale : À chaque pointe, il existe une matrice $\Phi$ formée par un nombre fini de translates de $f$ par $SL_2(\mathbb{Z})$ qui est inversible dans un voisinage épointé de la pointe.
   • Régularité : La matrice de dérivée logarithmique $A = (\theta \Phi)\Phi^{-1}$ est méromorphe sur le disque épointé, se prolonge holomorphiquement à la pointe, et possède une matrice d'exposants limite conjuguée à une matrice diagonale de nombres rationnels.
   • Clôture de continuation finie : Les systèmes locaux sont clos sous le prolongement analytique et les décalages $T$ (translations) à des transformations de jauge constantes près. Cela garantit que les patchs locaux peuvent être assemblés globalement.
3. Assemblage et monodromie : En utilisant des résultats standards de la théorie des équations différentielles linéaires, l'article démontre que si les conditions « bonnes » sont remplies, les systèmes locaux s'assemblent pour former un système méromorphe global. La monodromie de ce système global fournit une représentation $\rho: SL_2(\mathbb{Z}) \to GL_r(\mathbb{C})$, certifiant ainsi que $f$ est une fonction modulaire vectorielle.

Contributions et résultats clés

• Théorème 2 (Modularité à partir de séries q) : Il s'agit du résultat théorique central. Il établit une équivalence entre le fait qu'un vecteur de séries q soit une fonction modulaire vectorielle faiblement holomorphe et le fait que le vecteur soit « bon » pour une donnée d'orbite finie. Ce théorème fournit un critère intrinsèque, basé sur les séries q, pour la modularité, indépendant des formes modulaires externes.
• Théorème 1 (Modularité Rogers–Ramanujan) : L'article applique le Théorème 2 à la paire Rogers–Ramanujan $G(q)$ et $H(q)$.
  • Il utilise les récurrences finies classiques de Schur et les comparaisons de produits finis d'Andrews pour dériver des systèmes différentiels q du premier ordre explicites pour les séries Rogers–Ramanujan aux pointes $\infty$ et $0$.
  • Les coefficients de ces systèmes sont exprimés en termes de séries de Lambert. Crucialement, la preuve n'assume pas que ces séries de Lambert sont des séries d'Eisenstein ; elle utilise uniquement leurs développements en q et les systèmes différentiels résultants.
  • L'auteur vérifie que la paire Rogers–Ramanujan satisfait les conditions « bonnes », prouvant ainsi leur modularité et dérivant explicitement les matrices multiplicatrices $\rho(T)$ et $\rho(S)$ sans invoquer d'entrée modulaire.
• Théorème 3 : Ce théorème fournit la réciproque constructive, montrant que toute fonction modulaire vectorielle faiblement holomorphe pour un sous-groupe de congruence satisfait naturellement les conditions « bonnes », validant ainsi l'équivalence.
• Extension aux séries Andrews–Gordon : L'article esquisse l'application de cette méthode aux séries q d'Andrews–Gordon (une généralisation de Rogers–Ramanujan). Il note que les identités polynomiales finies dans la littérature Andrews–Gordon fournissent les systèmes différentiels nécessaires pour certifier la modularité de ces familles de rang supérieur.

Portée et affirmations
L'article prétend résoudre le problème Ehrenpreis-Andrews en fournissant une « preuve directe » de la modularité qui repose uniquement sur la structure interne des séries q (récurrences algébriques et propriétés analytiques) plutôt que sur la modularité d'autres fonctions connues.

• Nature intrinsèque : La portée réside dans la suppression de « l'entrée modulaire ». La preuve pour le cas Rogers–Ramanujan n'utilise pas les lois de transformation de $\eta$ ou des fonctions thêta, ni ne repose sur le fait que les séries de Lambert associées sont des séries d'Eisenstein de poids 2.
• Cadre conceptuel : Ce travail reformule la détection de la modularité comme un problème de prolongement analytique et de monodromie des systèmes différentiels q. Il établit un parallèle avec la correspondance Lewis–Zagier entre les fonctions de période et les formes cuspales de Maass, positionnant les systèmes différentiels q comme l'analogue q des équations de fonctions de période.
• Relation avec la conjecture de Nahm : L'article oppose brièvement son approche à la conjecture de Nahm, qui relie la modularité à la torsion dans le groupe de Bloch. L'auteur postule que la condition « bon pour $O$ » offre une voie différente vers la modularité et suggère que clarifier la relation entre la torsion du groupe de Bloch et l'existence de données d'orbite finie est une direction ouverte intéressante, bien que l'article ne résolve pas cette relation.

En résumé, l'article offre un mécanisme rigoureux et autonome pour certifier la modularité des vecteurs de séries q en vérifiant un ensemble fini de conditions algébriques et analytiques aux pointes, démontrant avec succès cela sur le cas fondamental Rogers–Ramanujan.