2
$\begingroup$

For Elliptic curves over a finite field, there is a very useful characterization of ordinary elliptic as those with commutative, quadratic endomorphism rings and of supersingular curves as those with Endomorphism ring a non commutative division algebra of rank $4$.

Question: Is there any such characterization in the case of (simple) Abelian surfaces over a finite field? How about in higher dimensions?

There are three possibilities for supersingularity in terms of the p-adic Tate module - it can be $0,1$ or $2$ dimensional (over $\mathbb Z_p)$.

Similarly, there are three possibilities for the endomorphism ring- it can be a commutative (order in a) number ring of dimension $4$ or a non commutative division algebra of order $8$ or $16$ (dimensions over $\mathbb Z$). In the $8$ dimensional case, the center is a quadratic number ring and in the $16$ dimensional case, the center is $\mathbb Z$.

What I know: This mathoverflow question says that ordinary abelian surfaces over finite fields are always commutative. Why is this true and is this also true for higher dimensional abelian varieties?

In the case that the p-adic Tate module is one dimensional, we know that the endomorphism ring has to act faithfully on it and hence it has to be commutative.

In the case of a $16$ dimensional algebra, since the Frobenius is in the center and the center is $\mathbb Z$, the frobenius and it's dual are both just multiplication by some power of $p$ and so the surface is supersingular.

Conversely, I can show that in the supersingular case, the algebra is definitely not commutative.

Improve this question
$\endgroup$
1
  • 1
    $\begingroup$ Whether a simple abelian variety over a finite field is ordinary etc. can be read off from its Weil number, and its endomorphism algebra can also be read off from its Weil number using Tate's formula. Combine the two to answer your questions. See, for example, Tate's 1968 Bourbaki Seminar on the work of Honda. $\endgroup$
    – anon
    Commented Aug 9, 2020 at 12:39

1 Answer 1

Reset to default
1
$\begingroup$

The general reference for this sort of questions is Waterhouse, Abelian varieties over finite fields. Your question is answered in: Theorem 7.2. If $A$ is ordinary (and simple), then $\mathop{End}(A)$ is commutative and does not change by base field extension.

Furthermore, Theorem 7.4 shows that any order in $\mathop{End}^0(A)$ containing $\pi$ and $\overline{\pi}=q \pi^{-1}$ occurs as an endomorphism ring of an Abelian variety.

Improve this answer
$\endgroup$

You must log in to answer this question.

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