Paley-Wiener Type Theorems on Harmonic Extensions of H-Type Groups.
We show that each group in a class of finitely generated groups introduced in [2] and [3] has Kazhdan’s property (T), and calculate the exact Kazhdan constant of with respect to its natural set of generators. These are the first infinite groups shown to have property (T) without making essential use of the theory of representations of linear groups, and the first infinite groups with property (T) for which the exact Kazhdan constant has been calculated. These groups therefore provide answers...