🔢 mathematics

p-Adically convergent loci in varieties arising from periodic continued fractions

Inspiré par des définitions alternatives des fractions continues $p$ -adiques, cet article étudie les lieux de convergence $p$ -adiques de variétés algébriques représentant des fractions continues périodiques dont les quotients partiels appartiennent à $\mathbb{Z}[1/p]$ et satisfont une équation quadratique, en caractérisant spécifiquement leurs cas de dimension zéro et un.

Auteurs originaux : Laura Capuano, Marzio Mula, Lea Terracini, Francesco Veneziano

Publié 2026-07-13

📖 7 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Laura Capuano, Marzio Mula, Lea Terracini, Francesco Veneziano

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 que vous possédez une machine à nombres magique qui prend une liste de nombres et recrache une fraction infinie. Dans le monde de l'arithmétique normale (le monde « archimédien »), nous savons exactement comment cette machine fonctionne : si vous la nourrissez avec une liste qui se répète indéfiniment, elle finit généralement par se stabiliser sur un nombre spécifique, comme un pendule oscillant jusqu'à son arrêt. C'est l'histoire classique des fractions continues, un récit vieux comme Lagrange.

Mais que se passe-t-il si nous remplaçons notre règle normale par une étrange règle p-adique ? Dans cet univers p-adique, les nombres se comportent comme s'ils étaient façonnés d'une argile différente. Les règles de proximité sont inversées : deux nombres sont « proches » si leur différence est divisible par une puissance élevée d'un nombre premier $p$ . Dans cet univers étrange, la même machine à fractions infinies pourrait tourner follement pour toujours, sans jamais se fixer sur une réponse unique.

Ce papier est une histoire de détective visant à trouver les « adresses » spécifiques (variétés algébriques) où ces machines à fractions p-adiques s'arrêtent réellement de tourner et convergent vers un nombre réel. Les auteurs, Laura Capuano et son équipe, explorent un paysage de formes algébriques (variétés) où chaque point représente une fraction périodique. Leur mission ? Cartographier précisément quels points sont « convergents » et lesquels sont des impasses chaotiques.

La Règle d'Or de la Convergence

L'équipe a découvert une règle simple et stricte (Théorème 3.1) qui agit comme un feu de signalisation pour ces fractions. Pour qu'une fraction périodique se stabilise dans le monde p-adique, deux conditions doivent être remplies :

La Somme doit être Grande : Une combinaison spécifique des nombres périodiques doit être « grande » au sens p-adique (ce qui signifie qu'elle est divisible par une puissance élevée de $p$ ).
Pas de Divisions par Zéro : Une série de vérifications sur les étapes intermédiaires doit garantir que nous ne divisons pas accidentellement par zéro ou que nous ne heurtons pas un mur.

Si ces conditions ne sont pas remplies, la fraction est une cause perdue ; elle ne convergera jamais. Les auteurs prouvent qu'il ne s'agit pas d'une simple supposition, mais d'un fait mathématique rigoureux.

Cartographier le Paysage : Petites Dimensions

Les auteurs se concentrent sur les formes les plus simples de ce paysage, là où les motifs répétitifs sont courts (longueurs de 1, 2 ou 3). Ils agissent comme des cartographes, dessinant les limites de là où la convergence est possible.

La Boucle à une Étape (Type 0,1) : Ici, la fraction se répète simplement sur un seul nombre. Le papier prouve que pour que cela fonctionne, le nombre doit être une valeur rationnelle très spécifique. Si le polynôme définissant la boucle n'a pas de racines dans le monde p-adique, la carte est vide. Aucune racine carrée irrationnelle ne se cache ici ; la machine ne convergera tout simplement pas vers elles.
La Boucle à deux Étapes (Type 0,2) : Lorsque le motif se répète sur deux nombres, les auteurs constatent que la convergence est encore extrêmement rare. Ils montrent que si elle se produit, le produit de ces deux nombres doit être un type très spécifique de carré. Là encore, aucune racine carrée irrationnelle ne peut être la destination ici.
La Boucle à trois Étapes (Type 0,3) : C'est ici que les choses deviennent passionnantes. Lorsque le motif comporte trois nombres, le paysage s'ouvre, mais il reste un désert. Les auteurs prouvent que pour un type spécifique de nombre (les radicaux purs comme $\sqrt{d}$ ), le nombre de fractions convergentes est fini. Ils ne disent pas seulement que c'est « rare » ; ils prouvent qu'il n'existe qu'un nombre limité de solutions, comme chercher quelques clés spécifiques pour une serrure complexe.

La Connexion avec l'Équation de Pell

Pour les boucles à trois étapes impliquant des racines carrées (comme $\sqrt{d}$ ), les auteurs découvrent un lien caché avec les équations de Pell. Ce sont d'antiques puzzles diophantiens (des équations comme $x^2 - dy^2 = n$ ) qui sont étudiés depuis des siècles.

Le papier montre que trouver une fraction p-adique convergente pour $\sqrt{d}$ revient exactement à trouver une solution à une équation de Pell spécifique. C'est un outil puissant car nous savons comment générer des familles de solutions aux équations de Pell en utilisant une « unité fondamentale » (une clé maîtresse). Cependant, les auteurs utilisent cela pour prouver un résultat négatif : même s'il existe des familles infinies de solutions aux équations de Pell, seule une finite d'entre elles satisferont les strictes règles de convergence p-adique.

Ils construisent même des exemples spécifiques. Par exemple, ils montrent comment construire des fractions convergentes pour $\sqrt{10}$ ou $\sqrt{5}$ en utilisant des nombres premiers spécifiques, tout en précisant avec prudence que ce sont des îlots de succès isolés, et non un vaste continent.

Ce qu'ils écartent

Il est crucial de comprendre ce que ce papier ne traite pas.

Pas d'Algorithmes Magiques : Les auteurs déclarent explicitement qu'ils ne recherchent pas un algorithme fixe (comme les célèbres méthodes de Browkin ou de Ruban) qui génère des fractions pour n'importe quel nombre. Au lieu de cela, ils examinent n'importe quelle séquence périodique.
Pas de Racines Carrées Irrationnelles dans les Boucles Simples : Pour les boucles les plus simples (longueurs 1 et 2), le papier prouve qu'il est impossible de converger vers une racine carrée irrationnelle. Si vous tentez de forcer une fraction périodique simple à être égale à $\sqrt{2}$ ou $\sqrt{3}$ dans le monde p-adique, cela ne se produira tout simplement pas.
Pas de Solutions Infinies pour les Cas Simples : Bien que certains cas complexes puissent présenter des familles infinies, les auteurs prouvent que pour les cas de « radicaux purs » (comme $\sqrt{d}$ avec une boucle de 3 étapes), le nombre de solutions est fini.

Le Verdict : Fini et Précis

Les auteurs ne se contentent pas de suggérer que ces points de convergence existent ; ils ont prouvé la finitude des ensembles de solutions pour les cas qu'ils ont étudiés. Ils n'ont pas simplement lancé une simulation informatique pour dire : « Il semble y avoir quelques solutions ». Ils ont utilisé des outils profonds de la géométrie algébrique et de la théorie des nombres pour démontrer que l'ensemble des points convergents est une collection finie de coordonnées spécifiques.

Par exemple, dans le cas de $\sqrt{10}$ avec une boucle de 3 étapes, ils listent explicitement les quelques fractions spécifiques qui fonctionnent, telles que $[13, 9/53, -4]$ . Ils montrent également que pour certains types de nombres (comme ceux divisibles par 4 ou les nombres premiers congrus à -1 mod 4), l'ensemble des solutions est vide — il n'existe aucune fraction convergente.

La Vue d'Ensemble

Ce papier est une carte rigoureuse d'un coin minuscule et complexe de l'univers mathématique. Il nous dit que, bien que le monde p-adique soit rempli de motifs périodiques, ceux qui se stabilisent réellement sur un nombre sont incroyablement exigeants. Ils nécessitent un alignement parfait de conditions algébriques. Les auteurs ont tracé les frontières, prouvé que ces frontières sont finies, et nous ont montré exactement où se trouvent les « zones de sécurité ». Ils n'ont pas trouvé de moyen de faire converger chaque nombre, mais ils ont réussi à identifier les cas rares et spéciaux où la machine p-adique finit enfin par s'arrêter pour donner une réponse claire.

Résumé technique : LOTI DE CONVERGENCE $p$ -ADIQUE DANS LES VARIÉTÉS ISSUES DE FRACTIONS CONTINUES PÉRIODIQUES

Énoncé du problème
L'article étudie la convergence $p$ -adique des fractions continues périodiques (FCP) dont les quotients partiels appartiennent à l'anneau des entiers- $S$ , $\mathbb{Z}[1/p]$ , où $p$ est un nombre premier impair. Alors que la théorie classique (archimédienne) des fractions continues est bien établie — liant la périodicité aux irrationnels quadratiques via le théorème de Lagrange — le cadre $p$ -adique présente des défis distincts. Contrairement au cas classique, il n'existe pas d'algorithme canonique unique pour générer les fractions continues $p$ -adiques (des algorithmes de Ruban, Browkin ou Schneider existent, mais ne sont pas uniques). Par conséquent, les auteurs ne restreignent pas leur étude à des expansions générées par un algorithme spécifique. Au lieu de cela, ils adoptent une perspective géométrique inspirée de Brock, Elkier et Jordan (BEJ21), qui ont défini des variétés algébriques dont les points représentent des fractions continues périodiques formelles satisfaisant une équation quadratique donnée. Le problème central est de caractériser le locus de convergence $p$ -adique de ces variétés : le sous-ensemble de points correspondant à des fractions continues qui convergent par rapport à la valeur absolue $p$ -adique plutôt qu'archimédienne.

Méthodologie
Les auteurs emploient une synthèse de géométrie algébrique, d'arithmétique et de la théorie des récurrences linéaires et des équations de Pell.

Cadre géométrique : Ils utilisent les variétés $V(F)_{N,k}$ , où $F(x) = Ax^2 + Bx + C$ est un polynôme quadratique, et $(N, k)$ désigne les longueurs de la pré-période et de la période. Les points de ces variétés correspondent à des tuples $(b_1, \dots, b_N, a_1, \dots, a_k)$ représentant la FCP $[b_1, \dots, b_N, \overline{a_1, \dots, a_k}]$ .
Critère de convergence : Un outil pivot est le Théorème 3.1, qui fournit un critère nécessaire et suffisant pour la convergence $p$ -adique d'une fraction continue purement périodique $P = [a_1, \dots, a_k]$ . Le critère repose sur les valeurs propres de la matrice $M(a_1, \dots, a_k)$ associée à la période. Plus précisément, la convergence nécessite que la trace de cette matrice ait une valeur absolue $p$ -adique supérieure à 1, et que des entrées spécifiques des puissances de la matrice satisfassent des inégalités de valuation $p$ -adique strictes.
Analyse par cas : Les auteurs analysent des variétés de petite dimension (où $N+k \leq 3$ $N + k \leq 3$ ). Pour chaque type $(N, k)$ $(N, k)$ , ils :
- Caractérisent l'ensemble des points rationnels $\mathbb{Z}[1/p]$ sur $V(F)_{N,k}$ .
- Appliquent le Théorème 3.1 pour filtrer ces points selon leur convergence $p$ -adique.
- Expriment explicitement les points convergents en termes des coefficients de $F$ lorsque cela est possible.
Connexions diophantiennes : Pour le cas des « radicaux purs » ( $F(x) = x^2 - d$ ) de type $(0, 3)$ , les équations définissant la variété se réduisent à des équations de Pell généralisées. Les auteurs exploitent la théorie des suites de récurrence linéaire et l'action du groupe des unités sur les solutions de Pell pour dériver des résultats de finitude et construire des familles explicites d'expansions convergentes.

Contributions clés et résultats

Critère de convergence général : L'article établit le Théorème 3.1, un critère précis pour la convergence $p$ -adique des fractions périodiques. Il est démontré que ce résultat est distinct des critères suffisants précédents (par exemple, celui de Browkin) et souligne que la convergence dépend des propriétés matricielles de la partie périodique, et non seulement de la pré-période.
Énumération explicite pour les petites dimensions :
- Types (0,1), (1,1), (0,2) : Les auteurs fournissent des caractérisations complètes des locus de convergence. Par exemple, pour le type (0,1), la convergence se produit si et seulement si l'unique point rationnel satisfait une inégalité $p$ -adique spécifique impliquant les coefficients de $F$ .
- Types (2,1), (0,3) : Les auteurs prouvent la finitude du locus de convergence $p$ -adique pour ces types. Pour le type (0,3) avec $F(x) = x^2 - d$ , l'ensemble des points convergents est fini pour tout $d$ fixé.
- Type (1,2) : Le locus de convergence est montré comme étant fini, et l'article fournit des conditions sous lesquelles il est non vide, en lien avec la réductibilité de $F$ et des valuations $p$ -adiques spécifiques.
Construction de familles explicites :
- Pour $F(x) = x^2 - d$ avec $d = a^2 + 1$ , les auteurs construisent des familles infinies de FCP $p$ -adiquement convergentes de type (0,3) en identifiant des puissances de nombres premiers au sein de séquences de récurrence linéaire spécifiques (liées aux polynômes de Tchebychev).
- Ils construisent des expansions périodiques convergentes explicites pour les racines carrées d'une infinité d'entiers, incluant des formes telles que $\sqrt{p^2+1}$ et $\sqrt{a^2+1}$ .
- Dans le cas du type (1,3), ils fournissent des familles explicites d'expansions convergentes pour des irrationnels quadratiques, incluant des exemples comme $\sqrt{10}$ et $\sqrt{p^2+1}$ .
Résultats de non-existence : L'article démontre que pour certains types (par exemple, (0,1) et (0,2)), les racines carrées irrationnelles ne peuvent pas être les limites de FCP convergentes, ce qui est cohérent avec les résultats connus sur les fractions continues de Browkin. Ils identifient également des conditions (par exemple, $d \leq 0$ ou des contraintes modulaires spécifiques) sous lesquelles aucune FCP de type (0,3) n'existe pour $\sqrt{d}$ .

Signification et revendications
L'article affirme fournir la première étude géométrique systématique de la convergence $p$ -adique pour les fractions continues périodiques sans dépendre d'un algorithme de génération fixe. En déplaçant l'attention de la génération algorithmique vers les propriétés géométriques des variétés $V(F)_{N,k}$ , les auteurs parviennent à :

Unifier le traitement de diverses expansions $p$ -adiques sous un cadre algébrique unique.
Dériver des résultats de finitude effectifs pour le nombre d'expansions convergentes pour un irrationnel quadratique donné dans les cas de faible dimension.
Construire des familles explicites et non triviales d'expansions $p$ -adiques convergentes pour les racines carrées d'entiers, démontrant que ces expansions existent pour une infinité d'entiers et de nombres premiers, même lorsqu'elles ne proviennent pas d'algorithmes standards de « fonction partie entière ».

Les auteurs notent que bien que leurs résultats pour les petites dimensions soient explicites, la relation entre les points convergents et le polynôme $F$ devient moins transparente pour les dimensions supérieures. Ils soulignent que leur travail relie la théorie des fractions continues $p$ -adiques à des questions arithmétiques profondes concernant les équations de Pell et les suites de récurrence linéaire, offrant une nouvelle perspective sur la convergence de ces séries formelles.