Let
$V$
be a finitedimensional vector space over
${\mathbb{Q}}_{\ell}$
on which
$G$
operates continuously. There is a corresponding “infinitesimal” action of
$L$
on
$V$
([
7]
V 2.4.6). By a theorem of D. Lazard ([
7]
V 2.4.10 (ii)), if
$H$
is a small enough open subgroup of
$G$
,
$$\begin{array}{c}{H}^{p}(H,V)\stackrel{~}{\to}{H}^{p}(L,V),\end{array}$$ 
(2.1)

where the right hand side denotes Lie algebra cohomology.
Proposition 2.1.
Let
$G$
be a compact topological group and
$V$
a finite dimensional vector space over
${\mathbb{Q}}_{\ell}$
on which
$G$
admits a faithful and semisimple action. Suppose that no subrepresentation of
$V$
factors through a finite quotient of
$G$
. Then for all
$i\ge 0$
,
$${H}^{i}(G,V)=0.$$

Proof.
Let
$H$
be an open normal subgroup of
$G$
. The restriction of a semisimple representation to such a subgroup is again semisimple, and by hypothesis,
${V}^{H}=0$
. Suppose that for some integer
$i$
and some normal open subgroup
$H\u25c3G$
, we have
${H}^{q}(H,V)=0$
for all
$q\le i$
. The LyndonHochschildSerre spectral sequence for modules finite dimensional over
${\mathbb{Q}}_{\ell}$
(which follows from the usual spectral sequence with finite coefficients together with [11] Corollary 2.2 and [11] Proposition 2.3) asserts
$${E}_{2}^{pq}={H}^{p}(G/H,{H}^{q}(H,V\left)\right)\Rightarrow {H}^{p+q}(G,V).$$
Thus,
${H}^{i}(G,V)=0$
for this value of
$i$
. To prove
${H}^{i}(G,V)=0$
for all
$i\ge 0$
, we may therefore assume
$G=H$
is such that ( 2.1 ) holds for all
$p$
. Every
$G$
subrepresentation is also an
$L$
subrepresentation, and every
$L$
subrepresentation comes from a
$H$
subrepresentation for some open subgroup
$H$
of
$G$
([7] V 2.4.6). Without loss of generality, therefore, we may assume that the
$G$
subrepresentations and
$L$
subrepresentations of
$V$
are in onetoone correspondence and therefore
$V$
is a semisimple representation of
$L$
. Applying ( 2.1 ) for
$p=0$
, we see that
${V}^{H}=0$
implies
${V}^{L}=0$
. The proposition now follows from the vanishing of the cohomology of a reductive Lie algebra
$L$
with coefficients in a semisimple module
$V$
such that
${V}^{L}=0$
[4] Th. 10. □
Proposition 2.2.
Let
$K$
be any number field,
$\ell $
a rational prime,
$V$
a finite dimensional
${\mathbb{Q}}_{\ell}$
vector space, and
$${\rho}_{\ell}:{G}_{K}\to Aut\left(V\right)$$
a continuous semisimple representation which is pure of weight
$\ne 0$
. Let
${G}_{\ell}=im{\rho}_{\ell}$
. Then for all
$i\ge 0$
,
$$\begin{array}{c}{H}^{i}({G}_{\ell},V)=0\end{array}$$ 
(2.2)


Proof.
We claim that
${V}^{H}\ne 0$
for all open subgroups
$H$
of
${G}_{\ell}$
. Indeed, let
$mathfrakp$
be any prime ideal of
$K$
which is unramified in
${\rho}_{\ell}$
and whose Frobenius lies in
$H$
. As
${\rho}_{\ell}$
is pure of nonzero weight,
${\rho}_{\ell}(Fro{b}_{mathfrakp})$
cannot have 1 as eigenvalue. Therefore,
${V}^{H}=0$
. Applying Proposition 2.1 with
$G={G}_{\ell}$
, we obtain ( 2.2 ). □
Proposition 2.3.
Let
$T$
be a free
${\mathbb{Z}}_{\ell}$
module on which
${G}_{K}$
acts continuously in such a way that
$V=T\otimes {\mathbb{Q}}_{\ell}$
satisfies the hypotheses of Theorem 2.2 . Then
${H}^{i}({G}_{\ell},T)$
is a finite
$\ell $
group for all
$i\ge 0$
.

Proof.
By LyndonHochschildSerre, it suffices to check that
${G}_{\ell}$
has an open subgroup
$H$
such that
${H}^{q}(H,T)$
is finite for all
$q\le i$
. By [7] III 3.1.3,
${G}_{\ell}$
contains an open subgroup
$H$
which is equi
$\ell $
valued, and by [7] V 2.5.8, such a group is a Poincaré group in the sense of [9] I 4.5. In particular,
${H}^{q}(H,T/{\ell}^{k}T)$
is finite for all
$q,k\ge 0$
. From the cohomology sequence for
$$0\to T\to \ell T\to T\otimes {\mathbb{F}}_{\ell}\to 0$$
it follows that that
${H}^{q}(H,T)\otimes {\mathbb{F}}_{\ell}$
is finite for all
$q\ge 0$
. Since
$${H}^{q}(H,T)=lim\leftarrow {}_{k}{H}^{q}(H,T/{\ell}^{k}T)$$
is an abelian pro
$\ell $
group whose tensor product with
${\mathbb{F}}_{\ell}$
is finite, it must be a finitely generated
${\mathbb{Z}}_{\ell}$
module. Finally,
$${H}^{q}(H,T){\otimes}_{\mathbb{Z}}\mathbb{Z}[1/\ell ]={H}^{q}(H,T\otimes \mathbb{Z}[1/\ell \left]\right)={H}^{q}(H,V)=0.$$
We conclude that
${H}^{q}(H,T)$
is finite.
□
If
$X$
is a nonsingular projective variety over a number field
$K$
,
$i$
is a positive integer, and
$\ell $
is a rational prime, we expect
$V={H}^{i}(X,{\mathbb{Q}}_{\ell})$
to satisfy the hypotheses of Theorem 2.2 . This is known to be true in a few important cases, notably when
$X$
is an abelian variety and
$i=1$
([3] Satz 3).
It is this case, or more precisely, its dual, which interests us for the rest of the paper.
Theorem 2.4.
Let
$K$
be a number field and
$A$
an abelian variety over
$K$
. For each rational prime
$\ell $
different from the characteristic of
$K$
, we define
${T}_{\ell}$
to be the
$\ell $
adic Tate module of
$A$
and
${G}_{\ell}$
the image of
${G}_{K}$
in
$Aut\left({T}_{\ell}\right)$
. Then for all
$\ell \gg 0$
,
${H}^{i}({G}_{\ell},{T}_{\ell})=0$
for all
$i$
.

Proof.
By a theorem of Bogomolov [2] , the group
${C}_{\ell}$
of homotheties in
${G}_{\ell}$
is open in
${\mathbb{Z}}_{\ell}^{*}$
. By a refinement of Bogomolov's result due to Serre [10] §2, the index of
${C}_{\ell}$
in
${\mathbb{Z}}_{\ell}^{*}$
is bounded independently of
$\ell $
; in particular, for
$\ell \gg 0$
, it contains some element
${z}_{\ell}$
not congruent to
$1$
(mod
$\ell $
). Thus
${lim}_{k\to \infty}{z}_{\ell}^{{\ell}^{k}}$
is a central torsion point generating a nontrivial finite subgroup
${Z}_{\ell}$
of primeto
$\ell $
order. We apply the LyndonHochschildSerre spectral sequence for
${Z}_{\ell}\u25c3{G}_{\ell}$
. Now
${H}^{q}({Z}_{\ell},{T}_{\ell})$
is a
$\left{Z}_{\ell}\right$
torsion group but
$\left{Z}_{\ell}\right$
is invertible in
${\mathbb{Z}}_{\ell}$
, so
${H}^{q}({Z}_{\ell},{T}_{\ell})=0$
for
$q\ge 0$
. Moreover,
${H}^{0}({Z}_{\ell},{T}_{\ell})=0$
, since
${Z}_{\ell}$
has nontrivial scalar action on
${T}_{\ell}$
. The theorem follows. □