Algèbre des périodes

Modèle:Voir homonymes En mathématiques, et plus précisément en théorie des nombres, une période est un nombre complexe qui peut s'exprimer comme l'intégrale d'une fonction algébrique sur un domaine algébrique. La somme et le produit de deux périodes sont encore des périodes, donc les périodes forment un anneau commutatif unitaire. Elles forment même une algèbre sur le corps [[Clôture algébrique|Modèle:Surligner]] des nombres algébriques. Cette notion a été introduite par Maxime Kontsevitch et Don Zagier.

Motivations

L'algèbre des périodes est à la fois assez facile à appréhender en raison de sa petite taille (dénombrable et ne contenant que des nombres calculables) et assez grosse pour contenir non seulement tous les nombres algébriques, mais toutes les constantes mathématiques « usuelles », même celles qui sont transcendantes. Le premier des deux « principes » énoncés par Kontsevitch et Zagier résume cela par :

Hormis la fin de leur article, où Kontsevitch expose des spéculations motiviques très pointues, les deux auteurs n'ont fait « qu'» offrir un baptême à une notion qui est « dans l'air du temps » depuis plusieurs siècles. Michel Waldschmidt, spécialiste d'arithmétique diophantienne, mentionne par exemple, parmi ses propres motivations pour cette notionModèle:, :

• un théorème frappant d'Alfred van der Poorten (qu'il rapproche de celui de Gelfond-Schneider) : Modèle:Citation ;
• un théorème analogue de Schneider sur les intégrales elliptiques de première et deuxième espèce ;
• une conjecture sur les valeurs aux entiers impairs de la fonction zêta de Riemann, selon laquelle les périodes Modèle:Math seraient algébriquement indépendantes sur ℚ.

Définition

Une période est un nombre complexe dont les parties réelle et imaginaire sont des valeurs d'intégrales absolument convergentes de fonctions rationnelles à coefficients rationnels, sur des domaines de [[Espace euclidien|ℝModèle:Exp]] définis par des inéquations polynomiales à coefficients rationnels (on peut remplacer « inéquations » par : « équations ou inéquations »). C'est-à-dire que partie réelle et imaginaire doivent être de la forme

$\underset{P(x,y,z,\dots )\ge 0}{\int }Q(x,y,z,\dots )\mathrm{d}x\mathrm{d}y\mathrm{d}z\dots$

où $P$ est un polynôme et $Q$ une fonction rationnelle sur ${ℝ}^n$ à coefficients rationnels.

On obtient une définition équivalente si on la restreint en n'autorisant comme intégrande que la fonction constante 1, ou si au contraire on l'étend en autorisant des fonctions algébriques, à la fois dans l'intégrande et dans les inéquations.

Exemples

• Tous les nombres algébriques, comme$\sqrt{2}=\underset{2x^2\le 1}{\int }\mathrm{d}x$.
• Tous leurs logarithmes, comme$\ln 2=\underset{1<x<2}{\int }\frac{\mathrm{d}x}{x}$.
• Le [[Pi|nombre Modèle:Math]] :$\pi =\underset{x^2+y^2\le 1}{\int }\mathrm{d}x\mathrm{d}y$donc également les périodes des fonctions trigonométriques et de l'exponentielle complexe.
• Les intégrales elliptiques de paramètres et bornes algébriques, par exemple les périodes fondamentales d'une fonction elliptique de Weierstrass de paramètres gModèle:Ind, gModèle:Ind algébriques :${\omega }_i=\underset{e_i}{\overset{\mathrm{\infty }}{\int }}\frac{\mathrm{d}t}{\sqrt{4t^3-g_{2}t-g_3}}(i=1,2)$où 4tModèle:3 – gModèle:Indt – gModèle:Ind = 4(t – eModèle:Ind)(t – eModèle:Ind)(t – eModèle:Ind).
• Les valeurs aux entiers de la fonction zêta de Riemann et des fonctions zêta multiples.
• Le produit par une puissance de Modèle:Math adéquate de certaines valeurs de fonctions hypergéométriques :${\pi }^{p-1}\times {}_p{F}_{p-1}(a_1,\dots ,a_p;b_1,\dots ,b_{p-1};z)\text{si }{a}_i,b_j\in \mathbb{Q}\text{ et }z\in \bar{\mathbb{Q}}$(pour p entier ≥ 2, bModèle:Ind ∉ –ℕ et |z| < 1).
• Certaines constantes données par des séries ou des intégrales de fonctions transcendantes se trouvent être par ailleurs des périodes (c'est le cas par exemple pour [[Fonction gamma|Modèle:Math(p/q)]]Modèle:Exp pour p et q entiers > 0, en utilisant la fonction bêta), sans qu'aucune règle générale ne semble se dégager.

Contre-exemples

Kontsevich et Zagier ont posé trois problèmes. Le troisième est d'exhiber au moins un nombre qui ne soit pas une période.

• Comme ils le signalent eux-mêmes, l'ensemble des périodes étant dénombrable, il existe a priori « beaucoup » de solutions. Mais le problème implicite est d'en définir ne serait-ce qu'une, moins artificiellement que par le procédé diagonal de Cantor, ou de montrer qu'une constante telle que [[e (nombre)|Modèle:Math]] ou 1/Modèle:Math, qu'on conjecture ne pas être une période, n'en est effectivement pas une.
• Puisque l'anneau des périodes est inclus dans le corps des nombres calculables, une réponse « naïve » est de proposer l'un des exemples déjà connus de nombres non calculables, comme la constante Oméga de Chaitin.
• Dans une prépublication récente citée par Waldschmidt comme un Modèle:Citation, ce qui est plus précisément ce qu'attendaient Kontsevich et Zagier, M. Yoshinaga démontre que toutes les périodes sont des nombres réels élémentaires (une notion d'approximation par les rationnels plus restrictive que celle de nombre réel calculable). Le procédé diagonal, appliqué aux réels élémentaires, lui permet par ailleurs de construire un nombre calculable non élémentaire, donc qui n'est pas une période.
• Un Modèle:Citation Modèle:Citation serait de montrer qu'un nombre particulier non construit spécialement à cet effet, comme [[e (nombre)|Modèle:Math]], 1/Modèle:Math ou la constante d'Euler-Mascheroni, n'est pas une période.
• Waldschmidt a conjecturé depuis qu'aucun nombre de Liouville n'est une période, inspiré par des résultats récents sur les propriétés du « degré d'une période », i.e. la dimension minimale d'un domaine algébrique dont cette période est le volume.

Les deux auteurs estiment que leurs trois problèmes Modèle:Citation.

Conjecture et problèmes

Une représentation d'une période (comme une intégrale d'une fonction algébrique sur un domaine algébrique) peut être transformée en beaucoup d'autres en utilisant trois règles :

1) additivité de l'intégrale (par rapport au domaine d'intégration et par rapport à l'intégrande)

2) changement de variable

3) théorème fondamental de l'intégration (à une ou plusieurs variables)

L'égalité entre nombres algébriques est décidable, celle entre nombres calculables ne l'est pas. Les deux auteurs prévoient que celle entre périodes est récursivement énumérable, et plus précisément :

Ils posent même un problème encore plus difficile (et dont il est également difficile de prouver qu'il n'a pas de solution, si tel est le cas) :

ainsi que leur problème Modèle:Numéro, peu formalisé mais inspiré des algorithmes connus pour les nombres rationnels et algébriques, de reconnaître si un nombre est une période « simple » ou pas, la précision numérique sur ce nombre étant disponible à volonté en fonction de la simplicité prescrite.

Généralisations

Don Zagier et Kontsevich définissent également la notion de période exponentielle, obtenue en autorisant dans la définition précédentes des fonctions et des bornes de la forme « exponentielle d'une fonction algébrique » ; en y ajoutant la constante d'Euler, ils conjecturent qu'on obtient ainsi « toutes les constantes mathématiques usuelles ».

Notes et références

Références

Modèle:Article, preprint sur Modèle:Arxiv2

Articles connexes

• Conjecture de Birch et Swinnerton-Dyer
• Équation de Picard-Fuchs
• Fonction L
• Forme modulaire