Supersingular Abelian varieties over finite fields (Q5929396)

Let \(k\) be a finite field of characteristic \(p\) with \(q\) elements. In this paper, the group structure of \(A(\text k)\) for a supersingular Abelian variety \(A\) over \(k\) is studied. Recall that \(A\) is supersingular if each complex root of Frob (the Frobenius endomorphism of \(A\) relative to \(k\)) is of the form \(\sqrt{q}\zeta\), for some root of unity \(\zeta\). NEWLINENEWLINENEWLINEThe main results proved essentially say that the group structure of a supersingular Abelian variety over \(k\) is determined by the characteristic polynomial of the Frobenius endomorphism of \(A\) relative to \(k\) up to an ``error term'' depending only on the dimension of the Abelian variety. NEWLINENEWLINENEWLINEThe precise meaning of this is as follows: Given an Abelian variety \(A\) over \(k\), suppose that the Frobenius endomorphism decomposes as Frob\(=\prod_{i=1}^t g_i^{e_i}\), where \(g_i\) are mutually distinct monic irreducible polynomials with integer coefficients. Then there exists a group homomorphism NEWLINE\[NEWLINE\phi\colon A(\text k)\to \prod_{i=1}^t (\text Z/g_i(1)\text Z)^{e_i}NEWLINE\]NEWLINE having the property that the cardinality of the kernel and of the cokernel of \(\phi\) is bounded by an explicit constant depending only on the dimension of \(A\). Moreover if \(q\) is a nonsquare then \(\#\text{Ker}(\varphi)_{ l}\) divides \( l^{3d-2}\) if \( l=2\), divides \( l^{[(2d-2)/( l-1)]}\) if \( l>2\), and is trivial if \( l>d\) or \( l=p\). NEWLINENEWLINENEWLINEThe author derives the result by applying a generalization of Goursat's Lemma to a finitely generated torsion free module over fiber product rings (obtained in section 4 of the paper) to the Tate module of \(A\).