We show that special cycles generate a large part of the cohomology of
locally symmetric spaces associated to orthogonal groups. We prove in
particular that classes of totally geodesic submanifolds generate the
cohomology groups of degree $n$ of compact congruence $p$-dimensional
hyperbolic manifolds "of simple type" as long as $n$ is strictly smaller than
$\frac12 [\frac{p}{2}]$. We also prove that for connected Shimura varieties
associated to $\OO (p,2)$ the Hodge conjecture is true for classes of degree $<
1/2 [\frac{p+1}{2}]$.
We give a criterion in terms of the boundary for the existence of a proper
cocompact action of a word-hyperbolic group on a CAT(0) cube complex. We
describe applications towards lattices and hyperbolic 3-manifold groups. In
particular, combined with Agol's criterion, we find that every subgroup
separable closed hyperbolic 3-manifold is virtually fibered.