The fundamental domain of the modular group acting on the upper half plane.

These classical results are the starting point for the theory of complex multiplication.

In the case that the field over which the curve is defined has characteristic different from 2 or 3, this is equal to