Topological proof of Benoist-Quint's orbit closure theorem for SO(d,1)

We present a new proof of the following theorem of Benoist-Quint: Let $G:=S{O}^{\circ }(d,1)$, $d\ge 2$ and $\mathrm{\Delta }<G$ a cocompact lattice. Any orbit of a Zariski dense subgroup $\mathrm{\Gamma }$ of $G$ is either finite or dense in $\mathrm{\Delta }\mathrm{\backslash }G$. While Benoist and Quint’s proof is based on the classification of stationary measures, our proof is topological, using ideas from the study of dynamics of unipotent flows on the infinite volume homogeneous space $\mathrm{\Gamma }\mathrm{\backslash }G$.