5
$\begingroup$

Let $k$ be a finite field, and $A$, $B$ abelian varieties over $k$. Let $T_p(A)$, $T_p(B)$ be the (contravariant) Dieudonn\'e modules associated to the p-divisible groups attached to $A$ and $B$, respectively. The theorem of Tate in the question is that the natural map

${\rm Hom}_k(A,B)\otimes\mathbf{Z}_p\longrightarrow{\rm Hom}(T_p(B),T_p(A))$

is an isomorphism.

It seems to me that the standard reference for the proof of this theorem is a paper of Tate titled Endomorphisms of abelian varieties over finite fields. II that should have appeared 50 years ago in Inventiones but, I am right, never did.

Is there another reference in the literature for the proof of this theorem?

Thanks.

Improve this question
$\endgroup$
3
  • $\begingroup$ Well, may be I should have said 40 years go $\endgroup$
    – Tommaso Centeleghe
    Commented May 24, 2011 at 9:30
  • $\begingroup$ Minor point: when $A$ and $B$ are not the same variety, one usually uses $\operatorname{Hom}$ instead of $\operatorname{End}$ $\endgroup$
    – S. Carnahan ♦
    Commented May 24, 2011 at 10:03
  • $\begingroup$ Thanks. You are perfectly right. I guess I was thinking to the case A=B... I'll fix it. $\endgroup$
    – Tommaso Centeleghe
    Commented May 24, 2011 at 11:08

3 Answers 3

Reset to default
8
$\begingroup$

I think the result appears in:

Waterhouse, W. C.; Milne, J. S.: Abelian varieties over finite fields. 1969 Number Theory Institute (Proc. Sympos. Pure Math., Vol. XX, State Univ. New York, Stony Brook, N.Y., 1969), pp. 53–64. Amer. Math. Soc., Providence, R.I., 1971

Improve this answer
$\endgroup$
1
8
$\begingroup$

I guess $p=\operatorname{char}(k)$. For another (unified) proof of Tate's theorem (that works for primes $\ell\ne p$ and $\ell=p$) see arXiv:0711.1615 [math.AG]; MR2484084 (2010a:11117).

Improve this answer
$\endgroup$
3
  • $\begingroup$ Welcome to MathOverflow, Professor Zarhin. I've taken the liberty of adding an explicit link to your Arxiv preprint. $\endgroup$
    – David Loeffler
    Commented May 24, 2011 at 15:40
  • $\begingroup$ Thanks for the comment on the characteristic of $k$ being $p$. And thanks as well for the interesting reference! $\endgroup$
    – Tommaso Centeleghe
    Commented May 24, 2011 at 18:49
  • 2
    $\begingroup$ As I was browsing through the preprint, it took me a few moments to realize why the author wasn't calling it 'Zarhin's trick'. $\endgroup$
    – Keerthi Madapusi
    Commented May 27, 2011 at 14:46
0
$\begingroup$

Is it not treated by CP Ramanujan in an appendix to Mumford's book on abelian varieties ?

Improve this answer
$\endgroup$
2
  • $\begingroup$ I don't know. I will take a look though, thanks. $\endgroup$
    – Tommaso Centeleghe
    Commented May 27, 2011 at 10:29
  • $\begingroup$ @Dalawat: The appendix in Mumford's book treats the $\ell \neq p$ case (Galois modules), but the OP's question seems to be about the $p$-divisible group case. $\endgroup$
    – SGP
    Commented May 27, 2011 at 11:52

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .