🔢 mathematics

Irrationality of finite logarithms in a congruence-class adèle ring

Cet article étend les résultats précédents sur l'irrationalité des logarithmes finis dans l'anneau d'adèles du « pauvre homme » aux nombres premiers restreints à des progressions arithmétiques spécifiques et démontre, sous la condition de la conjecture abc, que ces logarithmes ne peuvent être des irrationnels quadratiques.

Auteurs originaux : Daniel Evans

Publié 2026-07-31

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Daniel Evans

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez le monde des nombres non pas comme une simple ligne droite s'étendant de l'infini négatif à l'infini positif, mais comme une vaste cité multidimensionnelle. Dans cette cité, les nombres rationnels familiers (comme 1/2, 3 ou -7/4) sont les rues principales que tout le monde connaît. Mais les mathématiciens ont construit un quartier spécial, légèrement chaotique, appelé le « anneau des adèles du pauvre homme ». Imaginez ce quartier comme une immense bibliothèque où chaque livre représente un nombre premier différent (2, 3, 5, 7, 11, et ainsi de suite). Pour vivre dans ce quartier, un nombre doit posséder un « passeport » pour chaque nombre premier, montrant ce qu'il devient lorsqu'on le divise par ce nombre premier. C'est un endroit où nous pouvons étudier comment les nombres se comportent lorsqu'ils sont passés à travers les filtres minuscules et uniques des nombres premiers.

Dans ce quartier étrange, les mathématiciens ont inventé un outil appelé le « logarithme fini ». Dans le monde normal, un logarithme indique combien de fois vous devez multiplier un nombre de base pour obtenir un résultat (comme le fait de multiplier 2 par lui-même 3 fois pour obtenir 8). Dans cette bibliothèque de nombres premiers, le logarithme fini est un code spécial généré par un processus appelé « quotient de Fermat ». C'est comme prendre un nombre, l'élever à une puissance massive basée sur un nombre premier spécifique, soustraire un, et voir ce qu'il reste après la division par ce nombre premier. La grande question que les mathématiciens se posent est la suivante : « Quel genre de nombres ces codes produisent-ils ? » Sont-ils de simples fractions banales (nombres rationnels), ou sont-ils sauvages, imprévisibles et irrationnels ? Cela importe car comprendre ces codes nous aide à voir la structure cachée et profonde de la manière dont les nombres sont liés les uns aux autres à travers tout l'univers des nombres premiers.

Dans cet article, Daniel Evans examine de plus près ces logarithmes finis, mais avec une nuance. Au lieu de regarder tous les nombres premiers de la bibliothèque, il décide de ne regarder que les nombres premiers qui suivent un ordre de marche spécifique : ceux qui laissent un reste de 1 lorsqu'ils sont divisés par un nombre fixe $m$ (comme les nombres premiers qui sont de 1 de plus qu'un multiple de 3, ou de 1 de plus qu'un multiple de 5). Il appelle cela une « classe de congruence ».

Evans prouve deux choses majeures concernant ces codes restreints. Premièrement, il montre que pour presque n'importe quel nombre de départ que vous choisissez (tant qu'il ne s'agit pas de 1 ou -1), le code du logarithme fini résultant n'est jamais un nombre rationnel non nul et simple. Ce n'est pas seulement une fraction comme 3/4 ou 5/2 ; c'est quelque chose de beaucoup plus complexe qui ne peut être écrit sous la forme d'une fraction unique et nette dans cette bibliothèque spéciale. Deuxièmement, il montre que ces codes ne sont jamais nuls, à condition d'accepter une célèbre conjecture non prouvée en mathématiques appelée la « conjecture abc ». Si cette supposition est vraie, le code ne s'annule jamais.

L'article s'attaque également à une idée légèrement plus complexe : ces codes pourraient-ils être des « irrationnels quadratiques » ? Dans le monde des nombres, un irrationnel quadratique est un nombre qui implique la racine carrée d'un nombre non carré (comme $\sqrt{2}$ ou $\sqrt{3}$ ), qui ne peut pas être écrit sous la forme d'une simple fraction mais suit un schéma spécifique et prévisible. Evans démontre que, là encore, en supposant que la conjecture abc soit vraie, ces logarithmes finis ne sont pas non plus des irrationnels quadratiques. Ils sont encore plus chaotiques et imprévisibles que cela.

Pour parvenir à ces conclusions, Evans utilise un tour de passe-passe mathématique ingénieux impliquant des « polynômes cyclotomiques ». Vous pouvez les considérer comme des filtres spéciaux à plusieurs couches qui trient les nombres en fonction de leur relation avec les racines de l'unité (des nombres imaginaires qui tournent autour de 1). En analysant la manière dont ces filtres se comportent lorsqu'ils sont appliqués aux quotients de Fermat, Evans découvre que si le logarithme était un nombre rationnel simple ou un irrationnel quadratique, cela créerait une contradiction mathématique — comme une pièce de puzzle qui ne s'insère tout simplement pas dans la forme du trou prévu pour elle.

L'article ne se contente pas de dire qu'il est « irrationnel » ; il prouve rigoureusement que ces valeurs ne peuvent pas être des fractions simples et, sous l'hypothèse de la conjecture abc, ne peuvent être ni nulles, ni des nombres simples basés sur des racines carrées. Il étend les travaux précédents qui examinaient tous les nombres premiers à ce groupe spécifique et restreint de nombres premiers en progressions arithmétiques. Le résultat est une carte plus forte et plus raffinée de l'« anneau des adèles du pauvre homme », nous montrant que les logarithmes finis des nombres rationnels sont profondément, fondamentalement irrationnels, se cachant dans l'ombre des nombres premiers là où les schémas simples n'existent pas.

Résumé Technique : Irrationalité des logarithmes finis dans un anneau d'adèles de classe de congruence

Énoncé du Problème
L'article étudie les propriétés arithmétiques des « logarithmes finis » au sein de l'« anneau d'adèles du pauvre » $\mathcal{A}$ , défini comme le produit restreint de $\mathbb{Z}/p\mathbb{Z}$ sur tous les nombres premiers $p$ . Les éléments de cet anneau sont des séquences $(t_p)_{p \in \mathbb{P}}$ où $t_p \in \mathbb{Q}$ , identifiées modulo $p$ pour des nombres premiers suffisamment grands. La fonction logarithme finie $\log_{\mathcal{A}}: \mathbb{Q}^\times \to \mathcal{A}$ est définie via les quotients de Fermat :
$\log_{\mathcal{A}}(\alpha) = (q_p(\alpha) \pmod p)_{p \in \mathbb{P}}, \quad \text{où } q_p(\alpha) = \frac{\alpha^{p-1}-1}{p}.$
Des travaux antérieurs par Matsusaka et Seki ont établi que pour $\alpha \in \mathbb{Q}^\times \setminus \{\pm 1\}$ , $\log_{\mathcal{A}}(\alpha)$ n'est jamais un élément rationnel non nul dans $\mathcal{A}$ . De plus, Silverman a montré (sous réserve de la conjecture $abc$) que $\log_{\mathcal{A}}(\alpha) \neq 0$ .

Le problème central traité ici est d'étendre ces résultats d'irrationalité et de non-annulation aux ensembles restreints de nombres premiers, plus précisément aux nombres premiers restreints aux progressions arithmétiques de la forme $p \equiv 1 \pmod m$ pour un entier $m \ge 1$ fixé. L'objectif est de déterminer si $\log_{\mathcal{A}}(\alpha)$ peut prendre des valeurs rationnelles ou s'annuler dans l'anneau restreint $\mathcal{A}(m)$ , et d'analyser le « degré de récurrence » de ces logarithmes, en particulier s'ils peuvent être des éléments irrationnels quadratiques.

Méthodologie
L'article emploie une combinaison de la théorie des polynômes cyclotomiques et des techniques classiques de preuve d'irrationalité adaptées au cadre des adèles.

Constructions Cyclotomiques : L'auteur relie les quotients de Fermat aux valeurs des polynômes cyclotomiques $\Phi_n(u, v)$ et de leurs dérivées partielles. Une identité clé utilisée est la forme homogénéisée $\Phi_n(X^p, Y^p) = \Phi_n(X, Y)\Phi_{np}(X, Y)$ .
Analyse de Congruence : En analysant les facteurs premiers de $\Phi_n(u, v)$ , l'article établit que si un nombre premier $p$ divise $\Phi_n(u, v)$ (avec $p \nmid n$ ), alors $p \equiv 1 \pmod n$ . Cette propriété est cruciale pour restreindre l'analyse à la classe de congruence $p \equiv 1 \pmod m$ .
Contradiction via des Suites de Vanishing (Annulation) : Pour prouver l'irrationalité (Théorème 1.2(i)), l'auteur suppose que $\log_{\mathcal{A}(m)}(\alpha)$ est rationnel. Cette hypothèse permet la construction d'une suite d'entiers non nuls dérivés des valeurs de $\Phi_{m\ell}(u, v)$ et de leurs dérivées. La preuve démontre que cette suite, lorsqu'elle est normalisée, tend vers zéro lorsque le nombre premier auxiliaire $\ell \to \infty$ , ce qui produit une contradiction.
Application de la Conjecture $abc$ : Pour prouver la non-annulation (Théorème 1.2(ii)), l'article adapte la méthode de Silverman. Il utilise la conjecture $abc$ pour borner la « partie puissante » de $u^n - v^n$ . En montrant que les valeurs cyclotomiques croissent trop rapidement pour être « puissantes » (carré-pleines) sous l'hypothèse que le logarithme s'annule, une contradiction est atteinte.
Classification du Degré de Récurrence : L'article définit le degré de récurrence $\deg_{\mathcal{A}}(t)$ comme l'ordre minimal d'une récurrence linéaire à coefficients rationnels satisfaite par la séquence représentant $t \in \mathcal{A}$ . Il classifie les éléments de degré $\le 2$ en utilisant des caractères de Dirichlet quadratiques.

Contributions Clés et Résultats

Extension aux Classes de Congruence (Théorème 1.2) : L'article prouve que pour tout $\alpha \in \mathbb{Q}^\times \setminus \{\pm 1\}$ et $m \ge 1$ :
- (i) $\log_{\mathcal{A}(m)}(\alpha)$ n'est pas un nombre rationnel non nul dans l'anneau restreint $\mathcal{A}(m)$ .
- (ii) En supposant la conjecture $abc$, $\log_{\mathcal{A}(m)}(\alpha) \neq 0$ dans $\mathcal{A}(m)$ .
- Note : La restriction $p \equiv 1 \pmod m$ est intrinsèque à la méthode cyclotomique utilisée ; l'auteur note que forcer d'autres classes de résidus $p \equiv b \pmod m$ (où $b \not\equiv 1$ ) n'est pas amenable à cette approche spécifique.
Irrationalité Quadratique (Théorème 1.3) : L'article examine si les logarithmes finis peuvent être « quadratiques » dans le sens d'avoir un degré de récurrence $\le 2$ .
- Il est montré que si $\deg_{\mathcal{A}}(\log_{\mathcal{A}}(\alpha)) \le 2$ , alors $\log_{\mathcal{A}}(\alpha)$ doit prendre la forme spécifique $r(1 - (\frac{D}{p}))_p$ pour un certain $r \in \mathbb{Q}$ et un entier sans facteur carré $D$ .
- Crucialement, en supposant la conjecture $abc$, l'article prouve que $\deg_{\mathcal{A}}(\log_{\mathcal{A}}(\alpha)) > 2$ . Cela implique que les logarithmes finis ne peuvent pas être des éléments irrationnels quadratiques dans $\mathcal{A}$ .
Généralisation aux Extensions Abéliennes (Remarque 4.2) : L'argument est étendu pour suggérer que si le corps de décomposition du polynôme caractéristique d'une récurrence est abélien, le logarithme ne peut pas appartenir à l'image de cette récurrence (là encore, en supposant la conjecture $abc$).

Signification et Revendications
L'article prétend étendre les résultats d'irrationalité connus de Matsusaka, Seki et Silverman de l'anneau d'adèles complet vers des anneaux restreints à des progressions arithmétiques spécifiques. Cela est significatif car cela démontre la robustesse de l'irrationalité des logarithmes finis même lorsque l'ensemble de nombres premiers sous-jacent est aminci à une densité de $1/\phi(m)$ .

De plus, ce travail relie l'arithmétique des quotients de Fermat à la théorie des nombres algébriques finis (au sens de Rosen). En prouvant que $\log_{\mathcal{A}}(\alpha)$ ne peut pas être un élément quadratique (et plus généralement, ne peut pas appartenir à l'image de récurrences ayant des corps de décomposition abéliens), l'article fournit des preuves soutenant la conjecture plus large selon laquelle les logarithmes finis sont « naïvement transcendants » (c'est-à-dire qu'ils ne sont pas algébriques au sens où ils satisfont des récurrences linéaires). L'auteur note avec modestie que le cas non abélien reste ouvert en raison de l'absence d'une approche cyclotomique directe pour les classes de résidus autres que l'identité.

Articles similaires