arxiv: v1 [math.nt] 27 Nov 2014

Transcription

1 Équation de Fermat et nombres premiers inertes Alain Kraus arxiv: v1 [mathnt] 7 Nov 014 Abstract Let K be a number field and p a prime number 5 Let us denote by µ p the group of the pth roots of unity We define p to be K-regular if p does not divide the class number of the field Kµ p Under the assumption that p is K-regular and inert in K, we establish the second case of Fermat s Last Theorem over K for the exponent p We use in the proof classical arguments, as well as Faltings theorem stating that a curve of genus at least two over K has a finite number of K-rational points Moreover, if K is an imaginary quadratic field, other than Q 3, we deduce a statement which allows often in practice to prove Fermat s Last Theorem over K for the K-regular exponents AMS Mathematics Subject Classification : 11D41 Keywords : Fermat s Last Theorem - Number fields Introduction Soient K un corps de nombres et p un nombre premier 5 On dit que le théorème de Fermat est vrai sur K pour l exposant p, s il n existe pas d éléments x,y,z dans K tels que l on ait x p +y p +z p = 0 et xyz 0 A Wiles a démontré en 1994 qu il en est ainsi pour le corps Q [10] Ce résultat a été étendu au corps Q par F Jarvis et P Meein en 004 [7], et tout récemment aux corps Q d avec d sans facteurs carrés, 3 d 3 et d 5,17, par N Freitas et S Sise [4] Dans le cas où K est un corps totalement réel, ils ont aussi démontré que si une certaine condition est satisfaite par K, le théorème de Fermat est vrai sur K pour tout p assez grand [3] Ce sont les principaux résultats obtenus sur l équation de Fermat au cours de ces vingt dernières années Notons µ p le groupe des racines p-ièmes de l unité dans une clôture algébrique de K Adoptons la terminologie selon laquelle p est K-régulier si p ne divise pas le nombre de classes de Kµ p Si p est K-régulier et inerte dans K, on démontre ici le second cas du théorème de Fermat sur K pour l exposant p On utilise pour cela des techniques classiques cf [9],chap 9,si K = Q,ainsi quelethéorèmedeg Faltingssur la finitudede l ensemble des points K-rationnels des courbes définies sur K de genre au moins deux [] Si K est un corps quadratique, F H Hao et C J Parry ont obtenu en 1984 des caractérisations simples des nombres premiers K-réguliers [6] De plus, ils ont établi le second cas du théorème de Fermat sur K pour les exposants K-réguliers et décomposés dans K [5], th 3 Si K est un corps quadratique imaginaire, autre que Q 3, avec 1

2 les résultats obtenus récemment dans [8], on en déduit un énoncé permettant souvent en pratique de démontrer le théorème de Fermat sur K pour les exposants K-réguliers Je remercie D Bernardi pour les conversations que nous avons eues concernant cet article 1 Énoncé des résultats Soient K un corps de nombres, d anneau d entiers O K, et p un nombre premier 5 Théorème Supposons que p soit K-régulier et inerte dans K Alors, il n existe pas de triplets x,y,z d éléments de O K tels que 1 x p +y p +z p = 0, xyz 0, xyo K +po K = O K et p divise z Pour tout n 1, notons W n le résultant des polynômes X n 1 et X +1 n 1 Proposition Supposons que K soit un corps quadratique imaginaire et les deux conditions suivantes satisfaites : 1 il existe n 1 tel que np+1 soit un nombre premier décomposé dans K ne divisant pas n n 1W n p est K-régulier et non ramifié dans K Alors, le théorème de Fermat est vrai sur K pour l exposant p On en déduit par exemple que le théorème de Fermat est vrai sur le corps Qi pour les nombres premiers p < 10 6 qui sont Qi-réguliers [8], cor La liste de ceux plus petits que 100 est 5,7,11,13,17,3,9,41,53,73,83,89,97 Il semble donc que19 soitleplus petitnombre premier pour lequel on nesache pas conclure sur Qi Notations Pour tout corps de nombres N, on notera O N son anneau d entiers Soit ζ un générateur de µ p Posons L = Kµ p, π = 1 ζ et λ = 1 ζ1 ζ 1 Le nombre premier p étant non ramifié dans K et totalement ramifié dans Qµ p, on a K Qµ p = Q On a donc les égalités des degrés [L : K] = p 1 et [L : Kλ] =

3 Par hypothèse, po K est un idéal premier de O K Il est totalement ramifié dans L et πo L est donc l unique idéal premier de O L au-dessus de po K De même λo Kλ est l unique idéal premier de O Kλ au-dessus de po K, et on a l égalité λo L = πo L On notera v λ resp v π la valuation de Kλ resp L associée à λ resp π 3 Principe de démonstration du théorème Soit S l ensemble des quintuplets α, β, γ, µ, n vérifiant les conditions suivantes : 1 α,β,γ sont des éléments de O Kλ non divisibles par λ µ est une unité de O Kλ et n est un entier 3 On a l égalité 3 α p +β p = µ λ n γ p On procède par l absurde en supposant qu il existe un triplet d éléments de O K satisfaisant la condition 1 Cela entraîne que S n est pas vide Soit α,β,γ,µ,n un élément de S On démontre alors qu il existe α,β,γ dans O Kλ, non divisibles par λ, et une unité µ de O Kλ tels que α,β,γ,µ,n 1 soit aussi un élément de S On conclut comme suit Parce que n, on a 4 n 1 > n Soit U un système de représentants des unités de O Kλ modulo les puissances p-ièmes D après la condition 4, l ensemble des quadruplets x,y,z,u tels que l on ait x p +y p = uz p avec x,y,z Kλ et u U est infini L ensemble U est fini, donc il existe u U tel que la courbe d équation x p +y p = uz p possède une infinité de points rationnels sur Kλ Son genre étant au moins deux, cela contredit le théorème de Faltings Ainsi, S est vide, d où une contradiction et le théorème annoncé L essentiel de la suite est consacré à sa démonstration 4 Lemmes préliminaires Supposons désormais qu il existe x,y,z dans O K vérifiant la condition 1 3

4 Lemme 1 L ensemble S n est pas vide Démonstration : Il existe z 1 dans O K, non divisible par p, et un entier a 1 tels que x p +y p = z p = p a z 1 p Par ailleurs, il existe une unité ε Z[λ] telle que l on ait p = ελ p 1 En posant η = ε ap, on obtient p x p +y p = η λ ap 1 z 1 On a p 5, d où Par suite, le quintuplet ap 1 p 1 x,y,z 1,η, ap 1 est dans S, d où le lemme Considérons, pour toute la suite, un élément α,β,γ,µ,n de S D après 3, on a 5 p 1 α+βζ i = µλ n γ p i=0 Lemme Pour tout i = 0,,p 1, on a α+βζ i 0 mod πo L Démonstration : D après 5, π divise l un des α+βζ i et pour tout j on a d où l assertion Posons et pour tous i et j distincts entre 0 et p 1, Lemme 3 On a D = D i,j α+βζ j α+β mod πo L, α+βζ i D i,j = π D = αo L +βo L α+βζ j O L + O L π Démonstration:Soient qun idéal premier nonnul de O L et r un entier 1Supposons que q r divise D i,j Alors, q r divise βζi ζ j π On a i j, donc q r divise β De même, q r 4

5 divise α, ainsi D i,j divise D Inversement, si q r divise D, alors q est distinct de πo L car αβ est premier avec π L égalité πo L D i,j = α+βζ i O L +α+βζ j O L entraîne alors que q r divise D i,j, donc D divise D i,j Lemme 4 Il existe des idéaux b 0,,b p 1 de O L, non divisibles par πo L, premiers entre eux deux à deux, tels que l on ait p 1 np 6 α+βo L = λo L Db p 0, 7 α+βζ i π O L = Db p i pour tout i = 1,,p 1 Démonstration : D après le lemme, α+β appartient à πo L O Kλ qui est λo Kλ Ainsi, l égalité implique α+β 0 mod π O L Pour tout i, on a donc la congruence α+βζ i α1 ζ i mod π O L On a v π α = 0, d où pour tout i = 1,,p 1, v π α+βζ i = 1 D après 5, on obtient v π α+β = np p 1, autrement dit, v λ α+β = np p 1 Il existe donc un idéal a 0 de O L, non divisible par π, tel que α+βo L = λo L np p 1 Da0 De même, pour tout i = 1,,p 1, il existe un idéal a i de O L, non divisible par π, tel que α+βζ i O L = πo L Da i On a ainsi l égalité p 1 λo L np γo L p = α+βζ i O L = πo L p 1 λo L i=0 5 np p 1 D p a 0 a p 1,

6 d où γo L p = D p a 0 a p 1 D après le lemme 3, les idéaux a i sont premiers entre eux deux à deux Chaque idéal a i est donc la puissance p-ième d un idéal b i de O L, d où le lemme On a 5 Les éléments Θ de L Pour tout entier non multiple de p, posons Θ = α+βζ 1 ζ α+βζ π α+βζ 1 L 1 ζ O L = α+βζ 1 ζ O L D après la formule 7, en réindexant les idéaux b avec entre p 1 et p 1, on a 8 Θ O L = b b 1 p Lemme 5 L élément Θ est une puissance p-ième dans L Démonstration : Vérifions que l extension L p Θ /L est partout non ramifiée, ce qui permet de conclure avec l hypothèse que p ne divise pas le nombre de classes de L On a D après les égalités et 6, on a ainsi Θ 1 = ζ 1+ζ α+β α1 ζ +ζ α+β v π Θ 1 = v π α+β 1 = n 1p En particulier, on a Θ 1 mod π p Il en résulte que l extension L p Θ /L est non ramifiée en πo L cf [1], cor p 503 ; avec ses notations, on a eπo L /p = p 1 et zπo L,p = p + 1 Par ailleurs, si q est un idéal premier de O L distinct de πo L, on a v q po L = 0, et d après la formule 8 on a v q Θ 0 mod p Cela entraîne que q est non ramifié dans L p Θ loc cit, d où le résultat 6

7 6 Les unités ε de O Kλ et les entiers ρ de O L Notons h λ le nombre de classes de Kλ Par hypothèse, p est K-régulier Le degré de L sur Kλ est premier à p, donc p ne divise pas h λ Il existe ainsi un entier t 1 tel que 9 th λ mod p L idéal αo Kλ +βo Kλ thλ étant principal, il existe d O Kλ tel que l on ait αokλ +βo Kλ thλ = do Kλ On a ainsi l égalité 10 D th λ = do L Désignons dans la suite par σ l élément non trivial du groupe de Galois Gal L/Kλ On a σζ = ζ 1 Lemme 6 Soit un entier non multiple de p Il existe une unité ε de O Kλ et un élément ρ de O L tels que l on ait 11 d p+1 α+βζ 1 ζ = ε p+1 ρ p Démonstration : Utilisons la formule 7 avec i = et i = On obtient α+βζ D après 9 et 10, on a donc 1 ζ α+βζ 1 ζ O L = D b b p α+βζ 1 do L 1 ζ α+βζ O 1 ζ L = D th λ p + p b b L élément α+βζ d 1 ζ α+βζ 1 ζ est fixé par σ Il appartient donc à O Kλ On déduit alors de 1 que l idéal α+βζ d 1 ζ α+βζ O 1 ζ Kλ 7

8 est la puissance p-ième d un idéal de O Kλ Puisque p ne divise pas h λ, il existe donc ϕ O Kλ et une unité ε O Kλ tels que l on ait α+βζ α+βζ d = ε 1 ζ 1 ζ ϕ p D après le lemme 5, il existe Ψ L tel que l on ait Θ = Ψ p On en déduit l égalité α+βζ d 1 ζ = ε ϕ Ψ p En élevant ses deux membres à la puissance p+1, on a Posons d p+1 α+βζ 1 ζ p+1 = ε p+1 ρ = ϕ Ψ p+1 p ϕ Ψ p+1 α+βζ 1 1 ζ C est un élément de L Parce que ε est une unité de O Kλ, ρ p est dans O L, donc ρ aussi, d où l égalité 11 Lemme 7 Il existe une unité ε 0 de O Kλ et un élément ρ 0 de O Kλ tels que l on ait dα+β = ε 0 λ np p 1 ρ p 0 Démonstration : D après la formule 6, on a En utilisant 9 et 10, on a donc α+β O L = λo L np p 1D b p 0 dα+β O L = λo L np p 1 D th λ + p b 0 p L élément étant dans O Kλ, l idéal dα+β λ np p 1 dα+β λ np p 1 O Kλ 8

9 est donc la puissance p-ième d un idéal de O Kλ Le fait que p ne divise pas h λ implique alors le résultat 7 Fin de la démonstration Soit un entier non multiple de p Parce que l on a p 5, il existe un entier l tel que l on ait l 0,± mod p Lemme 8 Il existe une unité δ de O Kλ telle que l on ait 13 ε ε l ε ρ σρ p + εl ρ l σρ l p = δ λ n 1 ρ 0 d p Démonstration : En composant l égalité 11 par σ, on a 14 d p+1 α+βζ 1 ζ = ε p+1 σρ p Pour tout i, posons dans O Kλ λ i = 1 ζ i 1 ζ i En effectuant le produit des égalités 11 et 14, on obtient d p+1 α+β αβλ On en déduit avec le lemme 7 l égalité = λ ε p+1 ρ σρ p 15 ε 0 λ np p 1 ρ 0 d p d p+1 αβλ = λ ε p+1 ρ σρ p On a de même l égalité 16 ε 0 λ np p 1 ρ 0 d p d p+1 αβλ l = λ l ε p+1 l ρl σρ l p Multiplions 15 par λ l et 16 par λ, puis soustrayons les deux égalités obtenues On obtient λl λ λ l λ ε0 λ np p 1 ρ 0 d p = ε p+1 ρ σρ p ε p+1 l ρl σρ l p Par ailleurs, on a λ l λ = 1 ζ +l ζ ζ l 9

10 On a l ± mod p, donc 1 ζ +l et ζ ζ l sont associés à π dans O L Ainsi λ l λ λ l λ et 1 λ sont associés dans O L Ce sont des éléments de O Kλ, donc il existe une unité δ de O Kλ telle que l on ait λ l λ = δ λ l λ λ On en déduit l égalité En posant δ ε 0 λ n 1 ρ 0 d p = ε ε ρ σρ p +εl εl ρ l σρ l p δ = δ ε 0 ε l, qui est une unité de O Kλ, on obtient l égalité 13 Lemme 9 L unité ε εl est une puissance p-ième dans O Kλ Démonstration : On a D après la formule 6, on a d où en particulier la congruence On déduit alors du lemme 6 que l on a α+βζ α+β = α+ζ 1 ζ 1 ζ α+β v π 1 ζ = np p 1 1 = n 1p, α+βζ 1 ζ α mod πp d p+1 α ε ε ρ p mod π p De même, on a d p+1 α ε l εl ρ l p mod π p On a v π dα = 0, donc ρ et ρ l sont inversibles modulo π p Par suite, il existe r O L tel que l on ait ε ε l r p mod π p Il en résulte que l extension L ε p ε l 10 /L

11 est partout non ramifiée [1], cor p 503 Le nombre de classes de L n étant pas divisible par p, ε εl est donc une puissance p-ième dans L, d où le résultat car ε εl est dans O Kλ Posons ε ε l = ν p, où ν est une unité de O Kλ D après le lemme 8, on obtient l égalité νε ρ σρ p + εl ρ l σρ l p = δ λ n 1 ρ 0 d p Les éléments α = νε ρ σρ, β = ε l ρ l σρ l et γ = ρ 0 d sont dans O Kλ, car ils sont fixés par σ Ils ne sont pas divisibles par λ cf 6 et 7 Le quintuplet α,β,γ,δ,n 1 est donc dans S Compte tenu du paragraphe 3, cela termine la démonstration du théorème 8 La proposition Le degré de Kµ p sur K est premier avec p Parce que p est K-régulier, il ne divise pas le nombre de classes de K La première condition entraîne ainsi que le premier cas du théorème de Fermat est vrai sur K pour p [8] Le résultat obtenu ici et le théorème 3 de [5] impliquent alors la proposition Bibliographie [1] H Cohen, Advanced Topics in Computational Algebraic Number Theory, Springer- Verlag GTM 193, 000 [] G Faltings, Endlicheitsstze für abelsche Varietten über Zahlörpern, Invent Math , [3] N Freitas et S Sise, The asymptotic Fermat s Last Theorem for five-sixths of real quadratic fields, arxiv : v3 16 Jul 014, 1 pages, à paraître dans la revue Compositio Mathematica [4] N Freitas et S Sise, Fermat s Last Theorem over some small real quadratic fields, arxiv : v1 16 Jul 014, 15 pages [5] F H Hao, C J Parry, The Fermat equation over quadratic fields, J Number Theory , [6] F H Hao, C J Parry, Generalized Bernoulli Numbers and m-regular Primes, Math Comp , [7]FJarvisetPMeein,TheFermatequationoverQ,J Number Theory109004,

12 [8]AKraus,RemarquessurlepremiercasduthéorèmedeFermatsurlescorpsdenombres, arxiv: v1 octobre 014, 9 pages, à paraître dans la revue Acta Arithmetica [9] L C Washington, Introduction to Cyclotomic Fields, Springer-Verlag GTM 83, 198 [10] A Wiles, Modular elliptic curves and Fermat s Last Theorem, Ann of Math , Alain Kraus Université de Paris VI, Institut de Mathématiques, 4 Place Jussieu, Paris, France 7 novembre alainraus@imj-prgfr 1