Courbes elliptiques
C´edric Bonnaf´e
CNRS (UMR 5149) - Universit´e de Montpellier
Montpellier, Lyc´ee Joffre, Mars 2016
Coniques : ax2+bxy+cy2+dx +ey +f =0
Coniques : ax2+bxy+cy2+dx +ey +f =0 Cubiques :
αx3+βx2y +γxy2+δy3
Coniques : ax2+bxy+cy2+dx +ey +f =0 Cubiques :
αx3+βx2y +γxy2+δy3+ax2+bxy+cy2+dx +ey+f =0
Coniques : ax2+bxy+cy2+dx +ey +f =0 Cubiques :
αx3+βx2y +γxy2+δy3+ax2+bxy+cy2+dx +ey+f =0 Courbes elliptiques : cubiques sans points singuliers
19`eme si`ecle : Abel, Gauss, Jacobi, Legendre...
Coniques : ax2+bxy+cy2+dx +ey +f =0 Cubiques :
αx3+βx2y +γxy2+δy3+ax2+bxy+cy2+dx +ey+f =0 Courbes elliptiques : cubiques sans points singuliers
19`eme si`ecle : Abel, Gauss, Jacobi, Legendre...
1920 : Mordell
1970-1995 : Hellegouarch, Frey, Ribet, Taylor/Wiles : preuve du th´eor`eme de Fermat
Coniques : ax2+bxy+cy2+dx +ey +f =0 Cubiques :
αx3+βx2y +γxy2+δy3+ax2+bxy+cy2+dx +ey+f =0 Courbes elliptiques : cubiques sans points singuliers
19`eme si`ecle : Abel, Gauss, Jacobi, Legendre...
1920 : Mordell
1970-1995 : Hellegouarch, Frey, Ribet, Taylor/Wiles : preuve du th´eor`eme de Fermat
Une r´ef´erence : Elliptic curves, H. McKean & V. Moll, Cambridge University Press (1997).
x2y = (y −1)3
1 2 3
−1
−2
1 2 3 4 5
−1
−2
−3
−4
−5
x2y = (y −1)3
1 2 3
−1
−2
1 2 3 4 5
−1
−2
−3
−4
−5
x2y = (y −1)3
1 2 3
−1
−2
1 2 3 4 5
−1
−2
−3
−4
−5
b
y2 =x3−5
2x2+7 2
1 2 3
−1
−2
−3
1 2 3
−1
−2
−3
x3+y3−6xy =0
1 2 3
−1
−2
−3
1 2 3
−1
−2
−3
x3+y3−6xy =0
1 2 3
−1
−2
−3
1 2 3
−1
−2
−3
x3+y3−6xy =0
1 2 3
−1
−2
−3
1 2 3
−1
−2
−3
b
Th´ eor` eme de Pascal
Th´ eor` eme de Pascal
Th´ eor` eme de Pascal
b b b
A B
C
b b b
A’
B’
C’
Th´ eor` eme de Pascal
b b b
A B
C
b b b
A’
B’
C’
Th´ eor` eme de Pascal
b b b
A B
C
b b b
A’
B’
C’
b
Th´ eor` eme de Pascal
b b b
A B
C
b b b
A’
B’
C’
b
Th´ eor` eme de Pascal
b b b
A B
C
b b b
A’
B’
C’
b b
Th´ eor` eme de Pascal
b b b
A B
C
b b b
A’
B’
C’
b b b
Th´ eor` eme de Pascal
b b b
A B
C
b b b
A’
B’
C’
b b b
E
∆
bO
E
∆
bO
bP
b
Q
E
∆
bO
bP
b
Q
E
∆
bO
bP
b
Q
b
E
∆
bO
bP
b
Q
b
E
∆
bO
bP
b
Q
b b
E
∆
bO
bP
b
Q
b bP+Q
E
∆
bO
bP
b
Q
b bP+Q
E
∆
bO
bP
b
Q
b bP+Q
b
E
∆
bO
bP
b
Q
b bP+Q
b
E
∆
bO
bP
b
Q
b bP+Q
b b
E
∆
bO
bP
b
Q
b bP+Q
b bQ+Q
Th´eor`eme
E\∆, muni de la loi+, est un groupe (commutatif) ! L’´el´ement neutre est O.
Th´eor`eme
E\∆, muni de la loi+, est un groupe (commutatif) ! L’´el´ement neutre est O.
Preuve -
Th´eor`eme
E\∆, muni de la loi+, est un groupe (commutatif) ! L’´el´ement neutre est O.
Preuve -
´El´ement neutre : en effet, O+P =P (voir dessin)
Th´eor`eme
E\∆, muni de la loi+, est un groupe (commutatif) ! L’´el´ement neutre est O.
Preuve -
´El´ement neutre : en effet, O+P =P (voir dessin) Sym´etrique : voir dessin
Th´eor`eme
E\∆, muni de la loi+, est un groupe (commutatif) ! L’´el´ement neutre est O.
Preuve -
´El´ement neutre : en effet, O+P =P (voir dessin) Sym´etrique : voir dessin
Commutativit´e : trivial
Th´eor`eme
E\∆, muni de la loi+, est un groupe (commutatif) ! L’´el´ement neutre est O.
Preuve -
´El´ement neutre : en effet, O+P =P (voir dessin) Sym´etrique : voir dessin
Commutativit´e : trivial
Associativit´e : (P+Q) +R =P+ (Q+R)(th´eor`eme de Pascal)
E
∆
bO
E
∆
bO
b
b
b
P R
Q
E
∆
bO
b
b
b
P R
Q
E
∆
bO
b
b
b
P R
Q
b
E
∆
bO
b
b
b
P R
Q
b
E
∆
bO
b
b
b
P R
Q
b b
E
∆
bO
b
b
b
P R
Q
b bP+Q
E
∆
bO
b
b
b
P R
Q
b bP+Q
E
∆
bO
b
b
b
P R
Q
b bP+Q
b
E
∆
bO
b
b
b
P R
Q
b bP+Q
b
E
∆
bO
b
b
b
P R
Q
b bP+Q
bb
Q+R
E
∆
bO
b
b
b
P R
Q
b bP+Q
bb
Q+R
A= B=
C=
E
∆
bO
b
b
b
P R
Q
b bP+Q
bb
Q+R
A= B=
C=
A’=
B’= C’=
E
∆
bO
b
b
b
P R
Q
b bP+Q
bb
Q+R
A= B=
C=
A’=
B’= C’=
E
∆
bO
b
b
b
P R
Q
b bP+Q
bb
Q+R
A= B=
C=
A’=
B’= C’=
E
∆
bO
b
b
b
P R
Q
b bP+Q
bb
Q+R
A= B=
C=
A’=
B’= C’=
b
E
∆
bO
b
b
b
P R
Q
b bP+Q
bb
Q+R
A= B=
C=
A’=
B’= C’=
b b (P+Q)+R
E
∆
bO
b
b
b
P R
Q
b bP+Q
bb
Q+R
A= B=
C=
A’=
B’= C’=
b b (P+Q)+R
=P+(Q+R)
Th´eor`eme. E \∆, muni de la loi+, est un groupe commutatif ! L’´el´ement neutre est O.
Pour montrer ce r´esultat, on a utilis´e la r´eunionE ∪∆de la courbe et de la droite :
Th´eor`eme. E \∆, muni de la loi+, est un groupe commutatif ! L’´el´ement neutre est O.
Pour montrer ce r´esultat, on a utilis´e la r´eunionE ∪∆de la courbe et de la droite :
E ={(x,y)∈R2 | P2(x,y) =0}
∆={(x,y)∈R2 |P1(x,y) =0}
o`uPi est un polynˆome de degr´e total i.
Th´eor`eme. E \∆, muni de la loi+, est un groupe commutatif ! L’´el´ement neutre est O.
Pour montrer ce r´esultat, on a utilis´e la r´eunionE ∪∆de la courbe et de la droite :
E ={(x,y)∈R2 | P2(x,y) =0}
∆={(x,y)∈R2 |P1(x,y) =0}
o`uPi est un polynˆome de degr´e total i. Donc
E∪∆={(x,y)∈R2 | P1(x,y)P2(x,y) =0}.
C’est une cubique !
Th´eor`eme. E \∆, muni de la loi+, est un groupe commutatif ! L’´el´ement neutre est O.
Pour montrer ce r´esultat, on a utilis´e la r´eunionE ∪∆de la courbe et de la droite :
E ={(x,y)∈R2 | P2(x,y) =0}
∆={(x,y)∈R2 |P1(x,y) =0}
o`uPi est un polynˆome de degr´e total i. Donc
E∪∆={(x,y)∈R2 | P1(x,y)P2(x,y) =0}.
C’est une cubique ! On a aussi utilis´e son point `a l’infini...
SoitC une cubique irr´eductible non d´eg´en´er´ee.
SoitC une cubique irr´eductible non d´eg´en´er´ee. Rajoutons-lui les points `a l’infini,
SoitC une cubique irr´eductible non d´eg´en´er´ee. Rajoutons-lui les points `a l’infini, enlevons-lui les points singuliers.
SoitC une cubique irr´eductible non d´eg´en´er´ee. Rajoutons-lui les points `a l’infini, enlevons-lui les points singuliers. On obtient C. Fixons O ∈C.
SoitC une cubique irr´eductible non d´eg´en´er´ee. Rajoutons-lui les points `a l’infini, enlevons-lui les points singuliers. On obtient C. Fixons O ∈C.
SiP, Q ∈C, soitX le troisi`eme point d’intersection de (PQ)∩C.
SoitC une cubique irr´eductible non d´eg´en´er´ee. Rajoutons-lui les points `a l’infini, enlevons-lui les points singuliers. On obtient C. Fixons O ∈C.
SiP, Q ∈C, soitX le troisi`eme point d’intersection de (PQ)∩C. On note P +Q le troisi`eme point d’intersection de (OX)∩C.
SoitC une cubique irr´eductible non d´eg´en´er´ee. Rajoutons-lui les points `a l’infini, enlevons-lui les points singuliers. On obtient C. Fixons O ∈C.
SiP, Q ∈C, soitX le troisi`eme point d’intersection de (PQ)∩C. On note P +Q le troisi`eme point d’intersection de (OX)∩C.
Th´eor`eme. (C,+) est un groupe commutatif. L’´el´ement neutre est O.
Courbes elliptiques :
Courbes elliptiques :
Dor´enavant,
C ={(x,y)∈R2 | y2 =F(x)}
o`uF(x) =x3+ax +b, a,b ∈R.
Courbes elliptiques :
Dor´enavant,
C ={(x,y)∈R2 | y2 =F(x)}
o`uF(x) =x3+ax +b, a,b ∈R.
On a doncy =±p
F(x)et,
Courbes elliptiques :
Dor´enavant,
C ={(x,y)∈R2 | y2 =F(x)}
o`uF(x) =x3+ax +b, a,b ∈R.
On a doncy =±p
F(x)et, lorsque x →+∞, on a y ∼±x3/2.
?
Courbes elliptiques :
Dor´enavant,
C ={(x,y)∈R2 | y2 =F(x)}
o`uF(x) =x3+ax +b, a,b ∈R.
On a doncy =±p
F(x)et, lorsque x →+∞, on a y ∼±x3/2.
?
O
Courbes elliptiques :
Dor´enavant,
C ={(x,y)∈R2 | y2 =F(x)}
o`uF(x) =x3+ax +b, a,b ∈R.
On a doncy =±p
F(x)et, lorsque x →+∞, on a y ∼±x3/2.
?
O
C=C∪{O}.
Courbes elliptiques :
Dor´enavant,
C ={(x,y)∈R2 | y2 =F(x)}
o`uF(x) =x3+ax +b, a,b ∈R.
On a doncy =±p
F(x)et, lorsque x →+∞, on a y ∼±x3/2.
?
O
C=C∪{O}.
Remarque - `a transformation projective pr`es, toute cubique est de cette forme...
A quoi ressemble ` C ?
A quoi ressemble ` C ?
y2=x3
A quoi ressemble ` C ?
y2=x3 y2=x3−
x 2+1
2
A quoi ressemble ` C ?
y2=x3 y2=x3−
x 2+1
2 y2=x3−3x
4 +1 4
A quoi ressemble ` C ?
y2=x3 y2=x3−
x 2+1
2 y2=x3−3x
4 +1
4 y2=x3−x
A quoi ressemble ` C ?
y2=x3 y2=x3−
x 2+1
2 y2=x3−3x
4 +1
4 y2=x3−x
y=x3
A quoi ressemble ` C ?
y2=x3 y2=x3−
x 2+1
2 y2=x3−3x
4 +1
4 y2=x3−x
y=x3 y=x3−x
2 +1
2
A quoi ressemble ` C ?
y2=x3 y2=x3−
x 2+1
2 y2=x3−3x
4 +1
4 y2=x3−x
y=x3 y=x3−x
2 +1
2 y=x3−3x
4 +1
4
A quoi ressemble ` C ?
y2=x3 y2=x3−
x 2+1
2 y2=x3−3x
4 +1
4 y2=x3−x
y=x3 y=x3−x
2 +1
2 y=x3−3x
4 +1
4 y=x3−x
Lissit´ e :
C est lisse (i.e. n’a pas de points singuliers)
Lissit´ e :
C est lisse (i.e. n’a pas de points singuliers)
⇐⇒ F(x) n’a pas de racine double (ou triple...)
Lissit´ e :
C est lisse (i.e. n’a pas de points singuliers)
⇐⇒ F(x) n’a pas de racine double (ou triple...)
⇐⇒ 4a3+27b2 6=0.
Lissit´ e :
C est lisse (i.e. n’a pas de points singuliers)
⇐⇒ F(x) n’a pas de racine double (ou triple...)
⇐⇒ 4a3+27b2 6=0.
Dor´enavant, on suppose que 4a3+27b2 6=0
Lissit´ e :
C est lisse (i.e. n’a pas de points singuliers)
⇐⇒ F(x) n’a pas de racine double (ou triple...)
⇐⇒ 4a3+27b2 6=0.
Dor´enavant, on suppose que 4a3+27b2 6=0 C est donc une courbe elliptique.
Lissit´ e :
C est lisse (i.e. n’a pas de points singuliers)
⇐⇒ F(x) n’a pas de racine double (ou triple...)
⇐⇒ 4a3+27b2 6=0.
Dor´enavant, on suppose que 4a3+27b2 6=0 C est donc une courbe elliptique.
On la munit de la structure de groupe+ telle que le point `a l’infiniO est l’´el´ement neutre.
y2=x3 y2=x3−x 2
+1
2 y2=x3−3x
4 +1
4 y2=x3−x
y2=x3−x 2
+1
2 y2=x3−x
Addition :
y2 =x3−4x
Addition :
y2 =x3−4x
O
Addition :
y2 =x3−4x
O
b
bP
Q
Addition :
y2 =x3−4x
O
b
bP
Q
Addition :
y2 =x3−4x
O
b
bP
Q
b
Addition :
y2 =x3−4x
O
b
bP
Q
b
Addition :
y2 =x3−4x
O
b
bP
Q
bb
P+Q
Formule :
Formule :
SiP = (xP,yP) et Q = (xQ,yQ), alors
Formule :
SiP = (xP,yP) et Q = (xQ,yQ), alors P+Q =
−xP −xQ +yQ −yP
xQ −xP
2
| {z }
xP+Q
,
Formule :
SiP = (xP,yP) et Q = (xQ,yQ), alors P+Q =
−xP −xQ +yQ −yP
xQ −xP
2
| {z }
xP+Q
,yQ(xP −xP+Q) +yP(xP+Q −xQ) xQ −xP
Formule :
SiP = (xP,yP) et Q = (xQ,yQ), alors P+Q =
−xP −xQ +yQ −yP
xQ −xP
2
| {z }
xP+Q
,yQ(xP −xP+Q) +yP(xP+Q −xQ) xQ −xP
P +P =2P =
−2xP +3xP2 +a 2yP
2
| {z }
x2P
,
Formule :
SiP = (xP,yP) et Q = (xQ,yQ), alors P+Q =
−xP −xQ +yQ −yP
xQ −xP
2
| {z }
xP+Q
,yQ(xP −xP+Q) +yP(xP+Q −xQ) xQ −xP
P +P =2P =
−2xP +3xP2 +a 2yP
2
| {z }
x2P
, −yP −(x2P −xP)(3xP2 +a) 2yP
Formule :
SiP = (xP,yP) et Q = (xQ,yQ), alors P+Q =
−xP −xQ +yQ −yP
xQ −xP
2
| {z }
xP+Q
,yQ(xP −xP+Q) +yP(xP+Q −xQ) xQ −xP
P +P =2P =
−2xP +3xP2 +a 2yP
2
| {z }
x2P
, −yP −(x2P −xP)(3xP2 +a) 2yP
Cons´equences : On peut travailler sur n’importe quel corps (par exemple, Q, R, C,
Formule :
SiP = (xP,yP) et Q = (xQ,yQ), alors P+Q =
−xP −xQ +yQ −yP
xQ −xP
2
| {z }
xP+Q
,yQ(xP −xP+Q) +yP(xP+Q −xQ) xQ −xP
P +P =2P =
−2xP +3xP2 +a 2yP
2
| {z }
x2P
, −yP −(x2P −xP)(3xP2 +a) 2yP
Cons´equences : On peut travailler sur n’importe quel corps (par exemple, Q, R, C,Z/pZ...)
Formule :
SiP = (xP,yP) et Q = (xQ,yQ), alors P+Q =
−xP −xQ +yQ −yP
xQ −xP
2
| {z }
xP+Q
,yQ(xP −xP+Q) +yP(xP+Q −xQ) xQ −xP
P +P =2P =
−2xP +3xP2 +a 2yP
2
| {z }
x2P
, −yP −(x2P −xP)(3xP2 +a) 2yP
Cons´equences : On peut travailler sur n’importe quel corps (par exemple, Q, R, C,Z/pZ...). Il suffit de prendre a etb dans ce corps.
Multiples d’un point :
Multiples d’un point :
y2 =x3 −3x +3
Multiples d’un point :
y2 =x3 −3x +3
b
P=(1,1)
Multiples d’un point :
y2 =x3 −3x +3
b
P=(1,1)
Multiples d’un point :
y2 =x3 −3x +3
b
P=(1,1)
b
Multiples d’un point :
y2 =x3 −3x +3
b
P=(1,1)
b
Multiples d’un point :
y2 =x3 −3x +3
b
P=(1,1)
bb
2P=(-2,-1)
Multiples d’un point :
y2 =x3 −3x +3
b
P=(1,1)
bb
2P=(-2,-1)
Multiples d’un point :
y2 =x3 −3x +3
b
P=(1,1)
bb
2P=(-2,-1)
b
Multiples d’un point :
y2 =x3 −3x +3
b
P=(1,1)
bb
2P=(-2,-1)
b
Multiples d’un point :
y2 =x3 −3x +3
b
P=(1,1)
bb
2P=(-2,-1)
bb
3P=(13/9,-35/27)
Multiples d’un point :
y2 =x3 −3x +3
b
P=(1,1)
bb
2P=(-2,-1)
bb
3P=(13/9,-35/27)
Multiples d’un point :
y2 =x3 −3x +3
b
P=(1,1)
bb
2P=(-2,-1)
bb
3P=(13/9,-35/27)
4P=(97/4,953/8)
Torsion :
Torsion :
D´efinition. Un point P est dit de torsion s’il existe un entier naturel non nulm tel que mP =O.
Torsion :
D´efinition. Un point P est dit de torsion s’il existe un entier naturel non nulm tel que mP =O.
2P =O ⇐⇒ la tangente `a C en P est verticale
Torsion :
D´efinition. Un point P est dit de torsion s’il existe un entier naturel non nulm tel que mP =O.
2P =O ⇐⇒ la tangente `a C en P est verticale 3P =O ⇐⇒P est un point d’inflexion...
Corps des nombres complexes
Corps des nombres complexes
Soit(λ1, λ2) une R-base de C
Corps des nombres complexes
Soit(λ1, λ2) une R-base de C SoitΛ={mλ1+nλ2 | (m,n)∈Z2}
Corps des nombres complexes
Soit(λ1, λ2) une R-base de C SoitΛ={mλ1+nλ2 | (m,n)∈Z2} On pose
℘Λ(z) =℘(z) = 1
z2 + X
λ∈Λ\{0}
1
(z+λ)2 − 1 λ2
.
Corps des nombres complexes
Soit(λ1, λ2) une R-base de C SoitΛ={mλ1+nλ2 | (m,n)∈Z2} On pose
℘Λ(z) =℘(z) = 1
z2 + X
λ∈Λ\{0}
1
(z+λ)2 − 1 λ2
.
g2(Λ) =g2 = X
λ∈Λ\{0}
1
λ4 et g3(Λ) =g3 = X
λ∈Λ\{0}
1 λ6
Corps des nombres complexes
Soit(λ1, λ2) une R-base de C SoitΛ={mλ1+nλ2 | (m,n)∈Z2} On pose
℘Λ(z) =℘(z) = 1
z2 + X
λ∈Λ\{0}
1
(z+λ)2 − 1 λ2
.
g2(Λ) =g2 = X
λ∈Λ\{0}
1
λ4 et g3(Λ) =g3 = X
λ∈Λ\{0}
1 λ6
℘Λ:C→C∪{∞}est appel´ee la fonction elliptique de Weierstraß (associ´ee `a Λ)
Corps des nombres complexes
Soit(λ1, λ2) une R-base de C SoitΛ={mλ1+nλ2 | (m,n)∈Z2} On pose
℘Λ(z) =℘(z) = 1
z2 + X
λ∈Λ\{0}
1
(z+λ)2 − 1 λ2
.
g2(Λ) =g2 = X
λ∈Λ\{0}
1
λ4 et g3(Λ) =g3 = X
λ∈Λ\{0}
1 λ6
℘Λ:C→C∪{∞}est appel´ee la fonction elliptique de Weierstraß (associ´ee `a Λ)
℘Λ(z +λ) =℘Λ(z) si z ∈C et λ∈Λ.
Corps des nombres complexes (suite)
Corps des nombres complexes (suite)
Th´eor`eme
℘′(z)2 =4℘(z)3−g2℘(z) −g3
Corps des nombres complexes (suite)
Th´eor`eme
℘′(z)2 =4℘(z)3−g2℘(z) −g3
Corollaire
SoitC ={(x,y)∈C2 | y2 =4x3−g2x −g3}∪{O}. Alors
℘: C/Λ −→ C
z 7−→ (℘(z), ℘′(z)) est un isomorphisme de groupes
Corps des nombres complexes (suite)
Th´eor`eme
℘′(z)2 =4℘(z)3−g2℘(z) −g3
Corollaire
SoitC ={(x,y)∈C2 | y2 =4x3−g2x −g3}∪{O}. Alors
℘: C/Λ −→ C
z 7−→ (℘(z), ℘′(z)) est un isomorphisme de groupes (alg´ebriques).
Corps des nombres complexes (curiosit´ e)
Corps des nombres complexes (curiosit´ e)
g2(Z+Zτ) = 4π4 3
1−240 X∞
n=1
σ3(n)e2inπ τ
Corps des nombres complexes (curiosit´ e)
g2(Z+Zτ) = 4π4 3
1−240 X∞
n=1
σ3(n)e2inπ τ
g3(Z+Zτ) = 8π6 27
1+504 X∞
n=1
σ5(n)e2inπ τ
Corps des nombres complexes (curiosit´ e)
g2(Z+Zτ) = 4π4 3
1−240 X∞
n=1
σ3(n)e2inπ τ
g3(Z+Zτ) = 8π6 27
1+504 X∞
n=1
σ5(n)e2inπ τ
o`u σk(n) = X
d | n
dk
Corps des nombres rationnels
Corps des nombres rationnels
On suppose ici a, b ∈Q.
Corps des nombres rationnels
On suppose ici a, b ∈Q.
AlorsC ={(x,y)∈Q2 |y2 =x3+ax +b}∪{O} est un sous-groupe deC(R).
Corps des nombres rationnels
On suppose ici a, b ∈Q.
AlorsC ={(x,y)∈Q2 |y2 =x3+ax +b}∪{O} est un sous-groupe deC(R).
Th´eor`eme (Mordell, 1922)
Il existe P1,. . . , Pn tels queC =hP1,P2, . . . ,Pni.
D´efinition
On noterang(C) le plus grand entier r tel qu’il existe P1,. . . , Pr ∈C qui soientZ-lin´eairement ind´ependants.
Corps des nombres rationnels
On suppose ici a, b ∈Q.
AlorsC ={(x,y)∈Q2 |y2 =x3+ax +b}∪{O} est un sous-groupe deC(R).
Th´eor`eme (Mordell, 1922)
Il existe P1,. . . , Pn tels queC =hP1,P2, . . . ,Pni.
D´efinition
On noterang(C) le plus grand entier r tel qu’il existe P1,. . . , Pr ∈C qui soientZ-lin´eairement ind´ependants. Le nombre rang(C) est appel´e le rang de C.
Conjecture
Il existe des courbes elliptiques de rang aussi grand que l’on veut.
Conjecture
Il existe des courbes elliptiques de rang aussi grand que l’on veut.
Record du monde (Elkies, 2006) : rang >28
Conjecture
Il existe des courbes elliptiques de rang aussi grand que l’on veut.
Record du monde (Elkies, 2006) : rang >28 y2+xy+y =x3−x2
−20067762415575526585033208209338542750930230312178956502 x
+34481611795030556467032985690390720374855944359319180361266008296291939448732243429
Conjecture
Il existe des courbes elliptiques de rang aussi grand que l’on veut.
Record du monde (Elkies, 2006) : rang >28 y2+xy+y =x3−x2
−20067762415575526585033208209338542750930230312178956502 x
+34481611795030556467032985690390720374855944359319180361266008296291939448732243429
P1 = (−2124150091254381073292137463,
259854492051899599030515511070780628911531)
P2 = (2334509866034701756884754537,
18872004195494469180868316552803627931531)
· · ·
P28 = (2230868289773576023778678737,
28558760030597485663387020600768640028531)
Conjecture
Le rang moyen d’une courbe elliptique est1/2,
Conjecture
Le rang moyen d’une courbe elliptique est1/2, avec probabilit´e 1/2 pour le rang0 et probabilit´e1/2 pour le rang1.
Conjecture
Le rang moyen d’une courbe elliptique est1/2, avec probabilit´e 1/2 pour le rang0 et probabilit´e1/2 pour le rang1.
Th´eor`eme (Bhargava-Shankar, 2013)
Le rang moyen d’une courbe elliptique est 60,885.
Corps finis
Corps finis
a, b∈Z/pZ, p nombre premier
Corps finis
a, b∈Z/pZ, p nombre premier
C(Z/pZ) ={(x,y)∈Z/pZ |y2 =x3+ax +b}∪{O}.
Corps finis
a, b∈Z/pZ, p nombre premier
C(Z/pZ) ={(x,y)∈Z/pZ |y2 =x3+ax +b}∪{O}.
On poseNp =|C(Z/pZ)|.
Th´eor`eme (Hasse, 1936)
|Np− (p+1)|62√p.
Corps finis
a, b∈Z/pZ, p nombre premier
C(Z/pZ) ={(x,y)∈Z/pZ |y2 =x3+ax +b}∪{O}.
On poseNp =|C(Z/pZ)|.
Th´eor`eme (Hasse, 1936)
|Np− (p+1)|62√p.
Exemple : y2 =x3−3x +3
p 2 3 5 7 11 13 · · · 129 · · · 1361
Np−p−1 −1 −1 0 −3 3 1 · · · −13 · · · 55
Corps finis (suite)
Corps finis (suite)
On prends icia,b ∈Z et on note
C(Q) ={(x,y)∈Q2 | y2 =x3+ax +b}
et C(Z/pZ) ={(x,y)∈(Z/pZ)2 | y2 =x3+ax +b}.
Corps finis (suite)
On prends icia,b ∈Z et on note
C(Q) ={(x,y)∈Q2 | y2 =x3+ax +b}
et C(Z/pZ) ={(x,y)∈(Z/pZ)2 | y2 =x3+ax +b}.
Conjecture de Birch et Swinnerton-Dyer
Il existe une constante c ne d´ependant que de C telle que Y
p6x
Np
p ∼
x→+∞ cLog(x)? .
Corps finis (suite)
On prends icia,b ∈Z et on note
C(Q) ={(x,y)∈Q2 | y2 =x3+ax +b}
et C(Z/pZ) ={(x,y)∈(Z/pZ)2 | y2 =x3+ax +b}.
Conjecture de Birch et Swinnerton-Dyer
Il existe une constante c ne d´ependant que de C telle que Y
p6x
Np
p ∼
x→+∞ cLog(x)rang(C(Q)).
Corps finis (suite)
On prends icia,b ∈Z et on note
C(Q) ={(x,y)∈Q2 | y2 =x3+ax +b}
et C(Z/pZ) ={(x,y)∈(Z/pZ)2 | y2 =x3+ax +b}.
Conjecture de Birch et Swinnerton-Dyer
Il existe une constante c ne d´ependant que de C telle que Y
p6x
Np
p ∼
x→+∞ cLog(x)rang(C(Q)).
Th´eor`eme (Bhargava-Skinner-Zhang, 2014)
Au moins 66% des courbes elliptiques v´erifient la conjecture de Birch et Swinnerton-Dyer
Corps finis (suite)
On prends icia,b ∈Z et on note
C(Q) ={(x,y)∈Q2 | y2 =x3+ax +b}
et C(Z/pZ) ={(x,y)∈(Z/pZ)2 | y2 =x3+ax +b}.
Conjecture de Birch et Swinnerton-Dyer
Il existe une constante c ne d´ependant que de C telle que Y
p6x
Np
p ∼
x→+∞ cLog(x)rang(C(Q)).
Th´eor`eme (Bhargava-Skinner-Zhang, 2014)
Au moins 66% des courbes elliptiques v´erifient la conjecture de Birch et Swinnerton-Dyer (!).
Avec les courbes elliptiques, on peut faire :
Avec les courbes elliptiques, on peut faire : de l’alg`ebre (th´eorie des groupes)
Avec les courbes elliptiques, on peut faire : de l’alg`ebre (th´eorie des groupes) de l’analyse r´eelle (int´egrales elliptiques)
Avec les courbes elliptiques, on peut faire : de l’alg`ebre (th´eorie des groupes) de l’analyse r´eelle (int´egrales elliptiques) de l’analyse complexe (fonction de Weierstraß)
Avec les courbes elliptiques, on peut faire : de l’alg`ebre (th´eorie des groupes) de l’analyse r´eelle (int´egrales elliptiques) de l’analyse complexe (fonction de Weierstraß) de la th´eorie des nombres (Birch et Swinnerton-Dyer)
Avec les courbes elliptiques, on peut faire : de l’alg`ebre (th´eorie des groupes) de l’analyse r´eelle (int´egrales elliptiques) de l’analyse complexe (fonction de Weierstraß) de la th´eorie des nombres (Birch et Swinnerton-Dyer) de la cryptographie
Avec les courbes elliptiques, on peut faire : de l’alg`ebre (th´eorie des groupes) de l’analyse r´eelle (int´egrales elliptiques) de l’analyse complexe (fonction de Weierstraß) de la th´eorie des nombres (Birch et Swinnerton-Dyer) de la cryptographie
la d´emonstration du th´eor`eme de Fermat (Wiles, Taylor-Wiles) :
Avec les courbes elliptiques, on peut faire : de l’alg`ebre (th´eorie des groupes) de l’analyse r´eelle (int´egrales elliptiques) de l’analyse complexe (fonction de Weierstraß) de la th´eorie des nombres (Birch et Swinnerton-Dyer) de la cryptographie
la d´emonstration du th´eor`eme de Fermat (Wiles, Taylor-Wiles) : siap+bp =cp avec p premier >3 et abc 6=0, alors la courbe elliptique d´efinie par l’´equation
y2 =x(x+ap)(x −bp)
Avec les courbes elliptiques, on peut faire : de l’alg`ebre (th´eorie des groupes) de l’analyse r´eelle (int´egrales elliptiques) de l’analyse complexe (fonction de Weierstraß) de la th´eorie des nombres (Birch et Swinnerton-Dyer) de la cryptographie
la d´emonstration du th´eor`eme de Fermat (Wiles, Taylor-Wiles) : siap+bp =cp avec p premier >3 et abc 6=0, alors la courbe elliptique d´efinie par l’´equation
y2 =x(x+ap)(x −bp)
est trop bizarre pour exister (courbe de Hellegouarch).
Avec les courbes elliptiques, on peut faire : de l’alg`ebre (th´eorie des groupes) de l’analyse r´eelle (int´egrales elliptiques) de l’analyse complexe (fonction de Weierstraß) de la th´eorie des nombres (Birch et Swinnerton-Dyer) de la cryptographie
la d´emonstration du th´eor`eme de Fermat (Wiles, Taylor-Wiles) : siap+bp =cp avec p premier >3 et abc 6=0, alors la courbe elliptique d´efinie par l’´equation
y2 =x(x+ap)(x −bp)
est trop bizarre pour exister (courbe de Hellegouarch).
de la g´eom´etrie...
Avec les courbes elliptiques, on peut faire : de l’alg`ebre (th´eorie des groupes) de l’analyse r´eelle (int´egrales elliptiques) de l’analyse complexe (fonction de Weierstraß) de la th´eorie des nombres (Birch et Swinnerton-Dyer) de la cryptographie
la d´emonstration du th´eor`eme de Fermat (Wiles, Taylor-Wiles) : siap+bp =cp avec p premier >3 et abc 6=0, alors la courbe elliptique d´efinie par l’´equation
y2 =x(x+ap)(x −bp)
est trop bizarre pour exister (courbe de Hellegouarch).
de la g´eom´etrie...
• •N
⌣