Modular Nahm sums for symmetrizable matrices of indices $({2,\ldots, 2},1)$ and $({1,\ldots, 1},2)$

Cet article présente trois familles de sommes de Nahm modulaires pour des matrices symétrisables de rang arbitraire $r \geq 2$ avec des indices spécifiques, en généralisant des résultats antérieurs pour construire deux formes automorphes vectorielles, dont l'une est une fonction modulaire vectorielle lorsque $r$ est impair.

L'essentiel

Imaginez que les mathématiques sont une immense bibliothèque remplie de livres mystérieux appelés séries. Certains de ces livres sont très spéciaux : ils ont la capacité de se transformer de manière élégante et prévisible, un peu comme un caméléon qui change de couleur selon la lumière, mais en respectant des règles strictes. En mathématiques, on appelle ces livres des fonctions modulaires.

Dans cet article, quatre chercheurs (Julia, Kathy, Erin et Clara) ont découvert de nouveaux livres dans cette bibliothèque. Voici une explication simple de leur travail, sans jargon compliqué.

1. Le Problème : Trouver des Formules Magiques

Il y a un siècle, un mathématicien nommé Nahm a posé une question difficile : "Comment construire une série mathématique (une somme infinie) qui se transforme parfaitement comme une fonction modulaire ?"

C'est un peu comme essayer de construire une maison avec des briques (les nombres) qui, une fois assemblées, forment un objet capable de se plier et de se déplier sans jamais se casser, peu importe comment on le tourne.

Les chercheurs savent déjà comment faire cela pour de petites maisons (des matrices de taille 2 ou 3). Mais pour des maisons plus grandes (taille 4, 5, 100...), c'était un casse-tête insoluble.

2. La Découverte : Trois Nouvelles Familles de Maisons

L'équipe a réussi à construire trois nouvelles familles de ces "maisons magiques" pour n'importe quelle taille, à condition qu'elles aient une forme très spécifique (comme une rangée de briques 2, 2, 2... 1).

Ils ont utilisé une technique appelée l'ingénierie Bailey (un peu comme un jeu de Lego mathématique très sophistiqué) pour assembler ces formules. Ils ont prouvé que ces nouvelles séries ne sont pas seulement des sommes compliquées, mais qu'elles sont en réalité des fonctions modulaires.

L'analogie du miroir :
Imaginez que vous avez un objet complexe (une série mathématique). Les chercheurs ont découvert que cet objet possède un "double" dans un monde parallèle (appelé le dual de Langlands). Quand vous regardez l'objet dans le miroir (en appliquant une transformation mathématique), il se transforme en son double d'une manière parfaitement prévisible. C'est comme si vous aviez deux danseurs qui, même s'ils ne se touchent pas, effectuent exactement les mêmes mouvements en parfaite harmonie.

3. Le Résultat : Des Objets Vectoriels

Le plus impressionnant, c'est que ces chercheurs n'ont pas trouvé une seule formule, mais un groupe entier de formules qui travaillent ensemble.

Imaginez un orchestre. Chaque musicien joue une note différente (une fonction mathématique).

• Dans le passé, on savait que certains musiciens jouaient bien seuls.
• Ici, les chercheurs ont montré que tout l'orchestre (un "vecteur" de fonctions) joue une symphonie cohérente.
• Si vous changez la température de la salle (une transformation mathématique), tout l'orchestre change de tonalité ensemble, mais reste parfaitement accordé.

Ils ont prouvé que pour certaines tailles (quand le nombre de musiciens est impair), cet orchestre est si parfait qu'il peut jouer dans n'importe quelle salle de concert (un groupe mathématique appelé $\Gamma_0(2)$).

4. Pourquoi est-ce important ?

Cela peut sembler abstrait, mais c'est crucial pour plusieurs raisons :

• La Physique Théorique : Ces formules apparaissent souvent dans la théorie des cordes et la physique des particules. Elles décrivent comment les particules peuvent s'organiser.
• La Théorie des Nombres : Cela aide à comprendre la structure profonde des nombres et des partitions (comment on peut décomposer un nombre en somme d'autres nombres).
• La Beauté Mathématique : Cela montre que derrière le chaos apparent des nombres infinis, il existe un ordre caché et magnifique, comme une partition de musique écrite par l'univers lui-même.

En Résumé

Ces quatre chercheurs ont découvert de nouvelles "clés" mathématiques qui ouvrent des portes vers des mondes symétriques. Ils ont prouvé que des structures complexes, construites avec des règles spécifiques (les matrices symétrisables), possèdent une harmonie cachée qui les rend prévisibles et belles, même quand elles deviennent très grandes. C'est une avancée majeure dans la compréhension de la "musique" des nombres.

Résumé technique

Voici un résumé technique détaillé de l'article « MODULAR NAHM SUMS FOR SYMMETRIZABLE MATRICES OF INDICES (2, . . . , 2, 1) AND (1, . . . , 1, 2) » par Julia Q.D. Du, Kathy Q. Ji, Erin Y.Y. Shen et Clara X.Y. Xu.

1. Problématique et Contexte

L'article s'inscrit dans le cadre du problème de Nahm, posé par Nahm en 1979. Ce problème vise à identifier tous les triplets $(A, b, c)$ à coefficients rationnels tels que la série de Nahm associée, définie par :
$$f_{A,b,c}(q) := \sum_{n \in \mathbb{N}^r} \frac{q^{\frac{1}{2}n^T A n + n^T b + c}}{(q;q)_{n_1} \cdots (q;q)_{n_r}}$$
soit une fonction modulaire (ou un produit infini modulaire).

Bien que Nahm ait conjecturé des conditions nécessaires et suffisantes basées sur le groupe de Bloch pour le cas $r=1$ (confirmé par Zagier avec 7 triplets), le problème devient beaucoup plus complexe pour les rangs $r \ge 2$. Des contre-exemples existent, et la classification complète reste un défi ouvert.

L'article se concentre spécifiquement sur les sommations de Nahm généralisées associées à des matrices symétrisables (et non nécessairement symétriques) de la forme :
$$\tilde{f}_{A,b,c,d}(q) := \sum_{n \in \mathbb{N}^r} \frac{q^{\frac{1}{2}n^T A D n + n^T b + c}}{(q^{d_1};q^{d_1})_{n_1} \cdots (q^{d_r};q^{d_r})_{n_r}}$$
où $D = \text{diag}(d_1, \dots, d_r)$ est une matrice diagonale telle que $AD$ soit symétrique définie positive.

L'objectif principal est de présenter trois familles infinies de telles sommes modulaires pour des matrices de rang arbitraire $r \ge 2$, correspondant aux indices (types de $D$) :

1. $d = (2, 2, \dots, 2, 1)$
2. $d = (1, 1, \dots, 1, 2)$

Ces cas généralisent des résultats précédents connus pour $r=2$ et $r=3$ (travaux de Mizuno, Warnaar, et B. Wang–L. Wang).

2. Méthodologie

La démarche des auteurs repose sur une combinaison de techniques combinatoires et de théorie des formes modulaires :

1. Identités de type Rogers-Ramanujan multi-sommées :
   Les auteurs établissent d'abord des identités de type Rogers-Ramanujan pour des sommes multiples. Ces identités relient les sommes de Nahm (côté "fermionique") à des produits infinis (côté "bosonique").

   • Pour prouver ces identités, ils utilisent la machinerie de Bailey (Bailey machinery).
   • Ils construisent des paires de Bailey itératives en appliquant le lemme de Bailey et ses variantes (Lemmes 2.4, 2.5, 2.6) à des paires connues de la liste de Slater (Groupes C et G) et à des résultats récents de B. Wang–L. Wang.

2. Preuve de la modularité via les quotients d'éta généralisés :
   Une fois les identités établies, les sommes de Nahm sont exprimées comme des sommes de quotients d'éta généralisés (generalized eta-quotients).

   • Ils utilisent le critère de Robins (Lemme 4.2) pour déterminer la modularité de ces quotients. Ce critère vérifie les ordres aux cusps (points de l'infini et 0) et les poids pour prouver que les fonctions sont modulaires pour des sous-groupes de congruence spécifiques $\Gamma_1(N)$.

3. Construction de formes automorphes vectorielles :
   En regroupant les sommes de Nahm pour différents paramètres $b$ et $c$, les auteurs construisent deux vecteurs de fonctions : $G_{4r-2}(\tau)$ et $H_{4r-4}(\tau)$.

   • Ils dérivent des formules de transformation modulaire pour ces vecteurs, en particulier sous l'action de la transformation $S$ ($\tau \to -1/2\tau$).
   • Ces transformations révèlent une structure de "dualité de Langlands" entre les paires de vecteurs associés aux matrices $A$ et $A^\vee$ (transposées l'une de l'autre).

3. Résultats Clés

Les principaux théorèmes de l'article sont les suivants :

• Théorèmes 1.1, 1.2 et 1.3 (Modularité des familles) :
  Pour tout rang $r \ge 2$, les auteurs prouvent que trois familles de sommes de Nahm (associées aux matrices $A$, $B$ et $A^\vee$ avec les indices $d=(2,\dots,2,1)$ et $d^\vee=(1,\dots,1,2)$) sont des fonctions modulaires pour des sous-groupes de congruence précis :

  • $\Gamma_1(128(4r-1)^2)$ pour les matrices de type $A$ et $A^\vee$.
  • $\Gamma_1(64(4r-3)^2)$ pour la matrice $B$.
    Ces résultats généralisent les cas $r=2,3$ déjà connus.

• Théorème 1.5 (Identités de Rogers-Ramanujan) :
  Six identités multi-sommées sont établies, reliant explicitement les sommes de Nahm à des produits infinis (quotients d'éta). Ces identités constituent la pierre angulaire de la preuve de modularité.

• Théorèmes 1.6 et 1.7 (Formes automorphes vectorielles) :
  Les auteurs construisent deux vecteurs de fonctions $G_{4r-2}(\tau)$ et $H_{4r-4}(\tau)$.

  • $G_{4r-2}(\tau)$ est une forme automorphe vectorielle pour le groupe engendré par $\begin{pmatrix} 1 & 2 \\ 0 & 1 \end{pmatrix}$ et $\begin{pmatrix} 1 & 0 \\ 4 & 1 \end{pmatrix}$. Si $r$ est impair, c'est une fonction modulaire vectorielle pour $\Gamma_0(2)$.
  • $H_{4r-4}(\tau)$ est une forme automorphe vectorielle pour le groupe engendré par $\begin{pmatrix} 1 & 4 \\ 0 & 1 \end{pmatrix}$ et $\begin{pmatrix} 1 & 0 \\ 8 & 1 \end{pmatrix}$.

• Dualité de Langlands :
  L'article met en évidence des relations de transformation entre les vecteurs associés aux matrices $A$ et $A^\vee$ (et $B$ et $B^\vee$), confirmant une conjecture de Mizuno sur l'existence de paires "duales" dans le cas de rang 3 et l'étendant au rang arbitraire.

4. Contributions et Significativité

• Généralisation au rang arbitraire : C'est l'une des rares contributions fournissant des familles infinies de sommes de Nahm modulaires pour un rang $r$ arbitraire, dépassant la classification par cas finis.
• Extension aux matrices symétrisables : Le travail étend la théorie des sommes de Nahm au-delà des matrices symétriques, un domaine moins exploré mais crucial pour les algèbres de Lie affines et les identités de partitions.
• Lien avec la physique mathématique : Les résultats confirment les prédictions physiques selon lesquelles les sommes de Nahm modulaires forment des espaces vectoriels invariants sous l'action de $SL_2(\mathbb{Z})$ (ou de ses sous-groupes), reliant la théorie des partitions, les algèbres de vertex et la théorie des cordes (représentations "fermioniques" vs "bosoniques").
• Outils combinatoires nouveaux : La démonstration des identités de Rogers-Ramanujan via la machinerie de Bailey itérative offre de nouvelles techniques pour manipuler des sommes multiples complexes.

En résumé, cet article résout un problème ouvert majeur en fournissant des familles explicites de sommes de Nahm modulaires pour des matrices symétrisables de rang élevé, en établissant des identités combinatoires profondes et en démontrant la structure modulaire vectorielle sous-jacente, confirmant ainsi des conjectures récentes et ouvrant la voie à de nouvelles recherches en théorie des nombres et en physique mathématique.