Parametrization of abelian $K$-surfaces with quaternionic multiplication

Abstract

We prove that the abelian $K$-surfaces whose endomorphism algebra is a 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.