Arithmeticity of discrete subgroups containing horospherical lattices

Yves Benoist, Sébastien Miquel

Let $G$ be a semisimple real algebraic Lie group of real rank at least two and $U$ be the unipotent radical of a non-trivial parabolic subgroup. We prove that a discrete Zariski de…