In mathematics, a Picard modular surface, studied by Picard (1881), is a complex surface constructed as a quotient of the unit ball in C2 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.