🔢 mathematics

Integers that are sums of two cubes in the cyclotomic $\mathbb{Z}_p$ -extension

Cet article étudie la résolubilité de l'équation $n=x^3+y^3$ au sein de l'extension cyclotomique $\mathbb{Z}_p$ de $\mathbb{Q}$ pour des entiers sans facteur cube $n$ qui ne sont pas des sommes de cubes rationnels, démontrant que de tels entiers ne peuvent pas être exprimés comme sommes de deux cubes dans certaines grandes familles d'extensions cycliques de $\mathbb{Q}$ de degré premier.

Auteurs originaux : Anwesh Ray

Publié 2026-07-08

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Anwesh Ray

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 avez un nombre, appelons-le $n$ . Vous voulez savoir si vous pouvez construire ce nombre en additionnant deux cubes parfaits (comme $1^3 + 2^3 = 9$ ).

Parfois, vous pouvez y parvenir en utilisant des fractions simples (des nombres rationnels). Par exemple, le nombre 6 peut s'écrire comme la somme de deux cubes : $(17/21)^3 + (37/21)^3$ . Mais parfois, peu importe vos efforts avec les fractions, vous n'y parvenez tout simplement pas.

Cette publication pose une question très spécifique : Si vous ne pouvez pas construire le nombre $n$ en utilisant des fractions, pourriez-vous le construire si vous étiez autorisé à utiliser un ensemble de nombres beaucoup plus exotique et infini ?

La « Tour Infinie » de Nombres

Pour comprendre la réponse de l'auteur, vous devez imaginer un type spécial de système de nombres appelé l'extension cyclotomique $\mathbb{Z}_p$ .

Considérez les nombres rationnels (les fractions) comme le rez-de-chaussée d'un bâtiment. L'auteur examine une tour infinie construite au-dessus de ce rez-de-chaussée. Cette tour est construite en empilant couche après couche des extensions « cycliques premières ».

Le Rez-de-chaussée : Les nombres standards que nous utilisons chaque jour ( $\mathbb{Q}$ ).
La Tour Infinie : Un escalier sans fin de nouveaux systèmes de nombres ( $\mathbb{Q}^{(p)}_\infty$ ) générés par un nombre premier spécifique (où $p \ge 5$ ).

La question est la suivante : Si un nombre $n$ est impossible à construire sur le rez-de-chaussée, est-il possible de le construire quelque part plus haut dans cette tour infinie ?

La Découverte Principale

L'auteur, Anwesh Ray, prouve un « Non » très catégorique.

L'Affirmation : Si un nombre $n$ ne peut pas être écrit comme la somme de deux cubes en utilisant des fractions standards, alors il ne peut pas non plus être écrit comme la somme de deux cubes en utilisant des nombres issus de cette tour infinie spécifique — à condition de choisir le bon « nombre premier » ( $p$ ) pour construire la tour.

C'est comme dire : « Si vous ne pouvez pas faire entrer un pion carré dans un trou rond sur le rez-de-chaussée, vous ne pourrez pas non plus le faire entrer, même si vous continuez à construire la pièce de plus en plus haut, tant que vous suivez ces règles de construction spécifiques. »

Comment ils ont prouvé cela (Le travail de détective)

L'auteur n'a pas seulement deviné ; il a utilisé une boîte à outils mathématique sophistiquée appelée Théorie d'Iwasawa. Voici une analogie de son fonctionnement :

Le Détective de la Courbe Elliptique : L'équation $n = x^3 + y^3$ est liée à une forme appelée « courbe elliptique ». Voyez cette courbe comme une carte. Si la carte possède une certaine propriété (un « rang » supérieur à zéro), cela signifie que le nombre $n$ peut être construit. Si le rang est nul, il ne le peut pas.
Le Moniteur de Croissance : L'auteur étudie comment ce « rang » change à mesure que l'on monte dans la tour infinie. Dans de nombreux cas, les rangs peuvent croître à mesure que l'on ajoute des couches à la tour.
Le Panneau « STOP » : En utilisant des théorèmes profonds de mathématiciens comme Kato et Rubin, l'auteur montre que pour un ensemble spécifique de nombres premiers (environ la moitié de tous les nombres premiers), le « rang » de la courbe reste bloqué à zéro tout au long de la tour infinie.
Le Résultat : Puisque le rang reste à zéro, le nombre $n$ demeure impossible à construire, peu importe la hauteur de la tour.

La « Grande Famille » de Nombres Premiers

L'article montre également que ce n'est pas un simple coup de chance pour un nombre premier spécifique. Il existe une « grande famille » de nombres premiers (plus précisément 50 % de tous les nombres premiers) pour lesquels cette règle est vraie. Si vous choisissez un nombre premier de cette famille, l'« impossibilité » de construire le nombre $n$ est permanente, même dans ces extensions infinies.

Un Exemple Concret

L'article donne un exemple concret avec le nombre 3.

Nous savons que 3 ne peut pas être écrit comme la somme de deux cubes rationnels.
L'auteur choisit le nombre premier 7.
Ils prouvent que même si l'on monte dans la tour infinie construite sur le nombre premier 7, on ne peut toujours pas écrire 3 comme la somme de deux cubes.
Ils étendent même cela à un « voisinage » spécifique (une extension de Galois) construit au-dessus de cette tour, montrant que le nombre 3 reste impossible à construire là aussi.

Résumé

En termes simples : Certains nombres sont têtus. S'ils refusent d'être la somme de deux cubes dans notre monde normal de fractions, ils continueront de refuser cette tâche même si nous élargissons notre univers mathématique dans ces tours spécifiques, infinies et basées sur les nombres premiers. L'auteur a identifié exactement quelles « clés » (nombres premiers) verrouillent la porte sur ces solutions pour toujours.

Résumé technique : Entiers qui sont des sommes de deux cubes dans l'extension cyclotomique $\mathbb{Z}_p$

Énoncé du problème
L'article étudie la solvabilité de l'équation diophantienne $n = x^3 + y^3$ où $n$ est un entier naturel sans cube (cubefree) et $x, y$ appartiennent à des extensions algébriques infinies spécifiques de $\mathbb{Q}$ . Bien que la densité des entiers naturels représentables comme une somme de deux cubes rationnels soit conjecturée à $1/2$ , ce travail se concentre sur le cas complémentaire : en supposant que $n$ n'est pas une somme de deux cubes rationnels, sous quelles conditions $n$ demeure-t-il non représentable comme une somme de deux cubes dans des corps plus larges ? Plus précisément, l'auteur étudie l'extension cyclotomique $\mathbb{Z}_p$ de $\mathbb{Q}$ , notée $\mathbb{Q}^{(p)}_\infty$ , ainsi que certaines extensions cycliques de $\mathbb{Q}$ de degré premier.

Méthodologie
L'approche repose sur la théorie d'Iwasawa des courbes elliptiques et l'arithmétique des groupes de Selmer.

Correspondance avec les courbes elliptiques : L'équation $n = x^3 + y^3$ est associée à la courbe elliptique $E_n : x^3 + y^3 = nz^3$ , qui est isomorphe à la forme de Weierstrass $y^2 = x^3 - 432n^2$ . L'existence d'une solution dans un corps $L$ est équivalente au fait que le rang de $E_n(L)$ soit positif, étant donné que $E_n$ ne possède pas de points de torsion rationnels non triviaux.
Théorie d'Iwasawa : L'auteur analyse la croissance du rang de $E_n$ au sein de la tour de corps définissant l'extension $\mathbb{Z}_p$ -cyclotomique. Cela implique l'étude du groupe de Selmer $p$ -primaire $S_{p^\infty}(E_n/\mathbb{Q}^{(p)}_\infty)$ et de son dual de Pontryagin en tant que module sur l'algèbre d'Iwasawa $\Lambda = \mathbb{Z}_p[[T]]$ .
Invariants et vanité : Le mécanisme technique central consiste à démontrer que les invariants $\mu$ et $\lambda$ d'Iwasawa du groupe de Selmer s'annulent pour un ensemble spécifique de nombres premiers $p$ . La vanité de ces invariants implique que le groupe de Selmer sur l'extension infinie est trivial (ou fini), ce qui force en retour le rang de la courbe elliptique sur l'extension infinie à être nul.
Descente vers les extensions finies : Pour étendre les résultats des tours cyclotomiques infinies aux extensions cycliques de degré premier finies $L/\mathbb{Q}$ , le papier utilise un analogue de la formule de Kida (due à Hachimori et Matsuno) pour contrôler la croissance des invariants d'Iwasawa dans les $p$ -extensions.

Contributions clés et résultats

Théorème 1.2 (Non-solvabilité dans $\mathbb{Q}^{(p)}_\infty$ ) :
Soit $n$ un entier naturel sans cube qui n'est pas exprimable comme une somme de deux cubes rationnels. Soit $S$ l'ensemble des nombres premiers $p \geq 5$ satisfaisant :
(a) $E_n$ possède une réduction ordinaire bonne en $p$ ;
(b) La $p$ -torsion du groupe de Tate-Shafarevich $\text{X}(E_n/\mathbb{Q})[p]$ est triviale ;
(c) $p$ ne divise pas l'ordre de la courbe réduite $\# \tilde{E}_n(\mathbb{F}_p)$ .

Le papier prouve que $S$ a une densité naturelle de $1/2$ . De plus, pour tout $p \in S$ , $n$ ne peut pas être écrit sous la forme $x^3 + y^3$ avec $x, y \in \mathbb{Q}^{(p)}_\infty$ . Ce résultat repose sur la finitude du groupe de Tate-Shafarevich et sur les travaux de Kato et Rubin concernant la propriété de cotorsion des groupes de Selmer.
Théorème 1.3 (Non-solvabilité dans les extensions cycliques de degré premier) :
L'auteur étend le résultat à des extensions de Galois finies $L/\mathbb{Q}$ dont le groupe de Galois est $G \simeq \mathbb{Z}/p\mathbb{Z}$ (où $p > 7$ et $p \in S$ ). Sous les conditions que les nombres premiers ramifiés $\ell$ ne divisent pas $6pn$ et que $\tilde{E}_n(\mathbb{F}_\ell)[p] = 0$ , le papier affirme que $n$ n'est pas une somme de deux cubes dans $L$ . Ceci est réalisé en démontrant que les invariants d'Iwasawa restent triviaux lors du passage de $\mathbb{Q}^{(p)}_\infty$ à $L^{(p)}_\infty$ .
Exemple explicite :
Le papier illustre la théorie avec $n=3$ . Puisque $3$ n'est pas une somme de cubes rationnels, et que le nombre premier $p=7$ satisfait les conditions du Théorème 1.2 (réduction ordinaire bonne, $p$ -torsion triviale dans Sha, et $7 \nmid \#\tilde{E}_3(\mathbb{F}_7)$ ), le papier conclut que $3$ n'est pas une somme de deux cubes dans l'extension $\mathbb{Z}_7$ -cyclotomique de $\mathbb{Q}$ . Il applique ensuite le Théorème 1.3 à une extension spécifique $\mathbb{Z}/7\mathbb{Z}$ contenue dans $\mathbb{Q}(\mu_{29})$ .

Signification et affirmations
Le papier affirme fournir des conditions sous lesquelles la non-représentabilité d'un entier comme somme de deux cubes rationnels est préservée dans de grandes familles d'extensions cycliques de degré premier et dans l'extension cyclotomique $\mathbb{Z}_p$ . La signification réside dans le pont jeté entre les problèmes diophantiens (sommes de cubes) et les propriétés structurelles des groupes de Selmer en théorie d'Iwasawa.

L'auteur note que l'hypothèse $p \geq 5$ est nécessaire en raison de l'exigence d'une réduction ordinaire bonne, car les courbes $E_n$ ont une mauvaise réduction en 2 et 3. Le papier présente modestement sa contribution comme établissant la non-solvabilité pour "certaines grandes familles" d'extensions, plutôt que comme une affirmation universelle pour toutes les extensions. Il souligne que, bien que l'ensemble des nombres premiers où le résultat est vrai ait une densité de $1/2$ (au sein de l'ensemble de tous les nombres premiers), cela est une conséquence directe de la densité des nombres premiers ayant une réduction ordinaire bonne pour les courbes possédant une multiplication complexe. Le travail ne prétend pas résoudre le problème général pour tout $n$ ou pour toutes les extensions, mais offre un cadre rigoureux utilisant les invariants d'Iwasawa pour exclure des solutions dans des contextes spécifiques et bien définis.