En ese caso, la superficie "X" podrá obetenersese como el espacio cociente de "Y" bajo la acción de un grupo de biholomorfismos del recubridor "Y" que actúe de modo libre (es decir, sin puntos fijos) y propiamente discontinuo.