The Riemann Hypothesis is false

1. Problématique

Le papier aborde l'une des conjectures les plus célèbres et non résolues des mathématiques : l'Hypothèse de Riemann (HR).

• L'objectif : Déterminer la valeur de $\Theta$, définie comme le supremum des parties réelles des zéros non triviaux $\rho = \sigma + i\gamma$ de la fonction zêta de Riemann $\zeta(s)$.
• La conjecture : L'Hypothèse de Riemann postule que $\Theta = 1/2$ (tous les zéros non triviaux se trouvent sur la ligne critique $\Re(s) = 1/2$).
• La thèse de l'auteur : L'auteur affirme démontrer rigoureusement que $\Theta = 1$, ce qui implique l'existence d'une infinité de zéros situés hors de la ligne critique, et donc la fausseté de l'Hypothèse de Riemann.

2. Méthodologie

L'approche de l'auteur repose sur une analyse fine de la distribution des zéros via des formules explicites et des approximations de polynômes de Dirichlet. La preuve s'articule autour des éléments suivants :

• Outils principaux :

  • La formule explicite de Landau-Gonek (utilisée sous la forme du Lemme 2, théorème 1 de [3]), qui relie les sommes sur les zéros de $\zeta(s)$ aux coefficients de von Mangoldt $\Lambda(n)$.
  • L'approximation de $\zeta(s)$ par des polynômes de Dirichlet (Lemme 1, théorème 4.11 de Titchmarsh [7]).
  • L'équation fonctionnelle de $\zeta(s)$ et ses dérivées logarithmiques.
  • Des techniques d'estimation de sommes exponentielles (méthode de la phase stationnaire, lemme de van der Corput) pour contrôler les termes d'erreur oscillants.

• Stratégie de la preuve (Contre-exemple par l'absurde) :

  1. L'auteur considère un grand intervalle $[T, H]$ avec $H \approx 2T$.
  2. Il calcule une somme double : d'abord sur les entiers $n$ (via des polynômes de Dirichlet), puis sur les zéros $\rho$ situés dans la bande $T \le \gamma \le H$.
  3. Calcul direct (Côté Zéros) : En utilisant le Lemme 2, l'auteur exprime la somme $\sum (2n)^{\rho-1}$ en fonction de $\Lambda(2n)$. Si l'on suppose $\Theta < 1$, cette somme devrait être bornée par $O(T^{\Theta} \log T)$.
  4. Calcul via les formules explicites (Côté Coefficients) : En utilisant l'intégrale de contour et la dérivée logarithmique $\zeta'/\zeta$, l'auteur développe une expression asymptotique détaillée pour la même somme. Il sépare les termes en fonction de la proximité de $2n$ et $m$ (les indices de la somme sur les nombres premiers).
  5. Analyse des termes principaux : L'auteur effectue un calcul asymptotique précis des termes oscillants impliquant $\Lambda(m)$ et des fractions $\{T/2\pi m\}$. Il montre que la somme principale ne s'annule pas et conduit à un terme dominant de l'ordre de $O(T)$.
  6. La contradiction : Le résultat asymptotique obtenu ($O(T)$) contredit la borne supérieure imposée par l'hypothèse $\Theta < 1$ ($O(T^{\Theta} \log T)$). Par conséquent, l'hypothèse $\Theta < 1$ est fausse, ce qui force $\Theta = 1$.

3. Résultats Clés

• Théorème 1 : $\Theta = 1$. Cela signifie qu'il existe une infinité de zéros de $\zeta(s)$ dont la partie réelle est arbitrairement proche de 1.
• Corollaire 1 : Il existe une suite infinie de zéros de $\zeta(s)$ dont les parties réelles convergent vers 1.
• Remarque 1 : Pour tout $T$ rationnel suffisamment grand, il existe un zéro $\rho_T$ dans la bande $[T, 2T+1]$ tel que $\Re(\rho_T) = 1 - o(1)$.

4. Contributions Techniques

La contribution principale réside dans la manipulation délicate des termes d'erreur dans la formule de Landau-Gonek.

• L'auteur insiste sur le fait que l'approche nécessite de ne pas borner naïvement les termes $(2n)^{it}$ par 1.
• Il développe une estimation fine des sommes de la forme $\sum \frac{\Lambda(m)}{m} \sum \frac{(2n)^{iT}}{\log(2n/m)}$ en utilisant des développements asymptotiques précis pour les cas où $2n$ est proche de $m$ (en posant $2n = m \pm r$).
• L'utilisation de la propriété de distribution des nombres premiers via la fonction $\Lambda(m)$ et la constante d'Euler-Mascheroni $B$ permet d'extraire un terme principal non nul qui brise l'équilibre attendu sous l'hypothèse de Riemann.

5. Limites et Discussion (Pourquoi cela ne s'applique pas aux autres zêtas)

L'auteur aborde explicitement pourquoi son argument ne réfute pas les analogues de l'Hypothèse de Riemann pour les fonctions zêta de Weil ou de Beurling :

• Fonctions de Beurling : Ces systèmes de nombres généralisés ne satisfont pas nécessairement l'équation fonctionnelle classique ni le Lemme 1 (Théorème 4.11 de Titchmarsh) utilisé pour l'approximation de $\zeta(s)$. De plus, les analogues de l'HR sont connus pour être vrais dans certains systèmes de Beurling.
• Fonctions de Weil : L'argument repose sur des propriétés spécifiques de l'équation fonctionnelle et de la structure des zéros qui ne se généralisent pas directement aux variétés algébriques sur les corps finis (où l'HR est prouvée).
• Limite de la méthode : L'auteur note que sa méthode ne permet pas de donner une borne inférieure précise pour $\Theta_T$ (le supremum local) car elle dépend de la validité du Lemme 1 pour $\sigma \to 0$, ce qui n'est pas garanti par les preuves classiques (comme celle de Titchmarsh) qui nécessitent $\sigma \ge \sigma_0 > 0$.

6. Signification et Statut

• Signification potentielle : Si la preuve était correcte, elle représenterait l'une des découvertes les plus importantes de l'histoire des mathématiques, invalidant l'Hypothèse de Riemann et modifiant radicalement notre compréhension de la distribution des nombres premiers.
• Contexte critique (Note importante) : Il est crucial de noter que ce manuscrit porte le numéro d'arXiv 2006.12546v49 et est classé sous la catégorie math.GM (General Mathematics). Dans la communauté mathématique, la catégorie math.GM sur arXiv est souvent utilisée pour des travaux qui ne respectent pas les standards rigoureux de la recherche mathématique établie ou qui contiennent des erreurs fondamentales.
  • L'Hypothèse de Riemann est vérifiée numériquement pour des billions de zéros.
  • Aucune preuve de sa fausseté n'est acceptée par la communauté.
  • La complexité technique de la preuve (notamment les manipulations de sommes doubles et les termes d'erreur) est susceptible de contenir des erreurs subtiles dans les estimations asymptotiques, ce qui est fréquent dans les tentatives de résolution de ce problème.

Conclusion du résumé : Le papier prétend démontrer que $\Theta = 1$ en utilisant une analyse asymptotique sophistiquée des formules explicites de Landau-Gonek. Cependant, en raison de la nature du problème et de la classification du document, cette affirmation doit être considérée avec un scepticisme extrême jusqu'à ce qu'elle soit validée par un examen par les pairs dans une revue mathématique de premier plan.