## Is a torsion free abelian group finitely generated, if all of its localizations at primes p are finitely generated over Zp?

Background: When proving that the group of -isogenies between two abelian varieties is finitely generated, one first shows that the Tate map is injective. Since each Tate module is free of finite rank over , it follows that the localization is -finite. One then uses a little trick to deduce the -finiteness of itself. (See Silverman I, for example.)

The above proof needs only a single prime . But disregarding issues of the characteristic of the field (which are apparently surmountable) we actually have an injective Tate map at every prime. Thus...

Question: Can the -finiteness of be deduced directly from the -finiteness of for all primes ?

One can consider this a question about general torsion-free abelian groups . A non-counterexample to keep in mind is , for which is -finite for all .

(A google search shows that there is actually quite a body of literature on torsion-free abelian groups, so perhaps the answer to this question is well-known, but I'm not sure where to look...)

-
good point - fixed – Sam Lichtenstein Nov 6 2009 at 22:08
You dealt with my comment completely so I deleted the comment. In some sense this is a confusing aspect of this site. Witness another question which currently looks like "Question" "answer" "comment that this answer is clearly wrong" "comment that it was right once, but then the question changed." – Kevin Buzzard Nov 7 2009 at 9:02

I don't think so. Let M be the additive subgroup of the rationals consisting of rationals with squarefree denominator.

-
 Note that if $M$ is countable, then under the hypotheses it is a subgroup of some $\mathbb{Q}^n$. So in some sense all counterexamples are of this form. – Greg Kuperberg Nov 6 2009 at 22:14 The hypotheses imply M is countable. For M embeds into V:=M tensor_Z Q, and V tensor_Q Q_p is finite-dimensional over Q_p, so V is finite-dimensional over Q. – Kevin Buzzard Nov 6 2009 at 22:22 Kevin, this example also appears near the end of Bass' famous paper "Big projective modules are free". – BCnrd Feb 25 2010 at 23:18

The question is confusing. Presumably, by finite you mean finitely generated, but it's not clear what you mean by localization at l --- you seem to mean tensor with Zl. If M is torsion free and becomes finitely generated when tensored with Zl for one l, then obviously it is finitely generated (linearly independent elements will remain linearly independent). However, when you prove that Hom(A,B) is finitely generated, the first step is to show that Hom(A,B) injects into Hom(TlA,TlB). The harder step is to show that Hom(A,B) tensor Zl injects into it.

-

I was reading Milne's Abelian Varieties'' notes this week and had almost this exact same question regarding the proof that Hom(A,B) is a free $\mathbb{Z}$-module. An internet search revealed this post and I felt that I have a thought to contribute. In particular, I believe that the proofs found in {Silverman 1, Milne, Mumford} that Hom(A,B) is a free $\mathbb{Z}$-module may be omiting a small and subtle but important step.

For instance, Sam Lichtenstein originally posted above that in Silverman's Arithmetic of Elliptic Curves, one then uses a little trick to deduce the $\mathbb{Z}$-finiteness of $M$ itself'', where $M$ is Hom(A,B). The little trick is quoted here for those who do not have Silverman in front of them:

Begin Silverman:

Since Hom($E_1$,$E_2$) is torsion-free, it follows that $$\mbox{rank}_\mathbb{Z} \mbox{Hom}(E_1,E_2) = \mbox{rank}_{\mathbb{Z}_l} \mbox{Hom}(E_1,E_2)\otimes \mathbb{Z}_l,$$ in the sense that if one is finite, then they both are and they are equal.

End Silverman

My complaint is that the left-hand side does not make sense because we have not established much about Hom($E_1$,$E_2$). All we know is that Hom($E_1$,$E_2$) is torsion free abelian group. This does not seem sufficient to define $\mathbb{Z}$-rank. For example, what is the $\mathbb{Z}$-rank of $\mathbb{Q}$? Any two nonzero rational numbers are linearly dependent over $\mathbb{Z}$, and since $\mathbb{Q}$ is torsion-free we must conclude that $\mathbb{Q}$ has $\mathbb{Z}$-rank 1, so $\mathbb{Q} \simeq \mathbb{Z}$ (?!?!).

In Mumford, the proof that Hom(A,B) is a finitely generated free $\mathbb{Z}$-module appears to be the following progression of steps, each with its own detailed proof except for step 4:

1. Hom(A,B) is torsion-free

2. If $M$ is a finitely generated submodule of Hom(A,B), then $(M\otimes\mathbb{Q}) \cap \mbox{Hom}(A,B)$ is finitely generated.

3. $\mbox{Hom}(A,B) \otimes \mathbb{Z}_l$ is a free $\mathbb{Z}_l$-module for all $l \neq p$, where $p$ is the characteristic of the field

4. Steps 1-3 obviously now imply that Hom(A,B) is a free $\mathbb{Z}$-module

Step 4 is the step I was unable to follow at first. This is because step 2 holds the key to step 4 in a way that is somewhat subtle. For example, consider the torsion-free abelian group $N \subset \mathbb{Q}$ consisting of all rational numbers with denominators with $l$-adic valuation 0 or 1 for all primes $l$. That is, $N$ is the set of all $a/b$ where gcd$(a,b) = 1$ and the prime factorization of $b$ is $b = p_1p_2\cdots p_t$, $p_i \neq p_j$ for $i \neq j$. $N \otimes \mathbb{Z}_l$ is isomorphic to the principal fractional ideal $(1/l)\mathbb{Z}_l$. Since we only care about the $\mathbb{Z}_l$-module structure of $N \otimes \mathbb{Z}_l$, we see that $(1/l)\mathbb{Z}_l$ is a free $\mathbb{Z}_l$-module of rank 1, where the isomorphism $(1/l)\mathbb{Z}_l \rightarrow \mathbb{Z}_l$ is given by multiplication by $l$. $N$ is not finitely generated and thus would provide a counterexample if step 2 were not important because $N$ satisfies step 1 and 3. However, it fails step 2. If $M$ is a nonzero finitely generated submodule of $N$, then $$(M \otimes \mathbb{Q}) \cap N = \mathbb{Q} \cap N = N$$ and $N$ is not finitely generated. Mumford pays lipservice to the use of step 2 to prove step 4, but he does not fully explain.

What I think is missing is something like the following proposition: If $N \subseteq \mathbb{Q}$ is a subgroup satisfying axiom 2, then $N$ is finitely generated''. Prove this by contradiction similar to the previous paragraph. Let $M \subseteq N$ be a finitely-generated submodule and observe that $M \otimes \mathbb{Q} = \mathbb{Q}$, hence $M$ is finitely generated if and only if $N$ is finitely generated.

-
 Have you seen the erratum jmilne.org/math/CourseNotes/errata.html#AV ? – JS Milne Oct 3 2010 at 0:10