Arithmetic variety

In mathematics, an arithmetic variety is the quotient space of a Hermitian symmetric space by an arithmetic subgroup of the associated algebraic Lie group.

Kazhdan's theorem
Kazhdan's theorem says the following:

$$