Degree of definition of endomorphisms of an abelian variety (Q2216731)

Summary: Given an abelian variety over a field of characteristic zero, we give an optimal explicit upper bound depending only on the dimension for the degree of the smallest extension of the base field over which all endomorphisms of the abelian variety are defined. For each dimension, the bound is achieved over the rationals by twisting a power of a CM elliptic curve. This complements a result of \textit{R. Guralnick} and \textit{K. S. Kedlaya} [Res. Number Theory 3, Paper No. 22, 10 p. (2017; Zbl 1441.11154)] giving the exact value of the least common multiple of all these degrees. We also provide a similar statement for homomorphisms between two distinct abelian varieties. The proof relies on divisibility bounds obtained by Minkowski's method but, in some cases, we need more precise facts about finite linear groups, including a theorem of Feit whose proof has not been published; we therefore include one based on work by \textit{M. J. Collins} [J. Group Theory 10, No. 4, 411--423 (2007; Zbl 1125.20033)] on Jordan's theorem.