Sur l'équation de Fermat généralisée $x^{13} + y^{13} = z^n$

Informations fondamentales

• ID de l'article: 2510.12092
• Titre: On the generalized Fermat equation $x^{13} + y^{13} = z^n$
• Auteurs: Alex J. Best, Sander R. Dahmen, Nuno Freitas
• Classification: math.NT (Théorie des nombres)
• Date de publication: 15 octobre 2025
• Lien de l'article: https://arxiv.org/abs/2510.12092

Résumé

Cet article étudie l'équation de Fermat généralisée $x^{13}+y^{13}=z^n$ (où $x,y,z \in \mathbb{Z}$, $\gcd(x,y,z)=1$, $n \in \mathbb{Z}_{\geq 2}$). En combinant plusieurs techniques, notamment les méthodes de formes modulaires, la descente classique, le crible des unités ainsi que les méthodes de Chabauty et de crible de Mordell-Weil sur les corps de nombres, les auteurs démontrent que toutes les solutions de l'équation pour $n=5$ sont triviales (c'est-à-dire satisfont $abc=0$). Sous l'hypothèse de Riemann généralisée (GRH), les auteurs prouvent également qu'il n'existe que des solutions triviales pour $n=7$. De plus, l'article fournit des résultats partiels pour $n$ général, en particulier la preuve que toute solution satisfaisant $13\mid c$ est triviale.

Contexte et motivation de la recherche

Définition du problème

L'équation de Fermat généralisée est une généralisation de l'équation de Fermat classique, de la forme : $x^p + y^q = z^r, \quad x,y,z \in \mathbb{Z}, \quad \gcd(x,y,z) = 1$

Cet article se concentre sur le cas du triplet d'exposants $(13,13,n)$, c'est-à-dire : $x^{13} + y^{13} = z^n, \quad x,y,z \in \mathbb{Z}, \quad \gcd(x,y,z) = 1$

Importance de la recherche

1. Signification théorique : L'équation de Fermat généralisée est un problème central en théorie des nombres, reliant la théorie algébrique des nombres, la géométrie arithmétique et la théorie des formes modulaires
2. Contexte historique : Cette équation a déjà été résolue pour $n=2$ (Bennett-Skinner) et $n=3$ (Bennett-Vatsal-Yazdani)
3. Défis techniques : Avec l'augmentation des exposants, les méthodes traditionnelles font face à des difficultés de calcul et théoriques croissantes

Limitations des méthodes existantes

• Les méthodes techniques isolées sont limitées dans le traitement des exposants plus grands
• La complexité de calcul augmente dramatiquement avec les exposants
• Des méthodes de crible plus raffinées et des outils de théorie des formes modulaires plus puissants sont nécessaires

Contributions principales

1. Résolution complète de cas spécifiques : Détermination complète des solutions pour $n=5$, et résolution du cas $n=7$ sous GRH
2. Résultats généraux : Preuve que pour tous les $n \geq 2$, toute solution satisfaisant $13\mid c$ est triviale
3. Innovation méthodologique : Démonstration de comment combiner efficacement plusieurs techniques modernes pour dépasser les limitations des méthodes traditionnelles
4. Techniques de calcul : Développement d'un crible des unités renforcé, réduisant significativement le nombre de courbes hyperelliptiques à considérer

Explication détaillée des méthodes

Définition de la tâche

Trouver toutes les solutions essentielles (solutions primitives) de l'équation de Fermat généralisée $x^{13} + y^{13} = z^n$, c'est-à-dire les solutions entières $(x,y,z)$ satisfaisant $\gcd(x,y,z) = 1$.

Stratégie globale

Les auteurs adoptent une stratégie de discussion par cas :

1. Cas un : $13 \mid c$ (équivalent à $13 \mid a+b$)
2. Cas deux : $13 \nmid c$

Composantes techniques principales

1. Méthode des courbes de Frey multiples (pour le cas $13 \mid c$)

Pour le cas un, les auteurs utilisent deux courbes de Frey :

• $E_{a,b}$ : définie sur $\mathbb{Q}(\sqrt{13})$
• $F_{a,b}$ : définie sur le sous-corps totalement réel cubique $K$

Résultats clés :

• Proposition 2.1 : La représentation $\rho_{E,p}$ est irréductible
• Proposition 2.2 : Pour $p \geq 5$ et $p \neq 13$, on a $\rho_{E,p} \cong \rho_{Z,p}$, où $Z$ est l'une de $E_{1,-1}$, $E_{1,0}$ ou $E_{1,1}$

2. Réduction des courbes hyperelliptiques (pour le cas $13 \nmid c$)

Utilisation de la factorisation du polynôme $x^{13} + y^{13}$ sur le corps de nombres $K$ : $x^{13} + y^{13} = F \cdot \sigma(F) \cdot \sigma^2(F) \cdot (x+y)$

où $F$ est un polynôme homogène de degré 4. Par la descente classique, le problème se réduit à la détermination des points rationnels sur les courbes hyperelliptiques : $C_{p,e}: Y^2 = eX^p + 4^{p-1}(\rho^2-\rho+1)^p\rho^{-2}$

3. Crible des unités

Premier niveau de crible (sans utiliser l'information des formes modulaires) :

• Pour chaque nombre premier $p$ ($5 \leq p \leq 47$, $p \neq 13$), réduction des unités possibles $e$ à deux
• Incluant $e=1$ (provenant des solutions triviales) et une « unité superflue »

Deuxième niveau de crible (combinant l'information des formes modulaires) :

• Utilisation de l'information du nombre premier auxiliaire $q=19$
• Combinaison avec les propriétés de la courbe de Frey $E_{a,b}/\mathbb{Q}(\sqrt{13})$
• Élimination réussie des unités superflues, en particulier pour $p=5,7$

4. Méthode de Chabauty

Pour $p=5,7$, utilisation de la méthode de Chabauty sur les corps de nombres pour déterminer les points $K$-rationnels sur les courbes hyperelliptiques $C_p$ :

Cas $p=5$ :

• Le rang de la jacobienne $J_5$ est 2
• Application de la méthode de Chabauty sur les corps de nombres de Siksek
• Combinaison avec le crible de Mordell-Weil pour déterminer tous les points rationnels

Cas $p=7$ (sous l'hypothèse GRH) :

• Le rang de la jacobienne $J_7$ est 1
• Application de la méthode de Chabauty standard

Points d'innovation technique

1. Extension de la méthode des courbes de Frey multiples : Généralisation des résultats de la littérature 6 au cas $d=1$
2. Crible des unités renforcé : Réalisation d'un criblage efficace en travaillant localement en $p$ et en utilisant l'information modulo $p^2$
3. Combinaison de méthodes : Exploitation habile des avantages des méthodes de formes modulaires, de descente, de crible et de Chabauty

Théorèmes principaux

Théorème 1.1 (Résultat principal)

Soit $p \in \{5,7\}$, et supposons GRH lorsque $p=7$. Alors l'équation de Fermat généralisée $x^{13} + y^{13} = z^p, \quad x,y,z \in \mathbb{Z}, \quad \gcd(x,y,z) = 1$ n'admet que les solutions triviales : $(\pm 1, \mp 1, 0)$, $(\pm 1, 0, \pm 1)$ et $(0, \pm 1, \pm 1)$.

Théorème 1.2 (Résultat général)

Pour tous les entiers $n \geq 2$, l'équation $x^{13} + y^{13} = z^n, \quad x,y,z \in \mathbb{Z}, \quad \gcd(x,y,z) = 1$ n'admet pas de solutions non triviales satisfaisant $13 \mid c$ (équivalent à $13 \mid a+b$).

Résultats expérimentaux et vérification

Vérification de calcul

• Utilisation du système de calcul Magma pour tous les calculs numériques
• Pour $p=5$ : détermination de $C_5(K) = \{(X_0,\pm Y_0), (X_1,\pm Y_1), \infty\}$
• Pour $p=7$ : détermination sous GRH de $C_7(K) = \{(X_0,\pm Y_0), \infty\}$
• Vérification que les points supplémentaires ne correspondent pas à des solutions de l'équation originale

Efficacité du crible

Le crible des unités s'avère très efficace en pratique :

• Le premier niveau de crible réduit les unités candidates de $O(p^{12})$ à 2
• Le deuxième niveau de crible élimine davantage les unités superflues
• Pour $p=5,7$ ainsi que $11 \leq p \leq 37$ ($p \neq 13$), élimination réussie de toutes les unités superflues

Travaux connexes

Cet article s'appuie sur les travaux importants suivants :

1. Bennett-Skinner (2004) : Résolution du cas $p=2$
2. Bennett-Vatsal-Yazdani (2004) : Résolution du cas $p=3$
3. Billerey et al. (2019,2023) : Développement de la méthode des courbes de Frey multiples et théorie connexe
4. Siksek (2013) : Méthode de Chabauty sur les corps de nombres

Conclusion et discussion

Conclusions principales

1. Résolution complète de l'équation de Fermat généralisée pour les triplets d'exposants $(13,13,5)$ et $(13,13,7)$ (ce dernier nécessitant GRH)
2. Fourniture de résultats partiels importants pour les exposants généraux (cas $13 \mid c$)
3. Démonstration de l'efficacité de la combinaison de plusieurs techniques modernes

Limitations

1. Le résultat pour $n=7$ dépend de l'hypothèse de Riemann généralisée
2. Pour les exposants premiers plus grands, la complexité de calcul reste élevée
3. L'application de certaines techniques (comme Chabauty sur les groupes de Selmer) nécessite un développement ultérieur

Directions futures

1. Tentative de résolution inconditionnelle du cas $n=7$
2. Extension à des exposants premiers plus grands
3. Développement de variantes plus puissantes de la méthode de Chabauty
4. Exploration des applications possibles des variétés de Frey de dimension supérieure

Évaluation approfondie

Avantages

1. Innovation méthodologique : Démonstration réussie de la combinaison organique de plusieurs techniques, fournissant un paradigme pour la résolution de problèmes similaires
2. Profondeur théorique : Implication de plusieurs domaines profonds tels que la théorie algébrique des nombres, la géométrie arithmétique et la théorie des formes modulaires
3. Finesse de calcul : La conception et l'implémentation du crible des unités reflètent une technique de calcul sophistiquée
4. Complétude des résultats : Fourniture de réponses complètes pour les cas considérés

Insuffisances

1. Dépendance d'hypothèses : Le résultat pour $n=7$ nécessite GRH, limitant l'inconditionnalité des résultats
2. Extensibilité : L'applicabilité de la méthode aux exposants plus grands reste à vérifier
3. Complexité technique : La nécessité de combiner plusieurs théories profondément sophistiquées augmente la difficulté de vérification

Portée et impact

1. Valeur académique : Avancement de la frontière de la recherche sur l'équation de Fermat généralisée
2. Contribution méthodologique : Fourniture de nouvelles voies techniques pour les problèmes connexes
3. Signification computationnelle : Démonstration de l'importance des outils de calcul modernes dans la recherche en théorie des nombres

Scénarios d'application

Cette méthode s'applique à :

• Les équations de Fermat généralisées possédant une structure particulière
• Les équations diophantiennes pour lesquelles on peut construire des courbes de Frey appropriées
• Les cas où le crible des unités peut être appliqué efficacement

Références

Cet article cite 21 références importantes, couvrant plusieurs directions de la théorie des formes modulaires, de la géométrie arithmétique et de la théorie computationnelle des nombres, tant classiques que contemporaines, fournissant une base théorique solide pour la recherche.