Parametrization of abelian K-surfaces with quaternionic multiplication

Abstract

We prove that the Abelian $K$-surfaces whose endomorphism algebra is a rational quaternion algebra are parametrized, up to isogeny, by the $K$-rational points of the quotient of certain Shimura curves by the group of their Atkin-Lehner involutions.