vignette|Les nombres complexes et variables de leurs sous-ensembles. 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 des nombres algébriques, diaporama présenté au colloque de la Société mathématique de Tunisie à Mahdia, en mars 2004. 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 pointuesOn en trouvera une autre approche dans l'article de Yves André, Idées galoisiennes (lire en ligne), 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 notion : un théorème frappant d'Alfred van der Poorten (qu'il rapproche de celui de Gelfond-Schneider) : ; 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 et , , selon laquelle les périodes 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 ℝ 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

où est un polynôme et une fonction rationnelle sur à 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. Tous leurs logarithmes, comme. Le nombre :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 g, g algébriques :où 4t – gt – g = 4(t – e)(t – e)(t – e). Les valeurs aux entiers de la fonction zêta de Riemann et des fonctions zêta multiples. Le produit par une puissance de adéquate de certaines valeurs de fonctions hypergéométriques :(pour p entier ≥ 2, b ∉ –ℕ 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 (p/q) 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 ou 1/, 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 Masahiko Yoshinaga, Periods and elementary real numbers, citée par Waldschmidt comme un , diaporama présenté au du département de mathématiques appliquées de l'université Charles de Prague, 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) Katrin Tent et Martin Ziegler, Low functions of reals,, ont amélioré sa preuve et montré que ce sont même des réels « sous-élémentaires ».. 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 serait de montrer qu'un nombre particulier non construit spécialement à cet effet, comme , 1/ 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 » Jianming Wan, Degrees of periods, , 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 .

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 , 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

Notes

Références , preprint sur

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

Periode Catégorie:Géométrie algébrique