The field of moduli of quaternionic multiplication on abelian varieties (Q1777803)

Given a polarized abelian variety \((A, \mathcal L)\) over an algebraic closure \(\widehat{\mathbb Q}\) of \(\mathbb Q\), its field of moduli is the minimal number field \(k_{A, \mathcal L} \subset \overline{\mathbb Q}\) such that \((A, \mathcal L)\) is isomorphic to its Galois conjugate \((A^\sigma, \mathcal L^\sigma)\) for each \(\sigma \in \text{Gal} (\overline{\mathbb Q} / k_{A, \mathcal L})\). In this paper the author considers principally polarized abelian varieties with quaternionic multiplication over number fields and studies the field of moduli of their endomorphisms in relation to the set of rational points on the associated Shimura varieties.