, ,

<ph f="cmbx">A Mordell-Weil theorem for abelian varieties over fields generated by torsion points</ph>

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.
□

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 .
□

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.

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 . □

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. □

Michael Larsen