Courbes et fibr´ es vectoriels en th´ eorie de Hodge p-adique
Laurent Fargues
Travail en commun avec J.M. Fontaine
L’anneau B
+F corps valu´ e complet de caract´ eristique p, v : F →
R∪ {+∞}, alg´ ebriquement clos `
F ' k((π)) pour les applications arithm´
\etiques ´
L’anneau B
+F corps valu´ e complet de caract´ eristique p, v : F →
R∪ {+∞}, alg´ ebriquement clos `
F ' k((π)) pour les applications arithm´
\etiques ´ W (O
F) ˆ
1p
˜ ˘ P
n−∞
[x
n]p
n| x
n∈ O
F¯
L’anneau B
+F corps valu´ e complet de caract´ eristique p, v : F →
R∪ {+∞}, alg´ ebriquement clos `
F ' k((π)) pour les applications arithm´
\etiques ´ W (O
F) ˆ
1p
˜
vr
˘ P
n−∞
[x
n]p
n| x
n∈ O
F¯ _
R
∪ {+∞} inf
n∈Z
{v (x
n) + nr}
pour r ∈
R+, v
rest une valuation
L’anneau B
+F corps valu´ e complet de caract´ eristique p, v : F →
R∪ {+∞}, alg´ ebriquement clos `
F ' k((π)) pour les applications arithm´
\etiques ´ W (O
F) ˆ
1p
˜
vr
˘ P
n−∞
[x
n]p
n| x
n∈ O
F¯ _
R
∪ {+∞} inf
n∈Z
{v (x
n) + nr}
pour r ∈
R+, v
rest une valuation D´ efinition
On note B
+le compl´ et´ e de W (O
F) ˆ
1p
˜ par rapport ` a (v
r)
r>0.
ϕ
"" B
+=
Qp− alg` ebre de Frechet
ϕ est bijectif
Alg` ebre gradu´ ee D´ efinition h ≥ 1,
P
h= M
d≥0
` B
+´
ϕh=pd| {z }
Ph,d
Qph
= P
h,0-alg` ebre gradu´ ee.
` B
+´
ϕh=pd= espace de Banach
Lorsque 1 ≤ d ≤ h, si G = groupe formel p-div. isocline de pente d h sur
FpG
OrigF' ˚
Bd(0, 1),
G
OrigF
(F) = G(O
F) −−→
∼(B
+´
ϕh=pdtopologie de Banach d´ efinie par les F -points d’un sous-groupe affino¨ıde
Bd(0, ) ⊂ ˚
Bd(0, 1) pour 0 < < 1.
mdF
−−→
∼(B
+´
ϕh=pd(x
0, . . . , x
d−1) 7−→ X
0≤i≤d−1
X
n∈Z
ˆ x
ip−nh˜
p
nd+iAlg` ebre gradu´ ee D´ efinition h ≥ 1,
P
h= M
d≥0
` B
+´
ϕh=pd| {z }
Ph,d
Qph
= P
h,0-alg` ebre gradu´ ee.
` B
+´
ϕh=pd= espace de Banach
Lorsque 1 ≤ d ≤ h, si G = groupe formel p-div. isocline de pente d h sur
FpG
OrigF' ˚
Bd(0, 1),
G
OrigF
(F) = G(O
F) −−→
∼(B
+´
ϕh=pdtopologie de Banach d´ efinie par les F -points d’un sous-groupe affino¨ıde
Bd(0, ) ⊂ ˚
Bd(0, 1) pour 0 < < 1.
mdF
−−→
∼(B
+´
ϕh=pd(x
0, . . . , x
d−1) 7−→ X
0≤i≤d−1
X
n∈Z
ˆ x
ip−nh˜
p
nd+iAlg` ebre gradu´ ee D´ efinition h ≥ 1,
P
h= M
d≥0
` B
+´
ϕh=pd| {z }
Ph,d
Qph
= P
h,0-alg` ebre gradu´ ee.
` B
+´
ϕh=pd= espace de Banach
Lorsque 1 ≤ d ≤ h, si G = groupe formel p-div. isocline de pente d h sur
FpG
OrigF' ˚
Bd(0, 1),
G
OrigF
(F ) = G(O
F) −−→
∼(B
+´
ϕh=pdtopologie de Banach d´ efinie par les F -points d’un sous-groupe affino¨ıde
Bd(0, ) ⊂ ˚
Bd(0, 1) pour 0 < < 1.
mdF
−−→
∼(B
+´
ϕh=pd(x
0, . . . , x
d−1) 7−→ X
0≤i≤d−1
X
n∈Z
ˆ x
ip−nh˜
p
nd+iAlg` ebre gradu´ ee D´ efinition h ≥ 1,
P
h= M
d≥0
` B
+´
ϕh=pd| {z }
Ph,d
Qph
= P
h,0-alg` ebre gradu´ ee.
` B
+´
ϕh=pd= espace de Banach
Lorsque 1 ≤ d ≤ h, si G = groupe formel p-div. isocline de pente d h sur
FpG
OrigF' ˚
Bd(0, 1),
G
OrigF
(F ) = G(O
F) −−→
∼(B
+´
ϕh=pdtopologie de Banach d´ efinie par les F -points d’un sous-groupe affino¨ıde
Bd(0, ) ⊂ ˚
Bd(0, 1) pour 0 < < 1.
mdF
−−→
∼(B
+´
ϕh=pd(x
0, . . . , x
d−1) 7−→ X
0≤i≤d−1
X
n∈Z
ˆ x
ip−nh˜
p
nd+iCourbe D´ efinition
h ≥ 1, X
h= Proj(P
h). On note X := X
1.
Th´ eor` eme
1.
X
hest un sch´ ema noeth´ erien r´ egulier de dimension 1
2.X
h' X ⊗
QpQphvia (B
+)
ϕ=pd| {z }
P1,d
, → (B
+)
ϕh=phd| {z }
Ph,hd
3.
t ∈ P
1,1\ {0}, V
+(t) = {∞}, un seul point de X :
3.1 C=corps r´esiduel en∞est alg´ebriquement clos, valu´e complet|Qp
3.2 R(OC) =˘
(x(n))n≥0|x(n)∈ OC, (x(n+1))p=x(n)¯
=OF canoniquement 3.3 Bcris+ θ C anneau de Fontaine associ´e, B+=T
n≥1ϕn(Bcris+ ) canoniquement
3.4 O\X,∞=BdR+ θ C , t=uniformisante= p´eriode deµp∞ surOC 3.5 Si Be=Bcrisϕ=Id, X\ {∞}=Spec(Be)et Be est anneau principal !
En fait,deg =−v∞:Be→N∪ {−∞}fait de(Be,deg)un anneau
«presque euclidien»non euclidien
4.
Si K |
Qp, C = K , F b = Frac(R(O
C)), X munie canoniquement de ∞ ∈ X et
X ||
Gal(K|K)stabilise ∞
Courbe D´ efinition
h ≥ 1, X
h= Proj(P
h). On note X := X
1. Th´ eor` eme
1.
X
hest un sch´ ema noeth´ erien r´ egulier de dimension 1
2.
X
h' X ⊗
QpQphvia (B
+)
ϕ=pd| {z }
P1,d
, → (B
+)
ϕh=phd| {z }
Ph,hd
3.
t ∈ P
1,1\ {0}, V
+(t) = {∞}, un seul point de X :
3.1 C=corps r´esiduel en∞est alg´ebriquement clos, valu´e complet|Qp
3.2 R(OC) =˘
(x(n))n≥0|x(n)∈ OC, (x(n+1))p=x(n)¯
=OF canoniquement 3.3 Bcris+ θ C anneau de Fontaine associ´e, B+=T
n≥1ϕn(Bcris+ ) canoniquement
3.4 O\X,∞=BdR+ θ C , t=uniformisante= p´eriode deµp∞ surOC 3.5 Si Be=Bcrisϕ=Id, X\ {∞}=Spec(Be)et Be est anneau principal !
En fait,deg =−v∞:Be→N∪ {−∞}fait de(Be,deg)un anneau
«presque euclidien»non euclidien
4.
Si K |
Qp, C = K , F b = Frac(R(O
C)), X munie canoniquement de ∞ ∈ X et
X ||
Gal(K|K)stabilise ∞
Courbe D´ efinition
h ≥ 1, X
h= Proj(P
h). On note X := X
1. Th´ eor` eme
1.
X
hest un sch´ ema noeth´ erien r´ egulier de dimension 1
2.X
h' X ⊗
QpQphvia (B
+)
ϕ=pd| {z }
P1,d
, → (B
+)
ϕh=phd| {z }
Ph,hd
3.
t ∈ P
1,1\ {0}, V
+(t) = {∞}, un seul point de X :
3.1 C=corps r´esiduel en∞est alg´ebriquement clos, valu´e complet|Qp
3.2 R(OC) =˘
(x(n))n≥0|x(n)∈ OC, (x(n+1))p=x(n)¯
=OF canoniquement 3.3 Bcris+ θ C anneau de Fontaine associ´e, B+=T
n≥1ϕn(Bcris+ ) canoniquement
3.4 O\X,∞=BdR+ θ C , t=uniformisante= p´eriode deµp∞ surOC 3.5 Si Be=Bcrisϕ=Id, X\ {∞}=Spec(Be)et Be est anneau principal !
En fait,deg =−v∞:Be→N∪ {−∞}fait de(Be,deg)un anneau
«presque euclidien»non euclidien
4.
Si K |
Qp, C = K , F b = Frac(R(O
C)), X munie canoniquement de ∞ ∈ X et
X ||
Gal(K|K)stabilise ∞
Courbe D´ efinition
h ≥ 1, X
h= Proj(P
h). On note X := X
1. Th´ eor` eme
1.
X
hest un sch´ ema noeth´ erien r´ egulier de dimension 1
2.X
h' X ⊗
QpQphvia (B
+)
ϕ=pd| {z }
P1,d
, → (B
+)
ϕh=phd| {z }
Ph,hd
3.
t ∈ P
1,1\ {0}, V
+(t) = {∞}, un seul point de X :
3.1 C=corps r´esiduel en∞est alg´ebriquement clos, valu´e complet|Qp
3.2 R(OC) =˘
(x(n))n≥0|x(n)∈ OC, (x(n+1))p=x(n)¯
=OF canoniquement 3.3 Bcris+ θ C anneau de Fontaine associ´e, B+=T
n≥1ϕn(Bcris+ ) canoniquement
3.4 O\X,∞=BdR+ θ C , t=uniformisante= p´eriode deµp∞ surOC 3.5 Si Be=Bcrisϕ=Id, X\ {∞}=Spec(Be)et Be est anneau principal !
En fait,deg =−v∞:Be→N∪ {−∞}fait de(Be,deg)un anneau
«presque euclidien»non euclidien
4.
Si K |
Qp, C = K , F b = Frac(R(O
C)), X munie canoniquement de ∞ ∈ X et
X ||
Gal(K|K)stabilise ∞
Courbe D´ efinition
h ≥ 1, X
h= Proj(P
h). On note X := X
1. Th´ eor` eme
1.
X
hest un sch´ ema noeth´ erien r´ egulier de dimension 1
2.X
h' X ⊗
QpQphvia (B
+)
ϕ=pd| {z }
P1,d
, → (B
+)
ϕh=phd| {z }
Ph,hd
3.
t ∈ P
1,1\ {0}, V
+(t) = {∞}, un seul point de X :
3.1 C=corps r´esiduel en∞est alg´ebriquement clos, valu´e complet|Qp
3.2 R(OC) =˘
(x(n))n≥0|x(n)∈ OC, (x(n+1))p=x(n)¯
=OF canoniquement 3.3 Bcris+ θ C anneau de Fontaine associ´e, B+=T
n≥1ϕn(Bcris+ ) canoniquement
3.4 O\X,∞=BdR+ θ C , t=uniformisante= p´eriode deµp∞ surOC 3.5 Si Be=Bcrisϕ=Id, X\ {∞}=Spec(Be)et Be est anneau principal !
En fait,deg =−v∞:Be→N∪ {−∞}fait de(Be,deg)un anneau
«presque euclidien»non euclidien
4.
Si K |
Qp, C = K , F b = Frac(R(O
C)), X munie canoniquement de ∞ ∈ X et
X ||
Gal(K|K)stabilise ∞
Courbe D´ efinition
h ≥ 1, X
h= Proj(P
h). On note X := X
1. Th´ eor` eme
1.
X
hest un sch´ ema noeth´ erien r´ egulier de dimension 1
2.X
h' X ⊗
QpQphvia (B
+)
ϕ=pd| {z }
P1,d
, → (B
+)
ϕh=phd| {z }
Ph,hd
3.
t ∈ P
1,1\ {0}, V
+(t) = {∞}, un seul point de X :
3.1 C=corps r´esiduel en∞est alg´ebriquement clos, valu´e complet|Qp
3.2 R(OC) =˘
(x(n))n≥0|x(n)∈ OC, (x(n+1))p=x(n)¯
=OF canoniquement 3.3 Bcris+ θ C anneau de Fontaine associ´e, B+=T
n≥1ϕn(Bcris+ ) canoniquement
3.4 O\X,∞=BdR+ θ C , t=uniformisante= p´eriode deµp∞ surOC 3.5 Si Be=Bcrisϕ=Id, X\ {∞}=Spec(Be)et Be est anneau principal !
En fait,deg =−v∞:Be→N∪ {−∞}fait de(Be,deg)un anneau
«presque euclidien»non euclidien
4.
Si K |
Qp, C = K , F b = Frac(R(O
C)), X munie canoniquement de ∞ ∈ X et
X ||
Gal(K|K)stabilise ∞
Courbe D´ efinition
h ≥ 1, X
h= Proj(P
h). On note X := X
1. Th´ eor` eme
1.
X
hest un sch´ ema noeth´ erien r´ egulier de dimension 1
2.X
h' X ⊗
QpQphvia (B
+)
ϕ=pd| {z }
P1,d
, → (B
+)
ϕh=phd| {z }
Ph,hd
3.
t ∈ P
1,1\ {0}, V
+(t) = {∞}, un seul point de X :
3.1 C=corps r´esiduel en∞est alg´ebriquement clos, valu´e complet|Qp
3.2 R(OC) =˘
(x(n))n≥0|x(n)∈ OC, (x(n+1))p=x(n)¯
=OF canoniquement
3.3 Bcris+ θ C anneau de Fontaine associ´e, B+=T
n≥1ϕn(Bcris+ ) canoniquement
3.4 O\X,∞=BdR+ θ C , t=uniformisante= p´eriode deµp∞ surOC 3.5 Si Be=Bcrisϕ=Id, X\ {∞}=Spec(Be)et Be est anneau principal !
En fait,deg =−v∞:Be→N∪ {−∞}fait de(Be,deg)un anneau
«presque euclidien»non euclidien
4.
Si K |
Qp, C = K , F b = Frac(R(O
C)), X munie canoniquement de ∞ ∈ X et
X ||
Gal(K|K)stabilise ∞
Courbe D´ efinition
h ≥ 1, X
h= Proj(P
h). On note X := X
1. Th´ eor` eme
1.
X
hest un sch´ ema noeth´ erien r´ egulier de dimension 1
2.X
h' X ⊗
QpQphvia (B
+)
ϕ=pd| {z }
P1,d
, → (B
+)
ϕh=phd| {z }
Ph,hd
3.
t ∈ P
1,1\ {0}, V
+(t) = {∞}, un seul point de X :
3.1 C=corps r´esiduel en∞est alg´ebriquement clos, valu´e complet|Qp
3.2 R(OC) =˘
(x(n))n≥0|x(n)∈ OC, (x(n+1))p=x(n)¯
=OF canoniquement 3.3 Bcris+ θ C anneau de Fontaine associ´e, B+=T
n≥1ϕn(Bcris+ ) canoniquement
3.4 O\X,∞=BdR+ θ C , t=uniformisante= p´eriode deµp∞ surOC 3.5 Si Be=Bcrisϕ=Id, X\ {∞}=Spec(Be)et Be est anneau principal !
En fait,deg =−v∞:Be→N∪ {−∞}fait de(Be,deg)un anneau
«presque euclidien»non euclidien
4.
Si K |
Qp, C = K , F b = Frac(R(O
C)), X munie canoniquement de ∞ ∈ X et
X ||
Gal(K|K)stabilise ∞
Courbe D´ efinition
h ≥ 1, X
h= Proj(P
h). On note X := X
1. Th´ eor` eme
1.
X
hest un sch´ ema noeth´ erien r´ egulier de dimension 1
2.X
h' X ⊗
QpQphvia (B
+)
ϕ=pd| {z }
P1,d
, → (B
+)
ϕh=phd| {z }
Ph,hd
3.
t ∈ P
1,1\ {0}, V
+(t) = {∞}, un seul point de X :
3.1 C=corps r´esiduel en∞est alg´ebriquement clos, valu´e complet|Qp
3.2 R(OC) =˘
(x(n))n≥0|x(n)∈ OC, (x(n+1))p=x(n)¯
=OF canoniquement 3.3 Bcris+ θ C anneau de Fontaine associ´e, B+=T
n≥1ϕn(Bcris+ ) canoniquement
3.4 O\X,∞=BdR+ θ C , t=uniformisante= p´eriode deµp∞ surOC
3.5 Si Be=Bcrisϕ=Id, X\ {∞}=Spec(Be)etBe est anneau principal ! En fait,deg =−v∞:Be→N∪ {−∞}fait de(Be,deg)un anneau
«presque euclidien»non euclidien
4.
Si K |
Qp, C = K , F b = Frac(R(O
C)), X munie canoniquement de ∞ ∈ X et
X ||
Gal(K|K)stabilise ∞
Courbe D´ efinition
h ≥ 1, X
h= Proj(P
h). On note X := X
1. Th´ eor` eme
1.
X
hest un sch´ ema noeth´ erien r´ egulier de dimension 1
2.X
h' X ⊗
QpQphvia (B
+)
ϕ=pd| {z }
P1,d
, → (B
+)
ϕh=phd| {z }
Ph,hd
3.
t ∈ P
1,1\ {0}, V
+(t) = {∞}, un seul point de X :
3.1 C=corps r´esiduel en∞est alg´ebriquement clos, valu´e complet|Qp
3.2 R(OC) =˘
(x(n))n≥0|x(n)∈ OC, (x(n+1))p=x(n)¯
=OF canoniquement 3.3 Bcris+ θ C anneau de Fontaine associ´e, B+=T
n≥1ϕn(Bcris+ ) canoniquement
3.4 O\X,∞=BdR+ θ C , t=uniformisante= p´eriode deµp∞ surOC 3.5 Si Be=Bcrisϕ=Id, X\ {∞}=Spec(Be)etBe est anneau principal !
En fait,deg =−v∞:Be→N∪ {−∞}fait de(Be,deg)un anneau
«presque euclidien»non euclidien
4.
Si K |
Qp, C = K , F b = Frac(R(O
C)), X munie canoniquement de ∞ ∈ X et
X ||
Gal(K|K)stabilise ∞
Courbe D´ efinition
h ≥ 1, X
h= Proj(P
h). On note X := X
1. Th´ eor` eme
1.
X
hest un sch´ ema noeth´ erien r´ egulier de dimension 1
2.X
h' X ⊗
QpQphvia (B
+)
ϕ=pd| {z }
P1,d
, → (B
+)
ϕh=phd| {z }
Ph,hd
3.
t ∈ P
1,1\ {0}, V
+(t) = {∞}, un seul point de X :
3.1 C=corps r´esiduel en∞est alg´ebriquement clos, valu´e complet|Qp
3.2 R(OC) =˘
(x(n))n≥0|x(n)∈ OC, (x(n+1))p=x(n)¯
=OF canoniquement 3.3 Bcris+ θ C anneau de Fontaine associ´e, B+=T
n≥1ϕn(Bcris+ ) canoniquement
3.4 O\X,∞=BdR+ θ C , t=uniformisante= p´eriode deµp∞ surOC 3.5 Si Be=Bcrisϕ=Id, X\ {∞}=Spec(Be)etBe est anneau principal !
En fait,deg =−v∞:Be→N∪ {−∞}fait de(Be,deg)un anneau
«presque euclidien»non euclidien
4.
Si K |
Qp, C = K , F b = Frac(R(O
C)), X munie canoniquement de ∞ ∈ X et
X ||
Gal(K|K)stabilise ∞
Courbe D´ efinition
h ≥ 1, X
h= Proj(P
h). On note X := X
1. Th´ eor` eme
1.
X
hest un sch´ ema noeth´ erien r´ egulier de dimension 1
2.X
h' X ⊗
QpQphvia (B
+)
ϕ=pd| {z }
P1,d
, → (B
+)
ϕh=phd| {z }
Ph,hd
3.
t ∈ P
1,1\ {0}, V
+(t) = {∞}, un seul point de X :
3.1 C=corps r´esiduel en∞est alg´ebriquement clos, valu´e complet|Qp
3.2 R(OC) =˘
(x(n))n≥0|x(n)∈ OC, (x(n+1))p=x(n)¯
=OF canoniquement 3.3 Bcris+ θ C anneau de Fontaine associ´e, B+=T
n≥1ϕn(Bcris+ ) canoniquement
3.4 O\X,∞=BdR+ θ C , t=uniformisante= p´eriode deµp∞ surOC 3.5 Si Be=Bcrisϕ=Id, X\ {∞}=Spec(Be)etBe est anneau principal !
En fait,deg =−v∞:Be→N∪ {−∞}fait de(Be,deg)un anneau
«presque euclidien»non euclidien
4.
Si K |
Qp, C = K , F b = Frac(R(O
C)), X munie canoniquement de ∞ ∈ X et
X ||
Gal(K|K)stabilise ∞
La courbe
5
. Tous les points ferm´ es de X sont de la forme pr´ ec´ edente, de degr´ e 1, et
∀f ∈
Qp(X )
×, deg(div(f )) = 0.
P
`
(B
+)
ϕ=p´
= `
P
1,1\ {0} ´ /
Q×p−−→ |X
∼|.
Mˆ eme propri´ et´ es pour X
h, en rempla¸ cant t ∈ P
1,1par t
h∈ P
h,1. t
h= p´ eriode d’un groupe de Lubin-Tate associ´ e ` a
QphLe morphisme
π
h: X
h→ X
est ´ etale fini galoisien de groupe Gal(
Qph|Q
p). Si V
+(t) = ∞, π
−1h(∞) = {∞
0, . . . , ∞
h−1} o` u t
hp´ eriode d’un Lubin-Tate,
{∞
i} = V
+(ϕ
i(t
h)) et
t = Norme
Xh/X(t
h) =
h−1
Y
i=0
ϕ
i(t
h)
La courbe
5
. Tous les points ferm´ es de X sont de la forme pr´ ec´ edente, de degr´ e 1, et
∀f ∈
Qp(X )
×, deg(div(f )) = 0.
P
`
(B
+)
ϕ=p´
= `
P
1,1\ {0} ´ /
Q×p−−→ |X
∼|.
Mˆ eme propri´ et´ es pour X
h, en rempla¸ cant t ∈ P
1,1par t
h∈ P
h,1. t
h= p´ eriode d’un groupe de Lubin-Tate associ´ e ` a
QphLe morphisme
π
h: X
h→ X
est ´ etale fini galoisien de groupe Gal(
Qph|Q
p). Si V
+(t) = ∞, π
−1h(∞) = {∞
0, . . . , ∞
h−1} o` u t
hp´ eriode d’un Lubin-Tate,
{∞
i} = V
+(ϕ
i(t
h)) et
t = Norme
Xh/X(t
h) =
h−1
Y
i=0
ϕ
i(t
h)
La courbe
5
. Tous les points ferm´ es de X sont de la forme pr´ ec´ edente, de degr´ e 1, et
∀f ∈
Qp(X )
×, deg(div(f )) = 0.
P
`
(B
+)
ϕ=p´
= `
P
1,1\ {0} ´ /
Q×p−−→ |X
∼|.
Mˆ eme propri´ et´ es pour X
h, en rempla¸ cant t ∈ P
1,1par t
h∈ P
h,1. t
h= p´ eriode d’un groupe de Lubin-Tate associ´ e ` a
QphLe morphisme
π
h: X
h→ X
est ´ etale fini galoisien de groupe Gal(
Qph|
Qp). Si V
+(t) = ∞, π
−1h(∞) = {∞
0, . . . , ∞
h−1} o` u t
hp´ eriode d’un Lubin-Tate,
{∞
i} = V
+(ϕ
i(t
h)) et
t = Norme
Xh/X(t
h) =
h−1
Y
i=0
ϕ
i(t
h)
Uniformisation rigide analytique
x = P
n≥0
[x
n]p
n∈ W (O
F) est dit primitif de degr´ e 1 si x
0∈
mF\ {0} et x
1∈ O
F×. Par exemple, x = [z] − p avec z ∈
mF\ {0}.
Y = ˘
Id´ eaux de W (O
F) ˆ
1p
˜ engendr´ es par un ´ el´ ement primitif de degr´ e 1 ¯ Th´ eor` eme
1.
Y ⊂
Spm`
W (O
F) ˆ
1p
˜´ et ∀m ∈ Y , C
m= W (O
F) ˆ
1p
˜ /m est un corps valu´ e complet alg´ ebriquement clos extension de
Qp2.
∀m ∈ Y , ∃z ∈
mF\ {0},
m= ([z] − p).
3.Si pour ∈ 1 +
mF\ {1} on note
u
= 1 + ˆ
1/p˜
+ · · · + ˆ
p−1p˜
, u
est primitif de degr´ e 1 et
` ˚
B(F ) \ {0} ´ /
Z×p−−→
∼Y
α 7−→ `
u
1+α´ .
4.
Y ⊂ M `
W (O
F) ˆ
1p
˜´ , l’espace de Berkovich des vecteurs de Witt,
«
Y = points classiques
»,«v
r= Norme de Gauss
»Uniformisation rigide analytique
x = P
n≥0
[x
n]p
n∈ W (O
F) est dit primitif de degr´ e 1 si x
0∈
mF\ {0} et x
1∈ O
F×. Par exemple, x = [z] − p avec z ∈
mF\ {0}.
Y = ˘
Id´ eaux de W (O
F) ˆ
1p
˜ engendr´ es par un ´ el´ ement primitif de degr´ e 1 ¯ Th´ eor` eme
1.
Y ⊂
Spm`
W (O
F) ˆ
1p
˜´ et ∀m ∈ Y , C
m= W (O
F) ˆ
1p
˜ /m est un corps valu´ e complet alg´ ebriquement clos extension de
Qp2.
∀m ∈ Y , ∃z ∈
mF\ {0},
m= ([z] − p).
3.Si pour ∈ 1 +
mF\ {1} on note
u
= 1 + ˆ
1/p˜
+ · · · + ˆ
p−1p˜
, u
est primitif de degr´ e 1 et
` ˚
B(F ) \ {0} ´ /
Z×p−−→
∼Y
α 7−→ `
u
1+α´ .
4.
Y ⊂ M `
W (O
F) ˆ
1p
˜´ , l’espace de Berkovich des vecteurs de Witt,
«
Y = points classiques
»,«v
r= Norme de Gauss
»Uniformisation rigide analytique
x = P
n≥0
[x
n]p
n∈ W (O
F) est dit primitif de degr´ e 1 si x
0∈
mF\ {0} et x
1∈ O
F×. Par exemple, x = [z] − p avec z ∈
mF\ {0}.
Y = ˘
Id´ eaux de W (O
F) ˆ
1p
˜ engendr´ es par un ´ el´ ement primitif de degr´ e 1 ¯
Th´ eor` eme
1.Y ⊂
Spm`
W (O
F) ˆ
1p
˜´ et ∀m ∈ Y , C
m= W (O
F) ˆ
1p
˜ /m est un corps valu´ e complet alg´ ebriquement clos extension de
Qp2.
∀m ∈ Y , ∃z ∈
mF\ {0},
m= ([z] − p).
3.Si pour ∈ 1 +
mF\ {1} on note
u
= 1 + ˆ
1/p˜
+ · · · + ˆ
p−1p˜
, u
est primitif de degr´ e 1 et
` ˚
B(F ) \ {0} ´ /
Z×p−−→
∼Y
α 7−→ `
u
1+α´ .
4.
Y ⊂ M `
W (O
F) ˆ
1p
˜´ , l’espace de Berkovich des vecteurs de Witt,
«
Y = points classiques
»,«v
r= Norme de Gauss
»Uniformisation rigide analytique
x = P
n≥0
[x
n]p
n∈ W (O
F) est dit primitif de degr´ e 1 si x
0∈
mF\ {0} et x
1∈ O
F×. Par exemple, x = [z] − p avec z ∈
mF\ {0}.
Y = ˘
Id´ eaux de W (O
F) ˆ
1p
˜ engendr´ es par un ´ el´ ement primitif de degr´ e 1 ¯ Th´ eor` eme
1.
Y ⊂
Spm`
W (O
F) ˆ
1p
˜´ et ∀m ∈ Y , C
m= W (O
F) ˆ
1p
˜ /m est un corps valu´ e complet alg´ ebriquement clos extension de
Qp2.
∀m ∈ Y , ∃z ∈
mF\ {0},
m= ([z] − p).
3.Si pour ∈ 1 +
mF\ {1} on note
u
= 1 + ˆ
1/p˜
+ · · · + ˆ
p−1p˜
, u
est primitif de degr´ e 1 et
` ˚
B(F ) \ {0} ´ /
Z×p−−→
∼Y
α 7−→ `
u
1+α´ .
4.
Y ⊂ M `
W (O
F) ˆ
1p
˜´ , l’espace de Berkovich des vecteurs de Witt,
«
Y = points classiques
»,«v
r= Norme de Gauss
»Uniformisation rigide analytique
x = P
n≥0
[x
n]p
n∈ W (O
F) est dit primitif de degr´ e 1 si x
0∈
mF\ {0} et x
1∈ O
F×. Par exemple, x = [z] − p avec z ∈
mF\ {0}.
Y = ˘
Id´ eaux de W (O
F) ˆ
1p
˜ engendr´ es par un ´ el´ ement primitif de degr´ e 1 ¯ Th´ eor` eme
1.
Y ⊂
Spm`
W (O
F) ˆ
1p
˜´ et ∀m ∈ Y , C
m= W (O
F) ˆ
1p
˜ /m est un corps valu´ e complet alg´ ebriquement clos extension de
Qp2.
∀m ∈ Y , ∃z ∈
mF\ {0},
m= ([z] − p).
3.
Si pour ∈ 1 +
mF\ {1} on note u
= 1 + ˆ
1/p˜
+ · · · + ˆ
p−1p˜
, u
est primitif de degr´ e 1 et
` ˚
B(F ) \ {0} ´ /
Z×p−−→
∼Y
α 7−→ `
u
1+α´ .
4.
Y ⊂ M `
W (O
F) ˆ
1p
˜´ , l’espace de Berkovich des vecteurs de Witt,
«
Y = points classiques
»,«v
r= Norme de Gauss
»Uniformisation rigide analytique
x = P
n≥0
[x
n]p
n∈ W (O
F) est dit primitif de degr´ e 1 si x
0∈
mF\ {0} et x
1∈ O
F×. Par exemple, x = [z] − p avec z ∈
mF\ {0}.
Y = ˘
Id´ eaux de W (O
F) ˆ
1p
˜ engendr´ es par un ´ el´ ement primitif de degr´ e 1 ¯ Th´ eor` eme
1.
Y ⊂
Spm`
W (O
F) ˆ
1p
˜´ et ∀m ∈ Y , C
m= W (O
F) ˆ
1p
˜ /m est un corps valu´ e complet alg´ ebriquement clos extension de
Qp2.
∀m ∈ Y , ∃z ∈
mF\ {0},
m= ([z] − p).
3.
Si pour ∈ 1 +
mF\ {1} on note u
= 1 + ˆ
1/p˜
+ · · · + ˆ
p−1p˜
, u
est primitif de degr´ e 1 et
` ˚
B(F ) \ {0} ´ /
Z×p−−→
∼Y
α 7−→ `
u
1+α´ .
4.
Y ⊂ M `
W (O
F) ˆ
1p
˜´ , l’espace de Berkovich des vecteurs de Witt,
«
Y = points classiques
»,«v
r= Norme de Gauss
»Uniformisation rigide analytique
x = P
n≥0
[x
n]p
n∈ W (O
F) est dit primitif de degr´ e 1 si x
0∈
mF\ {0} et x
1∈ O
F×. Par exemple, x = [z] − p avec z ∈
mF\ {0}.
Y = ˘
Id´ eaux de W (O
F) ˆ
1p
˜ engendr´ es par un ´ el´ ement primitif de degr´ e 1 ¯ Th´ eor` eme
1.
Y ⊂
Spm`
W (O
F) ˆ
1p
˜´ et ∀m ∈ Y , C
m= W (O
F) ˆ
1p
˜ /m est un corps valu´ e complet alg´ ebriquement clos extension de
Qp2.
∀m ∈ Y , ∃z ∈
mF\ {0},
m= ([z] − p).
3.
Si pour ∈ 1 +
mF\ {1} on note u
= 1 + ˆ
1/p˜
+ · · · + ˆ
p−1p˜
, u
est primitif de degr´ e 1 et
` ˚
B(F ) \ {0} ´ /
Z×p−−→
∼Y
α 7−→ `
u
1+α´ .
4.
Y ⊂ M `
W (O
F) ˆ
1p
˜´ , l’espace de Berkovich des vecteurs de Witt,
«
Y = points classiques
»,«v
r= Norme de Gauss
»Uniformisation rigide analytique
5.
Y /ϕ
hZ−−→
∼|X
h| ([z] − p) mod ϕ
hZ7−→ V
+(t
h) o` u
t
h=
«Y
n∈Z
“ 1 −
ˆ z
pnh˜ p
”
»
= Y
n≥0
“ 1 −
ˆ z
pnh˜ p
” .« Y
n<0
“ 1 −
ˆ z
pnh˜ p
”
| {z }
produit non convergeant d´efini de fa¸con d´etourn´ee
»
Fibr´ es vectoriels
Fibr´es en droite
h ≥ 1, d ∈
ZO
Xh(d ) = P
]h[d ] fibr´ e en droites sur X
hP
h= M
d≥0
H
0(X
h, O
Xh(d ))
Th´ eor` eme
1.
d 7→ [O
X(d)] induit un isomorphisme
Z '// Pic(X )
ww
deg2.
H
1(X , O
X) = 0
«genre 0
»commeP1 3.H
1(X , O
X(−1)) 6= 0 diff´ erent de
P1→ li´ e au fait que (B
e, deg) pas euclidien
→ si 0 → O
X→ E → O
X(1) → 0 non triviale, E semi-stable de pente
1 2
∈ /
ZFibr´ es vectoriels
Fibr´es en droite
h ≥ 1, d ∈
ZO
Xh(d ) = P
]h[d ] fibr´ e en droites sur X
hP
h= M
d≥0
H
0(X
h, O
Xh(d ))
Th´ eor` eme
1.
d 7→ [O
X(d)] induit un isomorphisme
Z '// Pic(X )
ww
deg2.
H
1(X , O
X) = 0
«genre 0
»commeP1 3.H
1(X , O
X(−1)) 6= 0 diff´ erent de
P1→ li´ e au fait que (B
e, deg) pas euclidien
→ si 0 → O
X→ E → O
X(1) → 0 non triviale, E semi-stable de pente
1 2
∈ /
ZFibr´ es vectoriels
Fibr´es en droite
h ≥ 1, d ∈
ZO
Xh(d ) = P
]h[d ] fibr´ e en droites sur X
hP
h= M
d≥0
H
0(X
h, O
Xh(d ))
Th´ eor` eme
1.
d 7→ [O
X(d)] induit un isomorphisme
Z '// Pic(X )
ww
deg2.
H
1(X , O
X) = 0
«genre 0
»commeP1 3.H
1(X , O
X(−1)) 6= 0 diff´ erent de
P1→ li´ e au fait que (B
e, deg) pas euclidien
→ si 0 → O
X→ E → O
X(1) → 0 non triviale, E semi-stable de pente
1 2
∈ /
ZFibr´ es vectoriels
Fibr´es en droite
h ≥ 1, d ∈
ZO
Xh(d ) = P
]h[d ] fibr´ e en droites sur X
hP
h= M
d≥0
H
0(X
h, O
Xh(d ))
Th´ eor` eme
1.
d 7→ [O
X(d)] induit un isomorphisme
Z '// Pic(X )
ww
deg2.
H
1(X , O
X) = 0
«genre 0
»commeP13.
H
1(X , O
X(−1)) 6= 0 diff´ erent de
P1→ li´ e au fait que (B
e, deg) pas euclidien
→ si 0 → O
X→ E → O
X(1) → 0 non triviale, E semi-stable de pente
1 2
∈ /
ZFibr´ es vectoriels
Fibr´es en droite
h ≥ 1, d ∈
ZO
Xh(d ) = P
]h[d ] fibr´ e en droites sur X
hP
h= M
d≥0
H
0(X
h, O
Xh(d ))
Th´ eor` eme
1.
d 7→ [O
X(d)] induit un isomorphisme
Z '// Pic(X )
ww
deg2.
H
1(X , O
X) = 0
«genre 0
»commeP1 3.H
1(X , O
X(−1)) 6= 0 diff´ erent de
P1→ li´ e au fait que (B
e, deg) pas euclidien
→ si 0 → O
X→ E → O
X(1) → 0 non triviale, E semi-stable de pente
1 2
∈ /
ZFibr´ es vectoriels D´ efinition
Pour d ∈
Z, h ≥ 1, π
h: X
h→ X ,
O
X(d, h) = π
h∗O
Xh(d ) fibr´ e de rang h et de degr´ e d .
Pour λ ∈
Q, si λ =
dhavec (d, h) = 1, O
X(λ) = O
X(d, h).
On a µ(O
X(λ)) = λ. Th´ eor` eme
1.
Les fibr´ es semi-stables de pente λ sur X sont les sommes directes de fibr´ es O
X(λ)
2.
La filtration de Harder-Narasimhan d’un fibr´ e vectoriel sur X est scind´ ee
3.L’application
{λ
1≥ · · · ≥ λ
n|n ∈
N, λ
i∈
Q} → {classes d’iso. de fibr´ es sur X } (λ
1, . . . , λ
n) 7→ ˆ
n
M
i=1
O
X(λ
i) ˜
est une bijection.
Fibr´ es vectoriels D´ efinition
Pour d ∈
Z, h ≥ 1, π
h: X
h→ X ,
O
X(d, h) = π
h∗O
Xh(d )
fibr´ e de rang h et de degr´ e d . Pour λ ∈
Q, si λ =
dhavec (d, h) = 1, O
X(λ) = O
X(d, h).
On a µ(O
X(λ)) = λ.
Th´ eor` eme
1.
Les fibr´ es semi-stables de pente λ sur X sont les sommes directes de fibr´ es O
X(λ)
2.
La filtration de Harder-Narasimhan d’un fibr´ e vectoriel sur X est scind´ ee
3.L’application
{λ
1≥ · · · ≥ λ
n|n ∈
N, λ
i∈
Q} → {classes d’iso. de fibr´ es sur X } (λ
1, . . . , λ
n) 7→ ˆ
n
M
i=1
O
X(λ
i) ˜
est une bijection.
Fibr´ es vectoriels D´ efinition
Pour d ∈
Z, h ≥ 1, π
h: X
h→ X ,
O
X(d, h) = π
h∗O
Xh(d )
fibr´ e de rang h et de degr´ e d . Pour λ ∈
Q, si λ =
dhavec (d, h) = 1, O
X(λ) = O
X(d, h).
On a µ(O
X(λ)) = λ.
Th´ eor` eme
1.
Les fibr´ es semi-stables de pente λ sur X sont les sommes directes de fibr´ es O
X(λ)
2.
La filtration de Harder-Narasimhan d’un fibr´ e vectoriel sur X est scind´ ee
3.L’application
{λ
1≥ · · · ≥ λ
n|n ∈
N, λ
i∈
Q} → {classes d’iso. de fibr´ es sur X } (λ
1, . . . , λ
n) 7→ ˆ
n
M
i=1
O
X(λ
i) ˜
est une bijection.
Faiblement admissible ⇒ admissible
K|
Qp, valuation discr` ete corps r´ esiduel parfait. K
0= W (k
K)
Q. ϕ − Mod
K0= Isocristaux = {(D, ϕ)}
Deux fonctions additives
t
N,
ht: ϕ − Mod
K0−→
Zo` u t
N= point terminal de Newton et
ht= dim
K0D.
ϕ − ModFil
K/K0= ϕ-modules filtr´ es de Fontaine = {(D, ϕ,
Fil•D
K)} Trois fonctions additives
t
H, t
N,
ht: ϕ − ModFil
K/K0−→
Zo` u t
H= point terminal de Hodge = P
i∈Z