Skip to main content
1 of 4
David E Speyer
  • 156.2k
  • 14
  • 419
  • 763

The following result follows from Tate-Honda theory

Let $A$ be an abelian variety over a finite field $k$, and let $f_A$ be the characteristic polynomial of $A$. Then $A$ is isogenous to a power of a simple abelian variety if and only if $f_A$ is a power of an irreducible polynomial.

I can't find a set of online notes which contains this statement. Kirsten Eisenträger's notes are generally very good, but they get this result wrong on the first page -- Theorem 1.1 claims that, if $f_A$ is a power of an irreducible polynomial, then $A$ is simple, ignoring the possibility that $A$ is a power of a simple variety.

Let $A$ be isogenous to $\bigoplus A_i^{n_i}$, where the $A_i$ are simple and mutually non-isogenous. Every abelian variety has such a decomposition. Then $f_A = \prod f_{A_i}^{n_i}$.

Suppose that $f_A$ is a power of an irreducible polynomial. Then all of the $f_{A_i}$ must also be powers of that polynomial. In particular, for any $i$ and $j$, either $f_{A_i}$ divides $f_{A_j}$ or vice versa; without loss of generality, suppose $f_{A_i} | f_{A_j}$. By a result of Tate, this means that $A_i$ is isogenous to a subvariety of $A_j$. Since $A_i$ and $A_j$ are simple, this means that $A_i$ and $A_j$ are isogenous. Since we assumed that the $A_i$ were mutually nonisogenous, there must in fact be only one summand in our decomposition of $A$, and $A$ is isogenous to $A_1^{n_1}$ for some simple $A_1$ and some $n_1$.

Suppose now that $A$ is isogenous to $B^{n}$ for $B$ simple. Then $f_A = f_B^n$. So our goal is to show that $f_B$ is a power of an irreducible polynomial. If not, write $f_B = gh$ where $g$ and $h$ are relatively prime of positive degree. By a result of Honda, there exist abelian varieties $C$ and $D$ with characteristic polynomials $g$ and $h$. By the result of Tate cited above, $C$ and $D$ are isogenous to subvarieties of $B$, contradicting that $B$ is simple. $\square$

David E Speyer
  • 156.2k
  • 14
  • 419
  • 763