Mellin transforms, transfinite diameter and rational approximations of integrals

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie des nombres et de la géométrie algébrique, visant à établir des critères d'irrationalité pour les périodes (intégrales de formes différentielles sur des cycles algébriques).

• Contexte historique : Les preuves d'irrationalité classiques (comme celles d'Apéry pour $\zeta(3)$ ou de Beukers pour $\zeta(2)$) reposent sur la construction de familles de formes linéaires fournissant de bonnes approximations rationnelles. Ces formes proviennent généralement d'intégrales dépendant de nombreux paramètres.
• Limites des méthodes existantes : Les critères actuels d'irrationalité n'exploitent pas pleinement la structure géométrique et la richesse des familles de formes linéaires générées par ces paramètres. De plus, la qualité des approximations se dégrade souvent lorsque la dimension (ou le poids) des périodes augmente, rendant la preuve d'irrationalité pour les valeurs zêta impaires ($\zeta(2n+1)$) extrêmement difficile.
• Question centrale : Existe-t-il une méthode pour prouver l'irrationalité des intégrales de périodes qui s'améliore à mesure que la dimension du problème augmente ?

2. Méthodologie

L'auteur propose une approche « multi-paramètres » qui remplace les arguments diophantiens ad hoc par des constructions générales en géométrie algébrique. La méthode repose sur trois piliers :

A. Intégrales de Mellin et Variété Image Auxiliaire

L'étude porte sur des intégrales de Mellin de la forme :
$$I(s_1, \dots, s_r) = \int_{\sigma} f_1^{s_1} \dots f_r^{s_r} \omega$$
où $\sigma$ est une chaîne sur une variété affine $X$, et $f_i$ sont des fonctions régulières.
L'auteur introduit la notion de variété image auxiliaire $V_f$, définie comme la clôture de Zariski de l'image de l'application $f = (f_1, \dots, f_r) : X \to \mathbb{A}^r$. Cette variété encode la structure algébrique des paramètres.

B. Formes Quadratiques et Déterminants de Vandermonde Généralisés

Pour chaque entier $N$, on construit une matrice symétrique $Q_\sigma$ dont les entrées sont des intégrales de Mellin associées à un module libre $M$ de fonctions.

• Le déterminant de cette matrice est lié à une intégrale du carré d'un déterminant de Vandermonde généralisé associé au module $M$.
• Si les hypothèses de positivité sont réunies, $Q_\sigma$ est définie positive, garantissant un déterminant non nul.

C. Diamètre Transfini Suprême

Le cœur de la nouvelle théorie est l'introduction du diamètre transfini suprême ($\text{Sup}_{M,e}(\tau)$).

• C'est une généralisation du diamètre transfini classique (lié à la capacité logarithmique) aux variétés algébriques et aux modules de fonctions.
• Il mesure la « taille » et la « forme » de l'image du domaine d'intégration $f(\sigma)$ dans la variété auxiliaire $V_f$, par rapport à un module de fonctions $M$.
• L'auteur établit des bornes supérieures pour ce diamètre en utilisant des propriétés de produits tensoriels et de sommes directes de modules, réduisant le problème à des calculs sur des régions géométriques simples (triangles, rectangles).

D. Critère d'Irrationalité via le Théorème de Minkowski

En combinant le théorème de Minkowski sur les formes linéaires avec les bornes sur le déterminant de $Q_\sigma$ et les estimations des dénominateurs, l'auteur obtient un critère d'irrationalité :
Si $\text{Sup}_{M,e}(f(\sigma))^2 \cdot \delta < 1$ (où $\delta$ est une limite liée aux dénominateurs), alors les périodes sont linéairement indépendantes sur $\mathbb{Q}$.

3. Contributions Clés

1. Critère d'Irrationalité Multi-Paramètres : Établissement d'un critère (Théorème 1.3 et Critère 1.4) qui exploite l'ensemble de l'espace des paramètres, et non pas seulement une ligne diagonale (contrairement à la méthode de Rhin-Viola).
2. Théorie du Diamètre Transfini Suprême : Développement d'une théorie robuste pour estimer les diamètres transfinis sur des variétés algébriques, incluant des formules pour les produits tensoriels et les sommes directes de modules.
3. Découplage des Dénominateurs et de l'Asymptotique : La méthode permet de séparer l'optimisation des dénominateurs (via les congruences en cohomologie de de Rham) de l'optimisation du comportement asymptotique des intégrales. On peut choisir des intégrales avec de petits dénominateurs même si leur asymptotique individuelle n'est pas optimale, car le théorème de Minkowski extrait la combinaison linéaire optimale.
4. Preuve de Principe sur $\zeta(2)$ : Application détaillée à une famille d'intégrales à 5 paramètres associée à l'espace de modules $M_{0,5}$ (courbes de genre 0 avec 5 points marqués).

4. Résultats Expérimentaux et Numériques

L'auteur applique sa théorie à la famille d'intégrales :
$$I(h, i, j, k, \ell) = \int_{[0,1]^2} \frac{x^h(1-x)^i y^k(1-y)^j}{(1-xy)^{i+j-\ell+1}} dx dy$$
qui sont des formes linéaires en $\mathbb{Z}\zeta(2) + \mathbb{Q}$.

• Cas 1 paramètre (Diagonale) : Reproduction du critère classique d'Apéry/Beukers.
• Cas 2 paramètres : L'auteur considère un sous-ensemble à 2 paramètres. Les calculs montrent que le carré du diamètre transfini est d'environ $0.02$, bien inférieur au seuil requis pour l'irrationalité.
• Cas 5 paramètres (Cas complet) :
  • L'utilisation de la structure de $M_{0,5}$ et de la symétrie diédrale permet de construire des modules de fonctions plus riches.
  • Les estimations numériques montrent que le produit $\text{Sup}^2 \cdot \delta$ tend vers une valeur inférieure à 1 (autour de $1.36$ pour le seuil $\vartheta$, ce qui est favorable par rapport au cas classique).
  • Les données suggèrent que la qualité de l'approximation s'améliore avec le nombre de paramètres, validant l'hypothèse de départ.

5. Signification et Perspectives

• Changement de Paradigme : L'article propose de passer d'une approche « ligne de tir » (choix d'une direction spécifique dans l'espace des paramètres) à une approche « volumique » qui utilise toute la géométrie de l'espace des paramètres.
• Potentiel pour les Hautes Dimensions : Contrairement aux intuitions précédentes suggérant que la méthode se dégrade avec la dimension, ce travail montre que l'augmentation du nombre de paramètres peut améliorer les bornes d'irrationalité, à condition de maîtriser le diamètre transfini de l'image de l'intégrale.
• Lien avec la Cohomologie $p$-adique : L'auteur esquisse une connexion entre le diamètre transfini $p$-adique et les valuations $p$-adiques des dénominateurs, ouvrant la voie à des critères d'irrationalité basés sur la géométrie $p$-adique.
• Ouverture : Bien que l'exemple de $\zeta(2)$ soit une « preuve de principe » (l'irrationalité étant déjà connue), la méthode est conçue pour être appliquée à des périodes de poids supérieur (comme $\zeta(2n+1)$) où les méthodes actuelles échouent.

En résumé, Francis Brown établit un cadre géométrique unifié reliant les intégrales de Mellin, les déterminants de Vandermonde généralisés et le diamètre transfini, offrant une nouvelle voie prometteuse pour attaquer les problèmes d'irrationalité et d'indépendance linéaire des périodes en haute dimension.