Hypothèse H de Schinzel

En mathématiques, l'hypothèse H de Schinzel est une très large généralisation de conjectures telles que la conjecture des nombres premiers jumeaux. Elle a pour objectif de donner une condition suffisante la plus faible possible sur la nature d'une famille de polynômes irréductibles pour qu'elle prenne comme valeurs des nombres premiers simultanément, pour un entier arbitrairement grand ; autrement dit, pour qu'il existe une infinité d'entiers n tels que pour chacun d'eux, tous les soient des nombres premiers. C'est une généralisation de la conjecture de Bunyakovsky (en), qui concerne une famille réduite à un seul polynôme.

Condition nécessaire

Une telle conjecture doit prendre en compte certaines conditions nécessaires. Par exemple, si nous prenons les deux polynômes et , il n'y a pas de pour lequel et sont tous les deux premiers. Ceci parce que l'un des deux sera un nombre pair > 2, et l'autre un nombre impair. La question principale dans la formulation de la conjecture est d'éviter ce phénomène.

Ceci peut être fait grâce à la notion de polynôme à valeurs entières : on dit qu'un polynôme à valeurs entières possède un diviseur fixé m s'il existe un entier tel que

soit aussi un polynôme à valeurs entières.

Par exemple,

possède un diviseur fixé égal à 2.

Pour

Q(x) = Π f_i(x)

de tels diviseurs fixés doivent être évités pour toute conjecture, puisque leur présence permet rapidement de contredire la possibilité que les soient tous des nombres premiers, lorsque n prend de grandes valeurs.

Énoncé

Par conséquent, la forme standard de l'hypothèse H est la suivante : si Q défini comme ci-dessus ne possède pas de diviseur premier fixé, alors il existe une infinité de tels que tous les sont simultanément premiers, pour tout choix de polynômes à coefficients entiers, irréductibles, et à coefficients dominants positifs.

Analyse

Remarques

• Si les coefficients dominants sont négatifs, nous pouvons nous attendre à des valeurs de nombres premiers négatives ; ceci est une restriction inoffensive.
• Il n'y a probablement pas de raison réelle de restreindre aux polynômes à coefficients entiers, plutôt qu'aux polynômes à valeurs entières.
• La condition de n'avoir pas de diviseur fixé premier est vérifiable par des méthodes effectives, puisqu'il y a une base explicite pour les polynômes à valeurs entières.
• La condition de ne pas avoir de diviseur premier fixé est purement locale (dépendant des nombres premiers). En ces termes, la conjecture est que pour un ensemble fini de polynômes à valeurs entières irréductibles, la seule éventuelle obstruction à prendre une infinité de fois des valeurs toutes premières est cette obstruction locale.

Exemple

Mentionnons l'exemple simple de

qui n'a pas de diviseur fixé premier. Par conséquent, nous pouvons nous attendre à ce qu'il y ait une infinité de nombres premiers de la forme . Mais cette conjecture elle-même, qui fait partie des problèmes de Landau, n'a pas été prouvée.

Prospective

La conjecture n'est probablement pas accessible avec les méthodes actuelles de la théorie analytique des nombres, mais elle est maintenant relativement utilisée pour prouver des résultats conditionnels (en), par exemple en géométrie diophantienne. Le résultat conjecturel semble tellement fort par nature qu'il est possible qu'il s'avère trop optimiste.

Variante

La conjecture de Goldbach n'est pas impliquée par celle-ci, mais par une variante, l' hypothèse H_N, citée dans Sieve Methods, de Halberstam et Richert. Celle-ci requiert un polynôme supplémentaire F(x), qui dans le problème de Goldbach serait simplement x, pour lequel on demande que

soit aussi un nombre premier.

L'énoncé de la conjecture est : si N est suffisamment grand, et si

n'a pas de diviseur fixé > 1, alors il existe n tel que soit à la fois positif et premier et tel que les soient tous premiers.

Il n'y a pas beaucoup de cas résolus de ces conjectures ; mais il existe une théorie quantitative détaillée (la conjecture de Bateman-Horn).

Un analogue faux

La conjecture analogue avec l'anneau des entiers remplacé par l'anneau des polynômes à une variable sur un corps fini est fausse.

Par exemple, Swan (de) remarqua en 1962 (pour des raisons non liées à l'Hypothèse H) que le polynôme sur l'anneau [u] est irréductible et ne possède pas de diviseur (polynomial) premier fixé (ses valeurs en x = 0 et x = 1 sont des polynômes premiers entre eux) mais toutes ses valeurs quand x parcourt [u] sont composées.

Des exemples similaires peuvent être trouvés avec remplacé par n'importe quel corps fini ; les obstructions dans une formulation correcte de l'Hypothèse H sur F[u], où F est un corps fini, ne sont plus simplement locales et une nouvelle obstruction apparaît, sans parallèle classique (si tant est que la conjecture soit vraie dans le cas classique).

Référence

Andrzej Schinzel et Wacław Sierpiński, Sur certaines hypothèses concernant les nombres premiers, dans Acta Arith. 4 (1958), 185-208

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Schinzel's hypothesis H » (voir la liste des auteurs)

• Portail des mathématiques