🔢 mathematics

Representation of Ramanujan's tau function by twisted divisor functions

Cet article présente une famille infinie d'identités exprimant la fonction tau de Ramanujan à l'aide de sommes de convolution de fonctions diviseurs tordues, obtenues par la construction explicite de formes modulaires cuspales non nulles de niveau 1 à partir de formes de niveaux supérieurs.

Auteurs originaux : Tianyu Ni

Publié 2026-04-16

📖 4 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Tianyu Ni

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 les nombres entiers (1, 2, 3, 4...) soient comme une immense forêt remplie d'arbres mystérieux. Certains de ces arbres sont très spéciaux et portent des fruits qui suivent des règles cachées. L'un de ces arbres les plus célèbres est celui de Ramanujan, un génie mathématique indien du début du XXe siècle.

Ce qui nous intéresse ici, c'est une fonction spéciale appelée $\tau(n)$ (la fonction tau de Ramanujan). C'est comme si chaque arbre de la forêt avait un nombre secret attaché à lui. Le problème est que ce nombre est très difficile à prédire. Les mathématiciens essaient depuis longtemps de trouver une "recette" simple pour calculer ce nombre en utilisant d'autres nombres plus simples, comme les diviseurs (les nombres qui divisent un autre nombre sans reste).

Voici ce que fait l'auteur de ce papier, Tianyu Ni, en termes simples :

1. Le problème : Trouver la recette secrète

Pensez à la fonction $\tau(n)$ comme à un plat gastronomique très complexe. Les mathématiciens savent déjà que ce plat peut être fait en mélangeant des ingrédients de base (les fonctions diviseurs). Mais la recette connue est un peu "plate" (elle ne fonctionne que pour un cas très simple, comme si on cuisinait uniquement avec de l'eau).

L'auteur veut découvrir de nouvelles recettes qui utilisent des ingrédients plus exotiques, appelés ici "fonctions diviseurs tordues" (twisted divisor functions). Imaginez que ces ingrédients soient des épices rares qui changent la saveur du plat selon le contexte.

2. La méthode : Construire un pont entre deux mondes

Pour trouver ces nouvelles recettes, l'auteur utilise une technique de "pont".

Le monde d'en haut (Niveau élevé) : Il y a des structures mathématiques complexes et puissantes, mais elles sont difficiles à manipuler directement. C'est comme avoir une usine géante qui produit des matériaux de haute qualité, mais qui est trop loin de votre cuisine.
Le monde d'en bas (Niveau 1) : C'est là que se trouve notre fonction $\tau(n)$ . C'est une structure simple, pure et unique, comme un diamant brut.

L'idée de Tianyu Ni est de prendre les matériaux de l'usine lointaine (les formes modulaires de niveau élevé), de les couper et de les assembler avec des ciseaux mathématiques spéciaux (appelés crochets de Rankin-Cohen), puis de les "projeter" ou de les "ramener" vers notre cuisine simple (le niveau 1).

3. L'outil magique : Les Crochets de Rankin-Cohen

Imaginez que vous avez deux ingrédients (deux fonctions mathématiques). Si vous les mettez simplement ensemble, vous obtenez un mélange banal. Mais si vous utilisez l'outil spécial "Crochet de Rankin-Cohen", vous les faites danser ensemble d'une manière très précise. Cette danse crée une nouvelle forme qui, une fois ramenée à notre niveau simple, ressemble exactement à la fonction $\tau(n)$ de Ramanujan.

C'est comme si vous preniez deux mélodies complexes jouées dans une grande salle de concert (le niveau élevé), et que vous les transformiez en une seule mélodie parfaite qui résonne dans une petite pièce (le niveau 1).

4. La découverte : Une famille infinie de recettes

Le résultat principal de l'article est qu'il n'y a pas juste une nouvelle recette, mais une famille infinie de recettes !

Selon la "parité" (pair ou impair) des ingrédients choisis et selon le type d'épices (les caractères mathématiques) utilisés, on obtient des formules différentes pour calculer $\tau(n)$ .
L'auteur a prouvé que ces formules fonctionnent toujours, quelle que soit la taille du nombre $n$ .

5. Pourquoi c'est important ?

Jusqu'à présent, on avait quelques recettes pour calculer ce nombre secret. Tianyu Ni nous donne une boîte à outils complète avec des milliers de nouvelles façons de le faire.

Pour les experts : Cela ouvre la porte à de nouvelles connexions entre différentes branches des mathématiques (théorie des nombres et formes modulaires).
Pour nous, les non-experts : Cela montre que même pour les objets mathématiques les plus anciens et les plus mystérieux, il reste toujours des secrets à découvrir et des façons nouvelles de les voir. C'est comme découvrir que l'on peut construire un pont vers une île inconnue en utilisant des matériaux que l'on pensait inutilisables.

En résumé

Tianyu Ni a réussi à construire un pont mathématique. Il a pris des structures complexes et lointaines, les a assemblées avec une technique ingénieuse, et a montré qu'elles pouvaient être utilisées pour décrire parfaitement le comportement d'un des nombres les plus célèbres de l'histoire des mathématiques. C'est une victoire de la créativité mathématique : trouver l'ordre caché dans le chaos des nombres.

1. Problématique et Contexte

L'article s'intéresse à la fonction $\tau(n)$ de Ramanujan, définie comme les coefficients de Fourier de la forme modulaire $\Delta(z)$ de poids 12 et de niveau 1 :
$\Delta(z) = q \prod_{n \ge 1} (1-q^n)^{24} = \sum_{n \ge 1} \tau(n)q^n, \quad q = e^{2\pi i z}.$

Historiquement, de nombreuses recherches ont cherché à exprimer $\tau(n)$ sous forme de sommes de convolution impliquant des fonctions diviseurs classiques $\sigma_k(n)$ . L'objectif de cet article est de généraliser ces résultats en établissant une famille infinie d'identités qui représentent $\tau(n)$ non pas par des fonctions diviseurs standards, mais par des sommes de convolution de fonctions diviseurs tordues (twisted divisor functions). Ces fonctions dépendent de caractères de Dirichlet et d'un entier $D$ sans facteur carré impair.

2. Méthodologie

La méthode employée par l'auteur repose sur la théorie des formes modulaires et se déroule en plusieurs étapes clés :

Construction de formes de niveau 1 à partir de niveaux supérieurs : L'auteur construit une famille de formes paraboliques de niveau 1 en utilisant des formes modulaires de niveaux plus élevés ( $D$ ).
Crochets de Rankin-Cohen : Il utilise les crochets de Rankin-Cohen, notés $[f, g]_e$ , qui sont des opérateurs différentiels généralisant le produit de deux formes modulaires pour produire une forme parabolique. Ces crochets sont appliqués à des séries d'Eisenstein de poids $\ell$ et $k$ définies sur le niveau $D$ .
Opérateur de Trace : Pour ramener ces formes du niveau $D$ au niveau 1, l'auteur applique l'opérateur de trace $Tr_D^1$ . La forme résultante est notée $F_{D,\ell,k,e}(z; \chi)$ .
Preuve de non-annulation (Non-vanishing) : Un défi majeur est de s'assurer que la forme construite $F_{D,\ell,k,e}$ n'est pas identiquement nulle. L'auteur utilise la méthode de Rankin-Selberg pour relier le produit scalaire de Petersson de cette forme avec une forme propre de Hecke normalisée à des valeurs de fonctions $L$ tordues. La non-annulation de ces valeurs $L$ (via des résultats de Kohnen-Zagier et d'autres) garantit que la forme construite est non triviale.
Calcul des coefficients de Fourier : Une fois la non-annulation établie, l'auteur calcule explicitement les coefficients de Fourier de la forme construite. Comme $\Delta(z)$ est la forme parabolique de poids 12 et de niveau 1 unique (à une constante multiplicative près), la forme construite doit être proportionnelle à $\Delta(z)$ .

3. Résultats Principaux

Le résultat central est l'expression de $\tau(n)$ via des sommes de convolution de fonctions diviseurs tordues $\sigma_{l-1, \phi, \psi}(n)$ .

Définitions clés :
Soit $D = D_1 D_2$ un entier impair sans facteur carré. Pour des caractères de Dirichlet $\chi_1, \chi_2$ modulo $D_1, D_2$ , la fonction diviseur tordu est définie par :
$\sigma_{l-1, \chi_1, \chi_2}(n) = \sum_{d_1 d_2 = n} \chi_1(d_1)\chi_2(d_2)d_1^{l-1}.$

Théorème Principal (Théorème 1.1) :
L'auteur établit que $\tau(n)$ est égal à une forme normalisée $\tilde{a}_{D,\ell,k,e}(n; \chi)$ , définie comme le rapport du coefficient de Fourier $n$ -ième sur le coefficient de Fourier 1. Les identités dépendent de la parité du caractère $\chi$ et de la nature de $D$ :

Cas $\chi(-1) = -1$ (Caractère impair) :
- $\tau(n) = \tilde{a}_{D,3,5,2}(n; \chi)$
- $\tau(n) = \tilde{a}_{D,3,7,1}(n; \chi)$
Cas $\chi(-1) = 1$ (Caractère pair) :
- $\tau(n) = \tilde{a}_{D,4,6,1}(n; \chi)$
Cas particuliers ( $D=1$ ou $D$ premier $\equiv 5 \pmod 8$ ) :
- $\tau(n) = \tilde{a}_{D,4,2}(n)$ (où le caractère est le caractère quadratique $\chi_D$ ).

Ces formules généralisent les identités classiques de type van der Pol (comme celles de [15] et [17]) qui correspondent au cas $D=1$ . Pour $D > 1$ , les formules deviennent plus complexes, impliquant des sommes de convolution supplémentaires liées au paramètre $D$ .

4. Contributions Clés

Généralisation des identités classiques : L'article étend les formules connues pour $\tau(n)$ (valables pour $D=1$ ) à une famille infinie d'identités pour tout $D$ impair sans facteur carré, en introduisant des caractères de Dirichlet non triviaux.
Construction explicite de formes de niveau 1 : L'auteur fournit une construction explicite de formes paraboliques de niveau 1 à partir de séries d'Eisenstein de niveaux supérieurs via des crochets de Rankin-Cohen et l'opérateur de trace.
Preuve de non-annulation par méthode analytique : Contrairement aux cas de niveau 1 où l'on peut vérifier la non-annulation par un coefficient simple, la preuve pour les niveaux supérieurs repose sur une analyse fine des valeurs centrales des fonctions $L$ tordues via la méthode de Rankin-Selberg.
Nouvelles formules pour les valeurs de fonctions L : L'article montre une application directe de ces identités pour exprimer les valeurs de fonctions $L$ de Dirichlet (comme $L(-3, \chi_p)$ ) en termes de sommes de convolution, offrant une alternative aux formules impliquant les polynômes de Bernoulli.

5. Signification et Perspectives

Signification Théorique : Ce travail enrichit la compréhension structurelle de la fonction $\tau(n)$ en la reliant à des objets arithmétiques plus complexes (fonctions diviseurs tordues). Il démontre la puissance des techniques de formes modulaires de niveau supérieur pour résoudre des problèmes de niveau 1.
Conjectures : L'auteur propose deux conjectures importantes pour la recherche future :
1. Conjecture 5.1 : Le premier coefficient de Fourier $a_{D,\ell,k,e}(1; \chi)$ est non nul pour des poids $K$ suffisamment grands par rapport à $D$ . Cela permettrait de prouver la non-annulation de la forme sans recourir à la méthode de Rankin-Selberg.
2. Conjecture 5.2 : Lorsque la dimension de l'espace des formes paraboliques est supérieure à 1, la forme construite $F_{D,k,e}$ n'est généralement pas une forme propre de Hecke.

En résumé, cet article fournit un cadre unifié et puissant pour exprimer la fonction de Ramanujan via des sommes de convolution généralisées, reliant profondément la théorie des formes modulaires, les fonctions $L$ et la théorie des nombres.