Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Springer
Contents
Preliminary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
0.1 Inverse limits and Galois theory . . . . . . . . . . . . . . . . . . . . . . . . . . .
0.1.1 Inverse limits. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
0.1.2 Galois theory. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
0.2 Witt vectors and complete discrete valuation rings . . . . . . . . . . .
0.2.1 Nonarchimedean fields and local fields. . . . . . . . . . . . . . . .
0.2.2 Witt vectors. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
0.2.3 Structure of complete discrete valuation rings . . . . . . . . .
0.2.4 Cohen rings. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
0.3 Galois groups of local fields . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
0.3.1 Ramification groups of finite Galois extension. . . . . . . . .
0.3.2 Galois group of K s /K. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
0.3.3 The functions and . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
0.3.4 Ramification groups of infinite Galois extension. . . . . . . .
0.3.5 Different and discriminant. . . . . . . . . . . . . . . . . . . . . . . . . .
0.4 Ramification in p-adic Lie extensions . . . . . . . . . . . . . . . . . . . . . . .
0.4.1 Sens filtration Theorem. . . . . . . . . . . . . . . . . . . . . . . . . . . .
0.4.2 Totally ramified Zp -extensions. . . . . . . . . . . . . . . . . . . . . . .
0.5 Continuous Cohomology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
0.5.1 Abelian cohomology. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
0.5.2 Non-abelian cohomology. . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
1
1
3
5
5
8
13
17
20
20
22
23
27
28
30
30
35
38
38
41
45
45
45
46
47
48
51
51
51
ii
Contents
1.3 #-adic
1.3.1
1.3.2
1.3.3
1.3.4
54
54
58
60
62
2.2.1 Etale
-modules over E. . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.2 The functor M. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.3 The inverse functor V. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3 p-adic Galois representations of fields of characteristic p > 0 . .
2.3.1 Etale
-modules over E. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.2 The field E!
2.3.3 OE!
and
Z
p representations. . . . . . . . . . . . . . . . . . . . . . . . .
ur
2.3.4 p-adic representations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.5 Down to earth meaning of the equivalence of categories.
65
65
65
66
71
71
73
74
78
78
80
81
83
84
Contents
iii
iv
Contents
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 237
0
Preliminary
Definition 0.1. Let I be a directed set. Let (Ai )iI be a family of objects
in A . This family is called an inverse system(or a projective system) of A
over the index set I if for every pair i j I, there exists a morphism
ji : Aj Ai such that the following two conditions are satisfied:
(1) ii = Id;
(2) For every i j k, ki = ji kj .
Definition 0.2. The inverse limit(or projective limit) of a given inverse system A = (Ai )iI is defined to be an object A in A
#
%
$
A = lim Ai = (ai )
Ai : ji (aj ) = ai for every pair i j ,
iI
iI
Remark 0.3. One doesnt need the set I to be a directed set but only to be
a partially ordered set to define an inverse system. For example, let I&be a
set with trivial ordering, i.e. i j if and only if i = j, then lim Ai =
Ai .
iI
iI
However, this condition is usually satisfied and often needed in application.
By the inverse system condition, one can see immediately i = ji j for
every pair i j. Actually, A is the solution of the universal problem:
0 Preliminary
(
)
iI
topology such that all the&
i s are continuous. Recall that the product topology
of the topological space
Xi is the weakest topology such that the projection
iI
&
prj :
Xi Xj is continuous for every j I. Thus the natural topology
iI
&
of X is the topology induced as a closed subset of
Xi with the product
iI
topology.
For example, if each Xi is endowed with the discrete topology, then X is
endowed with the topology of the inverse limit of discrete topological spaces.
In particular, if each Xi is a finite set endowed with discrete topology, then
we will get
limit of finite sets). In this case, since
& a profinite set (inverse &
lim Xi
Xi is closed, and since
Xi , as the product space of compact
iI
iI
spaces, is still compact, lim Xi is compact too. In this case one can see that
If moreover, each Xi is a (topological) group and if the ij s are (continuous) homomorphisms of groups, then lim Xi is a group with i : limj Xj Xi
nN
nN
is the ring of #-adic integers. The ring Z! is a complete discrete valuation ring
with the maximal ideal generated by #, the residue field Z/#Z = Fl , and the
fraction field
( )
*
1
=
Q! = Z!
#m Z!
#
m=0
being the field of #-adic numbers.
If N 1, let N = #r11 #r22 #rhh be its primary factorization. Then the
isomorphism
h
$
Z/#ri i Z
Z/N Z ,
i=1
can study the inverse limits of objects over this directed set. For the Galois
groups, by definition,
= (E ) lim Gal(E/K) if and only if (F )|E = E for E F E.
EE
EE
From now on, we identify the two groups through the above isomorphism. Put
the topology of the inverse limit with the discrete topology on each Gal(E/K),
the group G = Gal(L/K) is then a profinite group, endowed with a compact
and totally disconnected topology, which is called the Krull topology. We have
Theorem 0.6 (Fundamental Theorem of Galois Theory). There is a
one-one correspondence between intermediate field extensions K K & L
0 Preliminary
'
'
'
Z
lim Z/nZ.
Q Qp
0 Preliminary
(0.1)
(0.2)
Remark 0.11. The ring OK" does not depend on the choice of . Indeed, if
v() = r > 0, v( & ) = s > 0, for any n N, there exists mn N, such that
mn &n OK , so
lim OK /( m )
lim OK /( &n ).
n
n
the topology defined by the valuation for OK is the same as the topology of
the inverse limit with the discrete topology in each OK /mnK . Thus we have
the following propositions:
Proposition 0.17. The local field K is locally compact (equivalently, OK is
compact) if and only if the residue field k is finite.
Proposition 0.18. Let S be a set of representatives of k in OK . Then every
element x OK can be uniquely written as
/
x=
si i
(0.3)
i0
si S
(0.4)
in
si S
By (0.5), '
apn+1 '
an mod mK implies that '
apn+1 '
apn mod mn+1
K . Theren
fore r(a) := lim '
apn exists. By (0.5) again, r(a) is found to be independent
n
(
)
0 Preliminary
K = k(()).
Proof. We only need to show the case that char(k) = 0. In this case, the
composite homomorphism Z - OK ! k is injective and the homomorphism
Z OK extends to Q, hence OK contains a field Q. By Zorns lemma, there
exists a maximal subfield of OK . We denote it by S. Let S be its image in k.
We have an isomorphism S S. It suffices to show that S = k.
First we show k is algebraic over S. If not, there exists a OK whose
image a
k is transcendental over S. The subring S[a] maps to S[
a], hence is
isomorphic to S[X], and S[a] mK = 0. Therefore OK contains the field S(a)
of rational functions of a, contradiction to the maximality of S.
Now for any k, let f(X) be the minimal polynomial of S() over S.
Since char(k) = 0, f is separable and is a simple root of f. Let f S[X] be
a lifting of f. By Hensels Lemma, there exists x OK , f (x) = 0 and x
= .
One can lift S[] to S[x] by sending to S. By the maximality of S, x S.
and thus k = S.
(
)
If K is a p-adic field, char(K) = 0, then r(a + b) 2= r(a) + r(b) in general.
Witt vectors are useful to describe this situation.
0.2.2 Witt vectors.
Let p be a prime number, A be a commutative ring. Let Xi , Yi (i N) be
indeterminates and let
A[X, Y ] = A[X0 , X1 , , Xn , ; Y0 , Y1 , , Yn , ].
Lemma 0.22. For all Z[X, Y ], there exists a unique sequence {n }nN
in Z[X, Y ] such that
n
n1
(X0p + p X1p
pn
= (0 (X, Y ))
Moreover,
n1
+ + pn Xn , Y0p + Y1p
pn1
+ p (1 (X, Y ))
+ + pn Yn )
+ + pn n (X, Y ).
n Z[X0 , X1 , , Xn ; Y0 , Y1 , , Yn ].
(0.6)
pi i (X, Y )p
.
p
i=0
i=0
i=0
Clearly n exists, is unique in Z[ p1 ][X, Y ], and is in Z[ p1 ][X0 , , Xn ; Y0 , , Yn ].
We only need to prove that n has coefficients in Z.
This is done by induction on n. For n = 0, 0 certainly has coefficients
in Z. Assuming i has coefficients in Z for i n, to show that n+1 has
coefficients in Z, we need to prove that
n
(X0p + + pn Xn ; Y0p + + pn Yn )
n
n1
0 (X, Y )p + p1 (X, Y )p
p
p
LHS (X0p + + pn1 Xn1
; Y0p + + pn1 Yn1
) mod pn
n1
0 (X p , Y p )p
n2
+ p1 (X p , Y p )p
+ + pn1 n1 (X p , Y p ) mod pn .
p
n
4
i=0
ni
pi Xip
(
)
polynomials for the sequence (X0 , , Xn , ). One can easily see that Xn
Z[p1 ][W0 , , Wn ] for each n.
For n 1, let Wn (A) = An as a set. Applying the above lemma, if = X +
Y , we set Si Z[X0 , X1 , , Xi ; Y0 , Y1 , , Yi ] to be the corresponding i ; if
= XY , we set Pi Z[X0 , X1 , , Xi ; Y0 , Y1 , , Yi ] to be the corresponding
i .
For two elements a = (a0 , a1 , , an1 ), b = (b0 , b1 , , bn1 ) Wn (A),
put
a + b = (s0 , s1 , , sn1 ), a b = (p0 , p1 , , pn1 ),
where
si = Si (a0 , a1 , , ai ; b0 , b1 , , bi ),
pi = Pi (a0 , a1 , , ai ; b0 , b1 , , bi ).
P0 = X0 Y0 .
(0.7)
10
0 Preliminary
p
p1 5 6
/
1 p
i=1
p i
X0i Y0pi .
(0.8)
(0.9)
Wn (A)
An
(a0 , a1 , , an1 ) & (w0 , w1 , , wn1 )
i
i1
+ + pi ai . Then
wi (a + b) = wi (a) + wi (b)
and
nN
Put the topology of the inverse limit with the discrete topology on each
Wn (A), then W (A) can be viewed as a topological ring. An element in W (A)
is written as (a0 , a1 , , ai , ).
11
Definition 0.25. The ring Wn (A) is called the ring of Witt vectors of length
n of A, an element of it is called a Witt vector of length n.
The ring W (A) is called the ring of Witt vectors of A (of infinite length),
an element of it is called a Witt vector.
By construction, W (A) as a set is isomorphic to AN . For two Witt vectors
a = (a0 , a1 , , an , ), b = (b0 , b1 , , bn , ) W (A), the addition and
multiplication laws are given by
a + b = (s0 , s1 , , sn , ),
a b = (p0 , p1 , , pn , ).
The map
: W (A) AN ,
Wn (A) Wn (B)
(a0 , a1 , , an1 ) & (h(a0 ), h(a1 ), , h(an1 ))
Yi & 1 Xi ,
m Xi = Si (X0 , X1 , , Xi ; Y0 , Y1 , , Yi ).
So is given by
i
Wn (A)
A
i
(a0 , a1 , , an1 ) & ap0 .
Wn (A) An
n1
(a0 , a1 , , an1 ) & (a0 , ap0 , , ap0 ).
In this case certainly is not an isomorphism. Similarly : W (A) AN is
not an isomorphism either.
12
0 Preliminary
(0.10)
/
(a0 , a1 , ) =
n (r(an )), ai A
(0.11)
(0.12)
n=0
(0.13)
13
f (i )pi
(0.14)
i=0
i
i
4
(0.14). Let i = ip , then a =
f (ip )pi . We call {i } the coordinates of
a.
i=0
14
0 Preliminary
If one provides S with the p-adic filtration {pn S}n0 and completes it, one
!
obtains a strict p-ring that will be denoted S' = Z[Xp ]. The residue ring
!
Z[Xip , Yip ]. Consider the two elements
x=
X i pi ,
y=
Yi pi .
i=0
i=0
with Qi Fp [Xip
f (Qi )pi ,
i=0
, Yip
].
/
i=0
f (i )pi
f (i )pi =
i=0
f (i )pi
i=0
with i = Qi (0 , 1 , ; 0 , 1 , ).
Proof. One sees immediately that there is a homomorphism
: Z[Xip
, Yip
]A
!
continuity4to Z[Xip , Yip4 ] A, which sends x = Xi pi to = f (i )pi
and y =
Yi pi to =
f (i )pi . Again induces, on the residue rings, a
) is nothing but i .
this completes the proof of the proposition, as (Q
i
(
)
15
Remark 0.35. If A is a strict p-ring, and its residue ring A/pA is a field, then
A is a complete discrete valuation ring, absolutely unramified.
Proposition 0.36. Suppose A and A& are two p-rings with residue rings k
and k & , suppose A is also strict. For every homomorphism h : k k & , there
exists exactly one homomorphism g : A A& such that the diagram
g
A&
k k &
i=0
g(a) =
/
i=0
g(fA (i )) pi =
/
i=0
fA$ (h(i )) pi ,
hence the uniqueness. But by Proposition 0.33, g defined by the above way is
indeed a homomorphism.
(
)
Theorem 0.37. For every perfect ring k of characteristic p, there exists a
unique strict p-ring H with residue ring k. In fact H = W (k).
Proof. The uniqueness follows from Proposition 0.36. For the existence, if
/
i=0
f (api )pi .
16
0 Preliminary
f (Xip )pi +
i=0
n
/
f (Yip )pi = Wn (X p
) + Wn (Y p
i=0
n
/
= Wn (S0 (X p
i
,Y p
), ),
)).
i=0
Since
n
Si (X p
,Y p
) f (Si (X p
,Y p
) mod p,
i=0
(
)
Now we can state the main theorems of the unequal characteristic case.
Theorem 0.40. (1) For every perfect field k of characteristic p, W (k) is the
unique complete discrete valuation ring of characteristic 0 (up to unique isomorphism) which is absolutely unramified and has k as its residue field.
(2) Let A be a complete discrete valuation ring of characteristic 0 with a
perfect residue field k of characteristic p > 0. Let e be its absolute ramification
index. Then there exists a unique homomorphism of : W (k) A which
makes the diagram
!A
W (k)
!!
"
"
!!
""
!!
!! """
" #"
k
commutative, moreover is injective, and A is a free W (k)-module of rank
equal to e.
17
4
of A, then every a A can be uniquely written as a =
f (i ) i for i k.
i=0
/
e1
/
i=0 j=0
f (ij ) j pi ,
ij k.
(
)
pn [apn
].
n=0
pn [apn
].
(0.15)
n=0
18
0 Preliminary
Applying A = Zp to Theorem 0.42, then if K is a given field of characteristic p, there exists an absolutely unramified discrete valuation ring R of
characteristic 0 with residue field K. By Theorem 0.43, this ring R is unique
up to isomorphism.
Definition 0.45. Let k be a field of characteristic p > 0, the Cohen ring C(k)
is the unique (up to isomorphism) absolutely unramified discrete valuation
ring of characteristic 0 with residue field k.
We now give an explicit construction of C(k). Recall that a p-basis of a
field k is a set B of elements of k, such that
(1) [k p (b1 , , br ) : k p ] = pr for any r distinct elements b1 , , br B;
(2) k = k p (B).
If k is perfect, only the empty set is a p-basis of k; if k is imperfect, there
always exists nonempty sets satisfying condition (1), then any maximal such
set (which must exist, by Zorns Lemmma) must also satisfy (2) and hence is
a p-basis.
n
Let B be a fixed p-basis of k, then k = k p (B) for every n > 0, and
&
n
n
n
B p = {bp | b B} is a p-basis of k p . Let In = B {0, , pn 1}, then
#
%
$
T n = b =
bb , = (b )bB In
bB
is a basis of k p
over
Then Cn+1 (k) is nothing but the additive subgroup of Wn+1 (k) generated by
r
n
{V r ([(b )p x]) | b Tnr , x k p , r = 0, , n}. By Corollary 0.39, one
sees that
V r (r ([x])) = pr [x] mod V r+1 .
Let Ur be ideals of Cn+1 (k) defined by
Ur = Cn+1 (k) V r (Wn+1 (k)).
19
Proposition 0.46. The ring Cn+1 (k) is a local ring whose maximal ideal is
generated by p, whose residue field is isomorphic to k. For every r n,
the multiplication by pr induces an isomorphism of Cn+1 (k)/pCn+1 (k) with
pr Cn+1 (k)/pr+1 Cn+1 (k), and pn+1 Cn+1 (k) = 0.
Lemma 0.47. The canonical projection pr : Wn+1 (k) Wn (k) induces a
surjection : Cn+1 (k) Cn (k).
Proof. By definition, the image of Cn+1 (k) by pr is the subring of Wn (k)
n
generated by Wn (k p ) and [b] for b B, but Cn (k) is the subring generated
n1
by Wn (k p ) and [b] for b B, thus the map is well defined.
For n 1, the filtration Wn (k) V (Wn (k)) V n1 (Wn (k))
n
V (Wn (k)) = 0 induces the filtration of Cn (k) pCn (k) pn1 Cn (k)
pn Cn (k) = 0. To show is surjective, it suffices to show that the associate
graded map is surjective. But for r < n, we have the following commutative
diagram
pr Cn+1 (k)/pr+1 Cn+1 (k)
j-
gr
gr pr=Id
pr Cn (k)/pr+1 Cn (k)
j$-
W (k0 ).
(2) As C(k) contains the multiplicative representatives [b] for b B, it
contains all elements [B ] and [B ] for n N and In .
20
0 Preliminary
1
eL/K Z;
From previous section, if char(K) = p > 0, then K = k(()) for a uniformizing parameter of mK ; if char(K) = 0, let K0 = Frac W (k) = W (k)[1/p],
then [K : K0 ] = eK = vK (p), and K/K0 is totally ramified.
0.3.1 Ramification groups of finite Galois extension.
Let L/K be a Galois extension with Galois group G = Gal(L/K). Then G
acts on the ring OL . We fix an element x of OL which generates OL as an
OK -algebra.
(
)
Proposition 0.51. For each integer i 1, let Gi be the set of s G satisfying conditions (1), (2), (3) of Lemma 0.50. Then the Gi s form a decreasing
sequence of normal subgroups of G. Moreover, G1 = G, G0 is the inertia
subgroup of G and Gi = {1} for i sufficiently large.
Proof. The sequence is clearly a decreasing sequence of subgroups of G. We
want to show that Gi is normal for all i. For every s G and every t Gi ,
1
since Gi acts trivially on the quotient ring OL /mi+1
(x)
L , we have sts
i+1
1
x mod mL , namely, sts Gi . Thus, Gi is a normal subgroup for all i. The
remaining part follows just by definition.
(
)
Definition 0.52. The group Gi is called the i-th ramification group of G (or
of L/K).
We denote the inertia subgroup G0 by I(L/K) and its invariant field by
L0 = (L/K)ur ; we denote by G1 = P (L/K) and call it the wild inertia subgroup of G, and denote its invariant field by L1 = (L/K)tame .
21
22
0 Preliminary
LL
LL
Let
K ur =
LL
L/K unramified
L,
K tame =
L.
LL
L/K tamely ramified
Then K ur and K tame are the maximal unramified and tamely ramified extensions of K contained in K s respectively.
The valuation of K extends uniquely to K s , but the valuation on K s is
no more discrete, actually vK ((K s ) ) = Q, and K s is no more complete for
the valuation.
The field k = OK ur /mK ur is an algebraic closure of k. We use the notations
23
IK /PK
lim
N N
N prime to p
ordering = divisibility
N (k).
N $ (k)
N
& m .
Therefore we get
Proposition 0.59. If we write ! = Z! (1) (which is the Tate twist of Z! ,
which we shall introduce in 1.1.4), then
$
+
IK /PK
Z! (1).
(0.16)
canonically
We denote
'& =
Z
Z! ,
!,=p
!,=p
Z! (1),
!,=p
As GK /IK , Gal(k/k),
the action by conjugation of Gk on IK /PK gives the
natural action on Z! (1).
0.3.3 The functions and .
Assume G = Gal(L/K) finite. Set
iG :
G N,
(0.17)
24
0 Preliminary
(2) iG (s) i + 1 s Gi ;
(3) iG (tst1 ) = iG (s);
(4) iG (st) min(iG (t), iG (s)).
Let H be a subgroup of G. Let K & be the subextension of L fixed by H.
Following Remark 0.54, we have
Proposition 0.60. For every s H, iH (s) = iG (s), and Hi = Gi H.
1 /
iG (s),
e&
s
(u) =
where for 1 t 0,
(G0 : Gt )1 dt,
(0.18)
9
(G1 : G0 )1 ,
(G0 : Gu ) :=
1,
25
when t = 1;
when 1 < u 0.
1
(g1 + g2 + ... + gm + (u m)gm+1 ), with gi = |Gi |.
g0
In particular,
(m) + 1 =
Immediately one can verify
m
1 /
gi .
g0 i=0
(0.19)
(0.20)
Proposition 0.62. (1) The function is continuous, piecewise linear, increasing and concave.
(2) (0) = 0.
(3) If we denote by &r and &l the right and left derivatives of , then
&
l = &r = (G01:Gu ) , if u is not an integer; &l = (G01:Gu ) and &r = (G0 :G1 u+1 ) ,
if u is an integer.
Moreover, the proposition above characterizes the function .
4
Proposition 0.63. (u) = g10
min{iG (s), u + 1} 1.
sG
Proof. Let (u) be the function on the right hand side. It is continuous and
piecewise linear. One has (0) = 0, and if m 1 is an integer and m < u <
m + 1, then
& (u) =
1
1
#{s G | iG (s) m + 2} =
= & (u).
g0
(G0 : Gm+1 )
Hence = .
(
)
(0.21)
26
0 Preliminary
iG/H (s& ) =
1 /
1 /
i
(st)
=
min{iG (t), m}.
G
e&
e&
tH
tH
(
)
Since the function is a homeomorphism of [1, +) onto itself, its inverse exists. We denote by : [1, +) [1, +) the inverse function of
. The function and satisfy the following transitivity condition:
Proposition 0.65. If K & /K is a Galois subextension of L/K, then
L/K = K $ /K L/K $ and L/K = L/K $ K $ /K .
Proof. For the ramification indices of the extensions L/K, K & /K and L/K &
we have eL/K = eK $ /K eL/K $ . From Herbrands Theorem, we obtain Gu /Hu =
(G/H)v , v = L/K $ (u). Thus
1
eL/K
|Gu | =
1
eK $ /K
|(G/H)v |
1
eL/K $
|Hu |.
(0.22)
(
)
27
lim
G/N,
H=
N *H*G
N open in G
lim
H/N,
N *H*G
N open in G
Gv =
lim
(G/N )v .
N *H*G
N open in G
Let LN = L&& , consider the finite Galois extension L&& /L& /K, then (G/N )v
H/N = (H/N )G/H (v) . Take the limit, then Gv H = H G/H (v) .
(2) If G/H is finite, for any normal open subgroup N of G contained in H,
by Herbrands Theorem, (G/H)v = (G/N )v (H/N )/(H/N ). Take the limit,
then (G/H)v = Gv H/H in this case. In general,
(G/H)v =
lim (G/M )v =
H*M *G
H*M *G
(
)
if v 0;
if 1 v 0.
28
0 Preliminary
(0.24)
(0.25)
where : D1
OL is an isomorphism of OK -modules.
L/K
For every x DL/K , certainly Tr(x1 ) OK ; moreover, DL/K is the
maximal OL -module satisfying this property.
Suppose {ei } is a basis of OL over OK , let {ei } be the dual basis of D1
L/K .
Define the isomorphism by setting ei = (ei ), then
L/K = (det )
and
(
)
Corollary 0.71. Let M/L/K be separable extensions of finite degrees. Then
DM/K = DM/L DL/K ,
29
(
)
Corollary 0.72. Let L/K be a finite extension of p-adic fields with ramifican
r
tion index e. Let DL/K = mm
L . Then for any integer n 0, Tr(mL ) = mK
where r = [(m + n)/e], the largest integer less that (m + n)/e.
Proof. Since the trace map is OK -linear, Tr(mnL ) is an ideal in OK . Now the
proposition shows that Tr(mnL ) mrK if and only if
erm
mnL mrK D1
,
L/K = mL
i.e., if r (m + n)/e.
(
)
Proposition 0.73. Let x OL such that L = K[x], let f (X) be the minimal
polynomial of x over K. Then DL/K = (f & (x)) and L/K = (NL/K f & (x)).
We need the following formula of Euler:
Lemma 0.74 (Euler).
9
0,
Tr(xi /f & (x)) =
1,
if i = 0, , n 2;
if i = n 1
(0.26)
where n = deg f .
Proof. Let xk (k = 1, , n) be
of x in the splitting field
4 thei conjugates
&
of f (X). Then Tr(xi /f & (x) =
x
/f
(x
).
Expanding
both sides of the
k
k k
identity
n
/
1
1
=
f (X)
f & (xk )(X xk )
k=1
into a power series of 1/X, and comparing the coefficients in degree n, then
the lemma follows.
(
)
30
0 Preliminary
Proposition 0.75. Let L/K be a finite Galois extension of local fields with
Galois group G. Then
vL (DL/K ) =
=
iG (s) =
s,=1
8
1
/
i=0
(|Gi | 1)
Thus
vK (DL/K ) =
(0.27)
(1 |G |
v 1
)dv.
(1 |Gv |1 )dv.
(0.28)
Proof. Let x be a generator of OL over OK and let f be its minimal polynomial. Then DL/K is generated by f & (x) by the above proposition. Thus
vL (DL/K ) = vL (f & (x)) =
/
s,=1
vL (x s(x)) =
iG (s).
s,=1
The second and third equalities of (0.27) are easy. For the last equality,
8
8
8
1
(|Gu | 1)du.
(1 |Gv |1 )dv =
(1 |Gu |1 )& (u)du =
|G0 | 1
1
1
(0.28) follows easily from (0.27), since vK =
1
|G0 | vL .
(
)
Corollary 0.76. Let L/M/K be finite Galois extensions of local fields. Then
6
8 5
1
1
vK (DL/M ) =
dv.
(0.29)
| Gal(M/K)|v
| Gal(L/K)|v
1
Proof. This follows from the transitive relation DL/K = DL/M DM/K and
(0.28).
(
)
and
Then
31
(0.30)
Lemma 0.77. Assume L/K is a totally ramified finite Galois extension with
group G. There is a complete non-archimedean field extension L& /K & with the
same Galois group G such that the residue field of K & is algebraically closed
and the ramification groups of L/K and L& /K & coincide.
Proof. Pick a separable closure K s of K containing L, then the maximal
unramified extension K ur of K inside K s and L are linearly disjoint over K.
ur and L& = LK
ur , then Gal(L& /K & ) = Gal(L/K). Moreover, if x
<
!
Let K & = K
generates OL as OK -algebra, then it also generates OL$ as OK $ -algebra, thus
the ramification groups coincide.
(
)
We now suppose G = A is a finite abelian p-group.
Proposition 0.78. If v
Av+eA .
eA
p1 ,
eA
p1 ,
then (Av )p =
Proof. By the above lemma, we can assume that the residue field k is algebraic
closed. In this case, one can always find a quasi-finite field k0 , such that k is
the algebraic closure of k0 (cf. [Ser80], Ex.3, p.192). Regard K0 = W (k0 )[ p1 ] a
subfield of K. By general argument from field theory (cf. [Ser80], Lemma 7,
p.89), one can find a finite extension K1 of K0 inside K and a finite totally
ramified extension L1 of K1 , such that
(i) K/K1 is unramified and hence L1 and K are linearly disjoint over K1 ;
(ii) L1 K = L.
Thus Gal(L1 /K1 ) = Gal(L/K) and their ramification groups coincide. As
the residue field of K1 is a finite extension of k0 , hence it is quasi-finite. The
proposition is reduced to the case that the residue field k is quasi-finite.
Now the proposition follows from the well-known facts that
Uvp Upv ,
Uvp = Uv+e ,
and the following lemma.
eA
p1
eA
if v >
.
p1
if v
(
)
Lemma 0.79. Suppose K is a complete discrete valuation field with quasifinite residue field. Let L/K be an abelian extension with Galois group A.
n
Then the image of UK
under the reciprocity map K G is dense in An .
Proof. This is an application of local class field theory, see Serre [Ser80], Theorem 1, p.228 for the proof.
32
0 Preliminary
p
1
Proof. If vA p1
eA , then tm = pm vA p1
eA , and (Atm + )p =
m
Ap tm + = AvA + = 1 for > 0, then Atm + A(pm ) and thus vA/A(pm )
pm vA .
p
1
If vA > p1
eA , then t = vA eA > p1
eA , and (At+ )p = A(t + + eA ) =
A(vA + ) for 0. Thus vA = vA/A(p) + eA .
(
)
p
p1 eA ,
or equivalently, if (Ax )p
(A : At )dt
p1 vA +
vA
p1 vA +
vA )(A : A
(0.31)
6
p1
(A : A(p) ).
vA
p
n = G/G(n) , vn = vG/G(n) ,
= {s G | sp G(n + 1)}.
As a consequence, for n, r 1,
for v > vn ,
for t > 0.
(0.33)
(0.34)
(0.35)
33
Proof. The first equality follows from Proposition 0.67. For v > vn , then
Gv G(n) and
8 v
n (v) = n (vn ) +
(G : G(n))dv = un + (v vn )(G : G(n)).
vn
Now v = vG(n)/G(n+r) is characterized by the fact that G(n)v " G(n + r) and
G(n)v+ G(n + r) for all 0, but x = vn+r is characterized by the fact
that Gx " G(n + r) and Gx+ G(n + r) for all 0, thus (0.35) follows
from (0.33).
(
)
Proposition 0.84. There exists an integer n1 and a constant c such that for
all n n1 ,
vn+1 = vn + e and vn = ne + c.
Proof. By (0.34), we can replace G by G(n0 ) for some fixed n0 and G(n) by
G(n0 + n). Thus we can suppose G = exp L , where L is an order in the Lie
algebra Lie(G) such that [L , L ] p3 L and that G(n) = exp pn L . Then
(G : G(n)) = pnd for all n, and for r n + 1, there are isomorphisms
n
log
p
G(n)/G(n + r) pn L /pn+r L L /pr L
= (Z/pr Z)d .
(0.36)
vn1 +1 = vn1 + e.
Hence G(n1 )/G(n1 + 2) is not small and vn1 +2 = vn1 +1 + e. Continue this
procedure inductively, we have the proposition.
Theorem 0.85. There is a constant c such that
Gne+c G(n) Gnec
for all n.
34
0 Preliminary
Remark 0.86. The above theorem means that the filtration of G by ramification subgroups with the upper numbering agrees with the Lie filtration. In
particular this means that a totally ramified p-adic Lie extension is APF.
If G = Zp , the above results were shown to be true by Wyman [Wym69],
without using class field theory.
Proof. We can assume the assumptions in the first paragraph of the proof of
Proposition 0.84 and (0.36) hold. We assume n n1 > 1.
e
for
Let c1 be the constant given in Proposition 0.84. Let c0 = c1 + p1
ne+c0
some constant 1. By Proposition 0.84, G
G(n) for large n.
By (0.34),
en
e
Gne+c0 = Gvn + p1 = G(n)un + p1 .
Apply Proposition 0.78 to A = G(n)/G(2n + 1), since un +
have
(Gne+c0 )p G(2n + 1) = G(n+1)e+c0 G(2n + 1).
Put
en
p1
>
en
p1 ,
we
(0.37)
Then (0.37) implies that Mn is the image of Mn+1 under the canonical map
L /pn+1 L L /pn L . Let
M = lim Mn L .
I = Qp M L .
ne+c0
35
(
)
0.4.2 Totally ramified Zp -extensions.
Let K be a p-adic field. Let K be a totally ramified extension of K with
Galois group = Zp . Let Kn be the subfield of K which corresponds to
the closed subgroup (n) = pn Zp . Let be a topological generator of and
n
n = p be a generator of n .
For the higher ramification groups v of with the upper numbering,
suppose v = (i) for vi < v vi+1 , then by Proposition 0.84 or by Wymans
result [Wym69], we have vn+1 = vn + e for n < 0. By Herbrands Theorem
(Theorem 0.64),
9
(i)/ (n), if vi < v vi+1 , i n;
Gal(Kn /K)v = v (n)/ (n) =
1,
otherwise.
(0.38)
Proposition 0.88. Let L be a finite extension of K . Then
TrL/K (OL ) mK .
Proof. Replace K by Kn if necessary, we may assume L = L0 K such that
L0 /K is finite and linearly disjoint from K over K. We may also assume
that L0 /K is Galois. Put Ln = L0 Kn . Then by (0.29),
8
=
>
vK (DLn /Kn ) =
| Gal(Kn /K)v |1 | Gal(Ln /K)v |1 dv.
1
| Gal(Kn /K)v |1 dv 0
(
)
36
0 Preliminary
(0.39)
Proof. For any a > 0, find OL such that vK (TrL/K ()) is less than a.
(
)
Let x = TrL/K () , then x satisfies (0.39).
Remark 0.90. Clearly the proposition and the corollary are still true if replacing K by any field M such that K M L. (0.39) is called the almost
etale condition.
Proposition 0.91. There is a constant c such that
vK (DKn /K ) = en + c + pn an
where an is bounded.
Proof. We apply (0.38) and (0.28), then
8
vK (DKn /K ) =
(1 | Gal(Kn /K)v |1 )dv = en + c + pn an .
1
(
)
Corollary 0.92. There is a constant c which is independent of n such that
for x Kn , we have
vK (pn TrKn /K (x)) vK (x) c.
Proof. By the above proposition, vK (DKn+1 /Kn ) = e + pn bn where bn is
bounded. Let On be the ring of integers of Kn and mn its maximal ideal, let
DKn+1 /Kn = mdn+1 , then
TrKn+1 /Kn (min+1 ) = mjn ,
where j =
i+d
p
(
)
Rn+i
(x) = Rn+i (x) Rn+i1 (x).
37
(0.40)
p1
/
ni x =
i=0
p1
/
i=1
R(TrKn+1 /Kn x) = pR(x), and ( 1) TrKn+1 /Kn (x) = TrKn+1 /Kn (x x).
By induction,
vK (TrKn+1 /Kn (x) pR(x)) vK (TrKn+1 /Kn (x x)) cn
vK (x x) + e apn cn ,
thus
vK (x R(x)) min(vK (x p1 TrKn+1 /Kn (x)), vK (x x) cn apn )
vK (x x) max(c1 , cn + apn )
(
)
Remark 0.96. If we take Kn as the ground field instead of K and replace R(x)
by Rn (x), from the proof we have a corresponding inequality with the same
constant d.
By Corollary 0.92, the linear operator Rn is continuous on K for each n
' by continuity. As Kn is complete, Rn (K ) = Kn
and therefore extends to K
for each n. Denote
' , Rn (x) = 0}.
Xn := {x K
'.
Then Xn is a closed subspace of K
38
0 Preliminary
39
Let Z[G] be the ring algebra of the group G over Z, that is,
/
ag g : ag Z, ag = 0 for almost all g}.
Z[G] = {
gG
be given by
(d0 a)(g) = g(a) a;
(d1 f )(g1 , g2 ) = g1 (f (g2 )) f (g1 g2 ) + f (g1 );
(dn f )(g1 , g2 , , gn , gn+1 ) = g1 (f (g2 , , gn , gn+1 ))
n
/
+
(1)i f (g1 , g2 , , gi1 , gi gi+1 , , gn , gn+1 )
i=1
+ (1)n+1 f (g1 , g2 , , gn ).
dn1
n
1
2
n
0
(G, M ) 1 Ccont
(G, M ) 2 Ccont
(G, M )
Ccont
(G, M ) 0 Ccont
is a cochain complex.
Definition 0.99. Set
n
n
(G, M ) = Im dn ,
Zcont
(G, M ) = Ker dn ,
Bcont
n
n
n
n
These groups are called the group of continuous n-cocycles, the group of continuous n-coboundaries and the n-th continuous cohomology group of M respectively.
Clearly we have
0
Proposition 0.100. (1) Hcont
(G, M ) = Z 0 = M G = {a M | g(a) =
a, for all g G}.
(2)
1
Hcont
(G, M ) =
Z1
{f : G M | f continuous, f (g1 g2 ) = g1 f (g2 ) + f (g1 )}
=
.
B1
{sa = (g & g a a) : a M }
40
0 Preliminary
1
Hcont
(G, M ) = Hom(G, M ).
plexes Ccont
(G, M1 ) Ccont
(G, M2 ), which then induces morphisms from
n
n
n
n
Zcont (G, M1 ) (resp. Bcont (G, M1 ) or Hcont
(G, M1 )) to Zcont
(G, M2 ) (resp.
n
n
Bcont (G, M2 ) or Hcont (G, M2 )).
Proposition 0.102. For a short exact sequence of topological G-modules
0 M & M M && 0,
then there is an exact sequence
1
1
1
(G, M ) Hcont
(G, M && ),
0 M &G M G M &&G Hcont
(G, M & ) Hcont
where for any a (M && )G , (a) is defined as follows: choose x M such that
(x) = a, then define (a) to be the continuous 1-cocycle g & 1 (g(x) x).
Proof. Note that for any g G, (g(x) x) = (g(x)) (x) = g((x))
(x) = g(a)a = 0, Thus g(x)x Im , so that 1 (g(x)x) is meaningful.
The proof is routine. We omit it here.
(
)
0
Remark 0.103. From the above proposition, the functor Hcont
(G, ) is left
exact. In general, the category of topological G-modules does not have sufficiently many injective objects, and it is not possible to have a long exact
sequence.
However, if admits a continuous set theoretic section s : M && M , one
can define a map
n+1
n
(G, M && ) Hcont
n : Hcont
(G, M & ),
for all n N
41
n
H n (G, M ) = Hcont
(G, M ).
Denote by H the set of normal open subgroups of G, then one sees that the
natural map
HH
is an isomorphism.
Example 0.104. If G is a field and L is a Galois extension of K, then G =
Gal(L/K) is a profinite group and H n (G, M ) = H n (L/K, M ) is the so-called
Galois cohomology of M . In particular, if L = K s is a separable closure of K,
we write H n (G, M ) = H n (K, M ).
0.5.2 Non-abelian cohomology.
Let G be a topological group. Let M be a topological group which may be nonabelian, written multiplicatively. Assume M is a topological G-group, that is,
M is equipped with a continuous action of G such that g(xy) = g(x)g(y) for
all g G, x, y M . We can define
0
Hcont
(G, M ) = M G = {x M | g(x) = x, g G}
and
1
Zcont
(G, M ) = {f : G M continuous | f (g1 g2 ) = f (g1 ) g1 f (g2 )}.
1
If f, f & Zcont
(G, M ), we say that f and f & are cohomologous if there exists
a M such that f & (g) = a1 f (g)g(a) for all g G. This defines an equivalence
1
relation for the set of cocycles. The cohomology group Hcont
(G, M ) is defined
1
1
to be the set of equivalence classes in Zcont (G, M ). Hcont (G, M ) is actually
a pointed set with the distinguished point being the trivial class f (g) 1 for
all g G.
1
Definition 0.105. Hcont
(G, M ) (abelian or non-abelian) is called trivial if it
contains only one element.
42
0 Preliminary
43
Proposition 0.107 (Inflation-restriction sequence). One has the following exact sequence
Inf
res
1
1
1
1 Hcont
(G/H, M H ) Hcont
(G, M ) Hcont
(H, M ).
(0.41)
Proof. By definition, it is clear that the composition map res Inf sends any
1
1
element in Hcont
(G/H, M H ) to the distinguished element in Hcont
(H, M ).
1
H
(1) Exactness at Hcont (G/H, M ): If as = as is equivalent to the distinguished element in H 1 (G, M ), then as = a1 s(a) for some a M , but for
any t H, as = ast , thus s(a) = s(t(a)), i.e., a = t(a) and hence a M H , so
as is cohomologous to the trivial cocycle from G/H AH .
1
(2) Exactness at Hcont
(G, M ): If as : G M is a cocycle whose restriction
to H is cohomologous to 0, then at = a1 t(a) for some a M and all t H.
Let a&s = a as s(a1 ), then a&s is cohomologous to as and a&t = 1 for all t H.
By the cocycle condition, then a&st = a&s s(a&t ) = a&s if t H. Thus a&s is constant
on the cosets of H. Again using the cocycle condition, we get a&ts = ta&s for all
t H, but ts = st& for some t& H, thus a&s = ta&s for all t H. We therefore
get a cocycle as = a&s : G/H AH which maps to as .
(
)
At the end of this section, we recall the following classical result:
Theorem 0.108 (Hilberts Theorem 90). Let K be a field and L be a
Galois extension of K (finite or not). Then
(1) H 1 (L/K, L) = 0;
(2) H 1 (L/K, L ) = 1;
(3) For all n 1, H 1 (L/K, GLn (L)) is trivial.
Proof. It suffices to show the case that L/K is a finite extension. (1) is a
consequence of normal basis theorem: there exists a normal basis of L over
K.
For (2) and (3), we have the following proof which is due to Cartier (cf.
Serre [Ser80], Chap. X, Proposition 3).
n
Let
4 c be a cocycle. Suppose x isn a vector in nK , we form b(x) =
cs (s(x)). Then b(x), x K generates K as a K-vector space.
sGal(L/K)
44
0 Preliminary
0 = u(b(hx)) =
cs u(s(h)s(x)) =
s(h)u(as (s(x))).
1
!-adic representations of local fields: an
overview
where h = dimE (V ).
If V is endowed with a topological structure, and if the action of G is
continuous, the representation is called continuous. In particular, if E is a
topological vector field, V is given the induced topology, then such a continuous
representation is called a continuous E-linear representations of G.
If moreover, G = Gal(K s /K) for K a field and K s a separable closure of
K, such a representation is called a Galois representation.
We consider a few examples:
Example 1.2. Let K be a field, L be a Galois extension of K, G = Gal(L/K)
be the Galois group of this extension. Put the discrete topology on V and
consider continuous representations. The continuity of a representation means
that it factors through a suitable finite Galois extension F of K contained in
L:
! GLE (V )
G
#%
#
#
#
#
#
#
$ ###
Gal(F/K)
46
! GLd (Q! )
G $$
'
$$
$$
$$
$& "
!
GLd (Z! )
and V = Q! Z" T .
47
g( t) = g(t), Q! , t T.
! AutZ (T )
G %
"
%%%
%%%
%
n %%%
( $
Aut(T /#n T )
(, GLd (Z! ))
nN
7
normal open subgroup of G and Ker () =
Hn is a closed subgroup.
nN
Hn
! Aut(T /ln T )
&)
&&&
&
&
surj.
&
$$ # $ &&&&&
Gal(Kn /K)
G
+
H
We also set K = Kn , and K = (K s ) with H = Ker (). So we get a
sequence of field extensions:
K
Kn
Kn+1
K s.
48
1 !n (K s ) (K s ) (K s ) 1,
where for a field F ,
ln (F ) = {a F | a! = 1}.
(1.1)
a & a!
form an inverse system, thus define the Tate module of the multiplicative group
Gm
(1.2)
T! (Gm ) = lim !n (K s ).
nN
The Galois group G acts on T! (Gm ) and also on V! (Gm ) = Q! Z" T! (Gm ).
Usually we write
T! (Gm ) = Z! (1),
(1.3)
49
(1.5)
50
9
Z2g
! ,
T! (A) = lim A(K )ln ,
Zr! ,
V! (A) = Q! Z" T! (A).
s
if char K =
2 #;
if char K = #.
(1.6)
(4). !-adic
etale cohomology.
Let Y be a proper and smooth variety over K s (here K s can be replaced by
a separably closed field). One can define for m N the cohomology group
H m (Yet , Z/#n Z).
This is a finite abelian group killed by #n . From the maps
H m (Yet , Z/#n+1 Z) H m (Yet , Z/#n Z)
we can get the inverse limit lim H m (Yet , Z/#n Z), which is a Z! -module of finite
type. Define
m
Het (Y, Q! ) = Q! Z" lim H m (Yet , Z/#n Z),
If X = PdK , then
H
(PdK s , Q! )
9
0,
=
>
=
Q! m
2 ,
51
(
)
52
Theorem 1.13 (Weils conjecture, proved by Deligne). Let X be a projective, smooth, and geometrically connected variety of dimension d over a
finite field K of cardinality q. Then
(1) There exist P0 , P1 , , P2d Z[t], Pm (0) = 1, such that
ZX (t) =
(1.9)
(1.10)
2d
1 4
(1)m m and m = deg Pm .
2 m=0
(3) If we make an embedding of the ring of algebraic integers Z - C, and
decompose
m
$
Pm (t) =
(1 m,j t), m,j C.
where =
j=1
m
2
Then |m,j | = q .
The proof of Weils conjecture is why Grothendieck, M. Artin and others ([AGV73]) developed the etale theory, although the p-adic proof of the
rationality of the zeta functions is due to Dwork [Dwo60]. One of the key
ingredients of Delignes proof ([Del74a, Del80]) is that for # a prime number not equal to p, the characteristic polynomial of the #-adic representation
Hemt (XK s , Q! ) is
PHemt (XK s ,Q" ) (t) = Pm (t).
Remark 1.14. Consider #, #& , two different prime numbers not equal to p. De' We have the representations
note GK = Gal(K s /K) , Z.
: GK AutQ" Hemt (XK s , Q! ),
& : GK AutQ$" Hemt (XK s , Q!$ ).
53
m
$
j=1
(1 j t) Q! [t],
j Q! Q.
wZ
54
Gk
1,
1 PK GK GK /PK 1.
Let # be a fixed prime number, # 2= p. Then there is the following isomorphism
$
$
' & (1) =
IK /PK , Z
Z! (1) = Z! (1)
Z!$ (1).
!,=p
!$ ,=!,p
&
We define PK, ! to be the inverse image of !$ ,=p,! Z!$ (1) in IK , and define
GK,! the quotient group to make the short exact sequences
1 PK,! GK GK, ! 1,
1 Z! (1) GK, ! Gk 1.
Let V be an #-adic representation of GK , and T be the corresponding Z! lattice stable under GK . Hence we have
! AutZ (T )
GK '
"%
&
'''
'''
'''
( $
AutQ" (V )
, GLh (Z! )
, GLh (Q! )
55
where N1 is the kernel of the reduction map. Let Nn be the set of matrices
congruent to 1 mod #n for n 1. As N1 /Nn is a finite group of order equal
to a power of # for each n, N1 , lim N1 /Nn is a pro-# group. Since PK,! is
!AutQ" (V )
GK (
+
((
))
))
((
)
)
((
))
(*
))
GK, !
Consider the sequence
1 Z! (1) GK, ! Gk 1.
Let t be a topological generator of Z! (1). So (t) AutQ" (V ). Choose a finite
extension E of Q! such that the characteristic polynomial of (t) is a product
of polynomials of degree 1. Let V & = E Q" V . The group GK, ! acts on E Q" V
by
56
g( v) = g(v).
Therefore
X2 = X0 K0 K2 ,
X = X2 K2 K,
57
!AutQ" (V )
GK (
)+
((
))
)
((
))
((
))
(*
))
GK, !
so (t) AutQ" (V ).
For each integer n 1, there exists a unique (up to isomorphism) representation Vn of dimension n which is semi-stable and in-decomposable. Write
it as Vn = Qn! , and we can assume
1 1
.. ..
. .
.
(t) =
..
. 1
1
As Vn , Symn1
Q" (V2 ), it is enough to prove that V2 comes from algebraic
geometry. Write
0 Q! V2 Q! 0,
n E(K s )ln ,
!
n+1
= n .
0 Q! (1) V! (E) Q! 0.
The action of GK on the left Q! (1) of the above exact sequence is trivial, since
it comes from the action of unramified extensions. And the extension V! (E)
is non-trivial.
Step 2. Assume the representation is potentially semi-stable. Let V be a potentially semi-stable #-adic representation of GK . Then there exists a finite
58
(1.11)
HH
59
N (1)
N (r+1)
! D&
N$
$
D(1)
(1)
$
! D& (1)
commutes.
We may view D! as a functor from the category of #-adic representations
of GK to the category C . There is a functor in the other direction
V! : C RepQ" (GK ).
Suppose the Galois group GK acts diagonally on B! Q" D. Since
(B! Q" D)(1) = (B! Q" D) Q" Q! (1) = B! (1) Q" D = B! Q" D(1),
define the map N : B! Q" D (B! Q" D)(1) by
N (b ) = N b + b N .
Now set
V! (D, N ) = Ker (N : B! Q" D (B! Q" D)(1)) .
Proposition 1.28. (1) If V is any #-adic representation of GK , then
V! (D! (V )) - V
is injective and is an isomorphism if and only if V is potentially semi-stable.
(2) V! (D, N ) is stable by GK and dimQ" V! (D, N ) = dimQ" (D) and
V! (D, N ) is potentially semi-stable.
(3) D! induces an equivalence of categories between RepQ" ,pst (GK ), the
category of potentially semi-stable #-adic representations of GK and the category C , and V! is the quasi-inverse functor of D! .
60
Proof. (1) is a consequence of a more general result (Theorem 2.13) in the next
chapter. One needs to check that B! is so-called (Q! , H)-regular for H H:
(i) whether B!H = (Frac B! )H ? (ii) for a non-zero element b such that the
Q! -line generated by b is stable by H, whether b is invertible in B! ? This is
easy to check: (i) B!H = (Frac B! )H = Q! . (ii) b Q! is invertible.
(2) is proved by induction to the length of D. If the length is 0, then
N D = 0 and V! (D, N ) = B!N =0 D = D, and the result is evident. We also
know that N is surjective on B! D. In general, suppose D is of length r + 1.
Let D1 = Ker (N : D D(1)) and D2 = Im(N : D D(1), and endow
D1 and D2 with the induced nilpotent map N . Then both of them are objects
in C , D1 is of length 0 and D2 is of length r. The exact sequence
0 D1 D D2 0
induces a commutative diagram
0
B! D1
N-
B! D
N-
B! D2
N-
61
a : WK Z
1 IK WK Z 1.
Definition 1.30. The Weil-Deligne group of K (relative to K/K), denoted
as W DK , is the group scheme over Q which is the semi-direct product of WK
by the additive group Ga , over which WK acts by
wxw1 = q a(w) x.
Definition 1.31. If E is any field of characteristic 0, a (finite dimensional)
representation of WK (a Weil representation) of K over E is a finite dimensional E-vector space D equipped with
(1) a homomorphism of groups : WK AutE (D) whose kernel contains
an open subgroup of IK .
A representation of W DK (a Weil-Deligne representation) is a Weil representation equipped with
(2) a nilpotent endomorphism N of D such that
N (w) = q a(w) (w) N
for any w WK .
62
D and D& are said to be compatible if for any field and embeddings
and
E -
F - ,
Theorem 1.32. Assume that A is an abelian variety over K. If # and #& are
different prime numbers not equal to p, then V! (A) and V!$ (A) are compatible.
Conjecture 1.33. Let X be a projective and smooth variety over K. For any
m N, if #, #& are primes not equal to p, then
Hemt (XK s , Q! ) and Hemt (XK s , Q!$ )
are compatible.
Remark 1.34. If X has good reduction, it is known that the two representations are unramified with the same characteristic polynomials of Frobenius by
Weils conjecture. It is expected that k acts semi-simply, which would imply
the conjecture in this case.
1.3.4 Geometric !-adic representations of GK .
In this subsection we shall describe geometric E-linear representations of
W DK for any field E of characteristic 0. Then a geometric #-adic representation of GK for # 2= p is an #-adic representation such that the associated
Q! -linear representation of W DK is geometric.
Let V be an E-linear continuous representation of WK . Choose WK a
lifting of k :
1 IK WK Z 1
& 1.
Choose w Z.
63
if
if
m < 0,
m A 0.
2
p-adic Representations of fields of
characteristic p
g(x) = g()g(x).
For a B-representation, if G acts trivially on B, it is just a linear representation; if B = Fp endowed with the discrete topology, it is called a mod p representation instead of a Fp -representation; if B = Qp endowed with the p-adic
topology, it is called a p-adic representation instead of a Qp -representation.
Definition 2.3. A free B-representation of G is a B-representation such that
the underlying B-module is free.
Example 2.4. Let F be a closed subfield of B G and V be a F -representation
of G, let X = B F V be equipped with G-action by g( x) = g() g(x),
where g G, B, x X, then X is a free B-representation.
66
(2.1)
1
It is easy to check that is a 1-cocycle in Zcont
(G, GLd (B)). Moreover, if
&
&
{e1 , , ed } is another basis and if P is the change of basis matrix, write
g(e&j ) =
d
/
a&ij (g)e&i ,
i=1
then we have
(2.2)
g(ej ) =
d
/
aij (g)ei ,
(2.3)
i=1
67
V1 (V2 V3 ) , (V1 V2 ) V3 ,
V 2 V 1 , V1 V2 ,
V F , F V , V.
With these additional structures, RepF (G) is a neutral Tannakian category over F (ref. e.g. Deligne [Del] in the Grothendieck Festschrift, but we
are not going to use the precise definition of Tannakian categories).
Definition 2.10. A category C & is a strictly full sub-category of a category
C if it is a full sub-category such that if X is an object of C isomorphic to an
object of C & , then X C & .
Definition 2.11. A sub-Tannakian category of RepF (G) is a strictly full
sub-category C , such that
(1) The unit representation F is an object of C ;
(2) If V C and V & is a sub-representation of V , then V & and V /V & are
all in C ;
(3) If V is an object of C , so is V ;
(4) If V1 , V2 C , so is V1 V2 ;
(5) If V1 , V2 C , so is V1 V2 .
Definition 2.12. Let V be a F -representation of G. We say V is B-admissible
if B F V is a trivial B-representation of G.
Let V be any F -representation of G, then B F V , equipped with the
G-action by g( x) = g() g(x), is a free B-representation of G. Let
DB (V ) := (B F V )G ,
we get a map
(2.5)
68
V : B E DB (V ) B F V
x
& x
(2.6)
(2.7)
(2.8)
(2.9)
(iii) DB (F ) , E.
Proof. (1) Let C = Frac B. Since B is (F, G)-regular, C G = B G = E. We
have the following commutative diagram:
B E D% B (V )
&
! B F% V
&
$
B E D% C (V )
&
$
C E DC (V )
$
! C F V.
69
xh = g(xh ) =
h1
/
g(i )xi ,
i=1
then
h1
/
i=1
(g(i ) i )xi = 0.
implies b 2= 0.
Ad
We need to prove b is invertible in B. Denote det V = F V = F v, where
v = v1 vd . We have g(v) = (g)v with : G F . Similarly let
Ad
e = e1 ed E DB (V ), g(e) = e for g G. We have e = bv, and
e = g(e) = g(b)(g)v, so g(b) = (g)1 b for all g G, hence b is invertible in
B since B is (F, G)-regular.
The second equivalence is easy. The condition that V is B-admissible, is
nothing but that there exists a B-basis {x1 , , xd } of B F V such that each
xi DB (V ). Since V (1 xi ) = xi , and V is always injective, the condition
is equivalent to that V is an isomorphism.
(2) Let V be a B-admissible F -representation of G, V & be a sub-F -vector
space stable under G, set V && = V /V & , then we have exact sequences
0 V & V V && 0
and
0 B F V & B F V B F V && 0.
(2.10)
70
dimE DB (V ) = d,
but d = d& +d&& , so we have equality everywhere, and (2.10) is exact at DB (V && )
too. Then the functor DB restricted to RepB
F (G) is exact, and is also faithful
because DB (V ) 2= 0 if V 2= 0.
Now we prove the second part of the assertion (2). (iii) is trivial. For (i),
we have a commutative diagram
(B F V1 ) B (B F V2 )
'
"!
DB (V1 ) E DB (V2 )
B F (V1 F V2 )
'
! DB (V1 F V2 )
Ad1
Nd1
V is admissible since it is just a quotient of
V , and (det V ) is
F
"!
DB (V )
! DB (V )
71
2.2.1 Etale
-modules over E.
Definition 2.14. A -module over E is an E-vector space M together with
a map : M M which is semi-linear with respect to the absolute Frobenius
, i.e.,
(x + y) = (x) + (y), for all x, y M ;
(2.11)
(x) = ()(x) = p (x),
for all E, x M.
(2.12)
x = p x.
M M
x & (x).
(2.13)
d
/
aij ei ,
i=1
then (1 ej ) =
4d
i=1
aij ei . Hence
(2.14)
Let Met (E) be the category of etale -modules over E with the morphisms
being the E-linear maps which commute with .
72
! M&
! (M1 )
! (M2 )
! (M && )
$$
$
! M1
$
! M&
$
! M2
$
! M &&
!0
!0
are exact. By definition, 1 and 2 are isomorphisms, so & is injective and &&
is surjective. By comparing the dimensions, both & and && are isomorphisms,
hence Ker and Coker are etale.
(
)
The category Met (E) possesses the following Tannakian structure:
Let M1 , M2 be two etale -modules over E. Let M1 M2 = M1 E M2 .
It is viewed as a -module by
(x1 x2 ) = (x1 ) (x2 ).
One can easily check that M1 M2 Met (E).
E is an etale -module and for every M etale,
M E = E M = M.
: M
(M ) , (M ) ,
t 1
: (M )
M
73
(2.15)
for all g G, x E s
for all g G,
74
d
/
bij vi ,
i=1
Hence
(ej ) =
d
/
bpij vi =
i=1
d
/
aij ei .
i=1
(
)
(2.16)
(2.17)
for g G.
(2.18)
(2.19)
75
which implies
pi
= i by induction, therefore i Fp .
(
)
V : E s E M(V )
E s Fp V
is an isomorphism of E s -vector spaces, compatible with Frobenius and with
the action of G. We use this to identify these two terms. Then
V(M(V )) = {y E s Fp V | (y) = y}.
Let {v1 , , vd } be a basis of V . If
y=
d
/
i=1
we get (y) =
i vi =
d
/
i=1
i vi E s V,
pi vi , therefore
(y) = y i Fp y V.
76
s
v is equivalent to giving xi = v(ei ) E , for 1 i d. From
(v(ej )) = v((ej )),
we have that
xpj = v
d
1/
i=1
Thus
d
2 /
bij ei =
bij xi .
i=1
d
O
#
%
/
O
V(M ) = (x1 , , xd ) (E s )d O xpj =
bij xi , j = 1, ..., d .
i=1
M
4d
Let R = E[x1 , , xd ] (xpj i=1 bij xi )1jd , we have
V(M ) = HomEalgebra (R, E s ).
(2.20)
77
and one can easily check that these isomorphisms are compatible with Frobenius. Also we have the isomorphisms
V(M1 M2 ) = V(M1 ) V(M2 );
V(M ) = V(M ) ;
V(E) = Fp ,
and these isomorphisms are compatible with the action of G.
(
)
Then, for m > 0, Rm is the quotient of Rm1 by the ideal generated by the
4d
p
i=1 bim Xi bm . By induction on m, we see that Rm is a free
image of Xm
tm
E[Xm+1 , Xm+2 , . . . , Xd ]-module with the images of {X1t1 X2t2 . . . Xm
} with
0 ti p 1 as a basis.
(2) Then we prove that R is an etale E-algebra. This is equivalent to
d
4
1
1
R/E = 0. But R/E
is generated by dx1 , , dxd . From xpj =
bij xi + bj ,
i=1
we have
0 = pxjp1 dxj =
d
/
bij dxj ,
i=1
HomEalgebra (R, E s ) =
HomEalgebra (Ek , E s ),
78
where {e1 , , ed } is the canonical basis of MA . Then for any A GLd (E),
we obtain a mod p representation V(MA ) of G of dimension d.
On the other hand, if V is any mod p representation of G of dimension d,
then there exists A GLd (E) such that V , V(MA ). This is because M(V )
is an etale -module, then there is an A GLd (E) associated with M(V ),
and M(V ) , MA . Thus V , V(MA ).
Moreover, if A, B GLd (E), then
V(MA ) , V(MB ) there exists P GLd (E), such that B = P 1 A(P ).
Hence, if we define an equivalence relation on GLd (E) by
A B there exists P GLd (E), such that B = P 1 A(P ),
then we get a bijection between the set of equivalences classes on GLd (E) and
the set of isomorphism classes of mod p representations of G of dimension d.
2.3.1 Etale
-modules over E.
Let E be a field of characteristic p > 0, and E s be a separable closure of E
with the Galois group G = Gal(E s /E). Let RepQp (G) denote the category
of p-adic representations of G.
From 0.2.4, we let OE be the Cohen ring C(E) of E and E be the field of
fractions of OE . Then
OE = lim OE /pn OE
nN
79
(x) = ()(x)
for x, y M, OE .
(2) A -module over E is an E-vector space D equipped with a semi-linear
map : D D.
Remark 2.25. A -module over OE killed by p is just a -module over E.
Set
M = OE OE M.
As before, giving a semi-linear map : M M is equivalent to giving a OE linear map : M M . Similarly if we set D = E E D, then a semi-linear
map : D D is equivalent to a linear map : D D.
Definition 2.26. (1) A -module over OE is etale if M is an OE -module of
finite type and : M M is an isomorphism.
(2) A -module D over E is etale if dimE D < and if there exists an
OE -lattice M of D which is stable under , such that M is an etale -module
over OE .
It is easy to check that
Proposition 2.28. The category Met (OE ) (resp. Met (E)) of etale -modules
over OE (resp. E) is abelian.
Let RepQp (G) (resp. RepZp (G)) be the category of p-adic representations
(resp. of Zp -representations) of G. We want to construct equivalences of categories:
D : RepQp (G) Met (E)
and
80
ur
<
2.3.2 The field E
(2.21)
F S
81
G
OE!
X
ur OE X
where X & is killed by p and X && is killed by pn1 . Also we have a long exact
sequence
1
0 X &G X G X &&G Hcont
(G, X & ).
Since X & is killed by p, it is just an E s -representation of G, hence it is trivial
(cf. Proposition 2.7), i.e. X & , (E s )d with the natural action of G. So
1
(G, X & ) = H 1 (G, X & ) , (H 1 (G, E s ))d = 0.
Hcont
! O!
OE X &G
E ur
! O!
OE X G
E ur
! O!
OE X &&G
E ur
$
! X&
$
!X
$
! X &&
!0
! 0.
nN
(
)
82
g( t) = g() g(t)
G
M(T ) = (OE!
ur Zp T ) ,
(2.23)
T : OE!
ur OE M(T ) OE
ur Zp T
!
(2.24)
OE!
ur Zp V(M ) OE
ur OE M
!
Proof. (1) We first prove the case when M is killed by pn , for a fixed n 1
by induction on n. For n = 1, this is the result for etale -modules over E.
Assume n 2. Consider the exact sequence:
0 M & M M && 0,
where M & is the kernel of the multiplication by p in M . Then we have an
exact sequence
&
&&
0,
0 OE!
ur OE M OE
ur OE M OE
ur OE M
!
!
&
&&
&
&
Let X & = OE!
= OE!
ur OE M , X = OE
ur OE M , X
ur OE M , then X=1 =
!
&
&&
&&
V(M ), X=1 = V(M ), X=1 = V(M ). If the sequence
&
&&
0 X=1
X=1 X=1
0
is exact, then we can apply the same proof as the proof for the previous
proposition. So consider the exact sequence:
83
&
&&
0 X=1
X=1 X=1
X & /( 1)X & ,
&&
where if x X=1 , y is the image of x in X=1
, then (y) is the image of
&
( 1)(x). It is enough to check that X /( 1)X & = 0. As M & is killed by
and
V(M(T )) =(OE!
ur OE M(T ))=1 = (OE
ur Zp T )=1
!
=(OE!
)
T
=
T,
Zp
ur =1
G
G
M(V(M )) =(OE!
, (OE!
ur Zp V(M ))
ur OE M )
G
=OE!
ur OE M = M.
ur D)
V(D) = (E!
E
=1 ,
84
is an isomorphism.
(2) For any etale -module D over E, V(D) is a p-adic representation of
G and the natural map
is an isomorphism.
(3) The functor
ur V(D) E!
ur D
E!
Qp
E
(ii) For any etale -module D over E, there exists an OE -lattice M stable
under , which is an etale -module over OE , D = E OE M . Thus
ur D = (O
E!
E
ur OE M )[1/p],
!
E
Remark 2.34. The category Met (E) has a natural structure of a Tannakian
category, i.e. one may define a tensor product, a duality and the unit object
and they have suitable properties. For instance, if D1 , D2 are etale -modules
over E, their tensor product D1 D2 is D1 E D2 with action of : (x1 x2 ) =
(x1 ) (x2 ). Then the functor M is a tensor functor, i.e. we have natural
isomorphisms
D(V1 ) D(V2 ) D(V1 V2 ) and D(V ) D(V ) .
Similarly, we have a notion of tensor product in the category Met (OE ), two
notion of duality (one for free OE -modules, the other for p-torsion modules)
and similar natural isomorphisms.
2.3.5 Down to earth meaning of the equivalence of categories.
For any d 1, A GLd (OE ), let MA = OEd as an OE -module, let {e1 , , ed }
d
4
be the canonical basis of MA . Set (ej ) =
aij ei . Then MA is an etale i=1
85
3
C-representations and Methods of Sen
88
with bi K s , and v(bi ai ) > rd. We know, because of part (i), that C
contains K, hence there exists C, such that P1 () = 0. Choose C & , a
root of P , such that | & | | | for any & C & and P (& ) = 0. Since
P () = P () P1 (), and v() 0, we have v(P ()) > rd. On the other
hand,
d
$
P () =
( i ),
i=1
thus
v(P ()) =
d
/
i=1
v( i ) > rd.
(3.1)
89
p
v(p).
(p 1)2
(3.2)
p
(p1)2 ,
but E ()
R = (X 1 )(X 2 ) (X d ) =
d
/
bi X i ,
i=0
then bm =
=d>
m
(1)dm 1 2 dm . Hence
dm
/
i=1
5 6
5 6
= d >
= d >
v(i ) = v(bm ) v
(d m)r v
.
m
m
5 6
= d >
1
v(i ) r
v
.
dm
m
(
)
Proof (Proof of Proposition 3.3). For any d 1, let l(d) be the biggest integer
l(d)
4
1
l such that pl d. Let (d) =
pi pi1 . Then l(d) = 0 if and only if d < p,
i=1
90
v( a) > E () (d)v(p).
This implies the proposition, since (d) (d + 1) and lim (d) =
d+
p
(p1)2 .
=d>
= s+1 >
) = v( pps ) = v(p), and
Case 2: d = ps p, and m = ps . Then v( m
v() r ps+11ps v(p). Let & be any conjugate of , & = & + & , then
v( & ) = v(& + & ) r
which implies E () r
v( a) r
1
ps+1 ps v(p).
1
v(p),
ps
ps+1
Then
1
v(p) (ps+1 ps )v(p) = r (ps+1 )v(p).
ps+1 ps
Hence v( a) = v( + a) r (d)v(p).
(
)
91
As
a = TrL/E (c) =
(c) =
(c)() E.
v( a) = v(
(
)
We give an application of Ax-Sens Lemma. Let K be a complete nonarchimedean field, K s be a separable closure of K. Let GK = Gal(K s /K),
!s . The action of GK extends by continuity to C. Let H be any closed
C=K
subgroup of GK , L = (K s )H , and H = Gal(K s /L). A question arises:
Question 3.7. What is C H ?
where L = (K s )H . In particular,
9
' = K,
K
C GK =
#
rad ,
K
(3.3)
if char K = 0,
(3.4)
if char K = p.
(K rad )s
GK
=K
GK
K rad
#
#
rad )s = K
rad
(K
GK
#
rad
K
92
#
#
rad perfect. This allows us to replace K by K
rad , thus we may assume
with K
<
rad
'
that K is perfect, in which case L
= L, the proposition is reduced to the
'
claim that C H = L.
If char K = p, we choose any > 0. If char K = 0, we choose =
p
H
'
(p1)2 v(p). For any C , we want to prove that L. We choose a
sequence of elements n K such that v( n ) n, it follows that
v(g(n ) n ) min{v(g(n )), v(n )} n,
for any g H. Thus L (n ) n, which implies that there exists an L,
'
such that v(n an ) n , and lim an = L.
(
)
n+
for all H0 .
Proof. The proof is imitating the proof of Hilberts Theorem 90 (Theorem 0.108).
Fix H1 H0 open and normal such that v(U 1) a+1+a/2 for H1 ,
which is possible by continuity. By Corollary 0.89, we can find C H1 such
that
/
v() $ a/2,
() = 1.
H0 /H1
4
Let S H be a set of representatives of H0 /H1 , denote MS =
()U , we
S
4
have MS 1 =
()(U 1), this implies v(MS 1) $ a/2 and moreover
S
MS1 =
+
/
n=0
93
(1 MS )n ,
so we have
$ 0 and MS GLn (C).
If H1 , then U U = U ((U ) 1). Let S & H0 be another set of
representatives of H0 /H1 , so for any & S & , there exists H1 and S
such that & = , so we get
/
/
MS MS $ =
()(U U ) =
()U (1 (U )),
v(MS1 )
thus
For any H0 ,
()U (U ) = M S .
Then
Corollary 3.10. Under the same hypotheses as the above lemma, there exists
M GLn (C) such that
v(M 1) a/2, M 1 U (M ) = 1, for all H0 .
Proof. Repeat the lemma (a & a + 1 & a + 2 & ), and take the limits. (
)
1
Proposition 3.11. Hcont
(H, GLn (C)) = 1.
Proof. We need to show that any given cocycle U on H with values in GLn (C)
is trivial. Pick a > 0, by continuity, we can choose an open normal subgroup
H0 of H such that v(U 1) > a for any H0 . By Corollary 3.10, the
restriction of U on H0 is trivial. By the inflation-restriction sequence
1
1
1
(H, GLn (C)) Hcont
(H0 , GLn (C)),
1 Hcont
(H/H0 , GLn (C H0 )) Hcont
1
since H/H0 is finite, by Hilbert Theorem 90, Hcont
(H/H0 , GLn (C H0 )) is trivial, as a consequence U is also trivial.
(
)
1
1
' ))
j : Hcont
(, GLn (K
Hcont
(G, GLn (C)).
(3.5)
' = C H , and
since the third term is trivial by the previous Proposition, K
the inflation map is injective.
(
)
94
3.2.2 Decompletion.
Recall by Corollary 0.92 and Proposition 0.97, for Tates normalized trace
map Rr (x), we have constants c, d independent of r, such that
v(Rr (x)) v(x) c,
and
v((r 1)1 x) v(x) d,
'
xK
(3.6)
(3.7)
v(V ) v(U2 ) c d.
Thus,
(1 + V )1 U r (1 + V ) = (1 V + V 2 )(1 + U1 + U2 )(1 + r (V ))
= 1 + U1 + (r 1)V + U2 + (terms of degree 2).
Let V1 = U1 + Rr (U2 ) Mn (Kr ) and W be the terms of degree 2. Thus
v(W ) b + b& 2c 2d b& + . So we can take M = 1 + V , V2 = W .
(
)
Corollary 3.14. Keep the same hypotheses as in Lemma 3.13. Then there
' ), v(M 1) bcd such that M 1 U r (M ) GLn (Kr ).
exists M GLn (K
Proof. Repeat the lemma (b & b + & b + 2 & ), and take the limit. (
)
Lemma 3.15. Suppose B GLn (C). If there exist V1 , V2 GLn (Ki ) such
that for some r i,
v(V1 1) > d,
then B GLn (Ki ).
v(V2 1) > d,
r (B) = V1 BV2 ,
95
Hence, v(r (C)C) > v(C)+d. By Proposition 0.97, this implies v(C) = +,
i.e. C = 0.
(
)
' ) induces a bijecProposition 3.16. The inclusion GLn (K ) - GLn (K
tion
1
1
' )).
i : Hcont
(, GLn (K ))
Hcont
(, GLn (K
1
' )), if
Moreover, for any U a continuous cocycle of Hcont
(, GLn (K
v(U 1) > 2c + 2d for r , then there exists M GLn (K ), v(M 1) >
c + d such that
& U& = M 1 U (M )
which implies r (U& ) = U& r1 U& (U& r ). Apply Lemma 3.15 with V1 =
U& r1 , V2 = (U& r ), then U& GLn (Kr ).
The last part follows from the proof of surjectivity.
(
)
Theorem 3.17. the map
1
1
: Hcont
(, GLn (K )) Hcont
(G, GLn (C))
96
is an isomorphism.
! " C W
W
K
(
)
! on which
By definition, one sees easily that W is a K -subspace of W
acts. Moreover, Wr is a subset of W .
'
Corollary 3.21. One has Wr Kr K = W , and hence W K K
=
!
W .
Remark 3.22. The set Wr depends on the choice of basis and is not canonical,
but W is canonical.
97
for all .
(3.9)
for all .
a log Ur
log Ur
=
.
log ()
log (r )
(
)
98
log U
,
log ()
for any r ,
(3.10)
1
log ()
lim
t0
p-adically
t ()
,
t
for W .
(3.11)
99
Remark 3.28. Since locally U is determined by , the K-vector space generated by the basis as given in the above proposition is stable under the action
of an open subgroup of .
Theorem 3.29. The kernel of is the C-subspace of W generated by the
elements invariant under G, i.e. W G K C = Ker .
Proof. Obviously every elements invariant under G is killed by . Now let
X be the kernel of . It remains to show that X is generated by elements
fixed by G. Since and G commute, X is stable under G and thus is a Crepresentation. Therefore we can talk about X . Since X K C = X and
is extended to X by linearity, it is enough to find a K -basis {e1 , , en }
of X such that ei & s are fixed by . If X , then -orbit of is finite
(by Remark 3.25 (2)). The action of on X is therefore continuous for the
discrete topology of X . So by Hilberts theorem 90, there exists a basis of
{e1 , , en } of X fixed by .
(
)
Theorem 3.30. Let W 1 and W 2 be two C-representations, and 1 and 2 be
the corresponding operators. For W 1 and W 2 to be isomorphic it is necessary
and sufficient that 1 and 2 should be similar.
Proof. Let W = HomC (W 1 , W 2 ) with the usual action of G and be its Sen
operator. The G-representations W 1 and W 2 are isomorphic means that there
is a C-vector space isomorphism F : W 1 W 2 such that
F =F
for all G, so F W G . The operators 1 and 2 are similar means that
there is an isomorphism f : W 1 W 2 as C-vector spaces such that
2 f = f 1 ,
that is f Ker . By Theorem 3.29, W G K C = Ker , we see that the
necessity is obvious. For sufficiency, it amounts to that given an isomorphism
f W G K C, we have to find an isomorphism F W G .
Choose a K-basis {f1 , , fm } of W G . The existence of the isomorphism
f shows that there are scalars c1 , , cm C such that:
det(c1 f1 + + cm fm ) 2= 0.
100
Let
Gn = { G | U I and log () 0( mod pn )}, n 2.
Let
G =
n=2
Gn = { G | U = I and () = 1}.
(3.12)
(3.13)
(variable) element of G.
101
Assume n0 is an integer large enough such that n > n0 implies the formula
U& = exp( log ())
for all Gn .
(3.14)
(3.15)
shows then that (M ) M ( mod pn ) for Gn . By Ax-Sens lemma (Proposition 3.3) it follows that for each n there is a matrix Mn such that
(3.16)
( mod p2n ).
(3.17)
Let r1 and r2 be integers such that pr1 1 M 1 and pr2 have integral coefficients. Let n > r := 2r1 + r2 1. Then Mn is invertible and pr1 1 Mn1 is
integral. Multiplying (3.17) on the left by pr1 1 Mn1 and dividing by pr1 1
we get
Cn + log U (Cn ) + log () Mn1 Mn
( mod p2nr1 )
(3.18)
Gn and
102
(3.19)
We need the following important lemma, whose proof will be given in next
section.
Lemma 3.32. Let G = Gal(L/K) be a p-adic Lie group, {G(n)} be a padic Lie filtration on it. Suppose for some n there is a continuous function
: G(n) Qp and an element x in the completion of L such that
() ( 1)x( mod pm ), for all G(n)
and some m Z. Then there exists a constant c such that
() 0( mod pmc1 ), for all G(n).
Suppose f (A) = 0. By (3.19) and Lemma 3.32, we conclude that f (log U )
n2
103
1 1
eA
(1 |Av |1 )dv
vr
(1 |Av |1 )dv +
r
/
=
j=1
1> 2
eA
pj
r
/
1 1
1
12
(1 pr )
eA + reA eA
eA
p1
pj
j=1
r.
(
)
104
m = 0. Let
= () + Zp . Following
is a 1-coboundary, hence a
by the inclusion Qp /Zp - L/OL , we see that
1-cocycle, and thus a homomorphism, because G(n) acts trivially on Qp /Zp .
and E be the fixed field of H. For H we have (
Let H = Ker
'
1)x OL , by Ax-Sens Lemma, there exists an element y E such that
y x( mod p1 ). Then
() ( 1)x ( 1)y
105
v)
Definition 3.38. The Tate-Sens conditions for the quadruple (G0 , , ,
are the following three conditions (TS1)-(TS3).
(TS1). For all C1 > 0, for all H1 H2 H0 open subgroups, there exists an
H1 with
/
v() > C1 and
() = 1.
(3.20)
H2 /H1
(TS2). Tates normalized trace maps: there exists a constant C2 > 0 such that
for all open subgroups H H0 , there exist n(H) N and (H,n )nn(H) , an
increasing sequence of sub Zp -algebras of H and maps
RH,n : H H,n
g RH,n = RgHg1 ,n g;
(TS3). There exists a constant C3 , such that for all open subgroups G G0 ,
H = G H0 , there exists n(G) n(H) such that if n n(G), G/H and
n() = vp (log ()) n, then 1 is invertible on XH,n = (RH,n 1) and
for x XH,n .
(3.21)
106
a
,
2
v(M 1 U (M ) 1) a + 1.
4
Let S H be a set of representatives of H/H1 , denote MS =
()U , we
S
4
have MS 1 =
()(U 1), this implies v(MS 1) a/2 and moreover
S
MS1 =
+
/
n=0
(1 MS )n ,
thus
For any H,
107
()U (U ) = M S .
Then
with
V1 Md (H,n ), v(V1 ) b C2 C3 ,
V2 Md ("H ), v(V2 ) b + .
Proof. Using (TS2) and (TS3), one gets U2 = RH,n (U2 ) + (1 )V , with
v(RH,n (U2 )) v(U2 ) C2 ,
v(V ) v(U2 ) C2 C3 .
Thus,
(1 + V )1 U (1 + V ) = (1 V + V 2 )(1 + U1 + U2 )(1 + (V ))
= 1 + U1 + ( 1)V + U2 + (terms of degree 2)
Let V1 = U1 + RH,n (U2 ) Md (H,n ) and W be the terms of degree 2. Thus
v(W ) b + b& 2C2 2C3 b& + . So we can take M = 1 + V, V2 = W . (
)
108
Corollary 3.44. Keep the same hypotheses as in Lemma 3.43. Then there
exists M GLd ("H ), v(M 1) b C2 C3 such that M 1 U (M )
GLd (H,n ).
Proof. Repeat the lemma (b & b + & b + 2 & ), and take the limit. (
)
Lemma 3.45. Suppose H H0 is an open subgroup, i n(H), G/H,
n() i and B GLd ("H ). If there exist V1 , V2 GLd (H,i ) such that
v(V1 1) > C3 ,
v(V2 1) > C3 ,
(B) = V1 BV2 ,
109
110
(P ) = V1 P W .
(
)
H,n
DH0 ,n (T ) DH,n (T ).
(3.22)
H0 ,n
(mod pW )
if a W.
From now on, v will be always the valuation of C or any subfield such that
v(p) = 1, i.e. v = vp . Then v() = e1K .
For any subfield L of C, we denote
OL = {x L | v(x) 0};
111
n1
where k is an algebraic
' = O " [ 1 ] and k " = kL . We know that k = kC = k,
L
K
L p
L
is exact.
d
4
g(i )ei , so
i=1
Gx =
d
:
i=1
{g G | g(i ) = i } :=
d
:
Gi ,
i=1
(
)
which equals
d
7
i=1
We thus get
112
P K Y Gk = P0 K0 Y Gk Y,
so we get the result.
(
)
113
C()
9
= 0,
= K,
(3.23)
Proof. One notes that the C-representation C() is admissible if and only if
C()GK , as a K-vector space of dimension 1, must be 1-dimensional and
hence is isomorphic to K.
(
)
4
The ring R and (, )-module
a & ap .
(4.1)
nN
116
nN
ring R(A/pA).
Proposition 4.3. There exists a bijection between R(A/pA) and the set
S = {(x(n) )nN | x(n) A, (x(n+1) )p = x(n) }.
p p mod pm+1 A,
m+1
x
'pn+m+1 x
'pn+m mod pm+1 A.
m
lim x
'pn+m exists in A, and the limit is independent of
m+
Then x
(n)
is a lifting of xn , (x
lim x
'pn+m .
m+
(n+1) p
R(A/pA) S.
On the other hand the reduction modulo p from A to A/pA naturally induces
the map S R(A/pA), (x(n) )nN & (x(n) mod pA)nN . One can easily check
that the two map are inverse to each other.
(
)
Remark 4.4. In the sequel, we shall use the above bijection to identify R(A/pA)
to the set S. Then any element x R(A/pA) can be written in two ways
x = (xn )nN = (x(n) )nN , xn A/pA, x(n) A.
(x + y)(n) =
(4.2)
m+
(4.3)
117
In particular, we set
v(xy) = v(x)v(y).
So the topology defined by the valuation is the same as the topology of inverse
limit, and therefore is complete. Because R is a valuation ring, R is a domain
and thus we may consider Fr R, the fraction field of R. Then
Fr R = {x = (x(n) )nN | x(n) C, (x(n+1) )p = x(n) }.
118
The valuation v extends to the fraction field Fr R by the same formula v(x) =
v(x(0) ). Fr R is a complete nonarchimedean perfect field of characteristic p > 0
with the ring of integers
R = {x Fr R | v(x) 0}
whose maximal ideal is mR = {x Fr R | v(x) > 0}.
For the residue field R/mR , one can check that the map
0
R
OK /pOK k
(
)
where [ap
n
ap .
] = (ap
V = m V0 R[X],
and U P + V P & = m .
Claim: For any n N, there exists x R, such that v(P (x)) pn .
For fixed n, consider n : R ! OK /p, recall
Ker n = {y R | v(y) pn },
we just need to find x R such that n (P (x)) = 0. Let
119
Q(X) = X d + + 1 X + 0 OK [X],
where i is a lifting of n (ai ). Since K is algebraic closed, let u OK be a
root of Q(X), and u
be its image in OK /pOK , then any x R such that
n (x) = u
satisfies n (P (x)) = 0. This proves the claim.
Take n0 = 2m + 1, we want to construct a sequence (xn )nn0 of R such
that
v(xn+1 xn ) n m, and P (xn ) n R,
then
Y j P [j] (X).
j2
y j P [j] (xn ).
(4.4)
j2
n)
which implies that v(P & (xn )) m. Take y = PP$(x
(xn ) , then v(y) n m,
and we get xn+1 as required.
(
)
(
)
120
From now on, we identify Fr R with Hom(Z[1/p], C ) by the above canonical isomorphism.
Denote by UR Fr R the group of the units of R. Since for x R,
x UR x(0) OC
, we get
UR = Hom(Z[1/p], OC
).
)
UR = Hom(Z[1/p], OC
= Hom(Z[1/p], k ) Hom(Z[1/p], UC+ ).
UR = k UR+ .
n
UR1
lim UR1 /(UR1 )p
nN
0 UR Fr R Q 0
is exact and
(1) Fr R = Hom(Z[1/p], C );
) = k UR+ ;
(2) UR = Hom(Z[1/p], OC
+
+
(3) UR = Hom(Z[1/p], UC ) = Qp Zp UR1 ;
n
nN
(4.5)
121
R(OL /pOL ) = RH = kL .
This is the case if L is a finite extension of K0 .
Proof. From the proof of last proposition, kL RH = R(OL /pOL ), it remains
to show that
x = (x(n) )nN RH , v(x) > 0 = x = 0.
' ) = v(L ) is discrete, so v(x) =
We have v(x(n) ) = pn v(x(0) ), but v(L
(0)
v(x ) = +, which means that x = 0.
(
)
4.2.2 R(K0cyc /pOK0cyc ), and .
Let K0cyc be the subfield of K obtained by adjoining to K0 the pn -th roots of
1 for all n. Take ((n) )n0 such that
Then
K0 ((n) ).
nN
122
p
p1
Remark 4.14. From now on, we set and = 1 as in the above Lemma.
Proposition 4.15. We have a short exact sequence
u.u(0) 1
t.
0 Zp (1) UR1 C 0
which respects GK0 -action and induces a short exact sequence
t.
0 Qp (1) UR+ C 0.
Proof. This is an easy exercise.
(
)
!rad
k(()) = (Fr R)H .
(m N)
then
for all m N.
123
OL =
W [n ].
n=0
Write
n = n 1, the image of n in OL /pOL , then OL /pOL is generated
as a k-algebra by
n s. Since k OE0 , we are reduced to prove
n m (OF ) = m (k[[]]rad ),
s
For all s Z, p
for all m, n N.
k[[]]rad , and
s
= p 1 = ((n+s) )nN 1
= (n+s 1)nN ,
n = m ( p
(
)
for all m N.
lim
[L:K]<+
L/K0 Galois
extension L of K0 ,
Let K0,n = K0 ((n) ) and Ln = K0,n L, then Ln /K0,n is Galois with Galois
group Jn = Gal(Ln /K0,n ) and for n large, we have Jn = Jn+1 := J. Since
124
Proof (Proof of the Lemma). This follows immediately from (0.27) and the
proof of Proposition 0.88.
(
)
We will see that the lemma implies the first assertion. Choose n such that
v(g(n ) n ) < 1/d for all g 2= 1. Let Pn (X) OK0,n [X]/pOK0,n [X] be the
polynomial Pn (X) (mod p), We choose Q(X) OE0 [X], monic of degree d,
a lifting of Pn . Choose the image in OK /pOK by 0 of a root of Q in OE 0
in such a way that
v( n ) v( g(
n )),
for all g J.
1
.
d
for all g J.
nomial such that P (a) = 0. Then for any g GK0 , g(a) is a root of
d
4
g(P ) =
g(i )X i . To prove g(a) E0s , it is enough to show g(E0 ) = E0 ,
i=0
g() = (1 + )(g) 1.
Moreover, for any g Gal(K/K0cyc ), then g(a) is a root of P . Thus for g
Gal(K/K0cyc ) := H, g|E0s Gal(E0s /E0 ), in other words, we get a map
Gal(K/K0cyc ) Gal(E0s /E0 ).
125
rad
that is, F is a separable proper extension of E0 contained in E<
0 . To finish
the proof, we just need to prove the following lemma.
(
)
126
(Zp )tor
9
Fp (, Z/(p 1)Z)
,
Z/2Z
if p 2= 2,
if p = 2,
HL
cyc
*L
***
*
*
L
***
***
*
L
K0cyc
L
&&&
&
&
&&
K0
L
&&&
&&&
K0,
** L
***
*
*
K0
**
***
***
HL
GL
K0
127
(4.6)
Es
HL
HK0
EL
+
++
++ L
+
++
++
E0 = EK0
K0
))
))
)
))
))
EL
+
++
++ HL
+
++
++
rad
E"
L
HL
,,
,, L
,
,,
,,
HL
+
++
++
+
+
++
"
rad
E
L
E0 = EK0
(4.7)
"
The Galois group GK0 (and therefore GK ) acts naturally on W (Fr R) and B.
"
Denote by the Frobenius map on W (Fr R) and on B. Then commutes
"
with the action of GK0 : (ga) = g(a) for any g GK0 and a B.
128
n n ,
n=0
n W, n N,
1
] W (Fr R)
n=
n n : n W, n = 0 for n A 0.
(4.8)
n=
(4.9)
then E 0 =
g( ) = (1 + )(g) 1.
0 = p +
E0 K0
aFp
(4.10)
129
E0ur =
*
F
"
EF B,
(4.11)
(E0ur )HK = EK := E,
(4.12)
then E (resp. E) is again a complete discrete valuation field whose residue field
is E (resp. E) and whose maximal ideal is generated by p, and E0ur /E (resp.
E0ur /E) is a Galois extension with the Galois group Gal(E0ur /E) = HK (resp.
HK ). Set
ur
ur = E!
E ur = E0ur , E!
0 .
It is easy to check that E (resp. E) is stable under , and also stable under
GK , which acts through K (resp. K ).
Replace E and E by EL and EL for L a finite extension of K0 , one gets the
corresponding EL and E L , whose residue fields are EL and EL respectively.
We have Fig.4.3 .
130
HK0
HL
++
++
+
+
++
++
L
EL .
.
..
..
..
..
EL ----------
E0 = EK0 = K!
0 (( ))
/
///
///
/
/
/
///
K0
E 0 = E K0
(4.16)
(4.17)
et
et
and M,
(OE ) (resp. M,
(E)), the category of etale (, )-modules over OE
(resp. E), with a quasi-inverse functor
=
>
V(D) = OE!
ur OE D
=1
=
>
ur D
)
(resp. E!
E
=1
(4.18)
131
ur D by
!
and GK acting on OE!
E
ur OE D and E
g( d) = g() g(d)
ur HK
(4.19)
, and
K = Gal(E/E).
E E D& (V ) D(V )
et
is an isomorphism. Thus the category M,
(E) is an equivalence of categories
et
with RepQp (GK ) and M, (E). For Zp -representations, the corresponding
result is also true.
!
Example 4.25. If K = K0 = W (k)[ 1 ], W = W (k), then E = E0 = K((
)). If
p
= W!
(( )) with the (, )-action given by
( ) = (1 + )p 1,
g( ) = (1 + )(g) 1.
(4.20)
d
/
aij ei .
i=1
d
/
bij ei .
i=1
Exercise 4.26. (1) Find the necessary and sufficient conditions on D such
that the action of 0 can be extended to an action of K .
(2) Find formulas relying A and B equivalent to the requirement that
and commute.
(3) Given (A1 , B1 ), (A2 , B2 ) two pairs of matrices in GLd (E) satisfying the
required conditions. Find a necessary and sufficient condition such that the
associated representations are isomorphic.
132
EK
(E0 )
(EK )
p
(x0 , x1 , , xp1 ) O!
&
ur
E
p1
/
i=0
i=0
i=1
(
)
133
(a(x)) = (a)x
(4.21)
n
p/
1
[]i n (xi )
(4.22)
i=0
p1
/
i=0
(1 + )i Fi ((1 + )p 1),
p1
1 //
(z(1 + ))i Fi ((z(1 + ))p 1)
p zp =1 i=0
1 /
F (z(1 + ) 1).
p zp =1
134
D
'
$
E
(OE0 /pni )(ei )
4
xi (ei ) 0
!D
$
'
(xi )ei
5
de Rham representations
: GK Zp .
For i Z, the Tate twist Zp (i) = Zp ti is the free Zp -module with GK -action
through i .
Let M be a Zp -module and i Z, Recall the i-th Tate twist of M is
M (i) = M Zp Zp (i). Then
M M (i),
x & x ti
One sees immediately the above isomorphism in general does not commute
with the action of GK .
'
Recall C = K.
Definition 5.1. The Hodge-Tate ring BHT is defined to be
BHT =
S
iZ
1
C(i) = C[t, ]
t
136
5 de Rham representations
We have
<
BHT B
HT = C((t)) =
+
B /
i=
C
ci ti , ci = 0, if i A 0.
Proposition 5.2. The ring BHT is (Qp , GK )-regular, which means that
(1) BHT is a domain;
GK
(2) (Frac BHT )GK = (BHT
) = K;
(3) For every b BHT , b 2= 0 such that g(b) Qp b, for all g GK , then b
GK
is invertible. and BHT
= K.
Proof. (1) is trivial.
<
< GK =
(2) Note that BHT Frac BHT B
HT , it suffices to show that (BHT )
K.
4 i
Let b =
ci t , ci C, then for g GK ,
iZ
g(b) =
g(ci )i (g)ti .
137
is injective and dimK DHT (V ) & dimQp V . V is Hodge-Tate if and only if the
equality
dimK DHT (V ) = dimQp V
holds.
Proposition 5.5. For V to be Hodge-Tate, it is necessary and sufficient that
Sens operator of W = V Qp C be semi-simple and that its eigenvalues
belong to Z.
Proof. If V is Hodge-Tate, then
Wi = (C(i) Qp V )GK (i) K C
Therefore
dimK DHT (V )
and V is Hodge-Tate.
dimC Wi = dimQp V
(
)
<
Remark 5.8. A p-adic representation V of GK is B
HT -admissible if and only if
it is BHT -admissible. This is an easy exercise.
138
5 de Rham representations
or
Then a & (a0,n , a1,n , , an1,n ) gives a natural map W (R) Wn (OK /p).
For every n N, the following diagram is commutative:
Wn+1 (OK /p)
%
###
#
#
fn
##
$
###
! Wn (O /p)
W (R)
K
where fn ((x0 , x1 , , xn )) = (xp0 , , xpn1 ). It is easy to check the natural
map
W (R) = lim Wn (OK /p)
(5.1)
fn
(a0 , , an ) & (
a0 , , a
n1 ).
(
a0 , a
1 , , a
n1 ) &
n1
/
i=0
ni
pi api
(5.2)
139
wn+1
! OC
$
! OC /pn = O /pn
K
n+1
! OC /pn+1
fn
$
Wn (OK /p)
$
! OC /pn
(5.3)
(x) =
(5.4)
pn x(n)
n .
n=0
n1
/
(n)
pi (xi )pni =
i=0
n1
/
(i)
pi xi
i=0
(nr)
since (xi )p = xi
+
/
pn x(0)
n .
(5.5)
n=0
140
5 de Rham representations
Proof. For the first assertion, it is enough to check that Ker (, p), because
OC has no p-torsion and W (R) is p-adically separated and complete. In other
words, if x Ker and x = y0 + px1 , then (x) = p(x1 ), hence x1 Ker .
We
4may construct inductively a sequence xn1 = yn1 + pxn , then x =
( pn yn ).
Now assume x = (x0 , x1 , , xn , ) Ker , then
(0)
0 = (x) = x0 + p
pn1 x(n)
n ,
n=1
(0)
T1U
W (R)
= K0 W W (R).
p
T U
We can use the map x & 1 x to identify W (R) to a subring of W (R) p1 .
Note
*
T1U
W (R)
=
W (R)pn = lim W (R)pn .
p
nN
n=0
141
+
Definition 5.13. (1) The ring BdR
is defined to be
T1U
T1U
+
BdR
:= lim W (R)
/(Ker )n = lim W (R)
/()n .
p
p
nN
(5.6)
nN
+
+
BdR := Frac BdR
= BdR
T1U
.
(5.7)
T U
7
Since
n W (R) p1 = 0, there is an injection
n=1
T1U
+
W (R)
- BdR
.
p
T U
+
We use this to identify W (R) and W (R) p1 with subrings of BdR
. In particT1U
+
ular, K0 = W p is a subfield of BdR
.
Let L be any finite extension
of K0 inside K. Set WL (R) = L W W (R)
T U
(hence WK0 (R) = W (R) p1 ). The surjective homomorphism : WK0 (R) ! C
can be extended naturally to : WL (R) ! C, whose kernel is again the
principal ideal generated by . Moreover, we have a commutative diagram
WK0 (R) C
inclId
Set
WL (R) C
+
BdR,L
= lim WL (R)/(Ker )n = lim WL (R)/()n .
nN
(5.8)
nN
+
+
Then the inclusion WK0 (R) - WL (R) induces the inclusion BdR
- BdR,L
.
However, since both are discrete valuation ring with residue field C, the inclusion is actually an isomorphism. This isomorphism is compatible with the
+
+
+
GK0 -action. By this way, we identify BdR
with BdR,L
and hence K BdR
.
142
5 de Rham representations
Remark 5.15. Let K and L be two p-adic local fields. Let K and L be algebraic
closures of K and L respectively. Given a continuous homomorphism h : K
+
+
L, then there is a canonical homomorphism BdR (h) : BdR
(K) BdR
(L) such
that BdR (h) is an isomorphism if and only if h induces an isomorphism of the
completions of K and L.
From this, we see that BdR depends only on C not on K.
By Theorem 0.21, we have the following important fact:
+
Proposition 5.16. For the homomorphism : BdR
C from a complete
discrete valuation ring to the residue field of characteristic 0, there exists a
+
section s : C BdR
which is a homomorphism of rings such that (s(c)) = c
for all c C.
+
Exercise 5.17. (1) There is no section s : C BdR
which is continuous in
the natural topology.
+
(2) There is no section s : C BdR
which commutes with the action of
GK .
P0 = W (k)
p
which is the completion of the maximal unramified extension of K0 in C. We
have
T1U
P0 W (R)
, and P0 C
p
and is a homomorphism of P0 -algebras. Let P = P0 K which is an algebraic
closure of P0 , then
+
P BdR
+ i
Fili BdR = BdR
,
dR
+
Fil0 BdR = BdR
.
(5.9)
143
(1)n+1
n=1
([] 1)n
+
BdR
.
n
(5.10)
([] 1)n
Fil2 BdR if n 2,
n
to prove that t
/ Fil2 BdR , it is enough to check that
[] 1
/ Fil2 BdR .
Since [] 1 Ker , write [] 1 = with W (R), then
[] 1
/ Fil2 BdR () 2= 0
/ W (R).
It is enough to check that [] 1
/ W (R) 2 . Assume the contrary and let
2
[] 1 = with W (R). Write = (0 , 1 , 2 , ). Since
= (=, 1, 0, 0, ),
2 = (=2 , ),
we have 2 = (0 =2 , ). But
[] 1 = (, 0, 0, ) (1, 0, 0, ) = ( 1, ),
hence 1 = 0 =2 and
v( 1) $ 2.
p
We have computed that v( 1) = p1
(see Lemma 4.13), which is less than
2 if p 2= 2, we get a contradiction. If p = 2, just compute the next term, we
will get a contradiction too.
(
)
144
5 de Rham representations
Remark 5.20. We should point out that our t is the p-adic analogy of 2i C.
+
Although exp(t) = [] 2= 1 in BdR
, ([]) = 1 in C = Cp .
Recall Zp (1) = Tp (Gm ), viewed additively. Let Zp (1) = Zp (1), viewed
multiplicatively. Then Zp (1) = { : Zp } is a subgroup of UR+ (cf.
+
Proposition 4.15), and Zp (1) = Zp t BdR
. We have
log([] ) = log([]) = t.
For any g GK , g(t) = (g)t where is the cyclotomic character. Recall
+ i
+
Fili BdR = BdR
t = BdR
(i)
and
+ 1
+ 1
BdR = BdR
[ ] = BdR
[ ],
t
Then
gr BdR =
gri BdR =
iZ
iZ
+
+
BdR
(i)/tBdR
(i)
iZ
C(i).
iZ
Hence
<
Proposition 5.21. gr BdR = BHT = C(t, 1t ) B
HT = C((t)).
+
Remark 5.22. If we choose a section s : C BdR
which is a homomorphism
+
of rings and use it to identify C with a subfield of BdR
, then BdR , C((t)).
This is not the right way since s is not continuous. Note there is no such an
isomorphism which is compatible with the action of GK .
GK
Proposition 5.23. BdR
= K.
+
Proof. Since K K BdR
BdR , we have
KK
GK
GK
BdR
.
GK
Let 0 2= b BdR
, we are asked to show that b K. For such a b, there exists
an i Z such that b Fili BdR but b
/ Fili+1 BdR . Denote by b the image of
i
b in gr BdR = C(i), then b 2= 0 and b C(i)GK . Recall that
9
0,
i 2= 0,
GK
C(i)
=
K, i = 0,
GK
+
then i = 0 and b K BdR
. Now b b BdR
and b b (Fili BdR )GK for
some i 1, hence b b = 0.
(
)
145
inf
res
Thus
'
K
i
(m )m
Km X m
i
(m )m
Km
i
(m )m
9
' (i)) = Km , if i = 0;
H 1 (Km , K
0,
if i 2= 0.
(
)
146
5 de Rham representations
+
+
+
+
H 0 (GK , ti BdR
/tj BdR
)(, K)
H 1 (GK , ti BdR
/tj BdR
).
to conclude.
By passage to the limit, we obtain the general case.
(
)
: D1 D2
147
0 D& D D&& 0
such that:
(1) and are strict morphisms;
(2) is injective, is surjective and
(D& ) = {x D | (x) = 0}.
If D1 and D2 are two objects in FilK , we can define D1 D2 as
D1 D2 = D1 K 4
D2 as K-vector spaces;
Fili (D1 D2 ) =
Fili1 D1 K Fili2 D2 .
i1 +i2 =i
9
K,
Fil K =
0,
i 0,
i > 0.
148
5 de Rham representations
(
)
Let V be a de Rham representation. By the above Theorem, then
(Fili+1 BdR Qp V )GK = Fili+1 DdR (V ).
For the short exact sequence
0 Fili+1 BdR Fili BdR C(i) 0,
if tensoring with V we get
0 Fili+1 BdR Qp V Fili BdR Qp V C(i) Qp V 0.
Take the GK -invariant, we get
0 Fili+1 DdR (V ) Fili DdR (V ) (C(i) Qp V )GK .
Thus
gri DdR (v) = Fili DdR (V )/ Fili+1 DdR (V ) - (C(i) Qp V )GK .
Hence,
S
iZ
Then
S
iZ
149
5.2.6 A digression.
Let E be any field of characteristic 0 and X a projective (or proper) smooth
algebraic variety over E. Consider the complex
1
2
X/E
: OX/E X/E
X/E
,
150
5 de Rham representations
m
define the de Rham cohomology group HdR
(X/E) to be the hyper cohomology
m
Theorem 5.32 (Tsuji [Tsu99], Faltings [Fal89]). The p-adic representation Hemt (XK , Qp ) is a de Rham representation and there is a canonical
isomorphism of filtered K-vector spaces:
m
DdR (Hemt (XK , Qp )) , HdR
(X/K),
ur ,
B = E!
( )
1
"
"
B = Frac(A) = W (Fr R)
.
p
151
+
4
i=0
" xi Fr R, k N, define
pi [xi ] A,
k+
v(xk ) +
=
k>
k>
= lim wk (x) +
= +}.
k+
r
r
One checks easily that for Fr R, wk (x) v() if and only if []x
"
W (R) + pk+1 A.
+
4
k=0
+
4
k=0
+
4
k=0
(
)
+
pk [xk ] converges in BdR
;
(0)
converges in C;
pk xk
"(0, 1] .
(4) x A
+
Remark 5.38. We first note that if x Fr R, then [x] BdR
. Indeed, let
v(x) = m. Recall = [=] + p W (R), where = R and =(0) = p, is a
generator of Ker . Then x = =m y for y R. Thus
+
[x] = [=]m [y] = pm ( 1)m [y] BdR
.
p
152
5 de Rham representations
p
[=]
6k
ak
6ak k
1
pak m W (R) + (Ker )m+1
p
+
for all m. Thus, ak + implies that pk [xk ] 0 BdR
/(Ker )m+1 for
+
+
every m, and therefore also in BdR by the definition of the topology of BdR
.
(
)
"(0,1] = B + A,
" and we can use the
Remark 5.39. We just proved that A
dR
isomorphism
"(0, 1]
"(0,pn ]
n : A
A
"(0,r] in B + , for r pn .
to embed A
dR
Define
" :=
A
r>0
"(0, r] = {x A
" : n (x) converges in B + for n < 0}.
A
dR
Lemma 5.40. x =
+
4
k=0
v( xxk0 ) > kr for all k 1. In this case, v (0,r] (x) = v(x) = v(x0 ).
Proof. The only if part is an easy exercise. Now if x =
+
4
pk [xk ] is a unit in
k=0
+
"(0,r] , suppose y = 4 pk [yk ] is its inverse. Certainly x0 2= 0. As
A
k=0
lim v(xk ) +
k
= +,
r
lim v(yk ) +
k
= +,
r
there are only finite number of xk and yj such that v(xk ) + kr = v (0,r] (x) =
v(x) and v(xj ) + kr = v (0,r] (y) = v(y). Suppose m, n are maximal such that
n
m+n
v(xm ) + m
in
r = v(x) and v(yn ) + r = v(y). Compare the coefficients of p
xy = 1, if m + n > 1, then
153
m+n
m+n
m+n
min {v(xi yj ) +
} > v(xm yn ) +
,
i+j=m+n
r
r
r
i,=m
" (0, r] = A
"(0,r] [ 1 ] =
B
p
nN
k
r
> v(x0 ) or
(
)
"(0,r] ,
pn A
" is called the field of overconagain with the topology of inductive limit. B
vergent elements.
By the above lemma, we have
" is a subfield of B,
" stable by and GK , both acting conTheorem 5.41. B
0
tinuously.
" . The contiProof. We only prove that non-zero elements are invertible in B
nuity of - and GK0 -actions is left as an exercise.
+
4 k
" (0,r] with xk 2= 0, then x = pk0 [xk ]y with
Suppose x =
p [xk ] B
0
0
k=k0
y=
+
4
k=0
" . Suppose v (0,r] (y) C for some constant C 0. Choose s (0, r) such
B
that 1s 1r > C. Then v(yk ) + ks > v(yk ) + kr + kC > 0 if k 1. By the above
"(0,s] .
lemma, y is invertible in A
(
)
From now on in this chapter, we suppose L is a finite extension of K0 and
F & = FL& = Lcyc K0ur .
" B, A = A
" B (so B is a subfield of B
Definition 5.42. (1) B = B
(0, r]
(0, r]
"
stable by and GK0 ), A
=A
B.
" , B
" , A , B , A(0, r] , B (0, r] }, define L = HL . For
(2) If {A, B, A
(0, r]
"(0, r] OE .
example AK = OE and AK = A
(0, r]
(3) If {A, B, A , B , A
, B (0, r] }, and n N, define L,n =
n
"
(L ) B.
154
5 de Rham representations
(0, r]
We want to make AL
(( )) =
AK0 = OE0 = W!
+
/
n n
n=
| n W, n 0 when n ,
and BK0 = K!
0 (( )), where = [] 1.
Consider the extension EL /E0 . There are two cases.
(1) If EL /E0 is unramified, then EL = k & (()) (recall = 1) where k & is
a finite Galois extension over k. Then F & = Frac W (k & ) Lcyc and
9 +
R
/
n
&
AL = OE =
n | n OF $ = W (k ), n 0 when n .
n=
Let
L = in this case.
(2) In general, suppose the residue field of EL is k & . Then F & = Frac W (k & )
Lcyc . Let L be a uniformizer of EL = k & ((L )), and let P L (X) EF $ [X] =
k & (())[X] be a minimal polynomial of L . Let PL (X) OF $ [ ][X] be a
lifting of P L . By Hensels lemma, there exists a unique
L AL such that
PL (
L ) = 0 and L =
L mod p.
Lemma 5.43. If we define
9
1,
rL =
(2v(D))1 ,
if in case (1),
otherwise .
(0, r]
p
e(p1)
. Thus
L is a unit AL
e(p1)
p
(2v(DEL /EF $ )
Similarly,
PL& (
L )
v
e(p1)
.
p
It is easy to check
&
= [P L (L )] + p[1 ] + p2 [2 ] + , and
i >
&
P L (L )
&
while the last equality follows from Proposition 0.73. Thus PL& (
L ) is a unit
(0, r]
1
AL
for 0 < r < (2v(DEL /EF $ ) .
(
)
155
kZ
xn )).
For x AL , define {xn }nN recursively by x0 = x and xn+1 = p1 (xn s(
4+ n
Then x = n=0 p s(
xn ). By this way,
/
n
an
L
: an OF $ , lim v(an ) = +}
(5.12)
AL = {
n
nZ
(
)
kZ
(5.13)
(0,r]
(f (
L )) = inf
kZ
6
1
v(ak ) + kv(L ) .
r
(5.14)
156
5 de Rham representations
(krv(L ) + n).
r
r
rL
r
One then deduces that
0in
This implies
kv(L )).
51
6
11
12
i2
,
wi (x) +
+ (n i)
r
r
rL
kZ
(
)
(0, r]
where [1/p ] = (n) et/p follows from that the value of both sides is (n)
and the pn -th power of both side is [] = et (recall t = log[]). This implies
the proposition in the unramified case.
For the ramified case, we proceed as follows.
By the definition of EL , L,n = ("
L,n ) is a uniformizer of Ln mod a =
{x : vp (x) p1 }. Let n be the image of L,n in Ln mod a. So we just have to
prove L,n Ln .
Write
d
/
PL (x) =
ai ( )xi , ai ( ) OF $ [[ ]].
i=0
Define
PL,n (x) =
d
/
i=0
a
i
(n )xi ,
1
p
157
and
1
1
1
v(PL& ( L )) = n v(dEL /E0 ) <
if pn rL > 1.
pn
p
2p
+
) Ln [[t]] BdR
.
This is a AK
r]
(V ).
(0, rV ]
AK
(V ) D(V ).
(0, rV ] D
AK
(0,pr)
(0,pr)
If V is overconvergent, choose a basis {e1 , , ed } of
(V ) over AK
4D
(0,r)
for pr rV , then x D
(V ) can be written as i xi (ei ), we define the
valuation v (0,r] by
v (0,r] (x) = min v (0,r] (xi ).
1id
One can see that for a different choice of basis, the valuation differs by a
bounded constant.
One can replace K by any finite extension of K0 to obtain the definition
of overconvergent representations over L.
"(0,r]
5.3.3 Tate-Sens method for A
(0,r]
158
5 de Rham representations
(0,r]
1 = ( ) is a unit in
n
(0,r]
AK0
. In general,
6
n
5
/
n
i
[]ip 1
=
i
+
([]p 1)k
[]pn 1
k+1
k=1
(
)
j=1
6j
65
5
/
k
( )
=k1 (( ) )
1 ,
j+1
j=0
therefore
(x) x = (( ) )
and
/
k
ak k1
( )
1
6j
k
v (0,r] ((x) x) pn v() + min{(nk 1)v() + } = v (0,r] (x) + (pn 1)v().
k
r
This finishes the proof of (2).
(
)
Proof. One sees that (x) = 04if and only if ((x)) = 0. As ei (D(V )),
((ei )) = ei and ((x)) = i ((xi ))ei . Therefore (x) = 0 if and only
if ((xi )) = 0 for every i, or equivalently, (xi ) = 0 for every i.
(
)
159
xi =
d
4
j=1
Then
( 1)x =
=
p1
/
i(1+upn )
[]
i=1
p1
/
((xi ))
n1
[]i []iup
i=1
p1
/
[]i (xi )
i=1
p1
2
/
(xi ) xi :=
[]i fi (xi ).
i=1
We claim that the map f : x & []up (x) x is invertible in D(0,r] (V ) for
r < min{rV , pn }, u Zp and n is sufficiently large. Indeed, as the action of
is continuous, we may assume v (0,r] (( 1)ej ) 2v() for every j = 1, , d
for n sufficiently large. Then
n
[]up
f (x)
=
((x) x),
[]upn 1
[]upn 1
and
(x) x =
d
/
j=1
((xj ) xj )(ej ) +
f (x)
[]upn 1
d
/
j=1
xj ((ej ) ej ),
160
5 de Rham representations
upn
g(x) = ([]
1)
+ 5
/
k=0
f
[]upn 1
6k
and
n+
(0,1]
"(0,1]
A
L'
"!
! A(0,1]
L,n
1,
1
11
11 n k n+k
11
(0,1]
AL,n+k
One verifies that n k n+k does not depend on the choice of k, using
+
(0,1]
the fact = Id. By definition, for x k0 AL,n+k , we immediately have:
(0,1]
(0,1]
(a) RL,n RL,n+m = RL,n ; (b) If x AL,n , RL,n (x) = x; (c) RL,n is AL,n+k linear; (d) lim RL,n (x) = x.
n+
161
(0,1]
4pk 1
i=0
v (0,1] (RL,n (x)) = v (0,1] (n (y0 )) v (0,1] (nk (y)) = v (0,1] (x).
By the above inequality, RL,n is continuous and can be extended to " as
+
(0,1]
"(0,1] and the condition (TS2) is satisfied. Let
k0 AL,n+k is dense in A
RL,n
(x) = n1 (1 )( k1 (y)) n1 ((A(0,1] )=0 ),
thus
(0,1] =0
RL,n
(x) n1 ((AL
(0,1] =0
(0,p
=(n+1) ((AL
A(0,p
(n+1)
] =0
n1
).
+
/
i=0
(0,p(n+i+1) ] =0
).
(0,p(n+i+1) ]
"
and for x (RL,n 1),
thus (TS3) is satisfied.
+
/
i=0
162
5 de Rham representations
1
"
" such that
in Hcont
(G0 , GLd ()),
there exists an n > 0, M GLd ()
(0,1]
&
V GLd (AK,n ) for () < 0 and V is trivial in HK
.
If V is a Zp -representation of GK , pick a basis of V over Zp , let U be
the matrix of GK under this basis, then & U is a continuous cocycle
with values in GLd (Zp ). Now the fact V (D(V )) = V means that the image
1
&
1
&
of Hcont
(HK
, GLd (Zp )) Hcont
(HK
, GLd (A)) is trivial, thus there exists
N GLd (A) such that the cocycle & W = N 1 U (N ) is trivial over
&
HK
. Let C = N 1 M , then C 1 V (C) = W for GK . As V and W
&
is trivial in HK
, we have C 1 V (C) = W . Apply Lemma 3.45, when n is
(0,1]
(0,1]
sufficiently large, C GLd (AK,n ) and thus M = N C GLd (AK,n ).
Translate the above results to results about representations, there exists
(0,1]
(0,1]
"(0,1] N V such that
an n and an AK,n -module DK,n A
"(0,1]
"(0,1] (0,1] D(0,1]
A
V.
K,n A
A
K,n
(0,1]
(0,1]
" (0,r] = A
"(0,r] [ 1 ] by setting
(XX: to be fixed) One can extend v (0,r] to B
p
4
+
k
v (0,r] (x) = inf kk0 (v(xk ) + r ) if x = k=k0 pk [xk ]. Moreover, for 0 < s r,
" (0,r] , set
and x B
v (0,r] (x) := min(v (0,s] (x), v (0,r] (x)).
(5.15)
Lemma 5.57. If x =
+
4
k=0
163
"(0,r]
pk [xk ] is a unit in the ring of integers of A
+
4
n=1
(1)n1
(x 1)n
n
converges
Proof. Suppose = v (0,r] (x 1). The hypothesis for x implies that > 0.
Then for every s (0, r], v [s,r] (x 1) = and hence
v [s,r]
1 (1)n1
n
2
1 (1)n1 2
vp (n)
(x 1)n v [s,r]
+nv [s,r] (x 1) = n
n
s
(0,r]
BL
(
)
q
p
1=
p
4
p1
k=2
=p>
k
k1 . By Proposition 5.45,
5 62
5 1
6
2 1
p
rp
+ (k 1)
1 =
min vp p1
,
p
r 2kp
k
p1
1q
i
v (0,r] ( p(q) 1)
(
)
i+1
min( pp1 , pi
i+1
]0,r]
i (q)
tends to 1 on BK0 for every r > 0.
p
i
]0,r]
p t
i ( ) tends to 1 on BK0 for every r > 0.
Proof. (1) follows from the previous lemma and the formula v (0,r] (i (x)) =
i
pi v (0,p r] (x). (2) is a consequence of (1) and the definition of v [s,r] . (3) follows
]0,r]
from (2) and the definition of the topology on BK0 . (4) follows from (3) and
n
&
i
+
the formula ip(t ) = n=i+1 p(q) .
(
)
Lemma 5.61. If i N, then
5
5
66 9 (1)
1,
pi t
n
i1
( ) i
=
()
0,
if n = i;
if n =
2 i.
(5.16)
164
5 de Rham representations
(
)
(
)
(
)
t
n1 ( )
]0,r]
BL
]0,r]
BL
in
Li 0.
(0,r]
(0,r]
"
Proposition 5.65. If r < 0 and pn r < rL , then RL,n : A
AL,n exL
]0,r]
]0,r]
"
tends by Qp -linearity and continuity to a map RL,n : B
BK,n , the
L
" ]0,r] and one has v [s,r] (RK,n (x))
general term RK,n (x) tends to x in B
L
" ]0,r] .
v [s,r] (x) CL (r) if s (0, r] and x B
" (0,r] ) = 0.
Proposition 5.66. If L is a finite extension of K0 , then H 1 (HL , B
6
Semi-stable p-adic representations
! OC%
&
$
!C
nN T U
+
(3) The module Bcris is defined to be Acris p1 .
T U
Remark 6.2. By definition, A0cris is just the sub W (R)-module of W (R) p1
generated by the n () =
A0cris =
N
#/
n
n! , n
N, i.e.,
%
T1U
an n (), N < +, an W (R) W (R))
.
p
n=0
(6.1)
166
6 m+n
5
6
m+n
m+n
=
m+n ().
n
(m + n)!
n
(6.2)
+
are all rings.
Thus Acris and Bcris
Remark 6.3. The module A0cris /pn A0cris is just the divided power envelop of
Wn (OK /p) related to the homomorphism n : Wn (OK /p) OK /pn .
The map A0cris Acris TisUinjective. Thus we regard A0cris as a subring of
+
+
+
Acris . Since A0cris W (R) p1 , by continuity Acris BdR
and Bcris
BdR
.
We have
"%
! Acris' " ( %
! B+
A0cris
cris
%&
%&
!!
!!
!!
!!
!" $
$
%
1 "
! B+
W (R)[ p ]
dR
and
Acris =
+
#/
n=0
+
Bcris
=
N
#/
%
+
an n (), an 0 p-adically in W (R) BdR
,
T 1 U%
+
an n (), an 0 p-adically in W (R)
BdR
.
p
n=0
(6.3)
(6.4)
However, one has to keep in mind that the expression of an element Acris
+
(resp. Bcris
) in above form is not unique.
The ring homomorphism : W (R) OC can be extended to A0cris , and
thus to Acris :
W (R)
%& (
((
((
((
((
$
*
0
! OC
Acris
%&
111
11
1
1
$ 11
Acris
Proposition 6.4. The kernel
Ker ( : Acris OC )
is a divided power ideal, which means that, if a Acris such that (a) = 0,
m
m
+
then for all m N, m 1, am! ( Bcris
) is again in Acris and ( am! ) = 0.
Proof. If a =
an n () A0cris , then
am
=
m!
an
sum of in =m n
167
nin
.
(n!)in (in )!
(ni)!
(n!)i i! N for n 1 and i
(ni)!
0, (n!)
i i! can be interpreted
for i = 0. If ni >
combinatorially as the number
of choices to put ni balls into i unlabeled boxes. Thus
/
$
(nin )!
am
an
=
nin () A0cris
in (i )!
m!
(n!)
n
n
sum of in =m
m
( am! )
and
= 0.
The case for a Acris follows by continuity.
(
)
: Acris OC OC /p = OK /p.
ideal, which means that, if a Ker (), then for all m N, m 1, am! Acris
am ) = 0.
and (
m!
pm
m!
+
/
(1)n+1
n=1
in Zp .
(
)
([] 1)n
+
BdR
.
n
m+
+
Acris , Bcris
,
+
Bcris
[1/t]
(
)
168
pm
( + (p 1)!p ())m W (R)[p ()] A0cris .
m!
As a consequence,
(A0cris ) A0cris .
+
By continuity, is extended to Acris and Bcris
. Then
n=0
(1)n+1
(x 1)n
.
n
(6.5)
m
1
log(xp ).
m
p
(6.6)
169
For any a OC
, then a
k and a
2= 0. One has a decomposition
a = [
a]x,
and x 1 + mC . We let
where a
k , [
a] W (k)
log a := log x.
-
(6.7)
. By the relation
v(xs ) = r = v(pr ) and xpr = y OC
log(
xs
) = log y = s log x r log p,
pr
(1)n+1
n=0
([x] 1)n
,
n
x UR1 .
(6.9)
1) = 0. Therefore n ([x]
which means that x UR1 or equivalently, ([x]
([x]1)n
1) =
Acris and
n!
log[x] =
n=0
170
x & log[x]
+
by
extends uniquely to the logarithm map on UR+ with values in Bcris
+
log : UR+ Bcris
,
m
1
log[xp ] (m < 0).
pm
log[x] :=
(6.10)
! Qp (1)
! U+
R
!C
!0
! Qp t
%&
$
! U%
&
!C
!0
$
! Fil1 B
dR
$
! B+
!C
!0
dR
where the first row exact sequence comes from Proposition 4.15, the isomorphism UR+ , U follows from the fact that for x = (x(n) ) UR+ , log x(0) = 0 C
if and only if x(0) p (K). As a result,
U Fil1 BdR = Qp t = Qp (1),
+
U + Fil1 BdR = BdR
.
(6.11)
+
Remark 6.9. We shall see later in Theorem 6.26 that U = {u Bcris
| u =
pu}.
(6.12)
x & log[x].
xs
) = log y = s log x r log =,
=r
171
1
(r log[=] + log[y]).
s
Thus in order to define log[x], it suffices to define log[=].
log[x] =
then
log
[=]
p
[=]
p
(1)n+1
log[=] := log
[=]
p
note that
p
1 = 0,
p
n
( [;]
p 1)
i=0
[;]
p ,
(1)n+1
i=0
/
n
+
BdR
n
np
i=0
n
( [;]
p 1)
+
BdR
,
(6.13)
+
then we get the desired logarithm map log : (Fr R) BdR
for any x
as log[] = t.
The kernel of log is just k . The short exact sequence
0UR+ (Fr R) /k Q0
+
shows that the sub-Qp -vector space of BdR
generated by the image of the
logarithm map log is U Qp log[=].
172
Proof. Let = /p, then and are both inside Fil1 BdR
Fil2 BdR .
4but not
+
n
Let S = W (R)[[]] BdR be the subring of power series
an with coefficients an W (R). For every n N, let Fili S = S Fili BdR , then Fili S is a
principal ideal of S generated by i . We denote
i : Fili BdR OC
the map sending i to (). One knows that i (Fili S) = OC .
By construction, Acris S and hence Ccris = Frac Acris Frac(S). We
show that if S is not zero, then log[=]
/ S, which is sufficient for the
lemma.
Since S is separated by the p-adic topology, it suffices to show that if
r N and S pS, then pr log[=]
/ S. If a W (R) satisfies (a) pOC ,
then a (p, )W (R) and hence a pS. Therefore one can find i 0 and
bn W (R) such that (bi )
/ OC and
= /
> /
bn n .
=p
bn n +
0n<i
WX
ni
V WX Y
B
S, then
A
npj
j+1
pj1 n /n Filp
and
p /p
thus
j
0<n<pj
/
n>i
n>pj
pj1 n /n Fili+p
bn n Fili+p
BdR ,
+1
+1
+1
BdR
BdR ,
+1
BdR .
+1
BdR ) = OC ,
(
)
173
BdR
b.
is injective.
Proof. Note that Frac(K K0 Bcris ) is a finite extension over Ccris , thus log[=]
is transcendental over Frac(K K0 Bcris ). Therefore
K K0 Bst = K K0 Bcris [log[=]] = (K K0 Bcris )[log[=]]
and (2) is proved.
For (1), we know that
and
then
+ GK
K0 (Bcris
)
(Bcris )GK (Bst )GK (Cst )GK (BdR )GK = K.
(
)
174
nN
(6.14)
is exact.
Proposition 6.17. The monodromy operator N satisfies:
(1) gN = N g for every g GK0 ;
(2) N = pN .
Proof. Using g(log[=]) = log[=]+(g)t, and N ((g)t) = 0 since (g)t Bcris ,
we get that
N (gb) = g(N b), for all b Bst , g GK0 .
Since
N (
bn (log[=])n ) =N (
nN
nN
nN
=pN (
bn (log[=])n ),
nN
we have N = pN .
(
)
175
+
Filr BdR . In particular, one has Fil0 A = A BdR
and denotes : Fil0 A C
+
the restriction of the projection BdR C.
If A is a subring of Bcris stable by , and if r Z, we let I [r] A = {a A |
+
n
(A) Filr A for n N}. If I [0] A = A, i.e., A BdR
(which is the case for
+
1
[r]
A = W (R), W (R)[ p ], Acris or Bcris ), then {I A : r N} forms a decreasing
sequence of ideals of A. In this case we also write I [1] A = IA.
For any x W (R), we write x& = 1 (x), we also denote x
R the
reduction of x modulo p. Then for = [] 1, one has & =4
[& ] 1. Write
= & where = 1+[& ]+ +[& ]p1 . Note that ( ) =
((1) )i = 0
0ip1
and
1
& 1
= 1, therefore is a generator of Ker .
= 1 + & + + &p1 =
and v(
) =
p
p1
1
p1
m1
/
p
pn np + pm m
(mod pm+1 );
n=0
m1
/
n=0
by induction hypothesis,
p
pn np + pm m
n=m+1
pn np ;
176
v(pn np ) n + pmn (1 + pr ) m + (1 + pr );
-
177
n1
n0
(1)n
n
= u,
n+1
where u is a unit in .
Recall K0 is the torsion subgroup of K0 . Then the subfield of K0 ((t))
fixed by K0 is K0 ((tp1 )) (resp. K((t2 )) if 4
p = 2). As a result, the ring ,
an t{n} with an = 0 if p 1 % n
the subring of fixed by K0 , is formed by
(resp. if 2 % n).
Let 0 be the trace from K0 ((t)) to K0 ((tp1 )) (resp. K0 ((t2 )) if p = 2 )
of , then
/ tn
/ tn
0 = (p 1)
(resp. 2
).
n!
n!
n1
p1|n
n1
2|n
One sees that the ring S, the subring of S fixed by K0 , is then the ring of
power series W [[0 ]]. One can easily check that 0 p (resp. 8), and there
exists v such that 0 /p = v (tp1 /p) (resp. 0 /8 = v (t2 /8)). One can
also see the evident identification S S = .4
let q = p + 0 and let q & = 1 (q). Then q = aFp [][a] (resp. [] + []1 )
where [a] is the Teichm
uller representative of a.
Proposition 6.20. With the precedent notations,
(1) the element 0 is a generator of I [p1] W (R) if p 2= 2 (resp. of I [2] W (R)
if p = 2).
(2) there exists a unit u S such that
0 = u0 q p1 if p 2= 2 (resp. u0 q 2 if p = 2).
Proof. The case of p 2= 2 and p = 2 are analogous, we just show the case
p 2= 2.
Proof of (1): Let be the norm of over the field extension K0 ((t))/K0 ((tp1 )).
One has
$
$
1 =
h( ) =
([][a] 1).
hK0
aF
p
178
4
W [[0 ]] = W [[1 ]]. We can write 0 =
am 1m with am W and a1 is a
unit. Moreover, since a0 = (0 ) = a0 , 0 generates the same ideal as 1 .
Proof of (2): Note that q & and are two generators of the kernel of the
restriction of to S& = 1 (S ) = W [[& ]], thus
= & = & = u&1 & q &
with u&1 a unit in S& . Then = u1 q and (p1 ) = u1p1 p1 q p1 . Since
0 and p1 are two generators of S I [p1] W (R), (0 ) = u0 q p1 with u
a unit in S . Now the uniqueness of u and the fact that S = S K0 imply that
u and u1 S.
(
)
If A0 is a commutative ring, A1 and A2 are two A0 algebras such that A1
' A0 A2
and A2 are separated and complete by the p-adic topology, we let A1
be the separate completion of A1 A0 A2 by the p-adic topology.
Theorem 6.21. One has an isomorphism of W (R)-algebras
:
' S Acris
W (R)
' S Acris .
W (R)
' S
' S S s
'S
W (R)
= W (R)
= W (R)
0 = u& 0& q p1 = u& (q &p pq &p1 ), which implies that R/q &p = R/0 and Acris
modulo p is the free module over R/0 with base the images of m ( p0 ). It is
' S modulo p.
clear this is also the case for the ring W (R)
(
)
179
Proof. For every r N, Acris / Filr Acris is torsion free. The kernel of the map
Acris (Acris / Filr Acris )N
180
Note that for every n N, (pr )n (x) n (ar )t{r} (mod pn Acris ), thus
x = bt{r} with b W (R) and moreover, (b) = b, i.e. b Zp .
p1
Let N be the associated sub-W (R)-module of Acris generated by q &j n ( t p ),
for j + (p 1)n r. If j, n N, one has
(q &j n (
tp1
tp1
0
tp1
)) = q j pn(p1) n (
) = pj+n(p1) (1 + )j n (
),
p
p
p
p
Proof of (3): Suppose x Filr Acris , then by Proposition 6.23, one can
write
pm m!x = y + z, y W (R), z I [r] .
Since y I [r] , one sees that y Filr W (R) = q &r W (R) N . The assertion
follows since we also have z I [r] N .
(
)
181
+
+
Bcris
0
0 Qp (r) Filr Bcris
is exact.
(3) For every r Z, the sequence
pr 1
thus has
m0
x = pj
m0
m0
m0
v(cm ) (m + r)(1
1
1
).
p 1 (p 1)2
+
If p 2= 2, it is an integer and (x) pjr W (R)[[t]] pjr Acris Bcris
. For
p = 2, the proof is analogous.
The assertion (2) follows directly from Proposition 6.24.
For the proof of (3), by (2), for every integer i such that r + i 0, one has
an exact sequence
+
+
0 Qp (r + i) Filr+i Bcris
Bcris
0,
The result follows by passing the above exact sequence to the limit.
(
)
182
Let
=1
Be = Bcris
= {b Bcris , b = b},
(6.15)
is exact.
(5) The sequence
+
0 Qp Be BdR /BdR
0
(6.16)
is exact.
Proof. Fil0 Be = Qp is a special case of Theorem 6.25 (3). Thus Fili Be
Qp Fili BdR = 0 for i > 0. (1) is proved.
By (1), one also see for r > 0, the sequence
+
0 Qp Filr Be Filr BdR /BdR
Idincl-
C(1)
Id-
+
0 Qp Fil1 Be Fil1 BdR /BdR
whose rows are exact. We thus get (2) and the case r = 1 of (4).
4r1
Suppose r 2 and let Xr be the set of elements of the form i=0 bi v i
with bi U (1). It is a sub Qp -vector space of Filr Be . Write v =
v0 /t and bi = b&i /t, then v0 , bi U and (v0 ) 2= 0. Thus br1 v r1 =
b&r1 v0r1 /tr and (b&r1 v0r1 ) = (b&r1 )(v0 )r1 . Thus the projection of Xr to
183
Id-
Xr
incl-
+
Filr BdR /BdR
0
Id-
+
0 Qp Fil1 Be Filr BdR /BdR
whose rows are exact. We thus get (3) and the rest of (4).
(5) follows by passage to the limit.
(
)
Remark 6.27. (1) The exact sequence (6.16) is the so-called fundamental exact
sequence, which means that
+
(a) Qp = Be BdR
,
+
(b) BdR = Be + BdR
(not a direct sum).
One can also use Theorem 6.25 (3) directly to deduce the exact sequence
1
0 Be Bcris Bcris 0
and prove (5).
r =1
(2) For any integer r 1, Fil0 Bcris
= Qpr , the unique unramified extension of Qp of degree r. This could be shown by using analogue method as the
one to prove Proposition 6.24 (1).
184
Note that Dst (V ) and Dcris (V ) are K0 -vector spaces and the maps
st (V ) : Bst K0 Dst (V ) Bst Qp V
cris (V ) : Bcris K0 Dcris (V ) Bcris Qp V
Proposition 6.30. (1) A p-adic representation V is semi-stable (resp. crystalline) if and only if dimK0 Dst (V ) = dimQp V (resp. dimK0 Dcris (V ) =
dimQp V ).
(2) A crystalline representation is always semi-stable.
Let V be any p-adic representation of GK , since K K0 Bst BdR is
injective if [K : K0 ] < (Theorem 6.14), we see that
K K0 Dst (V ) = K K0 (Bst Qp V )GK
= (K K0 (Bst Qp V ))GK
= ((K K0 Bst ) Qp V )GK
185
Remark 6.32. By definition, a crystalline representation is a p-adic representation of GK which is Bcris -admissible. Note that Bcris = {b Bst | N b = 0}.
Thus a p-adic representation V of GK is crystalline if and only if V is semistable and N = 0 on Dst (V ).
186
N = N,
for all K0
N = pN.
Moreover,
(1) There is a tensor product in this category given by
D1 D2 = D1 K0 D2 as K0 -vector space,
(d1 d2 ) = d1 d2 ,
N (d1 d2 ) = N d1 d2 + d1 N d2 .
() = 1 ,
N ()(d) = (N d), for all d D.
Definition 6.36. A filtered (, N )-module over K consists of a (, N )module D over K0 and a filtration on the K-vector space DK = K0 K0 D
which is decreasing, separated and exhaustive, i.e., such that Fili DK (i Z),
the sub K-vector spaces of DK satisfy
187
Fili+1 DK Fili DK ,
:
*
Fili DK = 0,
Fili DK = DK .
iZ
iZ
A morphism : D1 D2 of filtered (, N )-modules is a morphism of (, N )modules such that the induced K-linear map K : K K0 D1 K K0 D2
satisfies
K (Fili D1K ) Fili D2K , for all i Z.
The set of filtered (, N )-modules over K makes a category. We denote it
by MFK (, N ).
Remark 6.37. The category MFK (, N ) is an additive category (but not
abelian). Moreover,
(1) There is an tensor product:
D1 D2 = D1 K0 D2
with , N as in Remark 6.35, and the filtration on
(D1 D2 )K = K K0 (D1 K0 D2 ) = (K K0 D1 )(K K0 D2 ) = D1K K D2K
defined by
Fili (D1K K D2K ) =
i1 +i2 =i
188
Assume d& = ad, a K0 , a 2= 0, such that d& = & d& . One can compute
easily that
(a) &
d& = (a)d =
d ,
a
which implies
(a)
& =
.
a
As : K0 K0 is an automorphism, vp () = vp (& ) Z is independent of
the choice of the basis of D. We define
Definition 6.38. If D is a (, N )-module over k of dimension 1 such that
is bijective, then set
tN (D) := vp ()
(6.17)
where GL1 (K0 ) = K0 is the matrix of under some basis.
Remark 6.39. The letter N in the expression tN (D) stands for the word Newton, not for the monodromy map N : D D.
(2) Assume dimK0 D = h is arbitrary. The h-th exterior product
Dh
K0
D D K0 D K0 K0 D(h times)
4h
Choose a basis {e1 , , eh } of D over K0 , such that (ei ) = j=1 aij ej .
Write A = (aij )1!i,j!h . Given another basis {e&1 , , e&h } with the transformation matrix P , write A& the matrix of , then A = (P )A& P 1 . Moreover
is injective if and only if det A 2= 0, and
Proposition 6.41.
(6.19)
189
Proof. (1) Choose a K0 -basis {e1 , , eh$ } of D& and extend it to a basis
{e1 , , eh } of D, then {
eh$ +1 , , eh } is a basis of D&& . Under these bases,
suppose the matrix of over D& is A, over D&& is B, then over D the matrix
of is ( A0 B ). Thus
tN (D) = vp (det(A) det(B)) = tN (D& ) + tN (D&& ).
(2) If the matrix of over D1 to a certain basis {ei } is A, and over
D2 to a certain basis {fj } is B, then {ei fj } is a basis of D1 D2 and
under this basis, the matrix of is A B = (ai1 ,i2 B). Thus det(A B) =
det(A)dim D2 det(B)dim D1 and
tN (D1 D2 ) = vp (det(A B)) = dimK0 (D2 )tN (D1 ) + dimK0 (D1 )tN (D2 ).
(3) If the matrix of over D to a certain basis {ei } is A, then under
the dual basis {ei } of D , the matrix of is (A1 ), hence tN (D ) =
vp (det (A1 )) = vp (det A) = tN (D).
(
)
Proposition 6.43. If D is a (, N )-module such that dimK0 D < and
is bijective, then N is nilpotent.
Proof. If N is not nilpotent, let h be an integer such that N h (D) = N h+1 (D) =
= N m (D) for all m h. Then D& = N h (D) 2= 0 is invariant by N , and by
since N m = pm N m for every integer m > 0. Thus D& is a (, N )-module
such that N and are both surjective.
Pick a basis of D& and suppose under this basis, the matrices of and
N are A and B respectively. By N = pN we have BA = pA(B). Thus
vp (det(B)) = 1 + vp (det((B))) = 1 + vp (det(B)), this is impossible.
(
)
Now let FilK be the category of finite-dimensional filtered K-vector spaces.
Definition 6.44. Suppose FilK is a finite dimensional filtered K-vector
space.
(1) If dimK = 1, define
tH () := max{i Z : Fili = }.
(6.20)
(6.21)
Ah
where K K0 K0 (h times) is the h-th exterior algebra of
with the induced filtration.
190
Then
tH () =
h
/
ij .
j=1
/
iZ
i dimK gri
(6.22)
191
(6.24)
192
tH (Im ) = tD (Im )
(
)
holds.
Definition 6.52. Let V be a p-adic representation of GK . V is called potentially B-admissible if there exists a finite extension K & of K contained in K
such that V is B-admissible as a representation of GK $ , i.e.
B B GK $ (B Qp V )GK $ B Qp V
is an isomorphism, or equivalently,
dimB GK $ (B Qp V )GK $ = dimQp V.
It is easy to check that if K K & K && is a tower of finite extensions of
K contained in K, then the map
B GK $ B GK $$ (B Qp V )GK $$ (B Qp V )GK $
is always injective. Therefore, if V is admissible as a representation of GK $ ,
then it is also admissible as a representation of GK $$ .
Remark 6.53. The condition (H) is satisfied by B = K, C, BHT , BdR , Bst .
The reason is that K is also an algebraic closure of any finite extension K & of
K contained in K, and consequently the associated K, C, BHT , BdR , Bst for
K & are the same for K.
193
= (B Qp V )GK $
is a K & -vector space, and dimK $ = h. Moreover, J acts semi-linearly on ,
and
(B Qp V )GK = J .
194
and hence
The group J = GK /GK $ acts naturally on (BdR Qp V )GK $ , and on K & K0$ D& ,
the J-action is by ( d& ) = () (d& ) for K & and d& D& . These two
actions are equivalent.
Definition 6.57. A filtered (, N, Gal(K & /K))-module over K is a finite dimensional K0& -vector space D& equipped with actions of (, N, Gal(K & /K)) and
$
a structure of filtered K-vector space on (K & K0$ D& )Gal(K /K) .
We get an equivalence of categories between K & -semi-stable p-adic representations of GK and the category of admissible filtered (, N, Gal(K & /K))modules over K.
By passage to the limit over K & and using Theorem A, we get
Proposition 6.58. There is an equivalence of categories between de Rham
representations of GK and admissible filtered (, N, GK )-modules over K.
(2) We have analogy results with #-adic representations, cf. Chapter 1. Recall
that if # 2= p, an #-adic representation V of GK is potentially semi-stable if
there exists an open subgroup of the inertia subgroup which acts unipotently.
(3) Assume V is a de Rham representation of GK of dimension h, and let
= DdR (V ). Then there exists a natural isomorphism
BdR K
= BdR Qp V.
Since the natural map K K0$ Bst BdR is injective, Theorem A is equivalent
to the claim that there exists a finite extension K & of K contained in K such
that (bij ) GLh (K & K0$ Bst ).
&
195
196
Dst (V ) = Dst (V ) ;
Dst (Qp ) = K0 .
where MF?K (, N ) is the essential image of Dst , i.e, for D a filtered (, N )module inside it, there exists a semi-stable p-adic representation V such that
D , Dst (V ). And
Vst : MF?K (, N ) Repst
Qp (GK )
is a quasi-inverse functor.
Proposition B2. For any object D of MFad
K (, N ), there exists an object V
of Repst
(G
)
such
that
D
(V
)
,
D.
K
st
Qp
Remark 6.62. The first proof of Proposition B2 is given by Colmez and
Fontaine ([CF00]) in 2000. It was known as the weakly admissible implies
admissible conjecture. In the old terminology, weakly admissible means admissible in this book, and admissible means ? as in Exercise 6.61.
In next chapter we will give parallel proofs of Theorem A and Theorem
B relying of the fundamental lemma in p-adic Hodge theory by Colmez and
Fontaine.
7
Proof of Theorem A and Theorem B
Definition 7.1. The Newton polygon PN (D) is the polygon with break points
(0, 0) and (v1 + + vj , 1 v1 + + j vj ) for 1 j m. Thus the end point
of PN (D) is just (h, tN (D)).
198
"
(h, tN (D))
v1
v1 + v2
(0, 0) #
&
#
&
#
1
&
##$
%%%
%
$$$
%
$%
i
&
&
&
&
&
&
&&
The Hodge polygon PH (D) is defined similarly. Let i1 < < im be those
is satisfying Fili DK / Fili+1 DK 2= 0. Let hj = dimK (Filij DK / Filij +1 DK ).
Definition 7.2. The Hodge polygon PH (D) is the polygon with break points
(0, 0) and (h1 + + hj , i1 h1 + + ij hj ) for 1 j m. Thus the end point
of PH (D) is just (h, tH (D)).
"
(h, tH (D))
h1
h1 + h2
(0, 0) #
&
#
&
#
i1
&
##$
%%%
$$$
$%%%
&
&
&
&
&
&
&&
i2
199
Set
|D4i5 = pi |D .
We also have
(7.1)
Indeed, for D = Dst (V ) = (Bst Qp V )GK and D& = Dst (V (i)) = (Bst Qp
V (i))GK , let t be a generator of Zp (1), then ti is a generator of Qp (i) and
V (i) = {v ti | v V }. Then the isomorphism D-i. D& is given by
/
/
d=
bn vn & d& =
bn ti (vn ti ) = (ti ti )d
where bn Bst , vn V .
200
Fili+1 DK 2= DK .
Replacing D with D-i., we may assume that i = 0. There are two cases.
Case 1: Fil1 DK = 0. This means that the filtration is trivial. We have
discussed this case in 7.1.2.
Case 2: Fil1 DK 2= 0. Therefore Fil1 DK = L is a 1-dimensional sub K-vector
space of DK . Hence there exists a unique r 1 such that
DK , if j 0,
j
Fil DK = L
if 1 j r, .
0,
if j > r
"
(2, r)
!
!
!
!
!
!
!
!
!
(0, 0)
201
Fig. 7.3.
P (X) = X 2 + aX + b = (X 1 )(X 2 )
for some a, b Qp , 1 , 2 Qp .
We may assume vp (1 ) vp (2 ). Then PN (D) is as Fig. 7.4
"
(2, vp (1 ) + vp (2 ))
#
##
#
#
"#(1, vp (1 ))
"
"
"""
(0, 0)
Fig. 7.4.
(7.2)
202
(e1 ) = 1 e1 ,
(e2 ) = p1 e2 ,
N (e1 ) = 0,
N (e2 ) = e1 .
tH (D) = tN (D);
tH (D& ) tN (D& ) for any subobjects D& of D.
(7.3)
with
(e1 ) = 1 e1 ,
N (e1 ) = 0,
(e2 ) = p1 e2 ,
N (e2 ) = e1 .
if j 0,
D{1 ,} ,
Filj D{1 ,} = Qp (e2 + e1 ), if 1 j 2vp (1 ) + 1,
0,
otherwise.
203
9
(e1 ) = e2 ,
N = 0,
(e2 ) = be1 ae2 ,
if j 0,
Da,b ,
j
Fil Da,b = Qp e1 , if 1 j r,
0,
otherwise.
9
(e1 ) = 1 e1 ,
(e2 ) = 2 e2 ,
N = 0,
204
Filj D& 1 ,2
&
D1 ,2 ,
= Qp (e1 + e2 ),
0,
if j 0,
if 1 j r,
otherwise.
g(b ) = g(b) ,
(b ) = (b) (),
N (b ) = N (b) + b N (),
205
r+s=i
We define
Vst (D) ={x X | (x) = x, N (x) = 0, x Fil0 X}
Note that V X satisfies the above conditions. We only need to check that
Vst (D) = V .
h
4
Write x =
bn vn Vst (D), where bn Bst . Then
n=1
h
4
n=1
bn
n=1
(bn ) vn =
h
/
n=1
bn vn .
+
0 Qp Be BdR /BdR
0,
206
with
Proposition 7.12. Every unramified p-adic representation of GK is crystalline and Dst induces an equivalence of categories between Repur
Qp (GK ), the
category of unramified p-adic representations of GK (equivalently RepQp (Gk ))
and the category of admissible filtered (, N )-modules with trivial filtration
(equivalently, of etale -modules over K0 ).
7.2.3 Reduction to the algebraically closed residue field case.
Let P be an algebraic closure of P inside of C, where
' ur .
K0ur P0 P = P0 K = K
+
Then P BdR
. Note that BdR (P /P ) = BdR (K/K) = BdR , and ditto for Bst
and Bcris .
For the exact sequence
1 IK GK Gk 1,
IK
we have IK = Gal(P /P ). If V is a p-adic representation of GK , as BdR
= P,
207
(
)
H
Qp V )J = (K0 Qp V )J = K0 Qp V J
=(Bst
H
because of Bst
= K0 . Therefore
(
)
208
Then V is Hodge-Tate if and only if there exists i Z (not unique) such that
(C(i) Qp V )GK 2= 0. Because
(C(i) Qp V )GK = (C Qp V (i))GK ,
the Hodge-Tate condition is also equivalent to that V (i) is C-admissible, by
Sens Theorem (Corollary 3.57), this is equivalent to that i (IK ) is finite
where is the cyclotomic character. In this case we write = 0 i .
Proposition 7.17. If : GK Zp is a continuous homomorphism, then
= ,
Thus
209
K0 , 2= 0.
tN (D& ) = vp () = r and N = 0.
h
/
i=1
h
4
i=1
bi vi . Thus
bi vi and N =
h
/
i=1
N bi vi ,
implies that bi Fils BdR for all i. Now this case follows from the following
Lemma.
Lemma 7.19. If b Bcris satisfies b = b with K0 and vp () = r, and
if b is also in Filr+1 BdR , then b = 0.
Proof. Let = K0 e be a one-dimensional (, N )-module with e =
N e = 0. Then tH () = r and
9
K,
if i r,
i
Fil K =
0,
if i > r.
1
e
and
Now
Am
D&
Am
Dm
D& ) = tH (D& ),
tH (
Dm
tN (
D& ) = tN (D& ),
(
)
210
g(v) = g()g(v).
m = 0, , r 1
(0)
(m)
m = 0, , r 1
(m)
r1
S
m=0
r1
S
m=0
Bst m Qpr V.
r1
S
m=0
(m)
Dst,r (V ).
211
(i+j)
(
)
r1
S
(m)
DdR,r (V ).
m=0
If V is semi-stable, then
(m)
(m)
K,m = DdR,r (V ) = K m K0
comes from BdR m Qpr V .
212
(m)
K,m =
).
We call admissible if the associated D is admissible.
Proposition 7.24. Let Repst
Qpr (GK ) denote the category of semi-stable Qpr r
representations of GK and MFad
K ( , N ) denote the category of admissible
r
filtered ( , N )-modules over K. Then the functor
ad
r
Dst,r : Repst
Qpr (GK ) MFK ( , N )
(
)
(m)
(m)
213
m=0
tH (V ) =
m1
/
tH.m (V ).
(7.6)
m=0
(7.7)
tH (V ) = h2 tH (V1 ) + h1 tH (V2 ).
(7.8)
Then
214
0 V(r) Xr C 0,
where V(r) is the image of fs of the Lubin-Tate formal group associated to
Qpr , a Qpr -representation of dimension 1.
Proof. We first check that fr is well defined. Suppose x = (x(0) , , x(n) , )
R, we can certainly write it as x = (x(n) )nZ by setting x(n) = (x(n+1) )p for
n0 r
n < 0. There exist n0 Z such that x(n0 r) pOC . For u = xp , then
n
[u]
n! Acris for every n N and the series
+
/
nr
pn [up ] =
n=0
Thus
+
/
nr
+
/
(pnr )! [u]p
Acris .
pn
(pnr )!
n=0
nr
pn [xp ] = pn0
n=n0
Since
41
n=
+
/
n=n0
nr
nr
+
.
pn [up ] Bcris
nr
pn [xp ] = pn0
n=
1
/
n=
nr
+
pn [up ] Bcris
.
+
Therefore fr (x) is a well defined element in Bcris
. It is easy to see that
r
(fr (x)) = pfr (x) and hence fr is well defined over Xr .
We show fr is surjective. For b Xr , assume b Acris . Then b is the limit
i
4
of elements bn of the form bn = in pi [apn,i ] such that r (bn ) pbn 0.
r1
215
if p 2= 2 or r 2, or
(z)
1 (0) 2
(u ) + u(0) + 2u(1) = 2y 4 + 2y 2 + 21 y = a mod 22 OC
2
=p
C 0.
Fil K,0
9
Ke0 ,
=
0,
em = 1 e = m (e)
if i 0;
if i > 0.
if i < 0;
if i 0.
216
a
a
Then V(r)
is a Qpr -representation of dimension 1 and v a is a generator of V(r)
,
(m)
a
and Dst,r (V(r)
) is generated by m (v a v a ). One has
0,
a
i
a
dR,r (V(r) ),
gr DdR (V(r) ) = D
E
(m)
a
DdR,r (V(r)
),
if i
/ {a, 0};
if i = a;
if i = 0.
m,=0
a
a
Thus tH,0 (V(r)
) = a and tH,m (V(r)
) = 0 for m 2= 0.
j( ) = j() , if j J, F, .
By the map & 1 , we identify with 1 E = (F )J . Let L be a sub
F -vector space of F . Then there exists & , a sub E-vector space of such
that L = F E & if and only if g(L) = L for all g J, i.e., L is stable under
the action of J.
Proof. The only if part is trivial. If L is stable under the action of G, then we
have an exact sequence of F -vector spaces with G-action
0 L F F /L 0,
Taking the G-invariants, we have an exact sequence of E-vector spaces
0 LG (F /L)G .
Thus dimE LG = dimF L and & = LG satisfies L = F E & .
(
)
217
Then
F = Cst K0 D Bst K0 D V.
r
/
j=1
equivalently,
Bst K0
Bst
Dr
K0
D& Bst K0
Dr
K0
D.
d 0 = d1 d2 dr ,
Ar
then v0 = bd0 . Since vi Vst (D& ), then v0 Vst ( D& ), which is 2= 0 as
v0 2= 0. The facts
Dr
Dr
dimK0
D& = 1 and Vst (
D& ) 2= 0
218
imply that
Dr
Dr
D & ) $ tN (
D& ).
tH (
Ar
TheAadmissibility condition then implies that tH (D& ) = tN (D& ), thus tH ( D& ) =
r
tN ( D& ) and
Dr
D& ) = Qp v0 .
Vst (
r
4
i=1
v1 vi1 v vi+1 vr = ci v0
Dr
Qp
Dr
D& ) = Qp v0 ,
V Vst (
V is also semi-stable.
(
)
219
is an unramified representation.
(
)
Step 2: Show the following Propositions 2A and 2B and thus reduce to the
case that V and D are irreducible.
Proposition 2A. If 0 V & V V && 0 is a short exact sequence of padic representations of GK , and if V & , V && are semi-stable and V is de Rham,
then V is also semi-stable.
Proposition 2B. If 0 D& D D&& 0 is a short exact sequence of
admissible filtered (, N )-modules over K, and if
dimQp Vst (D& ) = dimK0 D& ,
220
where
Fil0 (BdR K DK ) =
0
Vst
(D)
/
iZ
(7.10)
(7.11)
1
Vst
(D) induced by
1
Bst K0 D BdR K DK ! Vst
(DK ).
(7.12)
is exact.
&
Proof. For i = 1. By assumption, the exact sequence 0 DK
DK
&&
DK 0 implies that the sequences
&
&&
0 BdR K DK
BdR K DK BdR K DK
0
and
&
&&
0 Fili BdR K Fili DK
Fili BdR K Fili DK Fili BdR K Fili DK
0
221
$
! Fil0 (BdR D& )
$
! Fil0 (BdR D)
$
! Fil0 (BdR D&& )
!0
$
! BdR D&
$
! BdR D
$
! BdR D&&
!0
$
! V1 (D& )
st
$
! V1 (D)
st
$
! V1 (D&& )
!0
$
0
$
0
$
0
st
where the three columns and the top and middle rows of the above diagram
are exact, hence the bottom row is also exact and we get the result for i = 1.
For i = 0, note that
0
(D) = {x Bst K0 D | N x = 0, x = x}.
Vst
Let
0
Vcris
(D) = {y Bcris K0 D | y = y}.
d
and u = pu.
du
+
/
n=0
xn un , xn Bcris K0 D
is exact. The only thing which matters is the structure of -isocrystals. There
are two cases.
(a) the case k is algebraically closed. For the exact sequence
222
0 D& D D&& 0,
it is well known that this sequence splits as a sequence of -isocrystals. Thus
0
0
0
(D&& ).
(D) = Vcris
(D& ) Vcris
D , D& D&& and Vcris
(b) the case k is not algebraically closed. Then
0
Vcris
(D) = {y Bcris K0 D | y = y} = {y Bcris P0 (P0 K0 D) | y = y}
(
)
(7.13)
is exact.
Proof. Use the fact
Bst Qp V = Bst K0 D BdR Qp V = BdR K DK ,
then
0
Vst
(D) = {x Bst Qp V | N x = 0, x = x}.
As N (b v) = N b v and (b v) = b v, then
0
Vst
(D) = Be Qp V.
is exact.
(
)
223
$
! Vst (D& )
$
! V0 (D& )
st
$
! V1 (D& )
st
$
! Vst (D)
$
! V0 (D)
$
! V1 (D)
st
$
! Vst (D&& )
$
! V0 (D&& )
$
! V1 (D&& )
st
$
0
$
0
st
st
!0
!0
which is exact in rows and columns by Propositions 7.31 and 7.32. A diagram chasing shows that Vst (D) Vst (D&& ) is onto, thus dimK0 Vst (D) =
dimQp V .
(
)
224
Proof. We just need to show (1) (2). Let V be a p-adic de Rham representation of GK of reduced dimension h, we need to show that V is potentially
semi-stable.
There exists an integer r 1, such that we may consider V as a Qpr representation of dimension h. For s 1 and for any a Z, let V(s) be the
a
Qps -representation as given in 7.3.3, then V(s)
is also a Qps -representation
of dimension 1. Choose s = rb with b 1 and a Z, and let
a
V & = V Qpr V(s)
,
Choose a and b in such a way that tH (V & ) = 0. Apply (1), then V & is potentially
semi-stable. Thus
a
V & Qps V(s)
= V Qpr Qps V
is also potentially semi-stable.
(
)
We have
Proposition 7.36. For h N, h 1, the following are equivalent:
225
226
0 Qp (1)
incl-
U C 0
Id
0 C(1) B2 C 0
where all rows are exact and all the vertical arrows are injective.
Suppose s is an integer 2. Suppose 1 , 2 , , s C are not all zero.
Set
Y = {(u1 , u2 , , us ) U s | c C such that for all n (un ) = cn }.
Then one has an exact sequence
(ui ).c
0 Qp (1)s Y C 0.
4s
Suppose b1 , b2 , , bs B2 , not all zero, such that n=1 n (bn ) = 0. Then
the map
s
/
: Y B2 , (u1 , , us ) &
bi u i
i=1
4s
4
4
has image in C(1), as ( i=1 bi ui ) = (bi )(ui ) = c (bi )i = 0.
ns
pn [xp ].
nZ
Similar to the proof of Proposition 7.26, we see that fs (x) is a well defined
element inside Xs .
(
)
227
+
0 Vst (D) (Bcris
K0 D)=1
+
BdR
DK
BdR DK
1
Vst
(D) =
,
Fil (BdR K DK )
Fil0 (BdR K DK )
0
+
BdR
DK
0.
0
Fil (BdR K DK )
+
On the other hand, (Bcris
K0 D)=1 Xs by sending x e1 to x and
0
+
+
BdR DK Fil (BdR K 4
DK ) is isomorphic to BdR
/ Fil1 BdR K DK /L
= C. If
s
we set L = {x DK | i=1 i ei = 0}, through the isomorphisms, the map &
is nothing but (as an exercise, one can check the details).
(1 , , s ) of (1 , , s ) in Bcris
, then
2, ,
s )T = (t1 , t2 , , ts )T
A(1 ,
(where
i ) = A& ( i ) := A& B 1
P := (
j
j
228
y = (u1 , , us ) & x =
s
/
i=1
ai
ui
.
ti
First s (x) = px since s (ai ) = pai and (ui /t) = ui /t. To see that b Xs ,
+
.
we just need to show4b Bcris
+
, by Theorem 6.25(1), it suffice to show
However, tx =
ai ui Bcris
r
( (tx)) = 0 for all r N, or even for 0 r s 1. In this case, r (tx) =
s
s
4
4
(ai )ui and (r (tx)) = cpr
(r (ai ))i = 0.
pr
i=1
i=1
1
The composite map Xs Y C(1) then sends x Xs to
Y Y & Qp (1)ss ,
(u1 , , us ) & (u1 , , us$ , us$ +1
is a bijection. Let vj = uj
4s$
i=1 bij ui
s
/
i=1
bi,s$ +1 ui , , us$ +1
s
/
i=1
bi,s ui )
s
/
r=1
cr r1 (x).
(x) =
s
/
i=1
(bi +
s
/
bj aij )ui +
s
/
229
bj cj
j=s$ +1
j=s$ +1
(
)
7.7.2 Application of the Fundamental Lemma.
If V is a finite dimensional Qp -vector space, we let VC = C Qp V . By tensoring
the diagram at the start of this subsection by V (1), we have a commutative
diagram
0 V U (1) Qp V VC (1) 0
inclinclId
0 VC B2 (1) Qp V VC (1) 0
where all rows are exact and all the vertical arrows are injective.
Proposition 7.42. Let V be a Qp -vector space of finite dimension s 2.
Suppose there is a surjective B2 -linear map : B2 (1) Qp V B2 (1)
and denote : VC (1) C(1) the deduced C-linear map by passage to
the quotient. Suppose X is a sub-C-vector space of dimension 1 of VC (1)
and X its inverse image of U (1) Qp V . Suppose that X Ker , then the
restriction X of on X can be considered as a map from X to C.
Suppose (V ) 2= (X). Then X : X C is surjective and its kernel is a
Qp -vector space of dimension s.
Proof. Suppose {e1 , e2 , , es } is a basis of V over Qp . Then e&n = t1 en
forms a basis of free B2 -module B2 (1) Qp V . Write (e&n ) = vn t1 with
vn B2 .
&
&
The images
4sen of en& in VC (1) forms a basis of it as a C-vector space.
Suppose =4 n=1 n en is a nonzero element of X. The fact that X Ker
implies that
n (vn ) = 0 and we can apply the precedent4
proposition. The
map : U s U (1) Qp V which sends (u1 , u2 , , un ) to (un t1 ) en
is bijective and its restriction Y on Y is a bijection from Y to X. One thus
have a commutative diagram
Y C(1)
1
Y -t
X
whose vertical lines are bijection. The proposition is nothing but a reformulation of the Fundamental Lemma.
(
)
230
+
+
2 = BdR
t1 e BdR
te& 0 .
One thus has two commutative diagrams: the first one is exact on all rows
and columns
0 V1
Id-
(1 + 2 )
0
1
0 V1 U (1) Qp V1 1 (1)/1 0
1 (1)
1 +
2
the second
0
1 (1)
1 +
2
U (1) V1 1 (1)/(1 + 2 )
-Id
231
-Id
0 C 1 (1)/2 1 (1)/(1 + 2 )
(where C 1 (1)/2 is the map which sends c to ct1 A& ) where the rows
are exact.
One can see that the image X of X in 1 (1)/1 = (C V1 )(1) is a
C-vector space of dimension 1 contained in the kernel of . One can also see
that X is the inverse image of X in U (1) V1 . One then can apply the
precedent proposition. If (V1 ) = (X) we are in case (1). Otherwise, X is
surjective, so is and the kernel of which is equal to the kernel of X is of
dimension s over Qp .
(
)
7.7.3 Recurrence of the Hodge polygon and end of proof.
We are now ready to prove Proposition 3A (resp. 3B), and thus finish the
proof of Theorem A (resp. B).
We say V (resp. or D) is of dimension (r, h) if V (resp. ) is a Qpr representation (resp. a (r , N )-module) of dimension h. From now on, we
assume that V (resp. ) satisfies tH (V ) = 0 (resp. tH (D) = 0.
We prove Proposition 3A (resp. 3B) by induction on h. Suppose Proposition 3A (resp. 3B) is known for all V & (resp. & ) of dimension (r& , h& ) with
h& < h and r& arbitrary, we want to prove it is also true for V (resp. ) of
dimension (r, h).
Consider the set of all convex polygons with origin (0, 0) and end point
(hr, 0). The Hodge polygon PH of V (resp. D) is an element of this set. By
Step 1, we know Proposition 3A (resp. 3B) is true if PH is trivial. By induction
to the complexity of PH , we may assume Proposition 3A (resp. 3B) is known
for all V & (resp. & ) of dimension (r, h) but its Hodge polygon is strictly above
PH (V ) (resp. above PH (D)). By Proposition 2A (resp. 2B), we may assume
V (resp. D) is irreducible.
Recall DK = DdR (V ) (resp. DK = D K0 K). For V , we let K,m =
(m)
DdR,r (V ). Then in both cases,
DK =
r1
S
m=0
K,m ,
Fili DK =
r1
S
m=0
Fili DK K,m .
232
By this way, then hi = dimK F ili DK / Fili+1 DK is the number of j such that
4rh
ij = i, and one has 0 = tH = j=1 ij . Since PH is not trivial, by changing
the order of j , one can assume that i2 i1 + 2.
We fix this basis of DK .
Proof of Proposition 3B.
We consider the (r , N )-module & defined as follows:
-
=
Fil
(B
D
).
Then
V
=
V
=
Fil
B
Fil
D
2
dR
K
K
1
dR
K
K
iZ
&
Vst (D ) (resp. V2 = Vst (D)) is the kernel of the composite map
0
Vst
(D) Bst K0 D W W/i
233
+
+
A BdR
-representation is called Hodge-Tate if it is a direct sum of BdR
i
i+m +
m +
representations of the form Bm (i) = Fil BdR / Fil
BdR = (BdR /t BdR )(i)
for m N {0} and i Z.
Remark 7.46. (1) The category RepB + (GK ) is artinian. Bm (i) is an indedR
composable object in this category.
+
(2) The subobjects and quotients of a Hodge-Tate BdR
-representation is
still Hodge-Tate.
Lemma 7.47. Suppose
0 W & W W && 0
+
is an exact sequence of Hodge-Tate BdR
-representations. For this sequence
to be split, it is necessary and sufficient that there exists a GK -equivariant
Qp -linear section of the projection of W to W && .
234
+
+
+
ti+r1 BdR
ti+r1 BdR
ti+r1 BdR
= B2 (i + r 1)
+
+
+
ti+r BdR
ti+r+s BdR
ti+r+1 BdR
+
The sub-BdR
-module 2 of 1 (1) with basis e&j satisfies the hypotheses of Proposition 7.43. With notations of that proposition, the quotient
(1 + 2 )/1 is a C-vector space of dimension 1 generated by the image of
e&1 = ti1 1 1 and is isomorphic to C(i1 1). One has an exact sequence
0 V X C(i1 1) 0.
(7.14)
This sequence does not admit a GK -equivariant Qp -linear section. In fact, one
has an injection X U (1) V B2 (1) V = 1 (1)/1 (1). The last
one is a free B2 -module of basis bj the image of tij 1 j . The factor with
basis b1 is isomorphic to B2 (i1 1) and the projection parallel to this factor
induces a GK -equivariant commutative diagram
0
C(i1 1) 0
Id-
whose rows are exact. If the sequence at the top splits, so is the one at the
bottom, which contradicts Lemma 7.44.
Note that V = V1 is not contained in the kernel of : otherwise V is
+
contained in 2 , and it is also contained in the sub-BdR
-module of 1 (1)
generated by V1 which is 1 , this is not the case.
Since the map is GK -equivariant and since V is irreducible, the restriction of at V is injective. We have (V ) 2= (X) (otherwise, X = V Ker ,
contradiction to that (7.14) is not split). Therefore dimQp (X) > rh. By
Proposition 7.43, is surjective and its kernel V2 is of dimension rh over Qp .
We can see that V2 is actually a Qpr -representation of dimension h.
235
+
+
Lemma 7.48. The BdR
-linear map BdR
Qp V2 2 induced by the inclusion
V2 2 is an isomorphism.
+
+
Proof. Since both BdR
V2 and are free BdR
-modules of the same rank, it
suffices to show that the map is surjective. By Nakayama Lemma, it suffice to
+
show that, if let V2 be the sub-BdR
-module of 2 generated by V2 and t2 ,
then V2 = 2 .
By composing the inclusion of U (1) V to 1 (1) with the projection
of 1 (1) to 1 (1)/V2 , we obtain the following commutative diagram
V2
0-
U (1) V 1 (1)/2 0
-Id
ij i
&
Kj , and Fili DK
=
Kj .
i$j i
236
+
coefficients in U (1). Since U (1) Be and Be BdR
= Qp , det A is a nonzero
element in Qp and hence A is invertible. Thus the inclusion of V2 U (1)V
induces an isomorphism of Be V2 to Be V , hence a fortiori of Bst V2
to Bst V . By taking the GK -invariant, we get an isomorphism of Dst (V2 )
to Dst (V ). Since V2 is semi-stable, then dimK0 Dst (V ) = rh = dimQp (V )
and V is also semi-stable. This completes the proof of Proposition 3A and
consequently of Theorem A.
(
)
References
[AGV73] M. Artin, A. Grothendieck, and J.-L. Verdier, Theorie des topos et cohomologie etale des schemas, Lecture Notes in Math., no. 269,270,305,
Springer-Verlag, 1972, 1973, Seminaire de geometrie algebrique du BoisMarie 1963-1964.
[And02a] Y. Andre, Filtrations de type Hasse-Arf et monodromie p-adique, Invent.
Math. 148 (2002), no. 2, 285317.
[And02b]
, Representations galoisiennes et operateur de Bessel p-adiques,
Ann. Inst. Fourier(Grenoble) 52 (2002), no. 3, 779808.
[Ax70]
J. Ax, Zeroes of polynomials over local fields- the Galois action, J. Algebra
15 (1970), 417428.
[Bar59] I. Barsotti, Moduli canonici e gruppi analitici commutativi, Ann. Scuola
Norm. Sup. Pisa 13 (1959), 303372.
[BB05a] D. Benois and L. Berger, Theorie dIwasawa des representations
cristallines ii, Prepulications (2005).
[BB05b] L. Berger and C. Breuil, Sur quelques representations potentiellement
cristallines de GL2 (Qp ), Prepublication (2005).
[BD02] D. Benois and T. Nyuyen Quang Do, Les nombres de Tamagawa locaux et
la conjecture de Bloch et Kato pour les motifs Q(m) sur un corps abelien,
238
References
[Ber04a]
[Ber04b]
[Ber04c]
[Ber04d]
[Ber05]
[Ber06]
[BK86]
[BK90]
[BL94]
[BL95]
[BLZ04]
[BM02]
[BM05]
[BO78]
[BO83]
[Bog80]
[Bou89]
[Bre98]
[Bre99a]
[Bre99b]
[Bre00a]
[Bre00b]
[Bre03a]
[Bre03b]
, Equations
differentielle p-adique et (, N )-modules filtres,
Prepublication (2004).
, An introduction to the theory of p-adic representations, Geometric
Aspects of Dwork Theory, Walter de Gruyter, Berlin, 2004, pp. 255292.
, Limites de repesentations cristallines, Compositio Math. 140
(2004), no. 6, 14731498.
, Representations de de rham et normes universelles, Bull. Soc.
Math. France 133 (2004), no. 4, 601618.
, Representations modulaire de GL2 (Qp ) et representations galoisiennes de dimension 2, Habitation (2005).
, Representations galoisiennes et analyse p-adique, Habilitation
(2006).
S. Bloch and K. Kato, p-adic etale cohomology, Publ. Math. IHES. 63
(1986), 107152.
, L-functions and Tamagawa numbers of motives, The
Grothendieck Festschrift (P. Cartier et al., ed.), vol. I, Progress in
Math., no. 86, Birkha
user, Boston, 1990, pp. 333400.
L. Barthel and R. Levine, Irrreducible modular representations of GL2 of
a local field, Duke Math. J. 75 (1994), no. 2, 261292.
, Modular representations of GL2 of a local field: the ordinary, unramified case, J. Number Theory 55 (1995), no. 1, 127.
L. Berger, H. Li, and H. Zhu, Construction of some families of 2dimensional crystalline representations, Math. Ann. 329 (2004), no. 2,
365377.
C. Breuil and A. Mezard, Multiplicities modulaires et representations de
GL2 (Zp ) et de Gal(Qp /Qp ) en ! = p, Duke Math. J. 115 (2002), no. 2,
205310, Avec un appendice par Guy Henniart.
, Representations semi-stables de GL2 (Qp ), Prepulication (2005).
P. Berthelot and A. Ogus, Notes on crystalline cohomology, Princeton
Univ. Press, 1978.
, F -isocrystals and de Rham cohomology i, Invent. Math. 72 (1983),
159199.
F. Bogomolov, Sur lalgebricite des representations !-adiques, CRAS Paris
290 (1980), 701703.
N. Bourbaki, Commutative Algebra, Springer-Verlag, 1989.
C. Breuil, Cohomologie etale de p-torsion et cohomologie cristalline en
reduction semi-stable, Duke Math. J. 95 (1998), 523620.
, Representations semi-stables et modules fortement divisibles, Invent. Math. 136 (1999), no. 1, 89122.
, Une remarque sur les representations locale p-adiques et les congruences entre formes modulaires de hilbert, Bull. Soc. Math. France 127
(1999), no. 3, 459472.
, Groupes p-divisibles, groupes finis et modules filtres, Ann. of
Math. (2) 152 (2000), 489549.
, Integral p-adic Hodge theory, Algebraic Geometry 2000, Azumino
(Hotaka), 2000.
, Serie speciale p-adiques et cohomologie eale completee,
Prepublication (2003).
, Sur quelques representations modulaires et p-adiques de GL2 (Qp ),
Compositio Math. 138 (2003), no. 2, 165188.
References
[Bre03c]
[Bre04]
[CC98]
[CC99]
[CF00]
[Chr01]
[CM97]
[CM00]
[CM01]
[CM02]
[Coh46]
[Col93]
[Col94]
[Col99a]
[Col99b]
[Col00]
[Col02]
[Col03]
[Col04a]
[Col04b]
[Col05a]
[Col05b]
[Col05c]
[Cre98]
239
, Equations
differentielles p-adiques et coefficients p-adiques sur
les courbes, Cohomologies p-adiques et applications arithmetiques, II,
Asterisque, vol. 279, 2002, pp. 125183.
I. S. Cohen, On the structure and ideal theory of complete local rings,
Trans. Amer. Math. Soc. 59 (1946), 54106.
P. Colmez, Periodes des varietes abeliennes `
a multiplication complexe,
Ann. of Math. (2) 138 (1993), 625683.
, Sur un resultat de Shankar Sen, C. R. Acad. Sci. Paris Ser. I
Math. 318 (1994), 983985.
, Representations cristallines et representations de hauteur finie,
J. Reine Angew. Math. 514 (1999), 119143.
, Theorie dIwasawa des representations de de Rham dun corps
local, Ann. of Math. (2) 148 (1999), 485571.
, Fonctions L p-adiques, Seminaire Bourbaki. Vol 1998/1999,
Asterisque, vol. 266, 2000, pp. 2158.
, Espaces de Banach de dimension fine, J. Inst. Math. Jussieu 1
(2002), no. 3, 331439.
, Les conjectures de monodromie p-adiques, Seminaire Bourbaki.
Vol 2001/2002, Asterisque, vol. 290, 2003, pp. 53101.
, La conjecture de Birch et Swinnerton-Dyer p-adiques, Seminaire
Bourbaki. Vol 2002/2003, Asterisque, vol. 294, 2004, pp. 251319.
P. Colmez, Une correspondance de Langlands locale p-adiques pour les
representations semi-stables de dimension 2, Prepublication (2004).
, Fonctions dune variable p-adique, Prepublication (2005).
, Fontaines rings and p-adic L-functions, 2005, Lecture Notes of
a course given in Fall 2004 at Tsinghua University, Beijing, China.
, Serie principale unitaire pour GL2 (Qp ) et representations triangulines de dimension 2, Prepublication (2005).
R. Crew, Finiteness theorems for the cohomology of an overconvergent
isocrystal on a curve, Ann. Sci. E.N.S. (4) 31 (1998), 717763.
240
References
[Dee01]
[Del]
[Del70]
[Del73]
[Del74a]
[Del74b]
[Del80]
[Dem72]
[Die57]
[DM82]
[Dwo60]
[Edi92]
[Fal87]
[Fal88]
[Fal89]
[Fal90]
[Fal94]
[Fal02]
[FI93]
[FK88]
[FL82]
[FM87]
[FM95]
References
[Fon71]
[Fon79a]
[Fon79b]
[Fon82a]
[Fon82b]
[Fon83a]
[Fon83b]
[Fon90]
[Fon94a]
[Fon94b]
[Fon94c]
[Fon97]
[Fon02]
[Fon03]
[Fon04a]
[Fon04b]
[FPR94]
[Fr
o68]
[FvdP81]
241
(J. Coates and S.T. Yau, eds.), International Press, Cambridge, MA, 1995,
pp. 4178.
J.-M. Fontaine, Groupes de ramification et representations dArtin, Ann.
Sci. Ecole
Norm. Sup. (4) 4 (1971), 337392.
, Groupe p-divisibles sur les corps locaux, Asterisque, no. 47-48,
Soc. Math. de France, 1979.
, Modules galoisiens, modules filtres et anneaux de Barsotti-Tate,
Journees de Geometrie Algebrique de Rennes, vol. III, Asterisque, no. 65,
Soc. Math. de France, 1979, pp. 380.
, Formes differentielles et modules de tate des varietes abeliennes
sur les corps locaux, Invent. Math. 65 (1982).
, Sur certains types de representations p-adiques du groupe de Galois dun corps local; construction dun anneau de Barsotti-Tate, Ann.
Math. 115 (1982), 529577.
, Cohomologie de de Rham, cohomologie cristalline et
representations p-adiques, Algebraic Geometry Tokyo-Kyoto, Lecture
Notes in Math., no. 1016, Springer, 1983, pp. 86108.
, Representations p-adique, Proc. Int. Congress Math., Warsawa,
1983.
, Representations p-adiques des corps locaux, 1`ere partie, The
Grothendieck Festschrift (P. Cartier et al., ed.), vol. II, Progress in Math.,
no. 87, Birkha
user, Boston, 1990, pp. 249309.
, Le corps des periodes p-adiques, Periodes p-adiques, Asterisque,
vol. 223, Soc. Math. France, 1994, With an appendix by P. Colmez, pp. 59
111.
, Representations !-adiques potentiellement semi-stables, Periodes
p-adiques, Asterisque, vol. 223, Soc. Math. France, 1994, Papers from the
seminar held in Bures-sur-Yvette, 1988, pp. 321347.
, Representations p-adiques semi-stables, Periodes p-adiques,
Asterisque, vol. 223, Soc. Math. France, 1994, With an appendix by P.
Colmez, pp. 113184.
, Deforming semistable Galois representations, Proc. Nat. Acad.
Sci. U.S.A. 94 (1997), no. 21, 1113811141, Elliptic curves and modular
forms (Washington, DC, 1996).
, Analyse p-adique et representations galoisiennes, Proc. of I.C.M.
Beijing 2002, Vol II, Higher Ed. Press, Beijing, 2002, pp. 139148.
, Presque Cp -representations, Doc. Math. (2003), 285385, Extra
volume to Kazuya Katos fiftieth birthday.
, Arithmetique des representations galoisiennes p-adiques, Cohomologies p-adiques et Applications Arithmetiques (III), Asterisque, no.
295, 2004, pp. 1115.
, Representations de de Rham et representations semi-stables,
Prepublications, Universite de Paris-Sud, Mathematiques (2004).
J.-M. Fontaine and B. Perrin-Riou, Autour des conjectures de Bloch et
Kato; cohomologie galoisienne et valeurs de donctions L, Motives (Seattle,
WA, 1991), 1994.
A. Fr
ohlich, Formal groups, Lecture Notes in Math., no. 74, SpringerVerlag, 1968.
J. Fresnel and M. van der Put, Geometrie analytique rigide et applications,
Prog. in Math., no. 18, Birkh
auser, 1981.
242
References
[FW79]
[GD60]
[GD61a]
[GD61b]
[GD67]
[GM87]
[God58]
[Gro68]
[Gro71]
[Gro74]
[Gro77]
[Gro85]
[GZ67]
[Har77]
[Her98]
[Her00]
[Her01]
[HK94]
[Hon70]
[Hyo88]
[Hyo91]
J.-M. Fontaine and J.-P. Wintenberger, Le corps des normes de certaines extensions algebriques de corps locaux, C.R.A.S 288 (1979), 367
370.
A. Grothendieck and J. Dieudonne, Le language des schemas, Publ. Math.
IHES 4 (1960).
, Etude
cohomologique des faisceaux coherents, Publ. Math. IHES
11, 17 (1961).
, Etude
globale elementaire de quelques classes de morphismes,
Publ. Math. IHES 8 (1961).
, Etude
locale des schemas et des morphismes des schemas, Publ.
Math. IHES 20,24,28,32 (1964,1965,1966,1967).
H. Gillet and W. Messing, Cycle classes and Riemann-Roch for crystalline
cohomology, Duke Math. J. 55 (1987), 501538.
R. Godement, Topologie algebrique et theorie des faisceaux, Herman, Paris,
1958.
A. Grothendieck, Crystals and the de Rham cohomology of schemes (notes
by J. Coates and O. Jussila), Dix expose sur la cohomologie etale des
schemas, Masson et North Holland, 1968.
, Groupes de Barsotti-Tate et cristaux, Actes Congr`es Int. Math.
Nice 1970, t.1, Gauthiers-Villars, Paris, 1971.
, Groupes de Barsotti-Tate et cristaux de Dieudonne, Presses de
lUniversite de Montreal, 1974.
, Cohomologie !-adique et fonctions L, 589 ed., Lecture Notes in
Math., Springer-Verlag, 1977.
M. Gros, Classes de Chern et classes de cycles en cohomologie de HodgeWitt logarithmique, Memoire Soc. Math. France, vol. 21, Gauthier-Villars,
1985.
P. Gabriel and M. Zisman, Calculus of fractions and homotopy theory,
Ergebnisse der Mathematik und ihrer Grenzgebiete, no. 35, SpringerVerlag, 1967.
R. Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics,
vol. 52, Springer-Verlag, 1977.
L. Herr, Sur la cohomologie galoisienne des corps p-adiques, Bull. Soc.
Math. France 126 (1998), 563600.
, --modules and galois cohomology, Invitation to higher local
fields (M
unster, 1999),, Geom. Topol. Monogr. (electronic), no. 3, 2000,
pp. 263272.
, Une approche nouvelle de la dualite locale de tate, Math. Ann.
320 (2001), 307337.
O. Hyodo and K. Kato, Semi-stable reduction and crystalline cohomology
with logarithmic poles, Periodes p-adiques, Asterisque, vol. 223, Soc. Math.
France, 1994, Papers from the seminar held in Bures-sur-Yvette, 1988,
pp. 221268.
T. Honda, On the theory of commutative formal groups, J. Math. Soc.
Japan 22 (1970), 213246.
O. Hyodo, A note on p-adic etale cohomology in the semi-stable reduction
case, Invent. Math. 91 (1988), 543557.
, On the de Rham Witt complex attached to a semi-stable family,
Compositio Math. 78 (1991), 241260.
References
[Hyo95]
[Ill75]
[Ill76]
[Ill79a]
[Ill79b]
[Ill83]
[Ill90]
[Ill94]
[Ill03]
[Ill04]
[IR83]
[Jan88]
[Jan89]
[Kat86]
[Kat88]
[Kat93a]
[Kat93b]
[Kat93c]
[Kat94]
[Ked04]
[KKT96]
[KM74]
[KM92]
243
1
, 136142, Volume en lhonneur de Hyodo.
, Hg1 = Hst
L. Illusie, Reports on crystalline cohomology, Proc. Symp. Pure Math.
XXIX (1975), 459479.
, Cohomologie cristalline, dapres P. Berthelot, Lecture Notes in
Math., vol. 514, Springer, 1976.
, Complexe de de Rham-Witt, Journees de Geometrie Algebrique
de Rennes (I), Asterisque, vol. 63, Soc. Math. France, 1979, pp. 83112.
, Complexe de de Rham-Witt et cohomologie cristalline, Ann. Sci.
E.N.S. (4) 12 (1979), 501661.
, Finiteness, duality, and K
unneth theorems in the cohomology of
the de Rham-Witt complex, Algebraic Geometry Tokyo-Kyoto, Lecture
Notes in Mathematics, vol. 1016, Springer, 1983, pp. 2072.
, Cohomologie de de Rham et cohomologie etale p-adique, Seminaire
Bourbaki, expose 726, Asterisque, vol. 189-190, 1990, pp. 325374.
, Autour de theoreme de monodromie locale, Periodes p-adiques,
Asterisque, vol. 223, Soc. Math. France, 1994, Papers from the seminar
held in Bures-sur-Yvette, 1988, pp. 957.
, Grothendiecks existence theorem in formal geometry, 2003.
, Algebraic geometry, 2004, Lecture Notes in Spring 2004, Tsinghua
University, Beijing, China.
L. Illusie and M. Raynaud, Les suites spectrales associees au complexs de
de Rham-Witt, Publ. Math. IHES 57 (1983), 73212.
U. Jannsen, Continuous etale cohomology, Math. Ann. 280 (1988), no. 2,
207245.
, On the !-adic cohomology of varieties over number fields and its
Galois cohomology, Math. Sci. Res. Inst. Publ. 16 (1989), 315360.
K. Kato, On p-adic vanishing cycles, (Applications of ideas of FontaineMessing), Advanced Studies in Pure Math. 10 (1986), 207251.
, Logarithmic structures of Fontaine-Illusie, Algebraic Analysis,
Geometry and Number Theory, The John Hopkins Univ. Press, 1988,
pp. 191224.
, Iwasawa theory and p-adic Hodge theory, Kodai Math. J. 16
(1993), no. 1, 131.
, Lectures on the approach to Iwasawa theory for Hasse-Weil Lfunctions via bdr , Arithmetic Algebraic Geometry (Trento, 1991), vol.
1553, Springer, Berlin, 1993, pp. 50163.
, Lectures on the approach to Iwasawa theory for Hasse-Weil Lfunctions via bdr , part II, preprint (1993).
, Semi-stable reduction and p-adic etale cohomology, Periodes padiques, Asterisque, vol. 223, Soc. Math. France, 1994, Papers from the
seminar held in Bures-sur-Yvette, 1988, pp. 269293.
K. Kedlaya, A p-adic local monodromy theorem, Ann. of Math. (2) 160
(2004), no. 1, 93184.
K. Kato, M. Kurihara, and T. Tsuji, Local Iwasawa theory of Perrin-Riou
and syntomic complexes, preprint (1996).
N. Katz and W. Messing, Some consequences of the Riemann hypothesis
for varieties over finite fields, Invent. Math. 23 (1974), 7377.
K. Kato and W. Messing, Syntomic cohomology and p-adic etale cohomology, Tohoku. Math. J (2) 44 (1992), no. 1, 19.
244
References
[KS90]
[Laf80]
[Lan94]
[Lub95]
[Man63]
[Man65]
[Mat86]
[Maz72]
[Maz73]
[Meb02]
[Mes72]
[Mil80]
[MM74]
[MTT86]
[Nee02]
[Nek93]
[Niz98]
[Nyg81]
[PR]
[PR92]
[PR94a]
[PR94b]
[PR95]
J. M. Milne, Etale
cohomology, Princeton University Press, 1980.
B. Mazur and W. Messing, Universal extensions and one dimensional crystalline cohomology, Lecture Notes in Math., no. 370, Springer, 1974.
B. Mazur, J. Tate, and J. Teitelbaum, On p-adic analogues of the conjectures of Birch and Swinnerton-Dyer, Invent. Math. 84 (1986), 148.
A. Neeman, A counter example to a 1961 theorem in homological algebra, Invent. Math. 148 (2002), 397420, With an appendix by P. Deligne.
J. Nekovar, On p-adic height pairings, Seminaire de Theorie des Nombres, Paris, 199091, Prog. Math, vol. 108, Birkh
auser Boston, MA, 1993,
pp. 127202.
W. Niziol, Crystalline conjecture via K-theory, Ann. Sci. E.N.S. 31 (1998),
659681.
N. Nygaard, Slopes of powers of Frobenius on crystalline cohomology, Ann.
Sci. E.N.S. 14 (1981), 369401.
B. Perrin-Riou, Theorie diwasawa des representations p-adiques semistables, year = 2001, series= Mem. Soc. Math. France.(N.S.), volume =
84 .
, Theorie dIwasawa et hauteurs p-adiques, Invent. Math. 109
(1992), no. 1, 137185.
, Representations p-adiques ordinaires, Periodes p-adiques,
Asterisque, vol. 223, Soc. Math. France, 1994, With an appendix by Luc
Illusie, pp. 185220.
, Theorie dIwasawa des representations p-adiques sur un corps
local, Invent. Math. 115 (1994), no. 1, 81161.
, Fonctions L p-adiques des representations p-adiques, Asterisque,
vol. 229, 1995.
References
[PR99]
[PR00]
[Ray94]
[RZ82]
[RZ96]
[Sai88]
[Sai90]
[Sch72]
[Sch90]
[Sen72]
[Sen73]
[Sen80]
[Ser61]
[Ser67a]
[Ser67b]
[Ser80]
[Ser89]
[Ser02]
[SR72]
[Ste76a]
[Ste76b]
[Tat67]
[Tat76]
[Tot96]
245
246
References
List of Notation
E (), 88
FilK , 146, 189
MFad
K (, N ), 191
MFK (, N ), 187
, 24
, 26
Repw
E (W DK ), 63
Repur
Qp (GK ), 206
RepB
F (G), 68
RepB + (GK ), 233
dR
RepF (G), 67
RepFp (G), 73
RepQp (G), 78
RepdR
Qp (GK ), 147
M , 74
V , 68
D(V ), 83
(m)
DdR,r (V ), DdR,r (V ), 210
D(0, r] (V ), 157
A0cris , 165
A , B , A(0, r] , B (0, r] , 153
Acris , 165
+
Bcris
, 165
=0
Be = Bcris
, 182
Bm (i), 233
BHT , 135
Bcris , 167
BdR , 141
+
BdR
, 141
Bst , 171
n
Ccont
(G, M ), Ccont
(G, M ), 39
Ccris , 171
Cst , 171
D& 1 ,2 , 203
D{1 ,} , 202
Da,b , 203
1
Hcont
(G, M ), 41
n
Hcont
(G.M ), 39
i
K, k = kK , vK , OK , UK , UK
, mK ,
20
K s , GK , IK , PK , 22
K0 = Frac W (k) = W (k)[1/p], 20
R, 117
R(A), 115
Rn (x), Rn (x), 36
V(r) , 215
! , W , Wr , 96
W, W
W (A): ring of Witt vectors of A,
11
W DK , 61
Wn (A): ring of Witt vectors of length
n of A, 11
n
ni
4
Wn =
pi Xip : Witt polynomi-
(m)
i=0
als, 9
Xr , 213
[a]: Teichm
uller representative of
a, 8
247
248
LIST OF NOTATION
= 1, 122
, 128
: operator for (, )-module, 132
Met (E), 71
Met (OE ), Met (E), 79
: absolute Frobenius, 4
, 139
, Sens operator, 97
: Frobenius map, 12
=, 140
= (1, (1) , ), (1) 2= 1, 122
" , B
", A
"(0, r] , B
" (0, r] , 151
A
" 127
B,
, 140
e = v(p): absolute ramification index, 15
hi : Hodge-Tate number, 137
iG , iG/H , 23
t: p-adic analogy of 2i, 143
tH (D), 189
tN (D), 187
v (0, r] , 151
v (0,r] , 162
v [s,r] , 162
vF : normalized valuation of F , 6
va : valuation normalized by a, 6
wk , 151
APF, 27
Index
(F, G)-regular ring, 67
(, N )-module, 185
dual, 186
filtered, see filtered (, N )-module
tensor product, 186
unit, 186
(, )-module, 130
B-representation, 65
admissible, 67
B-representation
free, 65
trivial, 65
G-module, 38
discrete, 40
topological, 38
1
Hcont
(G, M )
abelian case, 40
non-abelian case, 41
trivial, 41
K-finite, 96
Qpr -representation, 210
#-adic representation, 46
characteristic polynomial, 51
dual, 47
effective of weight w, 53
exterior power, 47
from etale cohomology, 50
Galois, 46
geometric
local field, 62
of finite field, 53
potentially semi-stable, 55
pure of weight w, 53
semi-stable, 55
symmetric power, 47
tensor product, 47
trivial, 46
unramified, 55
Weil-Deligne, see Weil-Deligne representation
249
250
INDEX
continuous n-coboundaries, 39
continuous n-cochains, 39
continuous n-cocycles, 39
continuous n-cohomology, 39
Crew Conjecture, 193
cyclotomic character, 48
de Rham representation, 146
decompletion, 94, 107
different, 28
directed set, 1
discriminant, 28
distinguished point, 41
divided power envelop, 165
exact sequence of pointed sets, 41
field
p-adic, 7
complete nonarchimedean, 6
local, 7
valuation, 6
field of overconvergent elements, 153
filtered (, N )-module, 186
admissible, 191
dual, 187
tensor product, 187
unit, 187
filtered (, N, Gal(K & /K))-module,
194
filtered (, N, Gal(K & /K))-module
over K, 194
filtered (, N )-module
weak admissible, 196
filtered (r , N )-module, 211
Frobenius
absolute, 4, 115
arithmetic, 4
geometric, 4
Frobenius map, 12
fundamental complex of D, 220
fundamental exact sequence, 183
Galois cohomology, 41
geometric representation, 150
INDEX
251
Weil group, 60
Weil number
effective of weight w, 53
of weight w, 53
Weil representation, 61
Weil-Deligne group, 61
Weil-Deligne representation, 61
elementary and pure of weight,
63
geometric and pure of weight, 63
Witt polynomials, 9
Witt vector, 11
of length n, 11