Arithmetic varietyIn 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 theoremKazhdan's theorem says the following: