spectral gaps, covering manifolds, type I groups, non-abelian Floquet theory