6
$\begingroup$

Let $(M,g_M)$ be a compact Riemannian manifold with holonomy group $Hol(M,g_M)$. Suppose that a finite group $G$ acts on $M$ freely and preserves the metric $g$.

What can one say about the holonomy group $Hol(M/G,g_{M/G})$ of $M/G$ equipped with the induced metric $g_{M/G}$?

Are there any good conditions to guarantee $Hol(M,g_M)\cong Hol(M/G,g_{M/G})$?

  • 0
    Similar to Jason's comment, but if $M$ is a K\"ahler manifold it has holonomy $U(n)$, and we know that $M/G$ is also a K\"ahler manifold, then $Hol(M/G)\subset U(n)$ by the holonomy principle. But $U(n)=Hol(M)\subset Hol(M/G)$ (at least this is certainly true if $M$ is simply connected, in which case $Hol(M) = Hol_{0}(M/G)$) and thus we have $Hol(M/G) = U(n) = Hol(M)$2014-04-02

1 Answers 1

0

Perhaps you can get an idea of the difficulty of your question by considering quotients of a flat torus. Have a look of the following papers:

http://terpconnect.umd.edu/~wmg/Bieberbach.pdf

http://mat.ug.edu.pl/~aszczepa/problemsfv.pdf

cheers, h.