, ,

Let

A

be an abelian variety over a number field

K

and

F

an algebraic extension of

K

. The quotient

A (F) / A (F)_{t o r}

is always torsion-free and abelian. When

F

is a number field, the Mordell-Weil theorem asserts that it is finitely generated and therefore free. At the opposite extreme, when

F

is algebraically closed, the quotient is divisible and is therefore a

Q

-vector space. In this paper, we show that when

F

is any field generated over

K

by the coordinates of torsion points on

A

, the quotient is again a free abelian group, though it may not be finitely generated. The idea is that dividing points of infinite order in

A (K)

gives rise to fields which are in some weak sense linearly disjoint from the fields obtained by dividing torsion points.

This is essentially a question of Kummer theory of the abelian variety and is closely related to ideas of Bašmikov [1] , Ribet [8] , and Jacquinot-Ribet [5] .

Let

T_{ℓ}

denote the

ℓ

-adic Tate module of

A

over a number field

K

. Let

G_{ℓ}

denote the image of the Galois group in

A u t (T_{ℓ})

. The crucial point in this paper is that for all

i \geq 0

H^{i} (G_{ℓ}, T_{ℓ})

is finite, and when

ℓ ≫ 0

, it vanishes for all

i

. In particular, this is true for

i = 1

and

i = 2

Throughout the paper,

K

is a number field,

\bar{K}

an algebraic closure, and

G_{K} = G a l (\bar{K} / K)

. We write

ρ_{ℓ}

for any continuous

ℓ

-adic representation of

G_{K}

. (In the later part of the paper,

ρ_{ℓ}

comes from the action of

G_{K}

on the

ℓ

-adic Tate module

T_{ℓ}

of an abelian variety

A / K

.) The image of

ρ_{ℓ}

is always denoted

G_{ℓ}

. It is a closed subgroup of

G L_{n} (Q_{ℓ})

for some

n

and is therefore an

ℓ

-adic Lie group. The fixed field of the kernel of

ρ_{ℓ}

is denoted

K^{ℓ}

. Group cohomology is always understood to mean continuous cohomology.

2 Galois cohomology

Let

G

be a compact

ℓ

-adic Lie group and

L

the Lie algebra of

G

([7] V 2.4.2).

Let

V

be a finite-dimensional vector space over

Q_{ℓ}

on which

G

operates continuously. There is a corresponding “infinitesimal” action of

L

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{matrix} H^{p} (H, V) \tilde{\to} H^{p} (L, V), \end{matrix}

(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

Q_{ℓ}

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 \geq 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 ◃ G$ , we have $H^{q} (H, V) = 0$ for all $q \leq i$ . The Lyndon-Hochschild-Serre spectral sequence for modules finite dimensional over $Q_{ℓ}$ (which follows from the usual spectral sequence with finite coefficients together with [11] Corollary 2.2 and [11] Proposition 2.3) asserts $E_{2}^{p q} = H^{p} (G / H, H^{q} (H, V)) \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 \geq 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 one-to-one 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,

ℓ

a rational prime,

V

a finite dimensional

Q_{ℓ}

-vector space, and

ρ_{ℓ} : G_{K} \to A u t (V)

a continuous semisimple representation which is pure of weight

\neq 0

. Let

G_{ℓ} = i m ρ_{ℓ}

. Then for all

i \geq 0

\begin{matrix} H^{i} (G_{ℓ}, V) = 0 \end{matrix}

(2.2)

Proof. We claim that $V^{H} \neq 0$ for all open subgroups $H$ of $G_{ℓ}$ . Indeed, let $m a t h f r a k p$ be any prime ideal of $K$ which is unramified in $ρ_{ℓ}$ and whose Frobenius lies in $H$ . As $ρ_{ℓ}$ is pure of non-zero weight, $ρ_{ℓ} (F r o b_{m a t h f r a k p})$ cannot have 1 as eigenvalue. Therefore, $V^{H} = 0$ . Applying Proposition 2.1 with $G = G_{ℓ}$ , we obtain ( 2.2 ). □

Proposition 2.3. Let

T

be a free

Z_{ℓ}

-module on which

G_{K}

acts continuously in such a way that

V = T \otimes Q_{ℓ}

satisfies the hypotheses of Theorem 2.2 . Then

H^{i} (G_{ℓ}, T)

is a finite

ℓ

-group for all

i \geq 0

Proof. By Lyndon-Hochschild-Serre, it suffices to check that $G_{ℓ}$ has an open subgroup $H$ such that $H^{q} (H, T)$ is finite for all $q \leq i$ . By [7] III 3.1.3, $G_{ℓ}$ contains an open subgroup $H$ which is equi- $ℓ$ -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 / ℓ^{k} T)$ is finite for all $q, k \geq 0$ . From the cohomology sequence for $0 - - - - \to T - - - - \to ℓ T - - - - \to T \otimes F_{ℓ} - - - - \to 0$ it follows that that $H^{q} (H, T) \otimes F_{ℓ}$ is finite for all $q \geq 0$ . Since $H^{q} (H, T) = l i m \leftarrow -_{k} H^{q} (H, T / ℓ^{k} T)$ is an abelian pro- $ℓ$ group whose tensor product with $F_{ℓ}$ is finite, it must be a finitely generated $Z_{ℓ}$ -module. Finally, $H^{q} (H, T) \otimes_{Z} Z [1 / ℓ] = H^{q} (H, T \otimes Z [1 / ℓ]) = H^{q} (H, V) = 0 .$ We conclude that $H^{q} (H, T)$ is finite.
□

X

is a non-singular projective variety over a number field

K

i

is a positive integer, and

ℓ

is a rational prime, we expect

V = H^{i} (X, Q_{ℓ})

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

ℓ

different from the characteristic of

K

, we define

T_{ℓ}

to be the

ℓ

-adic Tate module of

A

and

G_{ℓ}

the image of

G_{K}

A u t (T_{ℓ})

. Then for all

ℓ ≫ 0

H^{i} (G_{ℓ}, T_{ℓ}) = 0

for all

i

Proof. By a theorem of Bogomolov [2] , the group $C_{ℓ}$ of homotheties in $G_{ℓ}$ is open in $Z_{ℓ}^{*}$ . By a refinement of Bogomolov's result due to Serre [10] §2, the index of $C_{ℓ}$ in $Z_{ℓ}^{*}$ is bounded independently of $ℓ$ ; in particular, for $ℓ ≫ 0$ , it contains some element $z_{ℓ}$ not congruent to $1$ (mod $ℓ$ ). Thus ${lim}_{k \to \infty} z_{ℓ}^{ℓ^{k}}$ is a central torsion point generating a non-trivial finite subgroup $Z_{ℓ}$ of prime-to- $ℓ$ order. We apply the Lyndon-Hochschild-Serre spectral sequence for $Z_{ℓ} ◃ G_{ℓ}$ . Now $H^{q} (Z_{ℓ}, T_{ℓ})$ is a $| Z_{ℓ} |$ -torsion group but $| Z_{ℓ} |$ is invertible in $Z_{ℓ}$ , so $H^{q} (Z_{ℓ}, T_{ℓ}) = 0$ for $q \geq 0$ . Moreover, $H^{0} (Z_{ℓ}, T_{ℓ}) = 0$ , since $Z_{ℓ}$ has non-trivial scalar action on $T_{ℓ}$ . The theorem follows. □

Corollary 2.5. Let

K

be a number field and

A

an abelian variety over

K

. For every

i \geq 0

, there exists a uniform bound

N

such that

| H^{i} (G_{ℓ}, T_{ℓ} / ℓ^{n} T_{ℓ}) | < N

for all prime powers

ℓ^{n}

Proof. The cohomology sequence of the short exact sequence $0 - - - - \to T_{ℓ} - - - - \to ℓ^{n} T_{ℓ} - - - - \to T_{ℓ} / ℓ^{n} T_{ℓ} - - - - \to 0$ gives $| H^{i} (G_{ℓ}, T_{ℓ} / ℓ^{n} T_{ℓ}) | \leq | H^{i} (G_{ℓ}, T_{ℓ}) | | H^{i + 1} (G_{ℓ}, T_{ℓ}) |,$ whence the bound follows from Theorem 2.4 .
□

3 Rational points over the field of division points

In this section, we apply the computations of the first section to show that the group of points on an abelian variety over the field

K^{t o r}

generated by all of its torsion is free modulo torsion. Given Corollary 2.5 , it is not difficult to control

ℓ

-divisibility of points on the abelian variety in the towers of number fields arising from

ℓ

-power torsion. What remains is to control

ℓ

-divisibility in the towers arising from prime-to-

ℓ

torsion.

Theorem 3.1. Let

A

be an abelian variety over a number field

K

. Let

K^{t o r} : = \prod_{ℓ} K^{ℓ},

the field generated over

K

by the coordinates of all torsion points of

A

. Then

A (K^{t o r}) \sim = M \oplus (Q / Z)^{2 dim A}

, where

M

is a free abelian group.

For any abelian group

M

, we write

M_{t f}

for the (torsion-free) quotient

M / M_{t o r}

. If

M \subset N

, then

M_{t o r} = N_{t o r} \cap M

, so the natural homomorphism

M_{t f} \to N_{t f}

is injective. We use the following criterion for

M_{t f}

to be free:

Lemma 3.2. Let

M

be an abelian group. Then

M_{t f}

is a free abelian group if and only if for every finite-dimensional subspace

V \subset M \otimes Q = M_{t f} \otimes Q

, the group

{m \in M_{t f} | m \otimes 1 \in V}

is finitely generated.

Proof. If $M_{t f}$ is free, we choose a $Z$ -basis $S$ and write each element of a $Q$ -basis of $V$ as a $Q$ -linear combination of elements of $S$ . Thus only finitely many elements of $S$ are involved in $V$ , so replacing $M$ by the preimage of $〈 S 〉$ , we may assume $M_{t f}$ is finitely generated. In this case, every subgroup of $M_{t f}$ is again finitely generated.
In the other direction, we define a partial basis of $M_{t f}$ to be any subset $S \subset M_{t f}$ which maps to a linearly independent set in $M \otimes Q$ and such that for $m \in M_{t f}$ , $m \otimes 1 \in S p a n (S \otimes 1)$ implies $m \in 〈 S 〉$ . By Zorn's lemma, there exists a maximal partial basis for $M_{t f}$ , which is then necessarily a basis. □

Definition 3.3. If

Λ

is a subgroup of an abelian group

M

and

ℓ

is a rational prime, we say that the

ℓ

-saturation of

Λ

is the subgroup of

M

consisting of elements

m

such that

ℓ^{k} m \in Λ

for some non-negative integer

k

. We say

Λ

ℓ

-saturated (in

M

) if it equals its own

ℓ

-saturation.

Lemma 3.4. Let

K^{ℓ}

denote the fixed field of

G_{ℓ}

. Then

A (K)_{t f}

is of finite index in its

ℓ

-saturation in

A (K^{ℓ})_{t f}

. If

ℓ ≫ 0

A (K)_{t f}

ℓ

-saturated.

Proof. Let $P \in A (K^{ℓ})$ represent a class belonging to the $ℓ$ -saturation of $A (K)_{t f}$ , and let $k$ be the smallest positive integer such that $ℓ^{k} [P] \in A (K)_{t f}$ , i.e., such that $ℓ^{k} P \in A (K) + A (K^{ℓ})_{t o r}$ . As $A (K^{ℓ})_{t o r}$ is $ℓ$ -divisible, without loss of generality we may assume that $Q : = ℓ^{k} P \in A (K)$ . Consider the cohomology sequence of the short exact sequence of $G_{ℓ}$ -modules $0 - - - - \to A [ℓ^{k}] - - - - \to A (K^{ℓ}) - - - - \to ℓ^{k} ℓ^{k} A (K^{ℓ}) - - - - \to 0 .$ The image of $Q \in H^{0} (G_{ℓ}, ℓ^{k} A (K^{ℓ}))$ in $H^{1} (G_{ℓ}, A [ℓ^{k}]) = H^{1} (G_{ℓ}, T_{ℓ} / ℓ^{k} T_{ℓ})$ has order $ℓ^{k}$ ; otherwise $ℓ^{k - 1} Q = ℓ^{k} R$ for some $R \in A (K^{ℓ})$ , which means $ℓ^{k - 1} P - R \in A (K^{ℓ})_{t o r}$ and therefore $ℓ^{k - 1} [P] = 0$ in $A (K)_{t f}$ , contrary to the definition of $k$ . The lemma now follows from Corollary 2.5 . □

We have already remarked that the torsion in

A (K^{ℓ})

ℓ

-divisible. It follows that if

Λ \subset A (K^{ℓ})_{t f}

has inverse image

\tilde{Λ}

A (K^{ℓ})

, then the index of

Λ

in its

ℓ

-saturation in

A (K^{t o r})_{t f}

is the same as the index of

\tilde{Λ}

in its

ℓ

-saturation in

A (K^{t o r})

. In particular,

Λ

ℓ

-saturated if and only if

\tilde{Λ}

is so.

Note also that by Kummer theory, if

L \supset K^{ℓ}

, then every Galois extension of

L

obtained by adjoining coordinates of points which are obtained from points of

A (K^{ℓ})

ℓ

-division is a pro-

ℓ

extension.

We can now prove the main theorem.

Proof of Theorem 3.1 . By definition of

K^{t o r}

, we have

A (K^{t o r})_{t o r} = A (\bar{K})_{t o r} \sim = (Q / Z)^{2 dim A} .

We will prove that

A (K^{t o r})_{t f}

is a free

Z

-module, and this will imply that the short exact sequence

0 \to A (K^{t o r})_{t o r} \to A (K^{t o r}) \to A (K^{t o r})_{t f} \to 0

splits, which then implies the theorem.

Without loss of generality, we may replace

K

by a larger number field

K^{'}

, since

A (K^{t o r})_{t f} \to A ({K^{'}}^{t o r})_{t f}

is injective, and a subgroup of a free abelian group is again free abelian. In order that the extensions

K^{ℓ}

K

have the good linear disjointness property we will need below, we assume that

K

is large enough for the purposes of [10] §1. For any fixed finite dimensional

V \subset A (K^{t o r}) \otimes Q

, we choose

K

large enough that

V \subset A (K) \otimes Q

. Let

\tilde{Λ} = {P \in A (K) | P \otimes 1 \in V}

. By Lemma 3.2 , it suffices to prove that

\tilde{Λ}

is of finite index in its

ℓ

-saturation in

A (K^{t o r})

for all

ℓ

and

ℓ

-saturated for all

ℓ ≫ 0

We now fix a prime

ℓ

. By Lemma 3.4 , there exists a finite extension

K_{ℓ} / K

such that the

ℓ

-saturation of

\tilde{Λ}

A (K^{ℓ})

is contained in

A (K_{ℓ})

; moreover,

K_{ℓ} = K

ℓ ≫ 0

. Replacing

K

K_{ℓ}

and

\tilde{Λ}

by its

ℓ

-saturation in

A (K^{ℓ})

before examining

ℓ

-saturations in

K^{t o r}

, we may therefore assume without loss of generality that

\tilde{Λ}

is already

ℓ

-saturated in

A (K^{ℓ})

For every finite set

T

of primes, let

K T

denote the compositum of

K^{ℓ^{'}}

for

ℓ^{'} \notin T

. By [10] Lemma 1.2.1, there exists a finite set

T

of primes such that

G a l (K T / K) = \prod_{ℓ^{'} \notin T} G_{ℓ^{'}} .

By Serre's uniform version of Bogomolov's theorem [10] , if

ℓ ≫ 0

G_{ℓ}

contains a homothety in

Z_{ℓ}^{*}

not congruent to

1

(mod

ℓ

). Thus

G a l (K T / K)

has an element

τ

mapping to such a homothety but acting trivially on

ℓ^{'}

-torsion for all

ℓ^{'} / \in {ℓ} \cup T

. We also assume

ℓ

is larger than the order of

\prod_{ℓ^{'} \in T} G L_{2 dim A} (F_{ℓ^{'}})

; in particular,

ℓ \notin T

. We claim first that

\tilde{Λ}

ℓ

-saturated in

K T

. If it were not, we could choose

σ \in G a l (K T / K^{ℓ}) = \prod_{ℓ^{'} \notin T \cup {ℓ}} G_{ℓ^{'}}

and

P \in A (K T)

such that

ℓ P \in A (K^{ℓ})

but

σ (P) \neq P

. As

σ

and

τ

act (respectively) trivially and without fixed points on

ℓ

-torsion, we have

\begin{matrix} \begin{matrix} τ σ^{- 1} τ^{- 1} (P) - P = τ (σ^{- 1} τ^{- 1} (P)) - P & = τ (σ^{- 1} (τ^{- 1} (P) - P) + σ^{- 1} (P)) - P & = τ (τ^{- 1} (P) - P + σ^{- 1} (P)) - P & = τ (σ^{- 1} (P) - P) \neq σ^{- 1} (P) - P, \end{matrix} \end{matrix}

(3.1)

σ τ σ^{- 1} τ^{- 1}

acts non-trivially on

P

. This is impossible since

σ

and

τ

commute, being supported on complementary index sets in the product

\prod_{ℓ^{'} \in T} G_{ℓ^{'}}

. Now,

K^{t o r}

is obtained from

K T

by adjoining coordinates of points of order

\prod_{ℓ^{'} \in T} ℓ^{'}

A

and then by adjoining higher

ℓ^{'}

-power points for

ℓ^{'} \in T

. A pro-

ℓ^{'}

extension of a field never contains a non-trivial

ℓ

-extension of that field for

ℓ^{'} \neq ℓ

, and a Galois extension of degree less than

ℓ

cannot contain a non-trivial

ℓ

-extension, so the saturation of

\tilde{Λ}

does not change in passing from

K T \supset K^{ℓ}

K^{t o r}

. Thus

\tilde{Λ}

ℓ

-saturated in

A (K^{t o r})

Finally, we need to show that

\tilde{Λ}

is of finite index in its

ℓ

-saturation in

A (K^{t o r})

for every

ℓ

. It is enough to show that it is of finite index in its

ℓ

-saturation in

A (K T K^{ℓ})

since the passage from

K T K^{ℓ}

K^{t o r}

involves a finite extension followed by a prime-to-

ℓ

profinite extension. The proof proceeds exactly as before except that Bogomolov's theorem [2] guarantees only the existence of

{\bar{τ}}_{0}

G_{ℓ}

which is a non-trivial scalar. By the first theorem in [10] ,

G a l (K T K^{ℓ} / K)

contains an open subgroup of

G_{ℓ} \times \prod_{ℓ^{'} \notin T \cup {ℓ}} G_{ℓ^{'}}

, so setting

\bar{τ} = {\bar{τ}}_{0}^{k}

, we can lift to

τ \in G a l (K T K^{ℓ} / K)

whose image in

G_{ℓ}

a homothety not congruent to

1

(mod

ℓ^{m}

) and whose image in

G a l (K T / K)

is trivial. If

σ \in G a l (K T / K)

acts non-trivially on

P \in A (K T)

such that

ℓ^{m - 1} P \notin A (K^{ℓ})

and

ℓ^{m} P \in A (K^{ℓ})

, we can again apply ( 3.1 ) to conclude that

σ

and

τ

do not commute, which is impossible. Thus,

\tilde{Λ}

is of index

\leq ℓ^{(m - 1) dim V}

in its

ℓ

-saturation in

A (K T K^{ℓ})

. The theorem follows.

□

Corollary 3.5. Let

A

and

B

be abelian varieties over a number field

K

. Let

K_{A}^{t o r}

denote the extension of

K

generated by the torsion points of

A

. If

K \subset L \subset K_{A}^{t o r}

, then

B (L)_{t f}

is free abelian.

Proof. Applying Theorem 3.1 to $A \times B$ , we see that $(A \times B) (K_{A \times B}^{t o r})_{t f}$ is free abelian. Therefore, $B (L)_{t f} \subset B (K_{A}^{t o r})_{t f} \subset (A \times B) (K_{A \times B}^{t o r})_{t f}$ is also free abelian. □

We remark that if

A

is an elliptic curve and

K = Q

, then

A (K^{t o r})_{t f}

can be determined up to isomorphism: it is

Z^{ω}

. In general, the rank of

A (K^{t o r})

must be countable; the difficulty lies in proving that it is infinite.

For elliptic curves over

Q

written in Weierstrass form, it is clear that points with rational

x

-coordinates are defined over

Q^{a b} \subset Q^{t o r}

, and by the method of [6] , it is easy to see that they generate an infinite-dimensional subspace of

A (\bar{Q}) \otimes Q

. This raises the following question: is the rank of

A (K^{t o r})

infinite for all abelian varieties over number fields?

References

Bašmakov, Marc: Un théorème de finitude sur la cohomologie des courbes elliptiques. C. R. Acad. Sci. Paris Sér. A-B 270 (1970), A999–A1001.
Bogomolov, Fedor Alekseivich: Sur l'algébricité des représentations $l$ -adiques. C. R. Acad. Sci. Paris Sér. A-B 290 (1980), no. 15, A701–A703.
Faltings, Gerd: Endlichkeitssẗze für abelsche Varietäten über Zahlkörpern. Invent. Math. 73 (1983), no. 3, 349–366.
Hochschild, Gerhard; Serre, Jean-Pierre: Cohomology of Lie algebras. Ann. of Math. 57 (1953), 591–603.
Jacquinot, Olivier; Ribet, Kenneth A.: Deficient points on extensions of abelian varieties by $G_{m}$ . J. Number Theory 25 (1987), no. 2, 133–151.
Larsen, Michael: Rank of elliptic curves over almost separably closed fields. Bull. London Math. Soc. 35 (2003), 817–820.
Lazard, Michel: Groupes analytiques $p$ -adiques. Inst. Hautes Études Sci. Publ. Math. 26 (1965), 389–603.
Ribet, Kenneth A.: Kummer theory on extensions of abelian varieties by tori. Duke Math. J. 46 (1979), no. 4, 745–761.
Serre, Jean-Pierre: Cohomologie Galoisienne. Lecture Notes in Mathematics, Vol. 5. Springer-Verlag, Berlin, 1965.
Serre, Jean-Pierre: Lettre à Ken Ribet du 7/3/1986, Œvres Volume IV 1985–1998, pp. 56–65. Springer-Verlag, Berlin, 2000.
Tate, John: Relations between $K_{2}$ and Galois cohomology, Invent. Math. 36 (1976), 257–274.

E-mail address : larsen@math.indiana.edu Department of Mathematics, Indiana University, Bloomington, IN 47405, U.S.A.

Michael Larsen