diskcyclic supercuspidal supersymplectic procyclic hyperbolic paracomplex supersolvable weakly contractible symplectic hyperbolike