• Aucun résultat trouvé

Courbes et fibr´es vectoriels en th´eorie de Hodge p-adique

N/A
N/A
Protected

Academic year: 2022

Partager "Courbes et fibr´es vectoriels en th´eorie de Hodge p-adique"

Copied!
83
0
0

Texte intégral

(1)

Courbes et fibr´ es vectoriels en th´ eorie de Hodge p-adique

Laurent Fargues

Travail en commun avec J.M. Fontaine

(2)

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 ´

(3)

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

) ˆ

1

p

˜ ˘ P

n−∞

[x

n

]p

n

| x

n

∈ O

F

¯

(4)

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

) ˆ

1

p

˜

vr

˘ P

n−∞

[x

n

]p

n

| x

n

∈ O

F

¯ _

R

∪ {+∞} inf

n∈Z

{v (x

n

) + nr}

pour r ∈

R+

, v

r

est une valuation

(5)

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

) ˆ

1

p

˜

vr

˘ P

n−∞

[x

n

]p

n

| x

n

∈ O

F

¯ _

R

∪ {+∞} inf

n∈Z

{v (x

n

) + nr}

pour r ∈

R+

, v

r

est une valuation D´ efinition

On note B

+

le compl´ et´ e de W (O

F

) ˆ

1

p

˜ par rapport ` a (v

r

)

r>0

.

ϕ

"" B

+

=

Qp

− alg` ebre de Frechet

ϕ est bijectif

(6)

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

Fp

G

OrigF

' ˚

Bd

(0, 1),

G

Orig

F

(F) = G(O

F

) −−→

(B

+

´

ϕh=pd

topologie 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+i

(7)

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

Fp

G

OrigF

' ˚

Bd

(0, 1),

G

Orig

F

(F) = G(O

F

) −−→

(B

+

´

ϕh=pd

topologie 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+i

(8)

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

Fp

G

OrigF

' ˚

Bd

(0, 1),

G

Orig

F

(F ) = G(O

F

) −−→

(B

+

´

ϕh=pd

topologie 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+i

(9)

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

Fp

G

OrigF

' ˚

Bd

(0, 1),

G

Orig

F

(F ) = G(O

F

) −−→

(B

+

´

ϕh=pd

topologie 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+i

(10)

Courbe D´ efinition

h ≥ 1, X

h

= Proj(P

h

). On note X := X

1

.

Th´ eor` eme

1.

X

h

est un sch´ ema noeth´ erien r´ egulier de dimension 1

2.

X

h

' X ⊗

QpQph

via (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

(11)

Courbe D´ efinition

h ≥ 1, X

h

= Proj(P

h

). On note X := X

1

. Th´ eor` eme

1.

X

h

est un sch´ ema noeth´ erien r´ egulier de dimension 1

2.

X

h

' X ⊗

QpQph

via (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

(12)

Courbe D´ efinition

h ≥ 1, X

h

= Proj(P

h

). On note X := X

1

. Th´ eor` eme

1.

X

h

est un sch´ ema noeth´ erien r´ egulier de dimension 1

2.

X

h

' X ⊗

QpQph

via (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

(13)

Courbe D´ efinition

h ≥ 1, X

h

= Proj(P

h

). On note X := X

1

. Th´ eor` eme

1.

X

h

est un sch´ ema noeth´ erien r´ egulier de dimension 1

2.

X

h

' X ⊗

QpQph

via (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

(14)

Courbe D´ efinition

h ≥ 1, X

h

= Proj(P

h

). On note X := X

1

. Th´ eor` eme

1.

X

h

est un sch´ ema noeth´ erien r´ egulier de dimension 1

2.

X

h

' X ⊗

QpQph

via (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

(15)

Courbe D´ efinition

h ≥ 1, X

h

= Proj(P

h

). On note X := X

1

. Th´ eor` eme

1.

X

h

est un sch´ ema noeth´ erien r´ egulier de dimension 1

2.

X

h

' X ⊗

QpQph

via (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

(16)

Courbe D´ efinition

h ≥ 1, X

h

= Proj(P

h

). On note X := X

1

. Th´ eor` eme

1.

X

h

est un sch´ ema noeth´ erien r´ egulier de dimension 1

2.

X

h

' X ⊗

QpQph

via (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

(17)

Courbe D´ efinition

h ≥ 1, X

h

= Proj(P

h

). On note X := X

1

. Th´ eor` eme

1.

X

h

est un sch´ ema noeth´ erien r´ egulier de dimension 1

2.

X

h

' X ⊗

QpQph

via (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

(18)

Courbe D´ efinition

h ≥ 1, X

h

= Proj(P

h

). On note X := X

1

. Th´ eor` eme

1.

X

h

est un sch´ ema noeth´ erien r´ egulier de dimension 1

2.

X

h

' X ⊗

QpQph

via (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

(19)

Courbe D´ efinition

h ≥ 1, X

h

= Proj(P

h

). On note X := X

1

. Th´ eor` eme

1.

X

h

est un sch´ ema noeth´ erien r´ egulier de dimension 1

2.

X

h

' X ⊗

QpQph

via (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

(20)

Courbe D´ efinition

h ≥ 1, X

h

= Proj(P

h

). On note X := X

1

. Th´ eor` eme

1.

X

h

est un sch´ ema noeth´ erien r´ egulier de dimension 1

2.

X

h

' X ⊗

QpQph

via (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

(21)

Courbe D´ efinition

h ≥ 1, X

h

= Proj(P

h

). On note X := X

1

. Th´ eor` eme

1.

X

h

est un sch´ ema noeth´ erien r´ egulier de dimension 1

2.

X

h

' X ⊗

QpQph

via (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

(22)

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,1

par t

h

∈ P

h,1

. t

h

= p´ eriode d’un groupe de Lubin-Tate associ´ e ` a

Qph

Le 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

h

p´ 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

)

(23)

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,1

par t

h

∈ P

h,1

. t

h

= p´ eriode d’un groupe de Lubin-Tate associ´ e ` a

Qph

Le 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

h

p´ 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

)

(24)

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,1

par t

h

∈ P

h,1

. t

h

= p´ eriode d’un groupe de Lubin-Tate associ´ e ` a

Qph

Le morphisme

π

h

: X

h

→ X

est ´ etale fini galoisien de groupe Gal(

Qph

|

Qp

). Si V

+

(t) = ∞, π

−1h

(∞) = {∞

0

, . . . , ∞

h−1

} o` u t

h

p´ 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

)

(25)

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

) ˆ

1

p

˜ engendr´ es par un ´ el´ ement primitif de degr´ e 1 ¯ Th´ eor` eme

1.

Y ⊂

Spm

`

W (O

F

) ˆ

1

p

˜´ et ∀m ∈ Y , C

m

= W (O

F

) ˆ

1

p

˜ /m est un corps valu´ e complet alg´ ebriquement clos extension de

Qp

2.

∀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

) ˆ

1

p

˜´ , l’espace de Berkovich des vecteurs de Witt,

«

Y = points classiques

»,«

v

r

= Norme de Gauss

»

(26)

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

) ˆ

1

p

˜ engendr´ es par un ´ el´ ement primitif de degr´ e 1 ¯ Th´ eor` eme

1.

Y ⊂

Spm

`

W (O

F

) ˆ

1

p

˜´ et ∀m ∈ Y , C

m

= W (O

F

) ˆ

1

p

˜ /m est un corps valu´ e complet alg´ ebriquement clos extension de

Qp

2.

∀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

) ˆ

1

p

˜´ , l’espace de Berkovich des vecteurs de Witt,

«

Y = points classiques

»,«

v

r

= Norme de Gauss

»

(27)

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

) ˆ

1

p

˜ engendr´ es par un ´ el´ ement primitif de degr´ e 1 ¯

Th´ eor` eme

1.

Y ⊂

Spm

`

W (O

F

) ˆ

1

p

˜´ et ∀m ∈ Y , C

m

= W (O

F

) ˆ

1

p

˜ /m est un corps valu´ e complet alg´ ebriquement clos extension de

Qp

2.

∀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

) ˆ

1

p

˜´ , l’espace de Berkovich des vecteurs de Witt,

«

Y = points classiques

»,«

v

r

= Norme de Gauss

»

(28)

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

) ˆ

1

p

˜ engendr´ es par un ´ el´ ement primitif de degr´ e 1 ¯ Th´ eor` eme

1.

Y ⊂

Spm

`

W (O

F

) ˆ

1

p

˜´ et ∀m ∈ Y , C

m

= W (O

F

) ˆ

1

p

˜ /m est un corps valu´ e complet alg´ ebriquement clos extension de

Qp

2.

∀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

) ˆ

1

p

˜´ , l’espace de Berkovich des vecteurs de Witt,

«

Y = points classiques

»,«

v

r

= Norme de Gauss

»

(29)

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

) ˆ

1

p

˜ engendr´ es par un ´ el´ ement primitif de degr´ e 1 ¯ Th´ eor` eme

1.

Y ⊂

Spm

`

W (O

F

) ˆ

1

p

˜´ et ∀m ∈ Y , C

m

= W (O

F

) ˆ

1

p

˜ /m est un corps valu´ e complet alg´ ebriquement clos extension de

Qp

2.

∀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

) ˆ

1

p

˜´ , l’espace de Berkovich des vecteurs de Witt,

«

Y = points classiques

»,«

v

r

= Norme de Gauss

»

(30)

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

) ˆ

1

p

˜ engendr´ es par un ´ el´ ement primitif de degr´ e 1 ¯ Th´ eor` eme

1.

Y ⊂

Spm

`

W (O

F

) ˆ

1

p

˜´ et ∀m ∈ Y , C

m

= W (O

F

) ˆ

1

p

˜ /m est un corps valu´ e complet alg´ ebriquement clos extension de

Qp

2.

∀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

) ˆ

1

p

˜´ , l’espace de Berkovich des vecteurs de Witt,

«

Y = points classiques

»,«

v

r

= Norme de Gauss

»

(31)

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

) ˆ

1

p

˜ engendr´ es par un ´ el´ ement primitif de degr´ e 1 ¯ Th´ eor` eme

1.

Y ⊂

Spm

`

W (O

F

) ˆ

1

p

˜´ et ∀m ∈ Y , C

m

= W (O

F

) ˆ

1

p

˜ /m est un corps valu´ e complet alg´ ebriquement clos extension de

Qp

2.

∀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

) ˆ

1

p

˜´ , l’espace de Berkovich des vecteurs de Witt,

«

Y = points classiques

»,«

v

r

= Norme de Gauss

»

(32)

Uniformisation rigide analytique

5.

Y /ϕ

hZ

−−→

|X

h

| ([z] − p) mod ϕ

hZ

7−→ 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 efini de fa¸con d´etourn´ee

»

(33)

Fibr´ es vectoriels

Fibr´es en droite

h ≥ 1, d ∈

Z

O

Xh

(d ) = P

]h

[d ] fibr´ e en droites sur X

h

P

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

deg

2.

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

∈ /

Z

(34)

Fibr´ es vectoriels

Fibr´es en droite

h ≥ 1, d ∈

Z

O

Xh

(d ) = P

]h

[d ] fibr´ e en droites sur X

h

P

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

deg

2.

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

∈ /

Z

(35)

Fibr´ es vectoriels

Fibr´es en droite

h ≥ 1, d ∈

Z

O

Xh

(d ) = P

]h

[d ] fibr´ e en droites sur X

h

P

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

deg

2.

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

∈ /

Z

(36)

Fibr´ es vectoriels

Fibr´es en droite

h ≥ 1, d ∈

Z

O

Xh

(d ) = P

]h

[d ] fibr´ e en droites sur X

h

P

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

deg

2.

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

∈ /

Z

(37)

Fibr´ es vectoriels

Fibr´es en droite

h ≥ 1, d ∈

Z

O

Xh

(d ) = P

]h

[d ] fibr´ e en droites sur X

h

P

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

deg

2.

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

∈ /

Z

(38)

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 λ =

dh

avec (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.

(39)

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 λ =

dh

avec (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.

(40)

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 λ =

dh

avec (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.

(41)

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

−→

Z

o` u t

N

= point terminal de Newton et

ht

= dim

K0

D.

ϕ − ModFil

K/K0

= ϕ-modules filtr´ es de Fontaine = {(D, ϕ,

Fil

D

K

)} Trois fonctions additives

t

H

, t

N

,

ht

: ϕ − ModFil

K/K0

−→

Z

o` u t

H

= point terminal de Hodge = P

i∈Z

dim

KGri

D

K

. On pose

deg = t

H

− t

N

et µ = deg

ht

.

→ filtrations de Harder-Narasimhan pour µ dans la cat´ egorie exacte ϕ − ModFil

K/K0

.

D´ efinition (Fontaine)

Faiblements admissibles = objets semi-stables de pente 0 dans ϕ − ModFil

K/K0

.

Références

Documents relatifs

La condition initiale, pourvu qu’elle soit choisie au hasard, n’intervient plus!.. Robinson) Une dynamique hyperbolique est topologiquement stable Th´eor`eme. (R. Bowen) Une

–Th´ eorie na¨ıve des ensembles : op´ erations ensemblistes usuelles, fonctions et rela- tions, familles d’ensembles ; les entiers et le principe d’induction ; ensembles finis,

On sait que ce probl`eme admet une solution unique dans IP m.. D´ etermination explicite du polynˆ

• exploiter la relation entre le nombre de sommets et d’arˆ etes dans un arbre, sous-arbre couvrant (d´ efinition, existence, obtention). • d´ eterminer des parcours d’arbres,

Un multi-graphe non orient´e connexe poss`ede un chemin eul´erien joignant deux sommets a et b SSI a et b sont les deux seuls sommets de degr´e impair... Graphes

◮ il existe N tel que, quelle que soit la paire de sommets consid´er´ee, il existe un chemin de longueur N les joignant.. Par abus de langage, on parle de

❀ G ij k repr´esente la probabilit´e de transition lorsque le surfeur se trouve sur la page i de passer `a la page j en k clics (chemins de longueur k )... Nous nous sommes

Dans un contexte plus g´en´eral, nous explicitons la suite spectrale de Hodge-Fr¨olicher (suite spectrale reliant la cohomologie de Dolbeault ` a la cohomologie de De Rham), et