Subrings of \(p\)-power index in endomorphism rings of simple abelian varieties over finite fields (Q402635)

Throughout, let \(k:=\mathbb F_q\) be the finite field of order \(q=p^n\), \(p\) being a prime number. The subject matter of the paper has to do with the computation of the endomorphism ring \(R:=\text{End}_k(A)\) of an absolutely simple abelian variety \(A\) defined over \(k\). Let \(g\) and \(f\) be the dimension and the characteristic polynomial of the Frobenius morphism of \(A\), respectively. Let \(\pi\) be a root of \(f\), \(\beta:= \pi+\bar\pi\); set \(E:={\mathbb Q}(\pi)\), \(K:={\mathbb Q}(\beta)\), \(T:=\mathbb Z[\pi,\bar\pi]\). In general \(R\) contains \(T\) and it becomes an order in \({\mathcal O}_E\), the ring of integers of \(E\); cf. [\textit{W. C. Waterhouse}, Ann. Sci. Éc. Norm. Supér. (4) 2, 521--560 (1969; Zbl 0188.53001)]. Among other things, the author first considers a connection between the \(p\)-rank \(r(A)\) of \(A\) and the way how \(p\) splits in \(E\); in particular he states a new proof of a relation involving \(r(A)\) and ramification indices (degree indices) of primes in \(K\) (resp. in \(E\)) over \(p\). In fact this formula was first established in [\textit{L. H. O'Connor} et al., J. Number Theory 131, No. 5, 920--935 (2011; Zbl 1218.11060)]; the method of proof of the formula in the paper uses rudiments concerning Newton polygonal. We also mention the analysis of the author about the maximality of \(T\) over \(p\) by studying whether or not \(p\) is a divisor of \([{\mathcal O}_E:T]\). For \(g=2\) and \(q=p\geq 3\), \(R\) is maximal at \(p\) whenever \(R\) is commutative. A partial generalization for higher dimension is also given: let \(g\geq 3\) and \(p>g\); then \(p\) divides \([{\mathcal O}_E: T]\) whenever certain hypotheses on \(r(A)\) are satisfied.