🔢 mathematics

Some convolution identities for mock modular forms arising from the theory of holomorphic projection

Cet article développe une théorie généralisée de la projection holomorphe pour les produits impliquant des formes de Maass harmoniques afin de dériver de nouvelles identités de convolution pour les formes modulaires fausses couvrant les cas avec une infinité de solutions aux équations de Pell généralisées, résolvant ainsi une conjecture récente et fournissant une méthode systématique pour découvrir et vérifier 18 identités pour les fonctions thêta fausses.

Auteurs originaux : Jonathan G. Bradley-Thrush, Frank Garvan, Jayashree Kalita, Larry Rolen

Publié 2026-08-14

📖 3 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Jonathan G. Bradley-Thrush, Frank Garvan, Jayashree Kalita, Larry Rolen

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous soyez un détective tentant de résoudre un mystère, mais au lieu d'empreintes de pas ou de traces de doigts, vos indices sont cachés à l'intérieur de nombres infinis formant des motifs. C'est le monde des formes modulaires, une branche des mathématiques où les nombres dansent selon des rythmes répétitifs et parfaits. Voyez ces motifs comme une partition musicale complexe : si vous jouez les notes dans un certain ordre, elles créent une chanson belle et harmonieuse. Pendant des siècles, les mathématiciens ont étudié les formes « holomorphes », qui sont les notes parfaites et fluides de cette chanson — sans fissures, sans statique, juste une mélodie pure.

Mais au XIXe siècle, les mathématiciens ont découvert une version étrange et légèrement « brisée » de ces chansons, appelée formes mock modulaires. Ce sont comme une mélodie qui commence parfaitement mais qui devient un peu grésillante ou vacillante à la fin. Pendant longtemps, ces notes vacillantes ont été considérées comme des curiosités mathématiques, difficiles à utiliser et encore plus difficiles à comprendre. Cependant, ces dernières années, les chercheurs ont réalisé que ces chansons « brisées » sont en réalité connectées aux formes parfaites d'une manière très spécifique. En utilisant un outil mathématique appelé projection holomorphe, ils peuvent prendre une chanson vacillante et brisée et la projeter sur une surface parfaite et lisse pour révéler des relations cachées. Il ne s'agit pas seulement de jolies mathématiques ; ces motifs aident à résoudre des énigmes profondes sur le dénombrement (la combinatoire) et expliquent même des secrets sur la structure de l'univers.

Ce document traite d'une équipe de mathématiciens qui a décidé d'améliorer cet outil de projection. Auparavant, la méthode ne fonctionnait bien que pour un type très spécifique et étroit de chanson brisée — une chanson dont le motif sous-jacent possède un nombre limité de solutions, comme un puzzle avec seulement quelques réponses possibles. Les auteurs ont réalisé que de nombreux problèmes mathématiques intéressants impliquent des motifs avec des possibilités infinies, comme un puzzle qui génère de nouvelles pièces indéfiniment. Ils ont développé une nouvelle version plus flexible de la technique de projection capable de gérer ces cas infinis.

En utilisant ce nouvel outil, l'équipe a prouvé une conjecture de longue date formulée par l'un de leurs collègues sur la façon dont certaines « fonctions theta mock », un type spécial de chanson vacillante découvert par le légendaire mathématicien Ramanujan, sont liées entre elles. Ils n'ont pas seulement prouvé une seule de ces relations ; ils ont mis au jour toute une famille de 18 nouvelles formules reliant ces fonctions. Bien que 18 puisse sembler beaucoup, ils ont découvert que ces formules sont toutes des variations de cinq vérités fondamentales. Les auteurs ont montré que ces cinq identités sont les « clés maîtresses » qui déverrouillent le reste. Ils ont également démontré que, bien que ces formules puissent être prouvées à l'aide de tours algébriques à l'ancienne, leur nouvelle méthode de projection est comme un scanner de haute technologie : elle découvre et vérifie automatiquement ces relations complexes, rendant le processus plus rapide et plus fiable. En résumé, ils ont construit une meilleure lentille pour voir les connexions cachées entre le brisé et le parfait dans le monde des nombres.

Résumé technique : Certaines identités de convolution pour les formes modulaires fausses issues de la théorie de la projection holomorphe

Énoncé du problème
Les identités de convolution et les formules récursives sont des outils fondamentaux dans la théorie des formes modulaires holomorphes et leurs applications à la combinatoire. Bien que les exemples classiques (impliquant notamment les sommes de diviseurs et la fonction de partition) soient bien établis, il existe un intérêt renouvelé pour les identités issues de formes modulaires non holomorphes, spécifiquement les formes de Maass harmoniques. Les travaux antérieurs d'Imamoğlu, Raum et Richter (2014) ont établi une théorie de la projection holomorphe pour les produits de formes de Maass harmoniques et de formes modulaires holomorphes, produisant des résultats significatifs tels que des généralisations des relations de la classe de Hurwitz-Kronecker et des formules essentielles à la preuve de la conjecture de l'Umbral Moonshine.

Cependant, le cadre existant d'Imamoğlu, Raum et Richter est optimisé pour les cas où l'équation de Pell généralisée $m^2 - Dn^2 = N$ possède une valeur carrée pour $D$ , ce qui ne produit que des solutions finies pour un $N$ donné. De nombreux cas naturels impliquant les fonctions thêta fausses, particulièrement ceux liés aux fonctions thêta fausses de troisième ordre de Ramanujan, correspondent à des cas où $D$ n'est pas un carré parfait, entraînant ainsi une infinité de solutions. Cet article traite de la lacune consistant à développer une théorie de la projection holomorphe pratique et informatiquement réalisable pour ces cas généraux.

Méthodologie
Les auteurs emploient la théorie de la projection holomorphe pour dériver des identités de convolution. La méthodologie centrale comprend les étapes suivantes :

Construction du produit tensoriel : Les auteurs forment le produit tensoriel d'une forme de Maass harmonique vectorielle spécifique, $H^{(3)}$ , avec une forme modulaire holomorphe vectorielle, $N$ . La forme $H^{(3)}$ est construite à partir des fonctions thêta fausses de Ramanujan ( $\phi, \psi, \nu$ ) et de leurs complétions non holomorphes (définies via des fonctions thêta unaires et des intégrales d'Eichler) comme décrit par Klein et Kupka. La forme $N$ est construite à partir de quotients d'eta.
Théorie des représentations : Le produit tensoriel $H^{(3)} \otimes N$ produit un vecteur de dimension 18. Les auteurs décomposent la représentation associée $\rho^{(3)} \otimes \rho$ en composantes irréductibles. En utilisant les formules de dimension pour les espaces de formes modulaires, ils démontrent que l'espace des formes quasimodulaires de poids 2 pour cette représentation est de dimension 3.
Projection holomorphe : En appliquant l'opérateur de projection holomorphe $\pi_{hol}$ au produit tensoriel, les auteurs relient les parties non holomorphes de la forme de Maass harmonique aux formes modulaires holomorphes. La projection de la partie holomorphe ( $F^{(3)} \otimes N$ ) produit les membres de gauche des identités, tandis que la projection de la partie non holomorphe ( $G^{(3)} \otimes N$ ) produit les sommes de convolution sur les membres de droite.
Formule de projection généralisée : Une contribution méthodologique critique est le développement du Théorème 4.2, une formule générale pour les projections holomorphes de poids 2. Contrairement aux formulations précédentes qui supposaient que $D$ $D$ était un carré, ce théorème traite du cas où l'équation de Pell généralisée $m^2 - Dn^2 = 1$ $m^{2} - D n^{2} = 1$ possède une infinité de solutions (lorsque $D$ $D$ n'est pas un carré). La preuve implique :
- L'analyse des conditions de croissance des fonctions.
- L'utilisation de la solution fondamentale de l'équation de Pell pour classer les solutions entières en classes d'équivalence.
- La sommation sur ces classes en utilisant des caractères de Dirichlet et des paramètres spécifiques ( $\epsilon_1, \epsilon_2$ ) pour simplifier les séries doubles résultantes.
- L'emploi du Lemme 4.3 pour effectuer des substitutions unimodulaires qui réduisent les séries doubles complexes en formes plus compactes.

Contributions principales et résultats
Le résultat principal de l'article est le Théorème A, qui établit cinq identités distinctes de type convolution pour les fonctions thêta fausses de troisième ordre de Ramanujan $\phi(q)$ , $\psi(q)$ et $\nu(q)$ .

Résolution d'une conjecture : L'identité (a) du Théorème A résout une conjecture récente posée par le second auteur (Garvan) concernant une identité de convolution spécifique pour $\psi(q)$ .
Réduction d'identités : La projection holomorphe du produit tensoriel à 18 composantes produit initialement 18 identités. Grâce aux relations classiques entre les fonctions thêta fausses (spécifiquement les identités reliant $\phi, \psi, \nu$ et $\omega$ ), les auteurs démontrent que ces 1s identités se réduisent aux cinq relations distinctes énoncées dans le Théorème A.
Formules explicites : Les identités prennent la forme d'un produit d'une forme modulaire (impliquant des produits infinis comme $(q;q)_\infty$ ) et d'une fonction thêta fausse égalant une combinaison linéaire d'une forme modulaire et d'une double somme impliquant des symboles de Kronecker et des exposants quadratiques. Par exemple, l'identité (a) relie $(q;q)_\infty^3 \psi(q)$ à une double somme impliquant $\binom{-4}{m}\binom{n}{6}$ .
Preuves alternatives : Les appendices fournissent des preuves directes par séries $q$ pour plusieurs identités, confirmant les résultats obtenus via la méthode plus abstraite de la projection holomorphe.

Signification
L'article revendique une importance dans plusieurs domaines spécifiques :

Extension de la projection holomorphe : Il étend la théorie de la projection holomorphe aux cas où l'équation de Pell sous-jacente possède une infinité de solutions, un scénario qui était auparavant difficile à traiter informatiquement en raison de la divergence des intégrales et de la complexité des ensembles de solutions.
Découverte automatisée : Les auteurs soulignent que l'utilité des formules de projection holomorphe réside dans leur capacité à servir d'outil pour la « découverte et la vérification automatiques » de telles formules. La méthode offre un moyen systématique de générer des identités qui pourraient être difficiles à trouver par simple manipulation directe de séries $q$ .
Unification : Le travail unifie la dérivation de 18 identités issues d'un seul produit tensoriel, les réduisant à un ensemble central de cinq, clarifiant ainsi les relations structurelles entre différentes identités de fonctions thêta fausses.
Fondation pour des travaux futurs : Les auteurs notent que les méthodes développées ici sont conçues pour s'étendre aux fonctions thêta fausses d'ordre $p$ et à la fonction de rang de Dyson modulo $p$ , suggérant une voie pour une exploration plus approfondie des conjectures sur les fonctions thêta fausses, bien que l'article actuel se concentre strictement sur le cas de l'ordre 3.

L'article conclut que, bien que les détails computationnels des formes de Maass harmoniques à valeurs vectorielles soient fastidieux, l'établissement du Théorème 4.2 et la dérivation subséquente du Théorème A fournissent un cadre robuste pour générer de nouvelles identités de convolution dans la théorie des formes modulaires fausses.

Articles similaires