In mathematics, a Picard modular surface, studied by , is a complex surface constructed as a quotient of the unit ball in C<sup>2</sup> by a Picard modular group. Picard modular surfaces are some of the simplest examples of Shimura varieties and are sometimes used as a test case for the general theory of Shimura varieties.