×

Degree of definition of endomorphisms of an abelian variety. (Degré de définition des endomorphismes d’une variété abélienne.) (French. English summary) Zbl 1469.11183

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 R. Guralnick and 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 M. J. Collins [J. Group Theory 10, No. 4, 411–423 (2007; Zbl 1125.20033)] on Jordan’s theorem.

MSC:

11G10 Abelian varieties of dimension \(> 1\)
20H20 Other matrix groups over fields