Bateman-Horn, polynomial Chowla and the Hasse principle with probability 1

Résumé technique : Bateman–Horn, Chowla polynomial et le principe de Hasse avec probabilité 1

Énoncé du problème
L'article aborde trois problèmes fondamentaux en théorie analytique des nombres concernant le comportement de fonctions arithmétiques et d'équations diophantiennes lorsqu'elles sont évaluées en des polynômes $f \in \mathbb{Z}[t]$ de degré $d \geq 1$. Plus précisément, les auteurs étudient le comportement moyen de ces objets lorsque les coefficients des polynômes sont choisis au hasard dans un cube combinatoire (une boîte dans l'espace des coefficients).

1. La conjecture de Bateman–Horn : Cette conjecture prédit la densité asymptotique des valeurs premières prises par un polynôme irréductible $f(t)$. Bien qu'établie pour les polynômes linéaires, elle reste hors de portée pour les polynômes fixes de degré $d \geq 2$. L'article vise à établir cette conjecture pour « presque tous » les polynômes d'un degré donné.
2. La conjecture de Chowla polynomiale : Cette conjecture prédit que la fonction de Liouville $\lambda(f(n))$ présente des annulations (les sommes sont $o(x)$) pour tout polynôme $f$ qui n'est pas de la forme $c g(t)^2$. Comme pour la conjecture de Bateman–Horn, ce problème reste ouvert pour les polynômes irréductibles de degré $\geq 2$.
3. Le principe de Hasse intégral pour les formes de norme : L'article étudie la solubilité de l'équation $N_K(\mathbf{x}) = f(t)$ sur les entiers, où $N_K$ est la forme de norme d'un corps de nombres $K/\mathbb{Q}$ et $f(t)$ un polynôme. Le principe de Hasse intégral affirme que la solubilité locale (sur $\mathbb{R}$ et $\mathbb{Z}_p$ pour tout $p$) implique la solubilité globale sur $\mathbb{Z}$. Les auteurs cherchent à déterminer si ce principe vaut pour un polynôme typique $f$.

Méthodologie
L'innovation technique centrale réside dans la réduction du problème de la moyenne de fonctions arithmétiques sur des polynômes aléatoires au problème de l'équidistribution dans les intervalles courts et les progressions arithmétiques.

• L'outil technique clé (Théorème 2.2) : Les auteurs démontrent que si une fonction arithmétique $F(n)$ est bien distribuée dans les progressions arithmétiques (spécifiquement, si ses sommes sur des intervalles $I$ dans les classes résiduelles $u \pmod q$ sont petites pour la « plupart » des modules $q$), alors la somme de $F(f(n))$ sur des polynômes aléatoires $f$ présente des annulations significatives. Ce résultat repose sur une méthode du second moment et une analyse minutieuse de l'anatomie des entiers (diviseurs, nombres lisses) pour traiter la corrélation entre les valeurs des polynômes.
• Équidistribution de $\Lambda$ et $\lambda$ : Pour appliquer l'outil principal, les auteurs établissent que la fonction de von Mangoldt $\Lambda$ et la fonction de Liouville $\lambda$ satisfont les propriétés d'équidistribution requises dans les intervalles courts et les progressions, à l'exclusion d'un ensemble épars de modules « mauvais ». Cela utilise des estimations de densité de zéros pour les fonctions $L$ de Dirichlet et les régions sans zéros de $L(s, \chi)$.
• Formes de norme et comptage localisé : Pour le problème du principe de Hasse, les auteurs construisent une « fonction de comptage localisée » $\hat{N}_c(x)$ qui approxime le nombre de solutions entières à $N_K(\mathbf{x}) = f(t)$. Cette fonction combine un facteur de densité locale (dérivé de la fonction zêta de Dedekind et de la solubilité locale) avec un facteur de densité archimédienne (une intégrale singulière). Ils démontrent que la fonction de comptage réelle $N_c(x)$ est bien approximée par $\hat{N}_c(x)$ en moyenne et que $\hat{N}_c(x)$ est rarement petite.

Contributions et résultats clés

1. Bateman–Horn avec probabilité 1 (Théorèmes 1.2 et 1.4) :

   • Les auteurs démontrent que pour presque tous les polynômes $f$ de degré $d$ avec des coefficients dans un cube combinatoire de côté $H$ (où le terme constant n'est pas fixé à 0), l'asymptotique de Bateman–Horn vaut pour des sommes de longueur $x \asymp H^c$ avec $c < 5/(31d)$.
   • Cela améliore les travaux antérieurs (par exemple, Skorobogatov et Sofos) en permettant à la plage de sommation $x$ d'être polynomiale en $H$ plutôt que logarithmique, et en ne nécessitant une moyenne que sur deux coefficients (dimension du cube $\geq 2$) plutôt que sur tous les coefficients.
   • Corollaire 1.3 : Un polynôme admissible typique prend au moins $H^{5/(31d) - \epsilon}$ valeurs premières.

2. Chowla polynomiale avec probabilité 1 (Théorème 1.5) :

   • L'article établit que pour presque tous les polynômes $f$ de degré $d$, la somme $\sum_{n \leq x} \lambda(f(n))$ est majorée par $x (\log H)^{-A}$ pour $x \in [H^c, 2H^c]$. Cela confirme la conjecture de Chowla polynomiale pour presque tous les polynômes, améliorant les résultats qualitatifs de Teräväinen.

3. Principe de Hasse intégral pour les surfaces de Châtelet généralisées (Théorème 1.6) :

   • Pour l'équation $N_K(\mathbf{x}) = f(t)$, les auteurs démontrent que si $f$ est « admissible » (coefficient dominant positif et localement soluble partout), alors l'équation admet une solution entière avec probabilité 1.
   • Le terme d'erreur dans la proportion de polynômes solubles gagne une puissance arbitraire de $\log H$.
   • Corollaire 1.8 : Pour 100 % des polynômes admissibles, les solutions entières sont denses au sens de Zariski (non contenues dans une union finie de courbes de bas degré).
   • Ce résultat généralise les travaux antérieurs de Derenthal et Wei (qui traitaient des cas spécifiques comme $K=\mathbb{Q}(i)$ et $f$ quadratique) à des corps de nombres arbitraires et des polynômes de degré arbitraire, sans recourir à l'hypothèse de Schinzel.

Portée et affirmations
L'article prétend résoudre le comportement moyen de ces trois grandes conjectures/problèmes simultanément.

• Force des résultats : Les auteurs soulignent que leurs résultats valent pour « presque tous » les polynômes (avec un ensemble exceptionnel de taille $O(\#C / (\log H)^A)$), ce qui est une affirmation plus forte que de prouver des résultats pour une proportion positive de polynômes.
• Indépendance vis-à-vis des hypothèses non prouvées : Contrairement à de nombreux résultats dans ce domaine qui reposent sur l'hypothèse de Schinzel ou l'hypothèse de Riemann généralisée (GRH), ces résultats sont inconditionnels. La plage de $x$ atteinte est comparable à ce que la GRH fournirait (à la constante $c$ près), mais la preuve est inconditionnelle.
• Avance méthodologique : La réduction à l'équidistribution dans les progressions (Théorème 2.2) est présentée comme un outil polyvalent qui découple la difficulté de la fonction arithmétique spécifique (qu'il s'agisse de $\Lambda$, de $\lambda$ ou d'une fonction de représentation de forme de norme) de la difficulté de la structure polynomiale, à condition que la fonction soit bien distribuée.
• Principe de Hasse : L'article met en évidence que pour le principe de Hasse intégral, l'obstruction de Brauer–Manin est la seule obstruction pour 100 % des polynômes admissibles, un résultat qui dépasse le cadre des travaux antérieurs limités à des corps spécifiques ou nécessitant l'hypothèse de Schinzel.

Les auteurs notent que la taille de l'ensemble exceptionnel et l'exposant $c$ sont limités respectivement par les connaissances actuelles sur le théorème de Siegel–Walfisz et les estimations de densité de zéros, et que de nouvelles améliorations dans ces domaines amélioreraient directement les bornes quantitatives de leurs théorèmes.