Dejemos que $(M,g_M)$ sea una variedad riemanniana compacta con grupo de holonomía $Hol(M,g_M)$ . Supongamos que un grupo finito $G$ actúa sobre $M$ libremente y preserva la métrica $g$ .
¿Qué se puede decir del grupo de holonomía $Hol(M/G,g_{M/G})$ de $M/G$ equipado con la métrica inducida $g_{M/G}$ ?
¿Existen buenas condiciones para garantizar $Hol(M,g_M)\cong Hol(M/G,g_{M/G})$ ?