Question

Let $M$ be a compact Riemannian manifold and $TM$ be its tangent bundle. Given a initial point-vector $(x,v) \in TM$ and a curve $\alpha:[0,1] \to M$ starting at $x$ we can parallel transport $(x,v)$ along $\alpha$ to obtain a point vector $(y,w)$.

The most natural question is which vectors can be connected in this way. Obviously the norm of the two vectors must be the same.

One situation is that there is a smaller dimensional subbundle of $TM$ which is preserved by parallel transport. In this case de Rhams theorem says that $M = K\times L$ for some Riemannian manifolds $K$ and $L$, so this case is uninteresting.

In the case where there is no invariant subbundle of $TM$, Berger's theorem states that either $M$ is a locally symmetric space with rank 2 or more or one can take any vector to any other of the same norm. In the second case we say holonomy is transitive on $M$ (or more precisely on the unit tangent bundle $SM$).

I'd like to consider the orthogonal frame bundle $OM$. This is a connected manifold if $M$ is non-orientable and has two components if $M$ is orientable.

My question is the following: If holonomy is transitive on the unit tangent bundle $SM$ is it necesarilly transitive on each component of the orthogonal frame bundle $OM$?

Thanks for the help!

Answer 1

The answer is 'no' in general, when the dimension of the manifold is $n>2$. The holonomy group $H_x\subset\mathrm{O}(T_xM)$ could act transitively on the unit sphere in $T_xM$ and its identity component be conjugate to any of the following subgroups

1. $\mathrm{SO}(n)$

2. $\mathrm{U}({\tfrac12}n)$, ($n$ even)

3. $\mathrm{SU}({\tfrac12}n)$ ($n$ even)

4. $\mathrm{Sp}({\tfrac14}n)$, ($n$ divisible by $4$)

5. $\mathrm{Sp}({\tfrac14}n)\mathrm{Sp}(1)$ ($n$ divisible by $4$)

6. $\mathrm{G_2}$ ($n=7$)

7. $\mathrm{Spin(7)}$ ($n=8$)

8. $\mathrm{Spin(9)}$ ($n=16$, but this only happens for symmetric spaces).

In none of these cases except the first does the holonomy act transitively on the full orthonormal frame bundle.