On discontinuous groups acting on (\(\mathbb{H}_{2n+1}^{r} \times \mathbb{H}_{2n+1}^{r})/{\delta}\) (Q2340115)

The authors study the parameter space \(\mathcal{R}(\Gamma,G,\Delta_G):=\{\phi\in{\Hom}(\Gamma,G):\phi\) is injective, \(\phi(\Gamma)\) is discrete and acts properly and fixed point freely on \(G/\Delta_G\}\) modulo an equivalence relation giving inner automorphisms. The particular space of interest is the one where \(G=\mathbb{H}^r_{2n+1}\times\mathbb{H}^r_{2n+1}\), \(\mathbb{H}^r_{2n+1}\) being the reduced Heisenberg group, \(\Gamma\subset G\), is a discontinuous subgroup and \(\Delta_G\) is the diagonal subgroup of \(G\). The authors provide a layering of \(\mathcal{R}(\Gamma,G,\Delta_G)\) and show that it has a smooth manifold structure. Furthermore they prove that the stability property holds in this setup. Finally they obtain a global rigidity theorem. More precisely, \(\mathcal{R}(\Gamma,G,\Delta_G)\) admits a rigid point if and only if \(\Gamma\) is finite.